Mecanica Cuantica para No Iniciados

Una introduccin a la o Mecnica Cuntica para no a a iniciados
Renato Alvarez Nodarse

Departamento de Anlisis Matemtico, a a Facultad de Matemticas, Universidad de Sevilla a
23 de marzo de 2009
Indice general
1. Breve introduccin a la mecnica clsica o a a 1.1. Mecnica Hamiltoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 1.2. Dos ejemplos representativos . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. El oscilador armnico unidimensional . . . . . . . . . . . . . . . . o 1.2.2. Movimiento en un campo central de fuerzas . . . . . . . . . . . . . 1.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Cmo se gest la Mecnica cuntica? o o a a 2.1. La radiacin del cuerpo negro . . . . . . . . . . . . . . . . . . . . . . . . . o 2.2. Einstein y el efecto fotoelctrico . . . . . . . . . . . . . . . . . . . . . . . . e 2.3. Bohr y el modelo atmico . . . . . . . . . . . . . . . . . . . . . . . . . . . o 2.4. El nacimiento de la Mecnica Cuntica . . . . . . . . . . . . . . . . . . . . a a 2.4.1. La dualidad onda-part cula . . . . . . . . . . . . . . . . . . . . . . 2.4.2. La Mecnica matricial de Heisenberg . . . . . . . . . . . . . . . . . a 2.4.3. La Mecnica ondulatoria de Schrdinger . . . . . . . . . . . . . . . a o 2.4.4. Una deduccin de la ecuacin de Schrdinger . . . . . . . . . . . o o o 2.5. La interpretacin de la Mecnica cuntica . . . . . . . . . . . . . . . . . . o a a 2.5.1. El principio de incertidumbre de Heisenberg . . . . . . . . . . . . . 2.6. El experimento de difraccin y el principio de incertidumbre . . . . . . . . o 2.7. Las matemticas de la Mecnica Cuntica . . . . . . . . . . . . . . . . . . a a a 2.7.1. El gato de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . . . o 3. Mecnica Cuntica I: Movimiento de una part a a cula material 3.1. Los postulados de la Mecnica Cuntica . . . . . . . . . . . . . . . . . . . a a 3.2. El principio de incertidumbre . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.1. Los estados estacionarios de la ecuacin de Schrdinger . . . . . . o o 3.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1. Una part cula en un pozo de potencial . . . . . . . . . . . . . . . . 1 3 5 6 6 7 13 15 15 19 20 22 22 22 23 25 26 27 28 30 31 35 35 42 43 44 44
INDICE GENERAL 3.3.2. El efecto t nel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 3.3.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 49 51 51 55 61 62 63 65 67 68 69 69 70 71 71 71 72 80 83 83 84 86 89 92 94 94 94 96
4. Mecnica Cuntica II: Espacios de Hilbert a a 4.1. Espacios eucl deos y espacios normados . . . . . . . . . . . . . . . . . . . 4.2. Operadores en H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Los axiomas de la Mecnica Cuntica . . . . . . . . . . . . . . . . . . . . a a 4.4. Discusin e implicaciones de los postulados . . . . . . . . . . . . . . . . . o 4.5. Representacin de los operadores xi y pi . . . . . . . . . . . . . . . . . . . o 4.6. Las ecuaciones de Heisenberg y de Schrdinger . . . . . . . . . . . . . . . o 4.6.2. Los estados estacionarios del sistema . . . . . . . . . . . . . . . . . 4.7. El principio de incertidumbre . . . . . . . . . . . . . . . . . . . . . . . . . 4.8. La mecnica matricial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 4.9. La ecuacin de Schrdinger y el postulado 4.3.5 . . . . . . . . . . . . . . . o o 4.10. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5. Resolviendo la ecuacin de Schrdinger o o 5.1. El mtodo de Nikiforov-Uvarov . . . . . . . . . . . . . . . . . . . . . . . . e 5.1.1. La ecuacin hipergeomtrica generalizada . . . . . . . . . . . . . . o e 5.1.2. La ecuacin diferencial hipergeomtrica . . . . . . . . . . . . . . . o e 5.1.3. Los polinomios de Hermite, Laguerre y Jacobi . . . . . . . . . . . . 5.2. Resolucin de la ecuacin de Schrdinger . . . . . . . . . . . . . . . . . . o o o 5.2.1. El oscilador armnico cuntico unidimensional . . . . . . . . . . . o a 5.2.2. La ecuacin de Schrdinger en un potencial central . . . . . . . . . o o 5.2.3. Los armnicos esfricos . . . . . . . . . . . . . . . . . . . . . . . . o e 5.2.4. Resolviendo la parte radial de la ecuacin de Schrdinger . . . . . o o 5.2.5. El oscilador armnico tridimensional . . . . . . . . . . . . . . . . . o 5.3. El mtodo de factorizacin de Schrdinger . . . . . . . . . . . . . . . . . . e o o 5.3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.3.2. El oscilador armnico . . . . . . . . . . . . . . . . . . . . . . . . . o 5.3.3. El mtodo de factorizacin . . . . . . . . . . . . . . . . . . . . . . e o
4.6.1. Equivalencia de las representaciones de Heisenberg y de Schrdinger 66 o
5.3.4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 5.4. Factorizacin de la EDO hipergeomtrica . . . . . . . . . . . . . . . . . . 108 o e 5.4.1. El hamiltoniano y los operadores escalera . . . . . . . . . . . . . . 108 5.4.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 5.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.4.2. Factorizacin de H(x, n) . . . . . . . . . . . . . . . . . . . . . . . . 109 o
INDICE GENERAL Bibliograf a Anexo A: Breve introduccin al anlisis funcional o a
3 114 117
A.1. Introduccin: Estacios mtricos y espacios normados . . . . . . . . . . . . 117 o e A.2. Espacios de Hilbert separables . . . . . . . . . . . . . . . . . . . . . . . . 123 A.2.1. Operadores en espacios de Hilbert . . . . . . . . . . . . . . . . . . 128 A.2.2. Teor Espectral de operadores compactos autoadjuntos . . . . . . 132 a Bibliograf a 137
Prefacio
Estas notas contienen el contenido de un curso de introduccin a la Mecnica cuntio a a ca impartido por el autor en la Universidad de Zaragoza en septiembre de 2005 y en Coimbra en febrero de 2006. Las mismas estn divididas en 6 cap a tulos que contienen tanto los conceptos tericos como distintos mtodos de resolucin de la ecuacin de Schrdinger. o e o o o Quiero agradecer a todos los que de una forma u otra me han ayudado a que estas notas sean posibles. En primer lugar a mi familia, a los que les he robado un tiempo precioso. Adems agradezco a Manuel Alfaro, Jos Luis Cardoso, Mario Prez Francisco J. (Pacho) a e e Ruiz, Jos Carlos Petronilho y Juan L. Varona sus comentarios y correcciones que me e han permitido mejorar notablemente la exposicin. o
Renato Alvarez Nodarse Sevilla 12 de julio de 2008
Introduccin o
Estas notas corresponden a un curso de introduccin a la Mecnica cuntica. En l o a a e se pretende dar una idea general de cmo surgi la Mecnica cuntica a principios del o o a a siglo pasado (XX) y exponer algunos de sus principales principios desde un punto de vista matemtico. El trabajo estar dividido en dos partes. a a En la primera se describir la evolucin de la teor cuntica desde nales del sia o a a glo XIX hasta la aparicin de la Mecnica cuntica de Heisenberg y Schrdinger en o a a o 19261927, es decir, a partir de la idea revolucionaria de Planck sobre los quanta, la explicacin del efecto fotoelctrico por Einstein y la descripcin de la dualidad ondao e o part cula de De Broglie, hasta la aparicin de las dos principales teor matemticas: la o as a mecnica matricial y la mecnica ondulatoria. a a En la segunda parte introduciremos la Mecnica Cuntica de una part a a cula as como sus bases axiomticas en un espacio de Hilbert separable. Finalmente, veremos algunos a de los mtodos usados para resolver la ecuacin de Schrdinger. e o o
INDICE GENERAL
Cap tulo 1
Breve introduccin a la o mecnica clsica a a

La F sica se basa en medidas y observaciones experimentales de la realidad que nos rodea, es decir, en cuanticar o caracterizar los distintos fenmenos naturales mediante o expresiones cuantitativas o n meros. u Estas cantidades medibles u observables se denominan cantidades fsicas (e.g. lon gitud, velocidad, energ . . . ). El objeto o conjunto de objetos a estudiar se denomina a, sistema fsico (e.g. una part cula, un tomo, un coche, . . . ). Cuando conocemos distina tas medidas de un sistema que lo caracterizan por completo en un momento de tiempo determinado (e.g. la posicin y la velocidad de una part o cula de masa m) decimos que el sistema se encuentra en un cierto estado dado. El objetivo de toda teor f a sica es, por tanto: 1. Describir el estado del sistema f sico, es decir, dar una representacin cuantitativa o (matemtica) del estado que lo dena biun a vocamente. 2. Conocer la dinmica del sistema, es decir dado un estado inicial en el momento t0 a conocer su evolucin temporal para t > t0 . o 3. Predecir los resultados de las mediciones de las cantidades f sicas del sistema. La teor f a sica en s misma est en general constituida, desde el punto de vista a abstracto, por tres apartados: 1. El formalismo: Conjunto de s mbolos y reglas de deduccin a partir de los cuales o se pueden deducir proposiciones y enunciados. En general toda teor comienza a jando un cierto n mero de axiomas comunmente denominados postulados. u 2. Ley dinmica: Cierta relacin (o relaciones) entre algunos de los principales objetos a o del formalismo que permitan predecir acontecimientos futuros. 3. Reglas de correspondencia o interpretacin f o sica: Conjunto de reglas que permiten asignar valores experimentales a algunos de los s mbolos del formalismo. 3
Cap tulo 1. Breve introduccion a la mecanica clasica Como ejemplo ilustrativo vamos a describir la mecnica newtoniana. a
En la mecnica newtoniana el estado de un sistema viene dado por el conjunto de a trayectorias de todas las part culas que constituyen el sistema. Por ejemplo, para una part cula, el estado estar dado por la funcin vectorial r(t) R3 que denota la posicin a o o en cada instante de tiempo t. Los observables son las cantidades medibles como la posicin o r(t), la velocidad v(t) = d/dt[r(t)], la energ cintica T = mv 2 (t), etc. a e La ley dinmica en este caso es la segunda ley de Newton: a ma(t) = F (t), a(t) = d2 r(t) , dt2
donde F es la fuerza resultante que act a sobre el sistema, i.e., es una ecuacin diferencial u o de orden 2. Finalmente, las reglas de correspondencia son evidentes y consisten en los valores numricos de las proyecciones de los vectores r, v, etc. sobre los ejes del e correspondiente sistema de coordenadas escogido. Veamos un ejemplo de sistema f sico y algunas de sus propiedades. Supongamos que tenemos una part cula que se mueve en R3 bajo la accin de una o fuerza F (x, y, z) que slo depende de las coordenadas (posicin). Supongamos adems o o a que existe una funcin escalar V (x, y, z) tal que o F (x, y, z) = V (x, y, z) = V V V k, i j x y z
donde i, j y k, son los vectores unitarios correspondientes a los ejes x, y y z, respectivamente. Entonces, usando el producto escalar estndar de los vectores tenemos a F (x, y, z)dr = V V V dx + dy + dz x y z = dV (x, y, z).
Luego, el trabajo de la fuerza F para mover nuestra part cula a lo largo de cierta curva R3 se expresa mediante la integral
b
F (x, y, z)dr = V (x, y, z) ,

a
donde a y b son los extremos de dicha curva. En particular, para cualquier curva cerrada, F (x, y, z)dr =
F (x, y, z)dr = 0.
Las fuerzas con estas caracter sticas se denominan conservativas y los correspondientes sistemas: sistemas conservativos. La razn de esta denominacin se explica por lo siguiente: Si usamos la segunda ley o o de Newton d (mv) dr = mvdv, F (x, y, z)dr = dt luego F (x, y, z)dr =

mvdv =
1 mv 2 . 2
a
1.1. Mecanica Hamiltoniana Juntando esta expresin con la anterior tenemos o 1 mv 2 + V (x, y, z) 2 Es decir, la cantidad E = T (v) + V (r)
b
= 0,
a
v 2 = v v.
vale lo mismo en los extremos de la curva . Como es arbitraria deducimos que E es una cantidad invariante en el tiempo. Esta cantidad se denomina energ mecnica del a a p2 1 sistema. T = 2 mv 2 = 2m se denomina energ cintica, V , energ potencial y p = mv, a e a impulso. En la mecnica cuntica el formalismo es muy distinto y es el objetivo de este a a curso. Antes de pasar a discutirlo veamos brevemente otra forma de describir los sistemas mecnicos clsicos: El formalismo cannico o hamiltoniano. a a o
1.1.
Mecnica Hamiltoniana a
Por sencillez seguiremos considerando el movimiento de una unica part cula. Vamos a suponer que el espacio f sico es un espacio de fases (r, p), donde r = (x, y, z) R3 y p = (px , py , pz ) denotan las componentes del vector posicin y momento, o respectivamente. Denamos una funcin H dependiente de la posicin r y el impulso p o o H(r, p) = 1 2 (p + p2 + p2 ) + V (x, y, z), y z 2m x
que denominaremos hamiltoniano del sistema. Entonces, las ecuaciones dinmicas del a sistema vienen dadas por las expresiones dx H , = dt px H dy , = dt py H dz , = t pz dpx H = , dt x dpy H = , t y dpz H = . t z
(1.1.1)
Est claro cmo se generaliza el problema. Supongamos que el hamiltoniano depende a o de las coordenadas cannicas q1 , . . . qN y sus correspondientes momentos p1 , . . . pN . o Entonces las ecuaciones dinmicas son a dqi H , = dt pi dpi H , = dt qi i = 1, 2, . . . , N. (1.1.2)
De esta forma la dinmica queda determinada por 2N ecuaciones con 2N incgnitas. a o Finalmente debemos destacar que, en general, las ecuaciones anteriores son equivalentes a las que se obtienen usando la segunda ley de Newton. As si , H(r, p) = 1 2 (p + p2 + p2 ) + V (x, y, z), y z 2m x
Cap tulo 1. Breve introduccion a la mecanica clasica
las ecuaciones (1.1.1) nos dan (slo incluiremos las ecuaciones para la coordenada x) o H dx = dt px = vx = px , m px = mvx ,
H dvx V d2 x dpx = = m = = Fx = m 2 = Fx , dt x dt x dt es decir, recuperamos las ecuaciones de Newton de la mecnica clsica. a a Dentro del formalismo cannico hamiltoniano hay una operacin de especial imporo o tancia para entender el paso de la Mecnica clsica a la cuntica: las llaves de Poisson. a a a Se denen las llaves de Poisson de dos cantidades f sicas A := A(q1 , . . . , qN , p1 , . . . , pN ) y B := B(q1 , . . . , qN , p1 , . . . , pN ), funciones de las variables cannicas qi y pi , i = o 1, 2, . . . , N , a la cantidad
N
{A, B} :=
k=1
A B A B qk pk pk qk
(1.1.3)
Ntese que las ecuaciones de Hamilton (1.1.2) se pueden escribir como o dqi = {qi , H}, dt dpi = {pi , H}, dt i = 1, 2, . . . , N.
Ntese adems que para las coordenadas cannicas se tiene o a o {qi , qj } = 0 = {pi , pj }, {qi , pj } = i,j , i, j = 1, 2, . . . , N. (1.1.4)
En general se puede probar que la ecuacin de evolucin para cualquier cantidad o o f sica A es dA = {A, H}. (1.1.5) dt
1.2.
1.2.1.
Dos ejemplos representativos

El oscilador armnico unidimensional o
Comencemos con un sistema clsico de gran importancia: el oscilador armnico. a o Asumiremos que el eje de coordenadas est situado justo en la posicin de equilibrio del a o oscilador, luego por x representaremos la desviacin del sistema del punto de equilibrio. o En este caso p2 1 H(x, p) = + kx2 , (1.2.1) 2m 2 luego H(x, p) dx = , dt p p dx = , dt m dp H(x, p) = = dt x
dp = kx = mx (t) + kx(t) = 0. dt
1.2. Dos ejemplos representativos
Sus soluciones son: k , m donde A y dependern de las condiciones iniciales x0 = x(0), v0 = v(0) y estn dadas a a por v0 = x0 tan y x0 = A cos . x(t) = A cos(t + ), =
En la gura 1.2 representamos dos soluciones correspondientes a fases iguales y amplitudes distintas. Ntese que de la solucin no se deducen ning n tipo de restricciones o o u para los valores de A y . Si calculamos la energ a: E =T +V = 1 1 1 m[x(t) ]2 + kx2 = kA2 = const. 2 2 2
De lo anterior se deduce que la energ toma los valores reales E = 1 kA2 0 y es una a 2 cantidad continua.
x
2 1 5 1 2 10 15 20 25
Figura 1.2: El oscilador armnico: soluciones o Obviamente este sistema es demasiado sencillo. Un caso ms realista es el oscilador a amortiguado, es decir, cuando hay rozamiento. En este caso la ecuacin diferencial que o se obtiene es mx (t) + x (t) + kx(t) = 0, donde > 0 es el coeciente de viscosidad del medio. Dejamos, al lector que resuelva y analize la ecuacin como ejercicio. o
1.2.2.
Movimiento en un campo central de fuerzas
Veamos el caso correspondiente al potencial de una fuerza central, es decir, V (r) = /r. Ejemplos t picos de dicha fuerza son la fuerza gravitatoria y la electroesttica. a
111 000 111 000 111 000 111 000 111 000 111 000 111 000 111 000 111 000 111 000 111 000 111 000
111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000

0
Figura 1.1: El oscilador armnico o
x
2 1
t
1 2
10
15
20
25

