Una introducci on a la Mec anica Cu antica para no iniciados

Renato Alvarez Nodarse

Departamento de An alisis Matem atico, Facultad de Matem aticas, Universidad de Sevilla
23 de marzo de 2009

 Indice general
1. Breve introducci on a la mec anica cl asica 1.1. Mec anica Hamiltoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Dos ejemplos representativos . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. El oscilador arm onico unidimensional . . . . . . . . . . . . . . . . 1.2.2. Movimiento en un campo central de fuerzas . . . . . . . . . . . . . 1.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. C omo se gest o la Mec anica cu antica? 2.1. La radiaci on del cuerpo negro . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Einstein y el efecto fotoel ectrico . . . . . . . . . . . . . . . . . . . . . . . . 2.3. Bohr y el modelo at omico . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. El nacimiento de la Mec anica Cu antica . . . . . . . . . . . . . . . . . . . . 2.4.1. La dualidad onda-part cula . . . . . . . . . . . . . . . . . . . . . . 2.4.2. La Mec anica matricial de Heisenberg . . . . . . . . . . . . . . . . . 2.4.3. La Mec anica ondulatoria de Schr odinger . . . . . . . . . . . . . . . 2.4.4. Una deducci on de la ecuaci on de Schr odinger . . . . . . . . . . . 2.5. La interpretaci on de la Mec anica cu antica . . . . . . . . . . . . . . . . . . 2.5.1. El principio de incertidumbre de Heisenberg . . . . . . . . . . . . . 2.6. El experimento de difracci on y el principio de incertidumbre . . . . . . . . 2.7. Las matem aticas de la Mec anica Cu antica . . . . . . . . . . . . . . . . . . 2.7.1. El gato de Schr odinger . . . . . . . . . . . . . . . . . . . . . . . . . 3. Mec anica Cu antica I: Movimiento de una part cula material 3.1. Los postulados de la Mec anica Cu antica . . . . . . . . . . . . . . . . . . . 3.2. El principio de incertidumbre . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.1. Los estados estacionarios de la ecuaci on de Schr odinger . . . . . . 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 unel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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. Mec anica Cu antica II: Espacios de Hilbert 4.1. Espacios eucl deos y espacios normados . . . . . . . . . . . . . . . . . . . 4.2. Operadores en H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Los axiomas de la Mec anica Cu antica . . . . . . . . . . . . . . . . . . . . 4.4. Discusi on e implicaciones de los postulados . . . . . . . . . . . . . . . . . 4.5. Representaci on de los operadores xi y pi . . . . . . . . . . . . . . . . . . . 4.6. Las ecuaciones de Heisenberg y de Schr odinger . . . . . . . . . . . . . . . 4.6.2. Los estados estacionarios del sistema . . . . . . . . . . . . . . . . . 4.7. El principio de incertidumbre . . . . . . . . . . . . . . . . . . . . . . . . . 4.8. La mec anica matricial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.9. La ecuaci on de Schr odinger y el postulado 4.3.5 . . . . . . . . . . . . . . . 4.10. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5. Resolviendo la ecuaci on de Schr odinger 5.1. El m etodo de Nikiforov-Uvarov . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1. La ecuaci on hipergeom etrica generalizada . . . . . . . . . . . . . . 5.1.2. La ecuaci on diferencial hipergeom etrica . . . . . . . . . . . . . . . 5.1.3. Los polinomios de Hermite, Laguerre y Jacobi . . . . . . . . . . . . 5.2. Resoluci on de la ecuaci on de Schr odinger . . . . . . . . . . . . . . . . . . 5.2.1. El oscilador arm onico cu antico unidimensional . . . . . . . . . . . 5.2.2. La ecuaci on de Schr odinger en un potencial central . . . . . . . . . 5.2.3. Los arm onicos esf ericos . . . . . . . . . . . . . . . . . . . . . . . . 5.2.4. Resolviendo la parte radial de la ecuaci on de Schr odinger . . . . . 5.2.5. El oscilador arm onico tridimensional . . . . . . . . . . . . . . . . . 5.3. El m etodo de factorizaci on de Schr odinger . . . . . . . . . . . . . . . . . . 5.3.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.2. El oscilador arm onico . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.3. El m etodo de factorizaci on . . . . . . . . . . . . . . . . . . . . . .

4.6.1. Equivalencia de las representaciones de Heisenberg y de Schr odinger 66

5.3.4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 5.4. Factorizaci on de la EDO hipergeom etrica . . . . . . . . . . . . . . . . . . 108 5.4.1. El hamiltoniano y los operadores escalera . . . . . . . . . . . . . . 108 5.4.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 5.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.4.2. Factorizaci on de H(x, n) . . . . . . . . . . . . . . . . . . . . . . . . 109

 INDICE GENERAL Bibliograf a Anexo A: Breve introducci on al an alisis funcional

3 114 117

A.1. Introducci on: Estacios m etricos y espacios normados . . . . . . . . . . . . 117 A.2. Espacios de Hilbert separables . . . . . . . . . . . . . . . . . . . . . . . . 123 A.2.1. Operadores en espacios de Hilbert . . . . . . . . . . . . . . . . . . 128 A.2.2. Teor a Espectral de operadores compactos autoadjuntos . . . . . . 132 Bibliograf a 137

Prefacio
Estas notas contienen el contenido de un curso de introducci on a la Mec anica cu antica impartido por el autor en la Universidad de Zaragoza en septiembre de 2005 y en Coimbra en febrero de 2006. Las mismas est an divididas en 6 cap tulos que contienen tanto los conceptos te oricos como distintos m etodos de resoluci on de la ecuaci on de Schr odinger. 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. Adem as agradezco a Manuel Alfaro, Jos e Luis Cardoso, Mario P erez Francisco J. (Pacho) Ruiz, Jos e Carlos Petronilho y Juan L. Varona sus comentarios y correcciones que me han permitido mejorar notablemente la exposici on.

Renato Alvarez Nodarse Sevilla 12 de julio de 2008

Introducci on
Estas notas corresponden a un curso de introducci on a la Mec anica cu antica. En el se pretende dar una idea general de c omo surgi o la Mec anica cu antica a principios del siglo pasado (XX) y exponer algunos de sus principales principios desde un punto de vista matem atico. El trabajo estar a dividido en dos partes. En la primera se describir a la evoluci on de la teor a cu antica desde nales del siglo XIX hasta la aparici on de la Mec anica cu antica de Heisenberg y Schr odinger en 19261927, es decir, a partir de la idea revolucionaria de Planck sobre los quanta, la explicaci on del efecto fotoel ectrico por Einstein y la descripci on de la dualidad ondapart cula de De Broglie, hasta la aparici on de las dos principales teor as matem aticas: la mec anica matricial y la mec anica ondulatoria. En la segunda parte introduciremos la Mec anica Cu antica de una part cula as como sus bases axiom aticas en un espacio de Hilbert separable. Finalmente, veremos algunos de los m etodos usados para resolver la ecuaci on de Schr odinger.

INDICE GENERAL

Cap tulo 1

Breve introducci on a la mec anica cl asica

La F sica se basa en medidas y observaciones experimentales de la realidad que nos rodea, es decir, en cuanticar o caracterizar los distintos fen omenos naturales mediante expresiones cuantitativas o n umeros. Estas cantidades medibles u observables se denominan cantidades f sicas (e.g. longitud, velocidad, energ a, . . . ). El objeto o conjunto de objetos a estudiar se denomina sistema f sico (e.g. una part cula, un atomo, un coche, . . . ). Cuando conocemos distintas medidas de un sistema que lo caracterizan por completo en un momento de tiempo determinado (e.g. la posici on y la velocidad de una part cula de masa m) decimos que el sistema se encuentra en un cierto estado dado. El objetivo de toda teor a f sica es, por tanto: 1. Describir el estado del sistema f sico, es decir, dar una representaci on cuantitativa (matem atica) del estado que lo dena biun vocamente. 2. Conocer la din amica del sistema, es decir dado un estado inicial en el momento t0 conocer su evoluci on temporal para t > t0 . 3. Predecir los resultados de las mediciones de las cantidades f sicas del sistema. La teor a f sica en s misma est a en general constituida, desde el punto de vista abstracto, por tres apartados: 1. El formalismo: Conjunto de s mbolos y reglas de deducci on a partir de los cuales se pueden deducir proposiciones y enunciados. En general toda teor a comienza jando un cierto n umero de axiomas comunmente denominados postulados. 2. Ley din amica: Cierta relaci on (o relaciones) entre algunos de los principales objetos del formalismo que permitan predecir acontecimientos futuros. 3. Reglas de correspondencia o interpretaci on f sica: Conjunto de reglas que permiten asignar valores experimentales a algunos de los s mbolos del formalismo. 3

n a la meca nica cla sica Cap tulo 1. Breve introduccio Como ejemplo ilustrativo vamos a describir la mec anica newtoniana.

En la mec anica newtoniana el estado de un sistema viene dado por el conjunto de trayectorias de todas las part culas que constituyen el sistema. Por ejemplo, para una part cula, el estado estar a dado por la funci on vectorial r (t) R3 que denota la posici on en cada instante de tiempo t. Los observables son las cantidades medibles como la posici on r (t), la velocidad v (t) = d/dt[r (t)], la energ a cin etica T = mv 2 (t), etc. La ley din amica en este caso es la segunda ley de Newton: ma(t) = F (t), a(t) = d2 r(t) , dt2

donde F es la fuerza resultante que act ua sobre el sistema, i.e., es una ecuaci on diferencial de orden 2. Finalmente, las reglas de correspondencia son evidentes y consisten en los valores num ericos de las proyecciones de los vectores r , v , etc. sobre los ejes del 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 acci on de una fuerza F (x, y, z ) que s olo depende de las coordenadas (posici on). Supongamos adem as que existe una funci on escalar V (x, y, z ) tal que 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 est andar de los vectores tenemos 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 raz on de esta denominaci on se explica por lo siguiente: Si usamos la segunda ley de Newton d (mv ) dr = mvdv, F (x, y, z )dr = dt luego F (x, y, z )dr =

mvdv =

1 mv 2 . 2
a

nica Hamiltoniana 1.1. Meca Juntando esta expresi on con la anterior tenemos 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 a mec anica del p2 1 sistema. T = 2 mv 2 = 2 se denomina energ a cin e tica, V , energ a potencial y p = mv , m impulso. En la mec anica cu antica el formalismo es muy distinto y es el objetivo de este curso. Antes de pasar a discutirlo veamos brevemente otra forma de describir los sistemas mec anicos cl asicos : El formalismo can onico o hamiltoniano.

1.1.

Mec anica Hamiltoniana

Por sencillez seguiremos considerando el movimiento de una u nica 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 posici on y momento, respectivamente. Denamos una funci on H dependiente de la posici on r y el impulso p H (r, p) = 1 2 2 (p + p2 y + pz ) + V (x, y, z ), 2m x

que denominaremos hamiltoniano del sistema. Entonces, las ecuaciones din amicas del 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 a claro c omo se generaliza el problema. Supongamos que el hamiltoniano depende de las coordenadas can onicas q1 , . . . qN y sus correspondientes momentos p1 , . . . pN . Entonces las ecuaciones din amicas son dqi H , = dt pi dpi H , = dt qi i = 1, 2, . . . , N. (1.1.2)

De esta forma la din amica queda determinada por 2N ecuaciones con 2N inc ognitas. 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 2 (p + p2 y + pz ) + V (x, y, z ), 2m x

n a la meca nica cla sica Cap tulo 1. Breve introduccio

las ecuaciones (1.1.1) nos dan (s olo incluiremos las ecuaciones para la coordenada x) 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 mec anica cl asica. Dentro del formalismo can onico hamiltoniano hay una operaci on de especial importancia para entender el paso de la Mec anica cl asica a la cu antica: las llaves de Poisson. 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 can onicas qi y pi , i = 1, 2, . . . , N , a la cantidad
N

{A, B } :=

k=1

A B A B qk pk pk qk

(1.1.3)

N otese que las ecuaciones de Hamilton (1.1.2) se pueden escribir como dqi = {qi , H }, dt dpi = { pi , H } , dt i = 1, 2, . . . , N.

N otese adem as que para las coordenadas can onicas se tiene {qi , qj } = 0 = {pi , pj }, {qi , pj } = i,j , i, j = 1, 2, . . . , N. (1.1.4)

En general se puede probar que la ecuaci on de evoluci on para cualquier cantidad f sica A es dA = {A, H }. (1.1.5) dt

1.2.
1.2.1.

Dos ejemplos representativos

El oscilador arm onico unidimensional

Comencemos con un sistema cl asico de gran importancia: el oscilador arm onico. Asumiremos que el eje de coordenadas est a situado justo en la posici on de equilibrio del oscilador, luego por x representaremos la desviaci on del sistema del punto de equilibrio. 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

111 000 000 111 000 111 000 111 000 111 000 111 000 111 000 111 m 000 k 111 000 111 000 111 000 111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111
0

Figura 1.1: El oscilador arm onico Sus soluciones son: k , m donde A y depender an de las condiciones iniciales x0 = x(0), v0 = v (0) y est an dadas 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. N otese que de la soluci on no se deducen ning un tipo de restricciones 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

2 De lo anterior se deduce que la energ a toma los valores reales E = 1 2 kA 0 y es una cantidad continua.

x
2 1 5 1 2 10 15 20 25

x
2 1

t
1 2

10

15

20

25

Figura 1.2: El oscilador arm onico: soluciones Obviamente este sistema es demasiado sencillo. Un caso m as realista es el oscilador amortiguado, es decir, cuando hay rozamiento. En este caso la ecuaci on diferencial que 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 ecuaci on como ejercicio.

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 electroest atica.

n a la meca nica cla sica Cap tulo 1. Breve introduccio

z

m F(r)

M 0 y

Figura 1.3: Fuerza central de interacci on entre dos part 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 s olo depende de la distancia r al origen de coordenadas. Usando la Ley de Newton 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)

1.2. Dos ejemplos representativos

Vamos a probar que el movimiento de la part cula es plano. Para ello multiplicamos la primera ecuaci on en (1.2.3) por y , la segunda por x y las sumamos. Ello nos da 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 u ltimas ecuaciones vemos c1 = (xy yx )dt = xy yz zy = c2 , x y dt yx + y x dt = xy yx .

An alogamente tenemos, para las otras dos, zx xz = c3 .

Si multiplicamos la primera de las tres u ltimas 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 ecuaci on de un plano que pasa por el origen. As pues, tenemos la siguiente propiedad: Propiedad 0. El movimiento de una part cula 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 funci on de los vectores unitarios 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 , N otese que entonces du dur = u , = ur . (1.2.4) d d Adem as, F = Fr ur + F u , pero si la fuerza es radial entonces F = 0. Escribamos 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). An alogamente a=

ur .

10

n a la meca nica cla sica Cap tulo 1. Breve introduccio

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 areas pues el area que barre el radio vector r es tal que dA(t) = r2 /2d = r2 /2 (t)dt, por tanto A (t) = r2 /2 (t) = c/2. As , hemos probado la siguiente propiedad1 Propiedad 1. El movimiento de una part cula sometida a una fuerza central es tal que el radio vector r recorre a reas 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 ecuaci on diferencial. Obviamente es una ecuaci on diferencial no lineal as que intentaremos convertirla en una ecuaci on lineal. Para ello haremos el
1 Esta propiedad se conoce como segunda Ley de Kepler, en honor al matem atico y astr onomo J. Kepler quien la descubri o en la segunda mitad del siglo XVII cuando estudiaba la o rbita del planeta Marte.

1.2. Dos ejemplos representativos

11

cambio de variable r = 1/u() y pasaremos de la variable t a , es decir, intentaremos dar con la ecuaci on de la trayectoria de nuestra part cula. N otese que en las nuevas variables, la propiedad 1 de las areas se escribe como (t) = cu2 . Tenemos 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 soluci on de la ecuaci on anterior la escribiremos en la forma 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 ecuaci on para la trayectoria r() = c2 / . 1 + e cos()

Qu e gura geom etrica dene la ecuaci on anterior? Para ello recordemos que el lugar geom etrico de los puntos P (x, y ) tales 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 f ormula r = pe/(1 + e cos ) (ver gura 1.5) siendo e cierta constante (excentricidad). Es Figura 1.5: Propiedad de las secciones c oni- conocido que si e < 1 la curva es una elipse, si e = 1 una par abola, y si e > 1 una cas. hip erbola. As pues, hemos demostrado la siguiente propiedad:

Propiedad 2. La trayectoria de una part cula sometida a una fuerza central es una secci on c onica, es decir, una elipse, una par abola o una hip erbola. Es f acil comprobar que si una fuerza es central entonces existe una funci on U (x, y, z ) tal que U U U Fx = , Fy = , Fz = . x y z En nuestro caso, adem as, U (x, y, z ) = U (r) = /r. Sumando las tres ecuaciones anteriores 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

n a la meca nica cla sica Cap tulo 1. Breve introduccio d U+

m 2 (x + y 2 + z 2 = 0. 2 En otras palabras, la funci on energ a 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 Conservaci on de la Energ a. Si 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 un nuestra elecci on, r = 0 (es m nimo) y r = c2 [(1 + e)]1 , luego E= m2 (e2 1) 2 c2 = e= 1+E 2 c2 . 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 m as 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 a E obtenemos el valor E= m m 2 < 0, v = 2 r 2rm

y por tanto e < 1, o sea, los planetas se mueven siguiendo orbitas el 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 m axima y m 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 area de la elipse es A = ab, 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 orbita. Sustituyendo el valor de b en la expresi on anterior obtenemos 4 T2 = , (1.2.9) a3 es decir, el cuadrado del per odo de revoluci on de los planetas es proporcional al cubo de sus distancias medias. La propiedad anterior se conoce como tercera Ley de Kepler. N otese que la constante de proporcionalidad no depende para nada del planeta, s olo de , que seg un la Ley de Gravitaci on Universal es GMs , donde G es la constante de gravitaci on universal y Ms la masa del sol.

1.3.

Problemas

Problema 1.3.1 Estudia como se comporta una part cula 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 seg un la ley de gravitaci on universal, lo que tenemos es un a tomo de hidr ogeno. En este caso la f ormula (1.2.6) se convierte en ke2 (1.3.1) F (r) = 2 ur . r Para terminar con este apartado y pasar a discutir lo que ocurre en el mundo cu antico tenemos que recordar que en el caso del atomo de hidr ogeno hay un problema a nadido y es que al ser el electr on una part cula cargada en movimiento, est a continuamente emitiendo ondas electromagn eticas por lo que su energ a va disminuyendo. Esto implica que el electr on va cayendo en espiral al n ucleo. Este hecho contradice todos los experimentos conocidos.

14

n a la meca nica cla sica Cap tulo 1. Breve introduccio

Cap tulo 2

C omo se gest o la Mec anica cu antica?

Antes de entrar a discutir el formalismo y las leyes din amicas de la Mec anica Cu antica vamos a dar un bosquejo hist orico de la misma. William Thomson o, como era conocido, Lord Kelvin, pronunci o a nales del siglo XIX una c elebre frase: Hoy d a la ciencia f sica forma, esencialmente, un conjunto perfectamente armonioso, Un conjunto pr acticamente acabado! S olo quedan dos nubecillas: 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 a imaginar que esas dos nubecillas desembocar an en la Teor a de la Relatividad de Einstein y la Mec anica Cu antica, teor as que iban a cambiar radicalmente nuestra concepci on de los fen omenos naturales y que representaron una Revoluci on comparable, en cierta forma, a la Revoluci on Copernicana y la aparici on de los Principia de Newton.

William Thomson

En estas notas nos dedicaremos a estudiar las bases de la segunda de estas dos grandes teor as. Antes de entrar es los detalles vamos a dar una breve introducci on hist orica, necesaria para entender como el problema planteado por Lord Kelvin su segunda nubecilla y su resoluci on termin o en la moderna teor a cu antica.

2.1.

La radiaci on del cuerpo negro

La ley de Rayleigh-Jeans es una f ormula que describe la radiaci on de un cuerpo negro. Todos sabemos que al calentar un cuerpo este cambia de color qui en no ha 15

16

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

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 no un clavo o un tornillo en el fog on de casa o ha visto el color que toma una parrilla al hacer una parrillada. Probablemente nuestra curiosidad nos lleva a preguntarnos al menos todo f sico lo deber a hacer c omo emiten la luz los cuerpos 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 tambi en, cavidad, etc. La idealizaci on consist a en que el cuerpo negro ten a que absorber y por tanto emitir todas las ondas luminosas recordemos que a nales del XIX hab a sido establecido sin ning un asomo de duda que la luz era una onda electromagn etica por igual sin importarle la longitud de onda de la misma. El primero en establecer una ley emp rica para la radiaci on del cuerpo negro fue Wien quien obtuvo la f ormula 3 e/T , y par ametros experimentales, pero esta s olo correspond a a la parte ultravioleta altas frecuencias, o equivalentemente, longitudes de onda peque nas del espectro y fallaba en la banda infrarroja bajas frecuencias, o equivalentemente, longitudes de onda grandes. Por otro lado, dos f sicos ingleses, Rayleigh y Jeans, dedujeron una f ormula para la banda infrarroja pero que no era compatible con la f ormula de Wien. Denamos la densidad de energ a (cantidad de energ a por unidad de volumen) mediante U (T ). Obviamente esta depender a de la temperatura T . Adem as, cada longitud de onda frecuencia aportar a su granito de arena, esta densidad por unidad de frecuencia la denotaremos por u(, T ), as U (T ) =
0

u(, T )d.

(2.1.1)

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

La manera de obtener esta f ormula es muy sencilla. Era un hecho bien conocido en en siglo XIX que el n umero de ondas estacionarias con frecuencias por unidad de volumen

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 a en contradicci on con las mediciones experimentales. Esta es la llamada cat astrofe ultravioleta y no es m as que la segunda nubecilla de Lord Kelvin (ver gura 2.2). N otese que al sustituir u(, T ) en (2.1.1) obtenemos U (T ) = lo cual no tiene sentido.

 n del cuerpo negro 2.1. La radiacio

u(, T ) Ley de Rayleigh-Jeans Curva experimental Ley de Plank

17

Figura 2.2: Gr aca de la intensidad u(, T ) contra la frecuencia de onda .

2 en el interior de un cuerpo en el intervalo [, + ] era dn = 2 3 . La suposici on de c Rayleigh y Jeans fue suponer que a cada oscilaci on electromagn etica le correspond a, en media, una energ a igual a kT . As u(, T ) = dn = 2 kT. 2 c3 (2.1.2)

El pr oximo paso lo dio Max Planck. Desde el punto de vista de la f sica cl asica la deducci on de Rayleigh y Jeans era impecable, por tanto Planck asumi o que deb a haber alguna ley importante sin descubrir. En octubre de 1900 Planck encontr o emp ricamente una f ormula que describ a perfectamente la ley experimental para la radiaci on del cuerpo negro. Dicha f ormula para la energ a media de la onda era la siguiente: = exp kT , 1

donde era cierta constante desconocida. Si /kT 1, entonces la f ormula de Planck daba kT . Adem as, si /kT 1, Planck recuperaba la f ormula de Wien.

Para explicar su formula Plank, rompiendo la concepci on cl asica, lanza la idea de que los osciladores que componen los atomos absorben o emiten luz no de forma continua, como era habitual en la f sica cl asica, sino mediante porciones aisladas proporcionales a la frecuencia, es decir la energ a se emit a o absorb a mediante quantas de energ a E = .

Max Planck

Hay varias razones que justican su audacia. La primera es que Planck consider o su hip otesis como un articio matem atico pues le permit a deducir su f ormula emp rica. En efecto, a nos antes en gran f sico austriaco Ludwig Boltzmann hab a demostrado que la probabilidad de que un sistema en equilibrio tuviese una energ a E era proporcional a la canE . Si E s olo puede tomar valores que sean tidad exp kT

18

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

m ultiplos enteros de , En = n , entonces la probabilidad pn de cada uno de estos n y por tanto la energ a media es valores de energ a es pn = exp kT

n=0

pn En =

n=0

n exp

n kT

n exp kT n=0

= exp

kT

, 1

que es justamente la f ormula que Plank hab a encontrado emp 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 f ormula de Planck para la densidad de energ a de un cuerpo negro. La segunda raz on fue que los quanta de Planck eran absorbidos o emitidos por la materia que compon a al cuerpo negro: es decir sus atomos. Y la estructura at omica era algo desconocido a principios del siglo XX, incluso muchos modelos de la materia consideraban a esta como un conjunto de osciladores, por lo que no era del todo descabellada la idea de Planck de que estos osciladores s olo pudiesen absorber la energ a o emitirla mediante porciones individuales podr a ser una especie de resonancia, o algo parecido. No obstante para Planck la luz segu a siendo una onda perfectamente continua y perfectamente descrita por las leyes de Maxwell. Antes de continuar nuestra historia debemos hacer un breve par entesis para explicar cu ales fueron las principales causas de que la hip otesis de Planck calara tan hondo el la f sica de principios de siglo. El primer hecho importante es que, como ya hemos mencionado, la f ormula de Planck se correspond a exactamente con la curva experimental para el cuerpo negro obtenida en los laboratorios. Pero adem as permit a resolver una de las paradojas de la f sica cl asica: la denominada cat astrofe ultravioleta, consecuencia de la f ormula de RayleighJeans. Si la f ormula (2.1.2) era correcta entonces la densidad de equilibrio de la energ a u(T ) de la radiaci on (2.1.1) daba innito, es decir que nunca se alcanzar a el equilibrio termodin amico entre la materia y la radiaci on. Si usamos (2.1.3) tenemos U (T ) =
0

u(, T )d =

2 k4 4 T = T 4 , 60c2 3

donde es una constante conocida tambi en como constante de Boltzmann para la densidad o luminosidad de la energ a de radiaci on. Planck calcul o adem as el valor de la constante en su f ormula para que se correspondiera con los valores experimentales obteniendo el valor aproximado 1,05 1034 Jules por segundo1 . Cuando sustituy o este valor el la f ormula para obtuvo exactamente el valor num erico de esta. Es decir, Planck resolvi o de forma brillante la segunda de las nubecillas de Lord Kelvin.
1 Muchas

veces en vez de

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

2.2. Einstein y el efecto fotoel ectrico

19

Estos resultados fueron publicados por Planck el 14 de octubre de 1900, d a ocial del nacimiento de la teor a cu antica. Qui en iba a imaginar que este trabajo iba a revolucionar la f sica por completo! El segundo hecho, que adem as fue crucial en la historia de la mec anica cu antica, fue la prueba de Henri Poincar e (en el oto no de 1911) de que la distribuci on = Henri Poincair e exp kT , 1

s olo se pod a obtener bajo la suposici on de que la energ a est a cuantizada, es decir desde el punto de vista matem atico la f ormula de Planck s olo puede ser deducida bajo la suposici on de que la energ a se emite y absorbe en porciones discretas de energ a algo que era totalmente distinto a la concepci on cl asica del mundo que se ten a hasta la fecha.

2.2.

Einstein y el efecto fotoel ectrico

El siguiente paso lo dio Einstein en 1905 en un ensayo titulado Sobre un punto de vista heur stico acerca de la producci on y la transformaci on de la luz que recibi o el mismo Max Planck para su publicaci on en los Annalen der Physik. Einstein, totalmente seducido por los quanta de Planck, lanza la hip otesis de que no s olo los osciladores materiales emit an energ a cuanticadamente, sino tambi en los osciladores lum nicos. Einstein retomando las ideas corpusculares sobre la luz Newton ya hab a desarrollado una teor a corpuscular a nales del siglo XVII considera la luz formada por part culas de masa cero y energ a : los fotones. Utilizando estas hip otesis dio una explicaci on sencill sima al efecto fotoel ectrico que hab a descubierto Hertz en 1887 y que segu a sin tener una explicaci on satisfactoria.

Hertz hab a descubierto que una placa met alica sometida a una luz ultravioleta altas frecuencias emit a electrones. A nos m as tarde se comprob o que el n umero de dichos electrones aumentaba proporcionalmente a la intensidad de la radiaci on pero incomprensiblemente la velocidad de estos no depend a de la intensidad sino de la frecuencia de luz: a mayor frecuencia, mayor velocidad. Adem as si la frecuencia era lo sucientemente baja o la longitud de onda muy grande ya no se emit an electrones independientemente de lo intensa que fuese la luz incidente. Para resolver el problema Einstein razon o como sigue: Supongamos que usamos una luz monocrom atica compuesta por quantas de energ a luminosa , es decir que estamos bombardeando la l amina met alica con part culas luminosas cada una de las cuales tiene

Albert Einstein

20

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

luz Metal

electrones

Figura 2.3: Efecto fotoel ectrico

una energ a . Si denotamos por W la energ a necesaria para extraer un electr on del metal, entonces la energ a cin etica de los electrones, Ec , se expresar a mediante la f ormula Ec = W. (2.2.1)

Todas las observaciones descritas anteriormente son una consecuencia de la f ormula anterior! A nos m as tarde, el f sico estadounidense Robert Millikan comprueba experimentalmente la f ormula de Einstein (2.2.1) y encuentra que es la misma de Planck. Esta fue la gota que colm o el vaso, pues al parecer la luz, que era aceptada un animemente por todos como un fen omeno continuo, ten a al parecer cierta naturaleza corpuscular.

2.3.

Bohr y el modelo at omico

El pr oximo paso en la historia lo dio el dan es Niels Bohr.

Era un hecho aceptado en 1913 que el atomo estaba constituido por un n ucleo pesado y denso que conten a toda la materia del atomo y electrones girando a su alrededor. Este modelo, una especie de sistema solar en miniatura, sencillo y funcional fue propuesto por Rutherford a partir de los resultados de experimentos de dispersi on.2 S olo ten a un peque no problema: como toda carga en movimiento acelerado emite ondas electromagn eticas, los electrones que giraban alrededor del n ucleo deb an perder energ a y caer al n ucleo adem as en un tiempo r ecord: 105 segundos. Por tanto, ten a que haber alguna forma de poder retener a los electrones en sus orbitas. Niels Bohr Adem as, otro hecho conocido era que el espectro del atomo de hidr ogeno, por ejemplo, estaba constituido por l neas espectrales completamente separadas cuyas frecuencias se expresaban mediante la f ormula de 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 a tomos de oro con n ucleos de helio (part culas alpha).

 mico 2.3. Bohr y el modelo ato

21

El razonamiento de Bohr fue bastante l ogico: obligar al electr on que se mantuviera en ciertas orbitas permitidas (estables) y para pasar de una de estas orbitas a otra este deber a saltar por encima de todas aquellas no permitidas. Dichas orbitas, que Bohr consider o circulares, deb an ser tales que De todas las innitas orbitas posibles s olo son posibles aquellas en la que su momento angular L = mvr, siendo m la masa del electr on, v , su velocidad y r el radio de la orbita, fuesen m ultiplos enteros de , i.e. mrv = n . La energ a que absorbe o emite un atomo al saltar un electr on de una orbita permitida a otra es igual a , es decir para saltar de una orbita a otra el atomo absorbe o emite un quanta de luz. Veamos las consecuencias de las hip otesis cu anticas de Bohr. 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 orbitas permitidas m rn = n . me2 Figura 2.4: El atomo de Bohr
2 2 2 2
111111111111111 000000000000000 000000000000000 111111111 111111111111111 000000000 000000000000000 111111111111111 000000000 000000000000000 111111111 111111111111111 000000000 111111111 000000000000000 111111111111111 000000000 111111111 000000000000000 111111111111111 000000000 111111111 000000000000000 111111111111111 000000000 111111111 000000000000000 111111111111111 000000000 111111111 000000000000000 111111111111111 000000000 000000000000000 111111111 111111111111111 000000000 111111111 0000 1111 000000000000000 111111111111111 000000000 111111111 0000 1111 000000000000000 111111111111111 000000000 0000 1111 000000000000000 111111111 111111111111111 0000 1111 0000 1111

La energ a de la orbita es, por tanto3 , 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 orbitas daba para la frecuencia del fot on emitido el valor: = En Em = , n, k = 1, 2, 3, . . . .

Cuando Bohr sustituy o en su f ormula el valor de m, e y , tomando para esta u ltima el valor de encontr o Planck, obtuvo justamente el valor de la constante de Rydberg R. Es decir, era m as que una simple constante introducida articialmente por Planck: era una de las constantes m as importantes de la naturaleza. Aunque el modelo de Bohr era muy funcional y explicaba muchos fen omenos, este continuaba siendo muy incompleto y adem as ten a demasiados interrogantes. De d onde sal a ese extra no postulado sobre las orbitas? Este era quiz a el punto m as obscuro de toda la teor a. No obstante, en su art culo Bohr sienta las bases de lo que luego se denomin o el Principio de correspondencia de Bohr. El el, Bohr postula c omo deb a ser la teor a cu antica: esta ten a que ser tal que, para n umeros cu anticos grandes, por ejemplo n en las f ormulas anteriores, se transformase en la teor a cl asica. A nos m as tarde, Bohr junto a Sommerfeld mejoran mucho el modelo at omico inicial incluyendo orbitas el pticas, entre otras cosas. Pero no es hasta 1925-1926 que no nace la nueva teor a cu antica a manos de un joven f sico alem an: Werner Heisenberg y un f sico austriaco: Erwin Schr odinger.
3 Hemos

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

22

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

2.4.
2.4.1.

El nacimiento de la Mec anica Cu antica

La dualidad onda-part cula

Antes de poder describir los fundamentos de la Mec anica Cu antica tenemos que detenernos en un personaje singular: el franc es Louis de Broglie. Luis de Broglie era el hermano peque no del Marqu es Maurice De Broglie, un afamado f sico experimental franc es que dedicaba gran parte de su tiempo y dinero a la investigaci on experimental varias veces fue propuesto para el Nobel de F sicas. Un d a de 1923 Louis, inuenciado por el trabajo de Einstein sobre el efecto fotoel ectrico, postula que la dualidad ondapart cula que Einstein hab a proclamado para la luz tambi en hab a de ser cierta para las part culas materiales, como por ejemplo, el electr on: Sus palabras fueron En la Optica durante siglos ha sido demasiado despreciado el m etodo corpuscular de estudio en comparaci on con el ondulatorio. No se habr a cometido el error inverso en la teor a sobre la materia? . Si Einstein hab a recuperado la propiedad corpuscular para la luz, De Broglie la postul o para la materia. Al enterarse Einstein de las armaciones y trabajos de De Broglie arm o: De Broglie ha levantado un extremo del gran velo. Aunque Louis no consigui o convencer a ninguno de los f sicos del laboratorio de su hermano para que vericase su hip otesis estos estaban enfrascados en otros muchos proyectos, como los rayos X, en 1927 C. Davisson y L. Germer descubrieron una gura de difracci on al estudiar la dispersi on de electrones que luego fue corroborada independientemente por G.P. Thompson y por P. Tartakovsky. La genialidad de De Broglie fue equiparar un electr on a una onda plana. Por ejemplo, si tenemos un electr on de masa m y velocidad v , De Broglie postul o que el momento (impulso) p del electr on era p = mv = E 2 2 = = = , v v vT

Louis de Broglie

de esta forma De Broglie daba un signicado f sico a las orbitas de Bohr: estas eran justo aquellas orbitas tales que el cociente entre su longitud y la longitud de onda del electr on era un n umero entero, es decir era una analog a completa a las ondas estacionarias sobre un anillo (c rculo).

2.4.2.

La Mec anica matricial de Heisenberg

La hip otesis de De Broglie fue la clave para una de las dos formulaciones de la Mec anica cu antica: La mec anica ondulatoria de Schr odinger. Pero antes debemos comentar la primera versi on de la Mec anica cu antica, la mec anica matricial, nacida en 1925 de la mano del joven f sico alem an Werner Heisenberg.

nica Cua ntica 2.4. El nacimiento de la Meca

23

En opini on de Heisenberg, una teor a f sica correcta ha de hacer uso u nica y exclusivamente de cantidades o magnitudes observables. Luego haciendo uso del principio de correspondencia de Bohr se lanz o a entender los estados estacionarios del atomo. Su razonamiento era, aproximadamente el siguiente: Una carga en movimiento con una determinada frecuencia deb a emitir radiaci on con dicha frecuencia como en la teor a cl asica. Este hecho era una consecuencia matem atica del an alisis de Fourier que Heisenberg aplicaba al mundo cu antico. Como frecuencias del espectro depend an de dos ndices n,m (v ease la f ormula de Balmer), Heisenberg postulaba que deb a haber tantos ndices como estados estacionarios no s olo como niveles de Werner Heisenberg energ a, pues se sab a que las series espectrales se modicaban al introducir los atomos en fuertes campos magn eticos. A continuaci on da un salto cualitativo al armar que toda magnitud f sica cl asica a(t) debe transformarse en el conjunto Anm (t). As , por ejemplo la posici on del electr on x(t) deb a ser sustituida por una tabla Xnm (t). A continuaci on Heisenberg razona como habr a de 2 calcularse Xnm (t) hasta obtener la f ormula
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 din amica que rige las magnitudes cu anticas 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 a, y obviamente [H, H ] = 0, entonces, de (2.4.1) se ten a la conservaci on de la energ a. En particular Heisenberg, junto a dos colegas alemanes de Gotinga, M. Born y P. Jordan, desarrollan toda una Mec anica matricial que se ajustaba muy bien a las observaciones pocas, por cierto de la epoca. Aparte de sus aberrantes matrices como les llamaban los f sicos de la epoca, especialmente Schr odinger Heisenberg descubri o, o m as bien postul o, un principio tremendamente pol emico: el principio de incertidumbre de Heisenberg. De hecho en sus primeros razonamientos para construir la mec anica matricial Heisenberg descubre la imposibilidad de conocer al mismo tiempo y con una precisi on arbitraria la posici on y la velocidad del electr on. Obviamente ese cambio radical no fue bien recibido por la mayor a de los f sicos. En primer lugar representaba un cambio dr astico de pensamiento esas aberrantes matrices, en segundo, su aparato matem atico era lo sucientemente complicado para que no estuviera al alcance de cualquiera. Por eso no es de extra nar que pronto apareciera un competidor.

2.4.3.

La Mec anica ondulatoria de Schr odinger

En efecto, en 1926, Erwin Schr odinger andaba buscando una teor a que acabase con esa aberraci on de las matrices que Heisenberg intentaba introducir en la f sica, cuando, a sugerencia de P. Debije, estudia el trabajo de De Broglie publicado 1924.

24

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

Seg un el mismo Schr odinger, un simple vistazo le fue suciente para dar con la idea: asociar a cada part cula una onda y construir la ecuaci on diferencial que gobierna dicha onda. Al principio Schr odinger intent o construir una teor a ondulatoria para un electr on atrapado en un atomo. Comienza con un modelo relativista pero no le sale bien y decide ver qu e ocurre en el caso no relativista. La idea de Schr odinger era muy simple: Supongamos que tenemos una onda (x, t) asociada a un sistema cl asico cuya energ a viene dada por la funci on de Hamilton, el Hamiltoniano, H (x, p), siendo x la coordenada y p el impulso. Entonces, despu es de un largo proceso de prueba y error, y usando el principio de correspondencia de Bohr as como distintos elementos de la mec anica cl asica superior las ecuaciones de HamiltonJacobi, por ejemplo, Schr odinger postul o que la ecuaci on para una onda (x, t) deb a ser, en el caso estacionario, es decir cuando no hay dependencia del tiempo, H (x, p ) (x, t) = E (x, t), Erwin Schr odinger p = i , x

donde E era la energ a del sistema asociado a la onda . Es decir, en el caso cuando tenemos un Hamiltoniano est andar, H (x, p) = p2 + V (x), 2m

siendo V (x) la funci on potencial (energ a potencial), se tiene la ecuaci on de diferencial 2 + V (x)(x, t) = E (x, t). 2m x2
2

(2.4.2)

Una de las pruebas de fuego de su ecuaci on fue el caso V (x) = 0, es decir cuando se ten a el movimiento de una part cula libre. Si consideramos el caso unidimensional, y hacemos V (x) = 0, la soluci on deb a ser una onda plana del tipo (x, t) = A cos(kx + t), k= 2 .

Si sustituimos este valor en la ecuaci on de Schr odinger tenemos el valor E= k , 2m

2 2

que igualado con el valor de la energ a cin etica recordemos que V (x) = 0 nos da p= k= 2 ,

que justamente era la f ormula que hab a postulado De Broglie. Pero su mayor exito estaba por llegar. Schr odinger decidi o aplicar su ecuaci on al atomo de hidr ogeno. Como en este caso el potencial era V (r) = e2 , r r= x2 + y 2 + z 2 ,

nica Cua ntica 2.4. El nacimiento de la Meca obtuvo la ecuaci on

2

25

2m

2 2 2 + + x2 y 2 z 2

(x, y, z )

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

(2.4.3)

A esta ecuaci on volveremos m as adelante. Lo importante era que Schr odinger sab a como tratar este tipo de ecuaciones y la resolvi o. Primero la escribi o en coordenadas esf ericas 2 y luego aplic o la separaci on de variables. La parte angular del laplaciano, := x 2 + 2 2 ericas era muy sencilla de resolver apareciendo las funciones y 2 + z 2 , en coordenadas esf o arm onicos esf ericos de Laplace. En particular Schr odinger obtuvo para los valores de la energ a en el estado estacionario del atomo de hidr ogeno la f ormula En = que era la misma de Bohr (2.3.1). Finalmente Schr odinger, igual que hizo Heisenberg, dedujo una ecuaci on para la din amica de un sistema, que en el caso unidimensional tiene la forma H x, i x (x, t) = i (x, t). t me4 1 , 2 2 n2

Si tenemos un Hamiltoniano est andar, esta se transforma en 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 a deducir f acilmente la ecuaci on (2.4.2), para los sistemas estacionarios, introduciendo la factorizaci on (x, t) = (x) exp iEt .

2.4.4.

Una deducci on de la ecuaci on de Schr odinger

La ecuaci on de Schr odinger no se puede deducir, es sencillamente un postulado impuesto, o mejor, descubierto. No obstante, existe un razonamiento muy sencillo que permite dar con la forma de esta ecuaci on. Supongamos que tenemos una part cula libre y le asociamos cierta onda plana (x, t) = Aei(kxt) , k= 2 .

Seg un De Broglie p = 2 /, as que k = p/ , y adem as, usando la f ormula de Planck = 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=

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

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 interpretaci on de la Mec anica cu antica

Los trabajos de Schr odinger calaron muy hondo en los f sicos de la epoca. En particular aparentemente se perd a la cualidad discreta del modelo de Bohr al aparecer nuevamente las ondas, en este caso la onda . El mismo Schr odinger intent o darle un signicado a la onda de su ecuaci on usando ciertas analog as con la mec anica de uidos ecuaci on de continuidad para el uido electr onico, pero no tuvo exito en su intento.

Fue Max Born, colega y amigo de Heisenberg el mismo ayud o a Heisenberg a construir la Mec anica matricial, qui en r apidamente intuy o una interpretaci on plausible. Bas andose en los resultados experimentales sobre la dispersi on de ondas planas recordemos que el electr on libre se consideraba Max Born como tal en la mec anica ondulatoria de Schr odinger Born asegur o que la funci on de onda (x) daba la probabilidad de que una part cula fuese detectada en la posici on x y que dicha probabilidad era proporcional a |(x)|2 , es decir la Mec anica ondulatoria, al igual que la matricial como se ver a m as tarde, era una teor a estad stica incluso para describir una u nica part cula. Este trabajo publicado en julio de 1926, apenas un mes despu es del art culo de Schr odinger sobre la ecuaci on no estacionaria abri o una de las pol emicas m as grandes de la historia de la ciencia en los u ltimos 100 a nos: La f sica cu antica es, por principio, no determinista. El mismo Born escribi o al nal de su art culo: Aunque el problema del determinismo ha aparecido [. . . ] yo mismo me inclino a dejar a un lado el determinismo en el mundo de los a tomos. Pero esto es una cuesti on los oca para la cual los argumentos f sicos no son concluyentes.

 n de la Meca nica cua ntica 2.5. La interpretacio

27

El problema los oco de Born se agudiz o todav a m as cuando Dirac por un lado, y el mismo Schr odinger por el otro probaban que las dos formulaciones de la Mec anica cu antica, la matricial y la ondulatoria, eran equivalentes: A cada funci on de la posici on y el momento [en la mec anica ondulatoria] se le puede hacer corresponder una matriz de forma que en cada caso dichas matrices satisfacen las reglas formales de c alculo de Born y Heisenberg [. . . ]. La soluci on del problema de contorno de la ecuaci on diferencial [en la mec anica ondulatoria] es completamente equivalente a la soluci on del problema algebraico de Heisenberg escribi o Schr odinger en 1926. El problema de la interpretaci on de la Mec anica Cu antica termin o en una pelea abierta entre los que la defend an y la consideraban una teor a completa Bohr, Heisenberg, Born, Pauli, etc y la que la consideraban incompleta Schr odinger, Einstein, etc. Como ejemplo de esta pol emica es representativa la carta que escribe Einstein a Born el 7 de septiembre de 1944: Nuestras expectativas cient cas nos han conducido a cada uno a las ant podas del otro. T u crees en un Dios que juega a los dados, y yo en el valor u nico de las leyes en un universo en el que cada cosa existe objetivamente [. . . ]. El gran exito de la teor a de los quanta desde sus comienzos no puede hacerme creer en el car acter fundamental de ese juego de dados [. . . ]. Alg un d a se descubrir a cual de estas dos actitudes instintivas es la buena. Parte importante para entender esta pol emica viene del hecho de ambas teor as, la mec anica matricial y la ondulatoria, describ an rigurosamente muchos de los fen omenos del micromundo, pero ambas ten an un gran problema C omo denir si una part cula cu antica estaba en un estado determinado o en otro? Un sencillo ejemplo de lo que ocurre es lo siguiente. Imaginemos que denimos los estados mediante la funci on usando la ecuaci on de Schr odinger y supongamos que nuestro sistema puede encontrarse en dos estados A y B denidos por la funci o n 1 y 2 , respectivamente, y que al primero le corresponde una energ a E1 y al segundo E2 , entonces siempre tenemos que un estado posible es el estado = a1 1 + a2 2 (pues la ecuaci on de Schr odinger es lineal). Resulta entonces que si tenemos un instrumento que nos mide la energ a de nuestro sistema este nos dar a unas veces E1 y otras E2 , y justo la probabilidad de que nos d e una u otra es proporcional a |a1 |2 y |a2 |2 , respectivamente. Esta era la interpretaci on probabil stica que tan poco gustaba a Einstein. Todo ello se agudiz o todav a m as cuando Heisenberg descubre su principio de incertidumbre en 1926.

2.5.1.

El principio de incertidumbre de Heisenberg

Usando el formalismo ondulatorio, Heisenberg comprob o que deb a existir un principio de incertidumbre al medir ciertas cantidades f sicas como la posici on y el momento. En 1926, Heisenberg consider o una onda gaussiana normalizada del tipo (x, 0) =
1

(xx0 )2 2b2

p0 x

=
R

(xx0 )2 b2

dx,

28 es decir4

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

(x, 0)(x, 0)dx =

R R

|(x, 0)|2 dx = 1.

Si una part cula ven a descrita por dicha onda, entonces usando la idea de Born, el valor medio para la posici on de la part cula era x =
R

(x, 0)x(x, 0) =
R

x|(x, 0)|2 dx = x0 ,

, y para la posici on, usando que el operador correspondiente al momento era p = i x tenemos (x, 0) p(x, 0) = p0 , p =
R

es decir que nuestra part cula tiene un momento p0 y est a en la posici on x0 . Si ahora intentamos determinar con que precisi on estamos calculando los valores de estas dos 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)( p p0 )2 (x, 0) =