z
m F(r)
M 0 y
Figura 1.3: Fuerza central de interaccin entre dos part o culas.
En este caso tenemos H(r, p) = p2 , 2m r r= x2 + y 2 + z 2 . (1.2.2)
Entonces, las ecuaciones (1.1.1) nos dan mx (t) = x , r3 my (t) = y , r3 mz (t) = z . r3
Vamos a considerar el movimiento de una part cula material de masa m en un campo de fuerzas centrales (ver gura 1.3). Sea F (r) la fuerza dirigida al origen de coordenadas y que slo depende de la distancia r al origen de coordenadas. Usando la Ley de Newton o tenemos las siguientes ecuaciones para cada coordenada x, y y z: mx (t) = Fx (r), mz (t) = Fz (r), Pero my (t) = Fy (r), r= x2 + y 2 + z 2 .
x Fx (r) = F (r) cos = F (r) , r y Fy (r) = F (r) cos = F (r) , r z Fz (r) = F (r) cos = F (r) , r x mx (t) = F (r) , r y my (t) = F (r) , r z mz (t) = F (r) . r
luego las ecuaciones del movimiento de nuestra part cula son (1.2.3)
Vamos a probar que el movimiento de la part cula es plano. Para ello multiplicamos la primera ecuacin en (1.2.3) por y, la segunda por x y las sumamos. Ello nos da o m(xy yx ) = 0 m(yz zy ) = 0 = xy yx = 0. Si ahora multiplicamos la segunda por z, la tercera por y y sumamos tenemos = yz zy = 0. Finalmente, multiplicando la primera por z, la tercera por x y sumando, obtenemos m(zx xz ) = 0 = zx xz = 0. Ahora bien, integrando por partes en la primera de las tres ultimas ecuaciones vemos c1 = (xy yx )dt = xy yz zy = c2 , x y dt yx + y x dt = xy yx .
Anlogamente tenemos, para las otras dos, a zx xz = c3 .
Si multiplicamos la primera de las tres ultimas ecuaciones por z, la segunda por x y la tercera por y y las sumamos obtenemos c1 z + c2 x + c3 y = 0, que es precisamente la ecuacin de un plano que pasa por el origen. As pues, tenemos o la siguiente propiedad: Propiedad 0. El movimiento de una partcula sometida a una fuerza central es plano, o sea, su trayectoria esta contenida en un plano que pasa por el origen (hacia donde apunta dicha fuerza central). Dado un vector cualquiera en el plano, siempre podemos descomponerlo en sus respectivas componentes. Todo vector se puede escribir en funcin de los vectores unitarios o i y j que denen a los ejes x e y, respectivamente. En particular, los vectores unitarios de las direcciones radial ur y angular u (ver gura 1.4) ur = i cos + j sen , Ntese que entonces o du dur = u , = ur . (1.2.4) d d Adems, F = Fr ur + F u , pero si la fuerza es radial entonces F = 0. Escribamos a ahora las leyes de Newton para nuestra part cula en coordenadas polares. Comenzamos calculando el vector velocidad v= d(rur ) dur dr dur d dr d dr =r + ur = r + ur = r u + ur , dt dt dt d dt dt dt dt dv = dt = d du dr dur dr d d2 d2 r u + r 2 u + r + 2 ur + dt dt dt dt dt dt dt dt r d2 d2 r dr d u + +2 r 2 dt dt dt dt2 d dt
2
u = i sen + j cos .
(1.2.5)
donde hemos usado (1.2.4). Anlogamente a a=
ur .
10
Fr r j u
F(r) F x
ur 0 i
Figura 1.4: Componentes radial y angular de un vector.
Luego, usando la Ley de Newton, tenemos 0 = F = ma = m r r d2 dr d +2 2 dt dt dt =
dr d d 2 d d2 r = 0. +2 = dt2 dt dt dt dt
Es decir, r2 (t) = c, con c cierta constante. La propiedad anterior se conoce como Ley de las reas pues el rea que barre el radio vector r es tal que dA(t) = r2 /2d = r2 /2 (t)dt, a a por tanto A (t) = r2 /2 (t) = c/2. As hemos probado la siguiente propiedad1 , Propiedad 1. El movimiento de una partcula sometida a una fuerza central es tal que el radio vector r recorre areas iguales en intervalos de tiempo iguales, i.e., dA(t)/dt = r2 (t) = c. Supongamos ahora que la fuerza es de la forma F (r) = m ur , r2 (1.2.6)
es decir, una ley del inverso del cuadrado de la distancia. Nuevamente usando la ley de Newton, para la componente radial obtenemos Fr (r) = mar = d2 r r dt2 d dt
2
. r2
(1.2.7)
Vamos a intentar resolver esta ecuacin diferencial. Obviamente es una ecuacin difereno o cial no lineal as que intentaremos convertirla en una ecuacin lineal. Para ello haremos el o
1 Esta propiedad se conoce como segunda Ley de Kepler, en honor al matemtico y astrnomo J. a o Kepler quien la descubri en la segunda mitad del siglo XVII cuando estudiaba la orbita del planeta o Marte.
11
cambio de variable r = 1/u() y pasaremos de la variable t a , es decir, intentaremos dar con la ecuacin de la trayectoria de nuestra part o cula. Ntese que en las nuevas variables, o la propiedad 1 de las reas se escribe como (t) = cu2 . Tenemos a dr dr d u () = = 2 cu2 () = cu (), dt d dt u () du () d2 r = c = cu () (t) = c2 u2 ()u (), 2 dt dt luego (1.2.7) se transforma en u () + u() = 2 , c que es lineal. La solucin de la ecuacin anterior la escribiremos en la forma o o u() = c1 cos() + c2 sen() + = 2 [1 + e cos( )] , c2 c
P D r
luego, si escogemos los ejes coordenados de forma que = 0 o lo que es lo mismo, que r sea m nimo cuando = 0, i.e., c1 > 0 y c2 = 0 obtenemos la ecuacin para la o trayectoria r() = c2 / . 1 + e cos()
Qu gura geomtrica dene la ecuae e cin anterior? Para ello recordemos que el o lugar geomtrico de los puntos P (x, y) tales e que la distancia OP de P a un punto jo O (foco) es igual a la distancia P D de p a una recta r dada (directriz) viene dado por la p frmula r = pe/(1 + e cos ) (ver gura 1.5) o siendo e cierta constante (excentricidad). Es Figura 1.5: Propiedad de las secciones cni- conocido que si e < 1 la curva es una elipo se, si e = 1 una parbola, y si e > 1 una a cas. hiprbola. As pues, hemos demostrado la e siguiente propiedad:
Propiedad 2. La trayectoria de una partcula sometida a una fuerza central es una seccin cnica, es decir, una elipse, una parbola o una hiprbola. o o a e Es fcil comprobar que si una fuerza es central entonces existe una funcin U (x, y, z) a o tal que U U U Fx = , Fy = , Fz = . x y z En nuestro caso, adems, U (x, y, z) = U (r) = /r. Sumando las tres ecuaciones antea riores y usando la ley de Newton tenemos dU = U U U dx + dy + dz = m(x dx + y dy + z dz) x y z =
12
Cap tulo 1. Breve introduccion a la mecanica clasica d U+
m 2 (x + y 2 + z 2 = 0. 2 En otras palabras, la funcin energa o E(t) = U + m 2 m v = + v2 2 r 2 (1.2.8)
es constante. Esto es, como ya hemos visto, la Ley de Conservacin de la Energ Si o a. aplicamos esta ley a nuestro sistema tenemos, usando (1.2.5), E= m 2 m m 2 m m m 2 v = (v + vr ) = [(r (t))2 + (r (t))2 ] . 2 r 2 r 2 r
Escojamos el momento de tiempo cuando = 0. Usando la propiedad 1 tenemos (r (t))2 = c2 /r2 , pero, seg n nuestra eleccin, r = 0 (es m u o nimo) y r = c2 [(1 + e)]1 , luego E= m2 (e2 1) 2c2 = e= 1+E 2c2 . m2
b a 0 S
r rm P
Figura 1.6: Movimiento de un planeta P alrededor del sol S. En el caso de los planetas (ver gura 1.6), al pasar el planeta por el punto ms a cercano al foco (donde esta el sol) se tiene, por la ley de Newton, ma = m 2 rm = v2 = , rm
pero entonces para la energ E obtenemos el valor a E= m m 2 < 0, v = 2 r 2rm
y por tanto e < 1, o sea, los planetas se mueven siguiendo rbitas el o pticas. Esta es la conocida primera Ley de Kepler.
1.3. Problemas
13
Finalmente, tenemos que rm = ae, y (1 e2 ) = b2 /a2 , donde a y b son los semiejes mayor y menor de la elipse, respectivamente. Entonces, como a es la semisuma de las distancias mxima y m a nima de nuestra part cula (planeta) al foco, a= c2 / 1 c2 / + 2 1 + e 1 e cos = a= c2 , (1 e2 )
de donde deducimos que b2 = c2 a/. Si ahora usamos que el rea de la elipse es A = ab, a y la propiedad 1, obtenemos que ab = cT /2 donde T es el tiempo que tarda la part cula en dar una vuelta entera sobre la rbita. Sustituyendo el valor de b en la expresin o o anterior obtenemos 4 T2 = , (1.2.9) a3 es decir, el cuadrado del per odo de revolucin de los planetas es proporcional al cubo o de sus distancias medias. La propiedad anterior se conoce como tercera Ley de Kepler. Ntese que la constante de proporcionalidad no depende para nada del planeta, slo o o de , que seg n la Ley de Gravitacin Universal es GMs , donde G es la constante de u o gravitacin universal y Ms la masa del sol. o
1.3.
Problemas
Problema 1.3.1 Estudia como se comporta una partcula material que se mueve en un campo potencial denido por las siguientes funciones potencial: x < 0, U0 , x < 0, 0, 0, 0 < x < L, U0 , 0 < x < L, V (x) = V (x) = U0 , x > L, 0, x > L, conocidas como pozo potencial y barrera de potencial. Problema 1.3.2 Discutir lo que ocurre si en vez de dos masas interactuando segn la u ley de gravitacin universal, lo que tenemos es un atomo de hidrgeno. En este caso la o o frmula (1.2.6) se convierte en o ke2 (1.3.1) F (r) = 2 ur . r Para terminar con este apartado y pasar a discutir lo que ocurre en el mundo cuntico a tenemos que recordar que en el caso del tomo de hidrgeno hay un problema a adido y es a o n que al ser el electrn una part o cula cargada en movimiento, est continuamente emitiendo a ondas electromagnticas por lo que su energ va disminuyendo. Esto implica que el e a electrn va cayendo en espiral al n cleo. Este hecho contradice todos los experimentos o u conocidos.
14
Cap tulo 2
Cmo se gest la Mecnica o o a cuntica? a

Antes de entrar a discutir el formalismo y las leyes dinmicas de la Mecnica Cuntia a a ca vamos a dar un bosquejo histrico de la misma. o William Thomson o, como era conocido, Lord Kelvin, pronunci a nales del siglo XIX una clebre frase: o e Hoy da la ciencia fsica forma, esencialmente, un conjunto perfectamente armonioso, Un conjunto prcticamente acabado! Slo quedan dos nubecia o llas: la primera, el resultado negativo del experimento de Michelson-Morley. La segunda, las profundas discrepancias de la ley de Rayleigh-Jeans. Nadie, en aquel momento, pod imaginar que esas dos nua becillas desembocar en la Teora de la Relatividad de Einsan tein y la Mecnica Cuntica, teor que iban a cambiar radia a as calmente nuestra concepcin de los fenmenos naturales y que o o representaron una Revolucin comparable, en cierta forma, a o la Revolucin Copernicana y la aparicin de los Principia de o o Newton.
William Thomson
En estas notas nos dedicaremos a estudiar las bases de la segunda de estas dos grandes teor Antes de entrar es los detalles vamos a dar una breve introduccin histrica, as. o o necesaria para entender como el problema planteado por Lord Kelvin su segunda nubecilla y su resolucin termin en la moderna teor cuntica. o o a a
2.1.
La radiacin del cuerpo negro o
La ley de Rayleigh-Jeans es una frmula que describe la radiacin de un cuerpo o o negro. Todos sabemos que al calentar un cuerpo este cambia de color quin no ha e 15
16
Cap tulo 2. Como se gesto la Mecanica cuantica?
Figura 2.1: Onda plana unidimensional: Si v es la velocidad de la onda, T el periodo y la longitud de onda, entonces = vT , = T /2.
calentado de peque o un clavo o un tornillo en el fogn de casa o ha visto el color que n o toma una parrilla al hacer una parrillada. Probablemente nuestra curiosidad nos lleva a preguntarnos al menos todo f sico lo deber hacer cmo emiten la luz los cuerpos a o al calentarse? Para resolver estas dudas, los f sicos de nales del siglo XIX idealizaron un cuerpo cualquiera y construyeron un modelo que llamaron cuerpo negro tambin, e cavidad, etc. La idealizacin consist en que el cuerpo negro ten que absorber y o a a por tanto emitir todas las ondas luminosas recordemos que a nales del XIX hab a sido establecido sin ning n asomo de duda que la luz era una onda electromagntica por u e igual sin importarle la longitud de onda de la misma. El primero en establecer una ley emp rica para la radiacin del cuerpo negro fue o Wien quien obtuvo la frmula 3 e/T , y parmetros experimentales, pero sta o a e slo correspond a la parte ultravioleta altas frecuencias, o equivalentemente, longituo a des de onda peque as del espectro y fallaba en la banda infrarroja bajas frecuencias, o n equivalentemente, longitudes de onda grandes. Por otro lado, dos f sicos ingleses, Rayleigh y Jeans, dedujeron una frmula para la banda infrarroja pero que no era compatible o con la frmula de Wien. o Denamos la densidad de energ (cantidad de energ por unidad de volumen) mea a diante U (T ). Obviamente sta depender de la temperatura T . Adems, cada longitud de e a a onda frecuencia aportar su granito de arena, esta densidad por unidad de frecuencia a la denotaremos por u(, T ), as U (T ) =
0
u(, T )d.
(2.1.1)
La frmula de Rayleigh-Jeans establec que o a u(, T ) = 2 kT, 2 c3
La manera de obtener esta frmula es muy sencilla. Era un hecho bien conocido en o en siglo XIX que el n mero de ondas estacionarias con frecuencias por unidad de volumen u
donde c es la velocidad de la luz y k es la constante de Ludwig Boltzmann. En particular, para frecuencias muy altas (zona de frecuencias ultravioletas) es muy grande lo cual est en contradiccin con las mediciones experimentales. Esta es la llamada catstrofe a o a ultravioleta y no es ms que la segunda nubecilla de Lord Kelvin (ver gura 2.2). Ntese a o que al sustituir u(, T ) en (2.1.1) obtenemos U (T ) = lo cual no tiene sentido.
2.1. La radiacion del cuerpo negro

u(, T ) Ley de Rayleigh-Jeans Curva experimental Ley de Plank
17
Figura 2.2: Grca de la intensidad u(, T ) contra la frecuencia de onda . a
2 en el interior de un cuerpo en el intervalo [, + ] era dn = 2 3 . La suposicin de o c Rayleigh y Jeans fue suponer que a cada oscilacin electromagntica le correspond en o e a, media, una energ igual a kT . As a u(, T ) = dn = 2 kT. 2 c3 (2.1.2)
El prximo paso lo dio Max Planck. Desde el punto de vista de la f o sica clsica la a deduccin de Rayleigh y Jeans era impecable, por tanto Planck asumi que deb haber o o a alguna ley importante sin descubrir. En octubre de 1900 Planck encontr emp o ricamente una frmula que describ perfectamente la ley experimental para la radiacin del o a o cuerpo negro. Dicha frmula para la energ media de la onda era la siguiente: o a = exp kT , 1
donde era cierta constante desconocida. Si /kT 1, entonces la frmula de Planck o daba kT . Adems, si /kT 1, Planck recuperaba la frmula de Wien. a o
Para explicar su formula Plank, rompiendo la concepcin clsica, lanza la idea de que los osciladores que como a ponen los tomos absorben o emiten luz no de forma cona tinua, como era habitual en la f sica clsica, sino mediante a porciones aisladas proporcionales a la frecuencia, es decir la energ se emit o absorb mediante quantas de energ a a a a E = .
Max Planck
Hay varias razones que justican su audacia. La primera es que Planck consider su hiptesis como un articio mao o temtico pues le permit deducir su frmula emp a a o rica. En efecto, a os antes en gran f n sico austriaco Ludwig Boltzmann hab demostrado que la probabilidad de que un sistema en a equilibrio tuviese una energ E era proporcional a la cana E . Si E slo puede tomar valores que sean o tidad exp kT
18
m ltiplos enteros de , En = n , entonces la probabilidad pn de cada uno de estos u n y por tanto la energ media es a valores de energ es pn = exp a kT
n=0
pn En =
n=0
n exp
n kT
n exp kT n=0
= exp
kT
, 1
que es justamente la frmula que Plank hab encontrado emp o a ricamente. Si ahora mul2 tiplicamos por dn = 2 3 obtenemos c u(, T ) = dn = 3 4 2 c2 1 kT , 1 (2.1.3)
exp
conocida como frmula de Planck para la densidad de energ de un cuerpo negro. o a La segunda razn fue que los quanta de Planck eran absorbidos o emitidos por la o materia que compon al cuerpo negro: es decir sus tomos. Y la estructura atmica a a o era algo desconocido a principios del siglo XX, incluso muchos modelos de la materia consideraban a sta como un conjunto de osciladores, por lo que no era del todo descae bellada la idea de Planck de que estos osciladores slo pudiesen absorber la energ o o a emitirla mediante porciones individuales podr ser una especie de resonancia, o algo a parecido. No obstante para Planck la luz segu siendo una onda perfectamente continua a y perfectamente descrita por las leyes de Maxwell. Antes de continuar nuestra historia debemos hacer un breve parntesis para explicar e cules fueron las principales causas de que la hiptesis de Planck calara tan hondo el la a o f sica de principios de siglo. El primer hecho importante es que, como ya hemos mencionado, la frmula de Planck o se correspond exactamente con la curva experimental para el cuerpo negro obtenida a en los laboratorios. Pero adems permit resolver una de las paradojas de la f a a sica clsica: la denominada catstrofe ultravioleta, consecuencia de la frmula de Rayleigha a o Jeans. Si la frmula (2.1.2) era correcta entonces la densidad de equilibrio de la energ o a u(T ) de la radiacin (2.1.1) daba innito, es decir que nunca se alcanzar el equilibrio o a termodinmico entre la materia y la radiacin. Si usamos (2.1.3) tenemos a o U (T ) =
0
u(, T )d =
2 k4 4 T = T 4 , 60c2 3
donde es una constante conocida tambin como constante de Boltzmann para la dene sidad o luminosidad de la energ de radiacin. Planck calcul adems el valor de la a o o a constante en su frmula para que se correspondiera con los valores experimentales obo teniendo el valor aproximado 1,05 1034 Jules por segundo1 . Cuando sustituy este o valor el la frmula para obtuvo exactamente el valor numrico de sta. Es decir, Planck o e e resolvi de forma brillante la segunda de las nubecillas de Lord Kelvin. o
1 Muchas
veces en vez de
se usa el valor h = 2 = 6,62 1034 .
2.2. Einstein y el efecto fotoelctrico e
19
Estos resultados fueron publicados por Planck el 14 de octubre de 1900, d ocial del nacimiento de la teor a a cuntica. Quin iba a imaginar que este trabajo iba a revoa e lucionar la f sica por completo! El segundo hecho, que adems fue crucial en la historia a de la mecnica cuntica, fue la prueba de Henri Poincar (en a a e el oto o de 1911) de que la distribucin n o = Henri Poincair e exp kT , 1
slo se pod obtener bajo la suposicin de que la energ o a o a est cuantizada, es decir desde el punto de vista matemtico a a la frmula de Planck slo puede ser deducida bajo la supoo o sicin de que la energ se emite y absorbe en porciones discretas de energ algo que era o a a totalmente distinto a la concepcin clsica del mundo que se ten hasta la fecha. o a a
2.2.
Einstein y el efecto fotoelctrico e

El siguiente paso lo dio Einstein en 1905 en un ensayo titulado Sobre un punto de vista heurstico acerca de la pro duccin y la transformacin de la luz que recibi el mismo o o o Max Planck para su publicacin en los Annalen der Physik. o Einstein, totalmente seducido por los quanta de Planck, lanza la hiptesis de que no slo los osciladores materiales o o emit energ cuanticadamente, sino tambin los oscilaan a e dores lum nicos. Einstein retomando las ideas corpusculares sobre la luz Newton ya hab desarrollado una teor a a corpuscular a nales del siglo XVII considera la luz formada por part culas de masa cero y energ : los fotones. a Utilizando estas hiptesis dio una explicacin sencill o o sima al efecto fotoelctrico que hab descubierto Hertz en 1887 y e a que segu sin tener una explicacin satisfactoria. a o
Hertz hab descubierto que una placa metlica sometia a da a una luz ultravioleta altas frecuencias emit electroa nes. A os ms tarde se comprob que el n mero de dichos n a o u electrones aumentaba proporcionalmente a la intensidad de la radiacin pero incompreno siblemente la velocidad de stos no depend de la intensidad sino de la frecuencia de e a luz: a mayor frecuencia, mayor velocidad. Adems si la frecuencia era lo sucientemente a baja o la longitud de onda muy grande ya no se emit electrones independientemente an de lo intensa que fuese la luz incidente. Para resolver el problema Einstein razon como sigue: Supongamos que usamos una o luz monocromtica compuesta por quantas de energ luminosa , es decir que estamos a a bombardeando la lmina metlica con part a a culas luminosas cada una de las cuales tiene
Albert Einstein
20
luz Metal
electrones
Figura 2.3: Efecto fotoelctrico e
una energ . Si denotamos por W la energ necesaria para extraer un electrn del a a o metal, entonces la energ cintica de los electrones, Ec , se expresar mediante la frmula a e a o Ec = W. (2.2.1)
Todas las observaciones descritas anteriormente son una consecuencia de la frmula o anterior! A os ms tarde, el f n a sico estadounidense Robert Millikan comprueba experimentalmente la frmula de Einstein (2.2.1) y encuentra que es la misma de Planck. o Esta fue la gota que colm el vaso, pues al parecer la luz, que era aceptada unnimemente o a por todos como un fenmeno continuo, ten al parecer cierta naturaleza corpuscular. o a
2.3.
Bohr y el modelo atmico o

El prximo paso en la historia lo dio el dans Niels Bohr. o e
Era un hecho aceptado en 1913 que el tomo estaba consa tituido por un n cleo pesado y denso que conten toda u a la materia del tomo y electrones girando a su alrededor. Este a modelo, una especie de sistema solar en miniatura, sencillo y funcional fue propuesto por Rutherford a partir de los resultados de experimentos de dispersin.2 Slo ten un peque o o o a n problema: como toda carga en movimiento acelerado emite ondas electromagnticas, los electrones que giraban alrededor del e n cleo deb perder energ y caer al n cleo adems en un u an a u a tiempo rcord: 105 segundos. Por tanto, ten que haber ale a guna forma de poder retener a los electrones en sus rbitas. o Niels Bohr Adems, otro hecho conocido era que el espectro del tomo de a a hidrgeno, por ejemplo, estaba constituido por l o neas espectrales completamente separadas cuyas frecuencias se expresaban mediante la frmula de o Balmer series de Balmer y sus generalizaciones: =R 1 1 2 k2 n , n, k = 1, 2, 3, . . . ,
siendo R la constante de Rydberg.

2 Rutherford
bombardeaba atomos de oro con ncleos de helio (part u culas alpha).
2.3. Bohr y el modelo atomico
21
El razonamiento de Bohr fue bastante lgico: obligar al electrn que se mantuviera o o en ciertas rbitas permitidas (estables) y para pasar de una de estas rbitas a otra este o o deber saltar por encima de todas aquellas no permitidas. Dichas rbitas, que Bohr a o consider circulares, deb ser tales que o an De todas las innitas rbitas posibles slo son posibles aquellas en la que su moo o mento angular L = mvr, siendo m la masa del electrn, v, su velocidad y r el radio o de la rbita, fuesen m ltiplos enteros de , i.e. mrv = n . o u La energ que absorbe o emite un tomo al saltar un electrn de una rbita permia a o o tida a otra es igual a , es decir para saltar de una rbita a otra el tomo absorbe o a o emite un quanta de luz. Veamos las consecuencias de las hiptesis cunticas de Bohr. o a Si usamos la ley de Newton F = ma, tenemos v2 e2 = 2. r r Utilicemos que L = mvr = n para eliminar la velocidad v. Ello nos da el valor de los radios rn de las o rbitas permitidas m rn = n . me2 Figura 2.4: El tomo de Bohr a
2 2 2 2
111111111111111 000000000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 111111111111111 111111111 000000000000000 000000000 1111 0000 111111111111111 111111111 000000000000000 000000000 1111 0000 111111111111111 111111111 000000000000000 000000000 1111 0000 111111111111111 000000000000000 1111 0000 1111 0000
La energ de la rbita es, por tanto3 , a o En =
e e me4 1 1 mv 2 = = 2 2. 2 r 2r 2 n me4 2 3 1 1 2 k2 n
(2.3.1)
Entonces, el salto entre dos rbitas daba para la frecuencia del fotn emitido el valor: o o = En Em = , n, k = 1, 2, 3, . . . .
Cuando Bohr sustituy en su frmula el valor de m, e y , tomando para esta ultima o o el valor de encontr Planck, obtuvo justamente el valor de la constante de Rydberg R. o Es decir, era ms que una simple constante introducida articialmente por Planck: era a una de las constantes ms importantes de la naturaleza. a Aunque el modelo de Bohr era muy funcional y explicaba muchos fenmenos, este o continuaba siendo muy incompleto y adems ten demasiados interrogantes. De dnde a a o sal ese extra o postulado sobre las rbitas? Este era quiz el punto ms obscuro a n o a a de toda la teor No obstante, en su art a. culo Bohr sienta las bases de lo que luego se denomin el Principio de correspondencia de Bohr. El l, Bohr postula cmo deb ser la o e o a teor cuntica: sta ten que ser tal que, para n meros cunticos grandes, por ejemplo a a e a u a n en las frmulas anteriores, se transformase en la teor clsica. o a a A os ms tarde, Bohr junto a Sommerfeld mejoran mucho el modelo atmico inicial n a o incluyendo rbitas el o pticas, entre otras cosas. Pero no es hasta 1925-1926 que no nace la nueva teor cuntica a manos de un joven f a a sico alemn: Werner Heisenberg y un f a sico austriaco: Erwin Schrdinger. o
3 Hemos
sustituido el valor de v que nos da la ley de Newton.
22
2.4.
2.4.1.
El nacimiento de la Mecnica Cuntica a a

La dualidad onda-part cula
Antes de poder describir los fundamentos de la Mecnica Cuntica tenemos que a a detenernos en un personaje singular: el francs Louis de Broglie. Luis de Broglie era e el hermano peque o del Marqus Maurice De Broglie, un afamado f n e sico experimental francs que dedicaba gran parte de su tiempo y dinero a la investigacin experimental e o varias veces fue propuesto para el Nobel de F sicas. Un d de 1923 Louis, inuenciado a por el trabajo de Einstein sobre el efecto fotoelctrico, postula que la dualidad ondae part cula que Einstein hab proclamado para la luz tambin hab de ser cierta para las a e a part culas materiales, como por ejemplo, el electrn: Sus palabras fueron o En la Optica durante siglos ha sido demasiado despreciado el mtodo corpuse cular de estudio en comparacin con el ondulatorio. No se habr cometido o a el error inverso en la teora sobre la materia? . Si Einstein hab recuperado la propiedad corpuscular paa ra la luz, De Broglie la postul para la materia. Al enterarse o Einstein de las armaciones y trabajos de De Broglie arm: o De Broglie ha levantado un extremo del gran velo. Aunque Louis no consigui convencer a ninguno de los f o sicos del laboratorio de su hermano para que vericase su hiptesis stos o e estaban enfrascados en otros muchos proyectos, como los rayos X, en 1927 C. Davisson y L. Germer descubrieron una gura de difraccin al estudiar la dispersin de electrones que luego o o fue corroborada independientemente por G.P. Thompson y por P. Tartakovsky. La genialidad de De Broglie fue equiparar un electrn a o una onda plana. Por ejemplo, si tenemos un electrn de masa o m y velocidad v, De Broglie postul que el momento (impulso) o p del electrn era o p = mv = E 2 2 = = = , v v vT
Louis de Broglie
de esta forma De Broglie daba un signicado f sico a las rbitas de Bohr: stas eran justo o e aquellas rbitas tales que el cociente entre su longitud y la longitud de onda del electrn o o era un n mero entero, es decir era una analog completa a las ondas estacionarias sobre u a un anillo (c rculo).
2.4.2.
La Mecnica matricial de Heisenberg a
La hiptesis de De Broglie fue la clave para una de las dos formulaciones de la o Mecnica cuntica: La mecnica ondulatoria de Schrdinger. Pero antes debemos coa a a o mentar la primera versin de la Mecnica cuntica, la mecnica matricial, nacida en o a a a 1925 de la mano del joven f sico alemn Werner Heisenberg. a
2.4. El nacimiento de la Mecanica Cuantica
23
En opinin de Heisenberg, una teor f o a sica correcta ha de hacer uso unica y exclusivamente de cantidades o magnitudes observables. Luego haciendo uso del principio de correspondencia de Bohr se lanz a entender los estados estacionarios del too a mo. Su razonamiento era, aproximadamente el siguiente: Una carga en movimiento con una determinada frecuencia deb emia tir radiacin con dicha frecuencia como en la teor clsica. o a a Este hecho era una consecuencia matemtica del anlisis de a a Fourier que Heisenberg aplicaba al mundo cuntico. Como frea cuencias del espectro depend de dos an ndices n,m (vase la e frmula de Balmer), Heisenberg postulaba que deb haber tano a tos ndices como estados estacionarios no slo como niveles de o Werner Heisenberg energ pues se sab que las series espectrales se modicaban a, a al introducir los tomos en fuertes campos magnticos. A cona e tinuacin da un salto cualitativo al armar que toda magnitud f o sica clsica a(t) debe a transformarse en el conjunto Anm (t). As por ejemplo la posicin del electrn x(t) deb , o o a ser sustituida por una tabla Xnm (t). A continuacin Heisenberg razona como habr de o a 2 calcularse Xnm (t) hasta obtener la frmula o
2 Xnm (t) = k
Xnk (t)Xkm (t),
es decir, las cantidades Xnm eran matrices. Finalmente, deduce, siempre razonando sobre el principio de correspondencia de Bohr que la dinmica que rige las magnitudes cunticas a a ha de ser: dX i i (2.4.1) = (HX XH) = [H, X], i = 1, dt donde H representaba la matriz del Hamiltoniano del sistema. Como H, representa el Hamiltoniano, es decir la energ y obviamente [H, H] = 0, entonces, de (2.4.1) se ten a, a la conservacin de la energ En particular Heisenberg, junto a dos colegas alemanes de o a. Gotinga, M. Born y P. Jordan, desarrollan toda una Mecnica matricial que se ajustaba a muy bien a las observaciones pocas, por cierto de la poca. Aparte de sus aberrantes e matrices como les llamaban los f sicos de la poca, especialmente Schrdinger Heisene o berg descubri, o ms bien postul, un principio tremendamente polmico: el principio o a o e de incertidumbre de Heisenberg. De hecho en sus primeros razonamientos para construir la mecnica matricial Heisenberg descubre la imposibilidad de conocer al mismo tiempo a y con una precisin arbitraria la posicin y la velocidad del electrn. o o o Obviamente ese cambio radical no fue bien recibido por la mayor de los f a sicos. En primer lugar representaba un cambio drstico de pensamiento esas aberrantes a matrices, en segundo, su aparato matemtico era lo sucientemente complicado para a que no estuviera al alcance de cualquiera. Por eso no es de extra ar que pronto apareciera n un competidor.
2.4.3.
La Mecnica ondulatoria de Schrdinger a o
En efecto, en 1926, Erwin Schrdinger andaba buscando una teor que acabase o a con esa aberracin de las matrices que Heisenberg intentaba introducir en la f o sica, cuando, a sugerencia de P. Debije, estudia el trabajo de De Broglie publicado 1924.
24
Seg n el mismo Schrdinger, un simple vistazo le fue suciente para dar con la idea: u o asociar a cada part cula una onda y construir la ecuacin diferencial que gobierna dicha o onda. Al principio Schrdinger intent construir una teor ondulatoria para un electrn o o a o atrapado en un tomo. Comienza con un modelo relativista pero no le sale bien y decide a ver qu ocurre en el caso no relativista. e La idea de Schrdinger era muy simple: Supongamos que o tenemos una onda (x, t) asociada a un sistema clsico cuya a energ viene dada por la funcin de Hamilton, el Hamiltoniano, a o H(x, p), siendo x la coordenada y p el impulso. Entonces, despus de un largo proceso de prueba y error, y usando el prine cipio de correspondencia de Bohr as como distintos elementos de la mecnica clsica superior las ecuaciones de Hamiltona a Jacobi, por ejemplo, Schrdinger postul que la ecuacin pao o o ra una onda (x, t) deb ser, en el caso estacionario, es decir a cuando no hay dependencia del tiempo, H (x, p) (x, t) = E(x, t), Erwin Schrdinger o p = i , x
donde E era la energ del sistema asociado a la onda . Es a decir, en el caso cuando tenemos un Hamiltoniano estndar, a H(x, p) = p2 + V (x), 2m
siendo V (x) la funcin potencial (energ potencial), se tiene la ecuacin de diferencial o a o 2 + V (x)(x, t) = E(x, t). 2m x2
2
(2.4.2)
Una de las pruebas de fuego de su ecuacin fue el caso V (x) = 0, es decir cuando se ten o a el movimiento de una part cula libre. Si consideramos el caso unidimensional, y hacemos V (x) = 0, la solucin deb ser una onda plana del tipo o a (x, t) = A cos(kx + t), k= 2 .
Si sustituimos este valor en la ecuacin de Schrdinger tenemos el valor o o E= k , 2m

2 2
que igualado con el valor de la energ cintica recordemos que V (x) = 0 nos da a e p= k= 2 ,
que justamente era la frmula que hab postulado De Broglie. o a Pero su mayor xito estaba por llegar. Schrdinger decidi aplicar su ecuacin al e o o o a tomo de hidrgeno. Como en este caso el potencial era o V (r) = e2 , r r= x2 + y 2 + z 2 ,
2.4. El nacimiento de la Mecanica Cuantica obtuvo la ecuacin o

2
25
2m
2 2 2 + 2+ 2 x2 y z
(x, y, z)
e2 (x, y, z) = E(x, y, z). r
(2.4.3)
A esta ecuacin volveremos ms adelante. Lo importante era que Schrdinger sab como o a o a tratar este tipo de ecuaciones y la resolvi. Primero la escribi en coordenadas esfricas o o e 2 y luego aplic la separacin de variables. La parte angular del laplaciano, := x2 + o o 2 2 e y 2 + z 2 , en coordenadas esfricas era muy sencilla de resolver apareciendo las funciones o armnicos esfricos de Laplace. En particular Schrdinger obtuvo para los valores de o e o la energ en el estado estacionario del tomo de hidrgeno la frmula a a o o En = que era la misma de Bohr (2.3.1). Finalmente Schrdinger, igual que hizo Heisenberg, dedujo una ecuacin para la o o dinmica de un sistema, que en el caso unidimensional tiene la forma a H x, i x (x, t) = i (x, t). t me4 1 , 2 2 n2
Si tenemos un Hamiltoniano estndar, sta se transforma en a e 2 (x, t) + V (x)(x, t) = i (x, t). 2m x2 t

2
(2.4.4)
En particular, de (2.4.4) se pod deducir fcilmente la ecuacin (2.4.2), para los sistemas a a o estacionarios, introduciendo la factorizacin o (x, t) = (x) exp iEt .
2.4.4.
Una deduccin de la ecuacin de Schrdinger o o o
La ecuacin de Schrdinger no se puede deducir, es sencillamente un postulado o o impuesto, o mejor, descubierto. No obstante, existe un razonamiento muy sencillo que permite dar con la forma de esta ecuacin. o Supongamos que tenemos una part cula libre y le asociamos cierta onda plana (x, t) = Aei(kxt) , k= 2 .
Seg n De Broglie p = 2 /, as que k = p/ , y adems, usando la frmula de Planck u a o = E/ , i (x, t) = Ae (pxEt) . Ahora hacemos, p2 2 (x, t) = 2 (x, t), 2 x por tanto p2 = 2 (x, t), (x, t) x2
2
26 pero E=
2 2 p2 (x, t), E= 2m 2m(x, t) x2
2 (x, t) = E(x, t). 2m x2

2
Si en vez de una part cula libre tenemos una ligada mediante un potencial V (x), entonces E= o, equivalentemente, 2 (x, t) + V (x)(x, t) = E(x, t). 2m x2
2
p2 + V (x), 2m
E=
2 (x, t) + V (x), 2m(x, t) x2

2
Del razonamiento anterior en particular se deduce que al momento p de una part cula le corresponde el operador . p = i x
2.5.
La interpretacin de la Mecnica cuntica o a a

Los trabajos de Schrdinger calaron muy hondo en los o f sicos de la poca. En particular aparentemente se perd la e a cualidad discreta del modelo de Bohr al aparecer nuevamente las ondas, en este caso la onda . El mismo Schrdinger o intent darle un signicado a la onda de su ecuacin usano o do ciertas analog con la mecnica de uidos ecuacin de as a o continuidad para el uido electrnico, pero no tuvo xito o e en su intento.
Fue Max Born, colega y amigo de Heisenberg l mismo e ayud a Heisenberg a construir la Mecnica matricial, quin o a e rpidamente intuy una interpretacin plausible. Basndose a o o a en los resultados experimentales sobre la dispersin de ono das planas recordemos que el electrn libre se consideraba o Max Born como tal en la mecnica ondulatoria de Schrdinger Born a o asegur que la funcin de onda (x) daba la probabilidad o o de que una part cula fuese detectada en la posicin x y que dicha probabilidad era proo porcional a |(x)|2 , es decir la Mecnica ondulatoria, al igual que la matricial como se a ver ms tarde, era una teor estad a a a stica incluso para describir una unica part cula. Este trabajo publicado en julio de 1926, apenas un mes despus del art e culo de Schrdinger sobre la ecuacin no estacionaria abri una de las polmicas ms grandes de o o o e a la historia de la ciencia en los ultimos 100 a os: La f n sica cuntica es, por principio, no a determinista. El mismo Born escribi al nal de su art o culo: Aunque el problema del determinismo ha aparecido [. . . ] yo mismo me inclino a dejar a un lado el determinismo en el mundo de los atomos. Pero esto es una cuestin losca para la cual los argumentos fsicos no son concluyentes. o o
2.5. La interpretacion de la Mecanica cuantica
27
El problema losco de Born se agudiz todav ms cuando Dirac por un lado, o o a a y el mismo Schrdinger por el otro probaban que las dos formulaciones de la Mecnica o a cuntica, la matricial y la ondulatoria, eran equivalentes: a A cada funcin de la posicin y el momento [en la mecnica ondulatoria] se le o o a puede hacer corresponder una matriz de forma que en cada caso dichas matrices satisfacen las reglas formales de clculo de Born y Heisenberg [. . . ]. La a solucin del problema de contorno de la ecuacin diferencial [en la mecnica o o a ondulatoria] es completamente equivalente a la solucin del problema algeo braico de Heisenberg escribi Schrdinger en 1926. o o El problema de la interpretacin de la Mecnica Cuntica termin en una pelea o a a o abierta entre los que la defend y la consideraban una teor completa Bohr, Heisenan a berg, Born, Pauli, etc y la que la consideraban incompleta Schrdinger, Einstein, etc. o Como ejemplo de esta polmica es representativa la carta que escribe Einstein a Born el e 7 de septiembre de 1944: Nuestras expectativas cientcas nos han conducido a cada uno a las antpodas del otro. T crees en un Dios que juega a los dados, y yo en el valor unico u de las leyes en un universo en el que cada cosa existe objetivamente [. . . ]. El gran xito de la teora de los quanta desde sus comienzos no puede hacerme e creer en el carcter fundamental de ese juego de dados [. . . ]. Algn da se a u descubrir cual de estas dos actitudes instintivas es la buena. a Parte importante para entender esta polmica viene del hecho de ambas teor la e as, mecnica matricial y la ondulatoria, describ rigurosamente muchos de los fenmenos a an o del micromundo, pero ambas ten un gran problema Cmo denir si una part an o cula cuntica estaba en un estado determinado o en otro? a Un sencillo ejemplo de lo que ocurre es lo siguiente. Imaginemos que denimos los estados mediante la funcin usando la ecuacin de Schrdinger y supongamos que o o o nuestro sistema puede encontrarse en dos estados A y B denidos por la funcin 1 y o 2 , respectivamente, y que al primero le corresponde una energ E1 y al segundo E2 , a entonces siempre tenemos que un estado posible es el estado = a1 1 + a2 2 (pues la ecuacin de Schrdinger es lineal). Resulta entonces que si tenemos un instrumento que o o nos mide la energ de nuestro sistema ste nos dar unas veces E1 y otras E2 , y justo la a e a probabilidad de que nos d una u otra es proporcional a |a1 |2 y |a2 |2 , respectivamente. e Esta era la interpretacin probabil o stica que tan poco gustaba a Einstein. Todo ello se agudiz todav ms cuando Heisenberg descubre su principio de incero a a tidumbre en 1926.
2.5.1.
El principio de incertidumbre de Heisenberg
Usando el formalismo ondulatorio, Heisenberg comprob que deb existir un prino a cipio de incertidumbre al medir ciertas cantidades f sicas como la posicin y el momento. o En 1926, Heisenberg consider una onda gaussiana normalizada del tipo o (x, 0) =
1
(xx0 )2 2b2
p0 x
=
R
(xx0 )2 b2
dx,
28 es decir4
(x, 0)(x, 0)dx =

R R
|(x, 0)|2 dx = 1.
Si una part cula ven descrita por dicha onda, entonces usando la idea de Born, el a valor medio para la posicin de la part o cula era x =
R
(x, 0)x(x, 0) =
R
x|(x, 0)|2 dx = x0 ,
, y para la posicin, usando que el operador correspondiente al momento era p = i o x tenemos (x, 0)(x, 0) = p0 , p p =
R
es decir que nuestra part cula tiene un momento p0 y est en la posicin x0 . Si ahora a o intentamos determinar con que precisin estamos calculando los valores de estas dos o magnitudes tenemos que calcular las varianzas x y p , x =
R
(x, 0)(x x0 )2 (x, 0) =

2
b2 , 2
p =
R
(x, 0)( p0 )2 (x, 0) = p
2b2
de forma que , o, equivalentemente, xp = , 4 2 con x = x y p = p . Es decir, no podemos nunca medir con una precisin o tan grande como se quiera las dos magnitudes x y p. De hecho, resulta ser que x p =
o xp , es decir, Heisenberg descubri justo la onda que minimizaba el principio que 2 lleva su nombre. De dnde sale esta incertidumbre que no existe en la mecnica clsica? o a a
2.6.
El experimento de difraccin y el principio de o incertidumbre
Veamos un experimento imaginario. Supongamos que tenemos una pared con un agujero en el centro de dimetro d y lanzamos un electrn cuya trayectoria es perpendicular a o a la pared y que pasa por dicho oricio. Supongamos que el electrn se comporta como una onda monocromtica de con o a longitud de . Entonces obtenemos la bien conocida gura de difraccin5 , con forma de o c rculos concntricos alrededor del punto O (ver gura 2.5). e Para describirla representamos el experimento en la gura 2.6. En este caso para describir la difraccin se suele dividir la rendija en 2N partes iguales. Nos interesa coo nocer donde aparece el primer m nimo por lo que escogerenos N = 1, i.e., dividiremos
operacin a denota el complejo conjugado de a. o a asumir que tanto la fuente de electrones como el plano donde aparece la gura de difraccin o estn lo sucientemente alejados del agujero y de esta forma usaremos el mtodo de Fraunhofer a e
5 Vamos 4 La
2.6. El experimento de difraccion y el principio de incertidumbre
29
Figura 2.5: Esquema de difraccin de rayos X y electrones (izquierda) y de luz monoo cromtica (derecha) a
11 00 111111111111111111111111 000000000000000000000000 A 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 11 00 111111111111111111111111 000000000000000000000000 O 111111111111111111111111 000000000000000000000000 11 00 d 11 00 11 00 2 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00
111 000 111 000 111 000 111 000 111 000 111 000 111 000 1111 0000 1 0 1111 0000 1 d 0 1111 0000 1 0 1111 0000 1111 0000 1 2 0 1111 0000 1111 0000 1 0 d 1111 0000 1 0 2 sen 111 000 111 000 111 000 111 000 111 000 111 000 111 000
Figura 2.6: Esquema de difraccin (izquierda) y detalle del mismo (derecha) o
el agujero a la mitad y consideraremos los rayos que salen del centro y los extremos, respectivamente, tal y como se representan en la gura 2.6. De la gura 2.6 se deduce adems que en el punto A habr un m a a nimo si la diferencia del camino recorrido por ambos rayos (el que sale del extremo superior y el del medio del agujero) es un n mero u entero m de veces la mitad de la longitud de onda de la misma d sen = m 2 2 = d sen = m,
y por tanto el primer m nimo se obtendr cuando d sen = . a Obviamente para nuestro electrn py es cero ya que l se mueve en el eje de o e las x. Ahora bien, cuando pasa por la ranura sabemos que se difracta, es decir que puede cambiar su trayectoria inicial ya que vemos su grca de dispersin. Por tanto, a o la indeterminacin y del electrn en el momento de pasar por el oricio es del orden o o y = d (pues sabemos que el electrn ha pasado). Ahora bien, como tenemos una o grca de dispersin, resulta que el electrn tiene que haber ganado cierto impulso py a o o en la direccin perpendicular a su eje, eso nos da una cierta indeterminacin del orden o o
30
py . Para calcularla usamos la teor ondulatoria de de Broglie para el electrn, py = a o px sen , px = 2 /. Para calcular asumiremos que el electrn va a parar dentro del c o rculo que marca en primer mximo en la grca de dispersin los otros los despreciamos al ser stos a a o e bastante menores que el primero. Ahora bien, como sabemos, el primer m nimo tiene lugar cuando d sen = , de donde se deduce sen = /d, y por tanto py y = px d y = 2 d = 2 > 0. d 2
El principio de incertidumbre como ya hemos dicho es un pilar de la Mecnica a cuntica. Por ejemplo, es el el causante de que los electrones no caigan al n cleo pues en a u ese caso tanto p como x valdr cero. Otra consecuencia del principio de incertidumbre an es la desaparicin del concepto clsico de trayectoria. o a
2.7.
Las matemticas de la Mecnica Cuntica a a a
Las matemticas de la Mecnica Cuntica estn estrechamente ligadas al problema a a a a de la interpretacin. La principal razn se debe a que una misma teor no puede contener o o a dos tipos de postulados, principios o axiomas: los clsicos y los cunticos. Por tanto los a a principios de la f sica clsica deben obtenerse de los axiomas de la Mecnica cuntica al a a a pasar al mundo macroscpico donde la f o sica clsica es aplicable. a La construccin matemtica impuso el orden en el aparente caos de la interpretao a cin. Los principales axiomas o postulados de la Mecnica Cuntica se pueden resumir o a a en los siguientes: I. Cualquier magnitud f sica se describe a travs de un operador lineal herm e tico A denido sobre un espacio de Hilbert H, cuyos vectores denen los posibles estados del sistema f sico, II. Los valores f (a ) que puede tomar una magnitud f sica son aquellos que corresponden al espectro del operador lineal herm tico A que caracteriza dicha magnitud, III. El valor esperado de una magnitud f sica x cualquiera de un sistema en el estado , es |x , donde | representa el producto escalar en el espacio de Hilbert. IV. La funcin de onda del sistema est gobernada por la ecuacin de Schrdinger o a o o , donde H es el operador de Hamilton del sistema. H = i t Un espacio de Hilbert que denotaremos aqu por H es un espacio lineal donde est denido un producto escalar a|b , cualesquiera sean los vectores a, b H y que es a x|x . Los completo6 respecto a la norma x inducida por el producto escalar7 x = operadores lineales denidos sobre H se pueden representar mediante matrices nitas o innitas de forma que las matrices de Heisenberg, Born y Jordan se pueden identicar
6 Es 7 Para
decir que toda sucesin de Cauchy en H es convergente. o el que usaremos la notacin de Dirac: el producto escalar de x e y se denotar por x|y . o a
2.7. Las matematicas de la Mecanica Cuantica

A 1 B 2 A B
31
A+B = a1 1 + a2 2
A+B = a1 1 + a2 2
Figura 2.7: Las mediciones selectivas.. Un sistema que originalmente puede estar en dos estados A y B (izquierda), se decanta por uno de ellos al realizar la medicin (derecha). o El aparato de medicin interere en el sistema acabando con la incertidumbre del mismo. o como ciertos operadores lineales sobre H. Adems, las funciones de onda de Schrdinger a o pertenecen al espacio de Hilbert L2 , el espacio de las funciones de cuadrado integrable. Un operador A se dice herm tico si a|Ab = Aa|b . Una propiedad fundamental de estos operadores herm ticos era que para ellos exist una base ortonormal de autovectores y a adems los correspondientes autovalores eran reales. En especial esta ultima propiedad a era decisiva a la hora de identicar los operadores con las magnitudes f sicas medibles, que son cantidades reales. Es decir, la matemtica de la Mecnica Cuntica, es la matemtica de los operadores a a a a en los espacios de Hilbert. Parte de esa teor era conocida a principios del siglo XX pero a gran parte de la misma se desarroll en Gotinga impulsada por David Hilbert pero o fundamentalmente desarrollada por John Von Neumann cuya obra quedar plasmada a en el magn co libro Fundamentos Matemticos de la Mecnica Cuntica publicado en a a a 1932.
2.7.1.
El gato de Schrdinger o
Von Neumann intent dar una construccin lgica a la Mecnica Cuntica introduo o o a a ciendo una teor de mediciones. Como ejemplo, supongamos que tenemos dos posibles a estados A y B de un sistema denidos por las funciones de onda 1 y 2 , respectivamente. Cmo saber en cual de los estados est el sistema? Este dilema se resolv al hacer o a a el experimento. De la interaccin del aparato de medicin con el sistema se conclu en o o a que estado estaba (o ms bien, se quedaba) el sistema (ver gura 2.7)8 . a Esta teor estaba plagada de efectos curiosos. Uno de los ms famosos es el hecho a a de que al medir una cantidad f sica f (a) de un sistema f sico microscpico (cuntico) A o a debemos usar un instrumento que es, en s mismo otro sistema f sico M y que obviamente es clsico, es decir, su comportamiento se puede explicar con las leyes de la f a sica clsica. a Pero entonces puede ocurrir que la interaccin entre A y M , necesaria para poder saber o el valor de f (a) cree una interferencia que se transera al mundo macroscpico. Es decir, o si tenemos un sistema en el estado = c1 1 + c2 2 ,
8 Este
efecto se denomina comnmente el colapso de la funcin de onda. u o
32
entonces, al realizar la medicin en vez de tener el sistema A + M en un estado o donde no se mezcle el estado de nuestro sistema cuntico con el estado de nuestro a instrumento clsico, tendremos una superposicin ms complicada a o a A+M = c1 1 1 + c2 2 2 , donde se han mezclado estados cunticos y clsicos. Esto no est de acuerdo con el a a a principio de correspondencia de Bohr, ya que ste insist que la f e a sica cuntica deb a a estar aparte de la clsica. Obviamente podemos pensar que para resolverlo basta con usar a otro aparato M que mida lo que mide M , pero entonces la interferencia pasa a M y as sucesivamente terminamos en una cadena innita. Von Neumann intent resolver esta o paradoja introduciendo en la cadena al observador humano que no se deja interferir por el sistema cuntico. a
Figura 2.8: La paradoja del Gato de Schrdinger. Arriba se muestra lo que ocurre a o puerda cerrada: una dualidad gato vivo-gato muerto que slo se resuelva al abrir la caja o cuando el observador descubre o que el gato est vivo (1), o que est muerto (2). a a
Esto llev Schrdinger en 1935 a construir su famosa paradoja del gato (ver guo o ra 2.8), conocida hoy d como el Gato de Schrdinger. En ella Schrdinger usa como a o o experimento la desintegracin radioactiva. Las posibilidades son dos: tiene lugar la deo sintegracin del tomo o no tiene lugar. El instrumento de medicin es un detector que o a o activa un diablico martillo que, en caso de que ocurra la desintegracin, golpea un recio o piente de cristal con veneno y lo rompe. Y ahora Schrdinger mete su instrumento dentro o de una caja negra sin ventanas ni puertas, junto con . . . un pobre gato. La funcin de o onda A+M representar entonces el estado gato vivogato muerto. Slo un observador a o humano sobre el cual no interferir el estado cuntico del tomo ser capaz de resolver a a a a esa paradoja de gato vivo-muerto pues al abrir la caja se encontrar con una apacible o a cruda realidad en funcin del amor que profese a los gatos el susodicho observador. Heo mos traspasado una propiedad microscpica, cuntica, al mundo macroscpico, clsico, o a o a lo cual est en abierta contradiccin con el principio de correspondencia del que ya hemos a o hablado. Aunque Bohr dio su versin a la interpretacin de Schrdinger no vamos a ino o o cluirla y vamos a considerar esta parte concluida. La resolucin formal de esta paradoja o
2.7. Las matematicas de la Mecanica Cuantica
33
se traducir en un axioma concreto de la Mecnica Cuntica como veremos ms adelante. a a a a Lo que est claro de todo lo anterior es que la interpretacin9 de la Mecnica Cuntica a o a a es algo para meditar y pensar: es una cuestin losca para la cual los argumentos o o fsicos no son concluyentes, como dijo Born en su ya mencionado art culo. Sobre la bibliograf a Ms detalles histricos los puedes encontrar en [2, 5, 9, 12, 15, 20]. a o Como introduccin a nivel elemental de f o sica cuntica se pueden consultar [7, 16, 21]. a Textos ms avanzados lo constituyen [3, 6, 12, 14, 17, 19]. Una magn a ca introduccin o de lo que pretende la f sica y de su interaccin con las matemticas se tiene en [8]. o a
9 Hoy d no hay unanimidad en como interpretar la teor cuntica. Un magn a a a co libro sobre el tema es Lo decible y lo indecible en mecnica cuntica de John S. Bell (Alianza Universidad, 1990). a a
34
Cap tulo 3
Mecnica Cuntica I: a a Movimiento de una part cula material

Vamos a comenzar describiendo el sistema cuntico ms sencillo: una unica part a a cula sometida a un potencial externo V (r). Comenzaremos describiendo los principales postulados. Una magn ca introduccin se puede consultar en [3]. o
3.1.
Los postulados de la Mecnica Cuntica a a
Postulado 3.1.1 El estado de una partcula de masa m en el instante de tiempo t viene biunvocamente determinado por la funcin de onda (r, t). La densidad de probabilidad o de encontrar la partcula en el instante t en la regin del espacio de volumen d3 r alrededor o del punto r es d3 P (r) = |(r, t)|2 d3 r. Proceden algunos comentarios. 1. Para que el postulado 3.1.1 tenga sentido debe ocurrir que para cada t jo |(r, t)|2 d3 r = 1,
donde es aquella regin accesible a la part o cula, es decir, la regin donde con certeza o absoluta puede estar la part cula (en general dicha regin ser R3 ). Lo anterior indica o a que, para cada t, la funcin es de cuadrado integrable y esta normalizada a la unidad. o Al espacio vectorial de las funciones de cuadrado integrable lo denotaremos por L2 () o simplemente L2 . Ms a n, como veremos ms adelante, ha de satisfacer una ecuacin dinmica, a u a o a as que es natural que (r, t) sea una funcin continua y diferenciable (al menos). Luego, o ha de ser tal que (r, t) tiende a cero si r en caso contrario no ser de a cuadrado integrable en R3 . Obviamente si es nito, del postulado 3.1.1 se sigue que 35
36
Cap tulo 3. Mecanica Cuantica I: part cula material
(r, t) = 0 en la frontera y fuera de , ya que en caso contrario existir una probabilidad a nita de que la part cula estuviese en el exterior de lo cual ser una contradiccin. a o 2. Obviamente el estado de una part cula en cada instante t queda determinado a excepcin de una fase ei , R. Es decir, las funciones de onda (r, t) y (r, t)ei o describen el mismo estado del sistema. De lo anterior se sigue adems que la fase no a es un observable. Una cuestin f o sica de vital importante que surge inmediatamente es: Cmo vamos o a medir nuestros observables? Supongamos que vamos a medir la posicin r de la part o cula. Para ello asumimos que 1. La medicin se hace con un aparato clsico, i.e., el aparato no precisa una descripo a cin cuntica (por ejemplo una regla o un metro). o a 2. La precisin del aparato es, en principio, tan alta como se quiera. o 3. El resultado de la medicin es: En el instante t la partcula estaba en la posicin o o r r donde r es el error del aparato. Cmo entender entonces la descripcin probabil o o stica del postulado 3.1.1? Para ello imaginemos que tenemos N cajas idnticas y N part e culas idnticas de fore ma que en cada caja hay una unica part cula. Asumamos adems que todas las part a culas estn en el mismo estado, i.e., (r, t) es la misma para cada una de ellas en el instante a de la medicin. Si medimos las posiciones de cada part o cula independientemente obtendremos los valores r1 , r2 , . . . , rN , no necesariamente iguales, que estarn distribuidos de a acuerdo a la ley de probabilidad |(r, t)|2 d3 r. El valor esperado de r es, por tanto r =
r|(r, t)|2 d3 r,
xi =
xi |(r, t)|2 d3 r,
xi = x, y, z para i = 1, 2, 3, respectivamente. Su dispersin es o xi = x2 xi i

2
(xi xi )2 |(r, t)|2 d3 r.
La dispersin x tiene un signicado muy preciso: si x es peque o, entonces |(r, t)|2 o n est muy concentrada alrededor de su valor medio x , lo que indica que la part a cula se encuentra con probabilidad alta muy cerca de la posicin x . Por el contrario, si x, o entonces |(r, t)|2 est muy dispersa y la part a cula tiene una probabilidad baja de estar cerca de x .1 Para explicar los fenmenos de interferencia y difraccin de electrones que mencioo o namos en el apartado anterior se ha de introducir un segundo postulado fundamental.
1 Un ejemplo muy ilustrativo es el siguiente. Supongamos que (r, t) = [a,b] (x)/(b a), donde [a,b] (x) es la funcin caracter o stica del intervalo [a, b], i.e., vale 1 si x [a, b] y 0 en otro caso. Entonces, x = a+b y x = (b a)2 /12. Como vemos si a y b estn cercanos entonces la dispersin es pequea y a o n 2 tenemos que la part cula est muy cerca de la posicin media. Por el contrario si a y b dieren mucho la a o part cula est equiprobablemente dispersa en el intervalo [a, b] (muy grande). Este ejemplo se lo debo a a de Francisco J. (Pacho) Ruiz Blasco de la Universidad de Zaragoza.
3.1. Los postulados de la Mecanica Cuantica
37
Postulado 3.1.2 Para cada t el espacio de las funciones de estado es un subespacio vectorial del espacio L2 (). Es decir, para cada t, si 1 y 2 son funciones de onda, entonces 1 , 2 C, = 1 1 + 2 2 , es una posible funcin de onda, es decir, puede representar un posible estado del siso tema.2 Lo anterior indica que, para cada t, cualquier combinacin lineal de funciones es una o (posible) funcin de onda. Ello implica adems que la ecuacin de evolucin que gobierne o a o o o determine las funciones de onda ha de ser lineal. Postulado 3.1.3 (Ecuacin dinmica) La funcin de onda viene determinada por la o a o ecuacin de Schrdinger o o i
2 (r, t) = (r, t) + V (r, t)(r, t), t 2m
(3.1.1)
donde es el laplaciano3 en R3 , y V es el potencial al que esta sometida la partcula. La ecuacin anterior se suele escribir de la forma o i (r, t) = H(r, t), t (3.1.2)
donde H es el operador correspondiente al hamiltoniano del sistema. En nuestro caso est claro que es a
2
+ V (r, t)I. 2m Antes de continuar debemos destacar que aqu slo trataremos el caso cuando el potencial o V es independiente del tiempo. H := Nuevamente proceden una serie de comentarios. En primer lugar si V := 0 (part cula libre) una solucin de la ecuacin viene dada o o mediante una onda viajera (r, t) = 0 ei(krt) , donde k es el vector de onda. Sustituyendo dicha onda en (3.1.1) y usando que la energ a de una onda es, seg n ya vimos, E = , obtenemos u = k 2m
2 2
E=
k , 2m
2 2
de donde, al no haber (energ potencial E = T = p2 /2m, por tanto se sigue que p = k, a) que es precisamente la frmula de De Broglie para expresar la dualidad onda-part o cula.
2 Ntese que si = = 0, se tiene 0, es decir la part o cula no est en ningn sitio. Aunque a u 1 2 formalmente esta es una posibilidad en la prctica se asume que = 0 en todo ( es la regin donde a o podr estar la part a cula, luego en algn punto de la funcin ha de ser distinta de cero). Si 1 y 2 u o estn normalizadas a la unidad, entonces para que lo est basta que |1 |2 + |2 |2 = 1. a e 2 2 2 3 En coordenadas cartesianas es = + + . x2 y 2 z 2
38
Es decir, la ecuacin de Schrdinger tiene como solucin posible la onda de materia de o o o De Broglie. Un simple vistazo a la expresin para la onda de De Broglie nos revela un problema: o esta funcin no es de cuadrado integrable y por tanto no puede describir de acuerdo o con el postulado 3.1.1 ning n estado real de una part u cula. Para resolver esta aparente contradiccin se introducen los paquetes de ondas. o Formalmente un paquete de ondas es un conjunto de ondas planas monocromticas a superpuestas. Usando que p = k y E = tenemos, para cada onda la ecuacin o p (r, t) = (p)e luego la superposicin de todas ser o a (r, t) =
R3
i i
(prEt)
(p)e
(prEt)
d3 p = (2 )3/2
(p, t)e
R3
pr
d3 p , (2 )3/2
(3.1.3)
donde (p, t) = (p)e Et . Es decir, es la transformada de Fourier de . Adems, a para que lo anterior tenga sentido ha de ser tal que sea de cuadrado integrable. Lo anterior implica que ambas (r, t) y (p, t) son funciones de cuadrado integrable para todo t. La relacin de (r, t) y (p, t) como transformada de Fourier una de la otra tiene o una implicacin interesante: o (p, t) =
R3
(r, t)e
pr
d3 r , (2 )3/2
y
R3
|(r, t)|2 d3 r =
R3
|(p, t)|2 d3 p.
Es decir, en principio tanto (r, t) como (p, t) valdr para describir el estado de an nuestro sistema. Adems, de la teor de las transformadas de Fourier tenemos que, si denimos la a a media y varianza de las componentes del vector de impulso (pi = px , py , pz para i = 1, 2, 3, respectivamente) pi =
R3
pi |(p, t)|2 d3 p,
pi =
p2 pi , i
(3.1.4)
entonces xi pi /2, y la igualdad slo tiene lugar cuando (r, t) es proporcional a o una gaussiana en r, es decir el principio de incertidumbre de Heisenberg. Para nuestro caso de la part cula libre ello implica que si (r, t) est muy dispersa a en el espacio, entonces el valor del impulso p est muy concentrado y si (r, t) est muy a a dispersa entonces p est muy disperso. a En la gura 3.1 se muestra lo que ocurre para el caso unidimensional cuando tomamos en (3.1.3) (pp0 )2 1 (p) = e 2( )2 1 4
3.1. Los postulados de la Mecanica Cuantica

|(x, t)|
0.5 0.4 0.3 0.2 0.1 -20 -10 10 20
39
e |(p, t)|
0.5
0.4 0.3 0.2 0.1
-2
-1
|(x, t)|
0.05 0.04
2 1.5
e |(p, t)|
0.03 0.02 0.01 -20 -10 10 20 1 0.5
-2
-1
Figura 3.1: Distribucin de (x, t) y (p, t) ( = 1) o
para los valores = p0 /2 (p disperso, gura superior) y = p0 /10 (p concentrado, gura inferior). Antes de continuar debemos destacar la media y la varianza denidas en (3.1.4) no tienen por que corresponder con la media y varianza del impulso real p de nuestra part cula. Para poder hablar de la cantidad observable p necesitaremos introducir otro postulado, pero antes de ello vamos a probar que los postulados hasta ahora introducidos son consistentes.
Test de consistencia Un test de consistencia de la teor hasta ahora descrita consiste en probar que la a norma de (r, t) es independiente del tiempo (en otro caso no podr denir una densidad a de probabilidad). Para ello escribimos la ecuacin de Schrdinger (3.1.1) para o o i
2 (r, t) = (r, t) + V (r, t)(r, t) t 2m
y su complejo conjugado4 . (se entiende que V es un potencial real) i

4 Como
2 (r, t) = (r, t) + V (r, t)(r, t), t 2m
antes denotaremos por z al complejo conjugado del nmero complejo z u
40
multiplicamos la primera por , la segunda por , las restamos y tomamos la integral en toda la regin (ver postulado 3.1.1) o i t |(r, t)|2 d3 r = =i
2
(r, t)
(r, t) (r, t) + (r, t) t t
d3 r
2m
(r, t)(r, t) (r, t)(r, t) d3 r.
Si ahora en la ultima de las integrales usamos la frmula de Green obtenemos o

2
2m
2
(r, t)(r, t) (r, t)(r, t) d3 r (r, t) (r, t) (r, t) (r, t) n n dS,
2m
donde dS es el elemento de rea de la supercie y f (r) denota la derivada direccional a n de f en la direccin del vector normal al elemento de supercie dS.5 Si ahora hacemos o r la ultima integral se anula pues (r, t) (y por consiguiente (r, t)) se anulan cuando r (ver comentario 1 del postulado 3.1.1). Luego t
|(r, t)|2 d3 r = 0.
Esto tiene una implicacin f o sica inmediata: Dado un estado inicial (r, t0 ) L2 (), este evoluciona seg n la ecuacin de Schrdinger, i.e., en cada momento de tiempo viene u o o descrito por la funcin (r, t) solucin de (3.1.1) y adems, o o a |(r, t)|2 d3 r = |(r, t0 )|2 d3 r = 1,
es decir, (r, t) es normalizada a la unidad. Luego la ecuacin de Schrdinger es consiso o tente con los postulados 3.1.1 y 3.1.2. Vamos ahora a intentar convencernos de que para los momentos p se tienen las frmulas (3.1.4). Para ello, como ya comentamos, necesitamos varios postulados que o complementen a los anteriores. Postulado 3.1.4 A cualquier cantidad fsica medible A le asociaremos un operador hermtico A que acta sobre el espacio de las funciones de cuadrado integrable L2 () u a las que pertenecen las funciones de estado (r, t). i.e., A : L2 () L2 (). Adems, a dado un estado denido por una funcin de onda (r, t) que dene cierto estado del o sistema, el valor medio de las medidas de A viene dado por6 A (t) =
5 En 6 Aunque
(r, t) A(r, t) d3 r
una dimensin vale simplemente la integracin por partes. o o el valor A (t) depende de la funcin de onda , no lo vamos a reejar en la notacin para o o hacer esta lo menos engorrosa posible.
3.1. Los postulados de la Mecanica Cuantica Un operador A : L2 () L2 () es herm tico7 si 1 (r, t) A2 (r, t) d3 r =

41
A1 (r, t) 2 (r, t)d3 r.
Ntese que si A es herm o tico entonces (r, t) A(r, t) d3 r =

A(r, t) (r, t)d3 r A(r, t) (r, t)d3 r,
= i.e., A (t) R.
Vamos a denir el operador r por r := r I, (3.1.5)
donde I es el operador identidad. Entonces r (t) =
(r, t)r (r, t)d3 r =
r|(r, t)|2 d3 r,
que est en concordancia con el postulado 3.1.1. a Deniremos el operador impulso p por la expresin o p := i , donde denota al operador gradiente8 de R3 . Otros operadores importantes son 1. El operador energ cintica T := 2m , donde es, como antes, el laplaciano en a e R3 . 2. El operador energ potencial V (r) := V (r)I. a 3. El operador energ total E := T + V (r). Este adems constituye el operador de a a Hamilton o hamiltoniano del sistema. 4. El operador momento angular L = r p := i rot, donde rot denota el vector rotor en R3 . Postulado 3.1.5 El resultado de cualquier medicin de una cantidad fsica medible A o debe ser un autovalor del operador asociado A y el estado correspondiente a dicha medicin estar denido por su correspondiente autofuncin. o a o
7 Sobre estos operadores hablaremos con ms detalle en el prximo apartado dedicado a la Mecnica a o a cuntica en espacios de Hilbert. a 8 En coordenadas cartesianas es el operador f (r) = f (r) i + f (r) j + f (r) k. x y z
2
(3.1.6)
Es fcil comprobar que ambos operadores son herm a ticos.
42
Cap tulo 3. Mecanica Cuantica I: part cula material Es decir, tenemos la ecuacin o A(r, t) = a(r, t).
Entonces, por el postulado 3.1.4, A =
(r, t) A(r, t) d3 r = a
|(r, t)|2 d3 r = a,
que, como ya hemos visto, es real9 Adems, a A2 =

2
(r, t) A(A(r, t)) d3 r = a2
A2 A = 0, es decir, el resultado de la medicin, en caso de que el o A2 := sistema se encuentre en el estado a (r, t) correspondiente al autovalor a, es exacto. Este resultado lo discutiremos con ms detalle en el marco de los espacios de Hilbert. a
3.2.
El principio de incertidumbre
Ntese que los operadores r y p cumplen con las siguientes relaciones: o [xi , xj ] = 0 = [pi , pj ], [xi , pj ] = i i,j I,
Lo curioso es que a partir de esta relacin de conmutacin se puede probar que si o o denimos las varianzas de xi y pi mediante las expresiones (acordes con los postulados descritos), i.e., xi = entonces , 2 es decir, obtenemos el principio de incertidumbre de Heisenberg que ya vimos antes. Demostremos la frmula anterior. Por simplicidad escogeremos el caso unidimensioo nal (o equivalentemente nos restringiremos a probar el principio para las componentes en el eje x, por ejemplo). Denamos los operadores x := x x I y p := p p I. Dichos operadores cumplen con la propiedad [x, p] = [x, p] = i I.
9 Esta
donde [A, B] es el conmutador de los operadores A y B denido por [A, B] = AB BA.
(xi xi I)2 ,
pi =
(pi pi I)2 ,
xi pi
b propiedad es en realidad una consecuencia de la hermiticidad de A, como veremos ms adelante. a
3.2. El principio de incertidumbre Obviamente x = Cauchy-Schwarz (x)2 y p =
43 (p)2 , ahora bien, por la desigualdad de
|x(x)|2 dx
|p(x)|2 dx
x(x) p(x)dx
x(x) p(x)dx
x(x) p(x)dx
= Ixp ,
i.e., xi pi Ixp . Pero Ixp = 1 2i 1 = 2i 1 = 2i 1 = 2i (x(x))(p(x))dx (x(x))(p(x))dx ((x))(xp(x))dx (x(x))(p(x))dx
(x(x))(p(x))dx
((x))(px(x))dx
((x))([x, p](x))dx =
1 2i
((x))(i I(x))dx =
Luego x p que es justo lo que quer amos probar. 2 ,
3.2.1.
Los estados estacionarios de la ecuacin de Schrdinger o o
Supongamos que V no depende del tiempo. Entonces si hacemos el cambio (r, t) = (r)e lo sustituimos en (3.1.2) obtenemos la ecuacin o H (r) = E (r). (3.2.2)
i
E t
(3.2.1)
Es decir, son las autofunciones de H correspondientes a los autovalores E , que por el postulado 3.1.5 corresponden a los posibles valores de energ del sistema. a Ntese que los estados denidos por (3.2.1) son estados con una energ constante o a (conservada) en el tiempo, adems, la funcin (r, t) es peridica en el tiempo con a o o una frecuencia = E / . Los estados con estas caracter sticas se denominan estados estacionarios. Los estados estacionarios cumplen dos propiedades muy importantes (que los hacen de especial relevancia): 1. La densidad de probabilidad es independiente del tiempo: |(r, t)|2 = | (r)|2 .
44
Cap tulo 3. Mecanica Cuantica I: part cula material 2. Si cierto observable A no depende el tiempo, entonces su media A =
(r, t) A(r, t) d3 r =
(r) A (r) d3 r,
tampoco depende del tiempo. Es decir, los estados estacionarios tienen la energ prejada y adems no evolucionan a a en el tiempo. Lo anterior es muy util para resolver la ecuacin de Schrdinger general. o o Supongamos que (r, t = 0) =
c (r),
(3.2.3)
entonces, la funcin de onda (estado) se escribe como o (r, t) =
c e
E t
(r).
La pregunta de cundo el desarrollo (3.2.3) tiene lugar y como calcular los coecientes a c lo vamos a dejar para ms adelante. En realidad lo que tiene que ocurrir es que las a autofunciones del hamiltoniano H constituyan un conjunto completo (y a ser posible ortonormal) de L2 ().
3.3.
Ejemplos
Vamos a estudiar dos ejemplos representativos unidimensionales.
3.3.1.
Una part cula en un pozo de potencial
Sea una part cula que se encuentra en un pozo potencial como el que se muestra en la gura 3.2.
V (x)
U0
Figura 3.2: Pozo potencial.
3.3. Ejemplos La solucin de la ecuacin de Schrdinger estacionaria o o o U0 , x < 0, 2 2 (x) + V (x)(x) = E(x), V (x) = 0, 0 < x < L, 2m x2 U0 , x > L,
45
donde k =
para E < U0 la buscamos de la forma 1 (x) = A1 ekx + A2 ekx , x < 0, 2 (x) = B1 eiqx + B2 eiqx , 0 < x < L, (x) = 3 (x) = C1 ekx + C2 ekx , x > L,
1
Como ha de ser de cuadrado integrable, entonces A2 = C2 = 0. Adems, y han de ser continuas en R as que tenemos las siguientes condiciones a 1 (0) = 2 (0), (0) = (0), 1 2 2 (L) = 3 (L), (L) = (L), 2 3
2m(U0 E), q =
2mE.
que nos conducen al sistema
A1 = B1 + B2 , B1 eiqL + B2 eiqL = C1 ekL , kA1 = iq(B1 B2 ),
iq(B1 eiqL B2 eiqL ) = kC1 ekL .
De las dos primeras ecuaciones eliminamos A1 y de las dos segundas C1 , as (k iq)B1 + (k + iq)B2 = 0, (k + iq)eiqL B1 + (k iq)eiqL B2 = 0.
Para que este sistema homogneo tenga solucin su determinante ha de anularse e o det Como k iq (k + iq)eiqL k + iq (k iq)eiqL k iq = 1, k + iq cos = =0 = e2iqL = k iq k + iq
2
(3.3.1)
ei =
k iq k + iq
= 2kq . k2 + q2
k2 q2 , k2 + q2
sen =
Combinando lo anterior con (3.3.1) se tiene = qL, de donde se sigue que los valores de energ E permitidos corresponden a la solucin de la ecuacin trascendental a o o cos qL = o, equivalentemente, tan qL = 2kq . k2 q2 (3.3.2) k2 q2 k2 + q2 o sen qL = 2kq , k2 + q2
46 Sea x = E/U0 y =
Cap tulo 3. Mecanica Cuantica I: part cula material 2mU0 L/ , entonces la ecuacin anterior se escribe como o tan x = 2 x(1 x) . 1 2x (3.3.3)
Es fcil comprobar que para todo esta ecuacin tiene al menos una ra real en (0, 1) a o z por lo que nuestro sistema tiene al menos un estado estacionario. A medida que es ms a grande el n mero de estados aumenta (vase la gura 3.3). u e
6 6 3 0,2 3 6 9 0,4 0,6 0,8 1 3 6 9 6 6 3 0,2 0,4 0,6 0,8 1
Figura 3.3: Soluciones de la ecuacin (3.3.3) para = 1 (derecha) y = 10 (izquierda). o Ntese que si tomamos el l o mite U0 en (3.3.2) obtenemos los valores de energ a E= n2 , 2mL2
2 2
(3.3.4)
que coinciden con los valores de energ para un pozo innito (ver problema 3.3.1). a
3.3.2.
El efecto tnel u
Consideremos ahora el movimiento de una part cula en un potencial del tipo de la gura 3.4
V (x)
U0
Figura 3.4: Pozo potencial.
3.3. Ejemplos La solucin de la ecuacin de Schrdinger estacionaria o o o x < 0, 0, 2 2 U0 , 0 < x < L, (x) + V (x)(x) = E(x), V (x) = 2m x2 0, x > L.
47
(3.3.5)
donde q =
Vamos a comenzar considerando el caso E > U0 . La solucin tiene la forma o 1 (x) = A1 eikx + A2 eikx , x < 0, 2 (x) = B1 eiqx + B2 eiqx , 0 < x < L, (x) = 3 (x) = C1 eikx + C2 eikx , x > L,
1
2m(E U0 ) y k =
2mE.
Los valores R(E) = |A|2 y T (E) = |C|2 denen los coecientes de reexin y transporte o (o paso) de la onda. Usando la continuidad de y obtenemos las siguientes condiciones 1 (0) = 2 (0), (0) = (0), 1 2 2 (L) = 3 (L), (L) = (L), 3 2
Ante todo notemos que esta solucin es de tipo onda viajera, similar a la de una o part cula libre, por lo que no es de cuadrado integrable y por tanto no puede describir ning n estado real (vase la discusin del postulado 3.1.3) por lo que habr que denir los u e o a correspondientes paquetes de ondas. No obstante podemos considerar nuestra part cula como una onda descrita por la ecuacin (3.3.5) y determinar su comportamiento en o funcin de las amplitudes A1 , . . . , C2 de las mismas. Ante todo notemos que si es o una solucin correspondiente a la energ E, tambin lo es. Dado un valor de energ o a e a podemos considerar dos tipos de soluciones: una + cuando C2 = 0 (la onda incidente va de izquierda a derecha) y la otra cuando A1 = 0 (la onda incidente va de derecha a izquierda). La solucin general ser una combinacin lineal de ambas. As pues nos o a o centraremos en la solucin10 o x < 0, 1 (x) = eikx + Aeikx , 2 (x) = B1 eiqx + B2 eiqx , 0 < x < L, + (x) = 3 (x) = Ceikx , x > L.
que nos conducen al sistema
1 + A = B1 + B2 , B1 e
iqL
+ B2 eiqL = C1 eikL ,
k(1 A) = q(B1 B2 ),
(3.3.6)
q(B1 eiqL B2 eiqL ) = kC1 eikL .
Multiplicando por k la tercera y sumndole y restndole la cuarta se obtienen, respectia a vamente, las ecuaciones B1 =
10 Por
(k + q)eiL(kq) C, 2q
B2 =
(q k)eiL(k+q) C. 2q
la linealidad podemos tomar sin prdida de generalidad A1 = 1. e
48
Multiplicando por k la primera ecuacin de (3.3.6) y sumndole y restndole la segunda o a a obtenemos (k + q)B1 + (k q)B2 = 2k, (k q)B1 + (k + q)B2 = 2kA. Si sustituimos en la primera de estas ecuaciones los valores de B1 y B2 anteriores obtenemos para C el valor C= 4kqeikL 4kqeikL = 2 . (k + q)2 eiqL (k q)2 eiqL (k + q 2 ) sen(qL) + 2kqi cos(qL) A= De lo anterior se deduce que T (E) = (k 2 + q 2 )2 sen2 (qL) 4k 2 q 2 = + 4k 2 q 2 cos2 (qL) 1 1+ (k q 2 ) sen(qL) 2kq
2 2,
(3.3.7)
Resolviendo respecto a A obtenemos (k 2
(k 2 q 2 ) sen(qL) . + + 2kqi cos(qL) q 2 ) sen(qL)
(3.3.8)
De la expresin anterior se deduce que T (E) 0. Adems, si sen(qL) = 0, entonces o a T (E) = 1 y R(E) = 0, es decir, la part cula pasa como si no existiese la barrera: la barrera es transparente. Esto ocurre para los valores de qL = n, por tanto como q = 1 2m(E U0 ) = 2 2 2 n . E = U0 + 2mL2 Supongamos ahora que E < U0 . Para obtener el resultado basta hacer el cambio q i. As obtenemos , 1 T (E) = 2, 2 2 (k + ) senh(L) 1+ 2k Ntese que T (E) 0, es decir, la part o cula siempre traspasa la barrera!
y R(E) = 1 T (E).
Este efecto, imposible en la mecnica clsica, se conoce como efecto t nel. Su gran a a u importancia qued reejada en el hecho de que en 1973 L. Esaki, I. Giaever y B.D. o Josephson recibieron el premio nobel de f sica por sus descubrimientos relacionados con este efecto y ms trade en 1986 G. Binnig y H. Rohrer por su dise o de un microscopio a n electrnico basado en el efecto t nel. o u Para terminar este apartado notemos que, para E < U0 , en el l mite L 1 T (E) 16k 2 q 2 L e , (k 2 + q 2 )2
es decir, el coeciente de transporte decae exponencialmente a cero con L. Este l mite corresponde al caso 2m(U0 E)/ 1, i.e., 2. L2 1. m
2 2
/(2(U0 E)L2 ), masas muy grandes (l mite de la mecnica clsica), a a /(2(U0 E)m), barrera muy ancha,
2
3. U0 E
/(2mL2 ), barrera muy alta.
3.3. Ejemplos
49
3.3.3.
Problemas
de la ecuacin de Schrdinger estacionaria o o x < 0, 0 < x < L, x > L,
Problema 3.3.1 Encuentra los autoestados para un pozo potencial innito , 0, V (x) = ,
y compara el resultado con los valores obtenidos en (3.3.4). Problema 3.3.2 Resuelve la ecuacin de Schrdinger estacionaria para el potencial eso o caln o 0, x < 0, V (x) = U0 , x > L.
Compara el resultado con el del caso de la barrera potencial de anchura innita.
50
Cap tulo 4
Mecnica Cuntica II: Espacios a a de Hilbert

En este cap tulo desarrollaremos la Mecnica Cuntica sobre un espacio de Hilbert a a general. Aunque el cap tulo es autocontenido, es recomendable consultar el Anexo A donde se da una breve introduccin a la teor de espacios funcionales (mtricos y noro a e mados), as como se desarrolla con ms detalles las propiedades de los espacios de Hilbert a separables.
4.1.
Espacios eucl deos y espacios normados
Comenzaremos este apartado recordando algunas deniciones generales. En adelante asumiremos que E es un espacio vectorial complejo1 . Denicin 4.1.1 Se dice que un espacio vectorial E es un espacio eucldeo si dados dos o elementos cualesquiera x, y E existe un nmero denominado producto escalar y que u denotaremos por x, y tal que 1. Para todo x, y E, x, y = y, x . 2. Para todo x, y, z E, x, y + z = x, y + x, z . 3. Para todo x, y E y C, x, y = x, y 4. Para todo x E, x = 0, x, x > 0 y si x, x = 0, entonces x = 0. Una consecuencia de la denicin anterior es que o 1. Para todos x, y, z E, x + y, z = x, z + y, z .
1 En
adelante denotaremos por z al complejo conjugado del nmero complejo z u
51
52
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert 2. Para todos x, y E y C, x, y = x, y
El ejemplo ms sencillo de espacio eucl a deo es el espacio Cn con el producto escalar estndar. Otro ejemplo sencillo es el espacio C[a, b] de las funciones continuas en [a, b] a cerrado y acotado con el siguiente producto escalar
b
f, g =
a
f (x)g(x)dx.
(4.1.1)
Una propiedad importante de los espacios eucl deos es la desigualdad de CauchySchwarz | f, g |2 f, f g, g . (4.1.2) Para demostrarla basta usar que para todo C y f, g E, f + g, f + g 0, o equivalentemente, ||2 f, f + f, g + g, f + g, g = ||2 f, f + 2( f, g ) + g, g 0. Escojamos = f, g /| g, f |, R. Entonces, como 0 ||2 f, f + 2( f, g ) + g, g = ||2 f, f + 2||| f, g | + g, g , el discriminante de la ecuacin cuadrtica en , ||2 f, f + 2||| f, g | + g, g = 0, ha o a de ser negativo, luego se tiene | f, g |2 f, f g, g 0, de donde se sigue (4.1.2). Denicin 4.1.2 Un espacio vectorial X se denomina espacio normado si para todo o x X existe un nmero real denominado norma, que denotaremos por x , que cumple u con las condiciones 1. Para todo x X, x 0 y si x = 0 entonces x = 0. 2. Para todo x X y C, x = || x . 3. Para todo x, y X se tiene la desigualdad triangular x+y x + y . (4.1.3)
Teorema 4.1.3 Todo espacio eucldeo E es normado si en l denimos la norma me e f, f . Adems, f g | f, g |. a diante la frmula x = o La demostracin se deja como ejercicio.2 Por ejemplo, en el espacio C[a, b] podemos o denir la norma por
b
f =
a
|f (x)|2 dx.
Denicin 4.1.4 Un espacio eucldeo E completo3 respecto a la norma inducida por un o producto escalar se denomina espacio de Hilbert y lo denotaremos por H.
p p g, g + g, g suciente ver que f +g 2 = f +g, f +g = f, f +2 f, g + g, g f, f +2 f, f 2 = ( f + g )2 . El resto de los axiomas es inmediato. = ( f, f + g, g ) 3 Un espacio E es completo si cualquier sucesin de Cauchy en E converge a un vector de E. o
2 Es
4.1. Espacios eucl deos y espacios normados
53
En adelante nos interesarn los espacios de Hilbert H separables, es decir, aquellos a espacios de Hilbert que contienen un subconjunto numerable denso. Denicin 4.1.5 Sea el sistema de vectores {n } de H linealmente independiente o n=1 es decir, que cualquier subsistema nito es linealmente independiente. Diremos que {n } es un sistema ortogonal dos a dos si n=1 n , m = n,m n 2 , n, m N. (4.1.4)
Por ejemplo, el sistema de funciones {1} {sen nx, cos nx} es un sistema ortogonal n=1 dos a dos respecto al producto escalar
f, g =
f (x)g(x)dx.
Denicin 4.1.6 Dado un vector x H deniremos la serie de Fourier respecto al o sistema {n } a la serie s := n=1 cn n , donde los coecientes vienen dados por las n=1 expresiones cn = x,n2 , para todo n 1. n Denicin 4.1.7 Dada f H y una sucesin sn , se dice que sn converge en norma a o o f si l m f sn = 0.
n
Es fcil ver que si los vectores (no nulos) x1 , . . . , xn de un espacio eucl a deo son ortogonales, entonces son linealmente independientes. Este hecho Teorema 4.1.8 En un espacio de Hilbert H de cualquier conjunto de vectores linealmente independiente se puede construir un conjunto de vectores ortogonales (ortonormales). Demostracin: Para probar el teorema tomamos un sistema de vectores linealmente ino dependiente (n )n de H cualquiera y denimos un nuevo sistema de vectores (n ) de n=1 la siguiente forma: 1. Tomamos 1 = 1 / 1 . 2. A continuacin escogemos 2 de la forma o 2 = 2 + 2,1 1 , donde 2,1 es tal que 2 sea ortogonal al vector 1 , i.e. 1 , 2 = 0, de donde se deduce que 2,1 = 1 , 2 . Entonces 2 = 2 / 2 es ortonormal a 1 . 3. Paso n. Escogemos k , k 3, de la forma n = n +
k=1 n1
n,k k ,
donde los coecientes n,k , n N, k = 1, . . . , n 1 son tales que n sea ortogonal a todos los vectores k , k = 1, 2, . . . , n 1, anteriores. Usando la ortogonalidad es fcil comproa bar que n,k = k , n , k = 1, 2, . . . , n 1. Finalmente denimos n = n / n que
54
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert
es ortonormal a todos los vectores anteriores k , k = 1, 2, . . . , n1. Y as sucesivamente.2 El proceso anterior se denomina proceso de ortogonalizacin de Gram-Schmidt. o Ntese que del proceso anterior se sigue adems que, para cada n 1, o a
n1 n1
n = n +
k=1
n,k k = n = n +
k=1
n,k k .
Luego, k , n = 0, k = 0, 1, . . . n 1 k , n = 0, k = 0, 1, . . . n 1.
Usando lo anterior es fcil ver que n admite la siguiente expresin expl a o cita: 1 , 1 2 , 1 . . . n , 1 1 , 2 2 , 2 . . . n , 2 .. . 1 , n1 2 , n1 . . . n , n1 1 2 . . . n
n =
(4.1.5)
Para ello basta notar que el producto escalar k , n = 0, k = 1, 2, . . . , n 1, ya que el determinante resultante tiene dos columnas iguales. Ntese adems que o a n , n = n , donde n son los determinantes de Gram 1 , 1 2 , 1 . . . n , 1 1 , 2 2 , 2 . . . n , 2 .. . 1 , n1 2 , n1 . . . n , n1 1 , n 2 , n . . . n , n
n =
De lo anterior deducimos tambin que los n son un conjunto linealmente independiente e de H si y slo si los n = 0 (en nuestro caso n > 0), para todo n N. o Ntese que los subespacios generados por los vectores (n )n y (n )n coinciden. o Teorema 4.1.9 Si el espacio eucldeo E es separable, entonces cualquier sistema orto gonal (ortonormal) de E es numerable. e Demostracin: Asumamos sin prdida de generalidad que el sistema (n )n es ortonormal. o Entonces n m = 2 si n = m. Sea el conjunto de las bolas de radio 1/2 y centro en cada n , B(n , 1/2). Estas bolas no se interceptan, luego en casa bola hay un unico vector n de nuestro sistema ortonormal. Sea ahora (k )k un conjunto numerable denso en E (pues ste es separable). Entonces, en cada bola B(n , 1/2) habr al menos un k , e a luego el n mero de bolas y por tanto de elementos n es numerable. u 2
4.2. Operadores en H
55
4.2.
Operadores en H
Denicin 4.2.1 Un operador L es una aplicacin de H en H1 , dos espacios de Hilbert, o o L : H H1 . En adelante asumiremos que H1 H. Denicin 4.2.2 Un operador L es lineal si 1 , 2 C, y 1 , 2 H, o L(1 1 + 2 2 ) = 1 L1 + 2 L2 . Denicin 4.2.3 Deniremos el producto L = AB de dos operadores A y B al operador o L que obtiene al actuar consecutivamente los operadores B y luego A, i.e., = B, L = A = L = A(B).
En general AB = B A, i.e., la multiplicacin de operadores no es conmutativa. o Denicin 4.2.4 Llamaremos conmutador de dos operadores A y B al operador o [A, B] := AB B A. As pues, dos operadores conmutan si y slo si su conmutador es el operador nulo. o Denicin 4.2.5 El operador I se denomina operador identidad si o H, I = .
Denicin 4.2.6 El operador L1 se denomina operador inverso de L si o LL1 = L1 L = I. En adelante vamos a usar la notacin de Dirac para los vectores, los operadores y o los productos escalares. As un vector de H lo denotaremos por | (ket vector) y su correspondiente conju, gado | (brac vector)4 . As denotaremos el producto escalar , por | y adems , a |L| := |L . A los productos anteriores les denominaremos elementos matriciales del operador L. En adelante, an no ser que se especique, asumiremos que los vectores estn normalizados a a la unidad, i.e., = 1. Denicin 4.2.7 El operador L+ se denomina conjugado o adjunto de L si, o |L| = |L+ | , i.e., |L = L+ | = |L+
4 Estos
(4.2.1)
nombres vienen de la palabra inglesa bracket.
56
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert De la denicin anterior se deduce fcilmente que o a 1. (L+ )+ = L, 2. (L)+ = L+ , C, 3. (LN )+ = N + L+ y 4. |LN | = L+ |N , , H.
Un ejemplo especialmente importante es el caso cuando H es de dimensin nita. o En este caso si (n )N es una base (en particular, una base ortogonal) de H, entonces n=1
N
Ln =
k=1
Ln,k k ,
y por tanto a L se le puede hacer corresponder una matriz (Li,j )N . Si denotamos por i,j=1 L+ la matriz asociada al operador L+ , entonces L+ = Lj,i . i,j i,j Otro ejemplo son los L que admiten una representacin integral. Por ejemplo, suo pongamos que H = L2 (R) y L(x) =
R
L(x, y)(y)dy,
donde L(x, y) es el ncleo del operador, entonces, si denotamos por L+ (x, y) al n cleo u u de L, L+ (x, y) = L(y, x). Denicin 4.2.8 Si L = L+ , se dice que el operador es hermtico o autoadjunto. o Por ejemplo, si H es de dimensin nita, L es herm o tico si su correspondiente matriz satisface Li,j = Lj,i . Si H = L2 (R), los operadores denidos por x(x) = x(x), p(x) = i d(x) , dx P (x) = (x),
son herm ticos. En el caso de operadores con representacin integral, stos sern herm o e a ticos si su n cleo es tal que L(x, y) = L(y, x). u Proposicin 4.2.9 El producto L = AB de dos operadores A y B hermticos es hermtio co si y slo si A y B conmutan, i.e., [A, B] = 0. o Demostracin: Sea L = AB. Entonces L+ = B + A+ = B A, luego L = L+ si y slo si o o AB = B A, i.e., [A, B] = 0. 2 Proposicin 4.2.10 El conmutador [A, B] de dos operadores hermticos A y B es tal o que [A, B] = iL, con L hermtico.
4.2. Operadores en H Demostracin: Supongamos que [A, B] = N . Entonces o N + = ([A, B])+ = [A, B] = N con L herm tico ((iL)+ = iL+ = iL). Denicin 4.2.11 Sea | H con | o = 0. Si existe C tal que = N = iL,
57
L| = | , entonces se dice que | es un autovector de L y es su correspondiente autovalor. Nota: En ocasiones es cmodo denotar a un autovector asociado a por | (supoo niendo que es un autovalor simple). Si adems el conjunto de autovalores es numerable a entonces se suele simplicar a n ms la notacin: |n := |n . u a o Proposicin 4.2.12 Si L es hermtico, entonces sus autovalores son reales. o Demostracin: o L| = | Por otro lado de (4.2.1) se sigue que |L+ | = |L| = | = , luego, como L es herm tico L = L+ por tanto = . 2 = |L| = | = .
Proposicin 4.2.13 Si L es hermtico, entonces los autovectores correspondientes a o autovalores distintos son ortogonales. Demostracin: Sea L|1 = 1 |1 , L|2 = 2 |2 , entonces o 2 |L|1 =1 2 |1 = 2 |L+ |1 = 1 |L|2 = 2 1 |2 = 2 2 |1 , i.e. (1 2 ) 2 |1 = 0, luego como 1 = 2 , 2 |1 = 0. Denicin 4.2.14 Un operador U se denomina unitario si o U U + = U + U = I. Proposicin 4.2.15 Si U es unitario, entonces todos sus autovalores son tales que o || = 1. Demostracin: Sea U | = | , entonces o 1 = |U + U | = |U + | = |U | = | = ||2 2 2
58
Denicin 4.2.16 Sea U un operador unitario. La transformacin o o | | = U + | , L l = U + LU ,
la denominaremos transformacin unitaria de | y L y la denotaremos por {U }. o Proposicin 4.2.17 Las transformaciones unitarias conservan o 1. Las relaciones de conmutacin de los operadores. o 2. La propiedad de hermiticidad de un operador. 3. Los autovalores. 4. Los productos escalares y elementos matriciales de un operador. Demostracin: 1. Sean A, B y L tres operadores tales que [A, B] = L y sea {U } una o transformacin unitaria. Denotemos por a, b y l los operadores correspondientes a A, B o y L despus de la transformacin. Entonces como [A, B] = L = e o AB B A = L pero (U + AU )(U + B U) (U + B U )(U + AU ) = ab ba 2. Sea L = L+ . Sea l = U + LU, entonces l+ = (U + LU )+ = U + L+ U = U + LU = l. 3. Sea L| = | , entonces (U + LU)(U + )| = (U + | ) 4. 1 |L|2 = 1 |U U + LU U + |2 = U + 1 |U + LU|U + 2 = 1 |l|2 . 2 Los operadores que nos van a interesar son aquellos operadores herm ticos cuyo conjunto de autovectores constituyan un sistema completo de H, es decir que todo vector | H se puede expresar biun vocamente en funcin de dicho sistema. Este problema o (de encontrar dichos operadores y el conjunto de sus autovalores y autovectores y comprobar que constituyen un sistema completo) es muy complicado y requiere de la potente maquinaria de la teor de operadores en espacio de Hilbert, el teorema espectral de Riesz, a etc. Basta mencionar que si H es separable, entonces en H existe una base ortonormal y si L es un operador autoadjunto (herm tico) y compacto, entonces sus autovectores constituyen un sistema ortogonal completo. Para ms detalles vase el Apndice A. a e e = l| = | . = [a, b] = l. = U + AB U U + B AU = U + LU = l,
4.2. Operadores en H
59
En adelante, por sencillez, nos vamos a restringir a considerar aquellos operadores que tengan asociados un conjunto numerable de autovectores y que dicho conjunto sea un sistema completo. Supongamos que L es uno de tales operadores y denotemos por (|n )n su conjunto completo de autovectores. Si todos los autovalores son simples entonces, como ya hemos visto, los correspondientes autovectores son ortogonales. En el caso de que tengamos autovalores m ltiples sus correspondientes autovectores se pueden ortogonalizar usando u el mtodo de Gram-Schmidt que describimos antes. As pues asumiremos que (|n )n es e un sistema ortonormal (ortogonal con |n = 1). Sea | un vector cualquiera de H, entonces | se puede desarrollar en serie de Fourier respecto (|n )n | = fn |n , fn = n | .
En otras palabras, (|n )n es una base ortonormal completa de H. Las bases juegan un papel fundamental. En particular el de aquellas bases asociadas a operadores herm ticos. Sea (|n )n una base ortonormal completa de H y sea A un operador lineal, entonces A|n H = A|n = Am,n |m = Am,n = m |A|n .
A la cantidad m |A|n la denominaremos elemento matricial del operador A en la base (|n )n . Si (|n )n es la base asociada a cierto operador herm tico L se dice que la matriz A = (Am,n ) es la matriz del operador A en la L-representacin. Ntese que la matriz del o o operador L en su propia representacin (la L-representacin) es una matriz diagonal con o o los autovalores en la diagonal. Ms a n, as como el conjunto de n meros (fn )n dene biun a u u vocamente el vector | , la matriz A dene biun vocamente al operador A (en la base correspondiente se sobrentiende). As pues, el operador A ser herm a tico si su matriz A es autoconjugada, a i.e., Am,n = An,m , A ser unitario si su matriz A es unitaria, i.e., k Am,k An,k = m,n , etc. Nota: Ntese que si H es de dimensin nita, las correspondientes matrices son matrices o o cuadradas N N donde N es la dimensin de H, pero si H es de dimension innita, o entonces las correspondientes matrices son innitas. Proposicin 4.2.18 Si dos operadores L y N tienen un sistema completo de autoveco tores (|n )n comn, entonces [L, N ] = 0. u Demostracin: Sean n los autovalores de L correspondientes a los autovectores |n o y n los del operador N correspondientes al mismo autovector (son comunes). En las premisas del teorema tenemos LN |n = n L|n = n n |n = n N |n = N (n |n ) = N L|n .
60
Sea | H cualquiera. Entonces LN | =LN =N L

n n
fn |n =
fn LN |n =
fn N L|n
n
fn |n = N L| = [L, N ] = 0. 2
El rec proco tambin es cierto: e Proposicin 4.2.19 Si dos operadores L y N con sistemas completos de autovectores o conmutan ([L, N ] = 0), entonces tienen un sistema completo de autovectores (|n )n comn. u Demostracin: Para demostrarlo vamos a probar que ambos se pueden diagonalizar al o mismo tiempo. Supongamos que conocemos el conjunto (|n )n de los autovectores de L. En esa base la matriz de L es diagonal: Lm,n = n m,n . Como [L, N ] = 0 entonces las matrices correspondientes a LN y N L son iguales (LN )m,n = (N L)m,n m m,k Nk,n =
k k
=
k
Lm,k Nk,n =
k
Nm,k Lk,n
Nm,k n k,n
Nm,n (n m ) = 0.
Si todos los autovalores son distintos, entonces Nm,n = 0 si m = n, es decir la matriz de N es diagonal. Resta probar qu ocurre si hay autovalores mltiples. Lo que dejaremos e u como ejercicio al lector5 . 2 Denicin 4.2.20 Sea F (z) una funcin analtica en un entorno de z = 0 y sea F (z) = o o fn z n su desarrollo en serie de potencias. Deniremos al operador F (L) mediante n0 la serie F (L) = fn L n .
n0
Denicin 4.2.21 La derivada operacional F (L)/ L es el operador que se obtiene o mediante la formula F (L) F (L + I) F (L) = l m . (4.2.2) 0 L Por ejemplo Ln L = nLn1 .
Sean A y A+ tales que [A, A+ ] = I. Entonces es fcil comprobar que a [A, (A+ )k ] = k(A+ )k1 ,
5 Supongamos
k 1.
(4.2.3)
que la multiplicidad de cierto autovalor k es g y sean k,j , j = 1, 2, . . . , g, los correspondientes autovectores asociados. Entonces, como mucho hay g(g 1) elementos matriciales Nm,n no b diagonales distintos de cero, los correspondientes a k,i |N|k,j , donde i = j, i, j = 1, 2, . . . , g. Basta probar que existen ciertas combinaciones lineales k,j de los correspondientes autovectores |k,j , b j = 1, 2, . . . , g, tales que k,i |N |k,j = 0.
4.3. Los axiomas de la Mecanica Cuantica
61
Proposicin 4.2.22 Si F (z) es una funcin analtica en un entorno de z = 0 y sean A o o y A+ tales que [A, A+ ] = I. Entonces [A, F (A+ )] = dF (A+ ) dA+ . 2
Demostracin: Basta escribir la serie de potencias de F y usar la propiedad (4.2.3). o Nota: Si F admite un desarrollo en serie de Laurent el resultado tambin es vlido. e a
En adelante asumiremos que el espacio de Hilbert H es separable (si en H existe un subconjunto contable de vectores denso en H).
4.3.
Los axiomas de la Mecnica Cuntica a a
Postulado 4.3.1 A cada sistema fsico se le hace corresponder un espacio de Hilbert H apropiado. Adems, para cada t R (parmetro correspondiente al tiempo) el estado a a queda completamente caracterizado por un vector | normalizado a la unidad de H. Es decir, para cada t el estado est determinado por un vector de H tal que = 1. a De aqu tambin se sigue que, dados los estados |1 , . . . , |k , la combinacin lineal e o | = n k |k tambin es un (posible) estado6 . e k=1 Postulado 4.3.2 A cada magnitud fsica medible (observable) L se le hace corresponder un operador linear hermtico L que acta en H. u Postulado 4.3.3 Sea | el estado del sistema en el momento t justo antes de la medicin de la magnitud (observable) L (asociada al operador L). Independientemente de o cul sea el estado original | , el resultado de la medicin slo puede ser un autovalor a o o de L. Este postulado requiere una aclaracin y es que al hacer una medicin de L el sistema o o cambia (las mediciones intereren en el sistema). As pues, antes de medir L el sistema puede estar en cualquier estado , pero al realizar la medicin, sta cambia al sistema o e y lo deja en el estado determinado por el vector | que es un autovector de L correspondiente a al autovalor .7 Ntese que este axioma elimina formalmente la paradoja del o gato de Schrdinger que discutimos en la introduccin. o o Postulado 4.3.4 El valor esperado L de una cantidad fsica L cuando el sistema se encuentra en el estado | viene dado por el elemento matricial L = |L| .
cada t R el vector | siempre se puede normalizar a la unidad (a no ser | = 0). operadores cunticos se postulan en la teor En el cap a a. tulo 3 vimos varios ejemplos de los mismos. Tres operadores esenciales son el operador posicin o coordenadas xk , impulso pk , y el hamiltoniano o b b b del sistema H.
7 Los 6 Para
62
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert Ntese que, como L es herm o tico, entonces |L| = |L+ | = |L| = L R.
Postulado 4.3.5 Los elementos matriciales de los operadores xi de la posicin (coordeo nadas) xi y pi de los momentos pi , i = 1, 2, 3, donde los ndices i = 1, 2, 3 corresponden a las proyecciones en los ejes x, y y z, respectivamente, denidos por |xi | y |pi | , cualquiera sean | y | de H satisfacen las ecuaciones de evolucin o d |xi | = dt H , pi d H , |pi | = dt xi (4.3.1)
donde H es el operador asociado a la funcin de Hamilton del correspondiente sistema o clsico (si es que lo hay). a Este postulado tiene un signicado f sico evidente pues nos indica que el promedio de las cantidades medibles posicin, impulso y energ (hamiltoniano) satisfacen las ecuaciones o a dinmicas de la mecnica hamiltoniana (1.1.1), i.e, en el l a a mite apropiado ( 0) la Mecnica cuntica se transforma en la clsica (principio de correspondencia de Bohr). a a a Proceden unas aclaraciones. En general el Hamiltoniano H de un sistema clsico a depende de las coordenadas xi y los impulsos pi , i = 1, 2, 3, por lo que el operador H se obtiene cambiando las xi por los correspondientes operadores xi y pi por pi . Esto, aunque en apariencia es trivial, en general no lo es pues H debe ser herm tico (ya que corresponde a la magnitud f sica energ A esto regresaremos en breve, pero antes introduciremos a). nuestro ultimo postulado. Postulado 4.3.6 Los operadores posicin xi e impulso pi , i = 1, 2, 3, satisfacen las o relaciones de conmutacin o [xk , xj ] = 0 = [pk , pj ], es una constante e i = 1. [xk , pj ] = i k,j I, (4.3.2)
donde
En particular, de lo anterior se sigue que los operadores xk y pk no pueden tener un conjunto completo de autovectores comunes. Este postulado es el anlogo de las relaciones a (1.1.4) (llaves de Poisson).
4.4.
Discusin e implicaciones de los postulados o
1. Supongamos que tenemos una magnitud f sica clsica L que depende en general de a xi y pi . Para construir el operador mecano-cuntico correspondiente slo tenemos que a o cambiar los xi por los correspondientes operadores xi y pi por pi . Por ejemplo, la energ a cintica viene dada por e T = p2 + p2 + p2 1 2 3 2m = T = p1 2 + p2 2 + p3 2 , 2m
4.5. Representacion de los operadores xi y pi
63
y la potencial V (x1 , x2 , x3 ) por V = V (x1 , x2 , x3 ), donde en ambos casos los operadores son herm ticos. Esto no siempre ocurre. Por ejemplo imaginemos que el hamiltoniano clsico contiene el trmino Wi = xi pi . Entonces, el operador Wi = xi pi no puede rea e presentar al correspondiente operador cuntico ya que no es herm a tico (ver Proposicin o 4.2.9) pues xi y pi no conmutan. En este caso hay que denir Wi por Wi = 1 (xi pi + pi xi ). 2
2. Supongamos el sistema f sico se encuentra en el estado denido por |n , autovector correspondiente al autovalor n de cierto operador L asociado a la magnitud f sica L. Entonces8 n |L|n = n , n |Lk |n = k , n Supongamos ahora que el sistema se encuentra en el estado | que es en una superposicin de los estados |k , k = 1, 2, . . . , N , entonces como | = k fk |k tenemos o |L| =
k
|fk |2 k .
Lo anterior indica, en virtud de postulado 4.3.4 que la cantidad |fk |2 es la probabilidad con que se observa el valor k al hacer una medicin. o 3. Dada cualquier cantidad f sica clsica L le podemos adicionar la cantidad xi pj pj xi a sin cambiarla. Si transformamos L en su operador L ya no le podemos adicionar el correspondiente operador xi pj pj xi pues ste no es nulo (ver postulado 4.3.6). e Ahora bien, tomando las derivadas funcionales (xi pj pj xi ) = (xi pj pj xi ) = 0, xi pi i.e., xi pj pj xi es proporcional al operador identidad xi pj pj xi = I. Si adems xi a y pj son herm ticos entonces, necesariamente, = i (ver la Proposicin 4.2.10) donde o R que no es ms que la relacin de conmutacin del postulado 4.3.6. a o o
4.5.
Representacin de los operadores xi y pi o
Escojamos como espacio de Hilbert de nuestro sistema el conjunto de las funciones de cuadrado integrable H = L2 (), | = (x). Deniremos el operador xi en L2 () como el operador xi := xi I. Luego xk (x) = xk (x). Quin es pj ? Por simplicidad vamos a trabajar solamente en dimensin 1 (slo la e o o proyeccin en el eje de las x). Nuestro objetivo es encontrar un operador p tal que cumpla o las relaciones de conmutacin (4.3.2). o Del postulado 4.3.6 se sigue que 1. [p, x] = px xp = i I,
8 Recurdese e
que los estados estn normalizados a la unidad. a
64
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert 2. [p, x2 ] = px2 x2 p = 2i x, . . . 3. [p, xn ] = pxn xn p = ni xn1 = i xn . x
Luego, para cualquier funcin anal o tica F (z) tenemos [p, F (x)] = i F (x) , x F (x) (x), x (4.5.1)
que en nuestra representacin se puede reescribir como o pF (x)(x) F (x)p(x) = i o equivalentemente, usando que xk (x) = xk (x), p[F (x)(x)] F (x)p(x) = i F (x) (x), x
de donde escogiendo9 (x) = 1 obtenemos, sustituyendo p1 = (x) la expresin o pF (x) = i En general pk F (x1 , x2 , x3 ) = i F (x1 , x2 , x3 ) + F (x1 , x2 , x3 )k (x1 , x2 , x3 ). xk F (x) + F (x)(x). x
Pero [pk , pj ] = 0, k = 1, 2, 3, luego 1 3 2 1 3 2 = = = 0. x1 x2 x2 x3 x3 x1 Las ecuaciones anteriores son ciertas si k = sucientemente buena.
xk ,
k = 1, 2, 3, siendo una funcin lo o
As pues, los operadores pk deben tener la forma pk = i + I. xk xk U + = exp(i(x1 , x2 , x3 )/ )I
Hagamos ahora la transformacin unitaria o pk U + pk U , U = exp(i(x1 , x2 , x3 )/ )I,
que, como sabemos, no cambia ni los elementos matriciales, ni las relaciones de conmutacin, ni los autovalores, ni la hermiticidad de los operadores (i.e., stos mantendrn el o e a mismo signicado f sico de antes): pk = ei/ i + I ei/ I = i . xk xk xk
9 Por el momento slo nos interesa encontrar la expresin del operador independientemente de que o o luego ste vaya actuar en el espacio L2 (). e
4.6. Las ecuaciones de Heisenberg y de Schrodinger Como ejercicio al lector dejamos que pruebe la identidad [x, F (p)] = i F (p) . p
65
(4.5.2)
4.6.
Las ecuaciones de Heisenberg y de Schrdinger o
En adelante asumiremos que el Hamiltoniano del sistema se expresa mediante la frmula o 3 p2 k , H =T +V, T = 2m i=1 y V = V (x1 , x2 , x3 ) = V (x1 , x2 , x3 )I slo depende de las coordenadas x, y, z.10 o Por simplicidad trabajaremos slo con la proyeccin en el eje OX. o o Como [p, T ] = 0, tenemos, usando (4.5.1) que [p, H] = [p, V (x)] = i V (x) H = i x x (4.6.1)
Supongamos ahora que los vectores de estado no dependen del tiempo (los operadores s que pueden, en principio, depender del tiempo). Entonces del postulado 4.3.5 se tiene que dp H = , dt x de donde se sigue que i dp = [p, H]. (4.6.2) dt De forma anloga, pero usando (4.5.2), se deduce la segunda ecuacin de Heisenberg a o dx i = [x, H]. dt (4.6.3)
Las ecuaciones anteriores se conocen como ecuaciones dinmicas de la Mecnica a a cuntica en la representacin de Heisenberg: es decir, cuando las funciones de onda son a o vectores independientes del tiempo pero los operadores no lo son. Obviamente hay otra posibilidad y es que los operadores no dependan del tiempo y las funciones de onda s En este caso usando el postulado 4.3.5 y la frmula (4.6.1) . o b ( H = i/ [p, H]), obtenemos b x H d |p| = dt x Luego, por un lado, p + p t t = p + p t t = i |[p, H]| .
10 Recordemos que estamos usando indistintamente la notacin x , x , x y x, y, z para denotar las o 1 2 3 coordenadas espaciales.
66 y, por otro, i |[p, H]| =
|pH| |H p|
H +
H p ,
de donde se sigue que p i + H + t i + H p t = 0,
cualquiera sean los vectores y . Por tanto, necesariamente tenemos la ecuacin o i | = H| . t (4.6.4)
La ecuacin anterior se denomina ecuacin de Schrdinger y es la ecuacin de evolucin o o o o o de la Mecnica cuntica cuando los operadores no dependen del tiempo. a a El test de consistencia Probemos que tambin tenemos aqu el test de consistencia d/dt( | e la ecuacin de Schrdinger (4.6.4) y sea su conjugada o o i | = |H + . t
2
) = 0. Sea
Tomando el producto escalar de esta ultima por | (por la derecha) y de (4.6.4) por | (por la izquierda) obtenemos, respectivamente |H + | = i , t |H| = i t ,
de donde, restando ambas y usando la hermiticidad de H tenemos 0= + t t = | | = t t

2
4.6.1.
Equivalencia de las representaciones de Heisenberg y de Schrdinger o
Las ecuaciones dinmicas del postulado 4.3.5 han de cumplirse independientemente a de que escojamos la representacin de Schrdinger (S) o la de Heisenberg (H). Adems, o o a los observables que medimos deben tener los mismos valores medios en ambas representaciones. Eso implica que ha de existir una transformacin unitaria {U } que pase de S a o H y viceversa. Sean | y L la funcin de estado y el observable en la representacin de Heisenberg o o y | y l en la de Schrdinger. Entonces entre ambas existe la relacin: o o | = U + | , l = U + LU , U + = eiHt/ ,
b
4.6. Las ecuaciones de Heisenberg y de Schrodinger
67
donde H es el operador hamiltoniano del sistema que se asume independiente del tiempo. En efecto, si | no depende del tiempo, entonces | i U + i b = | = HeiHt/ | = H| , t t i.e., la ecuacin de Schrdinger (4.6.4). o o Supongamos que ahora l no depende de t. Entonces, l U + U + i i L lU + U U + + U l = = (H L LH) = [H, L]. t t t t (4.6.5)
De lo anterior se sigue que en la representacin de Heisenberg una cantidad f o sica es independiente del tiempo si el operador asociado a dicha magnitud conmuta con el Hamiltoniano. Esta propiedad es adems muy signicativa desde el punto de vista f a sico como veremos a continuacin. o Denicin 4.6.1 Se dice que una cantidad observable L es una integral de movimiento o si d d L = |L| = 0. dt dt Es decir, una magnitud es una integral de movimiento si dicha magnitud se conserva en media. Calculamos la derivada del elemento matricial d |L| = dt L L + + L t t t .
Usando la ecuacin de Schrdinger (4.6.4) tenemos o o d |L| = dt Si L no depende del tiempo, entonces,
d dt
i L [L, H] . t
(4.6.6)
|L| = 0 si y slo si [L, H] = 0. o
Si ahora escogemos la representacin de Heisenberg entonces (| no depende del o tiempo) L i d |L| = = |[H, L]| , dt t donde hemos usado la ecuacin (4.6.5). Es decir, tambin en la representacin de Heio e o d o senberg dt |L| = 0 si y slo si [L, H] = 0.
4.6.2.
Los estados estacionarios del sistema
Toda la discusin anterior nos conduce a que el estado de un sistema viene dado o por un vector de estado | que evoluciona seg n la ecuacin de Schrdinger. Vamos a u o o
68
suponer que el operador hamiltoniano (que es herm tico) H es independiente del tiempo y tiene un conjunto de autovectores |n (independientes de t) completo en H, i.e., H|n = En |n , donde los autovalores En del hamiltoniano H representan los posibles valores de la energ a del sistema. Supongamos ahora que tenemos un estado del sistema correspondiente a la energ a En , que tiene la forma |n = (t)|n . Ntese que H|n = En |n . Como los |n o son estados del sistema, entonces han de satisfacer la ecuacin de Schrdinger, i.e., o o |n = H|n = En |n . t Resolviendo con respecto al tiempo la ecuacin anterior tenemos o i |n = eiEn t/ |n , donde |n no depende expl citamente del tiempo. Com nmente a los estados |n anteriores se les denominan estados estacionarios u del sistema. Adems, de lo anterior se deduce que la unica dependencia del tiempo de a los estados estacionarios es el factor eiEn t/ .
4.7.
El principio de incertidumbre
A = A A I, B = B B I,
Sean dos operadores herm ticos A y B. Denamos los operadores
donde A y B son los valores medios de A y B en el estado | . Entonces, como [A, B] = iL, con L herm tico, se sigue que [A, B] = iL. Las dispersiones de las cantidades A y B en el estado | vendrn dadas por a A := |(A)2 | = A , B := |(B)2 | = B .
Si usamos la desigualdad de Cauchy-Schwarz (4.1.2) A| B | A|B | | A|B | Calculemos la parte imaginaria de A|B = |AB| recordemos que A es herm tico, luego A tambin lo es pues A es real. Obtenemos e |AB| = 1 |AB| 2i 1 |AB| = 2i 1 = |AB| 2i 1 = |[A, B]| 2i |AB| |B + A+ | |BA| = 1 |L| . 2
4.8. La mecanica matricial Como L es herm tico, |L| es un n mero real que denotaremos por l; as u , AB |l| . 2
69
Lo anterior aplicado a los operadores p y x (ver postulado 4.3.6) nos conduce al principio de incertidumbre de Heisenberg xp 2 .
4.8.
La mecnica matricial a
Supongamos que tenemos una base (|n )n completa de vectores de H. Entonces, todo vector | de H lo podemos escribir, como ya hemos visto, de la forma | =
n
fn |n ,
fn = n | .
Es decir, a cada vector de H le podemos hacer corresponder su vector f = (f1 , f2 , . . . )T . Anlogamente, a cada operador L le podemos hacer corresponder una matriz L con a entradas Lm,n = m |L|n . Luego la ecuacin (4.6.5) se puede escribir en la forma o i L = [H, L]. t donde H es la matriz correspondiente al hamiltoniano del sistema, i.e., recuperamos la tambin antes mencionada mecnica matricial de Heisenberg. e a
4.9.
La ecuacin de Schrdinger y el postulado 4.3.5 o o
Supongamos que la cantidad observable L es independiente del tiempo y | es la solucin de la ecuacin de Schrdinger (4.6.4), donde H es el operador hamiltoniano o o o H= p2 + p2 + p2 1 2 3 + V (x1 , x2 , x3 ) = T + V . 2m
Entonces, la ecuacin (4.6.6) nos da o i d L = [H, L] . dt Sea L = xk . Entonces, usando (4.5.2) tenemos [H, xk ] = [T , xk ] = i Sustituyendo lo anterior en (4.9.1) obtenemos d xk = dt H pk . H . pk (4.9.1)
70
Cap tulo 4. Mecanica Cuantica II: Espacios de Hilbert Sea L = pk . Entonces, usando (4.5.1) tenemos [H, pk ] = [V , xk ] = i H , xk
de donde, usando (4.9.1), se sigue que d pk = dt H xk .
Es decir, si la funcin de estado evoluciona seg n la ecuacin de Schrdinger (4.6.4), o u o o entonces las medias de las coordenadas e impulsos se comportan como en la mecnica a hamiltoniana clsica. a En las mismas condiciones de antes se puede probar (de forma totalmente anloga) a que, partiendo de la cantidad d |L| , dt se obtienen las frmulas de evolucin del postulado 4.3.5. o o
4.10.
Problemas
Problema 4.10.1 Dado tres operadores p, q y r, prueba la identidad de Jacobi [[p, q], r] + [[q, r], p] + [[r, p], q] = 0. Problema 4.10.2 Probar que eL aeL = a +
b b
1 1 [L, a] + [L, [L, a]] + 1! 2!

b b
Problema 4.10.3 Para el caso unidimensional encuentra los operadores hermticos con jugados a los siguientes operadores: d , dx x d , dx px d , dx x d . dx
b
Ayuda: Encuentra la EDO que satisface el operador a(t) denido por b(t) = etL betL , donde b a a a no depende del tiempo y desarrolla la funcin b(t) en potencias de t. o a
Problema 4.10.4 Prueba que si L es hermtico, entonces eiL es unitario. Problema 4.10.5 Prueba que el producto de dos operadores hermticos L y M siempre se puede escribir como LM = A + B, donde A es hermtico y B es antihermtico: B + = B.
Cap tulo 5
Resolviendo la ecuacin de o Schrdinger o

5.1.
5.1.1.
El mtodo de Nikiforov-Uvarov e
La ecuacin hipergeomtrica generalizada o e
La ecuacin hipergeomtrica generalizada es una ecuacin lineal de segundo orden o e o de la forma (z) (z) u (z) + u (z) + 2 u(z) = 0, (5.1.1) (z) (z) siendo (z) un polinomio de grado a lo ms uno y (z) y (z) polinomios de grado a lo a ms dos. a Hagamos el cambio u(z) = (z)y(z), y (z) + 2 (z) (z) + (z) (z) y (z) + (z) (z) (z) (z) + + 2 (z) (z)(z) (z) y(z) = 0.
El objetivo del cambio es convertir la ecuacin anterior en una ms sencilla o por lo o a menos menos complicada que (5.1.1), as que al menos debemos tener 2 (z) (z) (z) + = , (z) (z) (z) o (z) (z) (z) (z) = = , (z) 2(z) (z) (5.1.2)
siendo un polinomio de grado a lo ms uno y, por tanto, polinomio de grado a lo ms a a uno. Lo anterior transforma nuestra ecuacin original (5.1.1) en la siguiente o y (z) + (z) (z) y (z) + 2 y(z) = 0, (z) (z) (5.1.3)
(z) = (z) + 2(z), (z) = (z) + 2 (z) + (z)[ (z) (z)] + (z)(z). 71
72
Cap tulo 5. Resolviendo la ecuacion de Schrodinger
Como es un polinomio de grado dos a lo sumo, impongamos que sea proporcional al propio , es decir que (z) = (z). Ello es posible pues tiene dos coecientes indeterminados los coecientes del polinomio y es una constante a determinar, lo que nos conduce a tres ecuaciones al igualar los coecientes de y con tres incgnitas. o Hecho esto, nuestra ecuacin se transforma en la ecuacin hipergeomtrica o o e (z)y + (z)y + y = 0. Pasemos a calcular y . Como = (z), entonces (z) + 2 (z) + (z)[ (z) (z)] + (z)(z) = (z), o, equivalentemente, 2 (z) + [ (z) (z)](z) + {(z) [ (z)](z)} = 0. Supongamos que k = (z) es conocido, entonces tenemos una ecuacin de segundo o orden para (z), luego (z) = (z) (z) 2 (z) (z) 2
2
(5.1.4)
(z) + k(z),
(5.1.5)
pero (z) ha de ser un polinomio de grado a lo sumo uno, por tanto el polinomio (z) = (z) (z) 2
2
(z) + k(z)
(5.1.6)
ha de ser un cuadrado perfecto, es decir su discriminante debe ser cero, lo que nos conduce a una ecuacin para encontrar k. El k encontrado lo sustituimos en (5.1.5) y obtenemos o (z), el cual nos conduce directamente a = (z) + k. Obviamente el mtodo anterior da distintas soluciones en funcin del k que escojamos e o y del convenio de signos en (5.1.5).
5.1.2.
La ecuacin diferencial hipergeomtrica o e
Como hemos visto en el apartado anterior el estudio de la ecuacin (5.1.1) se puede o reducir al de la ecuacin hipergeomtrica (5.1.4) por lo que nos centraremos en el estudio o e de sta ultima. Aqu nos restringiremos a estudiar las soluciones polinmicas de (5.1.4). e o Para el caso general remitimos al lector [13]. La propiedad de hipergeometricidad y la frmula de Rodrigues o Pasemos a continuacin a estudiar la ecuacin diferencial o o (x)y + (x)y + y = 0, donde y son polinomios de grados a lo sumo 2 y 1, respectivamente. La ecuacin (5.1.7) usualmente se denomina ecuacin diferencial hipergeomtrica. o o e La razn fundamental de esta denominacin est en la denominada propiedad de hipero o a geometricidad que consiste en que las soluciones y de la ecuacin (5.1.7) son tales que o (5.1.7)
5.1. El mtodo de Nikiforov-Uvarov e
73
sus m-simas derivadas y (m) := ym satisfacen una ecuacin del mismo tipo. En efecto, si e o derivamos (5.1.7) m veces obtenemos que ym satisface una ecuacin de la forma o
(x)ym + m (x)ym + m ym = 0,
m (x) = (x) + m (x),

m1
(5.1.8) (x) . 2
m = +
i=0
i (x) = + m (x) + m(m 1)
Es evidente que grado m 1 y que m es una constante. Adems, toda solucin de (5.1.8) a o es necesariamente de la forma ym = y (m) siendo y solucin de (5.1.7). La demostracin o o es por induccin y la omitiremos. o Vamos a intentar encontrar las soluciones polinmicas de (5.1.7). Para encontrarlas o comenzaremos escribiendo (5.1.7) y (5.1.8) en su forma simtrica o autoconjugada e [(x)(x)y ] + (x)y = 0, [(x)m (x)ym ] + m m (x)ym = 0, (5.1.9)
donde y m son funciones de simetrizacin que satisfacen las ecuaciones diferenciales o de primer orden (conocidas como ecuaciones de Pearson) [(x)(x)] = (x)(x), [(x)m (x)] = m (x)m (x). (5.1.10)
Si es conocida entonces, utilizando las ecuaciones anteriores, obtenemos para m la expresin o m (x) = m (x)(x). (5.1.11) Teorema 5.1.1 Las soluciones polinmicas de la ecuacin (5.1.8) se expresan mediante o o la frmula de Rodrigues o
(m) Pn (x) = (n) donde Bn = Pn /Ann y
Anm Bn dnm [n (x)], m (x) dxnm
(5.1.12)
Anm = Am ()
=n
n! (n m)!
m1
k=0
[ + 1 (n + k 1) ]. 2
(5.1.13)
Adems, el autovalor m de (5.1.8) es a

1 m = m (n ) = (n m)[ + 2 (n + m 1) ].
(5.1.14)
o Demostracin: Para demostrar el teorema vamos a escribir la ecuacin autoconjugada o para las derivadas de la siguiente forma m (x)ym = 1 [m+1 (x)ym+1 ] , m
74 luego m (x)ym =
Am dnm [n (x)yn ] , An dxnm
m1
Am = (1)m
k=0
k ,
A0 = 1.
(n)
Como estamos buscando soluciones polinmicas, y := Pn , tenemos que Pn es una o (m) constante; por tanto, para las derivadas de orden m, Pn , obtenemos la expresin o
(m) Pn (x) =
Anm Bn dnm [n (x)], m (x) dxnm

(n)
donde Anm = Am ()
=n
(n) y Bn = Pn /Ann . Como Pn
es una constante, de (5.1.8)
obtenemos que n = 0, luego, usando la expresin (5.1.8) o n = n + n (x) + n(n 1) (x)/2 = 0, deducimos que el valor de n en (5.1.7) se expresa mediante la frmula1 o := n = n n(n 1) . 2 (5.1.15)
Sustituyendo (5.1.15) en (5.1.8) obtenemos el valor de nm = m (n )

1 nm = m (n ) = (n m)[ + 2 (n + m 1) ],
(5.1.16)
de donde, usando que Anm = Am (n ) = (1)m constante Anm .
m1 k=0
nk , deducimos el valor de la 2
En la prueba hemos asumido que nk = 0 para k = 0, 1, . . . , n 1. De la expresin o expl cita (5.1.16) deducimos que para que ello ocurra es suciente que + n /2 = 0 para todo n = 0, 1, 2, . . . . Ntese que esta condicin es equivalente a n = 0 para todo o o n N. Adems, de ella se deduce que n = 0 para todo n N. Esta condicin se conoce a o como condicin de regularidad o de admisibilidad. Ntese adems que nk = n k , o o a luego nk = 0 para k = 0, 1, . . . , n 1 implica que n = k si n = k. Cuando m = 0 la frmula (5.1.12) se convierte en la conocida frmula de Rodrigues o o para los polinomios clsicos a Pn (x) = Bn dn n [ (x)(x)], (x) dxn n = 0, 1, 2, . . .
(5.1.17)
La frmula (5.1.15) determina los autovalores n de (5.1.7) y es conocida como condicin o o de hipergeometricidad. Ortogonalidad y relacin de recurrencia o Veamos ahora cmo a partir de las ecuaciones diferenciales simetrizadas (5.1.9) poo demos demostrar la ortogonalidad de las soluciones polinmicas respecto a la funcin o o peso .
1 Usando la expresin o Q n+k (n)m m1 (n+k) . k=0
(5.1.15)
podemos
obtener
una
expresin o
alternativa
Anm
5.1. El mtodo de Nikiforov-Uvarov e Teorema 5.1.2 Supongamos que xk (x)(x)

b a
75
= 0,
para todo k 0.
(5.1.18)
Entonces las soluciones polinmicas Pn de la ecuacin (5.1.7) constituyen una sucesin o o o de polinomios ortogonales (SPO) respecto a la funcin peso denida por la ecuacin o o [(x)(x)] = (x)(x), o sea, se cumple que
b a
Pn (x)Pm (x)(x)dx = n,m d2 , n
(5.1.19)
donde n,m es el smbolo de Kronecker y dn denota la norma de los polinomios Pn . Demostracin: Sean Pn y Pm dos de las soluciones polinmicas de (5.1.7). Partiremos de o o las ecuaciones simetrizadas para Pn y Pm ,
[(x)(x)Pn (x)] + n (x)Pn (x) = 0, [(x)(x)Pm (x)] + m (x)Pm (x) = 0.
Multiplicando la primera por Pm y la segunda por Pn , restando ambas e integrando en [a, b] obtenemos
b
(n m )
b
Pn (x)Pm (x)(x)dx =
a
=
a
[(x)(x)Pm (x)] Pn (x) [(x)(x)Pn (x)] Pm (x) dx b a
= (x)(x)[Pn (x)Pm (x) Pn (x)Pm (x)]
= (x)(x)W [Pn (x), Pm (x)]
Pero el Wronskiano W (Pn , Pm ) es un polinomio en x; por tanto, si imponemos la condicin (5.1.18) obtendremos (n = m ) que los polinomios Pn y Pm son ortogonales o respecto a la funcin peso . Usualmente los valores de a y b se escogen de forma que o sea positiva en el intervalo [a, b]. Una eleccin puede ser tomar a y b como las ra o ces de (x) = 0, si stas existen. e 2 De forma anloga, utilizando la ecuacin (5.1.9) para las derivadas yk := Pn , se a o puede demostrar que las ksimas derivadas de los polinomios hipergeomtricos tambin e e e son ortogonales, es decir, que
b a (k) (k) Pn (x)Pm (x)k (x)dx = n,m d2 . kn (k)
(5.1.20)
Finalmente, para calcular la norma dn de los polinomios podemos utilizar la frmula o de Rodrigues. En efecto, sustituyendo (5.1.17) en (5.1.19) tenemos d2 = Bn n
b
Pn (x)
a
dn n [ (x)(x)]dx, dxn
76

(n)
de donde integrando por partes y usando que Pn d2 = Bn (1)n n!an n

b a
= n!an concluimos que (5.1.21)
n (x)(x)dx.
Teorema 5.1.3 Los polinomios ortogonales satisfacen una relacin de recurrencia a tres o trminos de la forma e xPn (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x), donde n = an , an+1 n = bn bn+1 , an an+1 n = cn n cn+1 bn an1 d2 n n = , (5.1.23) an1 an1 an d2 n1 (5.1.22)
donde an , bn y cn son los coecientes del desarrollo Pn (x) = an xn +bn xn1 +cn xn2 + , y dn es la norma de los polinomios. Generalmente se impone que P1 (x) = 0 y P0 (x) = 1, con lo que la sucesin de polinomios o ortogonales queda determinada de forma unica conocidas las sucesiones (n )n , (n )n y (n )n . o Demostracin: Utilizando que la sucesin (Pn )n es una base del espacio de los polinomios, o tenemos que el polinomio xPn (x) de grado n + 1 se puede desarrollar en la base (Pn )n
n+1
xPn (x) =
k=0
cnk Pk (x),
cnk =
b a
Pn (x) [xPk (x)] (x)dx . d2 n
Pero como el grado de xPk (x) es k + 1, entonces cnk = 0 para todo 0 k < n 1, de donde se concluye que la SPO satisface una relacin (5.1.22). Adems, los coecientes o a n , n , y n se expresan mediante las frmulas: o n = n = 1 d2 n+1 1 d2 n1
a a b b
xPn (x)Pn+1 (x)(x)dx, xPn (x)Pn1 (x)(x)dx.
n =
1 d2 n
xPn (x)Pn (x)(x)dx,

a
(5.1.24)
Para probar (5.1.23) basta sustituir la expresin Pn (x) = an xn + bn xn1 + cn xn2 + o en (5.1.22) e igualar las potencias xn+1 , xn y xn1 . Finalmente como xPn1 = n1 Pn + n1 Pn1 + n1 Pn2 , n = 1 d2 n1
a b
Pn (x)[xPn1 (x)](x)dx =
1 d2 n1
n1
a
2 Pn (x)(x)dx,
de donde se sigue el resultado. Ntese que del resultado anterior se deduce que n = 0 para todo nN {0} as como o que n = para todo N. Adems, si (x) 0 en (a, b), entonces n1 n > 0 para todo a n N. Resulta que el rec proco tambin es cierto. e
77
Teorema 5.1.4 Sea (n ) y (n ) dos sucesiones cualesquiera de nmeros reales u n=0 n=0 con n > 0 para todo n N y sea (Pn ) una sucesin de polinomios mnicos denidos o o n=0 mediante la relacin o Pn (x) = (x n )Pn (x) n Pn (x), n = N, (5.1.25)
donde P1 = 0 y P0 (x) = 1. Entonces, dichos polinomios Pn son ortonormales para cierta medida positiva sobre la recta real. El teorema anterior se conoce como Teorema de Favard, aunque hab sido demostrado a antes por O. Perron (1929), A. Wintner (1929) y M. H. Stone (1932), J. Sherman (1935) y I. P. Natanson (1935) indistintamente. Una consecuencia inmediata de la RRTT es el siguiente teorema cuya prueba dejamos como ejercicio al lector Teorema 5.1.5 Si (Pn )n es una sucesin de polinomios ortogonales que satisface la o relacin de recurrencia a tres trminos (5.1.22). Entonces se cumple que o e Kern (x, y) n Pn+1 (x)Pn (y) Pn+1 (y)Pn (x) Pm (x)Pm (y) = 2 , d2 dn xy m m=0
n
n 1. (5.1.26)
Si hacemos tender y x en la frmula anterior obtenemos la frmula conuente de o o Christoel-Darboux: Ker(x, x)

n 2 Pm (x) n = 2 [Pn+1 (x)Pn (x) Pn+1 (x)Pn (x)] 2 dm dn m=0 n
n 1.
(5.1.27)
Una propiedad muy importante de los polinomios ortogonales est relacionada con a los ceros de los mismos. As se tiene el siguiente teorema fundamental cuya demostracin , o omitiremos (ver e.g. [1]): Teorema 5.1.6 Supongamos que (x) es positiva en el interior del intervalo (a, b). Entonces: 1. Todos los ceros de Pn son reales, simples y estn localizados en (a, b). a 2. Dos polinomios consecutivos Pn y Pn+1 no pueden tener ningn cero en comn. u u 3. Denotemos por xn,j a los ceros del polinomio Pn , (consideraremos en adelante que xn,1 < xn,2 < < xn,n ). Entonces: xn+1,j < xn,j < xn+1,j+1 , es decir, los ceros de Pn y Pn+1 entrelazan unos con otros. Calculemos ahora la relacin de recurrencia (5.1.22) a tres que satisfacen los polio nomios clsicos. Para calcular los coecientes usando las expresiones de (5.1.23) tenemos a antes que encontrar una expresin general para los coecientes principales an y bn del o polinomio Pn .
78

(n)
Para calcular an usamos que, por un lado Pn (x) = n!an y por el otro, utilizando (n) la frmula de Rodrigues (5.1.12) Pn (x) = Bn Ann , por tanto, o an = Bn Ann = Bn n!
n1 k=0
1 [ + 2 (n + k 1) ].
(5.1.28)
Para calcular bn utilizaremos la frmula de Rodrigues para la n 1-sima derivada de o e (n1) Pn : Pn (x) = Ann1 Bn n1 (x), de donde obtenemos la igualdad
(n1) Pn (x) = n!an x + (n 1)!bn = Ann1 Bn n1 (x).
Luego, bn = nn1 (0) an . n1 (5.1.29)
Obsrvese que, al ser n = 0, bn est denido para cualquier n. e a
Usando las expresiones (5.1.23) as como (5.1.29) deducimos n = + (n 1) 2 Bn Bn n 2n 2n + 1 an = = + (2n 1) )( + (2n) ) an+1 Bn+1 ( Bn+1 n 2n 2n+1 2 2 n = nn1 (0) (n + 1)n (0) . n1 n
Vamos a dar una expresin alternativa para n sin usar la norma de los polinomios. o Para ello igualamos los coecientes de xn2 en la ecuacin diferencial (5.1.7). Ello nos o conduce a la expresin o cn = (n 1)[ (0) + (n 2) (0)]bn + n(n 1)(0)an (n 2)[ + (n 3) 2 ] + n
n(n 1)[n2 (0)n1 (0) + (0)n1 ] = an . n1 (n n2 )
(5.1.30)
Luego nos resta sustituir la expresin anterior en la frmula2 (5.1.24) o o n = cn n cn+1 bn n . an1 an1
Consecuencias de la frmula de Rodrigues o La primera consecuencia inmediata de la frmula de Rodrigues es que (x) debe o ser necesariamente un polinomio de grado exactamente uno. En efecto, si calculamos el polinomio de grado 1 utilizando la frmula de Rodrigues (5.1.17) obtenemos o P1 (x) =
2 Recordar
B1 [(x)(x)] = B1 (x), (x)
(5.1.31)
que Pn (x) = an xn + bn xn1 + cn xn2 + .
79
y por tanto es un polinomio de grado exactamente uno. Ntese que esta frmula es o o equivalente a la frmula de Pearson (5.1.10). o Si escribimos la frmula de Rodrigues (5.1.12) para las derivadas3 Pn+m con n = 1 o tenemos P1+m (x) =
(m) (m)
Am+1 m Am+1 m [m+1 (x)] = [(x)m (x)] = Am+1 m m (x), m (x) m (x)
(m)
es decir, m es de grado exactamente uno (pues los polinomios Pn+m son ortogonales). Por tanto m = 0 para todos m N lo cual es la condicin de regularidad (existencia de o la SPO) que ya mencionamos. Tomemos ahora m = 1 en la frmula (5.1.12). Realizando unos clculos directos o a deducimos que
Pn (x)
An1 Bn dn1 n Bn dn1 [n (x)] = [1 (x)]. 1 (x) dxn1 1 (x) dxn1 n1

Pn (x) =
Luego
n Bn Pn1 (x), Bn1
(5.1.32)
donde Pn1 denota al polinomio ortogonal respecto a la funcin peso 1 (x) = (x)(x). o O sea, si Pn es ortogonal Pn (x) tambin lo ser. e a Si escribimos la frmula de Rodrigues (5.1.12) para el polinomio de grado n + 1, o utilizando la ecuacin de Pearson [(x)n (x)] = n (x)n (x) vemos que o Pn+1 (x) = Bn+1 dn Bn+1 dn+1 n+1 [ (x)(x)] = [n (x)n (x)] n+1 (x) dx (x) dxn =
n1 dn n (x) n (x) Bn+1 d n (x) . + nn n (x) dx dxn1
Utilizando ahora que Pn (x) =
n Bn dn1 n (x) , obtenemos la frmula de diferenciao (x)(x) dxn1 cin, com nmente denominada caracterizacin de Al-Salam & Chihara, o u o
(x)Pn (x) =
n Bn n (x)Pn (x) Pn+1 (x) , nn Bn+1
(5.1.33)
o, equivalentemente, n 2n I (x)D Pn (x) = n Pn+1 (x). nn 2n Sustituyendo (5.1.22) en (5.1.34) obtenemos 2n 2n n + (x n I + (x)D Pn (x) = n Pn1 (x). nn 2n 2n
(m) (m)
(5.1.34)
(5.1.35)
3 Hemos usado P pues estos son polinomios de grado exactamente n en x mientras n+m en vez de Pn que los ultimos no. Obviamente ellos tambin son solucin de la ecuacin (5.1.8) y satisfacen la frmula e o o o de Rodrigues (5.1.12) cambiando n por n + m.
80
Si ahora en la frmula (5.1.33) desarrollamos n y utilizamos la relacin de recuo o rrencia (5.1.22) para descomponer los sumandos de la forma xPn obtenemos el siguiente teorema Teorema 5.1.7 Los polinomios ortogonales Pn (x), soluciones de la ecuacin (5.1.7), o satisfacen la siguiente relacin de estructura o
(x)Pn (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x),
n 0, n n = 0. n
(5.1.36)
donde n = Bn n n n , nn Bn+1 n = n [n n + n (0)] , nn n = (5.1.37)
Las expresiones (5.1.37) anteriores para los coecientes de la relacin de estructura o pueden reescribirse usando las frmulas expl o citas para los coecientes de la relacin de o recurrencia de la siguiente forma n = n n , 2 n = n [ (0) n n1 (0)] = n ( ), n n nn n = n n . n (5.1.38)
Finalmente enunciaremos un teorema de gran importancia en lo que sigue. Teorema 5.1.8 Los polinomios de tipo hipergeomtricos (clsicos) pn (x) son las unicas e a soluciones de la ecuacin hipergeomtrica (z)y + (z)y +y = 0, tales que las funciones o e n (x) = (x)pn (x), donde (x) es la funcin peso con respecto a la cual los pn son o ortogonales, son acotadas y de cuadrado integrable en (a, b), siendo (a, b) el soporte de la funcin peso. o Nota 5.1.9 Si queremos que la funcin peso sea positiva e integrable en el interior del o intervalo de ortogonalidad y suponemos que (x) > 0 en dicho intervalo se puede comprobar que el polinomio ha de cumplir dos propiedades importantes: 1. En primer lugar la derivada de ha de ser negativa. Esto es particularmente importante en los casos cuando = 1 y = x, que corresponden a intervalos de ortogonalidad no acotados vase el prximo apartado, e o 2. ha de anularse en el interior del intervalo de ortogonalidad. Ello es consecuencia de (5.1.31) y del teorema 5.1.6 que asegura que P1 ha de anularse en el interior del intervalo de ortogonalidad.
5.1.3.
Los polinomios de Hermite, Laguerre y Jacobi
Parmetros principales a Comenzaremos escribiendo los principales parmetros de las sucesiones de polinoa mios ortogonales mnicos clsicos (SPOMC). Como ya hemos visto los polinomios ortoo a gonales en la recta real, solucin de una ecuacin del tipo (5.1.7), se pueden clasicar en o o tres grandes familias en funcin del grado del polinomio ( siempre es un polinomio o
81
de grado 1). Cuando es un polinomio de grado cero los polinomios correspondientes se denominan polinomios de Hermite Hn (x), cuando es de grado 1, polinomios de Lague, rre L (x) y cuando es de grado 2 con dos ra simples, polinomios de Jacobi Pn (x), ces n respectivamente. En las tablas 5.1 y 5.2 estn representados los principales parmetros a a de dichas familias, en las cuales (a)n denota al s mbolo s mbolo de Pochhammer (a)0 = 1, (a)k = a(a + 1) (a + k 1), k = 1, 2, 3, ... . Para los polinomios se han escogido las llamadas formas cannicas. o Cuadro 5.1: Clasicacin de las SPO Clsicas. o a Pn (x) (x) (x) n (x) Hn (x) 1 2x 2n ex
2
(5.1.39)
L (x) n x x + + 1 n x ex > 1
, Pn (x)
1 x2 ( + + 2)x + n(n + + + 1) (1 x) (1 + x) , > 1 (1 x)n+ (1 + x)n+
n (x)
ex
xn+ ex
Representacin hipergeomtrica o e De la frmula de Rodrigues4 (5.1.12) se puede obtener la representacin de los poo o linomios de Hermite, Laguerre y Jacobi en trminos de la funcin hipergeomtrica de e o e Gauss 2 F1 denida en el caso ms general de forma a
p Fq
a1 , a2 , . . . , ap x b1 , b2 , . . . , bq
k=0
(a1 )k (a2 )k (ap )k xk . (b1 )k (b2 )k (bq )k k!
(5.1.40)
4 Para (n) e Pn ello basta usar la regla de Leibnitz para calcular la n-sima derivada de un producto (f g) e = p t nkf (k) g (nk) . Otra posibilidad es usar series de potencias y el mtodo de coecientes k=0 indeterminados de Euler (ver e.g. [4, 18]).
De esta manera encontramos que m 2 (1)m 1 n = 2m x , 1 F1 1 2 m 2 Hn (x) = m 2 (1)m 3 x 1 F1 x , n = 2m + 1 3 2 m 2
(5.1.41)
82
Cuadro 5.2: Parmetros de las SPO Mnicas (an = 1). a o

Pn (x) Bn Hn (x) (1)n 2n 0
n! 2n
L (x) n (1)n
, Pn (x)
(1)n (n + + + 1)n n( ) 2n + +
2++2n+1 n!(n++1)(n++1) (n+++1)(2n+++1)(n+++1)2 n
bn d2 n n n n n e e n n e
n(n + ) (n + + 1)n! 1 2n + + 1 n(n + ) 0 n n(n + )
1 0
n 2
1
2 (2n++)(2n+2++) 4n(n+)(n+)(n++) (2n++1)(2n++)2 (2n+++1)
2
0 0 n
n 2( )n(n + + + 1) (2n + + )(2n + 2 + + ) 4n(n + )(n + )(n + + )(n + + + 1) (2n + + 1)(2n + + )2 (2n + + + 1)
L (x) n
, Pn (x)
(1)n (n + + 1) 1 F1 ( + 1)
n x , +1
(5.1.42)
2n ( + 1)n 2 F1 (n + + + 1)n
n, n + + + 1 1 x . +1 2
(5.1.43)
Como consecuencia de las frmulas anteriores podemos obtener los valores de los polinoo mios en los extremos del intervalo de ortogonalidad. Estos valores pueden ser obtenidos tambin a partir de la frmula de Rodrigues (5.1.12) aplicando la regla de Leibniz para e o calcular la n-sima derivada de un producto de funciones. e m (1) (2m)! , n = 2m 22m m! Hn (0) = 0, n = 2m + 1
, Pn (1) =
L (0) = n
(1)n (n + + 1) , ( + 1)
2n ( + 1)n , (n + + + 1)n
, Pn (1) =
(1)n 2n ( + 1)n . (n + + + 1)n (5.1.44)
Casos particulares
0,0 1. Los polinomios de Legendre Pn (x) = Pn (x).
5.2. Resolucion de la ecuacion de Schrodinger 2. Los polinomios de Chebyshev de primera especie Tn (x) Tn (x) = Pn
1 2 , 1 2
83
(x) =
1 cos[n arc cos(x)]. 2n1
3. Los polinomios de Chebyshev de segunda especie Un (x)

2 Un (x) = Pn 2 (x) = 1 1
1 sen[(n + 1) arc cos(x)] . 2n sen[arc cos(x)]

1 1 2 , 2 1 (x), > 2 .
4. Los polinomios de Gegenbauer G (x) = Pn n
Utilizando la frmula (5.1.32) se obtienen las ecuaciones ( = 1, 2, 3, ..., n = 0, 1, 2, ...): o (Hn (x))() = (L (x))() = n
, (Pn (x))() =
n! Hn (x), (n )! n! L+ (x), (n )! n
(5.1.45) (5.1.46) (5.1.47)
donde (Pn (x))() denota la sima derivada de Pn (x). e
n! P +,+ (x), (n )! n
5.2.
Resolucin de la ecuacin de Schrdinger o o o
Veamos ahora algunos ejemplos sencillos de cmo se usa el mtodo de Nikiforov y o e Uvarov para resolver algunas ecuaciones de la Mecnica cuntica. a a
5.2.1.
El oscilador armnico cuntico unidimensional o a
Como ejemplo apliquemos la tcnica anterior al caso del oscilador armnico cuntico. e o a Partimos de la ecuacin de Schrdinger para el oscilador armnico o o o 1 (x) + m 2 x2 (x) = E(x), x R. 2m 2 /(m), E = /2, se transforma en la ecuacin o Haciendo el cambio x = x0 , x0 = () + ( 2 )() = 0, que obviamente es del tipo (5.1.1) con () = 0, () = 1 y () = 2 . Para (), (5.1.5) nos da () = 2 + (k ).
2
Como el polinomio 2 + (k ) ha de ser un cuadrado perfecto, entonces k = y, por tanto, () = , luego () = , () = , () = 1, () = 1, = + 1, = 1, () = 2, () = 2,
84
que nos conducen a las ecuaciones y () + 2y () + ( + 1)y() = 0, y () 2y () + ( 1)y() = 0,
respectivamente. En cada caso la funcin () es la solucin de las ecuaciones / = o o y / = , que conducen a las funciones () = e
2
/2
() = e
/2
respectivamente. Finalmente, la ecuacin y () 2y () + ( 1)y() = 0 corresponde a o la ecuacin hipergeomtrica de los polinomios de Hermite, por tanto tenemos 1 = 2n, o e n = 0, 1, 2, . . . y las soluciones normalizadas de nuestra ecuacin original sern o a () = Nn e

2
/2
Hn (),

= 2n + 1,
n = 0, 1, 2, . . . . n! . = 2n
(5.2.1)
Para calcular Nn notamos que ()()d =

2 Nn
2 2 Hn ()e
d =
2 Nn d2 , n
d2 n
Entonces de la condicin de normalizacin o o 1= 2n , x0 = x0 n!

|(x)|2 dx = x0 /(m).
()()d,
luego Nn =
Es fcil ver que la otra ecuacin tiene como soluciones los polinomios Hn (), por a o 2 /2 lo que sus soluciones () = e Hn () no son de cuadrado integrable en R, y por tanto no tienen sentido f sico (esto se pod predecir si tenemos en cuenta la nota 5.1.9 a del apartado anterior). De esta forma las unicas soluciones estacionarias del oscilador armnico son las funciones (5.2.1) anteriores. o As pues, a diferencia del oscilador clsico, el oscilador cuntico tiene una energ a a a discreta denida por la expresin En = (n + 1/2), n = 0, 1, 2, . . . correspondiente al o estado (x) = 2n 1 e 2 x0 n!
x x0
Hn
x x0
n = 0, 1, 2, . . . ,
x0 =
/(m).
Finalmente, mencionemos que las autofunciones del oscilador denen una base ortogonal completa en el espacio de las funciones de cuadrado integrable y por tanto las podemos usar para desarrollar en la misma cualquier funcin de este espacio. o
5.2.2.
La ecuacin de Schrdinger en un potencial central o o
Partiremos de la ecuacin de Schrdinger estacionaria para el tomo de hidrgeno o o a o en coordenadas esfricas5 e

2
2m
(r, , ) + V (r)(r, , ) = E(r, , ),
(5.2.2)
5 Al ser el potencial de interaccin V (r) un potencial central, i.e., slo depende del radio, es ms o o a sencillo resolver la ecuacin en coordenadas esfricas r, , . o e
5.2. Resolucion de la ecuacion de Schrodinger |0 |2

0,5 0,4 0,3 0,2 0,1 6 4 2 2 4 6
85 |1 |2
0,5 0,4 0,3 0,2 0,1
|2 |
0,5 0,4 0,3 0,2 0,1
|10 |
0,5 0,4 0,3 0,2 0,1
Figura 5.1: Estado fundamental 0 y excitados n , n = 1, 2 y 10 del oscilador armnico. o
donde m es la masa del electrn (que se supone despreciable respecto a la masa del o n cleo), [0, 2), [0, ], y el laplaciano en coordenadas esfricas tiene la forma u e = o bien = r + donde r = 1 r2 r r2 r + 1 r2 1 sen sen + 1 2 2 2 sen , (5.2.3)
1 , r2 + 1 2 2 2 sen
1 1 r2 , = sen r2 r r sen denotan a los laplacianos radial y angular respectivamente.
Por simplicidad vamos a reescribir la ecuacin anterior en la forma o r + 1 (r, , ) + [ v(r)](r, , ) = 0, r2 (5.2.4)
donde v(r) = 2m/ 2 V (r) y = 2m/ 2 E.
Separando las variables (r, , ) = F (r)Y (, ) obtenemos las ecuaciones (5.2.5)
Y (, ) + Y (, ) = 0, r F (r) + v(r) 2 F (r) = 0, r donde es cierta constante a determinar. Ntese adems que la condicin de normalizacin o a o o
0 0 2 0
|(r, , )|2 r2 sen dddr = 1,
86 se transforma en
2 0 0
|Y (, )|2 sen dd = 1
y
0
|F (r)|2 r2 dr = 1.
(5.2.6)
5.2.3.
Los armnicos esfricos o e
Comencemos por la primera de las dos ecuaciones anteriores. Separando variables Y (, ) = ()() obtenemos las siguientes dos ecuaciones () + () = 0, sen sen () + [ sen2 ]() = 0, (5.2.7)
donde es cierta constante. Asumamos que la funcin es univalente, entonces, de la condicin de periodicidad o o ( + 2) = () se sigue que = m2 , m Z. Luego m () = Cm eim , Ntese que las funciones m () son ortogonales o
2
m Z.
m ()m ()d = n mm ,
0
2 con n = 2Cm . Si queremos que sean normalizadas a la unidad entonces Cm = 1/ 2. As tenemos las soluciones 1 m () = eim , 2 m Z. (5.2.8)
La segunda ecuacin en (5.2.7) se transforma entonces en o sen sen () + [ sen2 m2 ]() = 0,
Haciendo el cambio x = cos obtenemos6 (1 x2 ) o, equivalentemente, d dx (1 x2 ) (x)

6 Ntese o
d dx
(1 x2 )
(x) x
+ [(1 x2 ) m2 ](x) = 0,
(5.2.9)
(x) x
m2 (x) = 0 1 x2
(1 x2 ) m2 2x (x) + (x) = 0. 1 x2 (1 x2 )2
que si x = cos , entonces d/d = dx/d d/dx = sen d/dx, y sen =
1 x2 .
5.2. Resolucion de la ecuacion de Schrodinger Esta ecuacin del tipo (5.1.1) con o (x) = 2x, luego el polinomio (5.1.6) (x) = ( k)x2 + (k ) + m2 es un cuadrado perfecto si: 1. k = = (x) = m = = (x) = 2(x m), m = 0, 1, 2, . . . , = (x) = (1 x2 ) m2 , = 1 x2 ,
87
2. k = m2
(x) = mx
(x) = 2(m + 1)x, m = 0, 1, 2, . . . .
Si ahora tenemos en cuenta la nota 5.1.9 tenemos que de las cuatro opciones debemos escoger (x) = 2(m + 1)x correspondiente a (x) = mx, k = m2 , = k + = m(m + 1). Para calcular7 usamos (5.1.2) que nos da mx = 1 x2 = (x) = (1 x2 )m/2 .
La ecuacin de tipo hipergeomtrico que obtenemos es, por tanto, o e (1 x2 )y 2(m + 1)xy + y = 0, que tiene soluciones polinmicas seg n (5.1.15) cuando = n(2m + n + 1), luego o u = (m + n)(n + m + 1), n, m = 0, 1, 2, . . . .
En adelante deniremos l = m + n, l = 0, 1, 2, . . . . Entonces, n = l m 0, y por tanto8

m,m y(x) = Plm (x), m,m donde Plm son los correspondientes polinomios de Jacobi. As para m 0 la solucin . o de (5.2.9) tiene la forma m,m l m (x) = Clm (1 x2 )m/2 Plm (x).
Ntese que o
1 1
l m (x)l m (x)dx = Clm Cl m

1 1
m,m Plm (x)Plm,m (x)(1 x2 )m dx = 0, m
l = l ,
adems, si l = l , y haciendo n = l m a
1 1
[l m (x)]2 dx =
1 1
m,m [Pn (x)]2 (1 x2 )m dx =
22l+1 (l m)!(l + m)!(l!)2 , (2l + 1)!(2l)!
7 No confundir la funcin (x) con el angulo en coordenadas esfricas. Abusando de la paciencia del o e lector y para no introducir otra notacin diferente hemos optado por mantener la notacin original de o o [13]. 8 Ntese que l m 0. Es decir, si jamos l, entonces m = 0, 1, 2, . . . l. o
88
luego si queremos que l m (x) sean ortonormales, es decir que se cumpla la segunda condicin de (5.2.6) basta denir o Clm = As l m (x) = (2l)! l! 2l + 1 m,m (1 x2 )m/2 Plm (x), 22l+1 (l m)!(l + m)! l 0, m = 0, 1, . . . l. (5.2.10) (2l)! l! 2l + 1 . m)!(l + m)!
22l+1 (l
Slo nos queda pendiente analizar qu ocurre si m < 0 (ver (5.2.8)). Para ello o e (m,m) escribiremos (5.2.10) usando la expresin anal o tica de Plm (x) mediante la frmula de o Rodrigues (5.1.17) l m (x) = (1)lm l! dlm (2l + 1)(l + m)! (1 x2 )m/2 lm [(1 x2 )l ] 2l+1 (l m)! 2 d x (5.2.11)
Si ahora usamos la ecuacin (5.1.47) tenemos o

m,m Plm (x) =
(l m)! dm Pl (x), l! dm x
donde Pl (x) son los polinomios de Legendre de grado l, expresados anal ticamente mediante la frmula de Rodrigues o Pl (x) = (1)l l! dl [(1 x2 )l ] (2l)! dl x
Combinado las dos expresiones anteriores con (5.2.10) tenemos otra representacin de o las funciones l m (x) l m (x) = (1)l l! dl+m (2l + 1)(l m)! (1 x2 )m/2 l+m [(1 x2 )l ]. 2l+1 (l + m)! 2 d x (5.2.12)
Comparando (5.2.11) y (5.2.12) se deduce que l m (x) = (1)m l m (x), m = 0, 1, 2, . . . , l.
La expresin anterior permite denir la funcin l m (x) para m < 0. As para = l(l+1), o o , l = 0, 1, 2, . . . y m = l, l + 1, . . . , l, tenemos que las funciones Y (, ) := Yl m (, ) se dene por la expresin o 1 Yl m (, ) = eim l m (cos ), 2 l = 0, 1, 2, . . . , m = l, l + 1, . . . , l. (5.2.13)
Estas funciones se denominan armnicos esfricos. o e
5.2. Resolucion de la ecuacion de Schrodinger
89
5.2.4.
Resolviendo la parte radial de la ecuacin de Schrdinger o o
De los resultados del apartado anterior se sigue que (5.2.5) se transforma en r F (r) + v(r) l(l + 1) F (r) = 0. r2
Para resolver esta ecuacin hacemos el cambio9 F (r) = R(r)/r que nos conduce a la o ecuacin o l(l + 1) R(r) = 0, (5.2.14) R (r) + v(r) r2 donde ahora la primera de las condiciones de contorno (5.2.6) se transforma en
0
|R(r)|2 dr = 1.
La ecuacin (5.2.14) ser nuestro punto de partida para resolver dos casos de exo a trema importancia en las aplicaciones: el tomo de hidrgeno y el oscilador armnico a o o tridimensional. El tomo de hidrgeno a o Puesto que para el tomo de hidrgeno V (r) = /r, (5.2.14) tiene la forma a o R (r) + 2m
2
E+
l(l + 1) R(r) = 0. r r2
2
Haciendo el cambio = r/a0 , donde a0 = en la ecuacin adimensional o R () + 2 + Esta ecuacin es del tipo (5.1.1) con o () = , Por tanto, tenemos () = 1 2 1
/(m), la ecuacin anterior se transforma o l(l + 1) R() = 0. 2
() = 2 2 + 2 l(l + 1),
() = 0.
1 2 2 2r + l(l + 1) + k. 4
Como () = 1/4 2 2 + l(l + 1) + k a de ser un cuadrado perfecto (en la variable 2r ), tenemos que k = 2 2(2l + 1), luego para () tenemos las siguientes cuatro opciones () =
9 La
1 1 + 2 l + 2 2
1 r 2 r
,
=
() =
1 1 2 l + 2 2
razn fundamental es que o
r2
F (r) r
1 2 [rF (r)]. r r 2
90
Como () = 2(), tenemos, usando la nota 5.1.9 que < 0, luego < 0 de donde eliminamos las dos primeras. De las dos posibilidades restantes para el polinomio () seleccionamos, siguiendo nuevamente la nota 5.1.9, la que conduce a una funcin que o se anule para alg n > 0, es decir u () = 2 + (l + 1) . Dicha solucin corresponde a k = 2 2(2l + 1), luego la otra posibilidad, como se o puede comprobar, conduce a una funcin no integrable en (0, +) o () = 2(l + 1 2) = k + () = 2(1 (l + 1) 2). Usando (5.1.2) tenemos () l + 1 2 = () = () = l+1 e
2
Entonces la solucin de nuestra ecuacin es del tipo R() = l+1 e 2 y(), siendo y o o la solucin de la ecuacin o o y () + [2(l + 1) 2]y () + y() = 0. El cambio lineal x = 2 2 nos transforma la ecuacin anterior en la ecuacin o o xy (x) + [(2l + 1) + 1 x]y (x) + y(x) = 0, , = 2 2
que corresponde a los polinomios de Laguerre L2l+1 (x). Adems, como = n, entonces a n = 2n 2. Por otro lado, = k + (), luego := n,l = 1 , 2(n + l + 1)2 n, l = 0, 1, 2, . . .
As jados n y l, n, l = 0, 1, 2, . . . la solucin es , o Rn l () = Nn,l xl+1 ex/2 L2l+1 (x), n con Nn,l tal que
0 2 Rn l (r)dr = 1
x=2
2n,l ,
0
a0
0
2 Rn l ()d = 1
a0 (n + l + 1) 2
2 Rn l (x)dx = 1.
Ahora bien,
0 2 2 Rn l (x)dx = Nn,l 0 2 x2l+2 ex (L2l+1 (x))2 dx = Nn,l n 0
(x)x(L2l+1 (x))2 dx n
2 2 = Nn,l n d2 = Nn,l 2(n + l + 1)n!(n + 2l + 2)!, n
donde hemos usado la relacin de recurrencia (5.1.22) para el producto x L2l+1 (x) y luego o n la ortogonalidad. Por tanto Nn,l = 1 . a0 (n + l + 1)2 n!(n + 2l + 1)!
5.2. Resolucion de la ecuacion de Schrodinger

|Rn,l |2
0,5 0,4 0,3 0,2 0,1
91
|R0,0 |2
10
15
20
25
|Rn,l |2
0,5 0,4 0,3 0,2 0,1 10 20 30 40 50
|R1,0 |2 |R1,1 |2 |R1,2 |2
Figura 5.2: Estado fundamental (arriba) y excitados n = 1, l = 0, 1, 2 (abajo) del tomo a de Hidrgeno. o
Ntese que la energ E de la ecuacin (5.2.2) es por tanto o a o En,l = 1 m2 1 m2 = 2 2 , 2 2 (n + l + 1)2 2 n n = 1, 2, 3, . . .
que, teniendo en cuenta que = e2 , nos conduce a la misma expresin10 de Bohr (2.3.1) o Finalmente notemos que las autonciones correspondientes a las energ anteriores son as 2 a0 (n + l + 1)2 a0 =
2
n,l,m (r, , ) =
1 xl ex/2 L2l+1 (x)Yl m (, ), n a0 n!(n + 2l + 1)! /(m).
n, l = 0, 1, 2, . . .
donde x =
2r a0 (n+l+1) ,
10 En nuestra frmula n no representa al n mero cuntico principal. Este corresponder al valor o u a a n = n + l + 1.
92
5.2.5.
El oscilador armnico tridimensional o
1 Para el oscilador armnico tridimensional V (r) = 2 m 2 r2 , as que (5.2.14) se cono vierte en 2m 1 l(l + 1) R (r) + E m 2 r2 R(r) = 0. 2 2 r2
Haciendo el cambio = r/r0 , donde r0 = se transforma en la ecuacin adimensional o R () + 2
/(m), y E = ( /2) la ecuacin anterior o l(l + 1) R() = 0. 2
Para convertir esta ecuacin en una del tipo (5.1.1) hacemos el cambio z = 2 , as teno dremos 1 z z 2 l(l + 1) R (z) + R (z) + R() = 0. 2z 4 2 donde tendremos (z) = 2z, Por tanto, tenemos (z) = 1 2 (z), (z) = z 2 + (2k )z + l + 1 2
2
(z) = z z 2 l(l + 1),
() = 1.
,
1 2
y para que este sea un cuadrado perfecto en z, k debe tomar los valores k = /2 l + luego para (z) tenemos las siguientes dos opciones (z) = z + l + 1.
Como (z) = 1 + 2(z), tenemos, usando la nota 5.1.9 que < 0, luego < 0 de donde deducimos que (z) = z + l + 1, que corresponde a k = /2 l +
1 2
, luego
(z) = 2z + 2l + 3 Usando (5.1.2) tenemos (z) z + l + 1 = (z) 2z
= k + (z) =
3 l . 2 2
(z) = z (l+1)/2 ez/2 .
Entonces la solucin de nuestra ecuacin es del tipo R(z) = z (l+1)/2 ez/2 y(z), siendo y o o la solucin de la ecuacin o o zy (z) + [z + l + 3/2]y (z) + que corresponde a los polinomios de Laguerre Ln 3 = k + (z) = 2 l 2 , luego := n,l = 2 2n + l + 3 2 , y(z) = 0. 2 (z). Adems, como /2 = n, y a
l+1/2
n, l = 0, 1, 2, . . .
5.2. Resolucion de la ecuacion de Schrodinger As jados n y l, la parte radial es Fn l (r) = Rn l (r)/r donde , Rn l (z) = Nn,l z (l+1)/2 ez/2 Ll+1/2 (z), n con Nn,l tal que
|Rn,l |2
0,8 0,6 0,4 0,2
93
z = 2 =
r r0
|R0,0 |2 |R1,0 |2 |R2,0 |2
|Rn,l |2
0,8 0,6 0,4 0,2
|R0,2 |2 |R1,2 |2 |R2,2 |2
Figura 5.3: Estado con l = 0, n = 0, 1, 2 (arriba) y l = 2, n = 0, 1, 2 (abajo) del oscilador cuntico tridimensional. a
2 Rn l (r)dr = 1
r0
0
2 Rn l ()d = 1,
pero
0 2 2 Rn l ()d = Nn,l 0 2 Nn,l R(z)2 dz = 2z 2 0
z l+1/2 ez (Ll+1/2 (z))2 dz = n

l+1/2
2 Nn,l
donde d2 es el cuadrado de la norma de los polinomios de Laguerre Ln n n!(n + l + 3/2). Luego 2 . Nn,l = r0 n!(n + l + 3/2)
, i.e., d2 = n
94
5.3.
5.3.1.
El mtodo de factorizacin de Schrdinger e o o

Introduccin o
El objetivo de este apartado es estudiar un mtodo sencillo que permite resolver e ecuaciones diferenciales de Sturm-Liuville. El mtodo debe su popularidad fundamene talmente a Schrdinger que lo us para resolver la ecuacin de Schrdinger para muchos o o o o sistemas f sicos reales. Actualmente el mtodo se le conoce como mtodo de factorizacin de Infeld y Hull e e o debido al estudio detallado que estos autores hicieron en [10].
5.3.2.
El oscilador armnico o
Sea la ecuacin de Schrdinger para el oscilador armnico o o o H (x) := (x) + x2 (x) = (x), que escribiremos convenientemente en la forma (D2 x2 I) (x) = (x), e I es el operador identidad. Si operamos formalmentepodemos sustituir x2 D2 por la correspondiente diferencia de cuadrados (x D)(x + D) o (x + D)(x D). En la prctica esto no es del a todo cierto pues x2 D2 es un operador y obviamente no tiene por que tener lugar las expresiones anteriores como de hecho ocurre. No obstante (x D)(x + D) (x) =(xI D)(x (x) + (x)) = (x) + x2 (x) (x) =H (x) (x) = ( 1) (x), y (x + D)(x D) (x) =(xI + D)(x (x) (x)) = (x) + x2 (x) + (x) =H (x) + (x) = ( + 1) (x). Lo anterior nos conduce a denir dos operadores H+ := x + D, para los que se cumple H H+ (x) = ( 1) (x), H+ H (x) = ( + 1) (x), y H (x) = (H H+ + I) (x) = (x). Aplicando H+ a (5.3.3) tenemos (H+ H )H+ (x) = ( 1)H+ (x), (5.3.5) (5.3.3) (5.3.4) H := x D donde D := d , dx (5.3.2) (5.3.1)
5.3. El mtodo de factorizacion de Schrodinger e que al compararla con (5.3.4) nos conduce a11 H+ (x) = ()2 (x). Anlogamente, aplicando H a (5.3.4) tenemos a (H H+ )H (x) = ( + 1)H (x), que al compararla con (5.3.3) nos da H (x) = ()+2 (x).
95
(5.3.6)
(5.3.7)
De lo anterior se deduce que H es un operador ascenso(raising) y H+ es un operador descenso(lowering).12 Sea ahora el conjunto de las funciones (x) tales que (a) = (b) = 0 (a, b R ) y denamos en dicho espacio el producto escalar13
b
, =
a
(x)(x) dx.
Ntese que H = H . o Los operadores H+ y H son uno el adjunto del otro. En efecto,
b b b
(x)H+ (x)dx =
a a
(x)x(x)dx +
a b
(x) (x)dx
b b
=
a
(x)x(x)dx + (x)(x)
a b b a
(x)(x)dx
=
a
(x D)(x)(x)dx =
H (x)(x)dx
Como consecuencia de lo anterior se sigue que H := D2 + x2 = H H+ + I es autoadjunto y por tanto (ver Proposicin 4.2.12) sus autovalores son reales. Adems, si o a = entonces es ortogonal a (ver Proposicin 4.2.13). o Supongamos que | |2 es integrable. Calculemos 2
2
es decir H , = , H+ .
:= 2 , 2 = 2 () H+ , H+ = 2 () , H H+ =2 ()( 1) , = 2 ()( 1) 2 , 2n
2
(5.3.8)
luego = ( 1) ( 2) ( n) 2 2 . 2 () 2 ( 1) ( n + 1)
11 Ntese que de (5.3.4) se deduce que el operador H H o + tiene como autovectores y sus correspondientes autovalores son + 1, por tanto la expresin anterior indica que H+ son los autovectores o correspondientes a 2 de donde se sigue que han de ser proporcionales a 2 . 12 Pues aumentan o disminuyen el valor del autovalor, i.e., suben o bajan por el espectro de H. 13 Aqu la operacin a denota al complejo conjugado de a. En general trabajaremos en el espacio de o funciones reales.
96
Obviamente para cada jo, existir un n tal que n + 1 > 0, n 0, por a tanto el proceso H+ H+ debe de culminar en alg n momento, i.e., debe existir una u funcin que denotaremos por 0 (x) tal que o H+ 0 (x) = 0, o, equivalentemente, para cierto 0 , (0 ) = 0. En este caso la ecuacin (5.3.5) nos da H0 = 0 0 , o (H H+ + I)0 (x) = 0 0 (x) 0 = 1.
As pues aplicando H consecutivamente a 0 obtendremos los valores para = 1, 3, 5, . . . , 2N + 1, . . . . En general tenemos n = 2n + 1, n = 0, 1, 2, . . . . Anlogamente a +2
2
= 2 ()( + 1) 2 .
(5.3.9)
Lo anterior nos indica que conviene escribir la funcin n como n (n 2 se o convierte en n1 y n +2 se convierte en n+1 ). Luego tenemos las ecuaciones H+ 0 (x) = 0, H+ n = n n1 , H n = n n+1 , n = 0, 1, 2, . . . ,
donde hemos denotado por n := (n ) y n := (n ).

2 Adems (5.3.8) implica n1 2 = 2nn n 2 y (5.3.9) implica n+1 2 = (2n + a 2 n . Si queremos que los operadores H+ y H mantengan invariante la norma de las funciones n entonces de las frmulas anteriores se deduce que n = 2n y o n = 2n + 2. As tenemos H+ n = 2n n1 , H n = 2n + 2 n+1 , n = 0, 1, 2, . . . . 2 2)n
Finalmente, usando que H+ 0 (x) = 0, 0 = 1, obtenemos las soluciones normalizadas x0 (x) + (x) = 0 0 y [H ]n 0 (x) = (2n)!!n (x), luego 1
1 4
2 1 0 (x) = ex /2 , 4
n (x) =
(2n)!!
[H ]n ex
/2
1
1 4
(2n)!!
[xI D]n ex
/2
Esta forma de resolver el problema del oscilador armnico cuntico es totalmente o a anloga a la del apartado 5.2.1. a
5.3.3.
El mtodo de factorizacin e o
En este apartado vamos a generalizar el ejemplo anterior a ecuaciones algo ms genea rales. Partiremos de la ecuacin diferencial lineal de segundo orden (de Sturm-Liouville) o y (x) + r(x, m)y(x) + y(x) = 0, m = 0, 1, 2, . . . (5.3.10)
5.3. El mtodo de factorizacion de Schrodinger e o, equivalentemente14 , Hm y(x, m, ) = y(x, m, ), Hm := D2 r(x, m)I.
97
(5.3.11)
La funcin r(x, m) se suele denominar funcin potencial y a Hm , hamiltoniano. Aqu m o o es un parmetro y es el correspondiente autovalor. En adelante asumiremos que y m a son independientes. Denicin 5.3.1 Diremos que la ecuacin diferencial ordinaria (EDO) (5.3.10) es faco o torizable si la podemos cambiar por cada una de las siguientes ecuaciones
m+1 m+1 H+ H y(x, , m) = [ L(m + 1)]y(x, , m), m m H H+ y(x, , m) = [ L(m)]y(x, , m),
(5.3.12) (5.3.13)
donde L(m) son ciertas constantes y

m H = k(x, m)I
d , dx
m H+ = k(x, m)I +
d . dx
(5.3.14)
m Los operadores H se conocen como operadores escalera. Ntese adems que ambos o a m operadores H son de orden 1.
Teorema 5.3.2 Si y(x, , m) es solucin de y (x) + r(x, m)y(x) + y(x) = 0, entonces o

m+1 H y(x, , m) = (, m)y(x, , m + 1), m H+ y(x, , m) = (, m)y(x, , m 1). m+1 a (5.3.12), obtenemos Demostracin: Aplicando H o m+1 m+1 m+1 m+1 H H+ [H y(, m)] = [ L(m + 1)][H y(, m)],
(5.3.15) (5.3.16)
y comparando el resultado con (5.3.13) deducimos (5.3.15). Anlogamente, si aplicamos a m+1 H+ a (5.3.13), obtenemos
m m m m H+ H [H+ y(, m)] = [ L(m)][H y(, m)],
que al compararlo con (5.3.12), nos conduce a (5.3.16). En adelante, denotaremos m := (, m), m := (, m).
Como en el caso del oscilador armnico vamos a considerar el conjunto de las funo ciones (x) tales que (a) = (b) = 0 (a, b R ) y en dicho espacio deniremos el producto escalar
b
, =
a
(x)(x)dx.
14 Hemos decidido mantener en la medida de lo posible la notacin original de [10], por lo que aqu Hm o d2 denota al operador dx2 + r(x, m)I, y no a la potencia m-sima de H. e
98
m m Teorema 5.3.3 Los operadores H+ y H son adjuntos entre s, i.e., m H , = b a m H dx = b a m m H+ dx = , H+
(5.3.17)
m m Demostracin: Ante todo notemos que si k(x, m) es una funcin real entonces H = H . o o En adelante asumiremos que k(x, m) es real. Entonces b a m (x)H (x)dx = a b b
(x)k(x, m)(x)dx
b
(x) (x)dx
a b a b
=
a
(x)k(x, m)(x)dx (x)(x) +

a b b a
(x)(x)dx
=
a
(k(x, m) + D)(x)(x)dx =
m H+ (x)(x)dx,
m m es decir H , = , H+ .
2
m
Ntese tambin que el hamiltoniano H o e de las expresiones
es un operador autoadjunto. Ello se deduce
m+1 m+1 m m Hm = H+ H + L(m + 1)I = H H+ + L(m)I
o directamente de (5.3.11). Adems, como es autoadjunto, entonces sus autovalores son a reales y las autofunciones correspondientes a diferentes autovalores son ortogonales. El objetivo fundamental del mtodo es poder resolver EDOs de una forma sencilla y e razonable obteniendo soluciones buenas. As ser deseable que si partisemos de una , a e m+1 m funcin y(x, , m) de cuadrado integrable las operaciones H y(x, , m) y H+ y(x, , m) o dieran como resultado funciones de cuadrado integrable. Esta condicin la asumiremos (su demostracin es bastante engorrosa), no obstante o o en los ejemplos veremos fcilmente que se cumple, es decir que partiendo de una y(x, , m) a de cuadrado integrable y(x, , m1) tambin lo ser. Adems, nos restringiremos a EDOs e a a cuyos coecientes tienen singularidades a lo sumo en el extremo del intervalo (a, b) lo cual reduce el anlisis de la integrabilidad cuadrtica de las soluciones a su comportamiento a a en dichos extremos. Teorema 5.3.4 (Clase I) Sea L(m) una funcin creciente en 0 < m M (M puede o ser +), m Z y supongamos que mx[L(M ), L(M + 1)]. a Entonces para que la EDO y (x) + r(x, m)y(x) + y(x) = 0 tenga una sucesin de o soluciones integrables es necesario que exista un l N tal que = l = L(l + 1).
l Adems para ese l, y denotando ym (x) := y(x, L(l + 1), m) tenemos a l+1 l H yl (x) = 0 l yl (x) = e R k(x,l+1)dx
5.3. El mtodo de factorizacion de Schrodinger e y, entonces para m = 0, 1, . . . , l 1, l,

m l H+ ym (x) = l L(l + 1) L(m) ym1 (x),
99
(5.3.18)
y, por tanto,
l l ym (x) = k=m+1
1 L(l + 1) L(k)
m+1 m+2 l l H+ H+ H+ yl (x),
m < l.
(5.3.19)
l l Ntese que, si yl = 1, entonces las funciones ym son ortonormales. o
Demostracin: Asumamos que y(x, , m) es de cuadrado integrable en (a, b). Entonces, o y(x, , m + 1) tambin lo ser. En efecto como e a
m+1 H y(x, , m) = m y(x, , m + 1),
tenemos
b a
[y(x, , m + 1)]2 dx =2 m
b a
m+1 [H y(x, , m)]2 dx b a m+1 m+1 y(x, , m)H+ H y(x, , m)]dx b
= 2 m = Luego para l > m,

b a
L(m + 1) 2 m
[y(x, , m)]2 dx.

a
[y(x, , l + 1)]2 dx =
L(l + 1) L(m + 1) 2 2 m m
b a
[y(x, , m)]2 dx.
Ahora bien, como L(m) es creciente entonces existir un l tal que L(l + 1) > , lo cual a implica que = L(l + 1) o y(x, , l + 1) 0. En caso que y(x, , l + 1) 0, usando (5.3.15) tenemos l+1 H y(x, , l) = 0, y por tanto, asumiendo que y(x, , l) = 0, (5.3.12) nos da
l+1 l+1 H+ H y(x, , l) = [ L(l + 1)] y(x, , l) =0 =0
L(l + 1) = 0.
m+1 Adems, si queremos que el operador H a mantenga la normalizacin entonces m o = L(l + 1) L(m + 1). De forma anloga pero usando (5.3.16) y (5.3.13) tenemos que a
y(x, , m 1)
L(m) y(x, , m) 2 m L(l + 1) L(m).
L(l + 1) L(m) y(x, , m) 2 , 2 m
de donde se sigue que m =
l As pues, denotando por ym (x) := y(x, L(l + 1), m) tenemos que (5.3.15) se trans forma en m+1 l l (5.3.20) H ym (x) = L(l + 1) L(m + 1) ym+1 (x), m < l,
100 y, en particular,
l+1 l H yl (x) = 0,
as que usando (5.3.16)

m l H+ ym (x) = l L(l + 1) L(m) ym1 (x),
(5.3.21) 2
de donde, por induccin se deduce (5.3.19). o De forma totalmente anloga se tiene el siguiente a
Teorema 5.3.5 (Clase II) Sea L(m) una funcin decreciente en 0 m M (M o puede ser +, m Z y supongamos que L(0). Entonces para que la EDO y (x) + r(x, m)y(x) + y(x) = 0 tenga una sucesin de soluciones integrables es necesario que o exista un l N tal que := l = L(l),
l Adems, denotando por ym (x) := y(x, L(l), m), tenemos a m l H+ ym (x) = l L(l) L(m) ym1 (x), l yl (x) = e R k(x,l)dx
(5.3.22)
y, en particular,
l l H+ yl (x) = 0
Adems, para m = l, l + 1, . . . tenemos a

m+1 l H ym (x) = l L(l) L(m + 1) ym+1 (x),
(5.3.23)
y por tanto,
m1 l ym (x) = k=l
1 L(l) L(k + 1)
l+1 l m m1 H H H yl (x),
m > l.
(5.3.24)
La demostracin es anloga y la omitiremos. o a Veamos ahora bajo que condiciones podemos factorizar la ecuacin (5.3.10). o Partimos de la expresin (5.3.12) o (k(x, m + 1) + D)(k(x, m + 1) D)y(x) = [ L(m + 1)]y(x)
2
k (x, m + 1)y(x) + k (x, m + 1)y(x) y (x) = [ L(m + 1)]y(x).
(k(x, m + 1) + D)(k(x, m + 1)y(x) y (x)) = [ L(m + 1)]y(x)
Si eliminamos y usando la ecuacin diferencial (5.3.10) y cambiamos m por m 1 o obtenemos k 2 (x, m) + k (x, m) + L(m) = r(x, m 1). (5.3.25) Si ahora usamos (5.3.13) (k(x, m) D)(k(x, m) + D)y(x) = [ L(m)]y(x) (k(x, m) D)(k(x, m)y(x) + y (x)) = [ L(m)]y(x)
k 2 (x, m)y(x) k (x, m)y(x) y (x) = [ L(m)]y(x),
5.3. El mtodo de factorizacion de Schrodinger e y nuevamente eliminamos y usando la ecuacin diferencial (5.3.10) obtenemos o k 2 (x, m) k (x, m) + L(m) = r(x, m). Restando y sumando (5.3.25) y (5.3.26) obtenemos, respectivamente L(m) = r(x, m) + r(x, m 1) k 2 (x, m), 2
101
(5.3.26)
r(x, m) r(x, m 1) . 2 Derivando la primera de las expresiones respecto a x y sustituyendo el resultado en la segunda deducimos que15 k (x, m) = k(x, m) = r (x, m) + r (x, m 1) . 2(r(x, m) r(x, m 1))
Ahora bien, para que la EDO (5.3.10) sea factorizable L(m) ha de ser independiente de x. As pues hemos probado el siguiente Teorema 5.3.6 La EDO y (x) + r(x, m)y(x) + y(x) = 0 es factorizable en el sentido de la denicin 5.3.1 si y slo si o o k(x, m) = y L(m) = es independiente de x. r(x, m) + r(x, m 1) k 2 (x, m), 2 (5.3.28) r (x, m) + r (x, m 1) , 2(r(x, m) r(x, m 1)) (5.3.27)
5.3.4.
Ejemplos
Antes de pasar a ver algunos ejemplos debemos destacar que el mtodo descrito e es vlido para una gran cantidad de ecuaciones diferenciales. Es fcil comprobar que si a a tenemos la EDO dz(t) d p(t) + q(t)z(t) + (t)z(t) = 0, dt dt entonces el cambio y(x) =
4
p(t)(t)z(t),
dx =
(t) dt p(t)
la transforma en una ecuacin del tipo (5.3.10) o y (x) + r(x, m)y(x) + y(x) = 0. En el razonamiento anterior se supone que p(x)(x) 0 en el intervalo a considerar.
15 Ntese o
que si r(x, m) es una funcin real, entonces k(x, m) tambin lo ser. o e a
102
Los armnicos esfricos o e

l Comenzaremos por los armnicos esfricos Ym (). Estos satisfacen la ecuacin o e o
1 sen
d d
sen
dY d
m2 Y + Y = 0, sen2
0 .
Hacemos el cambio y(x) = (5.3.10) y por tanto k(x, m) = m 1 2
sen Y (), x = y obtenemos la forma cannica o

1 = + 4,
m2 1 4 y + y = 0, sen2 x
cot ,
L(m) = m(m 1) +
1 = 4
1 2
Como L(m) es creciente tenemos el caso I, as que el teorema 5.3.4 nos da =+ 1 = L(l + 1) 4 = l(l + 1), l = 0, 1, 2, . . . , m = 0, 1, 2, . . . , l.
Usando (5.3.20) tenemos

l+1 l H yl () = 0
l+
1 2
cot
d y l () = 0 d l
l yl () = C senl+1/2 . l Calculamos C para que yl = 1:
1 = C2
0
sen2l+1 d = C 2
2l+1 l! , (2l + 1)!!
luego
l yl () =
(2l + 1)!! senl+1/2 . 2l+1 l!
Finalmente, como L(l + 1) L(m) = (l + m)(l m + 1) y L(l + 1) L(m + 1) = (l m)(l + m + 1), entonces (5.3.20) y (5.3.21) nos dan m m respectivamente. 1 2 1 2 cot cot + d y l () = d m d y l () = d m
l (l m)(l + m + 1) ym+1 (),
l (l + m)(l m + 1) ym1 (),
5.3. El mtodo de factorizacion de Schrodinger e Potencial de Poschl-Teller 1 Sea y + 2 (m + g)(m + g + 1) 2 (m g)(m g 1) sen2 (x x0 ) cos2 (x x0 ) y + y = 0,
103
con x (x0 , x0 + /(2)). Entonces el teorema 5.3.6 nos da k(x, m) =2 g + m cos 2 (x x0 ) csc 2 (x x0 ) = (g + m) cot (x x0 ) + (g m) tan (x x0 ) , L(m) = 4 m2 2 . Al ser L(m) creciente usamos el teorema 5.3.4 y por tanto = 42 (l + 1)2 , En este caso
l+1 l H yl (x) = 0 l yl (x)
l = 0, 1, 2, . . . ,
m = 0, 1, 2, . . . , l.
= C cos
lg+1
l [k(x, l + 1) D] yl (x) = 0
l Calculamos C para que yl = 116
(x x0 ) sen
l+g+1
(x x0 ) .
1 =C
r0 + 2
r0
cos2(lg+1) (x x0 ) sen2(l+g+1) (x x0 ) dx
3 (l g + 3 )(l + g + 2 ) 2 =C 2 . 2(2 + +3)
luego
l yl (x) =
2(2l + 3) lg+1 (x x0 ) senl+g+1 (x x0 ) . 3 cos (l g + 3 )(l + g + 2 ) 2 L(l + 1) L(m + 1) = 42 (l m) (l + m + 2) , L(l + 1) L(m) = 42 (l m + 1) (l + m + 1) ,
Finalmente, como
entonces (5.3.20) y (5.3.21) nos conducen a las expresiones k(x, m + 1) k(x, m) + respectivamente.
16 Hemos
d dx
l l ym (x) = 2 (l m) (l + m + 2) ym+1 (x),
0 m l, 0 m l,
d dx
l l ym (x) = 2 (l m + 1) (l + m + 1) ym1 (x),
usado que Z
cosa x senb x dx =
( a+1 )( b+1 ) 2 2 2( a+b+2 ) 2
a > 1, b > 1.
104
Potencial de Poschl-Teller 2 Sea y + 2 (m + g)(m + g + 1) 2 (m g)(m g + 1) + senh2 (x x0 ) cosh2 (x x0 ) y + y = 0,
con x (r0 , ). Entonces el teorema 5.3.6 nos da k(x, m) =2 g + m cosh 2 (x x0 ) csch 2 (x x0 ) L(m) = 4 m2 2 . Al ser L(m) decreciente usamos el teorema (5.3.5) y por tanto = 42 l2 , En este caso
l l H+ yl (x) = 0
= (g + m) coth (x x0 ) + (m g) tanh (x x0 )
l = 0, 1, 2, . . . ,
m = l, l + 1, l + 2, . . . .
y por tanto17 para todo g <

l yl (x) =
1 2
l [k(x, l) + D] yl (x) = 0
2(l g + 1 ) 2 coshgl (x x0 ) senhlg (x x0 ) . 1 (l g + 2 )(2l) L(l) L(m) = 42 (m l) (m + l) ,
Finalmente, como L(l) L(m + 1) = 42 (m + 1 l) (l + m + 1) , entonces (5.3.20) y (5.3.21) nos dan k(x, m + 1) d dx
l l ym (x) = 2 (m + 1 l) (l + m + 1) ym+1 (x),
m l,
k(x, m) + respectivamente. Potencial de Morse Sea ahora la ecuacin o
d dx
l l ym (x) = 2 (m l) (m + l) ym1 (x),
y + ae2u + beu y + y = 0,
a, b C,
0 u < +.
1 2
Si hacemos el cambio u = x + de forma que e2 a = 1/4, m = be

17 Hemos
obtenemos
usado que Z ( a+b )( b+1 ) 2 2 , cosha x senhb x dx = 2( 1a ) 0 2
b > 1, a + b < 0.
5.3. El mtodo de factorizacion de Schrodinger e
105
1 y + 4 e2x + m +
1 2
ex y + y = 0,
con x R. Entonces el teorema 5.3.6 nos da k(x, m) = ex + m, 2 L(m) = m2 .
Al ser L(m) decreciente usamos el teorema 5.3.5 y por tanto = l2 , En este caso
l l H+ yl (x) = 0
l = 1, 2, . . . ,
m = l, l + 1, l + 2, . . . .
y por tanto18
l [k(x, l) + D] yl (x) = 0
l yl (x) =
1 eexp(x)/2lx . (2l)
Finalmente, como L(l) L(m) = (m l) (m + l) , L(l) L(m + 1) = (m + 1 l) (l + m + 1) , entonces usando (5.3.20) y (5.3.21) tenemos d ex +m+1 2 dx ex d +m+ 2 dx
l ym (x) = l (m + 1 l) (l + m + 1) ym+1 (x), l (m l) (m + l) ym1 (x),
m l,
l ym (x) =
m l,
respectivamente. La ecuacin de Whittaker & Watson o Sea 1 m+ W + + 4 z

1 2 1 4
+
x
+ z2
W = 0,
0 z < +.
Haciendo el cambio z = ex , W (z) = e 2 y obtenemos

1 y + 4 e2x + m + 1 2
ex y + y = 0,
que esencialmente la misma ecuacin diferencial del ejemplo anterior pero cambiando x o por x. Tambin corresponde al caso II con e k(x, m) =
18 Hemos
ex m, 2
L(m) = m2 ,
l > 0.
usado que
e exp(x)2lx dx = (2l),
106 as que
= l2 ,
l l H+ yl (x) = 0
l = 0, 1, 2, . . . ,
m = l, l + 1, l + 2, . . . ,
l yl (x) =
l [k(x, l) + D] yl (x) = 0
1 eexp(x)/2+lx . (2l)
Finalmente, (5.3.20) y (5.3.21) nos dan d ex m1 2 dx ex d m+ 2 dx respectivamente.

l ym (x) = l (m + 1 l) (l + m + 1) ym+1 (x),
m l,
l ym (x) =
l (m l) (m + l) ym1 (x),
m l,
La ecuacin de Bessel o Sea y

1 m2 4 y + y = 0, z2
z R.
Aplicando el teorema 5.3.6 tenemos k(x, m) = m 1 2 , x L(m) = 0.
Como L(m) es constante no podemos usar ninguno de nuestros resultados por lo que no tenemos ninguna expresin para . No obstante si podemos seguir usando las expresiones o (5.3.20) y (5.3.21) que en este caso dan m+ x m x
1 2
d dx d dx
ym (x) =
ym+1 (x), ym1 (x).
1 2
ym (x) =
Ambas expresiones dan sendas relaciones de recurrencia para las funciones de Bessel. Para resolver la ecuacin tenemos que usar el mtodo de Frobenius (ver e.g [4, 18]). o e La solucin general en este caso da o y(x) = x c1 Jm ( x) + c2 Ym ( x) ,
donde Jm (z) y Ym (z) son las funciones de Bessel de primera y segunda especie, respectivamente.
5.3. El mtodo de factorizacion de Schrodinger e El tomo de hidrgeno a o Sea la ecuacin radial de Schrdinger para el tomo de hidrgeno o o a o 2 m(m + 1) 2 R + R = 0, R + R + R r r r2 Si hacemos el cambio y(r) = rR(r), tenemos y + 2 m(m + 1) r r2 y + y = 0, r 0. r 0.
107
Aplicando el teorema 5.3.6 obtenemos k(r, m) = m 1 , r m L(m) = 1 . m2
Como L(m) crece tenemos el caso I. As , = En este caso

l+1 l H yl (r) = 0
1 , (l + 1)2
l = 0, 1, 2, . . . ,
m = 1, 2, . . . , l.
1 l+1 l D yl (r) = 0 r l+1

r
l yl (x) = Crl+1 e l+1 . l Calculamos C para que yl = 119 l yl (r) =

r 1 rl+1 e l+1 . (l + 1)l+3 (l + 1)
Finalmente, como L(l + 1) L(m + 1) = L(l + 1) L(m) = entonces de (5.3.20) y (5.3.21) obtenemos 1 d m+1 r m + 1 dr 1 d m + r m dr respectivamente.
19 Hemos
1 1 , 2 (m + 1) (l + 1)2 1 1 , 2 m (l + 1)2
l ym (r) =
1 1 y l (r), 2 (m + 1) (l + 1)2 m+1 1 1 y l (r), 2 m (l + 1)2 m1
1 m l,
l ym (r) =
1 m l,
usado que
x ex dx = ( + 1)1 ,
> 0,
> 1.
108
5.4.
Factorizacin de la EDO hipergeomtrica o e
En este apartado vamos a probar que la ecuacin hipergeomtrica (5.1.7) admite o e una factorizacin tipo Infeld-Hull. Vamos a seguir el trabajo de Lorente [11] o
5.4.1.
El hamiltoniano y los operadores escalera

n (s) = (s)/d2 Pn (x), n (5.4.1)
Sean las funciones Usando (5.1.22) y (5.1.7), obtenemos las expresiones n dn+1 dn1 n+1 (s) + n n1 (s) + (n x(s))n (s) = 0, dn dn (x) (x) + (x) (x) + (x)n (x) + n n (x) = 0, n n donde (x) = 1 ( (x) (x))2 1 ( ). 4 (x) 2 (5.4.2) (5.4.3)
En particular la EDO anterior induce a denir el siguiente operador H(x, n) orden 2 H(x, n) := (x)D2 + (x)D + [(x) + n ]I, H(x, n)n (x) = 0. (5.4.4)
En adelante diremos que H(x, n) es el hamiltoniano asociado a la EDO (5.1.7). Si ahora usamos las expresiones (5.1.34) y (5.1.35) obtenemos L+ (x, n)n (s) := [f (x, n) (x)D]n (x) = n donde L+ (x, n) = 2n dn+1 n+1 (x), 2n dn
(5.4.5)
n n (x) 1 + ( (x) (x)) I (x)D, n n 2

f (x,n)
(5.4.6)
y L (x, n)n (x) := [g(x, n) + (x)D]n (x) = n donde L (x, n) =
2n dn1 n1 (x), 2n dn
(5.4.7)
n n (x) 2n 1 + (x n ) ( (x) (x)) I + (x)D. n n 2n 2

g(x,n)
(5.4.8)
Los operadores anteriores L+ (x, n) y L (x, n) constituyen los operadores escalerade ascenso (raising) y descenso (lowering), respectivamente. Si usamos las expresiones expl citas de n y n (ver apartado 5.1.2) n = n + (n 1) 2 , n (x) = (x) + n (x),
5.4. Factorizacion de la EDO hipergeomtrica e y n = se comprueba que f (x, n 1) = g(x, n). Adems, para todos n, k N {0}, a
b a
109
nn1 (0) (n + 1)n (0) , n1 n (5.4.9)
n (x)[L+ (x, n)k (x)] dx =

a
[L (x, n)n (x)]k (x) dx,
en particular
b a b
n+1 (x)[L+ (x, n)n (x)] dx = n
2n dn1 , 2n dn 2n+2 dn . 2n + 2 dn+1
[L (x, n + 1)n+1 (x)]n (x) dx, = n+1

a
De lo anterior se sigue que L+ y L son el adjunto el uno del otro respecto al producto escalar20
b
, =
a
(x)(x) dx.
Ntese que el operador H(x, n) es autoadjunto. o
5.4.2.
Factorizacin de H(x, n) o
L (x, n + 1)L+ (x, n) =g(x, n + 1)f (x, n)I + (x) [f (x, n) g(x, n + 1)] D
=0
Si ahora calculamos
+ (x)[f (x, n) (x)D (x)D2 ] o, equivalentemente, L (x, n + 1)L+ (x, n) = [g(x, n + 1)f (x, n) + (x)(f (x, n) + (x) + n )] I (x)H(x, n). Ahora bien, g(x, n + 1)f (x, n) + (x)(f (x, n) + (x) + n ) =
(n + 1) + n1 (0) 2 (0) (0) + 2(0)n n (0) ( + n ) 4n 2 2 2 2
no depende de x. Dicha cantidad la denotaremos por n . Adems, si aplicamos el operador a L (x, n + 1)L+ (x, n) = n I (x)H(x, n)
20 Estamos usando que las funciones ( ) n n son una base ortonormal completa del espacio de las funciones de cuadrado integrable y que n (a) = 0.
110
a n (x) y usamos (5.4.5), (5.4.7) y (5.4.4) obtenemos la expresin o n = Anlogamente se tiene a L+ (x, n 1)L (x, n) =g(x, n)f (x, n 1)I + (x) [f (x, n 1) g(x, n)] D
=0
2n 2n+2 n n+1 . 2n 2n + 2
(x)[g (x, n) + (x)D + (x)D ] o, equivalentemente, L+ (x, n 1)L (x, n) = [g(x, n)f (x, n 1) (x)(g (x, n) (x) n )] I (x)H(x, n). Ahora bien, como antes, g(x, n)f (x, n 1) (x)(g (x, n) (x) n ) =
n + n2
2 (0)2 2 (0) (0) + 2(0)n1 (n1) (0) + n1 4n1 2
no depende de x. Ntese que la expresin anterior coincide con n1 . Otra forma de o o comprobarlo es aplicar el operador L+ (x, n 1)L (x, n) = M (n)I (x)H(x, n) a n (x) y usar, como antes (5.4.5), (5.4.7) y (5.4.4). Lo anterior nos conduce a la expresin o M (n) = 2n 2n2 n1 n = n1 . 2n 2n 2
As hemos probado el siguiente , Teorema 5.4.1 Para la ecuacin hipergeomtrica (5.1.7), haciendo el cambio (5.4.1), o e se obtiene la ecuacin (5.4.4), para la cual se cumple la siguiente factorizacin del tipo o o Infeld y Hull L+ (x, n 1)L (x, n) = n1 I (x)H(x, n), L (x, n + 1)L+ (x, n) = n I (x)H(x, n), (5.4.10)
donde los operadores L+ (x, n) y L (x, n) son los operadores de ascenso (raising) y descenso (lowering), respectivamente denidos por L+ (x, n) = f (x, n)I (x)D, f (x, n) = Adems, a
L+ n (x) = n n n+1 n+1 (x), L n (x) = n n1 n n1 (x).
L (x, n) = f (x, n 1)I + (x)D,
n n (x) 1 + ( (x) (x)) n n 2
5.4. Factorizacion de la EDO hipergeomtrica e y, por tanto, L (x, 0)0 (x) = 0 n (x) = 1 0 (x) = N0 exp
+
111
f (x, n 1)dx ,
= 1,
L n1 k=0 (k k k+1 )
(x, n 1) L+ (x, 1)L+ (x, 0)0 (x),
n 1.
5.4.3.
Ejemplos
Como ejemplo consideraremos el caso correspondiente a los polinomios de Hermite y Laguerre. Caso Hermite En el primer caso como (x) = 1 y (x) = 2x tenemos21 n (x) = 2n/2 x2 /2 Hn (x), e n! n = 2n,
H(x, n) = D2 + (1 x2 + n )I, entonces f (x, n) = g(x, n) = x, luego L+ (x, n)n (x) = (xI D)n (x) = De lo anterior se sigue
2 1 0 (x) = ex /2 , 4
2(n + 1) n+1 (x), L (x, n)n (x) = (xI + D)n (x) = 2n n1 (x).
2 1 n (x) = (xI D)n ex /2 . 4 n n! 2
Finalmente L+ (x, n 1)L (x, n) = 2nI H(x, n), Caso Laguerre En este caso (x) = x y (x) = x + + 1 tenemos H(x, n) = xD2 + D + y22 n (x) =
21 Estamos 22 Estamos
L (x, n + 1)L+ (x, n) = (2n + 2)I H(x, n).
1 (x ) n 2 4x 1
I,
n = n,
n!( + n + 1)
ex/2 x/2 L (x) n
usando polinomios mnicos de Hermite. o usando polinomios mnicos de Laguerre. o
112 Entonces f (x, n) = L+ (x, n)n (x) =
+x 2 2n , 2
g(x, n) =
x 2n 2
x 2 2n I xD n (x) = 2 x 2n I + xD n (x) = 2
(n + 1)(n + + 1) n+1 (x), n(n + ) n1 (x).
L (x, n)n (x) = De lo anterior se sigue
0 (x) = n (x) = Finalmente 1 n!( + n + 1)
1 ex/2 x/2 , ( + 1)
L+ (x, n 1) L+ (x, 1)L+ (x, 0)ex/2 x/2 .
L+ (x, n 1)L (x, n) = (n)(n + )I H(x, n), L (x, n + 1)L+ (x, n) = (n + 1)(n + 1 + )I H(x, n).
5.5.
Problemas
Problema 5.5.1 Prueba la relacin de ortogonalidad (5.1.20) y calcula una expresin o o (k) para la norma de las derivadas Pn . Problema 5.5.2 Calcula todas las caractersticas de los polinomios clsicos que aparecen a en la tabla 5.2. Problema 5.5.3 Prueba que los polinomios ortogonales mnicos Pn , soluciones de la o ecuacin (5.1.7), satisfacen la siguiente relacin de estructura o o Pn (x) = Qn + n Qn1 + n Qn2 , (5.5.1)
donde Qn (x) Pn+1 (x)/(n + 1). Encuentra una expresin de los coecientes en funcin o o de los coecientes calculados en el apartado 5.1.2.
Problema 5.5.4 Probar que para los polinomios clsicos se tienen las siguientes idena tidades. tx 2 (1)n e 1t 2n , (5.5.2) Hn (x)tn = e2xtt , Ln (x)tn = n! n! (1 t)+1 n=0 n=0 2+ (1)n ( + + 1)n , , Pn (x)tn = n! R(1 2t + R) (1 + 2t + R) n=0 con R = 1 + 4t(t + x).
(5.5.3)
5.5. Problemas Problema 5.5.5 Sea la ecuacin de Schrdinger estacionaria unidimensional o o

2
113
2m
U0 = E, cosh2 (x)
x R,
con E < 0. Hacer el cambio s = tanh x y obtener la EDO 2s 2 (1 s2 ) 2 + , 2 1s (1 s2 )2 2 = 2mE 2 2mU0 , = 2 2, 2 2 , > 0.
Resuelve la EDO anterior y calcula las soluciones estacionarias de la ecuacin. El poo tencial anterior se conoce como potencial de Posch-Teller y modeliza la interaccin moo lecular. Problema 5.5.6 Resolver la ecuacin de Schrdinger tridimensional o o
2
2m
+ D(e2x 2ex ) = E,
x=
r r0 . r0
2mDr 2
0 . Resuelve Pasa a unidades adimensionales y haz el cambio y = 2 ex donde 2 = 2 primero el caso l = 0. El potencial anterior se conoce como potencial de Morse y tambin e modeliza la interaccin molecular. o
Problema 5.5.7 Para el atomo de hidrgeno calcula el valor medio de la posicin del o o electrn en el estado denido por los valores n, l y m r n,l,m = Rn l |r|Rn l . Prueba que o si n = l = 0, entonces r 0,0,0 = a0 = 2 /(2). Prueba adems que en el estado denido a por los valores n, l y m la media de la energa potencial V (r) es la mitad de la energa total En,l . Calcula r
n,l,m n,l,m
= Rn l |V (r)|Rn l
y V (r)
n,l,m
para el oscilador armnico tridimensional. o
Problema 5.5.8 La ecuacin de Klein-Gordon o KG + EKG + r

2
1 KG = 0,
se puede resolver usando el mtodo de separacin de variables obtenindose para sus solue o e ciones la expresin KG (r, , ) = R(r)r1 Yl,m (, ), siendo Yl,m los armnicos esfricos o o e y R(r) las soluciones de R + E+ r
2
l(l + 1) R = 0. r2
Demuestra usando el mtodo descrito al nal de captulo que las soluciones se expresan e mediante la frmula o R(x) = Nl,n e 2 r+1 L2+1 (2ar) , n
r
1 = + 2
l+
1 2
2 ,
donde L son los polinomios de Laguerre y determina el factor de normalizacin Nl,n . o n
114
Problema 5.5.9 Aplica el mtodo de factorizacin de Schrdinger para resolver las sie o o guientes EDOs 1. Los esfricos armnicos generalizados, denidos por la expresin y() = sen () e o o donde y satisface la EDO y (m + )(m + 1) y + ( + 2 )y = 0. sen2
2. La ecuacin de onda para una peonza simtrica. La funcin de onda (, , ) = o e o 1 ()eiK eiM , donde la funcin es tal que y() = sen 2 (), e y satisface la o EDO y
1 1 (M 2 )(M + 2 ) + K 2 2M K cos 1 y + + K2 + sen2 4
y = 0.
3. La parte radial de la ecuacin de Schrdinger para s osciladores de Plank unidio o mensionales + donde r2 = EDO n(n + s 2) s1 + r2 + = 0, r r2
s k=1
n = 0, 1, 2, . . . ,
x2 . Si hacemos el cambio (r) = r(1s)/2 y(r), y satisface la k (n +

s 2 1 2 )(n + r2 s 2 3 2)
+ r2 y + y = 0.
4. El problema de Kepler generalizado. En este caso R satisface la EDO 2 (l + )(l + + 1) 2 y + y = 0, R + R + R r r r2 r 0, = 1 . (n + )2
Problema 5.5.10 Usando el mtodo de factorizacin del apartado 5.4 obtn las solue o e ciones para el caso de los polinomios de Legendre, Gegenbauer y Jacobi.
Bibliograf a
[1] R. Alvarez-Nodarse, Polinomios hipergemtricos y q-polinomios. Monograf del e as Seminario Matemtico Garc de Galdeano Vol. 26. Prensas Universitarias de a a Zaragoza, Zaragoza, 2003. [2] G. Auletta, Foundations and interpretation of quantum mechanics. In the light of a critical-historical analysis of the problems and of a synthesis of the results. World Scientic Publishing Co., Inc., River Edge, NJ, 2000. [3] J-L. Basdevant, J. Dalibard, Quantum mechanics. Springer Verlagr, 2002. [4] M. Braun, Dierential Ecuations and their Applications. Springer Verlag, 1993. [5] S. Deligeorges (Ed.), El mundo cuntico, Alianza Universidad, 1985. a [6] P. V. El tin, V. D. Krivqenkov Kvantova Mehanika, Nauka 1975 [7] R. Feynman, R. B. Leighton y M. Sands, The Feynman Lectures on Physics. Vol. III. Mecnica Cuntica. Fondo Educativo Interamericano 1971. a a [8] R. Feynman, El carcter de la Ley fsica. Matemas 65, 2000. a [9] J. Gribbin, En busca del gato de Schrdinger. La fascinante historia de la Mecnica o a Cuntica. Biblioteca Cient a ca Salvat, 1994. [10] L. Infeld and T. E. Hull, The factorization method. Rev. Modern Physics 23 (1951), 2168. [11] M. Lorente, Raising and lowering operators, factorization method and dierential/dierence operators of hypergeometric type. J. Phys. A: Math. Gen. 34 (2001), 569-588. [12] A. Messiah, Mecnica Cuntica. Vol. I y II. Ed. Tecnos. (Hay una edicin inglesa a a o reciente Quamtum Mechanics, Dover, New York, 1999) [13] A. F. Nikiforov y V. B. Uvarov, Special Functions of Mathematical Physics. Birkhuser Verlag, Basilea, 1988. a [14] E. Prugovecki, Quantum Mechanics in Hilbert space. Academic Press, New York, 1971. [15] H. Rechenberg, Quanta and Quantum Mechanics, Twentieth century physics. Vol. I, 143248, Inst. Phys., Bristol, 1995. 115
116 [16] I. V. Savliev, Curso de fsica general. Mir, Mosc , 1989. e u
BIBLIOGRAF IA
[17] J. Schwinger, Quantum Kinematic and Dynamics, Frontiers in Physics. W.A. Benjamin Inc. Publishers. 1970. [18] G. F. Simmons, Ecuaciones diferenciales: con aplicaciones y notas histricas. o McGraw-Hill, 1993. [19] A. A. Sokolov, I. M. Ternov, V. Ch. Zhukovskii, Quantum Mechanics. Mir, Mosc , u 1994. [20] Una historia interactiva de la Mecnica a http://library.thinkquest.org/C005775/ Cuntica a en la WWW:
[21] Cuntica sin frmulas en la WWW: http://eltamiz.com/cuantica-sin-formulas/ a o
Anexo A: Breve introduccin o al anlisis funcional a

A.1. Introduccin: Estacios mtricos y espacios noro e mados
Denicin A.1.1 Un espacio mtrico es un par (X, r) donde X es un conjunto y r := r(x, y) o e es una funcin real (univaluada) no negativa denida para todos x, y, z X tal que o 1. r(x, y) = 0 x = y, 2. r(x, y) = r(y, x), 3. r(x, z) r(x, y) + r(y, z). Normalmente se dice que X es el espacio y r su mtrica. e Por ejemplo, el espacio X = Rn de las n-tuplas x = (x1 , x2 , . . . , xn ) con la mtrica e !1/p n X |xk yk |p , p 1, r(x, y) =
k=1
es un espacio mtrico. Otro ejemplo de especial importancia es el espacio de todas las sucesiones e P reales (o complejas) x = (x1 , x2 , . . . , xn , . . .) tales que |xk |p < + con la mtrica e k=1 r(x, y) =
X
|xk yk |p
k=1
!1/p
p 1.
Dicho espacio lo denotaremos por lp . Un caso particular de estos espacios corresponde al caso p = 2 que conduce al espacio mtrico l2 de Hilbert. e Como ultimo ejemplo consideraremos el espacio X = C[a,b] , es decir, el espacio de las funciones continuas denidas sobre el segmento [a, b]. Denamos en X la mtrica e (f, g) = Z
b a
|f (x) g(x)|p
1/p
p 1.
El par obtenido Cp ([a, b]) es un espacio mtrico. Como caso particular (de especial relevancia) e tenemos el caso p = 2, i.e., X = C[a,b] y r es la funcin o s Z b |f (x) g(x)|2 . (f, g) =
a
117
118
Anexo: Breve introduccion al analisis funcional
El espacio L2 (a, b) de las (clase de equivalencia de las) funciones de cuadrado integrable en [a, b] que vimos el el cap tulo 3 es una generalizacin de este espacio. o Denicin A.1.2 Sea X un espacio mtrico, x0 X y r > 0. Deniremos la bola abierta o e B(x0 , r) al conjunto B(x0 , r) = {x X; r(x0 , x) < r}, bola o esfera cerrada S(x0 , r) al conjunto S(x0 , r) = {x X; r(x0 , x) r}. Denicin A.1.3 Se dice que el conjunto M X es abierto en X si todos sus puntos (eleo mentos) se pueden encerrar en una bola abierta contenida completamente en M . Un conjunto M X es cerrado en X si es su complementario en X, X\M es abierto. Las bolas abiertas B(x0 , ) se suelen denominar -vecindades (o entornos) de x0 . Es evidente que toda -vecindad de x0 contiene al propio x0 . Denicin A.1.4 Un punto x0 se denomina punto interior del conjunto M X si existe un o > 0 tal que B(x0 , ) M . De lo anterior se deduce que el conjunto M X es abierto si y slo si todos sus puntos son o interiores. Denicin A.1.5 Por aplicacin (operador) o funcin entenderemos una regla T que le hace o o o corresponder a cada elemento del subconjunto D(T ) X un unico elemento del espacio mtrico e Y. As T : X Y, y = T x o y = T (x), donde x D(T ) X e y Y. Al conjunto , D(T ) X se le denomina dominio de la aplicacin. Si a cada x D(T ) le corresponde un valor o y = T x Y diremos que T x es la imagen de x segn T . Al conjunto de todas las imgenes T x u a le denominaremos imagen de T y le denotaremos por I(T ). Denicin A.1.6 Una aplicacin T : D(T ) X Y se llama sobreyectiva si todo elementoy o o de Y es imagen de algn elemento x del dominio. Una funcin se llama inyectiva si todo elemento u o y de la imagen de T es imagen a lo sumo de uno y slo un elemento x del dominio. Una aplicacin o o inyectiva y sobreyectiva se denomina biyectiva. Es decir una aplicacin es sobreyectiva si, para todo y Y, la ecuacin T x = y tiene al o o menos una solucin, e inyectiva si la ecuacin anterior tiene o bien una unica solucin, o bien o o o no tiene solucin. As mismo, T es biyectiva si para todo y Y, la ecuacin T x = y tiene una y o o slo una solucin. o o Para las funciones inyectivas se puede denir la aplicacin inversa. o Denicin A.1.7 Sea T : D(T ) X Y una aplicacin inyectiva. Deniremos su aplicacin o o o inversa T 1 a la aplicacin T 1 : I(T ) Y D(T ) X tal que a cada elemento y I(T ) le o hace corresponder un unico x D(T ) tal que T x = y. Denicin A.1.8 La restriccin de una aplicacin T : D(T ) X Y a un subconjunto o o o B D(T ) es la aplicacin T |B que se obtiene de T cuando x se restringe al conjunto B D(T ). o Denicin A.1.9 La extensin de una aplicacin T : D(T ) X Y a un subconjunto o o o e e C D(T ) es la aplicacin T tal que T |D(T ) = T , i.e., T x = T x para todo x D(T ). o e
A.1. Introduccion: Estacios mtricos y espacios normados e
119
Denicin A.1.10 Una aplicacin T : D(T ) X Y es continua en x0 D(T ) si para todo o o > 0, existe un > 0 tal que x D(T ) con r(x, x0 ) < es tal que23 (T x, T x0 ) < . Se dice que T es continua en todo M D(T ) si T es continua en todo x M . Denicin A.1.11 La imagen inversa de y Y es el conjunto de todas las x D(T ) tales que o T x = y. La imagen inversa de un subconjunto N Y es el conjunto de todas las x D(T ) tales que T x = y para todos y M . La imagen inversa de un elemento y Y puede ser el conjunto vac un unico punto (elemento) o, de D(T ) o un subconjunto M D(T ). Proposicin A.1.12 Una aplicacin T : D(T ) X Y es continua si y slo si la imagen o o o inversa de cualquier subconjunto abierto (cerrado) de Y es un subconjunto abierto (cerrado) de X. Demostracin: Sea T continua y sea S Y un abierto. Sea S0 la imagen inversa de S. Si o S0 = la proposicin es trivial asi que asumiremos que S0 = . Sea x0 S0 cualquiera y sea o y0 = T x0 S su imagen. Como S es abierto existe una bola B(y0 , ) S. Pero T es continua as que existe una bola B(x0 , ) tal que T (B(x0 , )) B(y0 , ). Pero como B(y0 , ) S, entonces necesariamente B(x0 , ) S0 , luego x0 S0 es interior y en virtud de que x0 S0 es arbitrario, S0 es abierto. Sea T una aplicacin tal que imagen inversa de cualquier subconjunto abierto de Y es un o subconjunto abierto de X. Sea x0 S0 cualquiera e y0 = T x0 S. Sea B(y0 , ) S una bola de radio arbitrario. Sea S0 la imagen inversa de dicha bola B(y0 , ) que es un abierto. Entonces existe una bola B(x0 , ) S0 tal que T (B(x0 , )) B(y0 , ) S, i.e., T es continua en x0 . Como x0 era arbitrario, entonces T es continua en D(T ). 2 Denicin A.1.13 Sea M X. Diremos que x X es un punto de contacto (o adherente) de o M si en cualquier bola B(x, ), > 0 hay al menos un elemento de M . As mismo, diremos que x es un punto de acumulacin (o punto l o mite) de M si en cualquier bola B(x, ), > 0 hay al menos un elemento de M distinto de x, o equivalentemente, en cada bola B(x, ), > 0 hay innitos elementos de M . Un punto x se denomina aislado de M si existe una bola B(x, ), > 0 que no contiene ningn elemento M excepto el propio x. u Es fcil ver que si M solo contiene puntos aislados entonces M es cerrado (pues X\M es a abierto). De lo anterior se deduce adems que los puntos de contacto de M o bien son puntos a l mites, o bien son aislados. Denicin A.1.14 Dado un subconjunto M X, se denomina clausura de M al conjunto M o de los elementos de M y sus puntos de contacto. De lo anterior se sigue que M = M {conjunto de sus puntos l mites}. mite de Q (por Por ejemplo, si X = Q, entonces Q = R pues todo x R es un punto l qu?). e Proposicin A.1.15 Un subconjunto M X es cerrado si y slo si M = M . As como o o , M M , entonces M es el menor conjunto cerrado que contiene a M .
23 Aqu
r denota la mtrica de X y la de Y. e
120
Demostracin: Sea M cerrado. Como M M basta probar que M M . Como M es carrado, o entonces X \ M es abierto as que para todo x X \ M existe una bola B(x, r) completamente contenida en X \ M , i.e., B(x, r) no contiene puntos de M , luego x M , es decir, x X \ M , as que X \ M X \ M , i.e. M M . Asumamos que M = M . Probaremos que X \ M es abierto. Sea x M , entonces x M . Entonces x X \ M . Como x M entonces x no es un punto adherente de M as que debe existir al menos una bola B(x, r) que no contiene a ningn elemento de M , es decir x X \ M u es un punto interior del conjunto X \ M . Como x es arbitrario, X \ M es abierto luego M es cerrado. 2 Denicin A.1.16 Un subconjunto M X es acotado si su dimetro d(M ) = supx,yM r(x, y) o a es es nito. Denicin A.1.17 Dada una sucesin (xn )n de elementos de X, diremos que (xn )n es acotada o o si existe un subconjunto M X acotado tal que xn M para todo n N. Lo anterior es equivalente a que exista un x X y un nmero K > 0 tal que r(x, xn ) < K para u todo n N. Denicin A.1.18 Una sucesin (xn )n de elementos de X es convergente, y lo denotaremos o o por l n xn = x, si existe un x X tal que para todo > 0 existe un N N tal que para m todo n > N , r(x, xn ) < . En caso contrario diremos que (xn )n es divergente. Ntese que en la propia denicin de l o o mite est expl a cito que el l mite ha de ser un elemento de X. Por ejemplo, sea X el intervalo abierto (0, 1) con la mtrica habitual de R. La sucesin e o n xn = 1/(n + 1) no tiene l mite en X ya que claramente 1/(n + 1) 0 pero 0 (0, 1). Denicin A.1.19 Una sucesin (xn )n de elementos de X se denomina de Cauchy o fundao o mental si existe para todo > 0 existe un N N tal que para todo n > N y todo p N, r(xn , xn+p ) < . En R toda sucesin es convergente si y slo si es de Cauchy. Esta propiedad fundamental o o de R no es cierta para cualquier espacio mtrico X. Por ejemplo, si escogemos nuevamente X e como el intervalo abierto (0, 1) con la mtrica habitual de R, la sucesin xn = 1/(n + 1), que es e o de Cauchy (por qu?) no tiene l e mite en X. Denicin A.1.20 Un espacio mtrico X se denomina completo si y slo si toda sucesin de o e o o Cauchy de elementos de X converge (a un elemento de X). Por ejemplo, el espacio X = R con la mtrica usual de R, es completo. Tambin lo es X = C e e con la mtrica usual de C. Sin embargo Q, el conjunto de los nmeros racionales, es incompleto e u (por qu?), y el conjunto X = (0, 1) de antes tambin lo es. El espacio mtrico (de Hilbert) l2 e e e es completo no as el espacio C2 ([a, b]). Teorema A.1.21 Un subespacio M de un espacio mtrico completo X es completo si y slo si e o es cerrado en X. Demostracin: Sea M completo. Probaremos que M = M . Sea x M cualquiera, entonces o existe (por qu?) una sucesin de elementos de M que converge a x. Entonces (xn )n es de e o Cauchy (pues es convergente) pero M es completo, luego x M , i.e., M = M . o Sea M cerrado (i.e., M = M ) y (xn )n una sucesin de Cauchy en M . Entonces l n xn = x con x X (X es completo). Pero entonces x X es un punto de acumulam cin de M , i.e., x M y como M es cerrado x M , i.e., toda sucesin de Cauchy en M tiene o o l mite en M , i.e., M es completo. 2
A.1. Introduccion: Estacios mtricos y espacios normados e

Denicin A.1.22 Un subconjunto M X es denso en X si su clausura M = X. o
121
De la denicin anterior se inere que si M es denso X entonces cualquiera sea la bola B(x, ) o (por pequeo que sea > 0) siempre contiene puntos de M . En otras palabras, cualquiera sea n x X, siempre tiene elementos de M tan cerca como se quiera. Por ejemplo Q es denso en R pues como ya hemos visto Q = R. Denicin A.1.23 Un espacio mtrico X es separable si contiene un subespacio numerable24 o e M X denso en X. As pues, R es separable pues Q es numerable y denso en R. Usando la separabilidad de R se puede probar que l2 tambin es separable. e Denicin A.1.24 Un espacio mtrico X se denomina compacto si cualquier sucesin (xn )n o e o de elementos de X tiene una subsucesin convergente. o Entenderemos que M X es compacto si M es compacto como subconjunto de X, i.e., cualquier (xn )n de elementos de M tiene una subsucesin convergente en M . o Lema A.1.25 Si M X es compacto, entonces M es cerrado y acotado. Demostracin: Sea M compacto y sea x M cualquiera. Como x M entonces existe una o n sucesin (xn )n en M tal que xn x X. Como M es compacto, entonces x M , luego o M = M por lo que M es cerrado. Supongamos que M es no acotado. Entonces existe al menos una sucesin (xn )n de eleo mentos de M tal que, jado un b M arbitrario, se tiene que r(xn , b) > n (por qu?). Dicha e sucesin obviamente no puede tener ninguna subsucesin convergente (pues caso que la tuviera o o sta fuese acotada) y por tanto M no puede ser compacto. e 2 El rec proco es falso. Por ejemplo escojamos X = l2 y sea el conjunto M de los vectores ek = k,i , i.e., vectores que todas las coordenadas son cero excepto la k-sima que es 1. Obviamente e ek = 1. Adems todos los puntos de M son aislados (por qu?), por tanto M es cerrado. a e Ahora bien, como M solo tiene puntos aislados, M no tiene ningn punto de acumulacin por u o lo tanto ninguna sucesin que escojamos de elementos distintos de M contiene una subsucesin o o convergente. Denicin A.1.26 Un espacio vectorial X se denomina espacio normado si para todo x X o existe un nmero real denominado norma, y que denotaremos por x , que cumple con las u condiciones 1. Para todo x X, x 0 y si x = 0 entonces x = 0. 2. Para todo x X y R, x = || x , 3. Para todos x, y X se tiene la desigualdad triangular x+y x + y . (A.1.1)
24 Un conjunto M cualquiera se denomina numerable si se puede poner en correspondencia biun voca con N = {1, 2, 3, . . . }. Es decir, existe una correspondencia biun voca entre los elementos de M y los nmeros naturales. Por ejemplo, Q es numerable, pero R no lo es. u
122
Es evidente que si en un espacio normado X denimos la funcin r(x, y) = x y , esta satisface o los axiomas de la denicin A.1.1, i.e., todo espacio normado es un espacio mtrico. La funcin o e o r anterior se denomina mtrica inducida por la norma. e Denicin A.1.27 Un espacio normado completo (en la mtrica inducida por la norma) se o e denomina espacio de Banach. As el espacio l2 , de todas las sucesiones x = (x1 , x2 , . . . , xn , . . .) reales (o complejas) tales , `P P 2 1/2 , es un espacio de Banach, pero el que k=1 |xk |2 < + con la norma x = k=1 |xk | R 1/2 b espacio de las funciones continuas en [a, b] con la norma f = |f (x)|2 es un espacio a normado pero no de Banach (por qu?). e Est claro que todo espacio normado es un espacio mtrico con la mtrica inducida por la a e e norma, pero no a la inversa (construir un contra ejemplo como ejercicio). Obviamente en los espacios normados podemos denir la convergencia de sucesiones, sucesiones de Cauchy, etc.. Basta considerarlos como espacios mtricos con la mtrica r inducida e e por la norma: r(x, y) = x y . Consideremos ahora un caso particular de las aplicaciones introducidas en la denicin o A.1.5. Denicin A.1.28 Una aplicacin (operador) es lineal si o o 1. El dominio de T , D(T ), y la imagen de T , I(T ), son ambos espacios vectoriales sobre el mismo cuerpo K (R o Z). 2. , K, x, y D(T ), T (z + y) = T (x) + T (y).
Denicin A.1.29 Sean X e Y dos espacios normados y sea el operador T : D(T ) Y lineal. o T es acotado si existe c 0 tal que25 Tx c x , x D(T ). (A.1.2)
De lo anterior se sigue que si T es acotado, entonces para todo x = 0, Tx c, x x D(T ), x = 0. (A.1.3)
El menor valor de c para el cual (A.1.2) se cumple lo denotaremos por T y se denomina norma del operador lineal T . De hecho se tiene que T = sup
xX\{0}
Tx . x
(A.1.4)
Si T = 0 obviamente T = 0. Adems de (A.1.2), tomando a nmos en c obtenemos y X, Es fcil probar que T a

25 Se
Ty T y
Ty T
y .
es una norma, es decir se cumplen los axiomas de la denicin. o
sobrentiende que x es la norma en X y T x es en Y.
A.2. Espacios de Hilbert separables
123
Teorema A.1.30 Sea T : D(T ) X Y una aplicacin lineal de un espacio normado X a o otro espacio normado Y. Entonces 1. T es continuo si y slo si T es acotado. o 2. Si T es continuo en algn x0 D(T ), T es continuo en D(T ). u Demostracin: Asumiremos que T no es el operador nulo. o 1. Sea T acotado y sea x0 D(T ) cualquiera. Como T es lineal y acotado, entonces T x T x0 = T (x x0 ) T Entonces, para todo > 0, existe un = / T T x T x0 < , i.e., T es continuo en D(T ). x x0 .
> 0 tal que, para todo x con x x0 < ,
Sea T lineal y continuo en x0 D(T ) cualquiera. Entonces para todo > 0, existe un > 0 tal que, para todo x con x x0 < , T x T x0 < . Sea y = 0 en D(T ) cualquiera. Escojamos x tal que x = x0 + y 2 y = x x0 = y 2 y = x x0 < = T x T x0 < .
Adems, para dichos x tenemos, usando la linealidad de T , que a T x T x0 = T (x x0 ) = T y = 2 y 2 y Ty luego T es acotado.
Ty
2 y ,
2. Ntese que en la prueba anterior se prob que si T era continuo en un punto x0 D(T ), o o entonces era acotado en D(T ). Pero entonces por 1, al ser acotado en D(T ), es continuo en D(T ). 2 Finalmente concluiremos con una seccin sobre los espacios de Hilbert separables que como plementa los apartados 4.1 y 4.2.
A.2.
Espacios de Hilbert separables
Denicin A.2.1 Dado un vector x H deniremos la serie de Fourier respecto al sistema o ortonormal (n ) a la serie n=1 X cn n , (A.2.1) s :=
n=1
donde los coecientes vienen dados por las expresiones cn = x, n ,
n 1.
(A.2.2)
Teorema A.2.2 Sea H el subespacio lineal de H generado por los vectores 1 , 2 . . . , n , n N, i.e., H = span (1 , 2 . . . , n ). Entonces m ||x q||2 = ||x||2 n
qH n X
|ck |2
k=1
donde ck son los coecientes denidos en (A.2.2) y se alcanza cuando q es la suma parcial de la serie de Fourier (A.2.1) n X ck k . q = sn :=
k=1
124
Demostracin: Sea gn = o Pn
k=1

ak k . Calculamos
2
x gk , x gk = x
n X
c2 k k
k=1
n X
(ak ck )2 k
k=1
Obviamente la expresin anterior es m o nima si y slo si ak = ck para todo k N, i.e., gn = sn .2 o Ntese que o *
2
x sn
= x
n n X X | x, k |2 m , k = x + k 2 m 2 k=1 m=1
n n X x, k X x, k ,x k 2 k k k 2 k=1 k=1
= x
n X | x, k |2 2 = x k 2 k=1
n X | x, k |2 k 2 k=1 2
n X
(A.2.3)
2
|ck | .
k=1
Como corolario de lo anterior tenemos que I n = x sn luego

X 2
= x
n X
|ck |2 0,
n N,
k=1
|ck |2 x 2 ,
(A.2.4)
por lo que la serie
k=1
k=1
|ck |2 converge (por qu?) y por tanto e =

n
l |cn | = 0 m
l m x, k = l m k , x = 0.
n
(A.2.5)
La desigualdad (A.2.4) se conoce como desigualdad de Bessel. Ntese que una condicin o o necesaria y suciente para que la serie de Fourier (A.2.1) converja a x (en norma) es que x
2
|ck |2 =
k=1
| x, n |2 .
k=1
Esta igualdad se denomina comnmente igualdad de Parseval y es, en general, muy compliu cada de comprobar. Denicin A.2.3 Se dice que un sistema de vectores linealmente independientes (n )n es como pleto en X H si para todo vector x X H y cualquiera sea > 0 existe una combinacin o lineal n X k k tal que x ln < . ln =
k=1
En otras palabras cualquier vector x X H se puede aproximar en norma tanto como se quiera mediante alguna combinacin nita de vectores del sistema (n )n . Esta denicin es equivalente o o a decir que H es el menor subespacio vectorial cerrado que contiene al conjunto 1 , 2 , . . . ((n )n genera a todo H). Denicin A.2.4 Un sistema ortogonal (ortonormal) completo de X H se denomina base o ortogonal (ortonormal) de X H.
125
Por ejemplo, los sistemas (ek )k denidos por (A.2.6) y (A.2.7) son bases ortogonales completas de Cn y l2 , respectivamente e1 = (1, 0, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0), . . . , en = (0, 0, 0, . . . , 1), e1 = (1, 0, 0, 0, . . . ), e2 = (0, 1, 0, 0, . . . ), en = (0, 0, 1, 0 . . . ), . . . . (A.2.6) (A.2.7)
Teorema A.2.5 Sea H un espacio de Hilbert y sea el sistema ortonormal de vectores (n ) n=1 de H. Entonces las siguientes condiciones son equivalentes: 1. (n )n es completo en X H. X x, k k . 2. Para todo x X H, x =
k=1
3. Para todo x X H, se cumple la igualdad de Parseval x

2
| x, k |2 .
k=1
4. Si x, k = 0 para todo k N entonces x = 0. Demostracin: 1) 2) Cualquiera sea x H construimos la serie de Fourier (A.2.1) y sean o P sn = n ck k sus sumas parciales. Usando 1) y el teorema A.2.2 tenemos k=1 > 0, N N tal que x sN < . Pero como para todo n > N , x sn x sN (basta usar la identidad (A.2.3)), entonces para todo n > N , x sn , es decir, l n sn = x de donde se sigue 2). Obviamente 2) m implica 1) (por qu?). e 2)3) Tomando el l mite n en (A.2.3) y usando 2) (l n xsn = 0), se sigue 3). m 3)4) Si para todo k N x, k = 0, entonces de 3) se deduce que x = 0, luego x = 0. P 4)2) Por sencillez consideremos que el sistema (n )n es ortonormal. Sea yn = n ck k , k=1 P ck = x, k . Usando la desigualdad de Bessel (A.2.4) se sigue que la serie m=1 |cm |2 es una serie convergente y por tanto la cantidad
n+p
yn yn+p
k=n+1
|ck |2 ,
se puede hacer tan pequea como se quiera, i.e., la sucesin yn es de Cauchy, luego es convergente. n o Sea y su l mite. Probemos que y = x. Usando la desigualdad de Cauchy-Schwarz | y, k yn , k | = | y yn , k | yn y deducimos que l n yn , k = y, k para todo k N. Pero m yn , k =
n X j=1
k ,
x, j k , j = x, k ,
k n,
luego xyn , k = 0 para todo k n de donde, tomando n deducimos que xy, k = 0 para todo k N, luego por 4) x y = 0. 2
126
Nota A.2.6 La equivalencia entre 1 y 2, as como las implicaciones 2 3 4, son tambin e ciertas para espacios eucl deos cualesquiera (no necesariamente completos). A partir del apartado 4 del Teorema A.2.5 se sigue el siguiente corolario: Corolario A.2.7 Sea el sistema ortonormal completo (n )n y sean x, y X H tales que x, k = y, k para todo k N, entonces x = y. En otras palabras, dos elementos de H con iguales coecientes de Fourier son iguales, por tanto cualquier vector de H queda biun vocamente determinado por sus coecientes de Fourier. Denicin A.2.8 Se dice que un sistema ortonormal (n )n es cerrado en un espacio eucl o deo E si para todo vector x E se cumple la igualdad de Parseval
X
|ck |2 =
k=1
| x, k |2 = x 2 .
k=1
De la denicin anterior y el Teorema A.2.5 se sigue que un un sistema ortonormal (n )n o es completo en un espacio de Hilbert H si y slo si (n )n es cerrado en H. o Teorema A.2.9 Todo espacio de Hilbert H separable tiene una base ortonormal. Demostracin: Como H es separable, existe un conjunto numerable de vectores (n )n denso en o H. Si de dicho conjunto eliminamos aquellos vectores k que se pueden obtener como combinacin lineal de los anteriores j , j < k obtenemos un sistema completo de vectores linealmente o independientes de H. La base ortonormal se obtiene al aplicar a dicho sistema el proceso de ortogonalizacin de Gram-Schmidt. o 2 El teorema anterior se puede generalizar a cualquier espacio eucl deo separable. Teorema A.2.10 (Riesz-Fischer) Sea (n )n un sistema ortonormal en un espacio de Hilbert H y sean los nmeros c1 , c2 , . . . , cn , . . . tales que u
X
|cn |2 < +.
n=1
Entonces, existe un elemento x H cuyos coecientes de Fourier son precisamente los nmeros u c1 , c2 , . . . , cn , . . . , i.e., X |cn |2 = x 2 , cn = x, n .
n=1
Demostracin: Sea xn = k=1 ck k . Como vimos en la prueba del Teorema A.2.5 la sucesin o o n anterior es de Cauchy y como H es completo entonces xn x H. Probemos que entonces ck = x, k , k = 1, 2, . . . . Para ello notemos que x, k = xn , k + x xn , k . Pero entonces si n k, x xn , k = 0 y, por tanto, ck = x, k = xn , k , de donde se sigue, tomando el l mite n y usando la continuidad del producto escalar que para todo n k = 1, 2, 3, . . . , ck = x, k . Adems, como xn x, usando (A.2.3), se tiene que a x de donde se sigue el teorema.
2
Pn
n X
|ck |2 = x xn
2 n
0, 2
k=1
127
Denicin A.2.11 Una aplicacin U entre dos espacios de Hilbert H y H se denomina unio o taria si U es lineal, biyectiva y preserva el producto escalar, i.e.26 , x, y = U x, U y
= x , y .
Los espacios H y H son isomorfos si existe una aplicacin unitaria U : H H tal que x = U x, o donde x H y x H . Como consecuencia de los Teoremas A.2.5, A.2.9 y A.2.10 se tiene el siguiente resultado: Teorema A.2.12 (del isomorsmo) Cualquier espacio de Hilbert separable H es isomorfo a Cn o a l 2 . Demostracin: Como H es separable, en H existe una base ortonormal numerable (ver Teorema o A.2.9) que denotaremos por (n )nI , donde I es un conjunto numerable (nito o innito). Asumiremos que I es innito, (I = N) i.e., probaremos el caso cuando H es isomorfo a l2 (el caso nito es totalmente anP alogo). Sea x H y sea la aplicacin U : H l2 denida por o P x = U x = kI x, k ek = kI xk ek l2 , donde (en )n denota la base ortonormal cannica o de l2 que ya hemos visto antes. Esta claro que U es biun voco, pues dada cualquier sucesin o (xn )n de l2 por el Teorema de Riesz-Fischer existe un x H cuyos coecientes de Fourier coinciden con dichos valores xn y por el Corolario A.2.7 dicho elemento es unico. Adems, como a el producto escalar x, y es linear respecto al elemento de la izquierda (i.e., x), esta claro que U es lineal (probarlo como ejercicio). Finalmente, para probar que U es unitario usamos, por un lado, que + * X X X ym m = x k k , x k yk , x, y =
kI mI kI
y, por el otro, que el producto escalar en l2 viene dado por x , y sigue que x, y = x , y l2 .
l2
kI
xk yk , de donde se 2
Denicin A.2.13 Sea M H un subespacio27 cerrado del espacio de Hilbert H. Denominao remos complemento ortogonal de M , y lo denotaremos por M , al conjunto M = {x H; x, y = 0, y M }. Ntese que al ser M cerrado, es completo (pues H es completo, y todo subespacio M de o un espacio mtrico completo H es completo si y slo si es cerrado en H). e o Teorema A.2.14 Sea M H un subespacio cerrado del espacio de Hilbert H y M su complemento ortogonal. Entonces, todo vector x H admite una unica representacin de la forma o x = y + y donde y M e y M . Demostracin: Como H es separable y M es cerrado en H, entonces M es completo (recordemos o nuevamente que todo subespacio M de un espacio mtrico completo H es completo si y slo si e o es cerrado en H) y separable, i.e., M es a su vez un espacio de Hilbert separable por lo que P existe una base orthonormal completa (n )n de M . Denamos y = n x, n n . Obviamente y M . Denamos y = x y. Entonces, para todo n y , n = 0. Ahora bien, cualquiera sea P y M , y = n an n , luego y , y = 0, es decir y M . Luego cualquiera sea x H, existen y M y y M tales que x = y + y . Probemos que esta descomposicin es unica. Para o
26 Se 27 Se
entiende que , denota el producto escalar en H que no tiene por que ser el mismo que en H. entender, como el caso de los espacios normados que M es un subespacio lineal de H. a
128
ello supongamos que no, i.e., supongamos que existen un y M , y = y tal que x = y + y , y M (y obviamente distinta de y ). Entonces y , n = x y , n = x, n = y, n lo que es una contradiccin. o

y = y, 2
Si todo elemento de H se puede escribir en la forma x = y + y donde y M e y M , entonces se dice que M es suma directa de M y M y se escribe como H = M M . Es fcil a ver que la nocin de suma directa se puede extender al caso de un nmero nito o contable de o u subespacios M1 , M2 , etc. Ntese adems que del teorema anterior se sigue que (M ) = M . o a Para terminar mencionaremos un teorema sobre funcionales lineales acotados. Teorema A.2.15 (Riesz) Cualquier funcional lineal acotado T : H K (K es C o R) se puede representar en trminos de un producto escalar, i.e., e T x = x, z , donde z depende de T y esta un vocamente determinado por T y su norma satisface la ecuacin o z = T . La prueba de este importante teorema se puede encontrar en [E. Kreyszig. Introductory Functional Analysis with Applications, pg. 188]. a
A.2.1.
Operadores en espacios de Hilbert
Denicin A.2.16 Sea la aplicacin (operador) linear A : E E , E, E espacios eucl o o deos. Si existe el operador lineal A : E E tal que para todo x E e y E Ax, y lo denominaremos adjunto de A. Por sencillez asumiremos E = E. Por ejemplo sea el operador S : l2 l2 S(x1 , x2 , x3 , . . .) = (0, x1 , x2 , . . .), comnmente denominado operador desplazamiento (shift). Entonces su adjunto S es el operador u S : l2 l2 S (x1 , x2 , x3 , . . .) = (x2 , x3 , . . .), Para los espacios eucl deos la existencia del operador adjunto no est garantizada en general, a no obstante si que lo est en el caso de los espacios de Hilbert. De hecho, como consecuencia del a Teorema de representacin de Riesz A.2.15 se tiene el siguiente resultado: o Teorema A.2.17 Sea la aplicacin (operador) linear A : H H , H, H espacios de Hilbert. o Entonces existe un unico operador A : H H adjunto a A. Adems, A es lineal y A = A . a
= x, A y ,
129
Demostracin: Denimos el funcional Ty x : H K, Ty x := Ax, y . Obviamente, para cada y o jo |Ty x| Ax y A x y K x , y H , i.e., Ty es un funcional acotado, as que el teorema de Riesz A.2.15 nos asegura que existe un unico vector y tal que Ty x = x, y , para todo x H. As el operador A : H H induce un , operador A : H H con A y = y , pues Ax, y = x, y = x, A y . La linealidad de A se sigue de la linealidad de A. Probemos ahora que A = A . De la igualdad Ax, y = x, A y y usando que A es acotado tenemos | x, A y | = | Ax, y | A Escogiendo x = A y obtenemos A y
2
y .
A y
A y A y
A A .
De lo anterior se sigue que A es acotado. Pero entonces podemos aplicar el mismo razonamiento intercambiando A y A lo que nos conduce a la desigualdad contraria A A por tanto A = A . 2 En adelante asumiremos que H = H . Supongamos que H es un espacio de Hilbert de dimensin nita. Entonces como ya hemos visto, H es isomorfo a Cn . Sea (ek )k una base de H. o Entonces para todo x H x= Si Aek =
n X
x k ek
y = Ax =
k=1 n X i=1 n n X X i=1
n X
xk Aek .
k=1
ai,k ei
= yi =
y=
ai,k xk
k=1
ei =
Es decir, si consideramos los vectores x, y Cn con coordenadas xi , yi , i = 1, . . . , n, respectivamente, entonces el operador A se puede representar como una matriz (ai,j )n , i.e., tenemos i,j=1 la aplicacin A : Cn Cn , y = Ax, donde A es una matriz n n o 1 0 a1,1 a1,2 a1,3 a1,n B a2,1 a2,2 a2,3 a2,n C C B C B A = B a3,1 a3,2 a3,3 a3,n C . B . . . C . .. . . . A @ . . . . . . an,1 an,2 an,3 an,n Obviamente la matriz de la aplicacin identidad es la matriz identidad. o Ntese que lo anterior se puede generalizar al o caso la matriz ser una matriz innita a 0 a1,1 a1,2 a1,3 B a2,1 a2,2 a2,3 B B a3,1 a3,2 a3,3 B . . A=B . . . B . . . B . B an,1 an,2 an,3 @ . . . . . . . . .
n X
n X i=1
yi e i
ai,k xk ,
i = 1, 2, . . . n.
k=1
caso de dimensin innita, slo que en este o o .. . . . . a1,n a2,n a3,n . . . an,n . . . 1 C C C C C. C C C A .. .
130
Denicin A.2.18 Sea el operador lineal A : X Y, X e Y espacios de Banach. Diremos que o A es invertible si existe un operador B, A : Y X tal que AB = IY , BA = IX . Est claro que para el caso de dimensin nita, existir el inverso de A si dim X = dim Y y a o a la matriz correspondiente ser la matriz inversa de A. En dimensin innita la situacin es algo a o o ms complicada. Por ejemplo, el operador desplazamiento S cumple con S S = I pero SS = I, a luego S no tiene inverso. Teorema A.2.19 Sea el operador lineal A : X X, X espacio de Banach. Si A < 1, entonces I A es invertible y (en norma) (I A)1 =
X
Ak ,
donde A0 := I.
k=0
Demostracin: Sea la sucesin de operadores (An )n , denida por An x := Xn = (I +A+A2 + + o o An )x, x X (cualquiera). Obviamente An es un operador acotado (probarlo como ejercicio). Probemos que (Xn )n es de Cauchy (en la norma de X): Xn+p Xn = Xn+1 + + Xn+p = An+1 x + + An+p x An+1 x + + An+p x x ( An+1 + + An+p ) x ( A x ( A
n+1 n+1
+ + A
n+1 n
n+p
+ + A
n+p
+ ) x
A 1 A
0.
Como X es completo (es de Banach) entonces, para cada x X la sucesin An x converge a un o y X que denotaremos por y = T x. As tendremos el operador T : X X bien denido. Como , A es lineal, An lo ser y por tanto T tambin. Para ello basta tomar el l a e mite cuando n en la igualdad An (x + y) = An x + An y, , K y x, y X. Si tomamos ahora el l mite p en la desigualdad de antes y usamos que Xn+p = An+p x T x, obtenemos T x An x x A n+1 , 1 A
de donde se sigue que T An es un operador lineal acotado, luego T lo ser (por qu?). De la a e desigualdad anterior se sigue adems que a T x An x A n+1 A n+1 n 0 = l An = T. m = T An n x 1 A 1 A Probemos ahora que T = (I A)1 . Ante todo notemos que I A es un operador lineal y acotado y por tanto continuo28 . Calculemos el producto (I A)T x = (I A) l An x = l (I A)An x = l (An x A An x) = l (x An+1 x). m m m m
n n n n
Pero An+1 x A n+1 x 0, luego An+1 x 0, y por tanto (I A)T x = x para todo x. La prueba de que T (I A)x = x para todo x es anloga y la omitiremos. a 2 Denicin A.2.20 Denotaremos por L(X) el conjunto de todos los operadores lineales A en X, o i.e., A : X X.
28 Aqu usamos el hecho conocido de que toda aplicacin lineal T : D(T ) X Y de un espacio o normado (Hilbert) X a otro espacio normado (Hilbert) Y tiene las propiedades: 1. T es continua si y slo o si T es acotada y 2. Si T es continua en algn x0 D(T ), T es continua en todo su dominio D(T ). u
131
Ntese que la prueba del Teorema A.2.19 se puede adaptar para probar que toda sucesin o o de Cauchy de operadores Tn L(X) es convergente. Si Tn es de Cauchy entonces > 0, existe un N N tal que n N, n > N y p N, Tn+p Tn < . Luego la sucesin Xn := Tn x es o de Cauchy Tn+p x Tn x Tn+p Tn x x = Tn+p x Tn x
n
0.
Como X es completo Tn x tendra un l mite y para cada x, i.e., podemos denir el operador T : X X por T x = y. De la misma forma que en la prueba del Teorema A.2.19 se sigue que T es lineal. Para probar que es acotado usamos la desiguladad anterior: Tn+p x Tn x Tn+p Tn x = T x Tn x Tn+p x Tn x = x x
donde hemos tomando el l mite p y usado la continuidad de la norma. I.e., T Tn es acotado y por tanto T lo es (Tn es acotado). Adems, de lo anterior se sigue tambin, tomando a e n el supremo en x, que T Tn para todo n > N , i.e., Tn T . Lo anterior nos conduce al siguiente teorema: Teorema A.2.21 El espacio L(X) es un espacio de Banach respecto a la norma de los operadores. Una aplicacin directa del Teorema A.2.19 es el siguiente resultado: o Teorema A.2.22 Sea X un espacio de Banach y sea L(X) el conjunto de todos los operadores lineales A : X X. El conjunto E L(X) de los operadores invertibles en X es abierto en L(X). Demostracin: Sea A L(X) un operador invertible. Denamos la bola B(A, 1/ A1 ). Cualo quiera sea B B(A, 1/ A1 ) tendremos que BA 1 = (B A)A1 B A A1 A1 < 1,
luego el operador I + (B A)A1 = BA1 es invertible, por tanto el operador B = (BA1 )A lo ser, i.e., todo operador B B(A, 1/ A1 ) es invertible, por tanto para cualquiera sea A E a existe una bola B(A, 1/ A1 ) E centrada en A, luego E es abierto. 2 Denicin A.2.23 Un operador lineal A : X Y, X e Y espacios de Banach es compaco to si para toda sucesin acotada (xn )n de X, la sucesin (Axn )n de Y tiene una subsucesin o o o convergente. Ntese que si A es compacto, A es acotado pues en caso contrario existir una sucesin o a o n acotada (xn )n tal que Axn y entonces la sucesin (Axn )n no tendr una subsucesin o a o convergente. Se puede probar que cualquier operator A : H H, siendo H un espacio de Banach de dimensin nita es compacto, no obstante la compacidad no es trivial en el caso innito tal y o como muestra el siguiente ejemplo: El operador identidad I : H H, H espacio de Hilbert de dimensin innita no es compacto. Para probarlo, escojamos una sucesin orthonormal (xn )n o o en H. Como xn xm 2 = 2 para todos n, m N, entonces la sucesin Ixn = xn no contiene o subsucesiones de Cauchy y por tanto no tiene subsucesiones convergentes. Teorema A.2.24 Sea A L(H) un operador compacto y B L(H) uno acotado, H espacio de Hilbert. Entonces los operadores AB y BA son compactos.
132
o Demostracin: Sea (xn )n una sucesin acotada de H. Como B es acotado, entonces la suceo sin (Bxn )n es acotada y como A es compacto, de la sucesin (ABxn )n se puede extraer una o o subsucesin convergente, luego AB es compacto. o Sea ahora (xn )n una sucesin acotada de H. Como A es compacto, existe una subsucesin o o (Axnk )k de (Axn )n que converge. Ahora bien, B es acotado, luego es continuo (ver Teorema 2 A.1.30), por lo que la subsucesin (BAxnk )k converge, luego BA es compacto. o Denicin A.2.25 Un operador A : H H, H espacio de Hilbert, se llama herm o tico o autoadjunto si A = A , i.e., Ax, y = x, A y , x, y H.
A.2.2.
Teor Espectral de operadores compactos autoadjuntos a
En un espacio de dimensin nita podemos denir el espectro de un operador como el o conjunto de los autovalores de su correspondiente matriz (en alguna base29 ), i.e., es el conjunto de los nmeros complejos tales que u Ax = x, x = 0. (A.2.8)
Puesto que para cualquier matriz n n existen n autovalores, en el caso nito es relativamente simple de estudiar. No as el caso innito. Por ejemplo el operador desplazamiento ya visto antes S : l2 l2 , S(x1 , x2 , x3 , . . .) = (0, x1 , x2 , . . .), no tiene autovalores pues la igualdad Sx = x implica x = 0. As se precisa de una denicin ms general. o a Denicin A.2.26 Sea X un espacio de Banach y A una aplicacin lineal A : X X. El o o espectro de A, que denotaremos por (A) es el conjunto de nmeros complejos tales que el u operador (I A) es no invertible, i.e., no existe (I A)1 . De la denicin anterior se sigue que en dimensin nita (A) es el conjunto de todos los o o autovalores de A. Teorema A.2.27 (A) es un compacto de C (conjunto cerrado y acotado de C) contenido en el interior del disco cerrado D = {z; |z| A }. Demostracin: Sea L(X) el conjunto de todos los operadores lineales de X en X, X espacio de o Banach. Denamos el operador F : C L(X), F () = I A. Esta claro que F es lineal. Como para todo , C, F () F () = | |, entonces F es acotado y por el Teorema A.1.30 F es continuo (en ) en la norma de los operadores. Sea E L(X) el espacio de las aplicaciones invertibles. Si (A), entonces I A no es invertible, luego para (A) no existe el inverso de F , i.e., (A) es la imagen inversa F 1 de L(X) \ E, (A) = F 1 (L(X) \ E). Como E es abierto (Teorema A.2.22) entonces L(X) \ E es cerrado, y como F es continua entonces por la Proposicin A.1.12, F 1 (L(X) \ E) es cerrado, o luego (A) lo ser. Escojamos ahora tal que || > A , entonces 1 A < 1 as que (I 1 A) a es invertible y por tanto I A lo ser. Entonces para dichos tendremos que (A), i.e., a (A) B(0, A ). Es decir, (A) es cerrado y acotado, por lo tanto es compacto (en dimensin o nita cerrado y acotado es equivalente a compacto) contenido en el interior de la bola cerrada B(0, A ). 2
29 Es un hecho conocido del algebra lineal que los autovalores de un operador no dependen de la base escogida.
133
Teorema A.2.28 Sea H un espacio de Hilbert y A una aplicacin lineal A : H H herm o tica (autoadjunta). Entonces todos los autovalores de A (si los tiene) son reales. Adems los autoa vectores correspondientes a autovalores distintos son ortogonales. e Demostracin: Sea un autovalor de A y x su correspondiente autovector, que sin prdida o de generalidad asumiremos normalizado x = 1. Entonces, usando que Ax = x y que A es herm tico, tenemos Ax, x = x, Ax = x = x = = = R. Sea Ax1 = 1 x1 y Ax2 = 2 x2 . Entonces como A es herm tico Ax1 , x2 = x1 , Ax2 = 1 x 1 , x 2 = 2 x 1 , x 2 = (1 2 ) x1 , x2 = 0, 2
de donde se sigue que si 1 = 2 entonces x1 y x2 son ortogonales.
Teorema A.2.29 Sea A un operador compacto en un espacio de Hilbert y (n )n una sucesin o ortonormal de H. Entonces l n An = 0. m u Demostracin: Supongamos que el teorema es falso, entonces para algn > 0 ha de existir o una subsucesin (kn )n tal que Akn > para todo n N. Como A es compacto y la o sucesin (kn )n es acotada, entonces hay al menos una subsucesin convergente (mn )n tal que o o l n Amn = = 0. Entonces m 0=
2
= , = l m Amn , = l m mn , A = 0,
n n
pues A H y por tanto mn , A es, escencialmente, el mn coeciente de Fourier cmn de A el cual sabemos que tiende a cero si n (A.2.5). 2 Como hemos visto en dimensin innita un operador lineal A en general puede no tener o autovalores. No ocurre as con los operadores compactos y autoadjuntos. Teorema A.2.30 Sea H un espacio de Hilbert y A un operador lineal A : H H autoadjunto (herm tico) y compacto. Entonces = A o = A es un autovalor de A. Demostracin: Ver, por ejemplo, L. Debnath & P. Mikusinski - Introduction to Hilbert spaces o with applications, Academic Press, 1990. Teorema 4.9.8 pg. 182. a 2 Del teorema anterior se sigue que todo operador compacto y autoadjunto tiene siempre al menos un autovalor. De hecho se tiene el siguiente teorema: Teorema A.2.31 Sea H un espacio de Hilbert separable y A una aplicacin lineal A : H H o autoadjunta (herm tica) y compacta. Entonces A tiene un nmero nito de autovalores n reales u n distintos o si es innito, entonces, es numerable y si lo ordenamos de mayor a menor n 0. Demostracin: Del teorema A.2.30 se sigue que el conjunto de autovalores no es vac luego o o, est compuesto por un nmero nito o innito de elementos (que son nmeros reales por el a u u Teorema A.2.28). Sea 1 tal que |1 | = A y sea x1 el correspondiente autovector (normalizado a la unidad, i.e. x1 = 1). Sea H1 = H y denamos H2 el espacio de todos los vectores ortogonales a x1 , i.e., H2 = {x H | x, x1 = 0},
134
es el complemento ortogonal de x1 . Pero, para todo x H2 , Ax, x1 = x, Ax1 = 1 x, x1 = 0 es decir, H2 es invariante respecto a la accin de A. Sea A|H2 la restriccin de A al espacio H2 . Si o o A|H2 no es el operador nulo, entonces podremos aplicar el mismo razonamiento de antes, por lo que existir 2 y x2 tales que |2 | = A|H2 , donde adems es obvio que |2 | |1 |. As podemos a a seguir hasta que en cierto paso k A|Hk = 0 obteniendo la sucesin nita de autovalores (k )n o k=1 con sus correspondientes autovectores normalizados30 (xk )n tales que k=1 |1 | = A|H1 |2 | = A|H2 |n | = A|Hn . Si A|Hk = 0 para todo k N, entonces existen innitos autovalores distintos n con sus correspondientes autovectores xn normalizados (que pueden ser ms de uno), que son numerables a pues H es separable (por qu?). Ahora bien, por el Teorema A.2.29 tenemos e 0 = l m
n n
Axn
= l m Axn , Axn = l |n |2 , m
n n
de donde se sigue que n 0.

n
Existe otra forma de probar que n 0. En efecto, supongamos que hay innitos n distintos pero que n 0. Entonces existe un > 0 tal que innitos nk son tales que o |nk | > . Construyamos con dichos elementos una sucesin que denotaremos por (k )k . Como todos los elementos de (k )k son distintos, el Teorema A.2.28 garantiza que sus correspondientes autovectores son ortogonales xk , i.e., xk1 , xk2 = 0. Si calculamos ahora la norma Axk+p Axk
2 n
= k+p xk+p k xk
= |k+p |2 + |k |2 > 22 ,
k, p N
es decir, la sucesin (Axk )k no contiene ninguna subsucesin de Cauchy y por tanto no contienne o o ninguna sucesin convergente (por qu?) lo que contradice que A sea un operador compacto. o e Del teorema anterior se sigue adems que los espacios ker(k I A), para cada k , k = a 1, 2, 3, . . . son de dimensin nita, pues en caso contrario n 0. o Teorema A.2.32 (Teorema espectral) Sea H un espacio de Hilbert y A una aplicacin lio neal A : H H autoadjunta y compacta. Existe una sucesin numerable (nita o innita) de o autovectores ortonormales (xn )n de H cuya correspondiente sucesin de autovalores denotaremos o por (n )n tales que, X n x, xn xn , x H, (A.2.9) Ax =
n n
donde se tiene que:
1. En (A.2.9) aparecen todos los autovalores de A. 2. Si la sucesin (n )n es innita se puede reordenar de forma que n 0. o 3. Los correspondientes espacios ker(n I A), para todo n = 1, 2, 3, . . . son de dimensin o nita, siendo la dimensin de estos el nmero de veces que aparece un mismo k en la o u frmula (A.2.9). o
30 Es n
importante destacar que para cada k , k = 1, 2, 3, . . . puede haber ms de un autovector. a
135
o Demostracin: Utilizando la misma construccin que usamos en la prueba del teorema A.2.31 o obtenemos una sucesin de autovalores (k )n con sus correspondientes autovectores normalio k=1 zados (xk )n (para cada k puede haber ms de un autovector, en funcin de la multiplicidad a o k=1 del mismo) tales que |1 | 2 | |n |. Durante el proceso hemos construido adems la cadena de subespacios invariantes respecto a A a H = H1 H2 Hn donde Hk+1 = {x Hk | x, xj = 0, j = 1, 2, . . . , k}. Supongamos que A|Hn+1 = 0, entonces el proceso acaba (caso nito). Sea, en este caso, P yn = x n x, xk xk . Entonces k=1 yn , xj = x, xj
n X
x, xk
k=1
Luego, yn Hn+1 y por tanto Ayn = 0, i.e., 0 = Ayn = Ax como se quer probar. a
n X
xk , xj = x, xj x, xj xj = 0. | {z } | {z }
j,k =1
x, xk Axk
Ax =
k=1
n X
k x, xk xk
k=1
El caso innito es similar. Ante todo notemos que en este caso tenemos unaP sucesin n tal o n que n 0 (ver Teorema A.2.31). Denamos nuevamente el vector yn = x n x, xk xk . k=1 Usando (A.2.3) se sigue que yn 2 x 2 . Adems, como ya vimos yn Hn+1 , luego, usando a que Ayn = A|Hn+1 yn , y A|Hn+1 = |n+1 | obtenemos Ayn |n+1 | x de donde se sigue la iguladad buscada Ax =
X n
l Ayn = 0, m
n x, xn xn ,
x H.
n=1
Comprobemos ahora que todos los autovalores de A estn presentes en la frmula (A.2.9). a o Esta cuestin es de suma importancia pues en la prueba hemos usado los autovalores obtenidos o gracias al Teorema A.2.30 por lo que procede preguntarse si existen otros autovalores de A no nulos distintos a los anteriores. Comprobemos que eso es imposible. Supongamos que existe un autovalor = 0 distinto de los autovalores k que aparecen en la suma (A.2.9), i.e., = k , para todo k, y sea x su correspondiente autovector normalizado a la unidad. Por el Teorema A.2.28 x es ortogonal a todos los xk , i.e., x, xk = 0 para todo k. Pero entonces, aplicando la frmula (A.2.9) a dicho autovector x tenemos o x = Ax =
X
n x, xn xn =
n=1
n=1
n 0 xn = 0,
lo que es una contradiccin. Lo anterior tiene una implicacin importante: Formalmente el o o proceso de encontrar los autovalores de A basado en el Teorema A.2.30 permite encontrarlos todos. Probemos nalmente que, en caso de que k = 0, k = 1, 2, 3, . . ., la dimensin de ker(k I o A) = p, donde p es el nmero de veces que aparece k en la frmula (A.2.9). Por simplicidad u o
136
(1) (p)
denotemos por xj , . . . , xj p autovectores linealmente independientes asociados a j . Supongamos que dim ker(j I A) > p, entoces existe al menos un x ker(j I A) que es linealmente (1) (p) independiente de los vectores xj , . . . , xj y que asumiremos, sin prdida de generalidad, que e ortogonal a ellos (por qu?). Entonces est claro que dicho x es ortogonal a todos los vectores e a xk que aparecen en la frmula (A.2.9) (ya sea porque los xk corresponden a autovalores distintos o (1) (p) a j o bien sean los xj , . . . , xj de antes), i.e., x, xk = 0 para todo k, luego usando (A.2.9) obtenemos X X k 0 xk = 0, k x, xk xk = 0 = j x = Ax =
k k
lo cual es una contradiccin. o
Corolario A.2.33 Sea H un espacio de Hilbert separable y A una aplicacin lineal A : H H o autoadjunta y compacta. Entonces existe un sistema ortogonal completo (base ortonormal) de autovectores ortonormales (en )n de H consistente en los correspondientes autovectores de A. Adems, a X n x, en en , x H, Ax =
n
donde (n )n es la correspondiente sucesin de autovalores asociados a (en )n . o
Demostracin: Del Teorema espectral A.2.32 se sique que existe un conjunto de autovectores o (nito o innito) (n )n tal que X Ax = n x, n n , x H. (A.2.10)
n
Asumamos que n = 0 (si hay algn n = 0 este se puede omitir de la suma). Como el ncleo u u de A, ker A H (que coincide con el subespacio vectorial generado por los autovectores correspondientes a = 0) es a su vez un espacio de Hilbert separable (por qu?) existir una e a sistema (numerable) ortogonal completo que denotaremos por (n )n . Dicho sistema de vectores son autovectores correspondientes al autovalor 0. Sea ahora un autovector cualquiera m correspondiente al autovalor m = 0. Entonces m ser ortogonal a todos los n y el sistema (m )m a ser ortogonal a (n )n . Adems de (A.2.10) se tiene que para todo x H a a ! X X x, m m = Ax A x x, m Am = 0,
m m
i.e., x m x, m m ker A, luego podemos desarrollarlo en serie de Fourier en la base de ker A (n )n de forma que obtenemos X X X X x, n n x H, x, m m + x, n n = x = x, m m = x
m n m n
Como consecuencia del teorema anterior tenemos que todo operador lineal A : H H autoadjunto y compacto en H, espacio de Hilbert separable, se le puede puede hacer corresponder una matriz (nita o innita) que adems es diagonalizable y en cuya diagonal aparecen los a correspondientes autovalores. Adems se tiene el siguiente resultado: a
i.e., el sistema (m )m (n )n es completo (Teorema A.2.5) que podemos ortogonalizar utilizando el mtodo de Gram-Schmidt obteniendo el sistema ortonormal (numerable) (en )n (recordemos e que para autovectores correspondientes a autovalores distintos ya teniamos la ortogonalidad, as que slo es necesario aplicarlo a los autovectores correspondientes a un mismo autovalor), o P luego tendremos x = n x, en en de donde se sigue el teorema. 2
Teorema A.2.34 Sean A y B dos operadores autoadjuntos y compactos en un espacio de Hilbert separable. Si A y B conmutan, entonces tienen un sistema completo de autovectores comn. u Demostracin: Sea un autovalor de A y sea S el correspondiente subespacio lineal generado por o los autovectores de A. Para todo x S tenemos ABx = BAx = Bx, i.e., Bx es tambien es un autovector de A correspondiente a , Bx S, as que el espacio S es un subespacio vectorial de H invariante respecto a B y es a su vez un espacio de Hilbert. Como B es autoadjunto y compacto, el Corolario anterior A.2.33 nos asegura que S tiene una base orthonormal de autovectores de B, que adems son autovectores de A pues estn en S. Repitiendo en proceso para cada uno de a a los subespacios S de A obtenemos para cada uno de dichos subespacios la correspondiente base de autovectores. La unin de todas ellas es la base comn buscada. o u 2
Bibliograf a
[1] L. Debnath y P. Mikusinsk. Introduction to Hilbert spaces with applications, Academic Press, 1990.h 31 [2] Yuli Eidelman, Vitali D. Milman, Antonis Tsolomitis. Functional Analysis: An Introduction, Graduate Studies in Mathematics Vol. 66, AMS, 2004.m,h [3] A.N. Kolmogorov y A.V. Fom Elementos de la teor de funciones y del anlisis funcional. n. a a Editorial MIR, 1978. (Elements of the Theory of Functions and Functional Analysis. Dover, 1999.)m,h [4] E. Kreyszig. Introductory Functional Analysis with Applications. Wiley Classics Library Edition, 1989.m,n [5] K. Saxe. Beginning Functional Analysis. Springer, New York, 2002.h [6] J. Tinsley Oden y L.F. Demkowicz. Applied Functional Analysis. CRC Press, 1996.m,n [7] N. Young. An introduction to Hilbert Space. Cambridge University Press, 1988.n,h
31 Se recomienda para el tema de espacios mtricos, normados y de Hilbert los libros marcados con e m, n y h, respectivamente.
139

Mecanica Cuantica para No Iniciados

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Mecanica Cuantica para No Iniciados

Transféré par

Droits d'auteur :

Formats disponibles

Una introduccin a la o Mecnica Cuntica para no a a iniciados

Renato Alvarez Nodarse

INDICE GENERAL 3.3.2. El efecto t nel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 3.3.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 49 51 51 55 61 62 63 65 67 68 69 69 70 71 71 71 72 80 83 83 84 86 89 92 94 94 94 96

4.6.1. Equivalencia de las representaciones de Heisenberg y de Schrdinger 66 o

INDICE GENERAL Bibliograf a Anexo A: Breve introduccin al anlisis funcional o a

Renato Alvarez Nodarse Sevilla 12 de julio de 2008

Breve introduccin a la o mecnica clsica a a

F (x, y, z)dr = V (x, y, z) ,

Cap tulo 1. Breve introduccion a la mecanica clasica

Dos ejemplos representativos

1.2. Dos ejemplos representativos

Movimiento en un campo central de fuerzas

111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000

Figura 1.1: El oscilador armnico o

Cap tulo 1. Breve introduccion a la mecanica clasica

Figura 1.3: Fuerza central de interaccin entre dos part o culas.

En este caso tenemos H(r, p) = p2 , 2m r r= x2 + y 2 + z 2 . (1.2.2)

Entonces, las ecuaciones (1.1.1) nos dan mx (t) = x , r3 my (t) = y , r3 mz (t) = z . r3

1.2. Dos ejemplos representativos

Anlogamente tenemos, para las otras dos, a zx xz = c3 .

donde hemos usado (1.2.4). Anlogamente a a=

Cap tulo 1. Breve introduccion a la mecanica clasica

Figura 1.4: Componentes radial y angular de un vector.

Luego, usando la Ley de Newton, tenemos 0 = F = ma = m r r d2 dr d +2 2 dt dt dt =

1.2. Dos ejemplos representativos

Cap tulo 1. Breve introduccion a la mecanica clasica d U+

m 2 (x + y 2 + z 2 = 0. 2 En otras palabras, la funcin energa o E(t) = U + m 2 m v = + v2 2 r 2 (1.2.8)

pero entonces para la energ E obtenemos el valor a E= m m 2 < 0, v = 2 r 2rm

Cap tulo 1. Breve introduccion a la mecanica clasica

Cmo se gest la Mecnica o o a cuntica? a

La radiacin del cuerpo negro o

Cap tulo 2. Como se gesto la Mecanica cuantica?

La frmula de Rayleigh-Jeans establec que o a u(, T ) = 2 kT, 2 c3

2.1. La radiacion del cuerpo negro

Figura 2.2: Grca de la intensidad u(, T ) contra la frecuencia de onda . a

Cap tulo 2. Como se gesto la Mecanica cuantica?

se usa el valor h = 2 = 6,62 1034 .

2.2. Einstein y el efecto fotoelctrico e

Einstein y el efecto fotoelctrico e

Cap tulo 2. Como se gesto la Mecanica cuantica?

Figura 2.3: Efecto fotoelctrico e

Bohr y el modelo atmico o

siendo R la constante de Rydberg.

bombardeaba atomos de oro con ncleos de helio (part u culas alpha).

2.3. Bohr y el modelo atomico

La energ de la rbita es, por tanto3 , a o En =

sustituido el valor de v que nos da la ley de Newton.

Cap tulo 2. Como se gesto la Mecanica cuantica?

El nacimiento de la Mecnica Cuntica a a

La Mecnica matricial de Heisenberg a

2.4. El nacimiento de la Mecanica Cuantica

Xnk (t)Xkm (t),

La Mecnica ondulatoria de Schrdinger a o

Cap tulo 2. Como se gesto la Mecanica cuantica?

Si sustituimos este valor en la ecuacin de Schrdinger tenemos el valor o o E= k , 2m

2.4. El nacimiento de la Mecanica Cuantica obtuvo la ecuacin o

e2 (x, y, z) = E(x, y, z). r

Si tenemos un Hamiltoniano estndar, sta se transforma en a e 2 (x, t) + V (x)(x, t) = i (x, t). 2m x2 t

Una deduccin de la ecuacin de Schrdinger o o o

Cap tulo 2. Como se gesto la Mecanica cuantica?

2 2 p2 (x, t), E= 2m 2m(x, t) x2

2 (x, t) = E(x, t). 2m x2