2b2

de forma que , o, equivalentemente, xp = , 4 2 con x = x y p = p . Es decir, no podemos nunca medir con una precisi on tan grande como se quiera las dos magnitudes x y p. De hecho, resulta ser que x p =

o justo la onda que minimizaba el principio que xp , es decir, Heisenberg descubri 2 lleva su nombre. De d onde sale esta incertidumbre que no existe en la mec anica cl asica?

2.6.

El experimento de difracci on y el principio de incertidumbre

Veamos un experimento imaginario. Supongamos que tenemos una pared con un agujero en el centro de di ametro d y lanzamos un electr on cuya trayectoria es perpendicular a la pared y que pasa por dicho oricio. Supongamos que el electr on se comporta como una onda monocrom atica de con longitud de . Entonces obtenemos la bien conocida gura de difracci on5 , con forma de c rculos conc entricos alrededor del punto O (ver gura 2.5). Para describirla representamos el experimento en la gura 2.6. En este caso para describir la difracci on se suele dividir la rendija en 2N partes iguales. Nos interesa conocer donde aparece el primer m nimo por lo que escogerenos N = 1, i.e., dividiremos
operaci on a denota el complejo conjugado de a. a asumir que tanto la fuente de electrones como el plano donde aparece la gura de difracci on est an lo sucientemente alejados del agujero y de esta forma usaremos el m etodo de Fraunhofer
5 Vamos 4 La

 n y el principio de incertidumbre 2.6. El experimento de difraccio

29

Figura 2.5: Esquema de difracci on de rayos X y electrones (izquierda) y de luz monocrom atica (derecha)

11 00 000000000000000000000000 111111111111111111111111 A 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 00 11 000000000000000000000000 111111111111111111111111 000000000000000000000000 O 111111111111111111111111 d 00 11 00 11 00 11 2 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11

111 000 000 111 000 111 000 111 000 111 000 111 000 111 0 1 0000 1111 0 1 0000 d 1111 0 1 0000 1111 0000 0 1 0000 1111 2 1111 0000 1111 0000 1111 0 1 0000 1111 0 d 1 sen 2 111 000 000 111 000 111 000 111 000 111 000 111 000 111

Figura 2.6: Esquema de difracci on (izquierda) y detalle del mismo (derecha)

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 adem as que en el punto A habr a un m 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 umero 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 a cuando d sen = . Obviamente para nuestro electr on py es cero ya que el se mueve en el eje de 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 gr aca de dispersi on. Por tanto, la indeterminaci on y del electr on en el momento de pasar por el oricio es del orden y = d (pues sabemos que el electr on ha pasado). Ahora bien, como tenemos una gr aca de dispersi on, resulta que el electr on tiene que haber ganado cierto impulso py en la direcci on perpendicular a su eje, eso nos da una cierta indeterminaci on del orden

30

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

py . Para calcularla usamos la teor a ondulatoria de de Broglie para el electr on, py = px sen , px = 2 /. Para calcular asumiremos que el electr on va a parar dentro del c rculo que marca en primer m aximo en la gr aca de dispersi on los otros los despreciamos al ser estos 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 Mec anica cu antica. Por ejemplo, es el el causante de que los electrones no caigan al n ucleo pues en ese caso tanto p como x valdr an cero. Otra consecuencia del principio de incertidumbre es la desaparici on del concepto cl asico de trayectoria.

2.7.

Las matem aticas de la Mec anica Cu antica

Las matem aticas de la Mec anica Cu antica est an estrechamente ligadas al problema de la interpretaci on. La principal raz on se debe a que una misma teor a no puede contener dos tipos de postulados, principios o axiomas: los cl asicos y los cu anticos. Por tanto los principios de la f sica cl asica deben obtenerse de los axiomas de la Mec anica cu antica al pasar al mundo macrosc opico donde la f sica cl asica es aplicable. La construcci on matem atica impuso el orden en el aparente caos de la interpretaci on. Los principales axiomas o postulados de la Mec anica Cu antica se pueden resumir en los siguientes: I. Cualquier magnitud f sica se describe a trav es de un operador lineal herm 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 funci on de onda del sistema est a gobernada por la ecuaci on de Schr odinger , 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 a denido un producto escalar a|b , cualesquiera sean los vectores a, b H y que es 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 sucesi on de Cauchy en H es convergente. el que usaremos la notaci on de Dirac: el producto escalar de x e y se denotar a por x|y .

ticas de la Meca nica Cua ntica 2.7. Las matema

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 medici on (derecha). El aparato de medici on interere en el sistema acabando con la incertidumbre del mismo. como ciertos operadores lineales sobre H. Adem as, las funciones de onda de Schr odinger 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 a una base ortonormal de autovectores y adem as los correspondientes autovalores eran reales. En especial esta u ltima propiedad era decisiva a la hora de identicar los operadores con las magnitudes f sicas medibles, que son cantidades reales. Es decir, la matem atica de la Mec anica Cu antica, es la matem atica de los operadores en los espacios de Hilbert. Parte de esa teor a era conocida a principios del siglo XX pero gran parte de la misma se desarroll o en Gotinga impulsada por David Hilbert pero fundamentalmente desarrollada por John Von Neumann cuya obra quedar a plasmada en el magn co libro Fundamentos Matem aticos de la Mec anica Cu antica publicado en 1932.

2.7.1.

El gato de Schr odinger

Von Neumann intent o dar una construcci on l ogica a la Mec anica Cu antica introduciendo una teor a de mediciones. Como ejemplo, supongamos que tenemos dos posibles estados A y B de un sistema denidos por las funciones de onda 1 y 2 , respectivamente. C omo saber en cual de los estados est a el sistema? Este dilema se resolv a al hacer el experimento. De la interacci on del aparato de medici on con el sistema se conclu a en que estado estaba (o m as bien, se quedaba) el sistema (ver gura 2.7)8 . Esta teor a estaba plagada de efectos curiosos. Uno de los m as famosos es el hecho de que al medir una cantidad f sica f (a) de un sistema f sico microsc opico (cu antico) A debemos usar un instrumento que es, en s mismo otro sistema f sico M y que obviamente es cl asico, es decir, su comportamiento se puede explicar con las leyes de la f sica cl asica. Pero entonces puede ocurrir que la interacci on entre A y M , necesaria para poder saber el valor de f (a) cree una interferencia que se transera al mundo macrosc opico. Es decir, si tenemos un sistema en el estado = c1 1 + c2 2 ,
8 Este

efecto se denomina com unmente el colapso de la funci on de onda.

32

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

entonces, al realizar la medici on en vez de tener el sistema A + M en un estado donde no se mezcle el estado de nuestro sistema cu antico con el estado de nuestro instrumento cl asico, tendremos una superposici on m as complicada A +M = c 1 1 1 + c 2 2 2 , donde se han mezclado estados cu anticos y cl asicos. Esto no est a de acuerdo con el principio de correspondencia de Bohr, ya que este insist a que la f sica cu antica deb a estar aparte de la cl asica. Obviamente podemos pensar que para resolverlo basta con usar 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 o resolver esta paradoja introduciendo en la cadena al observador humano que no se deja interferir por el sistema cu antico.

Figura 2.8: La paradoja del Gato de Schr odinger. Arriba se muestra lo que ocurre a puerda cerrada: una dualidad gato vivo-gato muerto que s olo se resuelva al abrir la caja cuando el observador descubre o que el gato est a vivo (1), o que est a muerto (2).

Esto llev o Schr odinger en 1935 a construir su famosa paradoja del gato (ver gura 2.8), conocida hoy d a como el Gato de Schr odinger. En ella Schr odinger usa como experimento la desintegraci on radioactiva. Las posibilidades son dos: tiene lugar la desintegraci on del atomo o no tiene lugar. El instrumento de medici on es un detector que activa un diab olico martillo que, en caso de que ocurra la desintegraci on, golpea un recipiente de cristal con veneno y lo rompe. Y ahora Schr odinger mete su instrumento dentro de una caja negra sin ventanas ni puertas, junto con . . . un pobre gato. La funci on de onda A+M representar a entonces el estado gato vivogato muerto. S olo un observador humano sobre el cual no interferir a el estado cu antico del atomo ser a capaz de resolver esa paradoja de gato vivo-muerto pues al abrir la caja se encontrar a con una apacible o cruda realidad en funci on del amor que profese a los gatos el susodicho observador. Hemos traspasado una propiedad microsc opica, cu antica, al mundo macrosc opico, cl asico, lo cual est a en abierta contradicci on con el principio de correspondencia del que ya hemos hablado. Aunque Bohr dio su versi on a la interpretaci on de Schr odinger no vamos a incluirla y vamos a considerar esta parte concluida. La resoluci on formal de esta paradoja

ticas de la Meca nica Cua ntica 2.7. Las matema

33

se traducir a en un axioma concreto de la Mec anica Cu antica como veremos m as adelante. Lo que est a claro de todo lo anterior es que la interpretaci on9 de la Mec anica Cu antica es algo para meditar y pensar: es una cuesti on los oca para la cual los argumentos f sicos no son concluyentes, como dijo Born en su ya mencionado art culo. Sobre la bibliograf a M as detalles hist oricos los puedes encontrar en [2, 5, 9, 12, 15, 20]. Como introducci on a nivel elemental de f sica cu antica se pueden consultar [7, 16, 21]. Textos m as avanzados lo constituyen [3, 6, 12, 14, 17, 19]. Una magn ca introducci on de lo que pretende la f sica y de su interacci on con las matem aticas se tiene en [8].

9 Hoy d a no hay unanimidad en como interpretar la teor a cu antica. Un magn co libro sobre el tema es Lo decible y lo indecible en mec anica cu antica de John S. Bell (Alianza Universidad, 1990).

34

mo se gesto la Meca nica cua ntica? Cap tulo 2. Co

Cap tulo 3

Mec anica Cu antica I: Movimiento de una part cula material

Vamos a comenzar describiendo el sistema cu antico m as sencillo: una u nica part cula sometida a un potencial externo V (r ). Comenzaremos describiendo los principales postulados. Una magn ca introducci on se puede consultar en [3].

3.1.

Los postulados de la Mec anica Cu antica

Postulado 3.1.1 El estado de una part cula de masa m en el instante de tiempo t viene biun vocamente determinado por la funci on de onda (r, t). La densidad de probabilidad de encontrar la part cula en el instante t en la regi on del espacio de volumen d3 r alrededor 3 2 3 del punto r es d P (r ) = |(r, t)| d 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 regi on accesible a la part cula, es decir, la regi on donde con certeza absoluta puede estar la part cula (en general dicha regi on ser a R3 ). Lo anterior indica que, para cada t, la funci on es de cuadrado integrable y esta normalizada a la unidad. Al espacio vectorial de las funciones de cuadrado integrable lo denotaremos por L2 () o simplemente L2 . M as a un, como veremos m as adelante, ha de satisfacer una ecuaci on din amica, as que es natural que (r, t) sea una funci on continua y diferenciable (al menos). Luego, ha de ser tal que (r, t) tiende a cero si r en caso contrario no ser a de cuadrado integrable en R3 . Obviamente si es nito, del postulado 3.1.1 se sigue que 35

36

nica Cua ntica I: part Cap tulo 3. Meca cula material

(r, t) = 0 en la frontera y fuera de , ya que en caso contrario existir a una probabilidad nita de que la part cula estuviese en el exterior de lo cual ser a una contradicci on. 2. Obviamente el estado de una part cula en cada instante t queda determinado a excepci on de una fase ei , R. Es decir, las funciones de onda (r, t) y (r, t)ei describen el mismo estado del sistema. De lo anterior se sigue adem as que la fase no es un observable. Una cuesti on f sica de vital importante que surge inmediatamente es: C omo vamos a medir nuestros observables? Supongamos que vamos a medir la posici on r de la part cula. Para ello asumimos que 1. La medici on se hace con un aparato cl asico, i.e., el aparato no precisa una descripci on cu antica (por ejemplo una regla o un metro). 2. La precisi on del aparato es, en principio, tan alta como se quiera. 3. El resultado de la medici on es: En el instante t la part cula estaba en la posici on r r donde r es el error del aparato. C omo entender entonces la descripci on probabil stica del postulado 3.1.1? Para ello imaginemos que tenemos N cajas id enticas y N part culas id enticas de forma que en cada caja hay una u nica part cula. Asumamos adem as que todas las part culas est an en el mismo estado, i.e., (r, t) es la misma para cada una de ellas en el instante de la medici on. Si medimos las posiciones de cada part cula independientemente obtendremos los valores r1 , r2 , . . . , rN , no necesariamente iguales, que estar an distribuidos de 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 dispersi on es xi = x2 i xi

2

(xi xi )2 |(r, t)|2 d3 r.

La dispersi on x tiene un signicado muy preciso: si x es peque no, entonces |(r, t)|2 est a muy concentrada alrededor de su valor medio x , lo que indica que la part cula se encuentra con probabilidad alta muy cerca de la posici on x . Por el contrario, si x, entonces |(r, t)|2 est a muy dispersa y la part cula tiene una probabilidad baja de estar cerca de x .1 Para explicar los fen omenos de interferencia y difracci on de electrones que mencionamos 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 funci on caracter stica del intervalo [a, b], i.e., vale 1 si x [a, b] y 0 en otro caso. Entonces, b x = a+ y x = (b a)2 /12. Como vemos si a y b est an cercanos entonces la dispersi on es peque na y 2 tenemos que la part cula est a muy cerca de la posici on media. Por el contrario si a y b dieren mucho la part cula est a equiprobablemente dispersa en el intervalo [a, b] (muy grande). Este ejemplo se lo debo a de Francisco J. (Pacho) Ruiz Blasco de la Universidad de Zaragoza.

nica Cua ntica 3.1. Los postulados de la Meca

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 funci on de onda, es decir, puede representar un posible estado del sistema.2 Lo anterior indica que, para cada t, cualquier combinaci on lineal de funciones es una (posible) funci on de onda. Ello implica adem as que la ecuaci on de evoluci on que gobierne o determine las funciones de onda ha de ser lineal. Postulado 3.1.3 (Ecuaci on din amica) La funci on de onda viene determinada por la ecuaci on de Schr odinger 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 part cula. La ecuaci on anterior se suele escribir de la forma i (r, t) = H (r, t), t (3.1.2)

donde H es el operador correspondiente al hamiltoniano del sistema. En nuestro caso est a claro que es
2

+ V (r, t)I. 2m Antes de continuar debemos destacar que aqu s olo trataremos el caso cuando el potencial V es independiente del tiempo. H := Nuevamente proceden una serie de comentarios. En primer lugar si V := 0 (part cula libre) una soluci on de la ecuaci on viene dada 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 un ya vimos, E = , obtenemos = k 2m
2 2

E=

k , 2m

2 2

de donde, al no haber (energ a) potencial E = T = p2 /2m, por tanto se sigue que p = k , que es precisamente la f ormula de De Broglie para expresar la dualidad onda-part cula.
2 N otese que si 1 = 2 = 0, se tiene 0, es decir la part cula no est a en ning un sitio. Aunque formalmente esta es una posibilidad en la pr actica se asume que = 0 en todo ( es la regi on donde podr a estar la part cula, luego en alg un punto de la funci on ha de ser distinta de cero). Si 1 y 2 est an normalizadas a la unidad, entonces para que lo est e basta que |1 |2 + |2 |2 = 1. 2 2 2 3 En coordenadas cartesianas es = + + . x2 y 2 z 2

38

nica Cua ntica I: part Cap tulo 3. Meca cula material

Es decir, la ecuaci on de Schr odinger tiene como soluci on posible la onda de materia de De Broglie. Un simple vistazo a la expresi on para la onda de De Broglie nos revela un problema : esta funci on no es de cuadrado integrable y por tanto no puede describir de acuerdo con el postulado 3.1.1 ning un estado real de una part cula. Para resolver esta aparente contradicci on se introducen los paquetes de ondas. Formalmente un paquete de ondas es un conjunto de ondas planas monocrom aticas superpuestas. Usando que p = k y E = tenemos, para cada onda la ecuaci on p (r, t) = (p)e luego la superposici on de todas ser a (r, t) =
R3
i i

(pr Et)

(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 . Adem as, 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 relaci on de (r, t) y (p, t) como transformada de Fourier una de la otra tiene una implicaci on interesante: (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 an para describir el estado de nuestro sistema. Adem as, de la teor a de las transformadas de Fourier tenemos que, si denimos la 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 i pi ,

(3.1.4)

entonces xi pi /2, y la igualdad s olo tiene lugar cuando (r, t) es proporcional a 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 a muy dispersa en el espacio, entonces el valor del impulso p est a muy concentrado y si (r, t) est a muy dispersa entonces p est a muy disperso. En la gura 3.1 se muestra lo que ocurre para el caso unidimensional cuando tomamos en (3.1.3) (pp )2 1 2( 0 )2 (p) = e 1 4

nica Cua ntica 3.1. Los postulados de la Meca

|(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: Distribuci on de (x, t) y (p, t) ( = 1)

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 a hasta ahora descrita consiste en probar que la norma de (r, t) es independiente del tiempo (en otro caso no podr a denir una densidad de probabilidad). Para ello escribimos la ecuaci on de Schr odinger (3.1.1) para 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 n umero complejo z

40

nica Cua ntica I: part Cap tulo 3. Meca cula material

multiplicamos la primera por , la segunda por , las restamos y tomamos la integral en toda la regi on (ver postulado 3.1.1) 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 u ltima de las integrales usamos la f ormula de Green obtenemos

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

(r ) donde dS es el elemento de area de la supercie y f n denota la derivada direccional de f en la direcci on del vector normal al elemento de supercie dS .5 Si ahora hacemos r la u ltima integral se anula pues (r, t) (y por consiguiente (r, t)) se anulan cuando r (ver comentario 1 del postulado 3.1.1). Luego

|(r, t)|2 d3 r = 0.

Esto tiene una implicaci on f sica inmediata: Dado un estado inicial (r, t0 ) L2 (), este evoluciona seg un la ecuaci on de Schr odinger, i.e., en cada momento de tiempo viene descrito por la funci on (r, t) soluci on de (3.1.1) y adem as, |(r, t)|2 d3 r = |(r, t0 )|2 d3 r = 1,

es decir, (r, t) es normalizada a la unidad. Luego la ecuaci on de Schr odinger es consistente con los postulados 3.1.1 y 3.1.2. Vamos ahora a intentar convencernos de que para los momentos p se tienen las f ormulas (3.1.4). Para ello, como ya comentamos, necesitamos varios postulados que complementen a los anteriores. Postulado 3.1.4 A cualquier cantidad f sica medible A le asociaremos un operador herm tico A que act ua sobre el espacio de las funciones de cuadrado integrable L2 () a las que pertenecen las funciones de estado (r, t). i.e., A : L2 () L2 (). Adem as, dado un estado denido por una funci on de onda (r, t) que dene cierto estado del 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 dimensi on vale simplemente la integraci on por partes. el valor A (t) depende de la funci on de onda , no lo vamos a reejar en la notaci on para hacer esta lo menos engorrosa posible.

nica Cua ntica 3.1. Los postulados de la Meca 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.

N otese que si A es herm 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 I, r (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 a en concordancia con el postulado 3.1.1. por la expresi Deniremos el operador impulso p on := i , p donde denota al operador gradiente8 de R3 . Otros operadores importantes son 1. El operador energ a cin etica T := 2m , donde es, como antes, el laplaciano en R3 . 2. El operador energ a potencial V (r ) := V (r )I . 3. El operador energ a total E := T + V (r ). Este adem as constituye el operador de 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 medici on de una cantidad f sica medible A debe ser un autovalor del operador asociado A y el estado correspondiente a dicha medici on estar a denido por su correspondiente autofunci on.
7 Sobre estos operadores hablaremos con m as detalle en el pr oximo apartado dedicado a la Mec anica cu antica en espacios de Hilbert. 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 f acil comprobar que ambos operadores son herm ticos.

42

nica Cua ntica I: part Cap tulo 3. Meca cula material Es decir, tenemos la ecuaci on 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 Adem as, A2 =

2

(r, t) A(A(r, t)) d3 r = a2

A2 A = 0, es decir, el resultado de la medici on, en caso de que el A2 := sistema se encuentre en el estado a (r, t) correspondiente al autovalor a, es exacto. Este resultado lo discutiremos con m as detalle en el marco de los espacios de Hilbert.

3.2.

El principio de incertidumbre

y p cumplen con las siguientes relaciones: N otese que los operadores r [xi , xj ] = 0 = [pi , pj ], [xi , pj ] = i i,j I,

Lo curioso es que a partir de esta relaci on de conmutaci on se puede probar que si 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 f ormula anterior. Por simplicidad escogeremos el caso unidimensional (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, como veremos m propiedad es en realidad una consecuencia de la hermiticidad de A as adelante.

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))(i I (x))dx =

((x))([x, p](x))dx =

1 2i

Luego x p que es justo lo que quer amos probar. 2 ,

3.2.1.

Los estados estacionarios de la ecuaci on de Schr odinger

Supongamos que V no depende del tiempo. Entonces si hacemos el cambio (r, t) = (r )e lo sustituimos en (3.1.2) obtenemos la ecuaci on 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 a del sistema. N otese que los estados denidos por (3.2.1) son estados con una energ a constante (conservada) en el tiempo, adem as, la funci on (r, t) es peri odica en el tiempo con 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

nica Cua ntica I: part Cap tulo 3. Meca 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 a prejada y adem as no evolucionan en el tiempo. Lo anterior es muy u til para resolver la ecuaci on de Schr odinger general. Supongamos que (r, t = 0) =

c (r ),

(3.2.3)

entonces, la funci on de onda (estado) se escribe como (r, t) =

c e

E t

(r ).

La pregunta de cu ando el desarrollo (3.2.3) tiene lugar y como calcular los coecientes c lo vamos a dejar para m as adelante. En realidad lo que tiene que ocurrir es que las 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 soluci on de la ecuaci on de Schr odinger estacionaria 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. Adem as, y han de ser continuas en R as que tenemos las siguientes condiciones 1 (0) = 2 (0),
1 (0) = 2 (0),

2m(U0 E ), q =

2mE .

2 (L) = 3 (L),

2 (L) = 3 (L),

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 homog eneo tenga soluci on su determinante ha de anularse det Como k iq (k + iq )eiqL k + iq (k iq )eiqL k iq = 1, k + iq cos = =0 = k iq k + iq e2iqL = k iq k + iq
2

(3.3.1)

ei =

= 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 a E permitidos corresponden a la soluci on de la ecuaci on trascendental 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 =

nica Cua ntica I: part Cap tulo 3. Meca cula material 2mU0 L/ , entonces la ecuaci on anterior se escribe como tan x = 2 x(1 x) . 1 2x (3.3.3)

Es f acil comprobar que para todo esta ecuaci on tiene al menos una ra z real en (0, 1) por lo que nuestro sistema tiene al menos un estado estacionario. A medida que es m as grande el n umero de estados aumenta (v ease la gura 3.3).
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 ecuaci on (3.3.3) para = 1 (derecha) y = 10 (izquierda). N otese que si tomamos el l 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 a para un pozo innito (ver problema 3.3.1).

3.3.2.

El efecto t unel

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 soluci on de la ecuaci on de Schr odinger estacionaria x < 0, 0, 2 2 U , 0 < x < L, ( x ) + V ( x )( x ) = E ( x ) , V ( x ) = 0 2m x2 0, x > L.

47

(3.3.5)

donde q =

Vamos a comenzar considerando el caso E > U0 . La soluci on tiene la forma 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 reexi on y transporte (o paso) de la onda. Usando la continuidad de y obtenemos las siguientes condiciones 1 (0) = 2 (0),
1 (0) = 2 (0),

Ante todo notemos que esta soluci on es de tipo onda viajera, similar a la de una part cula libre, por lo que no es de cuadrado integrable y por tanto no puede describir ning un estado real (v ease la discusi on del postulado 3.1.3) por lo que habr a que denir los correspondientes paquetes de ondas. No obstante podemos considerar nuestra part cula como una onda descrita por la ecuaci on (3.3.5) y determinar su comportamiento en funci on de las amplitudes A1 , . . . , C2 de las mismas. Ante todo notemos que si es una soluci on correspondiente a la energ a E , tambi en lo es. Dado un valor de energ 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 soluci on general ser a una combinaci on lineal de ambas. As pues nos centraremos en la soluci on10 x < 0, 1 (x) = eikx + Aeikx , 2 (x) = B1 eiqx + B2 eiqx , 0 < x < L, + (x) = 3 (x) = Ceikx , x > L.
2 (L) = 3 (L),

2 (L) = 3 (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 sum andole y rest andole la cuarta se obtienen, respectivamente, las ecuaciones B1 =
10 Por

(k + q )eiL(kq) C, 2q

B2 =

(q k )eiL(k+q) C. 2q

la linealidad podemos tomar sin p erdida de generalidad A1 = 1.

48

nica Cua ntica I: part Cap tulo 3. Meca cula material

Multiplicando por k la primera ecuaci on de (3.3.6) y sum andole y rest andole la segunda 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 = . (k + q )2 eiqL (k q )2 eiqL (k 2 + 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 expresi on anterior se deduce que T (E ) 0. Adem as, si sen(qL) = 0, entonces 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 N otese que T (E ) 0, es decir, la part cula siempre traspasa la barrera!

y R(E ) = 1 T (E ).

Este efecto, imposible en la mec anica cl asica, se conoce como efecto t unel. Su gran importancia qued o reejada en el hecho de que en 1973 L. Esaki, I. Giaever y B.D. Josephson recibieron el premio nobel de f sica por sus descubrimientos relacionados con este efecto y m as trade en 1986 G. Binnig y H. Rohrer por su dise no de un microscopio electr onico basado en el efecto t unel. 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 mec anica cl asica), /(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 ecuaci on de Schr odinger estacionaria 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 ecuaci on de Schr odinger estacionaria para el potencial escal on 0, x < 0, V (x) = U0 , x > L.

Compara el resultado con el del caso de la barrera potencial de anchura innita.

50

nica Cua ntica I: part Cap tulo 3. Meca cula material

Cap tulo 4

Mec anica Cu antica II: Espacios de Hilbert

En este cap tulo desarrollaremos la Mec anica Cu antica sobre un espacio de Hilbert general. Aunque el cap tulo es autocontenido, es recomendable consultar el Anexo A donde se da una breve introducci on a la teor a de espacios funcionales (m etricos y normados), as como se desarrolla con m as detalles las propiedades de los espacios de Hilbert 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 . Denici on 4.1.1 Se dice que un espacio vectorial E es un espacio eucl deo si dados dos elementos cualesquiera x, y E existe un n umero denominado producto escalar y que 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 denici on anterior es que 1. Para todos x, y, z E, x + y, z = x, z + y, z .
1 En

adelante denotaremos por z al complejo conjugado del n umero complejo z

51

52

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca 2. Para todos x, y E y C, x, y = x, y

El ejemplo m as sencillo de espacio eucl deo es el espacio Cn con el producto escalar est andar. Otro ejemplo sencillo es el espacio C [a, b] de las funciones continuas en [a, b] 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 ecuaci on cuadr atica en , ||2 f, f + 2||| f, g | + g, g = 0, ha 2 de ser negativo, luego se tiene | f, g | f, f g, g 0, de donde se sigue (4.1.2). Denici on 4.1.2 Un espacio vectorial X se denomina espacio normado si para todo x X existe un n umero real denominado norma, que denotaremos por x , que cumple 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 eucl deo E es normado si en el denimos la norma mef, f . Adem as, f g | f, g |. diante la f ormula x = La demostraci on se deja como ejercicio.2 Por ejemplo, en el espacio C [a, b] podemos denir la norma por
b

f =
a

|f (x)|2 dx.

Denici on 4.1.4 Un espacio eucl deo E completo3 respecto a la norma inducida por un 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 2 = ( f, f + g, g ) = ( f + g ) . El resto de los axiomas es inmediato. 3 Un espacio E es completo si cualquier sucesi on de Cauchy en E converge a un vector de E.
2 Es

4.1. Espacios eucl deos y espacios normados

53

En adelante nos interesar an los espacios de Hilbert H separables, es decir, aquellos espacios de Hilbert que contienen un subconjunto numerable denso. Denici on 4.1.5 Sea el sistema de vectores {n } n=1 de H linealmente independiente es decir, que cualquier subsistema nito es linealmente independiente. Diremos que {n } n=1 es un sistema ortogonal dos a dos si n , m = n,m n 2 , n, m N. (4.1.4)

Por ejemplo, el sistema de funciones {1} {sen nx, cos nx} n=1 es un sistema ortogonal dos a dos respecto al producto escalar

f, g =

f (x)g (x)dx.

Denici on 4.1.6 Dado un vector x H deniremos la serie de Fourier respecto al sistema {n } n=1 a la serie s := n=1 cn n , donde los coecientes vienen dados por las x,n expresiones cn = n 2 , para todo n 1. Denici on 4.1.7 Dada f H y una sucesi on sn , se dice que sn converge en norma a f si l m f sn = 0.
n

Es f acil ver que si los vectores (no nulos) x1 , . . . , xn de un espacio eucl 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). Demostraci on: Para probar el teorema tomamos un sistema de vectores linealmente independiente (n )n de H cualquiera y denimos un nuevo sistema de vectores (n ) n=1 de la siguiente forma: 1. Tomamos 1 = 1 / 1 . 2 de la forma 2. A continuaci on escogemos 2 = 2 + 2,1 1 , 2 sea ortogonal al vector 1 , i.e. 1 , 2 = 0, de donde se deduce donde 2,1 es tal que 2 / 2 es ortonormal a 1 . que 2,1 = 1 , 2 . Entonces 2 = k , k 3, de la forma 3. Paso n. Escogemos n = n +
n1 k=1

n,k k ,

n sea ortogonal a todos donde los coecientes n,k , n N, k = 1, . . . , n 1 son tales que los vectores k , k = 1, 2, . . . , n 1, anteriores. Usando la ortogonalidad es f acil compron / n que bar que n,k = k , n , k = 1, 2, . . . , n 1. Finalmente denimos n =

54

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca

es ortonormal a todos los vectores anteriores k , k = 1, 2, . . . , n 1. Y as sucesivamente.2 El proceso anterior se denomina proceso de ortogonalizaci on de Gram-Schmidt. N otese que del proceso anterior se sigue adem as que, para cada n 1, n = n + Luego, k , n = 0, k = 0, 1, . . . n 1 n = 0, k , k = 0, 1, . . . n 1.
n1 k=1

k = n = n + n,k

n1 k=1

k . n,k

n admite la siguiente expresi Usando lo anterior es f acil ver que on expl 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)

n = 0, k = 1, 2, . . . , n 1, ya que el Para ello basta notar que el producto escalar k , determinante resultante tiene dos columnas iguales. N otese adem as que 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 tambi en que los n son un conjunto linealmente independiente de H si y s olo si los n = 0 (en nuestro caso n > 0), para todo n N. N otese que los subespacios generados por los vectores (n )n y (n )n coinciden. Teorema 4.1.9 Si el espacio eucl deo E es separable, entonces cualquier sistema ortogonal (ortonormal) de E es numerable. erdida de generalidad que el sistema (n )n es ortonormal. Demostraci on: Asumamos sin p 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 u nico vector n de nuestro sistema ortonormal. Sea ahora (k )k un conjunto numerable denso en E (pues este es separable). Entonces, en cada bola B (n , 1/2) habr a al menos un k , luego el n umero de bolas y por tanto de elementos n es numerable. 2

4.2. Operadores en H

55

4.2.

Operadores en H

Denici on 4.2.1 Un operador L es una aplicaci on de H en H1 , dos espacios de Hilbert, L : H H1 . En adelante asumiremos que H1 H. Denici on 4.2.2 Un operador L es lineal si 1 , 2 C, y 1 , 2 H, L(1 1 + 2 2 ) = 1 L1 + 2 L2 . Denici on 4.2.3 Deniremos el producto L = AB de dos operadores A y B al operador 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 multiplicaci on de operadores no es conmutativa. Denici on 4.2.4 Llamaremos conmutador de dos operadores A y B al operador [A, B ] := AB B A. As pues, dos operadores conmutan si y s olo si su conmutador es el operador nulo. Denici on 4.2.5 El operador I se denomina operador identidad si H, I = .

Denici on 4.2.6 El operador L1 se denomina operador inverso de L si LL1 = L1 L = I. En adelante vamos a usar la notaci on de Dirac para los vectores, los operadores y los productos escalares. As , un vector de H lo denotaremos por | (ket vector) y su correspondiente conjugado | (brac vector)4 . As , denotaremos el producto escalar , por | y adem as |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 est an normalizados a la unidad, i.e., = 1. Denici on 4.2.7 El operador L+ se denomina conjugado o adjunto de L si, |L| = |L+ | , i.e., |L = L+ | = |L+
4 Estos

(4.2.1)

nombres vienen de la palabra inglesa bracket.

56

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca De la denici on anterior se deduce f acilmente que 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 dimensi on nita. 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 i,j =1 . Si denotamos por + + + Li,j la matriz asociada al operador L , entonces Li,j = Lj,i . Otro ejemplo son los L que admiten una representaci on integral. Por ejemplo, supongamos que H = L2 (R) y L(x) =
R

L(x, y )(y )dy,

donde L(x, y ) es el n ucleo del operador, entonces, si denotamos por L+ (x, y ) al n ucleo + de L, L (x, y ) = L(y, x). Denici on 4.2.8 Si L = L+ , se dice que el operador es herm tico o autoadjunto. Por ejemplo, si H es de dimensi on nita, L es herm 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 representaci on integral, estos ser an herm ticos si su n ucleo es tal que L(x, y ) = L(y, x). Proposici on 4.2.9 El producto L = AB de dos operadores A y B herm ticos es herm tico si y s olo si A y B conmutan, i.e., [A, B ] = 0. Demostraci on: Sea L = AB . Entonces L+ = B + A+ = B A, luego L = L+ si y s olo si AB = B A, i.e., [A, B ] = 0. 2 Proposici on 4.2.10 El conmutador [A, B ] de dos operadores herm ticos A y B es tal que [A, B ] = iL, con L herm tico.

4.2. Operadores en H Demostraci on: Supongamos que [A, B ] = N . Entonces N + = ([A, B ])+ = [A, B ] = N con L herm tico ((iL)+ = iL+ = iL). Denici on 4.2.11 Sea | H con | = 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 c omodo denotar a un autovector asociado a por | (suponiendo que es un autovalor simple). Si adem as el conjunto de autovalores es numerable entonces se suele simplicar a un m as la notaci on: |n := |n . Proposici on 4.2.12 Si L es herm tico, entonces sus autovalores son reales. Demostraci on: 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| = | = .

Proposici on 4.2.13 Si L es herm tico, entonces los autovectores correspondientes a autovalores distintos son ortogonales. Demostraci on: Sea L|1 = 1 |1 , L|2 = 2 |2 , entonces 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. Denici on 4.2.14 Un operador U se denomina unitario si U U + = U + U = I. Proposici on 4.2.15 Si U es unitario, entonces todos sus autovalores son tales que || = 1. Demostraci on: Sea U | = | , entonces 1 = |U + U | = |U + | = |U | = | = ||2 2 2

58

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca

Denici on 4.2.16 Sea U un operador unitario. La transformaci on | | = U + | , L l = U + LU ,

la denominaremos transformaci on unitaria de | y L y la denotaremos por {U }. Proposici on 4.2.17 Las transformaciones unitarias conservan 1. Las relaciones de conmutaci on de los operadores. 2. La propiedad de hermiticidad de un operador. 3. Los autovalores. 4. Los productos escalares y elementos matriciales de un operador. Demostraci on: 1. Sean A, B y L tres operadores tales que [A, B ] = L y sea {U } una transformaci on unitaria. Denotemos por a, b y l los operadores correspondientes a A, B y L despu es de la transformaci on. Entonces como [A, B ] = L = 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 funci on de dicho sistema. Este problema (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 a de operadores en espacio de Hilbert, el teorema espectral de Riesz, 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 m as detalles v ease el Ap endice A. = 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 ultiples sus correspondientes autovectores se pueden ortogonalizar usando el m etodo de Gram-Schmidt que describimos antes. As pues asumiremos que (|n )n es un sistema ortonormal (ortogonal con |n = 1). Sea | un vector cualquiera de H, entonces | se puede desarrollar en serie de Fourier respecto (|n )n | =
n

fn |n ,

fn = n | .

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 =
m

En otras palabras, (|n )n es una base ortonormal completa de H.

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-representaci on. N otese que la matriz del operador L en su propia representaci on (la L-representaci on) es una matriz diagonal con los autovalores en la diagonal. M as a un, as como el conjunto de n umeros (fn )n dene biun vocamente el vector | , la matriz A dene biun vocamente al operador A (en la base correspondiente se sobrentiende). As pues, el operador A ser a herm tico si su matriz A es autoconjugada, a unitario si su matriz A es unitaria, i.e., k Am,k An,k = m,n , i.e., Am,n = An,m , A ser etc. Nota: N otese que si H es de dimensi on nita, las correspondientes matrices son matrices cuadradas N N donde N es la dimensi on de H, pero si H es de dimension innita, entonces las correspondientes matrices son innitas. Proposici on 4.2.18 Si dos operadores L y N tienen un sistema completo de autovectores (|n )n com un, entonces [L, N ] = 0. Demostraci on: Sean n los autovalores de L correspondientes a los autovectores |n 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

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca

Sea | H cualquiera. Entonces LN | =LN =N L

n n

fn |n =

fn LN |n =

fn N L|n

fn |n = N L| = [L, N ] = 0. 2

El rec proco tambi en es cierto: Proposici on 4.2.19 Si dos operadores L y N con sistemas completos de autovectores conmutan ([L, N ] = 0), entonces tienen un sistema completo de autovectores (|n )n com un. Demostraci on: Para demostrarlo vamos a probar que ambos se pueden diagonalizar al 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

Lm,k Nk,n =
k 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 e ocurre si hay autovalores m ultiples. Lo que dejaremos como ejercicio al lector5 . 2 Denici on 4.2.20 Sea F (z ) una funci on anal tica en un entorno de z = 0 y sea F (z ) = n f z su desarrollo en serie de potencias. Deniremos al operador F (L) mediante n n0 la serie F (L) = fn L n .
n0

Denici on 4.2.21 La derivada operacional F (L)/ L es el operador que se obtiene 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 f acil comprobar que [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 |k,j , donde i = j , i, j = 1, 2, . . . , g . Basdiagonales distintos de cero, los correspondientes a k,i |N ta probar que existen ciertas combinaciones lineales k,j de los correspondientes autovectores |k,j , b |k,j = 0. j = 1, 2, . . . , g , tales que k,i |N

nica Cua ntica 4.3. Los axiomas de la Meca

61

Proposici on 4.2.22 Si F (z ) es una funci on anal tica en un entorno de z = 0 y sean A y A+ tales que [A, A+ ] = I . Entonces [A, F (A+ )] = dF (A+ ) dA+ . 2

Demostraci on: Basta escribir la serie de potencias de F y usar la propiedad (4.2.3). Nota: Si F admite un desarrollo en serie de Laurent el resultado tambi en es v alido.

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 Mec anica Cu antica

Postulado 4.3.1 A cada sistema f sico se le hace corresponder un espacio de Hilbert H apropiado. Adem as, para cada t R (par ametro correspondiente al tiempo) el estado queda completamente caracterizado por un vector | normalizado a la unidad de H. Es decir, para cada t el estado est a determinado por un vector de H tal que = 1. De aqu tambi en se sigue que, dados los estados |1 , . . . , |k , la combinaci on lineal | = n en es un (posible) estado6 . k=1 k |k tambi Postulado 4.3.2 A cada magnitud f sica medible (observable) L se le hace corresponder un operador linear herm tico L que act ua en H. Postulado 4.3.3 Sea | el estado del sistema en el momento t justo antes de la medici on de la magnitud (observable) L (asociada al operador L). Independientemente de cu al sea el estado original | , el resultado de la medici on s olo puede ser un autovalor de L. Este postulado requiere una aclaraci on y es que al hacer una medici on de L el sistema cambia (las mediciones intereren en el sistema). As pues, antes de medir L el sistema puede estar en cualquier estado , pero al realizar la medici on, esta cambia al sistema y lo deja en el estado determinado por el vector | que es un autovector de L correspondiente a al autovalor .7 N otese que este axioma elimina formalmente la paradoja del gato de Schr odinger que discutimos en la introducci on. Postulado 4.3.4 El valor esperado L de una cantidad f sica 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 cu anticos se postulan en la teor a. En el cap tulo 3 vimos varios ejemplos de los mismos. Tres operadores esenciales son el operador posici on o coordenadas x bk , impulso p bk , y el hamiltoniano b. del sistema H
7 Los 6 Para

62

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca N otese que, como L es herm tico, entonces |L| = |L+ | = |L| = L R.

Postulado 4.3.5 Los elementos matriciales de los operadores xi de la posici on (coordenadas) 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 evoluci on d |xi | = dt H , pi d H , |pi | = dt xi (4.3.1)

donde H es el operador asociado a la funci on de Hamilton del correspondiente sistema cl asico (si es que lo hay). Este postulado tiene un signicado f sico evidente pues nos indica que el promedio de las cantidades medibles posici on, impulso y energ a (hamiltoniano) satisfacen las ecuaciones din amicas de la mec anica hamiltoniana (1.1.1), i.e, en el l mite apropiado ( 0) la Mec anica cu antica se transforma en la cl asica (principio de correspondencia de Bohr). Proceden unas aclaraciones. En general el Hamiltoniano H de un sistema cl asico 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). A esto regresaremos en breve, pero antes introduciremos nuestro u ltimo postulado. Postulado 4.3.6 Los operadores posici on xi e impulso pi , i = 1, 2, 3, satisfacen las relaciones de conmutaci on [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 an alogo de las relaciones (1.1.4) (llaves de Poisson).

4.4.

Discusi on e implicaciones de los postulados

1. Supongamos que tenemos una magnitud f sica cl asica L que depende en general de xi y pi . Para construir el operador mecano-cu antico correspondiente s olo tenemos que cambiar los xi por los correspondientes operadores xi y pi por pi . Por ejemplo, la energ a cin etica viene dada por T =
2 2 p2 1 + p2 + p3 2m

T =

p1 2 + p2 2 + p3 2 , 2m

 n de los operadores xi y pi 4.5. Representacio

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 cl asico contiene el t ermino Wi = xi pi . Entonces, el operador Wi = xi pi no puede representar al correspondiente operador cu antico ya que no es herm tico (ver Proposici on 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 superposici on de los estados |k , k = 1, 2, . . . , N , entonces como | = k fk |k tenemos |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 medici on. 3. Dada cualquier cantidad f sica cl asica L le podemos adicionar la cantidad xi pj pj xi sin cambiarla. Si transformamos L en su operador L ya no le podemos adicionar el correspondiente operador xi pj pj xi pues este no es nulo (ver postulado 4.3.6). 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 adem as xi y pj son herm ticos entonces, necesariamente, = i (ver la Proposici on 4.2.10) donde R que no es m as que la relaci on de conmutaci on del postulado 4.3.6.

4.5.

Representaci on de los operadores xi y pi

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). Qui en es pj ? Por simplicidad vamos a trabajar solamente en dimensi on 1 (s olo la proyecci on en el eje de las x). Nuestro objetivo es encontrar un operador p tal que cumpla las relaciones de conmutaci on (4.3.2). Del postulado 4.3.6 se sigue que 1. [p, x] = px xp = i I ,
8 Recu erdese

que los estados est an normalizados a la unidad.

64

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca 2. [p, x2 ] = px2 x2 p = 2i x, . . . 3. [p, xn ] = pxn xn p = ni xn1 = i xn . x

Luego, para cualquier funci on anal tica F (z ) tenemos [p, F (x)] = i F (x) , x F (x) (x), x (4.5.1)

que en nuestra representaci on se puede reescribir como 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 expresi on 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 funci on lo

As pues, los operadores pk deben tener la forma pk = i + I. xk xk U + = exp(i(x1 , x2 , x3 )/ )I

Hagamos ahora la transformaci on unitaria pk U + pk U , U = exp(i(x1 , x2 , x3 )/ )I,

que, como sabemos, no cambia ni los elementos matriciales, ni las relaciones de conmutaci on, ni los autovalores, ni la hermiticidad de los operadores (i.e., estos mantendr an el mismo signicado f sico de antes): pk = ei/ i + I ei/ I = i . xk xk xk

9 Por el momento s olo nos interesa encontrar la expresi on del operador independientemente de que luego este vaya actuar en el espacio L2 ().

 dinger 4.6. Las ecuaciones de Heisenberg y de Schro 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 Schr odinger

En adelante asumiremos que el Hamiltoniano del sistema se expresa mediante la f ormula 3 p2 k , H =T +V, T = 2 m i=1 y V = V (x1 , x2 , x3 ) = V (x1 , x2 , x3 )I s olo depende de las coordenadas x, y, z .10 Por simplicidad trabajaremos s olo con la proyecci on en el eje OX . 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 an aloga, pero usando (4.5.2), se deduce la segunda ecuaci on de Heisenberg dx i = [x, H ]. dt (4.6.3)

Las ecuaciones anteriores se conocen como ecuaciones din amicas de la Mec anica cu antica en la representaci on de Heisenberg : es decir, cuando las funciones de onda son 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 f ormula (4.6.1) b H ( = i/ [ p, H ]), obtenemos x b H d |p| = dt x = i |[p, H ]| .

Luego, por un lado, p + p t t = p + p t t

10 Recordemos que estamos usando indistintamente la notaci on x1 , x2 , x3 y x, y, z para denotar las coordenadas espaciales.

66 y, por otro, i |[p, H ]| =

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca

|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 ecuaci on i | = H | . t (4.6.4)

La ecuaci on anterior se denomina ecuaci on de Schr odinger y es la ecuaci on de evoluci on de la Mec anica cu antica cuando los operadores no dependen del tiempo. El test de consistencia Probemos que tambi en tenemos aqu el test de consistencia d/dt( | la ecuaci on de Schr odinger (4.6.4) y sea su conjugada i | = |H + . t
2

) = 0. Sea

Tomando el producto escalar de esta u ltima 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 Schr odinger

Las ecuaciones din amicas del postulado 4.3.5 han de cumplirse independientemente de que escojamos la representaci on de Schr odinger (S) o la de Heisenberg (H). Adem as, los observables que medimos deben tener los mismos valores medios en ambas representaciones. Eso implica que ha de existir una transformaci on unitaria {U } que pase de S a H y viceversa. Sean | y L la funci on de estado y el observable en la representaci on de Heisenberg y | y l en la de Schr odinger. Entonces entre ambas existe la relaci on: | = U + | , l = U + LU , U + = eiHt/ ,
b

 dinger 4.6. Las ecuaciones de Heisenberg y de Schro

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 ecuaci on de Schr odinger (4.6.4). 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 representaci on de Heisenberg una cantidad f sica es independiente del tiempo si el operador asociado a dicha magnitud conmuta con el Hamiltoniano. Esta propiedad es adem as muy signicativa desde el punto de vista f sico como veremos a continuaci on. Denici on 4.6.1 Se dice que una cantidad observable L es una integral de movimiento 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 ecuaci on de Schr odinger (4.6.4) tenemos d |L| = dt Si L no depende del tiempo, entonces,
d dt

i L [L, H ] . t

(4.6.6)

Si ahora escogemos la representaci on de Heisenberg entonces (| no depende del tiempo) L i d |L| = = |[H, L]| , dt t donde hemos usado la ecuaci on (4.6.5). Es decir, tambi en en la representaci on de Heid |L| = 0 si y s olo si [L, H ] = 0. senberg dt

|L| = 0 si y s olo si [L, H ] = 0.

4.6.2.

Los estados estacionarios del sistema

Toda la discusi on anterior nos conduce a que el estado de un sistema viene dado por un vector de estado | que evoluciona seg un la ecuaci on de Schr odinger. Vamos a

68

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca

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 . N otese que H |n = En |n . Como los |n son estados del sistema, entonces han de satisfacer la ecuaci on de Schr odinger, i.e., |n = H |n = En |n . t Resolviendo con respecto al tiempo la ecuaci on anterior tenemos i |n = eiEn t/ |n , donde |n no depende expl citamente del tiempo. Com unmente a los estados |n anteriores se les denominan estados estacionarios del sistema. Adem as, de lo anterior se deduce que la u nica dependencia del tiempo de 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 | vendr an dadas por 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 tambi en lo es pues A es real. Obtenemos |AB | = 1 |AB | 2i 1 |AB | = 2i 1 = |AB | 2i 1 = |[A, B ]| 2i |AB | |B + A+ | |B A| = 1 |L| . 2

nica matricial 4.8. La meca Como L es herm tico, |L| es un n umero real que denotaremos por l; as , 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 mec anica matricial

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 . An alogamente, a cada operador L le podemos hacer corresponder una matriz L con entradas Lm,n = m |L|n . Luego la ecuaci on (4.6.5) se puede escribir en la forma i L = [H, L]. t donde H es la matriz correspondiente al hamiltoniano del sistema, i.e., recuperamos la tambi en antes mencionada mec anica matricial de Heisenberg.

4.9.

La ecuaci on de Schr odinger y el postulado 4.3.5

Supongamos que la cantidad observable L es independiente del tiempo y | es la soluci on de la ecuaci on de Schr odinger (4.6.4), donde H es el operador hamiltoniano H=
2 2 p2 1 + p2 + p3 + V (x1 , x2 , x3 ) = T + V . 2m

Entonces, la ecuaci on (4.6.6) nos da 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

nica Cua ntica II: Espacios de Hilbert Cap tulo 4. Meca 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 funci on de estado evoluciona seg un la ecuaci on de Schr odinger (4.6.4), entonces las medias de las coordenadas e impulsos se comportan como en la mec anica hamiltoniana cl asica. En las mismas condiciones de antes se puede probar (de forma totalmente an aloga) que, partiendo de la cantidad d |L| , dt se obtienen las f ormulas de evoluci on del postulado 4.3.5.

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 herm ticos conjugados 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 a (t ) = e t L b aetL , donde b a no depende del tiempo y desarrolla la funci on b a(t) en potencias de t.

Problema 4.10.4 Prueba que si L es herm tico, entonces eiL es unitario. Problema 4.10.5 Prueba que el producto de dos operadores herm ticos L y M siempre se puede escribir como LM = A + B, donde A es herm tico y B es antiherm tico: B + = B .

Cap tulo 5

Resolviendo la ecuaci on de Schr odinger

5.1.
5.1.1.

El m etodo de Nikiforov-Uvarov
La ecuaci on hipergeom etrica generalizada

La ecuaci on hipergeom etrica generalizada es una ecuaci on lineal de segundo orden 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 m as uno y (z ) y (z ) polinomios de grado a lo m as dos. 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 ecuaci on anterior en una m as sencilla o por lo 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 m as uno y, por tanto, polinomio de grado a lo m as uno. Lo anterior transforma nuestra ecuaci on original (5.1.1) en la siguiente 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

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

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 inc ognitas. Hecho esto, nuestra ecuaci on se transforma en la ecuaci on hipergeom etrica (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 ecuaci on de segundo 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 ecuaci on para encontrar k . El k encontrado lo sustituimos en (5.1.5) y obtenemos (z ), el cual nos conduce directamente a = (z ) + k . Obviamente el m etodo anterior da distintas soluciones en funci on del k que escojamos y del convenio de signos en (5.1.5).

5.1.2.

La ecuaci on diferencial hipergeom etrica

Como hemos visto en el apartado anterior el estudio de la ecuaci on (5.1.1) se puede reducir al de la ecuaci on hipergeom etrica (5.1.4) por lo que nos centraremos en el estudio de esta u ltima. Aqu nos restringiremos a estudiar las soluciones polin omicas de (5.1.4). Para el caso general remitimos al lector [13]. La propiedad de hipergeometricidad y la f ormula de Rodrigues Pasemos a continuaci on a estudiar la ecuaci on diferencial (x)y + (x)y + y = 0, donde y son polinomios de grados a lo sumo 2 y 1, respectivamente. La ecuaci on (5.1.7) usualmente se denomina ecuaci on diferencial hipergeom etrica. La raz on fundamental de esta denominaci on est a en la denominada propiedad de hipergeometricidad que consiste en que las soluciones y de la ecuaci on (5.1.7) son tales que (5.1.7)

5.1. El m etodo de Nikiforov-Uvarov

73

sus m- esimas derivadas y (m) := ym satisfacen una ecuaci on del mismo tipo. En efecto, si derivamos (5.1.7) m veces obtenemos que ym satisface una ecuaci on de la forma
(x)ym + m (x)ym + m ym = 0,

m (x) = (x) + m (x),

m 1 i=0

(5.1.8) (x) . 2

m = +

i (x) = + m (x) + m(m 1)

Es evidente que grado m 1 y que m es una constante. Adem as, toda soluci on de (5.1.8) es necesariamente de la forma ym = y (m) siendo y soluci on de (5.1.7). La demostraci on es por inducci on y la omitiremos. Vamos a intentar encontrar las soluciones polin omicas de (5.1.7). Para encontrarlas comenzaremos escribiendo (5.1.7) y (5.1.8) en su forma sim etrica o autoconjugada [ (x)(x)y ] + (x)y = 0, [ (x)m (x)ym ] + m m (x)ym = 0, (5.1.9)

donde y m son funciones de simetrizaci on que satisfacen las ecuaciones diferenciales 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 expresi on m (x) = m (x)(x). (5.1.11) Teorema 5.1.1 Las soluciones polin omicas de la ecuaci on (5.1.8) se expresan mediante la f ormula de Rodrigues
(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)!

m 1 k=0

[ + 1 2 (n + k 1) ].

(5.1.13)

Adem as, el autovalor m de (5.1.8) es

1 m = m (n ) = (n m)[ + 2 (n + m 1) ].

(5.1.14)

on autoconjugada Demostraci on: Para demostrar el teorema vamos a escribir la ecuaci para las derivadas de la siguiente forma m (x)ym = 1 [m+1 (x)ym+1 ] , m

74 luego m (x)ym =

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Am dnm [n (x)yn ] , An dxnm

Am = (1)m

m 1 k=0

k ,

A0 = 1.
(n)

Como estamos buscando soluciones polin omicas, y := Pn , tenemos que Pn es una (m) constante; por tanto, para las derivadas de orden m, Pn , obtenemos la expresi on
(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 expresi on (5.1.8) n = n + n (x) + n(n 1) (x)/2 = 0, deducimos que el valor de n en (5.1.7) se expresa mediante la f ormula1 := 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 (n + m 1) ], nm = m (n ) = (n m)[ + 2

(5.1.16)

de donde, usando que Anm = Am (n ) = (1)m constante Anm .

m 1 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 expresi on expl cita (5.1.16) deducimos que para que ello ocurra es suciente que + n /2 = 0 para todo n = 0, 1, 2, . . . . N otese que esta condici on es equivalente a n = 0 para todo n N. Adem as, de ella se deduce que n = 0 para todo n N. Esta condici on se conoce como condici on de regularidad o de admisibilidad. N otese adem as que nk = n k , luego nk = 0 para k = 0, 1, . . . , n 1 implica que n = k si n = k . Cuando m = 0 la f ormula (5.1.12) se convierte en la conocida f ormula de Rodrigues para los polinomios cl asicos Pn (x) = Bn dn n [ (x)(x)], (x) dxn n = 0, 1, 2, . . .

(5.1.17)

La f ormula (5.1.15) determina los autovalores n de (5.1.7) y es conocida como condici on de hipergeometricidad. Ortogonalidad y relaci on de recurrencia Veamos ahora c omo a partir de las ecuaciones diferenciales simetrizadas (5.1.9) podemos demostrar la ortogonalidad de las soluciones polin omicas respecto a la funci on peso .
1 Usando la expresi on Q 1 n + k . (n)m m k=0 (n+k)

(5.1.15)

podemos

obtener

una

expresi on

alternativa

Anm

5.1. El m etodo de Nikiforov-Uvarov Teorema 5.1.2 Supongamos que xk (x)(x)

b a

75

= 0,

para todo k 0.

(5.1.18)

Entonces las soluciones polin omicas Pn de la ecuaci on (5.1.7) constituyen una sucesi on de polinomios ortogonales (SPO) respecto a la funci on peso denida por la ecuaci on [ (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 s mbolo de Kronecker y dn denota la norma de los polinomios Pn . Demostraci on: Sean Pn y Pm dos de las soluciones polin omicas de (5.1.7). Partiremos de 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)(x)[Pn (x)Pm (x) Pn (x)Pm

= (x)(x)W [Pn (x), Pm (x)]

Pero el Wronskiano W (Pn , Pm ) es un polinomio en x; por tanto, si imponemos la condici on (5.1.18) obtendremos (n = m ) que los polinomios Pn y Pm son ortogonales respecto a la funci on peso . Usualmente los valores de a y b se escogen de forma que sea positiva en el intervalo [a, b]. Una elecci on puede ser tomar a y b como las ra ces de (x) = 0, si estas existen. 2 De forma an aloga, utilizando la ecuaci on (5.1.9) para las derivadas yk := Pn , se puede demostrar que las k esimas derivadas de los polinomios hipergeom etricos tambi en 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 f ormula de Rodrigues. En efecto, sustituyendo (5.1.17) en (5.1.19) tenemos d2 n = Bn
b

Pn (x)
a

dn n [ (x)(x)]dx, dxn

76

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

(n)

de donde integrando por partes y usando que Pn

n d2 n = Bn (1) n!an b a

= n!an concluimos que (5.1.21)

n (x)(x)dx.

Teorema 5.1.3 Los polinomios ortogonales satisfacen una relaci on de recurrencia a tres t erminos de la forma 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 sucesi on de polinomios ortogonales queda determinada de forma u nica conocidas las sucesiones (n )n , (n )n y (n )n . on (Pn )n es una base del espacio de los polinomios, Demostraci on: Utilizando que la sucesi 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 relaci on (5.1.22). Adem as, los coecientes n , n , y n se expresan mediante las f ormulas: 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 expresi on Pn (x) = an xn + bn xn1 + cn xn2 + n+1 n en (5.1.22) e igualar las potencias x , x 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

2 Pn (x)(x)dx,

de donde se sigue el resultado. N otese que del resultado anterior se deduce que n = 0 para todo nN {0} as como que n = para todo N. Adem as, si (x) 0 en (a, b), entonces n1 n > 0 para todo n N. Resulta que el rec proco tambi en es cierto.

5.1. El m etodo de Nikiforov-Uvarov

77

Teorema 5.1.4 Sea (n ) umeros reales n=0 y (n )n=0 dos sucesiones cualesquiera de n con n > 0 para todo n N y sea (Pn ) on de polinomios m onicos denidos n=0 una sucesi mediante la relaci on

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 a sido demostrado 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 sucesi on de polinomios ortogonales que satisface la relaci on de recurrencia a tres t erminos (5.1.22). Entonces se cumple que Kern (x, y ) n Pn+1 (x)Pn (y ) Pn+1 (y )Pn (x) Pm (x)Pm (y ) = 2 , 2 d dn xy m m=0
n

n 1. (5.1.26)

Si hacemos tender y x en la f ormula anterior obtenemos la f ormula conuente de Christoel-Darboux: Ker(x, x)

n 2 Pm (x) n = 2 [Pn +1 (x)Pn (x) Pn+1 (x)Pn (x)] 2 d d m n m=0 n

n 1.

(5.1.27)

Una propiedad muy importante de los polinomios ortogonales est a relacionada con los ceros de los mismos. As , se tiene el siguiente teorema fundamental cuya demostraci on 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 est an localizados en (a, b). 2. Dos polinomios consecutivos Pn y Pn+1 no pueden tener ning un cero en com un. 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 relaci on de recurrencia (5.1.22) a tres que satisfacen los polinomios cl asicos. Para calcular los coecientes usando las expresiones de (5.1.23) tenemos antes que encontrar una expresi on general para los coecientes principales an y bn del polinomio Pn .

78

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

(n)

Para calcular an usamos que, por un lado Pn (x) = n!an y por el otro, utilizando (n) la f ormula de Rodrigues (5.1.12) Pn (x) = Bn Ann , por tanto, an = Bn Ann = Bn n!
n1 k=0
1 (n + k 1) ]. [ + 2

(5.1.28)

Para calcular bn utilizaremos la f ormula de Rodrigues para la n 1- esima derivada de (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 . n 1 (5.1.29)

Obs ervese que, al ser n = 0, bn est a denido para cualquier n.

Usando las expresiones (5.1.23) as como (5.1.29) deducimos n = + (n 1) 2 Bn Bn n 2n 2n + 1 an = = an+1 Bn+1 ( + (2n 1) 2 )( + (2n) 2 ) Bn+1 n 2n 2n+1 n = nn1 (0) (n + 1)n (0) . n n 1

Vamos a dar una expresi on alternativa para n sin usar la norma de los polinomios. Para ello igualamos los coecientes de xn2 en la ecuaci on diferencial (5.1.7). Ello nos conduce a la expresi on 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)n 1 ] = an . n1 (n n2 )

(5.1.30)

Luego nos resta sustituir la expresi on anterior en la f ormula2 (5.1.24) n = cn n cn+1 bn n . an1 an1

Consecuencias de la f ormula de Rodrigues La primera consecuencia inmediata de la f ormula de Rodrigues es que (x) debe ser necesariamente un polinomio de grado exactamente uno. En efecto, si calculamos el polinomio de grado 1 utilizando la f ormula de Rodrigues (5.1.17) obtenemos P1 (x) =
2 Recordar

B1 [ (x)(x)] = B1 (x), (x)

(5.1.31)

que Pn (x) = an xn + bn xn1 + cn xn2 + .

5.1. El m etodo de Nikiforov-Uvarov

79

y por tanto es un polinomio de grado exactamente uno. N otese que esta f ormula es equivalente a la f ormula de Pearson (5.1.10). Si escribimos la f ormula de Rodrigues (5.1.12) para las derivadas3 Pn+m con n = 1 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 condici on de regularidad (existencia de la SPO) que ya mencionamos. Tomemos ahora m = 1 en la f ormula (5.1.12). Realizando unos c alculos directos deducimos que
Pn (x)

An1 Bn dn1 n Bn dn1 [ ( x )] = [1 (x)]. n 1 (x) dxn1 1 (x) dxn1 n1

Pn (x) =

Luego

n1 denota al polinomio ortogonal respecto a la funci donde P on peso 1 (x) = (x)(x). O sea, si Pn es ortogonal Pn (x) tambi en lo ser a. Si escribimos la f ormula de Rodrigues (5.1.12) para el polinomio de grado n + 1, utilizando la ecuaci on de Pearson [ (x)n (x)] = n (x)n (x) vemos que 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

n Bn n1 Pn1 (x), B

(5.1.32)

Utilizando ahora que Pn (x) =

n Bn dn1 n (x) , obtenemos la f ormula de diferencia (x)(x) dxn1 ci on, com unmente denominada caracterizaci on de Al-Salam & Chihara,
(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 u ltimos no. Obviamente ellos tambi en son soluci on de la ecuaci on (5.1.8) y satisfacen la f ormula de Rodrigues (5.1.12) cambiando n por n + m.

80

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Si ahora en la f ormula (5.1.33) desarrollamos n y utilizamos la relaci on de recurrencia (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 ecuaci on (5.1.7), satisfacen la siguiente relaci on de estructura
(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 relaci on de estructura pueden reescribirse usando las f ormulas expl citas para los coecientes de la relaci on de recurrencia de la siguiente forma n = n n , 2 n = n [ (0) n n 1 (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 hipergeom etricos (cl asicos) pn (x) son las u nicas soluciones de la ecuaci on hipergeom etrica (z )y + (z )y + y = 0, tales que las funciones n (x) = (x)pn (x), donde (x) es la funci on peso con respecto a la cual los pn son ortogonales, son acotadas y de cuadrado integrable en (a, b), siendo (a, b) el soporte de la funci on peso. Nota 5.1.9 Si queremos que la funci on peso sea positiva e integrable en el interior del 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 v ease el pr oximo apartado, 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

Par ametros principales Comenzaremos escribiendo los principales par ametros de las sucesiones de polinomios ortogonales m onicos cl asicos (SPOMC). Como ya hemos visto los polinomios ortogonales en la recta real, soluci on de una ecuaci on del tipo (5.1.7), se pueden clasicar en tres grandes familias en funci on del grado del polinomio ( siempre es un polinomio

5.1. El m etodo de Nikiforov-Uvarov

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 ces simples, polinomios de Jacobi Pn (x), n (x) y cuando es de grado 2 con dos ra respectivamente. En las tablas 5.1 y 5.2 est an representados los principales par ametros 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 can onicas. Cuadro 5.1: Clasicaci on de las SPO Cl asicas. Pn (x) (x) (x) n (x) Hn (x) 1 2x 2n e x
2

(5.1.39)

L n (x) 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)

e x

xn+ ex

Representaci on hipergeom etrica De la f ormula de Rodrigues4 (5.1.12) se puede obtener la representaci on de los polinomios de Hermite, Laguerre y Jacobi en t erminos de la funci on hipergeom etrica de Gauss 2 F1 denida en el caso m as general de forma
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 ello basta usar la regla de Leibnitz para calcular la n- esima derivada de un producto (f g )(n) P n (k) g (nk) . Otra posibilidad es usar series de potencias y el m nkf etodo de coecientes = p k=0 t indeterminados de Euler (ver e.g. [4, 18]).

De esta manera encontramos que 1 m 2 m n = 2m x , 1 F1 1 (1) 2 m 2 Hn (x) = 3 m 2 (1)m x 1 F1 x , n = 2m + 1 3 2 m 2

(5.1.41)

82

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Cuadro 5.2: Par ametros de las SPO M onicas (an = 1).

Pn (x) Bn H n (x ) (1)n 2n 0
n! 2n

L n (x ) (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 en en en

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 n (x)
, 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 f ormulas anteriores podemos obtener los valores de los polinomios en los extremos del intervalo de ortogonalidad. Estos valores pueden ser obtenidos tambi en a partir de la f ormula de Rodrigues (5.1.12) aplicando la regla de Leibniz para calcular la n- esima derivada de un producto de funciones. (1)m (2m)! , n = 2m 22m m! Hn (0) = 0, n = 2m + 1
, Pn (1) =

L n (0) =

(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).

 n de la ecuacio n de Schro dinger 5.2. Resolucio 2. Los polinomios de Chebyshev de primera especie Tn (x) Tn (x) = Pn
1 , 1 2 2

83

(x) =

1 cos[n arc cos(x)]. 2n1

3. Los polinomios de Chebyshev de segunda especie Un (x)

2 2 Un (x) = Pn (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 n (x) = Pn

Utilizando la f ormula (5.1.32) se obtienen las ecuaciones ( = 1, 2, 3, ..., n = 0, 1, 2, ...): (Hn (x))( ) =
( ) (L = n (x)) , (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 esima derivada de Pn (x).

n! P +, + (x), (n )! n

5.2.

Resoluci on de la ecuaci on de Schr odinger

Veamos ahora algunos ejemplos sencillos de c omo se usa el m etodo de Nikiforov y Uvarov para resolver algunas ecuaciones de la Mec anica cu antica.

5.2.1.

El oscilador arm onico cu antico unidimensional

Como ejemplo apliquemos la t ecnica anterior al caso del oscilador arm onico cu antico. Partimos de la ecuaci on de Schr odinger para el oscilador arm onico 1 (x) + m 2 x2 (x) = E (x), x R. 2m 2 /(m ), E = /2, se transforma en la ecuaci on 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

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

que nos conducen a las ecuaciones y ( ) + 2y ( ) + ( + 1)y ( ) = 0, y ( ) 2y ( ) + ( 1)y ( ) = 0,

respectivamente. En cada caso la funci on ( ) es la soluci on de las ecuaciones / = y / = , que conducen a las funciones ( ) = e
2

/2

( ) = e

/2

respectivamente. Finalmente, la ecuaci on y ( ) 2y ( ) + ( 1)y ( ) = 0 corresponde a la ecuaci on hipergeom etrica de los polinomios de Hermite, por tanto tenemos 1 = 2n, n = 0, 1, 2, . . . y las soluciones normalizadas de nuestra ecuaci on original ser an ( ) = 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 2 Nn dn ,

d2 n

Entonces de la condici on de normalizaci on 1= 2n , x0 = x0 n!

|(x)|2 dx = x0 /(m ).

( )( )d,

luego Nn =

Es f acil ver que la otra ecuaci on tiene como soluciones los polinomios Hn ( ), por 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 a predecir si tenemos en cuenta la nota 5.1.9 del apartado anterior). De esta forma las u nicas soluciones estacionarias del oscilador arm onico son las funciones (5.2.1) anteriores. As pues, a diferencia del oscilador cl asico, el oscilador cu antico tiene una energ a discreta denida por la expresi on En = (n + 1/2), n = 0, 1, 2, . . . correspondiente al 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 funci on de este espacio.

5.2.2.

La ecuaci on de Schr odinger en un potencial central

Partiremos de la ecuaci on de Schr odinger estacionaria para el atomo de hidr ogeno en coordenadas esf ericas5
2

2m

(r, , ) + V (r)(r, , ) = E (r, , ),

(5.2.2)

5 Al ser el potencial de interacci on V (r ) un potencial central, i.e., s olo depende del radio, es m as sencillo resolver la ecuaci on en coordenadas esf ericas r, , .

 n de la ecuacio n de Schro dinger 5.2. Resolucio |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 arm onico.

donde m es la masa del electr on (que se supone despreciable respecto a la masa del n ucleo), [0, 2 ), [0, ], y el laplaciano en coordenadas esf ericas tiene la forma = o bien = r + donde r = 1 r2 r r2 r + 1 r2 1 sen sen + 1 2 2 sen 2 , (5.2.3)

1 , r2 + 1 2 2 sen 2

1 1 r2 , = sen r2 r r sen denotan a los laplacianos radial y angular respectivamente.

Por simplicidad vamos a reescribir la ecuaci on anterior en la forma 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. N otese adem as que la condici on de normalizaci on
0 0 2 0

|(r, , )|2 r2 sen dddr = 1,

86 se transforma en
2 0 0

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

|Y (, )|2 sen dd = 1

y
0

|F (r)|2 r2 dr = 1.

(5.2.6)

5.2.3.

Los arm onicos esf ericos

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 funci on es univalente, entonces, de la condici on de periodicidad ( + 2 ) = () se sigue que = m2 , m Z. Luego m () = Cm eim , N otese que las funciones m () son ortogonales
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 ecuaci on en (5.2.7) se transforma entonces en sen sen () + [ sen2 m2 ]() = 0,

Haciendo el cambio x = cos obtenemos6 (1 x2 ) o, equivalentemente, d dx (1 x2 ) (x)

6 N otese

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 .

 n de la ecuacio n de Schro dinger 5.2. Resolucio Esta ecuaci on del tipo (5.1.1) con (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 ecuaci on de tipo hipergeom etrico que obtenemos es, por tanto, (1 x2 )y 2(m + 1)xy + y = 0, que tiene soluciones polin omicas seg un (5.1.15) cuando = n(2m + n + 1), luego = (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 y (x) = Plm,m m (x), donde Plm,m . para m 0 la soluci on m son los correspondientes polinomios de Jacobi. As de (5.2.9) tiene la forma l m (x) = Clm (1 x2 )m/2 Plm,m m (x). N otese que
1 1

l m (x)l m (x)dx = Clm Cl m

1 1

m,m 2 m Plm,m m (x)Pl m (x)(1 x ) dx = 0,

l = l ,

adem as, si l = l , y haciendo n = l m

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 funci on (x) con el a ngulo en coordenadas esf ericas. Abusando de la paciencia del lector y para no introducir otra notaci on diferente hemos optado por mantener la notaci on original de [13]. 8 N otese que l m 0. Es decir, si jamos l, entonces m = 0, 1, 2, . . . l.

88

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

luego si queremos que l m (x) sean ortonormales, es decir que se cumpla la segunda condici on de (5.2.6) basta denir Clm = As l m (x) = (2l)! l! 2l + 1 (1 x2 )m/2 Plm,m m (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

S olo nos queda pendiente analizar qu e ocurre si m < 0 (ver (5.2.8)). Para ello (m,m) escribiremos (5.2.10) usando la expresi on anal tica de Plm (x) mediante la f ormula de Rodrigues (5.1.17) l m (x) = (1)lm l! dlm (2l + 1)(l + m)! (1 x2 )m/2 lm [(1 x2 )l ] 2 l +1 2 (l m)! d x (5.2.11)

Si ahora usamos la ecuaci on (5.1.47) tenemos Plm,m m (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 f ormula de Rodrigues Pl (x) = (1)l l! dl [(1 x2 )l ] (2l)! dl x

Combinado las dos expresiones anteriores con (5.2.10) tenemos otra representaci on de 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 ]. 2 l +1 2 (l + m)! 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 expresi on anterior permite denir la funci on l m (x) para m < 0. As , para = l(l +1), l = 0, 1, 2, . . . y m = l, l + 1, . . . , l, tenemos que las funciones Y (, ) := Yl m (, ) se dene por la expresi on 1 Yl m (, ) = eim l m (cos ), 2 l = 0, 1, 2, . . . , m = l, l + 1, . . . , l. (5.2.13)

Estas funciones se denominan arm onicos esf ericos.

 n de la ecuacio n de Schro dinger 5.2. Resolucio

89

5.2.4.

Resolviendo la parte radial de la ecuaci on de Schr odinger

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 ecuaci on hacemos el cambio9 F (r) = R(r)/r que nos conduce a la ecuaci on 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 ecuaci on (5.2.14) ser a nuestro punto de partida para resolver dos casos de extrema importancia en las aplicaciones: el atomo de hidr ogeno y el oscilador arm onico tridimensional. El atomo de hidr ogeno Puesto que para el atomo de hidr ogeno V (r) = /r, (5.2.14) tiene la forma R (r) + 2m
2

E+

l(l + 1) R(r) = 0. r r2
2

Haciendo el cambio = r/a0 , donde a0 = en la ecuaci on adimensional R ( ) + 2 + Esta ecuaci on es del tipo (5.1.1) con ( ) = , Por tanto, tenemos ( ) = 1 2 1

/(m), la ecuaci on anterior se transforma 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 2r + l(l + 1) + k a de ser un cuadrado perfecto (en la variable ), 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

raz on fundamental es que

r2

F (r ) r

1 2 [rF (r )]. r r 2

90

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

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 funci on que se anule para alg un > 0, es decir ( ) = 2 + (l + 1) . Dicha soluci on corresponde a k = 2 2(2l + 1), luego la otra posibilidad, como se puede comprobar, conduce a una funci on no integrable en (0, +) ( ) = 2(l + 1 2 ) = k + ( ) = 2(1 (l + 1) 2). Usando (5.1.2) tenemos ( ) l + 1 2 = ( ) = ( ) = l+1 e
2

Entonces la soluci on de nuestra ecuaci on es del tipo R( ) = l+1 e 2 y ( ), siendo y la soluci on de la ecuaci on y ( ) + [2(l + 1) 2 ]y ( ) + y ( ) = 0. El cambio lineal x = 2 2 nos transforma la ecuaci on anterior en la ecuaci on xy (x) + [(2l + 1) + 1 x]y (x) + y (x) = 0, , = 2 2

l+1 que corresponde a los polinomios de Laguerre L2 (x). Adem as, como = n, entonces 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 soluci on es
l+1 Rn l ( ) = Nn,l xl+1 ex/2 L2 (x), n

x=2

2n,l ,
0

con Nn,l tal que

0 2 Rn l (r)dr = 1

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 l+1 2 x2l+2 ex (L2 (x))2 dx = Nn,l n 0 l+1 (x)x(L2 (x))2 dx n

2 2 = Nn,l n d2 n = Nn,l 2(n + l + 1)n!(n + 2l + 2)!, l+1 donde hemos usado la relaci on de recurrencia (5.1.22) para el producto x L2 (x) y luego n la ortogonalidad. Por tanto

Nn,l =

1 . a0 (n + l + 1)2 n!(n + 2l + 1)!

 n de la ecuacio n de Schro dinger 5.2. Resolucio

|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 atomo de Hidr ogeno.

N otese que la energ a E de la ecuaci on (5.2.2) es por tanto En,l = 1 m2 1 m2 = , 2 2 (n + l + 1)2 2 2 n 2 n = 1 , 2 , 3 , . . .

que, teniendo en cuenta que = e2 , nos conduce a la misma expresi on10 de Bohr (2.3.1) Finalmente notemos que las autonciones correspondientes a las energ as anteriores son 2 a0 (n + l + 1)2 a0 =
2

n,l,m (r, , ) =

1 l+1 xl ex/2 L2 (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 f ormula n no representa al n umero cu antico principal. Este corresponder a al valor n = n + l + 1.

92

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

5.2.5.

El oscilador arm onico tridimensional

1 m 2 r2 , as que (5.2.14) se conPara el oscilador arm onico tridimensional V (r) = 2 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 ecuaci on adimensional R ( ) + 2

/(m ), y E = ( /2) la ecuaci on anterior l(l + 1) R( ) = 0. 2

Para convertir esta ecuaci on en una del tipo (5.1.1) hacemos el cambio z = 2 , as tendremos 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 soluci on de nuestra ecuaci on es del tipo R(z ) = z (l+1)/2 ez/2 y (z ), siendo y la soluci on de la ecuaci on zy (z ) + [z + l + 3/2]y (z ) + que corresponde a los polinomios de Laguerre Ln 3 l 2 , luego = k + (z ) = 2 := n,l = 2 2n + l + 3 2 , y (z ) = 0. 2 (z ). Adem as, como /2 = n, y

l+1/2

n, l = 0, 1, 2, . . .

 n de la ecuacio n de Schro dinger 5.2. Resolucio As , jados n y l, la parte radial es Fn l (r) = Rn l (r)/r donde
+1/2 Rn l (z ) = Nn,l z (l+1)/2 ez/2 Ll (z ), n

93

z = 2 =

r r0

con Nn,l tal que

|Rn,l |2
0,8 0,6 0,4 0,2

|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 cu antico tridimensional.

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 +1/2 z l+1/2 ez (Ll (z ))2 dz = n l+1/2 2 Nn,l

donde d2 n es el cuadrado de la norma de los polinomios de Laguerre Ln n!(n + l + 3/2). Luego 2 . Nn,l = r0 n!(n + l + 3/2)

, i.e., d2 n =

94

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

5.3.
5.3.1.

El m etodo de factorizaci on de Schr odinger

Introducci on

El objetivo de este apartado es estudiar un m etodo sencillo que permite resolver ecuaciones diferenciales de Sturm-Liuville. El m etodo debe su popularidad fundamentalmente a Schr odinger que lo us o para resolver la ecuaci on de Schr odinger para muchos sistemas f sicos reales. Actualmente el m etodo se le conoce como m etodo de factorizaci on de Infeld y Hull debido al estudio detallado que estos autores hicieron en [10].

5.3.2.

El oscilador arm onico

Sea la ecuaci on de Schr odinger para el oscilador arm onico

2 H (x) := (x) + x (x) = (x),

(5.3.1)

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 pr actica esto no es del 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
2 (x D)(x + D) (x) =(xI D)(x (x) + (x)) = (x) + x (x) (x) =H (x) (x) = ( 1) (x),

donde D :=

d , dx

(5.3.2)

y
2 (x + D)(x D) (x) =(xI + D)(x (x) (x)) = (x) + x (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

 n de Schro dinger 5.3. El m etodo de factorizacio que al compararla con (5.3.4) nos conduce a11 H+ (x) = ()2 (x). An alogamente, aplicando H a (5.3.4) tenemos (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.

N otese que H = H . 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 Proposici on 4.2.12) sus autovalores son reales. Adem as, si = entonces es ortogonal a (ver Proposici on 4.2.13). Supongamos que | |2 es integrable. Calculemos 2 luego 2n
2 2

es decir H , = , H+ .

:= 2 , 2 = 2 () H+ , H+ = 2 () , H H+ =2 ()( 1) , = 2 ()( 1) 2 , =

(5.3.8)

( 1) ( 2) ( n) 2 2 . 2 () 2 ( 1) ( n + 1)

11 N otese que de (5.3.4) se deduce que el operador H+ H tiene como autovectores y sus correspondientes autovalores son + 1, por tanto la expresi on anterior indica que H+ son los autovectores 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 operaci on a denota al complejo conjugado de a. En general trabajaremos en el espacio de funciones reales.

96

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Obviamente para cada jo, existir a un n tal que n + 1 > 0, n 0, por tanto el proceso H+ H+ debe de culminar en alg un momento, i.e., debe existir una funci on que denotaremos por 0 (x) tal que H+ 0 (x) = 0, o, equivalentemente, para cierto 0 , (0 ) = 0. En este caso la ecuaci on (5.3.5) nos da H0 = 0 0 , (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, . . . . An alogamente +2
2

= 2 ()( + 1) 2 .

(5.3.9)

Lo anterior nos indica que conviene escribir la funci on n como n (n 2 se 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 Adem as (5.3.8) implica n1 2 = 2nn n 2 y (5.3.9) implica n+1 2 = (2n + 2 n . Si queremos que los operadores H+ y H mantengan invariante la norma de las funciones entonces de las f o rmulas anteriores se deduce que = 2n y n n 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) + 0 (x) = 0 y [H ]n 0 (x) = (2n)!!n (x), luego 1
1 4

1 x 2 /2 0 (x) = e , 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 arm onico cu antico es totalmente an aloga a la del apartado 5.2.1.

5.3.3.

El m etodo de factorizaci on

En este apartado vamos a generalizar el ejemplo anterior a ecuaciones algo m as generales. Partiremos de la ecuaci on diferencial lineal de segundo orden (de Sturm-Liouville) y (x) + r(x, m)y (x) + y (x) = 0, m = 0, 1, 2, . . . (5.3.10)

 n de Schro dinger 5.3. El m etodo de factorizacio o, equivalentemente14 , Hm y (x, m, ) = y (x, m, ), Hm := D2 r(x, m)I.

97

(5.3.11)

La funci on r(x, m) se suele denominar funci on potencial y a Hm , hamiltoniano. Aqu m es un par ametro y es el correspondiente autovalor. En adelante asumiremos que y m son independientes. Denici on 5.3.1 Diremos que la ecuaci on diferencial ordinaria (EDO) (5.3.10) es factorizable 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. N otese adem as que ambos m operadores H son de orden 1.

Teorema 5.3.2 Si y (x, , m) es soluci on de y (x) + r(x, m)y (x) + y (x) = 0, entonces
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 Demostraci on: Aplicando H 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). An alogamente, si aplicamos 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 arm onico vamos a considerar el conjunto de las funciones (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 notaci on original de [10], por lo que aqu Hm d2 denota al operador dx + r ( x, m )I, y no a la potencia m - e sima de H . 2

98

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

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 = H m. Demostraci on: Ante todo notemos que si k (x, m) es una funci on real entonces H En adelante asumiremos que k (x, m) es real. Entonces b a m (x)dx = (x)H 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

N otese tambi en que el hamiltoniano H de las expresiones

es un operador autoadjunto. Ello se deduce

m+1 m+1 m m H m = H+ H + L(m + 1)I = H H+ + L(m)I

o directamente de (5.3.11). Adem as, como es autoadjunto, entonces sus autovalores son reales y las autofunciones correspondientes a diferentes autovalores son ortogonales. El objetivo fundamental del m etodo es poder resolver EDOs de una forma sencilla y razonable obteniendo soluciones buenas. As , ser a deseable que si parti esemos de una m+1 m funci on y (x, , m) de cuadrado integrable las operaciones H y (x, , m) y H+ y (x, , m) dieran como resultado funciones de cuadrado integrable. Esta condici on la asumiremos (su demostraci on es bastante engorrosa), no obstante en los ejemplos veremos f acilmente que se cumple, es decir que partiendo de una y (x, , m) de cuadrado integrable y (x, , m 1) tambi en lo ser a. Adem as, nos restringiremos a EDOs cuyos coecientes tienen singularidades a lo sumo en el extremo del intervalo (a, b) lo cual reduce el an alisis de la integrabilidad cuadr atica de las soluciones a su comportamiento en dichos extremos. Teorema 5.3.4 (Clase I) Sea L(m) una funci on creciente en 0 < m M (M puede ser +), m Z y supongamos que m ax[L(M ), L(M + 1)]. Entonces para que la EDO y (x) + r(x, m)y (x) + y (x) = 0 tenga una sucesi on de soluciones integrables es necesario que exista un l N tal que = l = L(l + 1).
l Adem as para ese l, y denotando ym (x) := y (x, L(l + 1), m) tenemos l+1 l H yl (x) = 0 l yl (x) = e R k(x,l+1)dx

 n de Schro dinger 5.3. El m etodo de factorizacio y, entonces para m = 0, 1, . . . , l 1, l,

m l H+ ym (x) = l L(l + 1) L(m) ym 1 (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 N otese que, si yl = 1, entonces las funciones ym son ortonormales.

Demostraci on: Asumamos que y (x, , m) es de cuadrado integrable en (a, b). Entonces, y (x, , m + 1) tambi en lo ser a. En efecto como
m+1 H y (x, , m) = m y (x, , m + 1),

tenemos
b a 2 [y (x, , m + 1)]2 dx = 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 a un l tal que L(l + 1) > , lo cual 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 Adem as, si queremos que el operador H mantenga la normalizaci on entonces m = L(l + 1) L(m + 1). De forma an aloga pero usando (5.3.16) y (5.3.13) tenemos que

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 transforma en m+1 l l m < l, (5.3.20) H ym (x) = L(l + 1) L(m + 1) ym +1 (x),

100 y, en particular,

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

l+1 l H yl (x) = 0,

as que usando (5.3.16)

m l H+ ym (x) = l L(l + 1) L(m) ym 1 (x),

(5.3.21) 2

de donde, por inducci on se deduce (5.3.19). De forma totalmente an aloga se tiene el siguiente

Teorema 5.3.5 (Clase II) Sea L(m) una funci on decreciente en 0 m M (M 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 sucesi on de soluciones integrables es necesario que exista un l N tal que := l = L(l),
l Adem as, denotando por ym (x) := y (x, L(l), m), tenemos m l H+ ym (x) = l L(l) L(m) ym 1 (x), l yl (x) = e R k(x,l)dx

(5.3.22)

y, en particular,
l l H+ yl (x) = 0

Adem as, para m = l, l + 1, . . . tenemos

m+1 l H ym (x) = l L(l) L(m + 1) ym +1 (x),

(5.3.23)

y por tanto,
l ym (x) = m 1 k =l

1 L(l) L(k + 1)

l+1 l m m 1 H H H yl (x),

m > l.

(5.3.24)

La demostraci on es an aloga y la omitiremos. Veamos ahora bajo que condiciones podemos factorizar la ecuaci on (5.3.10). Partimos de la expresi on (5.3.12) (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 ecuaci on diferencial (5.3.10) y cambiamos m por m 1 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),

 n de Schro dinger 5.3. El m etodo de factorizacio y nuevamente eliminamos y usando la ecuaci on diferencial (5.3.10) obtenemos 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 denici on 5.3.1 si y s olo si 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 m etodo descrito es v alido para una gran cantidad de ecuaciones diferenciales. Es f acil comprobar que si 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 ecuaci on del tipo (5.3.10) 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 N otese

que si r (x, m) es una funci on real, entonces k (x, m) tambi en lo ser a.

102

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Los arm onicos esf ericos

l Comenzaremos por los arm onicos esf ericos Ym (). Estos satisfacen la ecuaci on

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 can onica

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) ym 1 ( ),

 n de Schro dinger 5.3. El m etodo de factorizacio 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 (x) yl

l = 0, 1, 2, . . . ,

m = 0, 1, 2, . . . , l.

= C cos

lg+1

l (x) = 0 [k (x, l + 1) D] yl

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 2 )(l + g + 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 2 )(l + g + 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) ym 1 (x),

usado que Z

cosa x senb x dx =

( a+1 )( b+1 ) 2 2
b+2 2( a+2 )

a > 1, b > 1.

104

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

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 yl (x) = 0 H+

= (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 ecuaci on

d dx

l l ym (x) = 2 (m l) (m + l) ym 1 (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 b )( b+1 ) ( a+ 2 2 , cosha x senhb x dx = 1a 2( 2 ) 0

b > 1, a + b < 0.

 n de Schro dinger 5.3. El m etodo de factorizacio

105

1 2x e + m+ y + 4

1 2

ex y + y = 0,

con x R. Entonces el teorema 5.3.6 nos da k (x, m) = e x + m, 2 L(m) = m2 .

Al ser L(m) decreciente usamos el teorema 5.3.5 y por tanto = l 2 , 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 e x +m+1 2 dx e x d +m+ 2 dx
l ym (x) = l (m + 1 l) (l + m + 1) ym +1 (x), l (m l) (m + l) ym 1 (x),

m l,

l ym (x) =

m l,

respectivamente. La ecuaci on de Whittaker & Watson 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 2x e + m+ y + 4 1 2

ex y + y = 0,

que esencialmente la misma ecuaci on diferencial del ejemplo anterior pero cambiando x por x. Tambi en corresponde al caso II con k (x, m) =
18 Hemos

ex m, 2

L(m) = m2 ,
l > 0.

usado que

e exp(x)2lx dx = (2l),

106 as que

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

= l 2 ,
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) ym 1 (x),

m l,

La ecuaci on de Bessel 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 expresi on para . No obstante si podemos seguir usando las expresiones (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 ecuaci on tenemos que usar el m etodo de Frobenius (ver e.g [4, 18]). La soluci on general en este caso da 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.

 n de Schro dinger 5.3. El m etodo de factorizacio El atomo de hidr ogeno Sea la ecuaci on radial de Schr odinger para el atomo de hidr ogeno 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

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

5.4.

Factorizaci on de la EDO hipergeom etrica

En este apartado vamos a probar que la ecuaci on hipergeom etrica (5.1.7) admite una factorizaci on tipo Infeld-Hull. Vamos a seguir el trabajo de Lorente [11]

5.4.1.

El hamiltoniano y los operadores escalera

n (s) = (s)/d2 n Pn (x), (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) n (x) + (x)n (x) + (x)n (x) + n n (x) = 0,

(5.4.2) (5.4.3)

donde (x) =

1 ( (x) (x))2 1 ( ). 4 (x) 2

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),

 n de la EDO hipergeom 5.4. Factorizacio etrica y n = se comprueba que f (x, n 1) = g (x, n). Adem as, para todos n, k N {0},
b a

109

nn1 (0) (n + 1)n (0) , n n 1 (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.

N otese que el operador H(x, n) es autoadjunto.

5.4.2.

Factorizaci on de H(x, n)
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) + n 1 n (0) ( + n ) (0) 2 (0) (0) + 2 (0)n 2 4n 2 2 2

no depende de x. Dicha cantidad la denotaremos por n . Adem as, si aplicamos el operador 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

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

a n (x) y usamos (5.4.5), (5.4.7) y (5.4.4) obtenemos la expresi on n = An alogamente se tiene 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 + n 2

2 (0)2 2 (0) (0) + 2 (0)n 1 (n 1) (0) + n1 2 4n 1

no depende de x. N otese que la expresi on anterior coincide con n1 . Otra forma de 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 expresi on M (n) = 2n 2n2 n1 n = n1 . 2n 2n 2

As , hemos probado el siguiente Teorema 5.4.1 Para la ecuaci on hipergeom etrica (5.1.7), haciendo el cambio (5.4.1), se obtiene la ecuaci on (5.4.4), para la cual se cumple la siguiente factorizaci on del tipo 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) = Adem as,
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

 n de la EDO hipergeom 5.4. Factorizacio etrica 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 1 x 2 /2 e , 0 (x) = 4 Finalmente L+ (x, n 1)L (x, n) = 2nI H(x, n), Caso Laguerre

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 2 n!

L (x, n + 1)L+ (x, n) = (2n + 2)I H(x, n).

En este caso (x) = x y (x) = x + + 1 tenemos H(x, n) = xD2 + D + y22 n (x) =

21 Estamos 22 Estamos

1 (x ) n 2 4x 1

I,

n = n,

n!( + n + 1)

ex/2 x/2 L n (x)

usando polinomios m onicos de Hermite. usando polinomios m onicos de Laguerre.

112 Entonces f (x, n) = L+ (x, n)n (x) =

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

+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 0 (x) =

(n + 1)(n + + 1) n+1 (x), n(n + ) n1 (x).

L (x, n)n (x) = De lo anterior se sigue

1 ex/2 x/2 , ( + 1)

n (x) = Finalmente

1 n!( + n + 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 relaci on de ortogonalidad (5.1.20) y calcula una expresi on (k ) para la norma de las derivadas Pn . Problema 5.5.2 Calcula todas las caracter sticas de los polinomios cl asicos que aparecen en la tabla 5.2. Problema 5.5.3 Prueba que los polinomios ortogonales m onicos Pn , soluciones de la ecuaci on (5.1.7), satisfacen la siguiente relaci on de estructura Pn (x) = Qn + n Qn1 + n Qn2 , (5.5.1)

donde Qn (x) Pn on de los coecientes en funci on +1 (x)/(n + 1). Encuentra una expresi de los coecientes calculados en el apartado 5.1.2.

Problema 5.5.4 Probar que para los polinomios cl asicos se tienen las siguientes identidades. 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 ecuaci on de Schr odinger estacionaria unidimensional
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 ecuaci on. El potencial anterior se conoce como potencial de Posch-Teller y modeliza la interacci on molecular. Problema 5.5.6 Resolver la ecuaci on de Schr odinger tridimensional
2

2m

+ D(e2x 2ex ) = E ,

x=

r r0 . r0
2mDr 2

x 0 donde 2 = . Resuelve Pasa a unidades adimensionales y haz el cambio y = 2 2 e primero el caso l = 0. El potencial anterior se conoce como potencial de Morse y tambi en modeliza la interacci on molecular.

Problema 5.5.7 Para el a tomo de hidr ogeno calcula el valor medio de la posici on del electr on en el estado denido por los valores n, l y m r n,l,m = Rn l |r|Rn l . Prueba que si n = l = 0, entonces r 0,0,0 = a0 = 2 /(2). Prueba adem as que en el estado denido por los valores n, l y m la media de la energ a potencial V (r) es la mitad de la energ a 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 arm onico tridimensional.

Problema 5.5.8 La ecuaci on de Klein-Gordon KG + EKG + r

2

1 KG = 0,

se puede resolver usando el m etodo de separaci on de variables obteni endose para sus soluciones la expresi on KG (r, , ) = R(r)r1 Yl,m (, ), siendo Yl,m los arm onicos esf ericos y R(r) las soluciones de R + E+ r
2

l(l + 1) R = 0. r2

Demuestra usando el m etodo descrito al nal de cap tulo que las soluciones se expresan mediante la f ormula
+1 R(x) = Nl,n e 2 r +1 L2 (2ar) , n
r

1 = + 2

l+

1 2

2 ,

donde L on Nl,n . n son los polinomios de Laguerre y determina el factor de normalizaci

114

n de Schro dinger Cap tulo 5. Resolviendo la ecuacio

Problema 5.5.9 Aplica el m etodo de factorizaci on de Schr odinger para resolver las siguientes EDOs 1. Los esf ericos arm onicos generalizados, denidos por la expresi on y () = sen () donde y satisface la EDO y (m + )(m + 1) y + ( + 2 )y = 0. sen2

2. La ecuaci on de onda para una peonza sim etrica. La funci on de onda (, , ) = 1 ()eiK eiM , donde la funci on es tal que y () = sen 2 (), e y satisface la EDO y
1 1 )(M + 2 ) + K 2 2M K cos (M 2 1 y + + K2 + sen2 4

y = 0.

3. La parte radial de la ecuaci on de Schr odinger para s osciladores de Plank unidimensionales + donde r2 = EDO n(n + s 2) s1 + r2 + = 0, r r2
s k=1

n = 0, 1, 2, . . . ,

(1s)/2 x2 y (r), y satisface la k . Si hacemos el cambio (r) = r

(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 m etodo de factorizaci on del apartado 5.4 obt en las soluciones para el caso de los polinomios de Legendre, Gegenbauer y Jacobi.

Bibliograf a
[1] R. Alvarez-Nodarse, Polinomios hipergem etricos y q -polinomios. Monograf as del Seminario Matem atico Garc a de Galdeano Vol. 26. Prensas Universitarias de 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 cu antico, Alianza Universidad, 1985. [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. Mec anica Cu antica. Fondo Educativo Interamericano 1971. [8] R. Feynman, El car acter de la Ley f sica. Matemas 65, 2000. [9] J. Gribbin, En busca del gato de Schr odinger. La fascinante historia de la Mec anica Cu antica. Biblioteca Cient 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, Mec anica Cu antica. Vol. I y II. Ed. Tecnos. (Hay una edici on inglesa reciente Quamtum Mechanics, Dover, New York, 1999) [13] A. F. Nikiforov y V. B. Uvarov, Special Functions of Mathematical Physics. Birkh auser Verlag, Basilea, 1988. [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. Sav eliev, Curso de f sica general. Mir, Mosc u, 1989.

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 hist oricas. 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 Mec anica http://library.thinkquest.org/C005775/ Cu antica en la WWW:

[21] Cu antica sin f ormulas en la WWW: http://eltamiz.com/cuantica-sin-formulas/

Anexo A: Breve introducci on al an alisis funcional

A.1. Introducci on: Estacios m etricos y espacios normados

Denici on A.1.1 Un espacio m etrico es un par (X, r ) donde X es un conjunto y r := r (x, y ) es una funci on real (univaluada) no negativa denida para todos x, y, z X tal que 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 m etrica. Por ejemplo, el espacio X = Rn de las n-tuplas x = (x1 , x2 , . . . , xn ) con la m etrica ! 1 /p n X |xk yk |p , p 1, r (x, y ) =
k=1

es un espacio m etrico. Otro ejemplo de especial importancia es el espacio de todas las sucesiones P p reales (o complejas) x = (x1 , x2 , . . . , xn , . . .) tales que etrica k=1 |xk | < + con la m 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 m etrico l2 de Hilbert. Como u ltimo 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 m etrica (f, g ) = Z
b a

|f (x) g (x)|p

1/p

p 1.

El par obtenido Cp ([a, b]) es un espacio m etrico. Como caso particular (de especial relevancia) tenemos el caso p = 2, i.e., X = C[a,b] y r es la funci on s Z b |f (x) g (x)|2 . (f, g ) =
a

117

118

n al ana lisis funcional Anexo: Breve introduccio

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 generalizaci on de este espacio. Denici on A.1.2 Sea X un espacio m etrico, x0 X y r > 0. Deniremos la bola abierta 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 }. Denici on A.1.3 Se dice que el conjunto M X es abierto en X si todos sus puntos (elementos) 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 . Denici on A.1.4 Un punto x0 se denomina punto interior del conjunto M X si existe un > 0 tal que B (x0 , ) M . De lo anterior se deduce que el conjunto M X es abierto si y s olo si todos sus puntos son interiores. Denici on A.1.5 Por aplicaci on (operador) o funci on entenderemos una regla T que le hace corresponder a cada elemento del subconjunto D(T ) X un u nico elemento del espacio m etrico 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 aplicaci on. Si a cada x D(T ) le corresponde un valor y = T x Y diremos que T x es la imagen de x seg un T . Al conjunto de todas las im agenes T x le denominaremos imagen de T y le denotaremos por I(T ). Denici on A.1.6 Una aplicaci on T : D(T ) X Y se llama sobreyectiva si todo elementoy de Y es imagen de alg un elemento x del dominio. Una funci on se llama inyectiva si todo elemento y de la imagen de T es imagen a lo sumo de uno y s olo un elemento x del dominio. Una aplicaci on inyectiva y sobreyectiva se denomina biyectiva. Es decir una aplicaci on es sobreyectiva si, para todo y Y, la ecuaci on T x = y tiene al menos una soluci on, e inyectiva si la ecuaci on anterior tiene o bien una u nica soluci on, o bien no tiene soluci on. As mismo, T es biyectiva si para todo y Y, la ecuaci on T x = y tiene una y s olo una soluci on. Para las funciones inyectivas se puede denir la aplicaci on inversa. Denici on A.1.7 Sea T : D(T ) X Y una aplicaci on inyectiva. Deniremos su aplicaci on inversa T 1 a la aplicaci on T 1 : I(T ) Y D(T ) X tal que a cada elemento y I(T ) le hace corresponder un u nico x D(T ) tal que T x = y . Denici on A.1.8 La restricci on de una aplicaci on T : D(T ) X Y a un subconjunto B D(T ) es la aplicaci on T |B que se obtiene de T cuando x se restringe al conjunto B D(T ). Denici on A.1.9 La extensi on de una aplicaci on T : D(T ) X Y a un subconjunto e tal que T e|D(T ) = T , i.e., T ex = T x para todo x D(T ). C D(T ) es la aplicaci on T

 n: Estacios m A.1. Introduccio etricos y espacios normados

119

Denici on A.1.10 Una aplicaci on T : D(T ) X Y es continua en x0 D(T ) si para todo > 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 . Denici on A.1.11 La imagen inversa de y Y es el conjunto de todas las x D(T ) tales que 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 o, un u nico punto (elemento) de D(T ) o un subconjunto M D(T ). Proposici on A.1.12 Una aplicaci on T : D(T ) X Y es continua si y s olo si la imagen inversa de cualquier subconjunto abierto (cerrado) de Y es un subconjunto abierto (cerrado) de X. Demostraci on: Sea T continua y sea S Y un abierto. Sea S0 la imagen inversa de S . Si S0 = la proposici on es trivial asi que asumiremos que S0 = . Sea x0 S0 cualquiera y sea 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 aplicaci on tal que imagen inversa de cualquier subconjunto abierto de Y es un 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 Denici on A.1.13 Sea M X. Diremos que x X es un punto de contacto (o adherente) de M si en cualquier bola B (x, ), > 0 hay al menos un elemento de M . As mismo, diremos que x es un punto de acumulaci on (o punto l 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 ning un elemento M excepto el propio x. Es f acil ver que si M solo contiene puntos aislados entonces M es cerrado (pues X\M es abierto). De lo anterior se deduce adem as que los puntos de contacto de M o bien son puntos l mites, o bien son aislados. Denici on A.1.14 Dado un subconjunto M X, se denomina clausura de M al conjunto M 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?). Proposici on A.1.15 Un subconjunto M X es cerrado si y s olo si M = M . As , como M M , entonces M es el menor conjunto cerrado que contiene a M .
23 Aqu

r denota la m etrica de X y la de Y.

120

n al ana lisis funcional Anexo: Breve introduccio

Demostraci on: Sea M cerrado. Como M M basta probar que M M . Como M es carrado, 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 ning un elemento de M , es decir x X \ M es un punto interior del conjunto X \ M . Como x es arbitrario, X \ M es abierto luego M es cerrado. 2 Denici on A.1.16 Un subconjunto M X es acotado si su di ametro d(M ) = supx,y M r (x, y ) es es nito. Denici on A.1.17 Dada una sucesi on (xn )n de elementos de X, diremos que (xn )n es acotada 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 n umero K > 0 tal que r(x, xn ) < K para todo n N. Denici on A.1.18 Una sucesi on (xn )n de elementos de X es convergente, y lo denotaremos por l mn xn = x, si existe un x X tal que para todo > 0 existe un N N tal que para todo n > N , r(x, xn ) < . En caso contrario diremos que (xn )n es divergente. N otese que en la propia denici on de l mite est a expl cito que el l mite ha de ser un elemento de X. Por ejemplo, sea X el intervalo abierto (0, 1) con la m etrica habitual de R. La sucesi on n xn = 1/(n + 1) no tiene l mite en X ya que claramente 1/(n + 1) 0 pero 0 (0, 1). Denici on A.1.19 Una sucesi on (xn )n de elementos de X se denomina de Cauchy o fundamental 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 sucesi on es convergente si y s olo si es de Cauchy. Esta propiedad fundamental de R no es cierta para cualquier espacio m etrico X. Por ejemplo, si escogemos nuevamente X como el intervalo abierto (0, 1) con la m etrica habitual de R, la sucesi on xn = 1/(n + 1), que es de Cauchy (por qu e?) no tiene l mite en X. Denici on A.1.20 Un espacio m etrico X se denomina completo si y s olo si toda sucesi on de Cauchy de elementos de X converge (a un elemento de X). Por ejemplo, el espacio X = R con la m etrica usual de R, es completo. Tambi en lo es X = C con la m etrica usual de C. Sin embargo Q, el conjunto de los n umeros racionales, es incompleto (por qu e?), y el conjunto X = (0, 1) de antes tambi en lo es. El espacio m etrico (de Hilbert) l2 es completo no as el espacio C2 ([a, b]). Teorema A.1.21 Un subespacio M de un espacio m etrico completo X es completo si y s olo si es cerrado en X. Demostraci on: Sea M completo. Probaremos que M = M . Sea x M cualquiera, entonces existe (por qu e?) una sucesi on de elementos de M que converge a x. Entonces (xn )n es de Cauchy (pues es convergente) pero M es completo, luego x M , i.e., M = M . on de Cauchy en M . Entonces Sea M cerrado (i.e., M = M ) y (xn )n una sucesi l mn xn = x con x X (X es completo). Pero entonces x X es un punto de acumulaci on de M , i.e., x M y como M es cerrado x M , i.e., toda sucesi on de Cauchy en M tiene l mite en M , i.e., M es completo. 2

 n: Estacios m A.1. Introduccio etricos y espacios normados

Denici on A.1.22 Un subconjunto M X es denso en X si su clausura M = X.

121

De la denici on anterior se inere que si M es denso X entonces cualquiera sea la bola B (x, ) (por peque no que sea > 0) siempre contiene puntos de M . En otras palabras, cualquiera sea 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. Denici on A.1.23 Un espacio m etrico X es separable si contiene un subespacio numerable24 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 tambi en es separable. Denici on A.1.24 Un espacio m etrico X se denomina compacto si cualquier sucesi on (xn )n de elementos de X tiene una subsucesi on convergente. 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 subsucesi on convergente en M . Lema A.1.25 Si M X es compacto, entonces M es cerrado y acotado. Demostraci on: Sea M compacto y sea x M cualquiera. Como x M entonces existe una n sucesi on (xn )n en M tal que xn x X. Como M es compacto, entonces x M , luego M = M por lo que M es cerrado. Supongamos que M es no acotado. Entonces existe al menos una sucesi on (xn )n de elementos de M tal que, jado un b M arbitrario, se tiene que r (xn , b) > n (por qu e?). Dicha sucesi on obviamente no puede tener ninguna subsucesi on convergente (pues caso que la tuviera esta fuese acotada) y por tanto M no puede ser compacto. 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- esima que es 1. Obviamente ek = 1. Adem as todos los puntos de M son aislados (por qu e?), por tanto M es cerrado. Ahora bien, como M solo tiene puntos aislados, M no tiene ning un punto de acumulaci on por lo tanto ninguna sucesi on que escojamos de elementos distintos de M contiene una subsucesi on convergente. Denici on A.1.26 Un espacio vectorial X se denomina espacio normado si para todo x X existe un n umero real denominado norma, y que denotaremos por x , que cumple con las 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 n umeros naturales. Por ejemplo, Q es numerable, pero R no lo es.

122

n al ana lisis funcional Anexo: Breve introduccio

Es evidente que si en un espacio normado X denimos la funci on r (x, y ) = x y , esta satisface los axiomas de la denici on A.1.1, i.e., todo espacio normado es un espacio m etrico. La funci on r anterior se denomina m etrica inducida por la norma. Denici on A.1.27 Un espacio normado completo (en la m etrica inducida por la norma) se 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 2 espacio de las funciones continuas en [a, b] con la norma f = | f ( x ) | es un espacio a normado pero no de Banach (por qu e?). Est a claro que todo espacio normado es un espacio m etrico con la m etrica inducida por la 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 m etricos con la m etrica r inducida por la norma: r (x, y ) = x y . Consideremos ahora un caso particular de las aplicaciones introducidas en la denici on A.1.5. Denici on A.1.28 Una aplicaci on (operador) es lineal si 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 ).

Denici on A.1.29 Sean X e Y dos espacios normados y sea el operador T : D(T ) Y lineal. 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. Adem as de (A.1.2), tomando nmos en c obtenemos y X, Es f acil probar que T

25 Se

Ty T y

Ty T

y .

es una norma, es decir se cumplen los axiomas de la denici on.

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 aplicaci on lineal de un espacio normado X a otro espacio normado Y. Entonces 1. T es continuo si y s olo si T es acotado. 2. Si T es continuo en alg un x0 D(T ), T es continuo en D(T ). Demostraci on: Asumiremos que T no es el operador nulo. 1. Sea T acotado y sea x0 D(T ) cualquiera. Como T es lineal y acotado, entonces T x T x 0 = T (x x 0 ) 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 < .

Adem as, para dichos x tenemos, usando la linealidad de T , que T T x T x 0 = T (x x 0 ) = y 2 y = 2 y Ty luego T es acotado.

Ty

2 y ,

2. N otese que en la prueba anterior se prob o que si T era continuo en un punto x0 D(T ), 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 secci on sobre los espacios de Hilbert separables que complementa los apartados 4.1 y 4.2.

A.2.

Espacios de Hilbert separables

Denici on A.2.1 Dado un vector x H deniremos la serie de Fourier respecto al sistema ortonormal (n ) n=1 a la serie 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 n ||x q ||2 = ||x||2
q H 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
Demostraci on: Sea gn = Pn
k=1

n al ana lisis funcional Anexo: Breve introduccio

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 expresi on anterior es m nima si y s olo si ak = ck para todo k N, i.e., gn = sn .2 N otese que *
2

x sn

= x

n X n X | x, k |2 m , k = x + k 2 m 2 k=1 m=1

n n X X x, k x, k k , x k 2 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 e?) y por tanto =

n

l m |cn | = 0

l m x, k = l m k , x = 0.
n

(A.2.5)

La desigualdad (A.2.4) se conoce como desigualdad de Bessel. N otese que una condici on 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 com unmente igualdad de Parseval y es, en general, muy complicada de comprobar. Denici on A.2.3 Se dice que un sistema de vectores linealmente independientes (n )n es completo en X H si para todo vector x X H y cualquiera sea > 0 existe una combinaci on 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 combinaci on nita de vectores del sistema (n )n . Esta denici on es equivalente a decir que H es el menor subespacio vectorial cerrado que contiene al conjunto 1 , 2 , . . . ((n )n genera a todo H). Denici on A.2.4 Un sistema ortogonal (ortonormal) completo de X H se denomina base ortogonal (ortonormal) de X H.

A.2. Espacios de Hilbert separables

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. Demostraci on: 1) 2) Cualquiera sea x H construimos la serie de Fourier (A.2.1) y sean P sn = n k=1 ck k sus sumas parciales. Usando 1) y el teorema A.2.2 tenemos > 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 mn sn = x de donde se sigue 2). Obviamente 2) implica 1) (por qu e?). 2)3) Tomando el l mite n en (A.2.3) y usando 2) (l mn x sn = 0), se sigue 3). 3)4) Si para todo k N x, k = 0, entonces de 3) se deduce que x = 0, luego x = 0. Pn 4)2) Por sencillez consideremos que el sistema (n )n es ortonormal. Sea n = k=1 ck k , Py 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 peque na como se quiera, i.e., la sucesi on yn es de Cauchy, luego es convergente. 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 mn yn , k = y, k para todo k N. Pero yn , k =
n X j =1

k ,

x, j k , j = x, k ,

k n,

luego x yn , k = 0 para todo k n de donde, tomando n deducimos que x y, k = 0 para todo k N, luego por 4) x y = 0. 2

126

n al ana lisis funcional Anexo: Breve introduccio

Nota A.2.6 La equivalencia entre 1 y 2, as como las implicaciones 2 3 4, son tambi en 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. Denici on A.2.8 Se dice que un sistema ortonormal (n )n es cerrado en un espacio eucl 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 denici on anterior y el Teorema A.2.5 se sigue que un un sistema ortonormal (n )n es completo en un espacio de Hilbert H si y s olo si (n )n es cerrado en H. Teorema A.2.9 Todo espacio de Hilbert H separable tiene una base ortonormal. Demostraci on: Como H es separable, existe un conjunto numerable de vectores (n )n denso en H. Si de dicho conjunto eliminamos aquellos vectores k que se pueden obtener como combinaci on lineal de los anteriores j , j < k obtenemos un sistema completo de vectores linealmente independientes de H. La base ortonormal se obtiene al aplicar a dicho sistema el proceso de ortogonalizaci on de Gram-Schmidt. 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 n umeros c1 , c2 , . . . , cn , . . . tales que
X

|cn |2 < +.

n=1

Entonces, existe un elemento x H cuyos coecientes de Fourier son precisamente los n umeros c1 , c2 , . . . , cn , . . . , i.e., X |cn |2 = x 2 , cn = x, n .
n=1

Demostraci on: Sea xn = k=1 ck k . Como vimos en la prueba del Teorema A.2.5 la sucesi on 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 . Adem as, como xn x, usando (A.2.3), se tiene que x de donde se sigue el teorema.
2

Pn

n X

|ck |2 = x xn

2 n

0, 2

k=1

A.2. Espacios de Hilbert separables

127

Denici on A.2.11 Una aplicaci on U entre dos espacios de Hilbert H y H se denomina unitaria 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 aplicaci on unitaria U : H H tal que x = U x, 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 . Demostraci on: Como H es separable, en H existe una base ortonormal numerable (ver Teorema 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 aP logo). Sea x H y sea la aplicaci on U : H l2 denida por P totalmente an 2 x = U x = kI x, k ek = kI xk ek l , donde (en )n denota la base ortonormal can onica de l2 que ya hemos visto antes. Esta claro que U es biun voco, pues dada cualquier sucesi on (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 u nico. Adem as, como 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 =
k I mI k I

y, por el otro, que el producto escalar en l2 viene dado por x , y sigue que x, y = x , y l2 .

l2

k I

xk yk , de donde se 2

Denici on A.2.13 Sea M H un subespacio27 cerrado del espacio de Hilbert H. Denominaremos complemento ortogonal de M , y lo denotaremos por M , al conjunto M = {x H; x, y = 0, y M }. N otese que al ser M cerrado, es completo (pues H es completo, y todo subespacio M de un espacio m etrico completo H es completo si y s olo si es cerrado en H). 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 u nica representaci on de la forma x = y + y donde y M e y M . Demostraci on: Como H es separable y M es cerrado en H, entonces M es completo (recordemos nuevamente que todo subespacio M de un espacio m etrico completo H es completo si y s olo si 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 descomposici on es u nica. Para
26 Se 27 Se

entiende que , denota el producto escalar en H que no tiene por que ser el mismo que en H. entender a, como el caso de los espacios normados que M es un subespacio lineal de H.

128

n al ana lisis funcional Anexo: Breve introduccio

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 contradicci on.

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 f acil ver que la noci on de suma directa se puede extender al caso de un n umero nito o contable de subespacios M1 , M2 , etc. N otese adem as que del teorema anterior se sigue que (M ) = M . 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 t erminos de un producto escalar, i.e., T x = x, z , donde z depende de T y esta un vocamente determinado por T y su norma satisface la ecuaci on z = T . La prueba de este importante teorema se puede encontrar en [E. Kreyszig. Introductory Functional Analysis with Applications, p ag. 188].

A.2.1.

Operadores en espacios de Hilbert

Denici on A.2.16 Sea la aplicaci on (operador) linear A : E E , E, E espacios eucl 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 , . . .), com unmente denominado operador desplazamiento (shift). Entonces su adjunto S es el operador S : l2 l2 S (x1 , x2 , x3 , . . .) = (x2 , x3 , . . .), Para los espacios eucl deos la existencia del operador adjunto no est a garantizada en general, no obstante si que lo est a en el caso de los espacios de Hilbert. De hecho, como consecuencia del Teorema de representaci on de Riesz A.2.15 se tiene el siguiente resultado: Teorema A.2.17 Sea la aplicaci on (operador) linear A : H H , H, H espacios de Hilbert. Entonces existe un u nico operador A : H H adjunto a A. Adem as, A es lineal y A = A .

= x, A y ,

A.2. Espacios de Hilbert separables

129

Demostraci on: Denimos el funcional Ty x : H K, Ty x := Ax, y . Obviamente, para cada y 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 u nico 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 dimensi on nita. Entonces como ya hemos visto, H es isomorfo a Cn . Sea (ek )k una base de H. 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,j =1 , i.e., tenemos la aplicaci on A : Cn Cn , y = Ax, donde A es una matriz n n 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 . C B . . . . . . . .. . @ . . . . . A an,1 an,2 an,3 an,n Obviamente la matriz de la aplicaci on identidad es la matriz identidad. N otese que lo anterior se puede generalizar al caso la matriz ser a una matriz innita 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 dimensi on innita, s olo que en este .. . . . . a1,n a2,n a3,n . . . an,n . . . 1 C C C C C. C C C A .. .

130

n al ana lisis funcional Anexo: Breve introduccio

Denici on A.2.18 Sea el operador lineal A : X Y, X e Y espacios de Banach. Diremos que A es invertible si existe un operador B , A : Y X tal que AB = IY , BA = IX . Est a claro que para el caso de dimensi on nita, existir a el inverso de A si dim X = dim Y y la matriz correspondiente ser a la matriz inversa de A. En dimensi on innita la situaci on es algo m as complicada. Por ejemplo, el operador desplazamiento S cumple con S S = I pero SS = I , 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

Demostraci on: Sea la sucesi on de operadores (An )n , denida por An x := Xn = (I + A + A2 + + n A )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 sucesi on An x converge a un y X que denotaremos por y = T x. As , tendremos el operador T : X X bien denido. Como A es lineal, An lo ser a y por tanto T tambi en. Para ello basta tomar el l 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 a (por qu e?). De la desigualdad anterior se sigue adem as que T x An x A n+1 A n+1 n 0 = l m An = T. = 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 m An x = l m (I A)An x = l m (An x A An x) = l m (x An+1 x).
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 an aloga y la omitiremos. 2 Denici on A.2.20 Denotaremos por L(X) el conjunto de todos los operadores lineales A en X, i.e., A : X X.
28 Aqu usamos el hecho conocido de que toda aplicaci on lineal T : D (T ) X Y de un espacio normado (Hilbert) X a otro espacio normado (Hilbert) Y tiene las propiedades: 1. T es continua si y s olo si T es acotada y 2. Si T es continua en alg un x0 D (T ), T es continua en todo su dominio D (T ).

A.2. Espacios de Hilbert separables

131

N otese que la prueba del Teorema A.2.19 se puede adaptar para probar que toda sucesi on 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 sucesi on Xn := Tn x es 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). Adem as, de lo anterior se sigue tambi en, tomando 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 aplicaci on directa del Teorema A.2.19 es el siguiente resultado: 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). Demostraci on: Sea A L(X) un operador invertible. Denamos la bola B (A, 1/ A1 ). Cualquiera sea B B (A, 1/ A1 ) tendremos que BA 1 = (B A)A1 B A A 1 A1 < 1,

luego el operador I + (B A)A1 = BA1 es invertible, por tanto el operador B = (BA1 )A lo ser a, i.e., todo operador B B (A, 1/ A1 ) es invertible, por tanto para cualquiera sea A E existe una bola B (A, 1/ A1 ) E centrada en A, luego E es abierto. 2 Denici on A.2.23 Un operador lineal A : X Y, X e Y espacios de Banach es compacto si para toda sucesi on acotada (xn )n de X, la sucesi on (Axn )n de Y tiene una subsucesi on convergente. N otese que si A es compacto, A es acotado pues en caso contrario existir a una sucesi on n acotada (xn )n tal que Axn y entonces la sucesi on (Axn )n no tendr a una subsucesi on convergente. Se puede probar que cualquier operator A : H H, siendo H un espacio de Banach de dimensi on nita es compacto, no obstante la compacidad no es trivial en el caso innito tal y como muestra el siguiente ejemplo: El operador identidad I : H H, H espacio de Hilbert de dimensi on innita no es compacto. Para probarlo, escojamos una sucesi on orthonormal (xn )n en H. Como xn xm 2 = 2 para todos n, m N, entonces la sucesi on Ixn = xn no contiene 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

n al ana lisis funcional Anexo: Breve introduccio

on acotada de H. Como B es acotado, entonces la suceDemostraci on: Sea (xn )n una sucesi si on (Bxn )n es acotada y como A es compacto, de la sucesi on (ABxn )n se puede extraer una subsucesi on convergente, luego AB es compacto. Sea ahora (xn )n una sucesi on acotada de H. Como A es compacto, existe una subsucesi on (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 subsucesi on (BAxnk )k converge, luego BA es compacto. Denici on A.2.25 Un operador A : H H, H espacio de Hilbert, se llama herm tico o autoadjunto si A = A , i.e., Ax, y = x, A y , x, y H.

A.2.2.

Teor a Espectral de operadores compactos autoadjuntos

En un espacio de dimensi on nita podemos denir el espectro de un operador como el conjunto de los autovalores de su correspondiente matriz (en alguna base29 ), i.e., es el conjunto de los n umeros complejos tales que 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 denici on m as general. Denici on A.2.26 Sea X un espacio de Banach y A una aplicaci on lineal A : X X. El espectro de A, que denotaremos por (A) es el conjunto de n umeros complejos tales que el operador (I A) es no invertible, i.e., no existe (I A)1 . De la denici on anterior se sigue que en dimensi on nita (A) es el conjunto de todos los 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 }. Demostraci on: Sea L(X) el conjunto de todos los operadores lineales de X en X, X espacio de 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 Proposici on A.1.12, F 1 (L(X) \ E ) es cerrado, luego (A) lo ser a. Escojamos ahora tal que || > A , entonces 1 A < 1 as que (I 1 A) es invertible y por tanto I A lo ser a. Entonces para dichos tendremos que (A), i.e., (A) B (0, A ). Es decir, (A) es cerrado y acotado, por lo tanto es compacto (en dimensi on 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 a lgebra lineal que los autovalores de un operador no dependen de la base escogida.

A.2. Espacios de Hilbert separables

133

Teorema A.2.28 Sea H un espacio de Hilbert y A una aplicaci on lineal A : H H herm tica (autoadjunta). Entonces todos los autovalores de A (si los tiene) son reales. Adem as los autovectores correspondientes a autovalores distintos son ortogonales. erdida Demostraci on: Sea un autovalor de A y x su correspondiente autovector, que sin p 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 sucesi on ortonormal de H. Entonces l mn An = 0. un > 0 ha de existir Demostraci on: Supongamos que el teorema es falso, entonces para alg una subsucesi on (kn )n tal que Akn > para todo n N. Como A es compacto y la sucesi on (kn )n es acotada, entonces hay al menos una subsucesi on convergente (mn )n tal que l mn Amn = = 0. Entonces 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 dimensi on innita un operador lineal A en general puede no tener 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. Demostraci on: Ver, por ejemplo, L. Debnath & P. Mikusinski - Introduction to Hilbert spaces with applications, Academic Press, 1990. Teorema 4.9.8 p ag. 182. 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 aplicaci on lineal A : H H autoadjunta (herm tica) y compacta. Entonces A tiene un n umero nito de autovalores n reales n distintos o si es innito, entonces, es numerable y si lo ordenamos de mayor a menor n 0. Demostraci on: Del teorema A.2.30 se sigue que el conjunto de autovalores no es vac o, luego est a compuesto por un n umero nito o innito de elementos (que son n umeros reales por el 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

n al ana lisis funcional Anexo: Breve introduccio

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 acci on de A. Sea A|H2 la restricci on de A al espacio H2 . Si A|H2 no es el operador nulo, entonces podremos aplicar el mismo razonamiento de antes, por lo que existir a 2 y x2 tales que |2 | = A|H2 , donde adem as es obvio que |2 | |1 |. As podemos seguir hasta que en cierto paso k A|Hk = 0 obteniendo la sucesi on nita de autovalores (k )n k=1 con sus correspondientes autovectores normalizados30 (xk )n k=1 tales que |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 m as de uno), que son numerables pues H es separable (por qu e?). Ahora bien, por el Teorema A.2.29 tenemos 0 = l m
n n

Axn

= l m Axn , Axn = l m |n |2 ,
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 on que denotaremos por (k )k . Como |nk | > . Construyamos con dichos elementos una sucesi 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 x k + p k x k

= |k+p |2 + |k |2 > 22 ,

k, p N

es decir, la sucesi on (Axk )k no contiene ninguna subsucesi on de Cauchy y por tanto no contienne ninguna sucesi on convergente (por qu e?) lo que contradice que A sea un operador compacto. Del teorema anterior se sigue adem as que los espacios ker(k I A), para cada k , k = 1, 2, 3, . . . son de dimensi on nita, pues en caso contrario n 0. Teorema A.2.32 (Teorema espectral) Sea H un espacio de Hilbert y A una aplicaci on lineal A : H H autoadjunta y compacta. Existe una sucesi on numerable (nita o innita) de autovectores ortonormales (xn )n de H cuya correspondiente sucesi on de autovalores denotaremos 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 sucesi on (n )n es innita se puede reordenar de forma que n 0. 3. Los correspondientes espacios ker(n I A), para todo n = 1, 2, 3, . . . son de dimensi on nita, siendo la dimensi on de estos el n umero de veces que aparece un mismo k en la f ormula (A.2.9).
30 Es n

importante destacar que para cada k , k = 1, 2, 3, . . . puede haber m as de un autovector.

A.2. Espacios de Hilbert separables

135

on que usamos en la prueba del teorema A.2.31 Demostraci on: Utilizando la misma construcci obtenemos una sucesi on de autovalores (k )n k=1 con sus correspondientes autovectores normalizados (xk )n as de un autovector, en funci on de la multiplicidad k=1 (para cada k puede haber m del mismo) tales que |1 | 2 | |n |. Durante el proceso hemos construido adem as la cadena de subespacios invariantes respecto 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 a probar.
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 sucesi on n tal n que n 0 (ver Teorema A.2.31). Denamos nuevamente el vector yn = x n k=1 x, xk xk . Usando (A.2.3) se sigue que yn 2 x 2 . Adem as, como ya vimos yn Hn+1 , luego, usando 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 m Ayn = 0,

n x, xn xn ,

x H.

n=1

Comprobemos ahora que todos los autovalores de A est an presentes en la f ormula (A.2.9). Esta cuesti on es de suma importancia pues en la prueba hemos usado los autovalores obtenidos 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 f ormula (A.2.9) a dicho autovector x tenemos x = Ax =
X

n x, xn xn =

n=1

n=1

n 0 xn = 0,

lo que es una contradicci on. Lo anterior tiene una implicaci on importante: Formalmente el 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 dimensi on de ker(k I A) = p, donde p es el n umero de veces que aparece k en la f ormula (A.2.9). Por simplicidad

136
(1) ( p)

n al ana lisis funcional Anexo: Breve introduccio

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 p erdida de generalidad, que ortogonal a ellos (por qu e?). Entonces est a claro que dicho x es ortogonal a todos los vectores xk que aparecen en la f ormula (A.2.9) (ya sea porque los xk corresponden a autovalores distintos (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 contradicci on.

Corolario A.2.33 Sea H un espacio de Hilbert separable y A una aplicaci on lineal A : H H 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. Adem as, X n x, en en , x H, Ax =
n

donde (n )n es la correspondiente sucesi on de autovalores asociados a (en )n .

Demostraci on: Del Teorema espectral A.2.32 se sique que existe un conjunto de autovectores (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 alg un n = 0 este se puede omitir de la suma). Como el n ucleo 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 e?) existir a una 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 a ortogonal a todos los n y el sistema (m )m ser a ortogonal a (n )n . Adem as de (A.2.10) se tiene que para todo x H ! 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 adem as es diagonalizable y en cuya diagonal aparecen los correspondientes autovalores. Adem as se tiene el siguiente resultado:

i.e., el sistema (m )m (n )n es completo (Teorema A.2.5) que podemos ortogonalizar utilizando el m etodo de Gram-Schmidt obteniendo el sistema ortonormal (numerable) (en )n (recordemos que para autovectores correspondientes a autovalores distintos ya teniamos la ortogonalidad, as que s olo es necesario P aplicarlo a los autovectores correspondientes a un mismo autovalor), 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 com un. Demostraci on: Sea un autovalor de A y sea S el correspondiente subespacio lineal generado por 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 adem as son autovectores de A pues est an en S . Repitiendo en proceso para cada uno de los subespacios S de A obtenemos para cada uno de dichos subespacios la correspondiente base de autovectores. La uni on de todas ellas es la base com un buscada. 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 n. Elementos de la teor a de funciones y del an alisis funcional. 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 m etricos, normados y de Hilbert los libros marcados con m, n y h, respectivamente.

139