Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Aplicaciones A La Mecanica Cuantica PDF
Aplicaciones A La Mecanica Cuantica PDF
UNIDAD CUAJIMALPA
arXiv:1103.2387v1 [physics.class-ph] 11 Mar 2011
DEPARTAMENTO DE MATEMATICAS
APLICADAS Y SISTEMAS
FUNCIONES ESPECIALES
CON APLICACIONES A LA MECANICA
CUANTICA Y AL
ELECTROMAGNETISMO
1
Indice general
2
2.3.2. Divergencia en coordenadas curvilneas . . . . . . . . . . 45
2.3.3. Laplaciano en coordenadas curvilneas . . . . . . . . . . 46
2.3.4. Rotacional en coordenadas curvilneas . . . . . . . . . . 47
2.4. Operador momento angular . . . . . . . . . . . . . . . . . . . . 49
3. El Factorial y la Funci
on Gamma 52
3.1. Funcion Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5. Funciones de Bessel 68
5.1. Ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . 68
5.2. Funcion generatriz . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.3. Relaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . 74
5.4. Funciones de Bessel de orden n + 21 . . . . . . . . . . . . . . . 76
5.5. Ortonormalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.6. Ecuacion de Helmholtz en dos dimensiones . . . . . . . . . . . . 82
5.7. La ecuacion de Laplace en coordenadas cilndricas . . . . . . . 85
5.7.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.8. Ecuaciones tipo Bessel . . . . . . . . . . . . . . . . . . . . . . . 90
5.8.1. Partcula cuantica en una fuerza constante . . . . . . . 91
5.9. Integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5.10. Ecuacion de Bessel modificada . . . . . . . . . . . . . . . . . . . 92
6. Elementos de Algebra Lineal 93
6.1. Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.2.1. Cn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.2.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.2.3. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.2.4. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.3. Producto Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.4. Ejemplos de producto escalar . . . . . . . . . . . . . . . . . . . 97
6.4.1. Vectores en Cn . . . . . . . . . . . . . . . . . . . . . . . 97
3
6.4.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.4.3. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.4.4. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.5. Ortonormalidad e Independencia Lineal . . . . . . . . . . . . . . 100
6.5.1. Teorema de Pitagoras . . . . . . . . . . . . . . . . . . . . 101
6.5.2. Desigualdad de Bessel . . . . . . . . . . . . . . . . . . . 103
6.5.3. Desigualdad de Schwarz . . . . . . . . . . . . . . . . . . 103
6.5.4. Desigualdad del triangulo . . . . . . . . . . . . . . . . . 103
6.6. Espacios Normados . . . . . . . . . . . . . . . . . . . . . . . . 104
6.6.1. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . 105
6.7. Ejemplos de bases ortonormales . . . . . . . . . . . . . . . . . . 106
6.7.1. Exponencial compleja . . . . . . . . . . . . . . . . . . . . 106
6.7.2. Ecuaciones tipo Sturm-Liouville . . . . . . . . . . . . . . 107
6.7.3. Ecuacion de Schrodinger en una dimension . . . . . . . . 108
6.7.4. Ecuacion de Schrodinger en tres dimensiones . . . . . . . 108
6.7.5. Armonicos esfericos . . . . . . . . . . . . . . . . . . . . . 110
6.8. Polinomios Trigonometricos . . . . . . . . . . . . . . . . . . . . 112
6.9. Espacios completos . . . . . . . . . . . . . . . . . . . . . . . . . 114
6.10. Operadores Lineales . . . . . . . . . . . . . . . . . . . . . . . . 115
6.11. Operador Adjunto . . . . . . . . . . . . . . . . . . . . . . . . . 117
6.11.1. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.11.2. Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.11.3. Derivada con peso . . . . . . . . . . . . . . . . . . . . . 119
6.11.4. Propiedades del operador adjunto . . . . . . . . . . . . . 119
6.12. Operadores Hermticos . . . . . . . . . . . . . . . . . . . . . . . 120
6.12.1. Ejemplos de Matrices Hemticas . . . . . . . . . . . . . 121
6.12.2. Ejemplos de operadores Hermticos . . . . . . . . . . . . 121
6.13. Conmutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.13.1. Propiedades de los conmutadores . . . . . . . . . . . . . 124
6.13.2. Ejercicio . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.14. Conmutadores y la Derivada . . . . . . . . . . . . . . . . . . . . 127
6.15. Vectores propios . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
6.15.1. Espectro de operadores Hermticos . . . . . . . . . . . . 129
6.15.2. Operadores que conmutan . . . . . . . . . . . . . . . . . 130
4
8. El oscilador arm onico y los polinomios de Hermite 135
8.0.1. Ortonormalidad . . . . . . . . . . . . . . . . . . . . . . . 136
8.1. Operadores de acenso y decenso . . . . . . . . . . . . . . . . . . 136
8.2. Estado Base y Ortonormalidad . . . . . . . . . . . . . . . . . . 141
8.3. Polinomios de Hermite . . . . . . . . . . . . . . . . . . . . . . . 143
8.4. Funcion Generadora . . . . . . . . . . . . . . . . . . . . . . . . 146
8.4.1. Ecuacion de Hermite . . . . . . . . . . . . . . . . . . . . 149
8.5. Metodo tradicional . . . . . . . . . . . . . . . . . . . . . . . . . 150
8.6. Oscilador en campo electrico constante . . . . . . . . . . . . . . 153
8.7. Suma de osciladores y el oscilador en D dimensiones . . . . . . 154
8.7.1. Cadena de osciladores . . . . . . . . . . . . . . . . . . . 156
8.7.2. Oscilador en D dimensiones . . . . . . . . . . . . . . . . 158
5
10.Ecuaci on de Laplace en coordenadas esf ericas 206
10.0.1. Problema de la esfera . . . . . . . . . . . . . . . . . . . . 208
10.0.2. Formula de Poisson . . . . . . . . . . . . . . . . . . . . . 209
10.0.3. Esfera partida . . . . . . . . . . . . . . . . . . . . . . . . 211
10.1. Esfera a potencial cero . . . . . . . . . . . . . . . . . . . . . . . 213
10.1.1. Plano con protuberancia esferica . . . . . . . . . . . . . 214
10.2. Problemas con simetra azimutal . . . . . . . . . . . . . . . . . . 215
10.2.1. Esfera con condiciones especiales . . . . . . . . . . . . . 215
10.2.2. Potencial de un anillo circular . . . . . . . . . . . . . . . 216
10.2.3. Esfera con hueco . . . . . . . . . . . . . . . . . . . . . . 218
10.3. Disco a potencial constante . . . . . . . . . . . . . . . . . . . . 220
10.4. Distribucion de carga continua . . . . . . . . . . . . . . . . . . . 222
10.4.1. Esfera cargada . . . . . . . . . . . . . . . . . . . . . . . 224
10.5. Problemas en Magnetismo . . . . . . . . . . . . . . . . . . . . . 225
10.5.1. Esfera rotante . . . . . . . . . . . . . . . . . . . . . . . . 226
10.5.2. Anillo de corriente I . . . . . . . . . . . . . . . . . . . . 228
10.5.3. Anillo de corriente II . . . . . . . . . . . . . . . . . . . . 230
6
Captulo 1
La Convenci on de Suma de
Einstein, el Tensor de
Levi-Civita y las Ecuaciones de
Maxwell
1.1. Introducci
on
En este captulo veremos algunas herramientas matematicas que facilitan
la manipulacion de operaciones vectoriales. Para ver la eficacia de estas herra-
mientas las aplicaremos a las ecuaciones de Maxwell y a la fuerza de Lorentz.
En particular ocupando estas herramientas veremos las cantidades cantidades
conservadas que implican las ecuaciones de Maxwell.
7
Donde es la densidad volumetrica de carga y J~ es la densidad de corriente
electrica. De forma generica J~ se puede escribir como J~ = (~x, t)~v (~x, t) con
~v(~x, t) la velocidad de las partculas cargadas en el punto ~x al tiempo t.
~ + q ~v B.
m~a = F~ = q E ~ (1.5)
c
Esta fuerza se puede obtener de las ecuaciones de Maxwell, sin embargo para
interpretar los resultados que obtendremos la supondremos independiente.
aqu n
representa la normal exterior a la superficie. Ahora, supongamos que
tenemos una superficie S cuya frontera esta dada por la curva . Entonces, el
teorema de Stokes nos dice que si F~ es un campo regular sobre S, se cumple
Z Z
~ ~ ds = F~ d~l.
( F ) n (1.7)
S
8
~ d~l = 1 dm ,
Z
E (1.9)
S c dt
Z
~ n
B da = 0, (1.10)
V
~ d~l = 4 I + 1 de .
Z
B (1.11)
S c c dt
Donde
Z
QT = dv (1.12)
V
9
donde se entiende que los ndices repetidos se suman, a esta regla se le llama
convencion de Einstein. Cuando dos ndices estan repetidos se dice que estan
contraidos. Por ejemplo, si
r 2 = ~r ~r = xi xi = x1 x1 + x2 x2 + x3 x3 = x2 + y 2 + z 3 . (1.19)
es decir
ij Aj = Ai . (1.23)
10
Por simplicidad, en algunos caso solo escribiremos
~ = = i ,
i = 1, 2, 3. (1.27)
i xi
Veamos que significa
xj
= i xj , (1.28)
xi
para cada valor de i y j se tiene un valor de i xj por lo que se tiene la matriz
x1 x2 x3
j x 1 x 1 x 1 1 0 0
x x21 x22 x23 = 0 1 0 = ij .
= (1.29)
xi x
x1
x
x2
x
x3
3 3
0 0 1
x x x3
Ahora, considerando que r = xi xi , se tiene
1 (xi xi ) 1 xi i i
r xi xi i x
= = = x +x j
xj xj 2 xi xi xj 2r xj x
1 xj
= ij xi + xi ij = . (1.30)
2r r
De donde
r xi ~ = ~r = r.
j
= , r (1.31)
x r r
Si f (r) es una funcion que solo depende de r se tiene
f (r) f (r) r f (r) xi ~ (r) = f (r) ~r = f (r) r.
= = , f (1.32)
xi r xi r r r r r
Veamos otro ejemplo, consideremos la funcion
P~ ~r
(~r) = 3 , (1.33)
r
~
con P un vector constante. Entonces,
! !
(~r) ~
P ~r ~
P ~r 1
1
i
= i 3
= i 3
+ P~ ~r i
x x r x r x r 3
Pj xj 1 1 r
= i 3
3P~ ~r 4 i
x r r x
Pj xj 1 xi
= 3 i 3P~ ~r 4
r x r r
Pj ij x i Pi xi
= 3
3P~ ~r 5 = 3 3P~ ~r 5
r r r r
2 ~
Pi r 3P ~rxi
= ,
r5
11
de donde
P~ r 2 3 P~ ~r ~r
!
~ P~ ~r
= . (1.34)
r3 r5
~ se puede escribir
Note que con esta notacion la divergencia de un vector E
como
~ = Ex + Ey + Ez = E1 + E2 + E3
~ E
x y z x1 x2 x3
3
X Ei Ei
= i
= = i Ei . (1.35)
i=1
x xi
En efecto
~ (f g A)
~ = i (f gAi ) = (i f ) gAi + f (i g) Ai + f g (i Ai )
~
= g f A~ + f g ~ A~ + fg ~ A
~ . (1.37)
es decir
A~B
~ = (A2 B3 A3 B2 ), (1.39)
1
A~B
~ = (A3 B1 A1 B3 ), (1.40)
2
A~B
~ = (A1 B2 A2 B1 ). (1.41)
3
12
Note que en la componente A ~B~ no esta A1 ni B1 . De hecho, esto tam-
1
~ ~
bien ocurre para las demas componentes, es decir, en la componente A B
i
no esta la componente Ai ni la componente Bi .
13
Es decir, las componentes de ijk con dos ndices repetidos tienen valor cero.
Por lo tanto, las u
nicas componentes de ijk no nulas tienen ndices diferentes,
ocupando las propiedades de ijk (1.47) se puede ver que estas son
123 = 1, (1.50)
132 = 123 = 1, (1.51)
213 = 123 = 1, (1.52)
231 = 213 = 1, (1.53)
312 = 132 = 1, (1.54)
321 = 312 = 1. (1.55)
14
Para las demas componentes tenemos
3 X 3
~ ~
X
AB = 2jk Aj Bk = 213 A1 B3 + 231 A3 B1
2
j=1 k=1
= A3 B1 A1 B3 , (1.63)
X3 X 3
A~B
~ = 3jk Aj Bk = 312 A1 B2 + 321 A2 B1
3
j=1 k=1
= A1 B2 A2 B1 . (1.64)
Como podemos ver, la definicion de producto vectorial (1.56) coincide con
(1.38).
15
Con las componentes no nulas de esta matriz se puede formar el vector B ~ =
(B1 , B2 , B3 ). Note que si hacemos la contraccion de ijk con Bi se tiene ijk Bk
que es un objeto con dos ndices libres, es decir es una matriz. Considerando
las propiedades (1.47) se tiene
0 123 B3 132 B2 0 B3 B2
ijk Bk = 213 B3 0 231 B1 = B3 0 B1 = Mij(. 1.69)
312 B2 321 B1 0 B2 B1 0
Un resultado de este hecho trivial es que si Mij es una matriz simetrica entonces
la contraccion con ijk es cero, es decir,
16
En la primera igualdad, se empleo que ijk es antisimetrico, en la segunda
que Mjk es simetrica, en la tercera la igualdad (1.73). Por lo tanto, ijk Mjk =
ijk Mjk y se cumple (1.74).
~ A)
0 = ijk Aj Ak = (A ~ i. (1.78)
Otra matriz simetrica esta dada por Mij = i j . Esto implica que
~
~ = 0. (1.79)
Pues,
~ ~ ~
( )i = ijk j = ijk j k = 0. (1.80)
k
17
1.4.3. Conservaci
on de carga
Un hecho experimental bien conocido es que la carga se conserva. Veamos
si las ecuaciones de Maxwell son compatibles con este hecho. Para esto ocu-
paremos la ley de Gauss (1.1) y la ley de Ampere (1.4). De la ley de Gauss
obtenemos
1 ~ E~
= (1.83)
t 4 t
y ocupando la ley de Amp`ere se tiene
~ ~ B
~ J~ .
= (1.84)
t
~ (
Ahora, considerando Eq. (1.81) tenemos que ~ B)
~ = 0, de donde
~ ~
+ J = 0, (1.85)
t
que es la llamada ecuacion de continuidad. Integrando sobre un volumen V la
ecuacion (1.85) y ocupando el teorema de Gauss (1.6) se encuentra
Z Z
dQT d
Z Z
= dV = dV ~ ~
= dV J = dsJ~ n
. (1.86)
dt dt t V
dQT
= 0, (1.87)
dt
es decir, la carga total se conserva en el tiempo.
18
que se demuestra simplemente
~ ~
A BC ~ ~ ~
= Ai B C = Ai ijk Bj Ck = Ck (kij Ai Bj )
i
~
= Ck A B = C~ ~ A ~B ~ ,
k
~ B
A ~ C ~ = Ai B ~ C ~ = Ai ijk Bj Ck = Bj jik Ai Ck
i
= Bj jki Ck Ai = Bj C~ A~ =B ~ C~ A ~ . (1.89)
j
Por lo tanto, se cumple (1.88). Note que ocupando la regla del triple producto
~A
escalar y la igualdad A ~ = 0, se encuentra
~ A
A ~C ~ =C ~ A ~A ~ = 0. (1.90)
En efecto,
~ ~ ~ ~ ~
A B = A Bi = (ijk j Ak ) Bi = ijk (j Ak ) Bi
i
= ijk [j (Ak Bi ) Ak j Bi ] = j (jki Ak Bi ) + (kji j Bi ) Ak
~ A
= ~B ~ + ~ B ~ A.~ (1.92)
Otra identidad que se puede mostrar ocupando solo las propiedades del tensor
de Levi-Civita es
~
A ~ = ~ A ~ +
~ A.~ (1.93)
Pues
~ A
~ = ijk j A~ = ijk j (Ak ) = ijk (j ) Ak + ijk j Ak
i
k
= ~ A ~ + ~ A ~ . (1.94)
i i
19
1.6.1. Energa Cin
etica
Ocupando (1.90) en la fuerza de Lorentz se encuentra
~ + e ~v B
F~ ~v = eE ~ ~v = eE
~ ~v, (1.95)
c
esto quiere decir que el campo magnetico no hace trabajo.
Por lo tanto
Z
Ecin = ~ J~dx3 .
E (1.99)
V
1.6.2. Conservaci
on de la Energa
Veamos que implicaciones tiene (1.92) en las ecuaciones de Maxwell.
20
Restando estas dos ecuaciones y ocupando la identidad (1.92) se obtiene
1 ~ 2 ~ 2 ~ + c ( ~ c (
E +B = J~ E ~ B)
~ E ~ E)
~ B
~
8 t 4 4
~ c
= J~ E ~ E~ B~ . (1.102)
4
Al vector
~ c ~ ~
S= E B (1.103)
4
se le llama vector de Poynting. Ahora, integrando (1.102) sobre un volumen V
y ocupando la teorema de Gauss (1.6) se encuentra
d
Z I
3 ~ ~ ~ n
(Eem + Ecin ) = d x S = S da, (1.104)
dt V V
donde
1
Z
Eem = ~
3 2 ~
d x E +B . 2
(1.105)
8 V
1.7. Contracci
on de dos tensores de Levi-Civita
El tensor ij es simetrico mientras que ijk es totalmente antisimetrico. Sin
embargo estos dos tensores estan relacionados. Primero notemos que en dos
dimensiones se cumple
0 1 0 1 1 0
ik kj = = = ij . (1.107)
1 0 1 0 0 1
21
En tres dimensiones se cumple la identidad
3
X
ijk klm = ijk klm = il jm im jl . (1.108)
k=1
Mijlm = il jm im jl . (1.109)
es decir,
Las igualdades (1.112) y (1.113) nos indican que si (1.108) se cumple para una
cuarteta ordenada (ijml), tambien se cumple para las cuartetas ordenadas
(jilm), (ijml).
Note si i = j, (1.108) toma la forma 0 = 0. As, los valores que falta por
probar son i 6= j. De la definicion (1.109) es claro que Mijlm es diferente de
cero solo si i = l, j = m o i = m, j = l, que son las cuartetas ordenadas
(ijij) y (ijji). Esta propiedad tambien la tiene la cantidad ijk klm . En efecto,
recordemos que los ndices i, j, k, l, m solo pueden tomar los valores (1, 2, 3),
ademas en la suma ijk klm los u nicos terminos que contribuyen son tales que
i 6= j, i 6= k, j 6= k y k 6= l, k 6= m, l 6= m. Estas condiciones implican que
i = m, l = j o i = l, j = m. Es decir las u nica cuartetas ordenadas que dan
resultados no nulos en ijk klm son (ijij) y (ijji).
22
Si (ijij) = (1212), se tiene
23
Si en lugar de un vector constante se tiene el operador , ~ la identidad
~ ~
(1.119) ya no es validad. Por ejemplo, si en lugar de B C se considera ~ A,
~
ahora se cumple
h
~ ~ ~
i 1 2 ~ A)A
~ i.
( A) A = j Ai Aj ij A ( (1.121)
i 2
En efecto,
h i
~ ~ ~
( A) A ~ A)
= ijk ( ~ j Ak = ijk (jlm l Am )Ak
i
= ikj jlm (l Am )Ak
= (il km im kl ) (l Am )Ak
= Al l Ai Am i Am
1
= l (Ai Al ) Ai l Al i (Am Am )
2
1 ~ A.
~
= l Ai Al il A2 Ai (1.122)
2
Con esta identidad posteriormente veremos que se conserva el momento.
1.9. Conservaci
on del Momento
Para estudiar la conservacion del momento veamos de nuevo la fuerza de
Lorentz, la cual se puede escribir como
dP~cin
~ ~ ~v ~
= m~a = F = q E + B . (1.123)
dt c
Si tenemos una distribucion de carga tendremos dq = d3 x, por lo que un
elemento de fuerza esta dado por
~
v
dF~ = E ~+ B~ d3 x = Fd
~ 3 x, (1.124)
c
con
~
~ = E
F ~ + J B ~ (1.125)
c
la densidad de fuerza mecanica. As, la fuerza total mecanica es
!
dP~cin ~
J
Z
= F~ = E~ + B ~ d3 x. (1.126)
dt V c
24
En este resultado solo se ocupo la fuerza de Lorentz. Veamos que dicen las
ecuaciones de Maxwell.
25
Introduciendo estos resultados en (1.131) se llega a
ij 2 2
j Ei Ej + Bi Bj E +B
2
~ 1~ ~ 1 ~ ~
= 4 E + J B + EB . (1.136)
c 4c t i
~ = 1 E
P ~ = 1S
~ B ~ (1.137)
4c c2
y el tensor de esfuerzos de Maxwell como
1 ij 2 2
ij = Ei Ej + Bi Bj E +B . (1.138)
4 2
Pi
+ Fi = j ji . (1.139)
t
Integrando esta ecuacion sobre un volumen V se tiene
Z Z
Pi d
Z Z
3 3 3
dx + Fi = dx Pi + dx Fi = dx3 j ji
V t dt V V V
I
= ij nj da. (1.140)
V
d ~ I
Pem + P~cin = ij nj da (1.142)
dt i V
Como podemos ver, ademas del momento cinetico, las ecuaciones de Maxwell
implican el momento electromagnetico P~em que solo depende de los campos.
Tambien podemos ver que I
ij nj da
V
26
es un termino de fuerza y ij nj es una presion. De hecho, si definimos
I
P~T = P~cin + P~em , Fi = ij nj da (1.143)
V
dP~T
= F~ . (1.144)
dt
Ahora, si el volumen de integracion es suficientemente grande de tal forma que
el termino de la derecha sea nulo, la ecuacion (1.142) implica
1.9.1. Conservaci
on del momento angular
Tomando en cuenta la ecuacion (1.139) se encuentra
Pk
ijk xj + ijk xj Fi = ijk xj l lk . (1.146)
t
Considerando que t xj = 0 y que lk es simetrico se llega a
~
(ijk xj Pk ) + ~x F = ijk (l (xj lk ) lk l xj )
t i
= ijk (l (xj lk ) lk lj )
= l (ijk xj lk ) ijk jk
= l (ijk xj lk ) . (1.147)
27
As, integrando (1.147) sobre un volumen V y ocupando el teorema de Gauss,
se tiene
d ~ I
~
Lem + Lcin = (ijk xj lk )nl da. (1.150)
dt i V
Si V es suficientemente grande de tal forma que no haya campo electromagneti-
co en su frontera se tiene
d ~
~ cin = 0.
Lem + L (1.151)
dt i
Es decir, el momento angular total se conserva.
28
1.10.1. Ecuaci
on de onda
Con identidad (1.153) se puede probar que las ecuaciones de Maxwell im-
plican la ecuacion de onda. Por simplicidad veremos solo en caso en que no
hay fuentes, por lo que las ecuaciones de Maxwell toman la forma
~ E
~ = 0, (1.155)
~
~ E
~ = 1 B , (1.156)
c t
~ B
~ = 0, (1.157)
~
~ B
~ = 1 E . (1.158)
c t
De la ley de Faraday (1.156) se obtiene
~ ~
~ (
~ = 1 ( B) ,
~ E) (1.159)
c t
ocupando la ley de Amp`ere sin fuentes (1.158) y la identidad (1.153) se llega a
1 2 ~
2
2 2 E = 0. (1.160)
c t
Analogamente, aplicando el operador rotacional a la ley de Amp`ere (1.158) sin
fuentes y ocupando la ley de Faraday (1.156) se obtiene
1 2 ~
2
2 2 B = 0. (1.161)
c t
Por lo tanto, en el vaco los campos electrico y magnetico satisfacen la ecuacion
de onda.
29
donde e es un campo escalar.
Ahora, por el teorema del rotacional (1.163) se concluye que existe una campo
escalar tal que
~
~ + 1 A = .
E ~ (1.166)
c t
Por lo tanto podemos decir que la inexistencia de monopolos magneticos y la
ley de Faraday implican que existe los campos A~ y tal que
!
1 ~
A
B~ =~ A,
~ E~ = ~ + . (1.167)
c t
Este es un resultado importante. Note que dados los campos E, ~ B~ los campos
~
A y no son u nicos. En efecto, sea = (~x, t) un campo escalar arbitrario y
definamos
~ = A
~ + ,
~ 1
A = . (1.168)
c t
Entonces (1.167) implica
~ = B,
B ~ ~ = E,
E ~ (1.169)
30
Esto es interesantes pues el conjunto de todas las funciones de la forma U =
ei , forman un crculo de tama
no unitario y cumple las propiedades algebrai-
ca del grupo llamado U(1) [?]. Por lo que, se dice que el grupo de norma de la
electrodinamica es U(1).
1 ~ A~
2 = 4, (1.173)
c t
1 2 ~ ~ ~ ~ 1
2 4 ~
2 2 A+ A+ = J. (1.174)
c t c t c
Debido a que los campos de norma y A ~ no son u nicos, para trabajar con
estos debemos elegir un par de ellos, de un numero infinito de posibilidades.
Para hacer esto se suele imponer condiciones sobre los campos de norma, una
de condiciones mas recurridas es la norma de Lorentz que pide que se cumpla
la condicion
~ + 1 = 0.
~ A (1.175)
c t
En este caso las ecuaciones (1.173-1.174) toman la forma
1 2
2
2 2 = 4, (1.176)
c t
1 2 ~
2 4 ~
2 2 A = J. (1.177)
c t c
Que son ecuaciones de onda con fuentes.
31
En este caso las ecuaciones (1.173)-(1.174) toman la forma
2 = 4, (1.179)
1 2 ~
4 1 ~
2 2 A = J~ +
2
. (1.180)
c t c c t
Un estudio mas detallado sobre las posibles condiciones de norma de la elec-
trodinamica se puede ver en [?].
1.12. Representaci
on compleja de las ecuacio-
nes de Maxwell
Cuando no hay fuentes, = 0 y J~ = 0, las ecuaciones de Maxwell toman
la forma
~ E
~ = 0, (1.181)
~
~ E
~ = 1 B , (1.182)
c t
~ B
~ = 0, (1.183)
~
~ B
~ = 1 E . (1.184)
c t
En este caso podemos definir el vector E~ = E
~ + iB,
~ donde i2 = 1. Por lo que
las ecuaciones de Maxwell se pueden escribir como
~
~ E~ = 0,
~ E~ = i E .
(1.185)
c t
Claramente estas ecuaciones son invariantes bajo la transformacion
~ ~ ~
E E = E + iB = ei E,
~ ~ = cte. (1.186)
32
Si hay fuentes, las ecuaciones de Maxwell no son invariantes bajo estas trans-
formaciones. Para mantener esta invariancia, en 1931 P. M. A Dirac propuso la
existencia de cargas y corrientes magneticas. En este caso se pueden proponer
la ecuaciones de Maxwell generalizadas:
~ E
~ = 4e , (1.188)
!
4 ~ ~
1 B
~ E
~ = Jm + , (1.189)
c c t
~ B
~ = 4m , (1.190)
~
~ = 4 J~e + 1 E .
~ B (1.191)
c c t
E~ ei E~ = (E
~ cos B~ sin ) + i(B~ cos + E~ sin ), (1.193)
ei = (e cos m sin ) + i(m cos + e sin ), (1.194)
~J ei~J = (J~e cos J~m sin ) + i(J~m cos + J~e sin ).(1.195)
F~ = qe E ~ + qe ~v B
~ + qm B ~ qm ~v E.
~ (1.196)
c c
33
Captulo 2
Operadores en coordenadas
curvilneas
2.1. Teoremas de C
alculo Vectorial
~ a = 0,
Teorema 1 (De la divergencia): si ~a es un campo vectorial tal que ~
entonces existe un campo vectorial ~b que cumple ~a =
~ ~b.
~ ~c = 0,
Teorema 2 (Del rotacional): si ~c es un campo vectorial tal que
~
entonces existe un campos escalar, e, que satisface ~c = e.
aqu n
representa la norma exterior a la superficie.
34
Para probar esta afirmacion recordemos que el teorema de Gauss es valido
~ En particular si A
para cualquier campo vectorial suave A. ~=B
~ C,
~ se tiene
Z I
~ B
~ C ~ dv = B~ C ~ n da, (2.3)
V V
~ es constante
Por lo tanto, si C
Z Z
~ ~ ~ ~
B C dv = C dv ~ B
~ . (2.6)
V V
~ constante se llega
As, igualando (2.3) con (2.6) para el caso C
Z I
~
C ~ ~
B dv = C ~ ~ ,
d~a B
V V
es decir
Z I
~
C ~ B
~ dv ~
d~a B = 0.
V V
35
donde ~l es el vector tangente a y gira en el sentido opuesto a las manecillas
del reloj.
2.1.1. Interpretaci
on geom
etrica de operaciones vecto-
riales
Supongamos que tenemos los vectores A ~ yB
~ con magnitudes A y B. Re-
cordemos que cualquiera dos vectores lo podemos poner en un plano, por lo
que, sin perdida de generalidad, podemos tomar A~ = A(cos 1 , sin 1 ), B
~ =
B(cos 2 , sin 2 ). Entonces,
~B
A ~ = AB(cos 1 cos 2 + sin 1 sin 2 ) = AB cos(1 2 ).
36
~ y B,
Es decir, si = 1 2 es el angulo entre los vectores A ~ se tiene
~B
A ~ = AB cos . (2.10)
a = hA = AB sin .
Esta cantidad se puede relacionar con A ~ B.~ Primero notemos que ocupando el
triple producto escalar (1.88), el triple producto vectorial (1.119) y el producto
escalar (2.10), se encuentra
2
A~B
~ = A ~ B~ A ~ B~ =B ~ A ~ B~ A ~
= B~ A ~ A ~ B~
2
~ ~ ~ 2~ 2 2
= B A A B A B = A B A B ~
= A2 B 2 A2 B 2 cos2 = A2 B 2 sin2 = a2 .
~yB
Entonces, el area del paralelogramo que forman A ~ esta dada por
~ B|.
a = AB sin = |A ~
~ B
Por esta razon a A ~ se suele llamar vector area. Note que este vector es
normal al paralelogramo.
~ B,
Si tenemos tres vectores A, ~ C~ con ellos podemos formar un paraleleppe-
do, como se muestra en la figura. El volumen de un paraleleppedo esta dado
por el producto de la altura con el area de su base
V = ha.
~ con la normal
De la figura es claro que h = C cos , con el angulo que hace C
~ ~
de la base del paraleleppedo, es decir con A B. Ademas, a = |A ~ B|,
~ de
donde
V = C cos |A~ B|
~ = C~ A ~ B~ .
37
2.2. Operadores en coordenadas cartecianas
Un vector tridimensional ~r = (x, y, z) se puede escribir en diferentes coor-
denadas. En la base Euclidiana tenemos
~r = xi + yj + z k, (2.11)
con
i = (1, 0, 0), j = (0, 1, 0), k = (0, 0, 1). (2.12)
38
Mientras que el elemento de volumen se plantea como
~ = i + j + k.
(2.17)
x y z
Por lo que un elemento de se puede escribir como
~ d~r.
d = dx + dy + dz = (2.18)
x y z
Ademas, la divergencia es
~ = Ax + Ay + Az ,
~ A (2.19)
x y z
~ =
tomando el caso A ~ se obtiene el Laplaciano:
2 2 2
~ = 2 = + + .
~ (2.20)
x2 y 2 z 2
Mientras que el rotacional es
~ A ~= A z A y i + A x A z j + A y A x (2.21)
k.
y z z x x y
Estos resultados los ocuparemos para construir la version del gradiente, diver-
gencia, Laplaciano y rotacional en coordenadas curvilneas.
es decir
39
As,
d~r = er dr + r
e d + r sin
e d, (2.24)
con
er er = e e = e e = 1, (2.28)
er e = er e = e e = 0, (2.29)
er e = e , e er = e , e e = er . (2.32)
40
que forman el vector
d~a = r 2 sin dd
er + r sin drd
e + rdrd
e . (2.36)
es decir,
~r = ( cos , sin , z)
= cos i + sin j + z k. (2.42)
De donde,
d~r = e d +
e d + ez dz, (2.43)
con
e e = e e = ez ez = 1, (2.47)
e e = e ez = e ez = 0, (2.48)
41
que implica
e ez = e , e e = ez , ez e = e . (2.51)
d~a = ddz
e + dzd
e + dd
ez . (2.52)
es decir
De donde,
42
con
1 ~r 1 ~r 1 ~r
e1 = 1
, e2 = 2
, e3 = , (2.57)
h1 u h2 u h3 u3
~r ~r ~r
h1 = 1 , h2 = 2 , h3 = 3 . (2.58)
u u u
Claramente los vectores e1 , e2 , e3 son unitarios. Supondremos que la base e1 , e2 , e3
forma una base ortonormal
e1 e1 = e2 e2 = e3 e3 = 1, (2.59)
e1 e2 = e1 e3 = e2 e3 = 0. (2.60)
ds2 = d~r d~r = (h1 )2 (du1 )2 + (h2 )2 (du2 )2 + (h3 )2 (du3)2 (2.61)
e1 e2 = e3 , e2 e3 = e1 , e3 e1 = e2 , (2.63)
Todas estas cantidades son de gran utilidad para construir operadores diferen-
ciales en coordenadas curvilneas.
43
2.3.1. Gradiente en coordenadas curvilneas
~ se puede escribir en
Como e1 , e2 , e3 forma una base, cualquier vector A
terminos de ella, es decir,
~ = A1 e1 + A
A e2 + A3 e3 . (2.69)
En particular, el vector gradiente se debe escribir como
~ = () e1 + () e2 + () e3 .
(2.70)
1 2 3
~ = 1 e1 + 1 e1 + 1 e3 .
(2.75)
h1 u1 h2 u2 h3 u3
En particular el gradiente en coordenadas esfericas es
~ = er + 1 e + 1 e .
(2.76)
r r r sin
Mientras que en coordenadas cilndricas tenemos
~ = e + 1 e + ez .
(2.77)
z
44
2.3.2. Divergencia en coordenadas curvilneas
Para obtener la divergencia en coordenadas curvilneas primero recordemos
el teorema de Gauss, que es
Z I
~ Adv
~ = ~ d~a.
A (2.78)
V V
Ax = A1 h2 h3 , Ay = A2 h3 h1 , Az = A3 h1 h2 ,
dx = du(1) , d y = du(2) , d
z = du(3) .
45
As, igualando (2.80) con (2.81) se llega a
~ A
~ h1 h2 h3 = (A 1 h2 h3 ) (A2 h3 h1 ) (A3 h1 h2 )
+ + , (2.82)
c u(1) u(2) u(3)
es decir
~ A
~ = 1 (A1 h2 h3 ) (A2 h3 h1 ) (A3 h1 h2 )
+ + . (2.83)
c h1 h2 h3 u(1) u(2) u(3)
Esta es la expresion de la divergencia en coordenadas curvilneas. Para coor-
denadas esfericas obtenemos
~ A~ = 1 r 2 Ar + 1 (sin A ) + 1 A .
(2.84)
r 2 r r sin r sin
Mientras que en coordenadas cilndricas se llega a
~ = 1 (A ) + 1 A + Az .
~ A (2.85)
z
A ~ = 1 e1 + 1 e1 + 1 e3 .
~ = (2.86)
h1 u1 h2 u2 h3 u3
~ A
En este caso ~ = 2 , de donde
2 1 h2 h3 h3 h1
= + (2)
h1 h2 h3 u(1) h1 u(1) u h2 u(2)
h1 h2
+ (3) .
u h3 u(3)
Para coordenadas esfericas se tiene
2
2 1 2 1 1
= 2 r + 2 sin + 2 2 , (2.87)
r r r r sin r sin 2
tambien se puede ocupar
1 2
1 2
r = (r). (2.88)
r 2 r r r r 2
Mientras que en coordenadas cilndricas se encuentra
1 2 2
2 1
= + 2 2 + 2. (2.89)
z
46
2.3.4. Rotacional en coordenadas curvilneas
El rotacional es un vector, por lo que se debe poder escribir de la forma
~ A
~ = ~ A ~ e1 + ~ A ~ e2 + ~ A ~ e3 . (2.90)
1 2 3
Para encontrar los coeficientes ~ A~ , recordemos el teorma de Stokes que
i
es
Z Z
~ ~
A d~a = A~ d~r. (2.91)
S S
47
Az Ay
Ax Az
Z
=
dy dz +
dx dy +
y z z x
S
Ay Ax
dx dy
x y
Z
(A3 h3 ) (A2 h2 )
= (2)
(3)
du(2) du(3)
S u u
(A1 h1 ) (A3 h3 )
+ (3)
(1)
du(1) du(3)
u u
(A2 h2 ) (A1 h1 ) (1) (2)
+ du du . (2.93)
u(1) u(2)
Ademas, considerando el elemento de area y ~ A ~ en coordenadas gene-
ralizadas, (2.67) y (2.90), tenemos
Z Z
~ A
~ d~a = ~ A
~ e1 + ~ A ~ e2 + ~ A ~ e3
S S 1 2 3
2 3 3 1 1 2
h2 h3 du du e1 + h3 h1 du du e2 + h1 h2 du du e3
Z
= ~ ~ 2 3
A h2 h3 du du + A h3 h1 du3 du1 ~ ~
S 1 2
+ ~ A ~ h1 h2 du1 du2 , (2.94)
3
48
que son las componentes del rotacional en coordenadas generalizadas.
49
En coordenadas esfericas, considerando (2.23) y (2.76), llega a
~
~
1 1
L = i ~r = i (r er ) er + e + e
r r r sin
1
= i ( er e ) + (er e )
sin
1
= i e e ,
sin
es decir
~ = i e 1
L e . (2.101)
sin
Ocupando esta expresion se puede obtener L x, L
y, L z en coordenadas esfericas.
En efecto, considerando (2.25)-(2.27), en (2.101) se obtiene
~
L = i sin i + cos j
1
cos cos i + cos sin j sin k
sin
cos
= i sin cos i
sin
cos
+ cos sin j+ k ,
sin
por lo que,
x = i sin + cot cos
L , (2.102)
y = i cos cot sin
L , (2.103)
z = i .
L (2.104)
Un operador importante es
L2 = L ~ L~ =L 2 + L 2 + L 2. (2.105)
x y z
50
Antes de continuar notemos que A~yB ~ dependen de la variable u, entonces
A~B~ ~ ~
A ~ +A~ B ,
= B (2.107)
u u u
ademas de (2.25)-(2.26) se llega a
e
= ( cos sin , cos cos , 0) = cos ( sin , cos , 0) = cos
e ,
Tomando en cuenta esta dos ultimas igualdades, la expresion (2.101) y (2.25)-
(2.27) se tiene
~ e
~
L
L 2
e = = i 2 (2.108)
~ e L ~
L (
e ) ~ 1 ~
e = L= i cos
e L
sin
1 2
= i + cos
sin 2
Sustituyendo estos resultado en (2.106) se consigue
2
1 2
2 cos
L = + + ,
2 sin sin 2 2
ademas considerando la igualdad
2
1 cos
sin = 2+ (2.109)
sin sin
se llega a
1 2
2 = 1
L sin + . (2.110)
sin sin 2 2
Note que este resultado el Laplaciano en coordenadas esfericas (2.88) se puede
escribir como
2
2 1 2 L
= 2 r 2 . (2.111)
r r r r
51
Captulo 3
El Factorial y la Funci
on
Gamma
3.1. Funci
on Gamma
Dado un n
umero natural, n, se define el factorial como
n! = n (n 1) (n 2) 2 1. (3.1)
es decir
52
es decir
(2n + 1)!
(2n + 1)!! = . (3.6)
2n n!
Tambien se puede definir el factorial para cualquier n
umero real o complejo.
Para hacer esa definicion ocuparemos la funcion Gamma
Z
(z) = et tz1 dt, Re(z) > 0. (3.7)
0
es decir,
1
= . (3.8)
2
La funcion (z) tiene las mismas propiedades que el factorial, para ver esto
observemos que se cumple
d t z
et tz = ztz1 et e t , (3.9)
dt
que implica
Z Z
t z
(z + 1) = e t dt = z tz1 et = z(z), (3.10)
0 0
53
es decir
(z + 1) = z(z). (3.11)
es decir
(n + 1) = n!. (3.13)
Por ejemplo,
1 1 1 1
!= +1 = = . (3.15)
2 2 2 2 2
Para este caso es claro que el maximo valor que puede tomar k es n, de donde
1 1 1 3 1 1
n+ ! = n+ n n
2 2 2 2 2 2
(2n + 1) (2n 1) (2n 3) 1
=
2 2 2 2
(2n + 1)!! (2n + 1)!
= n+1
= ,
2 22n+1 n!
es decir
1 (2n + 1)!
n+ != .
2 22n+1 n!
54
De este resultado se tiene
1 1 (2(n 1) + 1)! (2n 1)!
n ! = n1+ ! = 2(n1)+1 = 2n1
2 2 2 (n 1)! 2 (n 1)!
(2n 1)!(2n) (2n)!
= 2n1 = ,
2 (n 1)!(2n) 22n n!
por lo tanto
1 (2n)!
n != .
2 22n n!
Tambien se puede calcular el factorial para n
umero negativos, por ejemplo
1 1 1
! = 1 = = . (3.16)
2 2 2
De hecho, ocupando que (3.11) implica
(z + 1)
(z) = , (3.17)
z
umeros negativos. Por ejemplo, si z = 12 , se
se puede definir (z) para n
encuentra
1 12
1 1
= 1
= 2 = 2 . (3.18)
2 2
2
55
forma z = n + , con n un natural y (0, 1), tomando k = n se cumple
z + k > 0 y la cantidad
(z) = (n + )
()
= (3.21)
(n + )((n 1) + )((n 2) + ) (1 + )
en ambos caso
1
= 0. (3.24)
(n)
Existen mas propiedades de la funcion (z), pero las que hemos visto nos
bastan para estudiar las funciones de Bessel.
56
Captulo 4
Repaso de Ecuaciones
Diferenciales Ordinarias
4.2. El Wronskiano
Un concepto de mucha utilidad en el estudio de la independencia de las
soluciones las ecuaciones diferenciales es el Wronskiano. Supongamos que te-
nemos dos funciones f y g, el Wronskiano se define como
f g dg(x) df (x)
W (f, g)(x) = df dg = f (x) g(x), (4.3)
dx dx dx dx
57
note que
d2 Y (x) dY (x)
2
+ P (x) + Q(x)Y (x) = 0, (4.5)
dx dx
es decir, si se cumple
d2 Y1 (x) dY1(x)
+ P (x) + Q(x)Y1 (x) = 0, (4.6)
dx2 dx
d2 Y2 (x) dY2 (x)
2
+ P (x) + Q(x)Y2 (x) = 0, (4.7)
dx dx
se obtiene
d2 Y1 (x) dY1 (x)
Y2 (x) + P (x)Y 2 (x) + Q(x)Y2 (x)Y1 (x) = 0, (4.8)
dx2 dx
d2 Y2 (x) dY2 (x)
Y1 (x) 2
+ P (x)Y1 (x) + Q(x)Y1 (x)Y2 (x) = 0. (4.9)
dx dx
Al restar estas ecuaciones se llega a
d2 Y1 (x)
dY1 (x) dY1 (x) dY1 (x)
Y2 (x) Y2 (x) + P (x) Y1 (x) Y2 (x) = 0,
dx2 dx dx dx
que se puede escribir como
dW (Y1, Y2 )(x)
+ P (x)W (Y1 , Y2)(x) = 0, (4.10)
dx
y su solucion es
R
W (Y1, Y2 )(x) = Ce P (x)dx
, C = constante. (4.11)
58
de lo contrario tendra que pasar por cero.
tiene solucion no trivial y las funciones Y1 (x), Y2 (x) son linealmente depen-
dientes. Ahora, si W (Y1, Y2 )(x) 6= 0, la u
nica solucion a (4.12) es la trivial y
por lo tanto, Y1 (x) y Y2 (x) son linealmente independientes.
Supongamos que Y1 (x) y Y2 (x) son soluciones de (4.5) y ademas son lineal-
mente independientes, entonces podemos afirmar que no se pueden anular en
un mismo punto. Esto es verdad, pues si existe x0 tal que Y1 (x0 ) = Y2 (x0 ) = 0,
entonces W (Y1, Y2 )(x0 ) = 0, que no puede ser posible pues Y1 (x) y Y2 (x) son
linealmente independientes.
dY1 (x)
W (Y1 , Y2)(a1 ) = Y1 (a1 ), (4.13)
dx a1
dY1 (x)
W (Y1 , Y2)(a2 ) = Y1 (a2 ). (4.14)
dx a2
Ahora como dYdx
1 (x) dY1 (x)
tiene signo diferente a dx y el Wronskiano no cam-
a2 a1
bia de signo, entonces Y2 (a1 ) y Y2 (a2 ) tienen signos diferentes. Como Y2 (x)
es continua, existe un punto a3 (a1 , a2 ) tal que Y2 (a3 ) = 0, que es lo que
queriamos demostrar.
59
De hecho, podemos afirmar que si Y1 (x) y Y2 (x) son soluciones linealmente
independientes de (4.5), Y2 (x) tiene un u
nico cero entre dos ceros sucesivos de
Y1 (x).
d2 u(x)
dv(x) du(x)
2
v(x) + 2 + P (x)v(x)
dx dx dx
2
d v(x) dv(x)
+ 2
+ P (x) + Q(x)v(x) u(x) = 0. (4.17)
dx dx
Si pedimos que
dv(x)
2 + P (x)v(x) = 0, (4.18)
dx
se cumple,
d2 v(x) 1 dP (x) P 2 (x)
dv(x) P (x)v(x)
= , = + v(x). (4.19)
dx 2 dx2 2 dx 4
y esta funcion nunca se anula. As la informacion de los ceros de Y (x) esta con-
tenida en u(x). Por lo tanto, para estudiar los ceros de las soluciones de (4.5)
60
es mas conveniente estudiar su forma normal (4.20) .
d2 Y (x)
+ q(x)Y (x) = 0. (4.22)
dx2
Por lo tanto, para estudiar los ceros de las soluciones de la ecuacion diferencial
(4.5) basta estudiar los ceros de la ecuacion diferencial (4.22). Antes de entrar
en detalles formales observemos que (4.22) se puede escribir como
d2 Y (x)
= q(x)Y (x) (4.23)
dx2
que se puede ver como la segunda ley de Newton donde Y (x) representa la
posicion de una partcula y q(x) una fuerza que cambia punto a punto.
d2 Y (x)
= Y (x), (4.24)
dx2
que es la segunda ley de Newton con una fuerza constante centrada en el ori-
gen. Si > 0, la fuerza es atractiva y una partcula bajo su influencia pasa
una cantidad infinita de veces por el cero. Es decir, si > 0 las soluciones
de (4.24) tienen un n umero infinito de ceros. Ahora, si < 0 tenemos una
fuerza repulsiva y una partcula su influencia a lo mas puede pasar una vez
por el cero. Por lo tanto podemos, afirmar que, si < 0 las soluciones de (4.24)
tienen a lo mas un cero.
Ahora veamos un caso mas general donde q(x) tiene signo definido. Prime-
ro supongamos que q(x) < 0 para cualquier x positiva. Entonces afirmamos
que la soluciones de (4.22) a lo mas tienen un cero. Para demostrar esta afir-
macion, primero notemos que, desde el punto de vista fsico, la ecuacion (4.23)
representa una partcula bajo una fuerza repulsiva. Por lo que, si existe x0 tal
que Y (x0 ) = 0, la partcula no puede regresar a la posicion Y (x0 ) = 0. Por lo
tanto, si q(x) < 0 las soluciones de (4.22) a lo mas tienen un cero.
61
los ceros, entonces si x > la posicion Y (x) debe tener signo defindio. Ahora,
como la fuerza es tractiva, la partcula debe regresar de nuevo a la posicion
que tena en , es decir debe regresar a cero. Esto implica que debe existir
x1 > donde Y (x1 ) = 0. Por lo tanto, no es el maximo de los ceros de Y (x)
y esta funcion no puede tener un n umero finito de ceros.
dY (x)
As, tenemos una solucion de (4.23) que cumple Y (x0 ) = 0, dx
= 0, por
x0
el teorema de unicidad, este resultado implica que Y (x) = 0. Esto es absurdo,
pues supusimos que Y (x) es una solucion no trivial de (4.23). As, en un in-
tervalo cerrado y acotado, las soluciones de (4.23) solo puede tener un n
umero
finito de ceros. Que implica que los ceros de Y (x) deben formar un conjunto
numerable.
62
4.5. Teorema de comparaci
on de Sturm
Ahora, supongamos que q(x) < q(x) y que Y (x) y Y (x) son soluciones de
las ecuaciones
d2 Y (x)
+ q(x)Y (x) = 0, (4.26)
dx2
d2 Y (x)
+ q(x)Y (x) = 0. (4.27)
dx2
Entonces se puede afirmar que Y (x) tiene un cero entre dos cero consecutivos
de Y (x). A esta afirmacion se le llama el Teorema de Comparacion de Sturm,
para su demostracion ocuparemos el Wronskiano
dY (x) dY (x)
W (Y, Y )(x) = Y (x) Y (x). (4.28)
dx dx
Considerando (4.26) y (4.27) se encuentra
dY (x) dY (x)
>0 < 0. (4.30)
dx a1 dx a2
Tambien se cumple
dY (x) dY (x)
W (Y, Y )(a1 ) = Y (a1 ) , W (Y, Y )(a2 ) = Y (a2 ) . (4.31)
dx a1 dx a2
De (4.29) es claro que el signo de dW (Y, dx
Y )(x)
en [a1 , a2 ] solo depende del signo
de Y (x). Supongamos que Y (x) no tiene ceros en ese intervalo, si Y (x) > 0
entonces (q(x) q(x)) Y (x)Y (x) > 0. Note que al integrar (4.29) se encuentra
que W (a2 ) > W (a1 ). Mientras que de (4.31) se tiene W (a1 ) > 0 y W (a2 ) < 0,
lo cual es absurdo. As, Y (x) no puede tener signo positivo en el intervalo
[a1 , a2 ]. Ahora, si Y (x) < 0 en [a1 , a2 ], entonces (q(x) q(x)) Y (x)Y (x) < 0
y al integrar (4.29) se encuentra que W (a2 ) < W (a1 ). Pero de (4.31) se tie-
ne W (a1 ) < W (a2 ), lo cual es absurdo. As, Y (x) no puede tener solo signo
negativo en el intervalo [a1 , a2 ]. Esto implica que debe cambiar de signo en el
63
intervalo [a1 , a2 ] y por lo tanto debe tener un cero en ese intervalo.
Los resultados que hemos visto nos sirven para estudiar los ceros de la
ecuacion de Bessel
d2 Y (x) 1 dY (x) 2
+ + 1 2 Y (x) = 0. (4.34)
dx2 x dx x
A las soluciones de esta ecuacion se les llaman funciones de Bessel. En este
caso la forma normal es
d2 u(x) 1 4 2
+ 1+ u(x) = 0. (4.35)
dx2 4x2
De donde
1 4 2
q(x) = 1 + . (4.36)
4x2
Note que si x > ( 4 2 1)/2, se tiene q(x) > 0. Por lo tanto, las funciones de
Bessel tienen un n
umero infinito de ceros.
64
Entonces cada intervalo de longitud tiene al menos un cero de las soluciones
de la ecuacion de Bessel. Para el caso = 12 , la ecuacion normal de Bessel (4.35)
se reduce a (4.37) y la distancia entre los ceros es exactamente . Ahora, si
1
2
< , se cumple
1 4 2
1+ < 1, . (4.39)
4x2
Esto implica que entre dos ceros sucesivos de las soluciones de (4.37) hay a lo
mas un cero de las funciones de Bessel. En efecto, supongamos que 1 y 2
son ceros sucesivos de (4.37) y que en (1 , 2 ) hay dos ceros de las funciones
de Bessel. Como se cumple (4.39), debe haber un cero de las soluciones de
(4.37), lo cual es absurdo, pues supusimos que 1 y 2 son ceros sucesivos de
las soluciones de (4.37). Por lo tanto, si 21 < , en cada intervalo de longitud
hay a lo mas un cero de las funciones de Bessel.
Donde q(x), p(x), r(x) son funciones reales, q(x) es una funcion positiva en el
intervalo (a, b) y es una constante real. El problema consiste en contrar las
constantes y funciones (x) que resuelven (4.40).
o las de Neumann
d(x) d(x)
= = 0. (4.42)
dx x=a dx x=b
65
La afirmacion importante aqu es que si 1 (x) es solucion de (4.40) con 1
y 2 (x) es solucion de (4.40) con 2 , y ademas se satisfacen alguna de las
condiciones (6.72)-(4.43), entonces se cumple
Z b
(1 2 ) dxq(x)2 (x)1 (x) = 0.
a
d2 (x)
d
p(x) + (2 q(x) + r(x)) 2 (x) = 0. (4.45)
dx dx
Adicionalmente, considerando
66
Restando estas dos u
ltimas ecuaciones se llega a
d2 (x)
d d1 (x)
p(x) 2 (x) 1 (x)
dx dx dx
+ (1 2 ) q(x)2 (x)1 (x) = 0.
(x)
(4.48)
cumplen
Z b
dxq(x)1 (x)2 (x) = 1 2 . (4.49)
a
Se dice que las soluciones de (4.40) que satisfacen alguna de las condiciones
(6.72)-(4.43) son un conjunto de funciones ortonormales con funcion de peso
q(x).
67
Captulo 5
Funciones de Bessel
5.1. Ecuaci
on de Bessel
La ecuacion de Bessel es
d2 R(z) 1 dR(z) 2
+ + 1 2 R(z) = 0, (5.1)
dz 2 z dz z
que se puede escribir de la forma
d2 R(z) dR(z)
z2 2 2
+ z + z R(z) = 0. (5.2)
dz 2 dz
Para resolver esta ecuacion ocuparemos el Metodo de Frobenius, es decir pro-
pondremos soluciones de la forma
X X
R(z) = z m an z n = an z n+m , a0 =
6 0. (5.3)
n0 n0
De donde
X X
2 R(z) = 2 an z n+m = 2 a0 z m 2 a1 z m+1 2 an z n+m ,
n0 n2
X X X
z 2 R(z) = z 2 an z n+m = an z n+m+2 = an2 z n+m ,
n0 n0 n2
dR(z) X X
z = z (n + m)an z n+m1 = (n + m)an z n+m
dz n0 n0
68
X
= ma0 z m + (m + 1)a1 z m+1 + (n + m)an z n+m ,
n2
2
d R(z) X
z2 = z2 (n + m)(n + m 1)an z n+m2
dz 2 n0
X
= (n + m)(n + m 1)an z n+m
n0
(n + m)(n + m 1) + (n + m) = (n + m)2 ,
se tiene
d2 R(z) dR(z)
z2 + z 2 2 R(z) =
2
+z
dz dz
= a0 + m + m(m 1) z m + a1 2 + (m + 1) + (m + 1)m z m+1
2
Xh i
(n + m)(n + m 1) + (n + m) 2 an + an2 z n+m
+
n2
= a0 m2 2 z m + a1 (m + 1)2 2 z m+1
X
an2 + (n + m)2 2 an z n+m = 0,
+ (5.4)
n2
a0 (m2 2 ) = 0, (5.5)
a1 (1 + m)2 2 = 0,
(5.6)
an2 + an (n + m)2 2 = 0.
(5.7)
m2 = 2 , m = , (5.8)
a1 = 0. (5.9)
Ademas, considerando
69
en (5.7) obtiene
an2
an = . (5.11)
n(n 2)
Apartir de esta igualdad y ocupando (5.9) se llega a a3 = 0, que a su vez
implica a5 = 0. Es claro que en general a2n+1 = 0. As, los u
nicos an diferentes
de cero son de la forma
a2(n1) ()
a2n = = 2 a2(n1) . (5.12)
2n(2n 2) 2 n(n )
Note que hay un problema si es un natural y se considera el signo negativo en
(5.12), despues trataremos esta cuestion. Observe que (5.12) se puede escribir
como
() ()(n 1)!(n 1 )!
a2n = a2(n1) = a2(n1)
22 n(n ) 22 n!(n )!
()(n 1)!(n 1 )! ()(n 2)!(n 2 )!
= a2(n2)
22 n!(n )! 22 (n 1)!(n 1 )!
()2 (n 2)!(n 2 )!
= a2(n2)
222 n!(n )!
()2 (n 2)!(n 2 )!
()(n 3)!(n 3 )!
= a2(n3)
222 n!(n )! 2(n 2)!(n 2 )!
()3 (n 3)!(n 3 )!
= a2(n3)
223 n!(n )!
..
.
()k (n k)!(n k )!
= a2(nk) . (5.13)
22k n!(n )!
El maximo valor que puede tomar k en la expresion anterior es n, entonces
()n ()!
a2n = a0 , (5.14)
22n n!(n )!
tomando
1
a0 = , (5.15)
2 ()!
se tiene
()n
a2n = . (5.16)
22n n!(n )!
70
Sustituyendo este resultado en (5.3) se encuentra
X ()n X ()n z 2n
R(z) = z z 2n
= , (5.17)
n0
22n n!(n )! n0
n!(n )! 2
que son las llamadas funciones de Bessel. Se puede observar que ocupando la
funcion (z) las funciones de Bessel se pueden escribir como
z X (1)n z 2n
J (z) = , (5.18)
2 n0 (n + 1)(n + + 1) 2
z X (1)n z 2n
J (z) = . (5.19)
2 n0
(n + 1)(n + 1) 2
Funciones de Neumman
J (z) cos J (z)
N (z) = . (5.21)
sin
Funciones de Hankel
71
5.2. Funci
on generatriz
Existe una funcion de la cual se pueden extraer todas las funciones de
Bessel de orden n. A esta funcion se le llama funcion generatriz y es:
e 2 (t t ) =
z 1 X
Jn (z)tn . (5.23)
nZ
zt
X 1 zt k X tk z k
e 2 = = ,
k! 2 k! 2
k0 k0
z
X 1 z j X ()j tj z j
e 2t = = ,
j0
j! 2t j0
j! 2
que implican
! !
X tk z k X ()j tj z j
e (
z
2
t 1t ) = e e = zt
2
z
2t
k0
k! 2 j0
j! 2
X X tkj ()j z k+j
= .
j0
k!j! 2
k0
que implica
X
eiz sin = Jn (z)ein . (5.25)
nZ
72
Adicionalmente, como sin( + 2 ) = cos y ei 2 = i, se llega a
X
eiz cos = (i)n Jn (z)ein , (5.26)
nZ
entonces
1
Z
Jn (z) = dei(z sin n) . (5.28)
2
73
5.3. Relaciones de recurrencia
Ahora veremos que las funciones de Bessel satisfacen relaciones de recu-
rrencia
d
(z J (z)) = z J1 (z), (5.31)
dz
d
= z J+1 (z),
z J (z) (5.32)
dzn
1 d
(z J (z)) = z n Jn (z), (5.33)
z dz
n
1 d
z J (z) = ()n z (+n) J+n (z).
(5.34)
z dz
Para probar la primera identidad notemos que
X ()n z 2n+ X ()n z 2(n+)
z J (z) = z = ,
n0
n!(n + )! 22n+ n0
n!(n + )! 2 2n+
entonces
d (z J (z)) X ()n 2(n + ) z 2(n+)1 X ()n z 2n+1
= 2n+
= 2n+1
z
dz n0
n!(n + )! 2 n0
n!(n + 1)! 2
n
X () z 2n+1
= z = z J1 (z),
n0
n!(n + 1)! 2
Ahora,
X ()n z 2n+ X ()n z 2n
z J (z) = z = ,
n0
n!(n + )! 22n+ n0
n!(n + )! 22n+
entonces
d (z J (z)) X ()n 2n z 2n1 X ()n 2n z 2n1
= =
dz n0
n!(n + )! 22n+ n1
n!(n + )! 22n+
X ()n+1 2(n + 1) z 2n+1
=
n0
(n + 1)!(n + + 1)! 22n++2
X ()n z 2n++1
= () z
n0
n!(n + + 1)! 22n++1
74
X ()n z 2n++1
= ()z
n0
n!(n + + 1)! 2
= ()z J+1 (z),
de donde se cumple la identidad (5.32).
75
esto es lo que queriamos demostrar. Por lo tanto la igualdad (5.34) es valida
para cualquier n.
1
5.4. Funciones de Bessel de orden n + 2
Las funciones de Bessel de orden (n + 21 ) son particularmente importantes
para las aplicaciones. Por lo que vale la pena estudiar sus propiedades. Primero
observemos que ocupando (5.18) y la serie de Taylor de la funcion sin z se llega
a
z 12 X (1)n z 2n z 12 X (1)n z 2n
J 1 (z) = =
2 n0 n! n + 12 ! 2
2 2 n0 n! (2n+1)! 2
22n+1 n!
z 12 X 2(1)n 12 X
2n 2z 1 (1)n 2n+1
= z = z
2 n0 (2n + 1)! z n0 (2n + 1)!
12 X
2 (1)n 2n+1
= z ,
z n0
(2n + 1)!
es decir
1/2
2
J 1 (z) = sin z. (5.39)
2 z
Ademas, considerando (5.18) y la serie de Taylor de la funcion cos z, se consigue
z 21 X (1)n z 2n z 21 X (1)n z 2n
J 1 (z) = =
n! n 12 ! 2
2 2 n0
2 n0 n!
(2n)! 2
2n
2 n!
76
21 X
(1)n 2n
2
= z , (5.40)
z n0
(2n)!
por lo que
12
2
J 1 (z) = cos z. (5.41)
2 z
es decir
12 n
2 1 d cos z
z (n+ 2 )
1
n+1
N(n+ 1 ) (z) = () .
2 z dz z
(1,2)
H (z) = J(n+ 1 ) (z) iN(n+ 1 ) (z)
(n+ 21 ) 2 2
21 n
n (n+ 21 ) 2 1 d sin z
= () z
z dz z
12 n
2 1 d cos z
i()n+1 z (n+ 2 )
1
z dz z
77
21 n
2
n (n+ 12 ) 1 d sin z cos z
= () z i
z dz z z
12 n
n ( n+ 12 ) 2 1 d cos z i sin z
= () (i)z
z dz z
21 n iz
2 1 d e
z (n+ 2 )
1
= (i)()n ,
z dz z
entonces
21 n iz
(1,2) 2
n ( n+ 12 ) 1 d e
H n+ 1 (z) = (i)() z .
( 2) z dz z
de donde
l
1 d
l sin z
jl (z) = (z) , (5.45)
z dz z
l
l 1 d cos z
nl (z) = (z) ,
z dz z
l iz
(1,2) l 1 d e
hl (z) = (i)(z) . (5.46)
z dz z
5.5. Ortonormalidad
En el captulo anterior vimos que las funciones de Bessel tienen un n
umero
numerable de cero. Ocuparemos este resultado para probar que la integral del
producto de dos funciones de Bessel satisfacen una propiedad que llamaremos
de ortonormalidad.
78
La ecuacion
d2 R (x) 1 dR (x) 2
2
+ + 2 R (x) = 0, (5.47)
dx2 x dx x
2
1 d dR (x) 2
x + 2 R (x) = 0, (5.48)
x dx dx x
es decir
2
d dR (x) 2
x + x R (x) = 0. (5.49)
dx dx x
2
d dR (x) 2
x + x R (x) = 0, (5.50)
dx dx x
2
d dR (x) 2
R (x) x + x R (x)R (x) = 0, (5.51)
dx dx x
2
d dR (x) dR (x) dR (x) 2
xR (x) x + x R (x)R (x) = (5.52)
0.
dx dx dx dx x
2
d dR (x) dR (x) dR (x) 2
xR (x) x + x R (x)R (x) = (5.53)
0.
dx dx dx dx x
79
Por lo que,
1 1
dR (x) dR (x)
Z
2 2
( ) dxxR (x)R (x) = x R (x) R (x) ,
0 dx dx 0
si > 0, se tiene
Z 1
2 2 dR (x) dR (x)
( ) dxxR (x)R (x) = R (1) R (1) ,
0 dx x=1 dx x=1
es decir
1
dJ (x) dJ (x)
Z
2 2
( ) dxxJ (x)J (x) = J () J () .
0 dx x=1 dx x=1
Por lo tanto, si n , m son dos ceros de las funcion de Bessel J (x), es decir si
se cumple J (n ) = J (m ) = 0, se llega a
Z 1
(2n 2m ) dxxJ (n x)J (m x) = 0. (5.55)
0
de donde
Z 1
dxxJ (n x)J (m x) = nm a2 , a = constante. (5.57)
0
80
ocupando que
d d
x2 (R (x))2 = x2 (R (x))2 2x (R (x))2 ,
dx dx
se tiene
2 !
d dR (x)
x2 + (x2 2 2 ) (R (x))2 22x (R (x))2 = 0. (5.58)
dx dx
Por lo tanto,
2 !
1
Z 1
dR (x)
2 2
dxx (R (x))2 = x2 + (x2 2 2 ) (R (x))2 . (5.59)
0 dx 0
entonces
Z 1 Z 1 X
dzzJ (n z)f (z) = dzzJ (n z) am J (m z)
0 0 m0
X Z 1
= am dzzJ (n z)J (m z)
m0 0
X nm an
= am (J+1 (n ))2 = (J+1 (n ))2 ,(5.64)
m0
2 2
81
por lo que
1
2
Z
an = dzzJ (n z)f (z). (5.65)
(J+1 (n ))2 0
5.6. Ecuaci
on de Helmholtz en dos dimensio-
nes
La ecuacion de Helmholtz es dos dimensiones es
2 2
22D + k 2 (x, y) = 0, 22D =
+ . (5.66)
x2 x2
Esta ecuacion surge en diferentes contextos. Por ejemplo, la ecuacion de Sch-
rodinger libre en dos dimensiones es
~2 2
(x, y) = E(x, y), (5.67)
2m 2D
que se puede escribir como
2mE
22D + k 2 (x, y) = 0, k2 =
. (5.68)
~2
Ademas, la ecuacion de onda en dos dimensiones es
1 2
2
2D 2 2 (x, y, t) = 0. (5.69)
c t
Si proponemos soluciones de la forma (x, y, t) = eit (x, y), se obtiene
2
22D + k 2 (x, y) = 0, k2 =
. (5.70)
c2
Estudiaremos la ecuacion (5.66) en coordenadas polares, en estas coordenadas
se obtiene
1 2 (r, )
2 2 1 (r, )
+ k 2 (r, ) = 0.(5.71)
2D + k (r, ) = r + 2
r r r r 2
Supongamos que (r, ) es de la forma (r, ) = R(r)(). De donde
R(r) 2 ()
2 2 () R(r)
+ k 2 R(r)() = 0,
2D + k (r, ) = r + 2
r r r r 2
82
por lo que
r 2 (22D + k 2 ) (r, ) r2 1 2 ()
R(r)
= r + + k 2 r 2 = 0.(5.72)
R(r)() rR(r) r r () 2
As,
r 2 (22D + k 2 ) (r, ) 1 2 ()
= = 0,
R(r)() () 2
entonces se debe cumplir la ecuacion
1 2 ()
2
= 2 , = constante, (5.73)
()
es decir
2 ()
2
= 2 (). (5.74)
Cuya solucion es
() = a ei + b ei . (5.75)
83
Los coeficientes Ak , Bk , a , b dependen de las condiciones del problema. Por
ejemplo, si (r, ) debe ser finito en el r = 0, se tiene que Bk . En ese caso las
soluciones toman la forma
(r, ) = J (kr) Ck ei + Dk ei .
(5.81)
Para muchos problemas es importante que (r, ) sea una funcion univaluada.
As, como (r, ) y (r, + 2) representan el mismo punto, se debe cumplir
De donde
que induce
ei2 = 1. (5.84)
Por lo tanto, debe ser un n umero natural n. Por lo que, en este caso las
soluciones son de la forma
que implica
= 0.
Jn (k R) (5.87)
debe ser una raz de Bessel, nm = k R,
As, k R es decir,
nm
k= . (5.88)
R
Por lo que para este caso las soluciones son de la forma
nm r
Cnm ein + Dnm ein .
nm (r, ) = Jn (5.89)
R
La solucion mas general es
XX nm r
Cnm ein + Dnm ein .
(r, ) = Jn (5.90)
R
n0 m0
84
Note que para la ecuacion de onda (5.70) la restriccion (5.88) implica que las
u
nicas frecuencias permitidas son
cnm
nm = . (5.91)
R
Mientras que para la ecuacion de Schrodinger (5.68) la restriccion (5.88) im-
plica que las u
nicas energas permitidas son
2
~2 nm
Enm = . (5.92)
2m R
85
que implica
1 2 Z(z) 2 Z(z)
= 2 , = 2 Z(z), (5.94)
Z(z) z 2 z 2
la solucion general a esta ecuacion es
Z(z) = a ez + b ez . (5.95)
2 (, , z) 1 2 ()
1 R()
= + 2 + 2 = 0,
(, , z) R() () 2
as
2
1 2 ()
2 (, , z)
= = 0, (5.96)
(, , z) () 2
que implica
1 2 () 2 ()
= 2 , = 2 (), (5.97)
() 2 2
cuya solucion general es
() = A ei + B ei . (5.98)
2
1 R()
2 + 2 = 0,
R()
es decir,
2
1 R() 2
+ 2 R() = 0.
Con el cambio de variable = se tiene
2
1 d dR()
+ 1 2 R() = 0, (5.99)
d d
que es la ecuacion de Bessel. As, se tiene
R() = C J () + D J ().
86
Por lo que las soluciones de la ecuacion de Laplace en coordenadas cilndricas
son de la forma
(, , z), = a ez + b ez A ei + B ei (C J () + D J ()) .
(, , z), = a ez + b ez A ei + B ei J ().
(, + 2, z) = (, , z). (5.100)
De donde
que induce
ei2 = 1. (5.102)
87
5.7.1. Ejemplo
Supongamos que tenemos un cilindro de radio R y altura h. La tapa inferior
del cilindro y la superficie lateral tiene pontencial cero, mientras que la tapa
superior tiene potencial V (, ). Calcular el potencial electrico en el interior
del cilindro suponiendo que no hay cargas en esa region.
(, , 0) = 0, , z) = 0,
(R, (, , h) = V (, ). (5.104)
Como no hay fuentes dentro del cilindro, potencial deber ser finito en el interior.
Ademas como este debe ser univaluado, el potencial debe ser de la forma
que implica
= nm , nm
R = . (5.107)
R
Donde nm la raz m-esima la funcion de Bessel de orden n. As, la funciones
R() son de la forma
nm
R() = Cn Jn . (5.108)
R
88
que a su vez implica
nm z
nm z
nm z
Z(z) = anm e
R e R = Anm sinh . (5.111)
R
As, la solucion mas general de la ecuacion de Laplace que satisface las condi-
ciones de borde (, , 0) = (R, , z) = 0, es
XX nm z nm
(, , z) = sinh Jn (Anm cos n + Bnm sin n) .
R R
n0 m0
entonces
2 1
2 kl
Z Z
Bkl = d d sin kJk V (, ).
kl h 2 R R
sinh R (Jk+1 (kl ) 0 0
89
5.8. Ecuaciones tipo Bessel
Existen varias ecuaciones que se pueden reducir a la ecuacion de Bessel.
Por ejemplo, si R(z) es solucion de la ecuacion de Bessel, entonces la funcion
u(z) = z c R(az b )
Por lo que
zc
w 2 2 R(w) = a2 z 2b 2 z c u(z) = 2 a2 b2 z 2b 2 b2 u(z),
b
dR(w) d c dz d c
= (z u(z)) = (z u(z))
dw dw dw dz
z 1b
c1 c du(z)
= cz u(z) + z
ab dz
1 cb cb+1 du(z)
= cz u(z) + z
ab dz
c
zc
dR(w) z du(z) du(z)
w = cu(z) + z = 2 cbu(z) + zb
dw b dz b dz
d2 R(w)
dz d 1 du(z)
= cz cb u(z) + z cb+1
dw 2 dw dz ab dz
1 du(z)
= c(c b)z cb1 u(z) + (2c b + 1)z cb
ab dz
2
d u(z)
+z cb+1
dz 2
d2 R(w) zc 2
du(z) 2 d u(z)
w2 = c(c b)u(z) + (2c + 1 b)z +z .
dw 2 b2 dz dz 2
90
Entonces, como R(w) satisface la ecuacion de Bessel, se tiene
d2 R(w) dR(w)
0 = w2 2 2
2
+ w + w R(w)
dw dw
zc 2
du(z) 2 d u(z)
= c(c b)u(z) + (2c + 1 b)z +z
b2 dz dz 2
zc zc
du(z)
+ 2 a2 b2 z 2b 2 b2 u(z)
+ 2 cbu(z) + zb
b dz b
zc 2
2 d u(z) du(z) 2 2 2b 2 2 2
= 2 z + (2c + 1)z + a b z + c b u(z) = 0.
b dz 2 dz
Lo que implica que la funcion u(z) es solucion de (5.112). Este resultado tiene
varias aplicaciones. Por ejemplo, consideremos la ecuacion de Airy
d2 u(z)
+ zu(z) = 0. (5.115)
dz 2
Note que si
1 3 2 1
c= , b= , a= , = (5.116)
2 2 3 3
la ecuacion (5.112) se convierte en (5.115). Por lo tanto, la solucion general de
la ecuacion de Airy es
3
! 3
!!
1 2|z| 2 2|z| 2
u(z) = |z| 2 AJ 1 + BJ 1 , (5.117)
3 3 3 3
con A y B constantes.
5.8.1. Partcula cu
antica en una fuerza constante
La ecuacion de Schrodinger para una partcula en una fuerza constante, F,
es
~2 2
F x (x) = E(x). (5.118)
2m x2
91
se obtiene
31 31
~2
E 2mF
x=z , = , (5.120)
2mF F x ~2 x
5.9. Integrales
Se cumplen las integrales
Z
1
dez J0 () = p (5.123)
0 2 + z 2
Z !
z 1 z
de J1 () = 1 p (5.124)
0 2 + z 2
Z
tz 2 +1 1 2
dzJ (z)e z = e 2t , (5.125)
0 2t t
Z 2 k 2 ik 2 +k 2
e e
J0 () d = p (5.126)
2
k 2 2 + k 2
0
5.10. Ecuaci
on de Bessel modificada
Tambien tenemos la ecuacion de Bessel modificada
d2 R 1 dR 2
+ 1 + 2 R = 0. (5.127)
dx2 x dx x
92
Captulo 6
Elementos de Algebra Lineal
En este captulo veremos algunas herramientas del algebra lineal que son
de utilidad para resolver ecuaciones diferenciales.
+ : V V V, (6.1)
: K V V. (6.2)
1) u, v V, u + v = v + u, (6.3)
2) u, v, w V, (u + v) + w = u + (v + w), (6.4)
3) u, v V, , K, (u + v) = u + v, (6.5)
4) v V, , K, ( + )v = v + v, (6.6)
5) v V, , K, ()v = (v), (6.7)
6) 0 V tal que v V, 0 + v = v, (6.8)
7) v V, v V, tal que v + (v) = 0, (6.9)
8) v V, ev = v, (6.10)
93
6.2. Ejemplos
Ahora, veremos algunos ejemplos de espacios vectoriales. El lector puede
verificar que los siguientes espacios cumplen las reglas de espacios vectoriales.
6.2.1. Cn
Un ejemplo de espacio vectorial son los arreglos de la forma
Cn = {(c1 , c2 , , cn ), ci C} (6.11)
Si se tienen dos vectores de Cn ,
(c1 , c2 , , cn ), (d1 , d2 , , dn ) (6.12)
la suma se define como
(c1 + d1 , c2 + d2 , , cn + dn ). (6.13)
Mientras que si es un n
umero complejo, el producto por un escalar define
como
(c1 , c2 , , cn ) = (c1 , c2 , , cn ). (6.14)
6.2.2. Sucesiones
Una generalizacion de Cn es tomar el lmite n , que nos da el espacio
de sucesiones
{an }
n=0 , an C. (6.15)
Para este caso debemos pedir que
X
|an |2 < . (6.16)
n0
94
6.2.3. Matrices
Otra generalizacion de Cn es el espacio de matrices M(nm) de entradas com-
plejas Definir sumas y producto por escalar
M11 M12 M1m
M21 M22 M2m
M = .. .. .. , Mij C, i = 1, n, j = 1, , m.
..
. . . .
Mn1 Mn2 Mnm
Si se tienen dos matrices
M11 M12 M1m N11 M12 N1m
M21 M22 M2m N21 M22 N2m
M = .. .. . . .. , N = .. .. . . .. ,(6.20)
. . . . . . . .
Mn1 Mn2 Mnm Nn1 Nn2 Nnm
La suma se define como
M11 + N11 M12 + N12 M1m + N1m
M21 + N21 M22 + N22 M2m + N2m
M +N = .. .. .. . (6.21)
..
. . . .
Mn1 + Nn1 Mn2 + Nn2 Mnm + Nnm
Mientras que el producto por un escalar, C, se define como
M11 M12 M1m
M21 M22 M2m
M = .. .. . . .. .
. . . .
Mn1 Mn2 Mnm
6.2.4. Funciones
Otro ejemplo de espacio vectorial son Funciones f : [a, b] C. Supongamos
que tenemos dos funciones
f : [a, b] C, g : [a, b] C, (6.22)
la suma se define como
f + g : [a, b] C, (6.23)
95
con la regla de correspondencia
f : [a, b] C, (6.25)
h|i : V V C, (6.27)
96
Ademas, si v y w son dos vectores, entonces
hv + w|v + wi + hv w|v wi = hv + w|v + wi
+ hv w|v wi
= hv|v + wi + hw|v + wi + hv|v wi hw|v wi ,
= hv|vi + hv|wi + hw|vi + hw|wi + hv|vi hv|wi
hw|vi + hw|wi
= 2 (hv|vi + hw|wi) ,
es decir
hv + w|v + wi + hv w|v wi = 2 (hv|vi + hw|wi) , (6.34)
que es la llamada igualdad del paralelogramo.
Antes de ver otras propiedades del producto escalar veremos algunos ejem-
plos de ellos.
Note que a los vectores v y w se les puede asignar las matrices columna
v1 w1
v2 w2
v = .. , w = .. , (6.36)
. .
vn wn
por lo que
w1
n
T
X w2
hv|wi = v w = vi wi = v1 v2 vn .. . (6.37)
i=1
.
wn
97
6.4.2. Sucesiones
P Si tenemos dos
Psucesiones s1 = {an }
n=0 y s2 = {bn }n=0 donde an , bn C y
2 2
n0 |an | < , n0 |bn | < , se puede definir el producto escalar como
X
hs1 |s2 i = an bn , (6.38)
n0
note que este es una generalizacion del producto escalar entre vectores.
6.4.3. Matrices
En el espacio vectorial de las matrices de entradas complejas de n n
tambien es posible definir un producto escalar. Antes de definir este producto
recordemosPque si M es una matriz de entradas Mij , la traza se define como
T r(M) = ni=1 Mii . Tambien recordemos que las entradas de la matriz trans-
puesta M T se defienen como (M T )ij = Mji , ademas si N es otraPn matriz de
n n las entradas de la matriz producto MN son (MN)ij = k=1 Mik Nkj .
De estas definiciones es claro que
T r M T = T r (M) , T r(M + N) = T r(M) + T r(N),
98
Definiremos el producto escalar entre matrices como
hM|Ni = T r M T N .
(6.39)
El primer axioma se cumple, pues
n
X n X
X n
T T
M T
hM|Mi = T r M M = M M ii
= ik
Mki
i=i i=1 k=1
n X
X n n X
X n
= Mki Mki = |Mik |2 0. (6.40)
i=1 k=1 i=1 k=1
= T r M T N1 + T r M T N2
= hM|N1 i + hM|N2 i .
Por lo que se cumple el segundo axioma de producto escalar.
6.4.4. Funciones
Si q(x) es una funcion real, continua y positiva en el intervalo (a, b), para
el espacio vectorial de las funciones continuas, {f }, que va del intervalo [a, b]
a los complejos, tales que
Z b
dxq(x)f (x)f (x) < , (6.42)
a
99
se puede definir el producto escalar como
Z b
hf |gi = dxq(x)f (x)g(x). (6.43)
a
Considerando las propiedades del q(x) y f (x), el primer axioma de producto
escalar se cumple pues
Z b Z b
hf |f i = dxq(x)f (x)f (x) = dxq(x)|f (x)|2 0,
a a
Z b Z b
hf |f i = dxq(x)f (x)f (x) = dxq(x)|f (x)|2 = 0 f (x) = 0.
a a
El segundo axioma de producto escalar se cumple pues
Z b
hf |g1 + g2 i = dxq(x)f (x) (g1 (x) + g2 (x))
a
Z b
= dxq(x) (f (x) g1 (x) + f (x) g2 (x))
a
Z b Z b
= dxq(x)f (x) g1 (x) + dxq(x)f (x) g2 (x)
a a
= hf |g1i + hf |g2i .
Los axiomas restantes tambien se cumplen, para probar esta afirmacion su-
pongamos que es un numero complejo, entonces
Z b Z b
hf |gi = dxq(x)f (x)g(x) = dxq(x)f (x)g(x) = hf |gi ,
a a
Z b Z b
hf |gi = dxq(x)f (x)g(x) = dx (q(x)f (x)g(x))
a a
Z b
= dxq(x)g (x)f (x) = (hg|f i) .
a
Por lo tanto, (6.43) es un producto escalar para el espacio vectorial de las
funciones.
100
implica ai = 0. Se dice que un conjunto de vectores es ortonormal si
Pn
Lo que quiere decir que si v = i=1 ai vi , entonces
n
X
hv|vi = |ai |2 . (6.47)
i=1
es ortonormal a n
X
w2 = v hvj |vi vj .
j=1
101
En efecto
* n
! n
!+
X X
hw1 |w2 i = hvi |vi vi | v hvj |vi vj
i=1 j=1
* n
! +
X
= hvi |vi vi |v
*i=1 n ! n
!+
X X
hvi |vi vi | hvj |vi vj
i=1 j=1
n
X
= hvi (hvi |vi) |vi
i=1
n X
X n
h(hvi |vi vi ) | (hvj |vi vj )i
i=1 j=1
n
X n X
X n
= hvi |vi hvi |vi hvi |vi hvj |vi hvi |vj i
i=1 i=1 j=1
n
X n X
X n
= hvi |vi hvi |vi hvi |vi hvj |vi ij
i=1 i=1 j=1
n
X n
X
= hvi |vi hvi |vi hvi |vi hvi |vi = 0.
i=1 i=1
102
* n
! n
!+
X X
+ v hvi |vi vi v hvi |vi vi . (6.51)
i=1 i=1
103
es decir
p p 2
hv + w|v + wi hw|wi + hv|vi (6.57)
I) ||v|| 0,
II) ||v|| = 0, v = 0,
III) ||v|| = ||||v||,
IV ) ||v + w|| ||v|| + ||w||.
(6.58)
es decir
104
Note que ocupando la notacion de espacios normados la igualdad del pa-
ralelogramos toma la forma
||v + w||2 + ||v w||2 = 2 ||v||2 + ||w||2 .
(6.61)
Mientras que, si {vi }ni=1 es un conjunto de vectores ortonormales, el teorema
de Pitagoras se puede escribir como
2
X n n
X
2 2
||v|| = | hvi |vi | + v hvi |vi vi . (6.62)
i=1 i=1
y la desigualdad de Schwarz es
|hw|vi| ||w|| ||v||. (6.64)
6.6.1. Espacios m
etricos
Sea un conjunto M y d una funcion de M M en los reales. Se dice que
(M, d) es un espacio metrico si satisface que x, y M se cumple
A) d(x, y) 0,
B) d(x, y) = 0, x = y,
C) d(x, y) = d(y, x),
D) d(x, z) d(x, y) + d(y, z).
(6.65)
A la funcion d se le llama distancia.
105
por lo tanto, se cumple el axioma C). Ademas, por la desigualdad del triangulo,
se tiene
d(v1 , v3 ) = ||v1 v3 || = ||(v1 v2 ) + (v2 v3 )|| ||v1 v2 || + ||v2 v3 ||
= d(v1 , v2 ) + d(v2 , v3 ),
de donde se cumple el axioma D).
Si m = n es claro que
2 2
1 1
Z Z
i(nn)
de = d = 1. (6.69)
2 0 2 0
Si n 6= m se tiene
Z 2 2
1 1 1
dei(mn) = ei(mn)
2 0 2 i(n m) 0
1 1
(1)2(mn) 1 = 0.
=
2 i(m n)
Por lo tanto,
hn ()|m ()i = mn , (6.70)
es decir, el conjunto (6.67) es ortonormal y entonces linealmente independiente.
106
6.7.2. Ecuaciones tipo Sturm-Liouville
Anteriormente vimos que si (1 (x), 1 ) , (2 (x), 2 ) son soluciones de la
ecuacion de Sturm-Liouville
d d(x)
p(x) + (q(x) + r(x)) (x) = 0 (6.71)
dx dx
que satisfacen la condiciones de Dirichlet
(a) = (b) = 0 (6.72)
o las de Neumann
d(x) d(x)
= =0 (6.73)
dx x=a dx x=b
Se dice que las soluciones de (6.71) que satisfacen alguna de las condiciones
(??)-(6.74) son un conjunto de funciones ortonormales con funcion de peso
q(x).
107
6.7.3. Ecuaci
on de Schrodinger en una dimension
Supongamos que V (x) es una funcion real, la ecuacion de Schrodinger en
el intervalo [a, b] es
~2 2
H(x) = + V (x) (x) = E(x) (6.79)
2m x2
donde E es una constante real a determinar y se deben satisfacer las condiciones
de borde (a) = (b) = 0. Claramente este es un problema tipo Sturm-Lioville
con condiciones de Dirichlet. Por lo que si E (x) es solucion con la constante
E y E (x) es solucion con la contante E , entonces
Z b
hE (x)|E (x)i = dxE (x)E (x) = EE . (6.80)
a
6.7.4. Ecuaci
on de Schrodinger en tres dimensiones
Para la ecuacion de Schrodinger en tres dimensiones se tiene el mismo
resultado. Veamos este caso, si U(x, y, z) es una funcion real, la ecuacion de
Schrodinger es
~2 2
H(x, y, z) = + U(x, y, z) (x, y, z) = E(x, y, z). (6.81)
2m
Supondremos que esta ecuacion esta definida en una region de volumen V cuya
frontera es , por lo que la condicion de Dirichlet es (x, y, z)| = 0.
108
Por lo tanto, multiplicando E por (6.82) y E por (6.84) se encuentra
~2 2
E E + U(x, y, z)E E = EE E ,
2m
~2
E 2 E + U(x, y, z)E E = E E E ,
2m
Ahora, considerando la igualdad
~ f g
~ ~
= f g~ + f 2 g, (6.85)
se llega a
~ f g
f 2 g = ~ ~
f ~
g , (6.86)
por lo tanto
~2 ~ ~ ~ ~
E E E E + UE E = EE E ,
2m
~2 ~ ~ ~ ~
E E E E + UE E = E E E ,
2m
restando estas ecuaciones se encuentra
~2 ~ ~
~ = (E E ) E .
E E E E E
2m
Integrando sobre el volumen V y considerando el teorema de Gauss se tiene
~2
Z I
(E E )
dvE E = ~ E E
da E ~ n = 0, (6.87)
E
V 2m
es decir
Z
(E E ) dvE E = 0. (6.88)
V
109
6.7.5. Arm
onicos esf
ericos
2,
Otro ejemplo esta en las funciones propias del operado L
2 Y (, ) = Y (, ),
L
1 2 Y (, )
2 1 Y (, )
L Y (, ) = sin + = Y (, ).
sin sin 2 2
Por ahora no resolveremos esta ecuacion pero veremos algunas de sus propie-
dades respecto a la ortonormalidad.
() 2 ()
2 () ()
L Y (, ) = sin + = ()(),
sin sin 2 2
por lo que
!
2 Y (, )
sin2 L
sin
()
1 2 ()
= sin +
Ym (, ) () () 2
= sin2 , (6.91)
que implica
!
2 Y (, )
sin2 L
1 2 ()
= = 0, (6.92)
Ym (, ) () 2
entonces
1 2 ()
= m2 = cte, (6.93)
() 2
es decir
2 ()
2
= m2 (). (6.94)
Sustituyendo (6.93) en (6.91), se llega a
sin ()
sin m = sin2 ,
2
(6.95)
()
110
que se puede escribir como
m2
()
sin + sin () = 0. (6.96)
sin
Esta ecuacion depende de los parametros y m por lo que redifiniremos ()
como () = Pm (cos ). Note que la ecuacion (6.96) es tipo Sturm-Liouville
m2
con p() = sin , q() = sin , r() = sin
. Ademas como p(0)) = sin 0 =
p() = sin = 0, las soluciones de (6.96) son ortormales en el intervalo [0, ]
con funcion de peso sin , es decir
Z
d sin Pm (cos )Pm (cos ) = m , m = cte > 0. (6.97)
0
m () = A0 eim (6.98)
hY m (, )|Ym (, )i
Z Z 2 Z
= dY m (, )Ym (, ) = d sin Y m (, )Ym (, )
d
0 0
!
2
1 1
Z Z
= d d sin eim Pm (cos ) eim Pm (cos )
0 0 m 2 m 2
2
1 1
Z Z
= d d sin eim Pm (cos ) eim Pm (cos )
0 0 m 2 m 2
2 Z
1 1
Z
im im
= de e d sin Pm (cos )Pm (cos )
m m 2 0 0
111
1
Z
=
mm d sin Pm (cos )Pm (cos )
m m
Z 0
1
= mm d sin Pm (cos )Pm (cos )
m m 0
1
= mm m
m m
1
= m = mm ,
m m
es decir
hY m (, )|Ym (, )i = mm . (6.101)
A
un no sabemos como son de forma explcita la funciones Ym (, ), pero po-
demos decir que son un conjunto de funciones ortornales. Posteriormente ocu-
paremos este hecho para encontrar la forma explcita de las funciones Ym (, ).
aqu q(x) es una funcion de peso positiva en el intervalo (a, b). Con este con-
junto de funciones podemos hacer las combinaciones lineales
n
X
Tn (x) = bi i (x), (6.103)
i=1
112
Rb
Sea F (x) una funcion tal que hF |F i = ||F ||2 = a dxq(x)|F (x)|2 < , enton-
ces definiremos los coeficientes de Fourier de F como
Z b
an = hn |F i = dxq(x)n (x)F (x). (6.105)
a
Ahora veremos que tanto se puede aproximar la funcion F (x) con polinomios
de la forma Tn (x). El sentido de la distancia en este espacio esta dada por la
norma de la funciones. As, el problema es encontrar los polinomios tales que
Z b
2 2
d (F, Tn ) = ||F Tn || = dxq(x)|F (x) Tn (x)|2 (6.106)
a
Ahora, como
se tiene
Por lo que
n
X n
X
2 2 2
||F Tn || = ||F || + |bi ai | |ai |2 . (6.110)
i=1 i=1
113
Claramente la distancia entre esta dos funciones es mnima cuando bi = ai , es
decir, cuando el polinomio tienen los coeficientes de Fourier.
Si bi = ai se encuentra
n
X
2 2
||F Tn || = ||F || |ai |2 0. (6.111)
i=1
Esta desigualdad Pse llama la desigualdad de Bessel, la cual implica que la su-
cesion ||Tn ||2 = ni=1 |ai |2 esta acotada.
114
Esto tiene diferentes implicaciones fsicas. Por ejemplo, en mecanica cuanti-
ca significa que es mas probable que el sistema este en estado base. Mientras
que en electrostatica, significa que en un sistema de cargas son los terminos
mas importantes son el monopolo, dipolo, cuadrupolo. Posteriormente veremos
ejemplos concretos de esta afirmacion.
O(v1 ) = f (x)v1 ,
Dada una funcion g(k, x) se puede definir una transformacion con la integral
Z b
f(k) = dxg(k, x)f (x). (6.117)
a
115
Por ejemplo, con g(k, x) = eikx se define la transformada de Fourier
Z
f (k) = dxeikx f (x). (6.118)
Para cada funcion, g(k, x), bien portada se puede definir una transformada
integral.
116
son lineales, entonces tambien lo son
2 2 2
, , . (6.122)
x2 y 2 z 2
Esto implica que el operador Laplaciano
2 2 2
2 = + + (6.123)
x2 y 2 z 2
~2 2
H= + V (x, y, z) (6.124)
2m
es lineal, esto se debe a que es combinacion lineal de opeadores lineales. Ademas
las variables
x, y, z (6.125)
es lineal.
hAv|ui = v|A u ,
(6.126)
117
6.11.1. Matrices
Por ejemplo, para Cn se tiene
hAv|ui = (Av)T u = v T AT u = v|A u = v T A u,
(6.127)
de donde, para una matriz cuadrada con entradas complejas la matriz adjunta
es
A = AT . (6.128)
6.11.2. Derivada
Para el espacio vectorial de las funciones, el adjunto de un operador de-
pende fuertemente del dominio, las condiciones de borde que se satisfacen y el
producto escalar. Por ejemplo, el operador
A= , (6.129)
x
con un n umero complejo, puede actuar en las funciones (x) definidas en
el intervalo [a, b] integrables y que cumplen (a) = (b) = 0. Veamos cual es
el operador adjunto de este operador, para ello tomaremos el producto escalar
como funcion de peso q(x) = 1. En este caso se puede notar que
Z b Z b
hA1 |2 i = dx(A1 (x)) 2 (x) = dx 1 (x) 2 (x)
a a x
Z b
(x)
= dx 1 2 (x)
a x
Z b
(1 (x)2 (x))
2 (x)
= dx 1 (x)
a x x
b Z b
2 (x)
= (1 (x)2 (x)) + dx1 (x)
a a x
Z b
= dx1 (x) 2 (x),
a x
ahora
Z b
1 |A 2 = dx1 (x)A 2 (x),
a
entonces
= . (6.130)
x x
118
Note que este resultado depende fuertemente de que se cumpla (a) = (b) =
0.
de donde
A = . (6.134)
q(x) x
119
pero
Por lo tanto,
D E
v| (A + B) |u = v| A + B u ,
(A + B) = A + B . (6.136)
que implica
(AB) = B A . (6.137)
A = A, (6.138)
120
6.12.1. Ejemplos de Matrices Hemticas
De (6.128) se puede ver que una matriz de Cn Hermtica cumple
()T = . (6.140)
son Hermticas.
= 1 P 2 + V (x)
H (6.144)
2m x
es Hermtico, pues es la suma de dos operadores Hermticos.
121
es Hermtico.
xpy = x(i) , xpz = x(i) ,
y z
ypx = y(i) , ypz = y(i) ,
x z
zpx = z(i) , zpy = z(i) ,
x y
son Hermticos. Por lo tanto, tambien los operadores
Lx = i y z , Ly = i z x , Lz = i x y .
z y x z y x
es Hermtico.
6.13. Conmutador
Supongamos que tenemos los operadores lineales A y B, entonces definire-
mos el conmutador como
122
de donde
Este resultado es valido para cualquier funcion, por lo que se suele escribir
[x, y] = 0. (6.149)
[px , py ] = 0. (6.152)
123
con los mismos argumentos se encuentra
[y, pz ] = [x, py ] = [x, pz ] = [z, px ] = [z, py ] = 0. (6.155)
Ahora, si x, px = i x , entonces
f
(xpx )f = x(i) f = ix ,
x x
f
(px x)f = (i) x f = i (xf ) = if ix ,
x x x
es decir
(xpx px x) f = if. (6.156)
Como este resultado es valido para cualquier funcion, se escribe
[x, px ] = i. (6.157)
Tambien se tiene
[y, py ] = i, [z, pz ] = i. (6.158)
Si definimos
x1 = x, x2 = y, x3 = z,
p1 = i , p2 = i , p3 = i , (6.159)
x1 x2 3
las anteriores reglas de conmutacion se pueden escribir
[xi , xj ] = [pi , pj ] = 0 [xi , pj ] = iij . (6.160)
Salvo un factor de ~, estas son las reglas de conmutacion las propuso Heisenberg
como base de la mecanica cuantica.
124
La identidad (6.161) es valida pues c es un n
umero. La prueba de (6.162) es
[B, A] = BA AB = (AB BA) = [A, B] .
Mientras que la prueba de (6.163) es
[A, B + C] = A (B + C) (B + C) A = (AB + AC) (BA + CA)
= (AB BA) + (AC CA) = [A, B] + [A, C] .
Ademas,
[A, BC] = A (BC) (BC) A = (ABC) (BAC) + (BAC) (BCA)
= (AB BA) C + B (AC CA) = [A, B] C + B [A, C] ,
que prueba (6.164).
6.13.2. Ejercicio
Para tener un poco de practica con los conmutaremos calcularemos las
reglas de conmutacion del momento angular (2.100), cuyas componentes se
pueden escribir como
Lx = ypz zpy ,
Ly = zpx xpz ,
Lz = xpy ypx .
125
De donde aplicando las propiedades de los conmutadores y considerando (6.160)
se llega
[Lx , Ly ] = [ypz zpy , zpx xpz ] = [ypz , zpx xpz ] + [zpy , zpx xpz ]
= [ypz , zpx xpz ] [zpy , zpx xpz ]
= [ypz , zpx ] [ypz , xpz ] ([zpy , zpx ] [zpy , xpz ])
= y [pz , zpx ] + [y, zpx ] pz y [pz , xpz ] [y, xpz ] pz
(z [py , zpx ] + [z, zpx ] py z [py , xpz ] [z, xpz ] py )
= yz [pz , px ] + y [pz , z] px + z [y, px ] pz + [y, z] px pz yx [pz , pz ]
y [pz , x] pz x [y, pz ] pz [y, x] pz pz z [py , px ] z [py , z] px
z [z, px ] py z [z, py ] px + zx [py , pz ] + z [py , x] pz
+x [z, pz ] py + [z, x] pz py
= i (xpy ypx ) = iLz (6.166)
Ademas
[Ly , Lz ] = [zpx xpz , xpy ypx ] = [zpx , xpy ypx ] [xpz , xpy ypx ]
= [zpx , xpy ] + [xpz , ypx] = z [px , x] py + y [x, px ] pz
= i (ypz zpy ) = iLx ,
[Lz , Lx ] = [xpy ypx , ypz zpy ] = [xpy , ypz zpy ] [ypx , ypz zpy ]
= [xpy , ypz ] + [ypx , zpy ] = x [py , y] pz + z [y, py ] px
= i (zpx xpz ) = iLy . (6.167)
Es decir,
126
Por lo tanto, L2 conmuta con cualquier componente del momento angular
2
L , Lx = L2 , Ly = L2 , Lz = 0.
(6.169)
entonces
En general se cumple
A, B k = kB k1 A, B k+1 = (k + 1)B k .
= (6.173)
= (k + 1)B k ,
Para ver de forma mas explcita esta afirmacion, supongamos que tenemos
la funcion
X
f (x) = bn xn ,
n0
127
De donde,
" #
X X X
[A, f (B)] = A, bn B n = bn [A, B n ] = bn nB n1
n0 n0 n0
X df (B)
= bn nB n1 = .
n0
dB
df (B)
[A, B] = , = [A, f (B)] = . (6.174)
dB
Por ejemplo, sabemos que con px = i x se cumple [x, px ] = i, entonces si f
y g son dos funciones se encuentra
f (x)
[f (x), px ] = i ,
x
g(px )
[x, g(px )] = i .
px
Esta igualdades son de gran utilidad para obtener ecuaciones de movimiento
las ecuaciones de
en mecanica cuantica. En efecto, dado un Hamiltoniano H
movimiento se definen como
ix = [x, H] ,
ip = [p, H] , (6.175)
128
6.15. Vectores propios
Sea A un operador lineal, si v es un vector tal que Av = v, se dice que v
es un vector propio de A con valor propio . Al conjunto de valores propios de
A se le llama el espectro de A.
Por ejemplo, los vectores propios del operador derivada deben cumplir
f (x) = f (x), (6.177)
x
que son las funciones de la forma f (x) = A0 ex , A0 = cte. En la fsica ma-
tematica es importante obtener las funciones propias y valores propios de di-
ferentes operadores, como el momento angular (2.110)
L2 Ym = Ym , Lz Ym = mYm , (6.178)
y el operador Hamiltoniano
2
(~r) = ~ 2
H + V (r) (~r) = E (~r) . (6.179)
2m
= . (6.180)
129
De la misma forma, como L 2 es Hermtico, la ecuacion diferencial
1 2
2 1
L Y (, ) = sin + Y (, ) = Y (, )
sin sin 2 2
solo tiene solucion si es un n
umero real. Las soluciones de esta ecuacion se
llaman armonicos esfericos y son de suma importancia para la electrostatica y
la mecanica cuantica.
Av = v y Au = u = , v = u. (6.181)
Por ejemplo, el operador derivada tiene espectro no degenerado, pues todas las
soluciones de (6.177) son de la forma ex , en particular
Lz = i
tiene espectro no degenerado.
[A, B] = 0
As, (Bv) es vector propio de A con valor propio . De donde, como A tiene
espectro no degenerado, existe tal que
Bv = v.
130
Captulo 7
m
xi = Fi (x, x,
t) (7.1)
131
entonces,
d d
[xi , xj ] = xi xj xj xi = (xi x j ) x i x j (x j xi ) x j x i
dt dt
d
= (xi x j x j x i ) + (x j x i x i x j )
dt
d
= ([xi , x j ]) + [x j , x i ] = [x j , x i ], (7.4)
dt
es decir,
[xi , xj ] = [x j , x i ]. (7.5)
Por lo tanto, de la segunda ley de Newton (7.1) se obtiene
[xi , Fj ] = [xi , m
xj ] = m[x j , x i ]. (7.6)
Ademas, considerando la propiedad antisimetrica de los conmutadores y (7.6)
se llega a
[xi , Fj ] = m[x j , x i ] = m[x i , x j ] = [xj , Fi ]. (7.7)
De donde [xi , Fj ] es una matriz antisimetrica. Ahora, sabemos que cualquier
matriz antisimetrica de 3 3 se puede escribir en terminos el tensor de Levi-
Civita y un vector (1.70). As, sin perdida de generalidad podemos proponer
i~
[xi , Fj ] = ijk Bk . (7.8)
m
Note que de (7.6) y (7.8) se obtiene
i~
[x i , x j ] = 2 ijk Bk . (7.9)
m
En principio Bk puede depender de la velocidad, sin embargo, por la identidad
de Jacobi
[xi , [x j , x k ]] + [x k , [xi , x j ]] + [x j , [x k , xi ]] = 0, (7.10)
las reglas de conmutacion (7.2), (7.6) y (7.8) se obtiene
i~
[xi , [xj , Fk ]] = [xi , jkl Bl ] = 0. (7.11)
m
Por lo tanto, Bk solo depende de las coordenadas. As, la igualdad (7.8) implica
que Fi debe ser de la forma Fi = ijk x j Bk . Note que la igualdad (7.8) se cumple
si sumamos a Fi una funcion, Ei , que solo depende de las coordenadas. As, la
forma mas general de la fuerza es
Fi = Ei + ijk x j Bk . (7.12)
Que es exactamente la fuerza de Lorentz.
132
7.2. Inexistencia de Monopolos Magn
eticos
Ahora, veamos la ley de inexistencia de monopolos magneticos. De Eq.
(7.6) y Eq. (7.8) se obtiene
lij lij i~ i~
lij [x i , x j ] = [xi , Fj ] = ijk Bk = 2 lij ijk Bk
m m m m
i~ i~ i~
= 2 lij jik Bk = 2 (li ik lk ii ) Bk = 2 (lk 3lk ) Bk
m m m
2i~
= Bl , (7.13)
m2
es decir,
im2
Bl = lij [x i , x j ]. (7.14)
2~
Para continuar, notemos que si tenemos los operadores A1 , A2 , A3 la identidad
de Jacobi se puede escribir como
lij [x i , xj ] = lji [
xj , x i ] = lij [
xi , x j ], (7.17)
es decir,
lij [x i , xj ] = lij [
xi , x j ]. (7.18)
133
Claramente se cumple
Bl Bl
B l = + x m . (7.19)
t xm
Ademas, considerando (7.14), (7.18) y (7.9) se encuentra
2
im2
B l B l d im d
B l = + x m = lij [x i , x j ] = lij (x i x j x j x i )
t xm dt 2~ 2~ dt
2
im
= lij (
xi x j + x i xj xj x i x j xi )
2~
im2 im
= lij ([
xi , x j ] + [x i , x
j ]) = lij [m xi , x j ]
2~ ~
im im
= lij [Fi , x j ] = lij [Ei + irs x r Bs , x j ]
~ ~
im
= lij ([Ei , x j ] + irs [x r Bs , x j ])
~
im
= lij j Ei + lji irs (x r [Bs , x j ] + [x r , x j ]Bs )
~
~ E
~ + im i~ B s
= (lr js ls jr ) x r + [x r , x j ]Bs
l ~ m xj
B B
im im
~ E ~ x l s l
= x j + [x l , x j ]Bj [x r , x r ]Bl
l xs xj ~ ~
~ ~
~ ~
Bl 1
= E x l B + x m ljr Br Bj
l xm m
~ E
~ + x m B l
= . (7.20)
l xm
Por lo tanto, igualando (7.19) con (7.20) se tiene
~
~ = B ,
~ E (7.21)
t
que es la ley de Faraday.
134
Captulo 8
El oscilador arm
onico y los
polinomios de Hermite
Aun sin resolver el problema sabemos que E debe ser real, pues p y x son
operadores Hermticos. Ademas para cualquier funcion f se cumple
0 hpf |pf i = f |ppf = f |p2 f ,
por lo que
2
m 2 2
p
0 hf |Hf i = f
+ x f . (8.3)
2m 2
En particular si f = y H = E se tiene
0 E h|i . (8.4)
De este resultado es claro que si E < 0, entonces h|i = 0, que implica que
(x) = 0. Ademas, si h|i =6 0, entonces E 0. Es decir, la u
nica solucion
con valor propio negativo es (x) = 0, en cualquier otro caso E 0.
135
8.0.1. Ortonormalidad
Tambien podemo ver que la ecuacion (8.2) es tipo Sturm-Liouville, por
lo que sus soluciones que satisfancen la condiciones de Dirichlet () =
() = 0 con valores propios diferentes, son ortogonales. Es decir, si a (x)
y b (x) son soluciones de la ecuacion (8.2) con los valores propios Ea y Eb , y
ademas a () = b () = 0, entonces se cumple
Z
(Ea Eb ) dxa (x)b (x) = 0. (8.5)
En particular, si Ea 6= Eb , tenemos
Z
dxa (x)b (x) = 0. (8.6)
Por lo tanto, las funciones de onda del oscilador armonico forman una base
ortonormal.
[
x, p] = xp px = i~, [
x, x] = [
p, p] = 0. (8.9)
136
Como p y x son operadores hermticos se tiene
1
=
a (
p + im x) . (8.11)
2m~
De donde
1
a =
a (
p + im x) (
p im x)
2m~
1
= [
p (
p im x) + im x (
p im x)]
2m~
1
pp im px + im xp + m2 2 xx
=
2m~
1 1
p2 + m2 2 x2 + im ( p2 + m2 2x2 + im[
= xp px) = x, p]
2m~ 2m~
1 2 m 2 2 1
2m 1 ~ .
= p + x ~ = H (8.12)
2m~ 2m 2 2 ~ 2
Por lo tanto,
= ~ a 1
H a + . (8.13)
2
Ademas, se cumple
a
, a
= 1, (8.14)
pues
h
i
1
[a, a
] + a , a
H, a
= ~ a a+ ,a
= ~ a
a , a
= ~ a a
2
137
= ~ a ,a
a = ~a,
h
i
1
= ~ a
= ~ a
a
H, a
= ~ a a + ,a a, a , a
+ a
, a a
2
= ~a a
= ~a .
, a
(1) (x) = a
(x), +(1) (x) = a (x), (8.18)
Por lo tanto, las funcion (1) (x) es funcion propia de H con valor propio
con valor propio E + ~.
E ~, mientras que +(1) (x) es funcion propia de H
Es decir, si es solucion de la ecuacion Schrodinger del oscilador armonico,
la funciones (1) = a y +(1) = a tambien son soluciones de esta ecuacion.
138
satisfacen
(n) (x) = (E n~) (n) (x),
H (8.22)
+(n) (x) = (E + n~) +(n) (x).
H (8.23)
Para ambos casos la base inductiva ya esta probada, falta probar el paso in-
ductivo. Primero probaremos el paso inductivo para las funciones (n) (x), en
este caso debemos suponer que se cumple (8.22) y probar
(n+1) (x) = [E (n + 1)~] (n+1) (x),
H con
n+1
(n+1) (x) = a(n) (x) = (a) (x).
139
n
y a (x) tambien son funciones propias, con valores propios E n~ y
E + n~, respectivamente.
Ahora, note que para cualquier valor E existen un natural n tal que el
valor propio En = E n ~, con funcion propia (n) (x) = (a)n (x), sa-
(n) = E n
tisfce E ~ < 0. Esto implica que n (x) = 0. Es decir, si (x)
es una funcion propia de H existe un natural n tal que (a)n (x) = 0. Note
que en realidad existe un n umero infinito de posibles valores de n , pues si
n
n
+1
(a) (x) = 0, entonces tambien se cumple (a) (x) = 0.
a
0 (x) = 0, 0 (x) 6= 0 (8.25)
140
8.2. Estado Base y Ortonormalidad
Como cualquier solucion de la ecuacion de Schrodinger se puede expresar
en terminos del estado base, basta conocer esta funcion para obtener todas las
soluciones. El estado base lo hemos definido como la funcion que satisface
1 1
0 (x) =
a p im x) 0 (x) =
( i~ imx 0 (x)
2m~ 2m~ x
i~ m
= + x 0 (x) = 0,
2m~ x ~
es decir, el estado base debe ser solucion de la ecuacion diferencial
0 (x) m
= x0 (x),
x ~
cuya solucion es
m x2
0 (x) = Ae ~ 2 , A = cte.
Para determinar la constante A pediremos
Z
dx0 (x)0 (x) = 1,
que quiere decir que el estado base tiene norma unitaria. De esta condicion
tenemos
Z Z 2 Z
x2
m 2 m 2
dx0 (x)0 (x) = dx Ae ~ 2 =A dxe ~ x = 1,
entonces
1
A = qR .
m 2
dxe ~
x
dye(x +y ) ,
2 2
= dx
141
ocupando coordenadas polares tenemos
r 2
2
(1) d e
Z Z Z Z
2 2
I2 = drr der = 2 drrer = 2 dr
0 2 dr
0 0 0
2
= er = .
0
De donde
r
Z
x2
I= dxe = ,
Ahora,
n n
0 (x)|An a 0 (x)n
hn |n i = An a
n n
= An An a 0 (x)n
0 (x)| a
n
= An An 0 (x)|an a 0 (x)
Z
n
= An An dx0 (x)(a)n a 0 (x). (8.32)
142
n n1
Como a , a
= 1, se tiene a , a =n a y entonces
n n n n n
(a)n a
0 (x) = (a)n1 a a 0 = (a)n1 a a
a a + a a 0 (x)
n n
= (a)n1 a a
, a + a 0 (x)
n1 n
= (a)n1 n a a
+ a 0 (x)
n1 n1 n
= (a) n a 0 (x) + a a 0 (x)
n1
= n(a)n1 a
0 (x). (8.33)
Este resultado lo podemos aplicar de forma reiterada k veces, donde k n,
por lo que
n nk
(a)n a
0 (x) = n(n 1)(n 2) (n (k 1))(a)nk a
0 (x)
n! nk
= ank a
0 (x). (8.34)
(n k)!
El maximo valor que puede tomar k es n, de donde
n
(a)n a 0 (x) = n!0 (x). (8.35)
Introduciendo esta igualdad en (8.32), se obtiene
Z
2
hn (x)|n (x)i = |An | n! 0 (x)0 (x) = 1, (8.36)
as
1
An = . (8.37)
n!
Por lo tanto, las funciones de onda normalizadas son
1 n
n (x) = a 0 (x). (8.38)
n!
143
por lo que, ocupando el cambio de variable
r
mx2
r
2 m d ~ d
= , = x, = , (8.39)
~ ~ d m dx
se tiene
m 1/4
2
2
i
0 () = e , a = .
~ 2
2 df 2 2 df
= e 2 e 2 f e 2 = f ,
d d
es decir,
2 d 2
2 d
e 2 fe = f. (8.41)
d d
En general se cumple
n
dn
2 2
2 d
e 2 fe = f. (8.42)
d n d
Probaremos esta afirmacion por induccion. La base inductiva ya ha sido de-
mostrada, falta demostrar el paso inductivo. Aqu debemos suponer que se
cumple (8.42) y demostrar
n+1
n+1
2 d 2 d
e 2 n+1 f e 2 = f. (8.43)
d d
Ocupando la hipotesis de induccion, se encuentra
n+1 n 2 n
d d d d d 2
2
f= f = e 2 fe ,
d d d d d n
144
2 2
as definiendo f = e 2 dd n f e 2 y considerando (8.41) se obtiene
n
n+1 2
d d 2 d
f = f = e 2 e 2 f
d d d
2 2 n
2 d d 2
= e2 e 2 e 2 n fe 2
d d
n n+1
2
d d 2
2 2 d 2
2
= e 2 fe =e 2 fe ,
d d n d n+1
que es lo que se queria demostar, esto implica que (8.42) es valida para cual-
quier n
umero natural n. Introduciendo el resultado (8.42) en (8.40) se llega
a
m 1/4 (i)n 2 n 2 2
n () = e2 n
e 2 e 2
~ n!2 n
m 1/4 (i)n 2
2
n
2
= e 2 ()n e n
e . (8.44)
~ n!2 n
Definiremos el polinomio de Hermite de grado n como
n
2 2
Hn () = ()n e n
e . (8.45)
A esta expresion tambien se le llama formula de Rodriguez para los polinomios
de Hermite. En particular se tiene
H0 () = 1, H1 () = 2, H2 () = 2 + 4 2, . (8.46)
Por lo tanto, la funcion de onda (8.44) se escribe como
m 1/4 (i)n 2
n () = e 2 Hn () (8.47)
~ n!2n
Debido a que las funciones de onda forman un conjunto ortonormal de funcio-
nes, ocupando el cambio de variable (8.39), tenemos
Z Z r !
~
nl = < n (x)|l (x) >= dxn (x)l (x) = d n ()l ()
m
r
~ m 1/2 (i)n (i)l
Z
2
= de Hn ()Hl (),
m ~ n!2 n l
l!2
es decir
Z
2
de Hn ()Hl () = 2n n!nl . (8.48)
Por lo tanto, los polinomios de Hermite, forman un conjunto de funciones
2
ortonormales con funcion de peso e .
145
8.4. Funci
on Generadora
Ahora veremos una funcion que esta intimamente relacionada con los po-
linomios de Hermite, la llamada funcion generadora. Primero recordemos que
cualquier funcion, f (z), bien comportada se puede expresar en su serie de
Taylor
X z n dn f (z)
f (z) = n
, (8.49)
n0
n! dz z=0
en particular
X tn n W (, t)
2tt2
W (, t) = e = n
. (8.50)
n0
n! t
t=0
2t t2 = t2 2t + 2 2 = (t )2 2 = (t )2 + 2 ,
entonces
2 2 2 2
n W (, t) n e2tt n e (t) n (t)
2 e
= = = e . (8.51)
tn tn tn tn
Ademas, con el cambio de variable u = t se tiene
u
= = () , u|t=0 = . (8.52)
t t u u
Por lo tanto, considerando (8.45) se tiene
n (t)2 n u2
n W (, t)
2 e 2 n e
= e = e () un
tn
t=0 tn
t=0 u=
n 2 n 2
2 n e n 2 e
= e () = () e = Hn (), (8.53)
n n
146
recordemos los resultado
N
N
X N!
(a + b) = CkN aN k bk , CkN = ,
k=0
k!(N k)!
X zN
ez = .
N 0
N!
Por lo tanto,
X (2t t2 )N X 1 X N
2tt2
k
W (, t) = e = = CkN (2t)N k t2
N 0
N! N 0
N!
k=0
X 1 N
X
= CkN (2)N k ()k t2k+N k
N 0
N!
k=0
N
X X ()k N
= Ck (2)N k tN +k .
N 0 k=0
N!
Ahora, definamos n = N + k, entonces N = nk y N k = n2k. El maximo
valor que puede tener k es N, es decir N k = n2k 0, que implica k n/2.
As, si n es par, el maximo valor que puede tomar k es n/2. Pero si n es impar,
k no puede tomar el valor n/2 porque este no es un n umero natural. En este
caso el maximo valor que puede tomar k es (n 1)/2. Definiremos como n2
X tn X [ n2 ]
()k n! nk
= Ck (2)n2k
n0
n! (n k)!
k=0
X tn X [ n2 ]
()k n! (n k)!
= (2)n2k
n0
n! k=0 (n k)! k!(n 2k)!
[ n2 ]
X tn X ()k n!
= (2)n2k
n0
n! k!(n 2k)!
k=0
X tn
= Hn (). (8.55)
n0
n!
147
Entonces,
[ n2 ]
X ()k n!
Hn () = (2)n2k . (8.56)
k=0
k!(n 2k)!
H2n+1 (0) = 0.
Ademas,
X (t2 )n X ()n t2n
t2
W ( = 0, t) = e = =
n0
n! n0
n!
X tn X H2n (0)
W ( = 0, t) = Hn (0) = t2n .
n0
n! n0
(2n)!
(2n)!
H2n (0) = ()n .
n!
Tambien se tiene el resultado
2
W (, t) e2tt 2
= = 2te2tt = 2tW (, t). (8.59)
148
Considerando (8.54) y que H0 () = 1 se encuentra
W (, t) X tn dHn () X tn dHn ()
= = ,
n0
n! d n1
n! d
X tn X 2tn+1 X 2tn
2tW (, t) = 2t Hn () = Hn () = Hn1 ()
n0
n! n0
n! n1
(n 1)!
X n t
= 2nHn1 (). (8.60)
n1
n!
De donde,
dHn ()
= 2nHn1 (). (8.61)
d
8.4.1. Ecuaci
on de Hermite
De la formula de Rodrguez para los polinomios de Hermite (8.45) se tiene
!
n 2 n1 2
2 d e 2 d d e
Hn () = ()n e = ()n e
d n d d n1
" !#
n1 2
2 d 2 2 d e
= ()e e ()n1 e
d d n1
2 d
2
= ()e e Hn1 ()
d
2 2 2 dHn1 ()
= ()e 2e Hn1 () + e
d
dHn1 ()
= 2Hn1() .
d
es decir,
dHn1 ()
Hn () = 2Hn1() . (8.62)
d
Derivando esta igualdad con respecto a , se tiene
dHn () dHn1 () d2 Hn1 ()
= 2Hn1 () + 2 . (8.63)
d d d 2
Considerando (8.61) se encuentra
dHn1 () d2 Hn1 ()
2nHn1 () = 2Hn1 () + 2 (8.64)
d d 2
149
que se puede escribir como
d2 Hn () dHn ()
2
2 + 2nHn () = 0, (8.65)
d d
que es la llamada ecuacion de Hermite.
8.5. M
etodo tradicional
Ahora ahora ocuparemos el metodo tradicional para resolver la ecuacion
de onda del oscilador armonico
~2 2 m 2 2
+ x (x) = E(x). (8.66)
2m x2 2
2
2 2E
2 + () = (). (8.67)
~
2
2
2 + () 0. (8.68)
2
Proponemos como solucion asintotica a la funcion () = e 2 , que satisface
d
= (),
d
d2 d
= (()) = () 2() 2 ()
d 2 d
Por lo tanto, si >> 1 se tiene
2
d 2
() 0. (8.69)
d 2
2
As, cuando las soluciones de (8.67) deben ser de la forma () e 2 ,
para el caso general, propondremos como solucion
2
() = e 2 (), (8.70)
150
2
con () una funcion que crece menos rapido que e 2 cuando . Para
esta propuesta se tiene
d() 2
2 d()
= e () + ,
d d
d2 ()
2
2
2 d () d() 2
= e 2 + 1 () . (8.71)
d 2 d 2 d
de la cual se encuentra
X 2E
2E
1 () = 1 an n ,
~ n0
~
d() X X
2 = 2 nan n1 = (2n)an n ,
d n0 n0
d2 () X
n2
X
= n(n 1)an = n(n 1)an n2
d 2 n0 n2
X
= (n + 2)(n + 1)an+2 n .
n0
151
Por lo tanto,
d2 ()
d() 2E
2 + 1 ()
d 2 d ~
X 2E
= 1 2n an + (n + 2)(n + 1)an+2 n = 0.
n1
~
De donde
2n 2E
~
1 an
an+2 = , (8.75)
(n + 2)(n + 1)
es decir
2n 2E
an+2 ~
1
= . (8.76)
an (n + 2)(n + 1)
Note que esta relacion de recurrencia P
separa los terminos
P pares e impares, por
lo que se tendran series de la forma n0 a2n 2n y n0 a2n+1 2n+1. Para el
caso par, si n , se tiene
a2(n+1) 4n 1
, (8.77)
a2n (2n + 2)(2n + 1) n
que es el mismo comportamiento que tiene los coeficientes de Taylor de la serie
2
X 2n
e = . (8.78)
n0
n!
152
Entonces la energa se discretiza y la funciones () son polinomios. Sustitu-
yendo En en (8.73) se obtiene
d2 () d()
2
2 + 2n() = 0, (8.81)
d d
que es la ecuacion de Hermite (8.65). Por lo tanto, las funciones () son los
polinomios de Hermite.
1 2 m 2
2 2qE
H = p + x x ,
2m 2 m 2
2 2 !
1 2 m 2
qE qE qE
= p + x2 2 x+
2m 2 m 2 m 2 m 2
2
1 2 m 2 q2E 2
qE
= p + x (8.84)
2m 2 m 2 2m 2
qE
Por lo que, con el cambio de variable = x m 2
se tiene
2 2 2
= 1 p2 + m 2 q E .
H (8.85)
2m 2 2m 2
Por lo que la ecuacion de valores propios
1 2 m 2 2
H(x) = p + x qEx (x) = E(x) (8.86)
2m 2
153
se puede escribir como
2 2 2
1 2 m 2 q E
H() = p + () = E(), (8.87)
2m 2 2m 2
de donde
1 2 m 2 2 q2E 2
p + () = E + (). (8.88)
2m 2 2m 2
Esta u
ltima ecuacion es la ecuacion del oscilador armonico, por lo que
q2E 2
1
E+ = ~ n + , (8.89)
2m 2 2
es decir los u
nicos valores de la energa permitidos son
q2E 2
1
En = ~ n + (8.90)
2 2m 2
p21 p2 m1 12 2 m2 22 2
H= + 2 + x1 + x2 , (8.92)
2m1 2m1 2 2
con
p1 = i~ , p2 = i~ .
x1 x2
Como los osciladores son independientes, estos operadores satisfance las reglas
de conmutacion
154
Para obtener los valores y funciones propias de H definamos los Hamilto-
nianos
p21 m1 12 2 p22 m2 22 2
H1 = + x1 , H2 = + x2 .
2m1 2 2m1 2
Tambien definamos los operadores
1 1
a1 = (p1 im1 1 x1 ) , a2 = (p2 im2 1 x2 )
2m1 1 ~ 2m2 2 ~
1 1
a1 = (p1 + im1 1 x1 ) , a2 = (p2 + im2 1 x2 ) ,
2m1 1 ~ 2m2 2 ~
que satisfacen las reglas de conmutacion
h i h i
a1 , a1 = 1, a2 , a2 = 1
Entonces, definiremos
155
esta funcion satisface
Por lo que, las funciones propias de H son (8.95) y sus valores propios son
1 1
En1 n2 = ~1 n1 + + ~2 n2 + (8.96)
2 2
N
p2k mk k2 2
X
H= + xk , pk = i~ . (8.98)
k=1
2mk 2 xk
Como los osciladores son independientes, estos operadores satisfance las reglas
de conmutacion
p2k mk k2 2
Hk = + xk
2mk 2
156
y los operadores
1 1
ak = (pk imk k xk ) , ak = (pk + imk k x2 ) ,
2mk k ~ 2mk k ~
que satisfacen las reglas de conmutacion
h i
ak , al = kl (8.100)
definiremos
n1 n2 nN (x1 , x2 , , xN ) = n1 (x1 )n2 (x2 ) nN (xN ). (8.102)
Estas funciones satisfacen las relaciones de ortonormalidad
hn1 n2 nN |l1 l2 lN i = n1 l1 n2 l2 nN lN . (8.103)
Tambien cumplen que
Hn1 n2 nN (x1 , x2 , , xN ) = En1 n2 nN n1 n2 nN (x1 , x2 , , xN ),
con
N
X 1
En1 n2 nN = ~k nk + (8.104)
2
k=1
157
8.7.2. Oscilador en D dimensiones
El Hamiltoniano de un oscilador en D dimensiones es
D 2
m 2 2
X pk
H= + xk , pk = i~ . (8.105)
k=1
2m 2 xk
Matematicamente este es un caso del problema anterior, por lo que los valores
propios son
D
X 1
En1 n2 nD = ~ nk + . (8.106)
2
k=1
Para este sistema las funciones propias son un caso particular de (8.102).
158
Captulo 9
se encuentra
df dx df 1 df
= = . (9.2)
dx dx dx dx
Entonces, si la variable x transforma con , el operador derivada transforma
con 1/, es decir,
x x = x,
d d 1 d
dx
= . (9.3)
dx dx
Veamos ahora que pasa en dos dimensiones. Consideremos la matriz de 2 2
con entradas constantes
a1 a2
= , (9.4)
a3 a4
cuya inversa es
1 1 a4 a2
= , || = a1 a4 a2 a3 . (9.5)
|| a3 a1
159
Tambien definamos los vectores columna
1
x x1
X= , = . (9.6)
x2 x2
es decir,
a4 x1 a2 x2
x1 = , (9.9)
||
a3 x1 + a1 x2
x2 = . (9.10)
||
Ademas, por la regla de la cadena se tiene que
x1 x2
= + ,
x1 x1 x1 x1 x2
x1 x2
= + . (9.11)
x2 x2 x1 x2 x2
De la regla de transformacion (9.10), tenemos
1
= a4 1 a3 2 ,
x1 || x x
1
= a2 1 + a1 2 , (9.12)
x2 || x x
que se puede expresar como
x
1 a4 a 3 x1
1
= . (9.13)
x2 || a2 a1 x2
160
por lo que
= ()T . (9.15)
xi = ij xj , xi = 1 ij xj .
(9.16)
xj (1 )jk xk 1
xk 1
= = = jk xi xj
= jk
ki
xi xi xj xi xj xj
T
= 1 ji j = 1
. (9.17)
x ij xj
Esta ley de transformacion sera de gran utilidad para obtener las simetras de
la ecuacion de Laplace.
= I, (9.19)
161
Con la matriz el Laplacianose define como
2 = T . (9.22)
T = . (9.24)
que coincide con (9.24). Por lo tanto, las transformaciones lineales, , que dejan
invariante al elemento de lnea (9.20) tambien dejan invariante al Laplaciano
(9.22), claramente la afirmacion inversa tambien es correcta.
162
1) Axioma de cerradura:
g1 G, g2 G = g1 g2 G (9.28)
2) Axioma de asociatividad:
e G, g1 G = g1 e = e g1 = g1 . (9.30)
T = , 2 = I. (9.32)
T1 1 = , T2 2 = . (9.33)
De donde
(1 2 )T (1 2 ) = T2 T1 1 2 = T2 2 = . (9.34)
1 T, 2 T = 1 2 T. (9.35)
163
Por lo tanto,
T
1 1 = ( ) 1 = 1 = .
(9.37)
As, esta T , tambien 1 esta en T. Esto nos indica que se cumple el axioma
del inverso.
y la matriz renglon
XT =
x1 x2 xn , (9.39)
l2 = X T X = X T IX. (9.40)
X = X, (9.41)
se tiene la distancia
l2 = X T IX = X T T I X.
(9.42)
T I = I. (9.43)
164
Otra forma de expresar esta igualdad es T = 1 . Claramente las matrices
que cumplen (9.43) forman un grupo, a este grupo de matrices se le llama O(n).
Ahora, para cualquier matriz A se cumple que detA = detAT . Entonces, las
matrices que satisfacen (9.43) deben cumplir (det)2 = 1, es decir det = 1.
El subconjunto de matrices que cumple det = 1 no forman un grupo, por
ejemplo, la identidad no esta en ese subconjunto. Sin embargo, las matrices
que cumple det = 1 s forman un grupo, este es el grupo SO(n).
es decir, si una matriz satisface (9.43), tiene sus columnas ortonormales. Aho-
ra, si satisface (9.43), 1 tambien la satisface. Por lo tanto, 1 tiene sus
165
columnas ortonormales entre si. Pero 1 = T , entonces, las columnas de
T son ortonormales entre si. Considerando que las columnas de T son los
renglones de , podemos ver que los renglones de son ortonormales entre si.
En conclusion, si satisface (9.43) sus columnas y renglones son ortonormales
entre si.
Para el caso n = 3 hay tres parametros libres, para esta dimension cualquier
matriz se puede escribir como
a1 b1 c1
= a2 b2 c2 . (9.48)
a3 b3 c3
Si satisface (9.46), debe cumplir
~a ~a = ~b ~b = ~c ~c = 1, ~a ~b = ~a ~c = ~b ~c = 0, (9.49)
esto nos dice que la punta de los vectores ~a, ~b, ~c estan en una esfera y que son
ortonormales entre si. Un ejemplo de estas matrices son
1 0 0
x () = 0 cos sin , (9.50)
0 sin cos
cos 0 sin
y () = 0 1 0 , (9.51)
sin 0 cos
cos sin 0
z () = sin cos 0 . (9.52)
0 0 1
La matriz x () representa una rotacion sobre el eje x, y () representa una
rotacion sobre el eje y, mientras que z () representa una rotacion sobre el
eje z. Por lo tanto, las rotaciones dejan invariante la distancia y al Laplaciano.
Note que esta matrices son linealmente independientes.
166
(9.49), pero no son la solucion mas general, pues solo dependen de dos parame-
tros y la solucion general de (9.49) depende de tres. Pero estos vectores nos
sirven para obtener la solucion general. Propondremos a ~c como
~a = (sin sin cos + cos cos , sin cos cos cos sin , sin sin ) ,
~b = (sin cos + cos sin cos , sin sin + cos cos cos , cos sin ) .
Se puede probar que los vectores ~a, ~b y ~c cumplen (9.49). As se puede escribir
como
cc ssc sc + csc ss
(, , ) = cs scc ss + ccc cs . (9.56)
ss cs c
con
cos sin 0
1 () = sin cos 0 , (9.58)
0 0 1
1 0 0
2 () = 0 cos sin , (9.59)
0 sin cos
cos sin 0
3 () = sin cos 0 . (9.60)
0 0 1
167
Esta descomposicion es muy u til para el estudio de movimiento del cuerpo
rgido. A los parametros , , se les llama angulos de Euler.
168
Por lo tanto, una rotacion infinitesimal esta dada por
X = X (I + M) X = (IX + MX) , (9.68)
es decir
~r = ~r + ~
~r. (9.69)
Esta rotaciones son importantes porque definen al resto de las transforma-
ciones, para ver esto primero notemos que
0 3 2
M = 3 0 1 = 1 m1 + 2 m2 + 3 m3 = ~ m,
~ (9.70)
2 1 0
con
0 0 0 0 0 1 0 1 0
m1 = 0 0 1 , m2 = 0 0 0 , m3 = 1 0 0 .
0 1 0 1 0 0 0 0 0
Note que la matriz (9.70) no se modifica si hacemos el cambio
~ i~
y
m
~ im ~
~ = M . Es decir
0 0 0 0 0 1 0 1 0
M1 = i 0 0 1 , M2 = i 0 0 0 , M3 = i 1 0 0 .
0 1 0 1 0 0 0 0 0
169
Por lo tanto, una trasformacion finita esta dada por
~
X = ei~M X. (9.74)
En este sentido se dice que M1 , M2 , M3 son los generadores del grupo SO(3).
Entonces, considerando estos resultados, juntos con las series de cos y sin ,
se tiene
X 1
eiMi = (iMi )n
n0
n!
X 1 X 1
= (i)2n (Mi )2n + (i)2n+1 (Mi )2n+1
n0
(2n)! n0
(2n + 1)!
X 1 X 1
= I + Ti (i)2n + Mi (i)2n+1
n1
(2n)! n0
(2n + 1)!
X (1)n X (1)n
2n
= I Ti + Ti + Ti iMi 2n+1
n1
(2n)! n0
(2n + 1)!
X ()n 2n
= I Ti + Ti iMi sin
n0
(2n)!
= I Ti + Ti cos iMi sin . (9.79)
170
De donde,
1 0 0 cos 2 0 sin 2
ei1 M1 = 0 cos 1 sin 1 , ei2 M2 = 0 1 0 ,
0 sin 1 cos 1 sin 2 0 cos 2
cos 3 sin 3 0
ei3 M3 = sin 3 cos 3 0 . (9.80)
0 0 1
As, ei1 M1 representa una rotacion sobre el eje x, ei2 M2 representa una ro-
tacion sobre el eje y, mientras que ei3 M3 representa una rotacion sobre el eje
z.
Por lo que
171
de donde
M 2 = 2I, (9.85)
por lo tanto
[M 2 , Mi ] = 0. (9.86)
As, los valores propios de M 2 se puede obtener al mismo tiempo que cualquie-
ra de los generadores Mi .
(M1 )ij = ii1j , (M2 )ij = ii2j , (M3 )ij = ii3j . (9.90)
Por ejemplo,
111 112 113 0 0 0
(M1 )ij = ii1j = i 211 212 213 = i 0 0 1 , (9.91)
311 312 313 0 1 0
172
As, las componentes cualquier matriz antisimetrica se puede escribir como
X = X = (I i~ ~ )X.
M (9.93)
En componentes se tiene
es decir
xi xi + (~
~x)i . (9.95)
9.5. Arm
onicos esf
ericos
Hasta ahora nos hemos enfocado en las trasformaciones que pasan del es-
pacio ~r al ~r . Ahora veamos que pasa con las funciones que act uan en estos
3
espacios. Supongamos que tenemos una funcion, F, en R . Entonces al evaluar
esta funcion en un punto de ~r , ocupando la transformacion infinitesimal (9.69)
se encuentra
F (~r ) F (~r + ~
~r) = F (~r) + (~ ~ (~r),
~r) F (9.96)
con
~ = i~r .
L ~ (9.97)
As,
F (~r ) 1 + i~ ~
L F (~r). (9.98)
173
valores propios son reales.
Veamos que forma tiene una rotacion finita. Igual que en caso del espacio
~r, tomaremos ~ = ~ /N y consideremos que para tener una transformacion
finita debemos hacer el producto de un n umero infinito de trasformaciones
infinitesimales. Entonces,
N
~ ~
F (~r ) 1+i L F (~r). (9.99)
N
As, ocupando el resultado (9.72) se encuentra
N
1 ~ ~
lm I + i ~ L = U (~) = ei~L . (9.100)
N N
Por lo tanto, una transformacion finita esta dada por
~
F (~r ) = ei~L F (~r) . (9.101)
Note que el operador U (~
) satisface
) = U (~
U (~ ) = U 1 (~
) . (9.102)
Cuando un operador, A, cumple A = A1 , se dice que es un operador unitario.
As, U (~
) es unitario.
174
que son las mismas reglas de conmutacion que cumple Mi (9.83). A esta reglas
de comutacion se les llama el agebra de Lie de SO(3).
175
De la segunda ecuacion es claro que Ym (, ) es de la forma
Ym (, ) = m eim Pm (). (9.115)
Si queremos que la funcion Ym (, ) no sea multivaluada debemos pedir
Ym (, + 2) = Ym (, ). Esto implica eim = eim(+2) , lo cual se cum-
ple solo si
m = 0, 1, 2, 3, . (9.116)
Por lo tanto, m debe ser un entero. Posteriormente veremos los posibles valores
de .
176
Si m = m , se encuentra
Z 2 Z 2 Z 2
im im im im
d e e = de e = d = 2. (9.122)
0 0 0
Por lo tanto las funciones eim son ortogonales en el intervalo [0, 2].
Pm () m2
sin + sen Pm () = 0. (9.124)
sin
Como se puede observar, esta ecuacion es tipo Sturm-Liouville. En este caso
2
p() = sin , r() = m
sin
. Considerando los resultados para las ecuaciones tipo
Sturm-Louville, como p(0) = p() = 0, se llega a
Z
( ) d sin Pm ()Pm () = 0.
0
En particular si 6=
Z
d sin Pm ()Pm () = 0. (9.125)
0
En general se tiene
Z
d sin Pm ()Pm () = m , m = constante > 0. (9.126)
0
177
Z 2 Z
i(m m)
= m m de d d sin Pm (cos )Pm (cos )
0 0
Z
= m m 2mm d sin Pm (cos )Pm (cos )
Z 0
= m m 2mm d sin Pm (cos )Pm (cos )
0
= m m 2mm m
= | m |2 2m mm . (9.127)
Entonces, si
1
| m |2 = (9.128)
2m
se cumple
Z
< Y m (, )|Ym(, ) >= dY m (, )Ym (, ) = mm . (9.129)
por lo que
En particular si f = Ym , se llega a
L2 L2z Ym = 2 m2 Ym ,
(9.130)
entonces
0 2 m2 hYlm |Ylmi .
(9.131)
178
Si (2 m2 ) < 0 la u nica forma de que se cumpla esta desigualdad es que
hYlm |Ylm i = 0, es decir Ylm = 0. Si Ylm 6= 0 se tiene (2 m2 ) 0, entonces
m . (9.132)
L = Lx iLy . (9.133)
Note que
es decir,
L L = L2 L2z Lz .
(9.134)
[L2 , L ] = 0. (9.135)
es decir
[Lz , L ] = L . (9.137)
Y = L Ym , (9.138)
L2 Y = L2 L Ym = L L2 Ym = L Ym = Y . (9.139)
179
Por lo tanto, L Ym tambien es funcion propia de L2 con el mismo valor propio,
, que Ym . Ademas, considerando el conmutador (9.137) tenemos
Lz Y = Lz L Ym = (L Lz L ) Ym = (L Lz Ym L Ym )
= (mL Ym L Ym ) = (m 1)L Ym = (m 1)Y , (9.140)
es decir,
Lz L Ym = (m 1)L Ym . (9.141)
Como podemos ver, el operador L es muy u til, pues nos permite pasar de
una funcion propia Ym a otra Ym1 . Ahora si aplicamos n veces este operador
obtenemos
(L )n Ym = (,
m)Ymn , (9.143)
con
180
esto implica que
= l(l + 1).
Ademas, si l es el valor propio mnimo que puede tener Lz , se tiene
de donde
l(l + 1) l (l 1) = l2 l2 + l + l = (l + l )(l l ) + l + l
= (l + l )(l + 1 l ) = 0. (9.145)
Entonces, l+ = (l + 1) o l = l, claramente el u
nico valor permitido es
l = l y el mnimo valor que puede tomar m es l. As los valores propios
de Lz deben cumplir
l ml l = 0, 1, 2, , l. (9.146)
Claramente hay 2l + 1 funciones propias con el mismo valor propio l(l + 1). Es
decir, para cada propio l(l + 1) hay 2l + 1 funciones que satisfacen
o por
181
9.10. El arm erico Yll (, )
onico esf
En esta seccion obtendremos el armonico esferico Yll (, ) con el cual po-
demos construir el resto de los armonico esfericos. De (9.115) sabemos que
ll eil ll ()
Yll (, ) = (9.150)
2
y de (9.167) tenemos que se debe cumplir L+ Yll (, ) = 0.
L = Lx iLy
= i sin + cot cos i(i) cos cot sin
= ( cos + i sin ) + cot (i cos sin )
= (cos i sin ) + i cot (cos i sin )
= ei + iei cot
= ei + i cot . (9.151)
Por lo tanto,
ll eil ll ()
i
L+ Yll (, ) = e + i cot = 0. (9.152)
2
ll eil sinl
Yll (, ) = . (9.155)
2
182
La constante se determina ll pidiendo la condicion < Yll |Yll >= 1, que es
Z 2 Z
ll eil sinl ll eil sinl
Z
dYll (, )Yll (, ) = d d sin
0 0 2 2
2 Z 2 Z
|ll |
= d d sin2l+1 ei(ll)
2 0 0
Z
= |ll |2 d sin2l+1 = 1,
0
entonces
1
|ll |2 = R . (9.156)
0
d sin2l+1
de donde
n1 1 d
sinn = senn2 sinn1 cos .
(9.157)
n n d
Por lo que,
n1
Z Z
n
d sin = d senn2 . (9.158)
0 n 0
En particular
Z Z Z
2l 2l
d sin2l+1 = d sen 2l1
= d sen2(l1)+1
0 2l + 1 0 2l + 1 0
Z
(2l)(2(l 1))
= d sen2(l2)+1
(2l + 1)(2(l 1) + 1) 0
Z
(2l)(2(l 1))(2(l 2))
= d sen2(l3)+1
(2l + 1)(2(l 1) + 1)(2(l 2) + 1) 0
..
.
(2l)(2(l 1))(2(l 2)) (2(l i))
=
(2l + 1)(2(l 1) + 1)(2(l 2) + 1) (2(l i) + 1)
Z
2(l(i+1))+1
d sen .
0
183
Este proceso se puede hacer hasta que 2(l (i + 1)) + 1 = 1, que implica
l = i + 1, es decir i = l 1. En este caso
Z
(2l)(2(l 1))(2(l 2)) 2
Z
2l+1
d sin = d sen
0 (2l + 1)(2l 1)(2l 3) 3 0
2l (l)(l 1)(l 2) 1
= 2
(2l + 1)(2l 1)(2l 3) 3
2l+1 l!
= ,
(2l + 1)(2l 1)(2l 3) 3
considerando
(2l + 1)(2l)(2l 1)(2(l 1))(2l 3) 3 2
(2l + 1)(2l 1)(2l 3) 3 =
(2l)(2(l 1)) 2
(2l + 1)!
= (9.159)
2l l!
se llega a
22l+1 (l!)2
Z
d sin2l+1 = . (9.160)
0 (2l + 1)!
184
ademas
< L Ylm |L Ylm > = < Ylm |L L Ylm >=< Ylm |L L Ylm >
< Ylm | L2 (L2z Lz ) Ylm >
=
< Ylm | l(l + 1) (m2 m) Ylm >
=
l2 + l m2 m < Ylm |Ylm >
=
l2 m2 + l m = (l m)(l m) + (l m)
=
= (l m)(l m + 1). (9.164)
Por lo tanto,
p
= (l m)(l m + 1). (9.166)
f ()
(sin ) f () = k (sin )k1 (cos )f () + (sin )k
k
f ()
= (sin )k k(cot )f () ,
por lo que
k f ()
(sin ) (sin )k f () = k(cot )f () .
185
Ocupando este resultado se obtiene
ik i
f ()eik
L f ()e = e + i(cot )
i(k1) f ()
= e k(cot )f ()
i(k1) f ()
= e k(cot )f ()
= ei(k1) (sin )(k1) (sin )k f () .
u
Usando esta igualdad y definiendo
k = k 1, g() = (sin )(k1) (sin )k f () ,
u
se encuentra
f ()eik = ()L eik g()
L2
= ()2 ei(k 1) (sin )(k 1) (sin )k g()
u
2 i(k2) (k2)
= () e (sin )
(k1) (k1)
k
(sin ) (sin ) (sin ) f ()
u u
2
= ()2 ei(k2) (sin )(k2) 2 (sin )k f () ,
u
en general se tiene
n
(L )n f ()eik = ()n ei(kn) (sin )(kn) n (sin )k f () . (9.168)
u
186
s
p (2l)!2!
L2 Yll = 2lL Yll1 = (2l)(2l 1)2Yll2 = Yll2 ,
(2l 2)!
s s
(2l)!2! (2l)!2! p
L3 Yll = L Yll2 = (2l 2)3Yll3
(2l 2)! (2l 2)!
s
(2l)!3!
= Yll3,
(2l 3)!
..
.s
(2l)!n!
Ln Yll = Ylln . (9.169)
(2l n)!
Por lo tanto, si n = l m se encuentra
s
(l + m)!
Ylm (, ) = (L )lm Yll (, ). (9.170)
(2l)!(l m)!
Considerando los resultados previos (9.162) y (9.168) para k = l y n = l m
se tiene
s r !
il
(l + m)! (2l + 1)! e
Ylm (, ) = (L )lm sinl
(2l)!(l m)! 4 2l l!
s
(2l + 1)(l + m)! 1 lm il l
= (L ) e sin
4(l m)! 2l l!
s
(2l + 1)(l + m)! 1
= l
(+)lm ei(l(lm))
4(l m)! 2 l!
lm
sinl(lm) lm sinl sinl
s u
(2l + 1)(l + m)! eim m lm 2l
= sin sin .
4(l m)! 2l l! ulm
Note que ninguna propiedad de estas funciones cambia si multiplicamos por un
factor de norma uno, es decir por una potencia de i o de 1. En la literatura
existen diferentes elecciones de este factor, por conveniencia tomaremos ()l .
Entonces, los armonicos esfericos son
s
(2l + 1)(l + m)! eim lm
Ylm (, ) = ()l m 2l
sin sin ,(9.171)
4(l m)! 2l l! ulm
u = cos , l m l.
187
Esta expresion de los armonicos esfericos es com
un en mecanica cuantica, en
la proxima seccion veremos otra que es mas usual en electrostatica.
188
Entonces, tomando en cuenta (9.168) se llega a
s
(l m)!
Yl(m) (, ) = (L )m Yl0 (, ),
(l + m)!
s r !
m
(l m)! d 2l + 1
= ()m eim sinm m Pl (cos )
(l + m)! du 4
s
dm
(2l + 1)(l m)! m im m 2 m
= () e () (1 u ) 2 m Pl (u) .
4(l + m)! du
es decir, si m 0,
s
(2l + 1)(l m)! im m
Ylm (, ) = e Pl (cos ), (9.178)
4(l + m)!
s
(2l + 1)(l m)! im
Yl(m) (, ) = e ()m Plm (cos ). (9.179)
4(l + m)!
Note que
Ylm (, ) = ()m Yl(m) (, ). (9.180)
189
Note que si definimos k = m esta expresion se escribe como
s
(2l + 1)(l k)! ik k
Ylk (, ) = e Pl (cos ), (9.183)
4(l + k)!
es decir
2(l + m)!
Z
d sin Plm m
(cos )Pl (cos ) = l l . (9.185)
0 (2l + 1)(l m)!
190
9.14. Propiedades de los Polinomios de Legen-
dre
Ahora veremos algunas propiedades de los Polinomios de Legendre. Primero
recordemos que se cumple la llamada formula de Rodriguez
1 dl 2
l
Pl (u) = u 1 , (9.188)
2l l! dul
de esta formula se puede ver que los primeros polinomios de Legendre son
P0 (u) = 1. (9.189)
P1 (u) = u, (9.190)
1
3u2 1 ,
P2 (u) = (9.191)
2
1
5u3 3u ,
P3 (u) = (9.192)
2
1
35u4 30u2 + 3 ,
P4 (u) = (9.193)
8
1
63u5 70u3 + 15 .
P5 (u) = (9.194)
8
Para obtener la expresion general de los polinomios de Legendre recordemos
el binomio de Newton
n
n
X n!
(A + B) = Ckn Ank B k , Ckn = . (9.195)
k=0
k!(n k)!
En particular
l
2
X
l(1)k l! 2(lk)
(u 1) = u . (9.196)
k=0
k!(l k)!
191
Para el caso n > m,
dn u m
= 0. (9.197)
dun
De donde
dn u m
m! 1 z0
= umn (m n), (z) = . (9.198)
du n (m n)! 0 z<0
En particular, si l y k son naturales se tiene
dl u2(lk) (2l 2k)! l2k
l
= u (l 2k). (9.199)
du (l 2k)!
As, (10.23) es diferente de cero solo si l 2k 0. Esto quiere decir que el
maximo valor que puede tomar k es l/2. Si l es par, es decir l = 2r entonces
el maximo valor que puede tomar k es r. De donde, k puede tomar los valo-
res (0, 1, 2, 3, , r). Si l es impar l = 2r + 1, entonces el maximo valor que
puede tomar k es r + 1/2, que no es un natural. Como k es natural, en este
caso k solo puede tomar los valores (0, 1, 2, 3, , r). Definiremos [l/2] como el
maximo entero menor o igual a l/2. Entonces, en ambos caso k puede tomar
los valores (0, 1, 2, 3, , [l/2]). Considerando esta definicion, (10.23) se puede
escribir como
dl u2(lk)
(2l 2k)! l2k l
= u k . (9.200)
dul (l 2k)! 2
Por lo que, de (9.196) y (9.200) se tiene
l
1 dl (u2 1)l X (1)k l! dl u2l2k
Pl (u) = l =
2 l! dul k=0
2l l!k!(l k)! dul
l
(1)k (2l 2k)!
X
l2k l
= l k!(l k)!(l 2k)!
u k . (9.201)
k=0
2 2
192
9.14.1. Funci
on generadora
Ahora veremos la funcion generadora de los polinomios de Legendre. Pri-
mero note que u = cos 1 y si 0 < z < 1, entonces z = 1 , con 0 < < 1.
Ademas recordemos que si < 1, entonces se cumplen las series
1 X
= n , (9.204)
1 n0
1 X (2n)! n
= . (9.205)
1 n0
2 (n!)2
2n
Entonces,
X X X 1
2u < 2 + n = 1 + 1 + + n = z + n = z +
n2 n2 n0
1
1
= z+ , (9.206)
z
de donde,
2uz z 2 = z(2u z) < 1. (9.207)
Por lo tanto, considerando (9.205) y el binomio de Newton (9.195) se tiene
1 1 X (2n)!
= p = 2n 2
z n (2u z)n
1 2zu + z 2 1 z(2u z) n0 2 (n!)
X (2n)! Xn
n
= 2n (n!)2
z Ckn (2u)nk (z)k
n0
2 k=0
n
XX (2n)!()k 2nk C n unk k
= z n+k . (9.208)
n0 k=0
22n (n!)2
193
[l/2] k
X X [2(l k)]!()
= zl ul2k , (9.209)
l0 k=0
2l (l k)!k!(l 2k)!
por lo que
de donde
194
Para probar la identidad (9.215) definamos
1 X
W (z, u) = = z l Pl (u), (9.220)
1 2uz + z 2 l0
de donde
W (z, u) (2u + 2z) (u z)W (u, z)
= 2 3/2
= ,
z 2(1 2uz + z ) (1 2uz + z 2 )
es decir,
W (z, u)
(1 2uz + z 2 ) = (u z)W (u, z). (9.221)
z
Ademas
W (z, u) X l1
= lz Pl (u),
z l0
195
Claramente esta igualdad implica (9.215).
por lo que
W (z, u)
(1 2uz + z 2 ) zW (u, z)
u
X dPl (u) X
= (1 2uz + z 2 ) zl z z l Pl (u)
l0
du l0
X dPl (u)
dPl (u)
dPl (u) l+2
l l+1
= z 2u + Pl (u) z + z =(9.225)
0.
l0
du du du
ademas
X dPl (u) X dPl1 (u)
z l+2 = z l+1 . (9.226)
du du
l0 l1
196
Para probar la tercera identidad (9.217) derivaremos con respecto a u a
(9.215), que implica
dPl+1 (u) dPl (u) dPl1 (u)
(l + 1) (2l + 1)Pl (u) (2l + 1)u +l = 0. (9.227)
du du du
Multiplicando por l a (9.216) se encuentra
dPl+1 (u) dPl(u) dPl1 (u)
l l 2u + Pl (u) + l = 0. (9.228)
du du du
Restando (9.227) con (9.228) se consigue (9.217).
197
Ocupando las relaciones de ortonormalidad (9.129) se encuentra
Z
Clm = dYlm (, )F (, ). (9.233)
Por lo tanto, lo que esta dentro del parentesis deber se igual a ( )(uu),
es decir,
m=l
X X
Ylm ( , )Ylm (, ) = ( )(cos cos ). (9.234)
l0 m=l
198
con g(~r) una funcion. Ademas, como
f (~r) = U(~
)U(~ )f (~r ),
)f (~r) = U(~
g(~r) = U(~)U(~
)g(~r) = U(~)g(~r),
se encuentra
(~r) = AU(~
Af )f (~r ) = U(~
)g(~r) (9.236)
que implica
~ se tiene
Considerando que L2 , conmuta con L,
L2 = U(~
)L2 U(~ )L2 U(~
) = U(~ )L2 = L2 ,
Lz = U(~
)Lz U(~
).
(, ) ( , ). (9.238)
199
Por lo tanto, el conjunto de funciones Ylm ( , ) forman una base de funciones
y cualquier funcion G( , ) se puede escribir en terminos de ella
m=l
X X
G( , ) = Clm Ylm ( , ). (9.241)
l0 m=l
Pero como se debe cumplir (9.240) en esta serie solo contribuyen los terminos
que tienen l = l, por lo que
m =l
X
Ylm ( , ) = Clmm Ylm (, ), (9.243)
m =l
con
200
De forma analoga, como ~ es un vector constante, la funcion Ylm (, ) =
U(~ )Ylm ( , ) se puede ver como una funcion que depende de las variables
( , ) por lo que se puede expresar como una serie de armonicos esfericos
con
Por lo tanto,
m =l
X
Ylm (, ) = Clm m Ylm ( , ), (9.251)
m =l
De donde
m=l
X 4
Pl (cos ) = Ylm )Ylm ( , ).
(~ (9.253)
m=l
2l + 1
Es resultado se puede escribir de una forma diferente. Note que al hacer la ro-
tacion de un vector de angulos (, ) a otro de angulos ( , ) se esta haciendo
201
una rotacion al angulo ~ que hacen los dos vectores. Podemos ver al sistema
como compuesto por tres vectores, el eje z, el vector de angulos P1 : (, ) y
el vector de angulos P2 : ( , ). En este sistema hemos obtenido el resultado
(9.253). Ahora, consideremos el sistema S el cual tiene como eje z el vector
que esta en P1 , en ese sistema el eje z esta en los angulos (, ) y el vector
~ . As, en el sistema S se tiene el vector con los angulos
P2 esta en el angulo
P1 = z : (, ) y el vector con los angulos P2 = P2 : (~
), claramente para pasar
del vector P2 al P1 se debe hacer una rotacion con los angulos ( , ). Por lo
tanto, en este sistema la igualdad (9.253) toma la forma
m=l
X 4
Pl (cos ) = Ylm ( , )Ylm (, ). (9.254)
m=l
2l + 1
202
Note que introduciendo (9.257) en la relacion de completez se encuentra
X 4
( )(cos cos ) = Pl (cos ). (9.259)
l0
2l + 1
4 X (r r )
(~r ~r) = r r ).
Pl ( (9.261)
2l + 1 l0 r2
con el angulo entre ~r1 y ~r2 que satisface (9.256). Ahora, si r1 6= r2 definamos
r< = min{r1 , r2 } y r> = max{r1 , r2 }, es claro que
r<
< 1. (9.263)
r>
203
9.17. L2 y el Laplaciano
El espectro de L2 es de vital importancia para la mecanica cuantica y la
electrostatica, pues este operador se esta relacionado con el Laplaciano. En
efecto, ocupando las propiedades de el tensor de Levi-Civita se tiene
L2 = Li Li = (ijk xj pk ) (ilm xl pm ) = ijk ilm xj pk xl pm
= jki ilm xj (xl pk ilk ) pm = (jl km jm kl ) (xj xl pk pm ixj lk pm )
= jl km xj xl pk pm jm kl xj xl pk pm ijl km xj lk pm + jm kl xj lk pm
= xj xj pk pk xm xl pl pm ixk pk + ikk xl pl
= (~r)2 (~p)2 xm~r ~ppm i~r ~p + 3i~r ~p. (9.265)
Ademas, como
xm~r p~pm = xm xl pl pm = xm xl pm pl = xm (pm xl + iml ) pl
= xm pm xl pl + ixm ml pl = (~r ~p) (~r ~p) + i (~r p~) . (9.266)
Por lo tanto
L2 = (~r)2 (~p)2 (~r p~)2 + i~r p~. (9.267)
~ se tiene
Considerando que p~ = i
1
(~p)2 = 2 = 2 (~r p~)2 i~r p~ + L2
r
1 ~
2
~
2
= 2 i~r i i~r + L , (9.268)
r
es decir,
2 1 2
~ + ~r
~ L .
2
= 2 ~r (9.269)
r
~ en coordenadas esfericas, se tiene
En particular, tomando
2 !
1 ~ 2 ~ 1 1 2
~r + ~r = 2 r +r = 2 r .(9.270)
r2 r r r r r r
Por lo tanto,
21 2 1
= 2 r 2 L2 . (9.271)
r r r r
Posteriormente ocuparemos este resultado para atacar problemas de electrostati-
ca y mecanica cuantica.
204
9.18. Paridad
La transformacion de paridad esta definida por
205
Captulo 10
Ecuaci
on de Laplace en
coordenadas esf
ericas
Con los resultado del captulo anterior podemos resolver una gran canti-
dad de problemas. En particular, podemos resolver la ecuacion de Laplace en
coordenadas esfericas
L2
2 1 2
= 2 r 2 = 0. (10.1)
r r r r
Propondremos como solucion a (r, , ) = R(r)Ylm (, ), de donde
R(r)L2 Ylm (, )
2 1 2 R(r)
(r, , ) = 2 r Ylm (, )
r r r r2
1 R(r) R(r)l(l + 1)Ylm (, )
= Ylm (, ) 2 r2
r r r r2
Ylm (, ) 2 R(r)
= r R(r)l(l + 1) = 0, (10.2)
r2 r r
por lo que R(r) debe satisfacer
d 2 dR(r)
r R(r)l(l + 1) = 0. (10.3)
dr dr
Para resolver esta ecuacion haremos la propuesta R(r) = a r , entonces
d 2 dr d 2 1 d +1
r = r r = r = ( + 1)r , (10.4)
dr dr dr dr
sustituyendo este resultado en (10.3) se encuentra
r (( + 1) l(l + 1)) = 0, (10.5)
206
es decir
( + 1) l(l + 1) = 2 l2 + l = ( + l)( l) + ( l)
= ( + l + 1)( l) = 0, (10.6)
Este resultado tiene varias aplicaciones. Por ejemplo, las leyes de la electrostati-
~ satisface las leyes
ca nos dicen que el campo electrico, E,
~ E(~
~ r) = 4(~r),
~ E(~
~ r ) = 0. (10.10)
esta es la llamada ecuacion de Poisson. Note que (~r) solo es diferente de cero
donde hay carga, fuera de la region donde hay carga se tiene (~r) = 0. Por lo
tanto la ecuacion de Poisson (10.11) se convierte en la ecuacion de Laplace
2 (~r) = 0, (10.12)
207
10.0.1. Problema de la esfera
Supongamos que tenemos un sistema que consta de una esfera de radio R
que esta al potencial V (, ) en su fronterea y que el potencial es finito en
cualquier punto del espacio. El problema consiste en calcular el potencial en
todo el espacio, tanto dentro como fuera de la esfera.
y en el exterior, r > R,
l l+1
X X R
ext (r, , ) = Blm Ylm (, ).
r
l0 m=l
por lo que
Z
Alm =< Ylm (, )|V (, ) >= dYlm (, )V (, ). (10.15)
208
10.0.2. F
ormula de Poisson
Por otros metodos se puede mostrar que la solucion de la ecuacion de
Laplace en coordenadas esfericas con la condicion de borde
(r = R, , ) = V (, ) (10.18)
es
R(R2 r 2 ) V ( , )
Z
(r, , ) = d 3 (10.19)
4 (r 2 + R2 2Rr cos ) 2
Mostrar que esta solucion es consistente con las soluciones (10.16) y (10.17).
Note que
R(R2 r 2 ) V ( , )
Z
(r, , ) = d 3
4 (r 2 + R2 2Rr cos ) 2
R R(R r cos ) r(r R cos )
Z
= () d V ( , ) 3
4 (r 2 + R2 2Rr cos ) 2
R R(R r cos ) r(r R cos )
Z
= () d V ( , ) 3 3
4 (r 2 + R2 2Rr cos ) 2 (r 2 + R2 2Rr cos ) 2
R 1
Z
= () d V ( , )() R
4 R r 2 + R2 2Rr cos
1
r
r r 2 + R2 2Rr cos
R 1
Z
= () d V ( , ) R r
4 R r r 2 + R2 2Rr cos
V ( , )
Z
R
= () R r d .
4 R r r 2 + R2 2Rr cos
209
Definiendo r> =menor{r, R}, r< =mayor{r, R} y considerado la funcion gene-
ratriz de los polinomios de Legendre, junto con el teorema de adicion de los
armonico esfericos se llega a
V ( , )
Z
R
(r, , ) = () R r d p
4 R r r<2 + r 2 2r r cos
> < >
Z
R V ( , )
= () R r d r
4 R r 2
r> 1 + rr>< 2 rr<> cos
R
Z X r< l
1
= () R r d V ( , ) Pl (cos )
4 R r r> l0 r>
Z
R
= () R r d V ( , )
4 R r
l l
X X 4 1 r<
Ylm ( , )Ylm (, )
l0 m=l
2l + 1 r> r>
l l !
X X ()R 1 r<
= R r Ylm (, )
2l + 1 R r r> r>
l0 m=l
Z
d Ylm
( , )V ( , )
l l !
X X ()R 1 r<
= R r Alm Ylm (, ) (10.20)
l0 m=l
2l + 1 R r r > r >
con
Z
Alm = dYlm (, )V (, ).
X X l r l
int (r, , ) = Alm Ylm (, )
l0 m=l
R
210
que coincide con (10.16).
211
Con el cambio de variable u = cos se tiene
V0 0u1
V (u) = (10.23)
V0 1 < u 0
y
p Z 1
Al = (2l + 1) duPl (u)V (u). (10.24)
1
Considerando la identidad
1 d
P2l+1 (u) = P2(l+1) (u) P2l (u), (10.25)
4l + 3 du
y los valores de los polinomios de Legendre en 1 y en cero se llega a
1
Z 1
1
duP2l+1(u) = P2(l+1) (u) P2l (u)
0 4l + 3 0
1
= P2(l+1) (0) P2l (0)
4l + 3
()l+1 (2(l + 1))! ()l (2l)!
1
= 2l 2
4l + 3 22(l+1) ((l + 1)!)2 2 (l!)
l
(1) (2l + 2)(2l + 1) (2l)! (2l)!
= +
4l + 3 22 (l + 1)2 22l (l!)2 22l (l!)2
(1)l (2l)!
(2l + 2)(2l + 1)
= +1
4l + 3 22l (l!)2 22 (l + 1)2
(1)l (2l)!
2(l + 1)(2l + 1)
= +1
4l + 3 22l (l!)2 22 (l + 1)(l + 1)
(1)l (2l)!
4l + 3
=
4l + 3 22l (l!)2 2(l + 1)
(1)l (2l)!
= 2l 2 . (10.26)
2 (l!) 2(l + 1)
212
Entonces
p
V0 (4l + 3)(1)l (2l)!
A2l+1 = , (10.27)
22l (l!)2 (l + 1)
que implica
X
V () = A2l+1 Y2l+10 (, )
l0
p r
X V0 (4l + 3)(1)l (2l)! (4l + 3)
= Pl (cos )
l0
22l (l!)2 (l + 1) 4
X (1)l (4l + 3)(2l)!
= V0 P2l+1 (cos ), (10.28)
l0
22l+1 (l!)2 (l + 1)
de donde
X (1)l (4l + 3)(2l)! r 2l+1
int (r, ) = V0 P2l+1 (cos ),
l0
22l+1 (l!)2 (l + 1)
R
X (1)l (4l + 3)(2l)! R 2(l+1)
ext (r, ) = V0 2l+1 (l!)2 (l + 1)
P2l+1 (cos ), (10.29)
l0
2 r
Por lo que
l
X X
(R, , ) = (alm + blm ) Ylm (, ) = 0,
l0 m=l
213
Por lo tanto, la solucion general a este problema es
l
!
X X r l R l+1
(r, , ) = alm Ylm (, ). (10.32)
l0 m=l
R r
214
es decir
a1 = E0 R. (10.38)
215
Antes de continuar escribamos el potencial (10.41) de una forma mas sugerente,
como cos 2 = cos2 sen2 = 2 cos2 1, entonces
V () = V0 cos + 3 cos2 .
(10.44)
Considerando que
1
P0 (u) = 1, P1 (u) = u, P2 (u) = (3u2 1), (10.45)
2
se encuentra
2 1
u2 = P2 (u) + P1 (u), (10.46)
3 3
as,
a0 = V0 , , a1 = V0 , a2 = 2V0 . (10.48)
216
anillo, dq = Rd, que esta en la posicion ~rq = (R cos , R sin , h) contribuye
con el potencial
dq Rd Rd
d(r = z, = 0) = =p =
|z k ~rq | R2 + (z h)2 R2 + h2 + z 2 2hz
de donde
2R
(r = z, = 0) = .
R2 + h2 + z 2 2hz
Este potencial se puede poner de forma mas sugerente. En efecto, si es el
angulo que hace el eje z con un vector que une
el origen y un punto del anillo,
entonces R = c sin y h = c cos , con c = R2 + h2 . Por lo que,
2R
(r = z, = 0) = .
c2 + z 2 2cz cos
Si definimos a r< =menor{r, c} y r> =mayor{r, c} se llega a
2R
(r = z, = 0) = r 2
r<
r> 1 + r> 2 rr<> cos
l
2R X r<
= Pl (cos )
r> l0 r>
l
X r<
= 2RPl (cos ) l+1
. (10.49)
l0
r>
Si r < c se tiene
X rl
int (r = z, = 0) = 2RPl (cos ) , (10.50)
l0
cl+1
217
Igualando esta solucion con (10.51) se llega a Bl = 2Rcl Pl (cos ). Por lo
que, si r > c, la solucion es
X 2Rcl Pl (cos )
ext (r, ) = Pl (cos ). (10.53)
l0
r l+1
2R
Igualando esta solucion con (10.50) se encuentra Al = P (cos ).
cl+1 l
De donde,
si r > c, la solucion es
X 2RPl (cos )
int (r, ) = r l Pl (cos ). (10.55)
l0
cl+1
218
donde r> =mayor{r, R} y r< =menor{r, R}. Por lo que
X rl
<
d(r = z, = 0) = P (cos )R2 sin d d ,
l+1 l
(10.57)
r
l0 >
X rl Z
<
= 2R2 l+1
Pl (cos ) sin d .
l0 >
r
219
10.3. Disco a potencial constante
Supongamos que tenemos un disco de radio R que esta en el plano x y
centrado en el origen y que tiene potencial constante V. Con la informacion de
que en el disco el campo electrico es proporcional a
4
p (10.61)
R2 2
~ = 4
X
E ()l P2l (0)
e , e = (cos , sin , 0), (10.64)
R
l0
220
por lo que
Z 1 Z 1 X X ()l
1
d p = d ()l 2l P2l (0) = P2l (0) = . (10.67)
0 1 2
0 l0 l0
2l + 1 2
Ahora,
X Al (l + 1)Rl+1
~ ) = (r,
E(r, ~ ) = Pl (cos )
er
l0
r l+2
l+1
1 R dPl (cos )
+ Al e .
r r d
de donde
X Al R l+1
~ ) =
E(r, (l + 1)Pl (cos )
er
l0
r r
dPl1(u)
+ sin u + lPl1 (u) e .
du
En el plano x y, es decir = 2
se tiene
er | 2 = (cos , sin , 0) = e ,
e | = (0, 0, 1) = k.
2
Entonces
~ R, =
X Al h i
E = (l + 1)Pl (0)e lPl1 (0)k
2 l0
R
4 X
= ()l P2l (0)
e , (10.69)
R l0
que implica
Al
lPl1 (0)k = 0,
X
(10.70)
l0
R
221
de donde
A2l+1 = 0. (10.71)
~
X A2l 4 X
E R, = = (2l + 1)P2l (0)
e = ()l P2l (0)
e ,
2 l0
R R l0
que induce
()l 4
A2l = . (10.72)
2l + 1
As el potencial exterior tiene la forma
X ()l R 2l+1
ext(r, ) = 4 P2l (cos ), (10.73)
l0
2l + 1 r
10.4. Distribuci
on de carga continua
Supongamos que se tiene una partcula puntual de carga q en la posicion ~r ,
entonces segun las leyes de la electrostatica el potencial electrico en el punto
~r esta dado por
q
(~r) = . (10.77)
|~r ~r |
222
Ahora, si se tiene una densidad de carga (~r) en un volumen, V, cada elemento
de carga dq(~r) = (~r)d~r contribuye al potencial en el punto ~r con
dq(~r ) (~r )d~r
d(~r) = = , (10.78)
|~r ~r | |~r ~r |
por lo tanto, el potencial total en el punto ~r es
(~r )
Z
(~r) = d~r . (10.79)
|~r ~r |
Sea el angulo entre los vectores
~r = r(sin cos , sin sin , cos ), ~r = r (sin cos , sin sin , cos )
tambien definamos r< =menor{r, r }, r> =mayor{r, r }, entonces
1 1 1
= =p
|~r ~r | r 2 + r 2 2rr cos 2 + r 2 2r r cos
r> < < >
l
1 1 X r<
= r = Pl (cos )
2
r<
r<
r< l0 r>
r< 1 + r> 2 r> cos
l l
X X 4 1 r<
= Ylm ( , )Ylm (, ).
l0 m=l
2l + 1 r< r>
Por lo que
(~r )
Z
(~r) = d~r
|~r ~r |
l l !
4 1 r<
Z X X
= d~r (~r ) Ylm ( , )Ylm (, )
2l + 1 r< r>
l0 m=l
l
X X 4Ylm(, ) Z l
1 r<
= d~r Ylm ( , )(~r ). (10.80)
l0 m=l
2l + 1 r< r>
223
Si r < r , se llega a
l
X X 4 l
ext (~r) = r qlm Ylm (, ),
l0 m=l
2l + 1
con
1
Z
qlm = d~r
Ylm ( , )(~r ). (10.82)
r l+1
Entonces, el potencial de cualquier distribucion de carga continua se puede
expresar en terminos de armonicos esfericos.
Como solo hay carga en el radio R, las distrucion de carga se puede escribir
como
Ademas considerando
r r
3 3
Y10 (, ) = P1 (cos ) = cos (10.85)
4 4
se encuentra
r
4
(~r) = (r R)0 Y10 (, ). (10.86)
3
Introduciendo este resultado en (10.81) y (10.82)
r
4
Z
l
Qlm = d~r r Ylm ( , )(r R)0 Y10 ( , )
3
r Z
4
Z
= 0 dr r 2 r l (r R) d Ylm
( , )Y10 (, )
3
224
r r
4 l+2 4 3
= R 0 l1 m0 = R 0 l1 m0 ,
3 3
1
Z
qlm = d~r l+1 Ylm
( , )(~r )
r
r
1 4
Z Z
2
= dr r d l+1 Ylm ( , )(r R)0 Y10 ( , )
r 3
r r
4 1 4
= l1
0 l1 m0 = 0 l1 m0 .
3 R 3
Es decir, los u
nicos coeficientes Qlm y qlm diferentes de cero son
r r
4 3 4
Q10 = R 0 , q10 = 0 .
3 3
Por lo que los potenciales son
4 Q10 Y10 (, ) 4
ext (r, ) = , int (r, ) = rq10 Y10 (, ),
3 r2 3
es decir
4R3 0 cos
ext (r, ) = ,
3 r2
4 4
int (r, ) = 0 r cos = 0 z. (10.87)
3 3
~ B
~ = 0, ~ = 4 J.
~ B ~ (10.88)
c
La densidad de corrientes se define como J~ = (~r)V~ (~r). Donde (~r) es la den-
sidad de carga y V~ (~r) es la velocidad de las partculas cargadas.
1
Z ~ r)
J(~
~
A(~r) = d~r . (10.89)
c |~r ~r |
En la siguientes secciones veremos dos ejercicios relacionados con este tema.
225
10.5.1. Esfera rotante
Supongamos que tenemos una esfera de radio R con densidad de carga su-
perficial constante 0 , si la esfera rota con velocidad constante , encuentre el
potencial vectorial y el campo magnetico.
V~ = R sin
e (10.91)
Ademas, sabemos que cualquier vector en dos dimensiones (x, y) se puede es-
cribir como el n
umero complejo z = x+iy, en particular e = ( sin , cos , 0)
se puede escribir como
entonces
V~ = iR sin ei . (10.93)
226
r l l
iR3 0 8 4 r<
Z X X
= d Y11 ( , ) Y ( , )Ylm (, )
l+1 lm
c 3 l0 m=l
2l + 1 r >
r l
iR3 0 8 X X 4 r< l Z
= Y (, ) d Ylm
l+1 lm
( , )Y11 ( , )
c 3 l0 m=l 2l + 1 r>
r l l
iR3 0 8 X X 4 r<
= Y (, )l1 m1
l+1 lm
c 3 l0 m=l 2l + 1 r>
r r r
iR3 0 8 4 r< iR3 0 8 4 r< 3
= 2
Y11 (, ) = 2
() sin ei
c 3 3 r> c 3 3 r> 8
R3 0 4 r< i 40 R3 r<
= 2
sin ie = 2
sin
e . (10.97)
c 3 r> 3c r>
As,
~ r) = A e , 40 R3 r<
A(~ A = 2
sin . (10.98)
3c r>
Como A no depende de , el campo magnetico es
1
Br = (sin A ) ,
sin
1
B = (rA ) ,
r r
B = 0. (10.99)
Por lo tanto,
80 R3 r<
Br = 2
cos (10.100)
3c r>
Si r < R se tiene
80 R
B(int) = sin , (10.101)
3c
mientras que si r > R, se llega a
40 R4
B(ext) = sin . (10.102)
3cr 3
Note que
227
es decir el campo magnetico en el interior de la esfera es constante y apunta
en la direccion del eje de la rotacion de la esfera.
El n
ucleo de la tierra es metalico y tiene cierta carga, por lo que al girar
produce un campo magnetico. En este sentido la esfera cargada rotante es un
modelo simplificado para explicar el campo magnetico terrestre.
~ I
J(~r) = (r R) e . (10.104)
R 2
Ahora, como cualquier vector en dos dimensiones, (x, y), se puede escribir como
un n
umero complejo, z = x + iy. En particular e = ( sin , cos , 0) se puede
reprensentar como e = sin + i cos = i(cos + i sin ) = iei , por lo que
~ I i
J(~r) = (r R) ie . (10.105)
R 2
Definamos r> =mayor{R, r}, r< =menor{R, r}, entonces el potencial vectorial
es
i
iI (r R) e
Z
~ r) =
A(~ 2
r 2 dr d
cR |~r r |
Z X X l l
iI 4 r<
= Y ( , )Ylm (, )
l+1 lm
cR l0 m=l
2l + 1 r >
i 2
(r R) e r dr d
2
l l
iI X X 4 r< i
Z
2
= l+1
R Y lm (, ) Y lm ( , ) e d .
cR l0 m=l 2l + 1 r> 2
228
s
2
(2l + 1)(l m)! m
Z
= Pl cos d eim ei
4(l + m)! 2 0
s
(2l + 1)(l m)! m
= Pl (0) 2m1
4(l + m)!
s
(2l + 1)(l m)! m
= Pl (0) 2m1
4(l + m)!
= Ylm , 0 2m1 . (10.106)
2
Como m debe cumplir que m l, entonces l 1. As, ocupando las propie-
dades de los armonicos esfericos y de los polinomios asociados de Legendre, se
encuentra
2 X 1 rl
~ r) = 8 iIR
<
A(~ Y
l+1 l1
(, )Y l1 , 0
c l1
2l + 1 r> 2
s !2
2 l
8 IR X 1 r< (2l + 1)(l 1)!
= l+1
Pl1 (cos )Pl1(0)iei
c l=1
2l + 1 r> 4(l + 1)!
l
2IR X (l 1)! r<
= l+1 l
P 1 (cos )Pl1 (0)e
c l1 (l + 1)! r>
2l
2IR X (2l)! r< 21+1 ()l+1 (2l + 1)!
= 2l+2
P l (cos ) e
c l1 (2l + 2)! r> 22l (l!)2
2IR X ()l+1 (2l)! r< 2l
= P 21+1 (cos )
2l+2 l
e . (10.107)
c l1 22l+1 (l + 1)!l! r>
1
Br = (sin A ) ,
sin
1
B = (rA ) ,
r r
B = 0. (10.109)
229
Con el cambio de variable u = cos se tiene
1 A 1
= sin , = ((1 u2 ) 2 A ) (10.110)
u sin u
Ademas, como
dPl (u)
1 d 2 dPl (u)
Pl1 (u) = (1 u ) 2 2 , (1 u ) + l(l + 1)Pl (u) = 0,
du du du
se llega a
1
Br = (sin A ) ,
sin
2l
IR X ()l+1 (2l)! r<
= 2l+2
(2l + 1)(2l + 2)P 21+1 (cos )
c 22l (l + 1)!l! r>
l1
2l
2IR X ()l (2l + 1)! r<
= 2l 2 2l+2
P 21+1 (cos ).
c 2 (l!) r>
l1
~ =
B ~ m (~r). (10.112)
230
~ B
Al introducir esta ecuacion en ~ = 0 se llega a la ecuacion de Laplace
2 m (~r) = 0, (10.113)
Ademas, se puede mostrar que si la corriente circula por una curva cerrada
el potencial escalar magnetico es
I
I (~r ~r )
n
m (~r) = da . (10.114)
c a |~r ~r |3
Adicionalmente, los puntos del crculo que encierra al anillo de corriente son
de la forma
I 2 R
k ((x, y, z) r (cos , sin , 0))
Z Z
m (~r) = d r dr p 3 ,
c 0 0 2 2
r + r 2rr sin cos( )
2 R
I zr
Z Z
= d dr p 3 .
c 0 0 2 2
r + r 2rr sin cos( )
231
Si = 0, es decir, si el punto de observacion esta sobre el eje z, la integral se
simplifica notablemente y se encuentra
I 2 R rr
Z Z
m (0, 0, z = r) = d dr 3
c 0 0 r 2 + r 2
2Ir R r 2Ir R d
1
Z Z
= dr 3 = dr
c 0 r 2 + r 2 c 0 dr r 2 + r 2
2Ir 1 R 2Ir 1 1
= =
c r 2 + r 2 0 c r 2 + R2 r
2I 2I r
= + . (10.117)
c c r + R2
2
Por lo tanto,
2l
2I X 2I r r<
m (0, 0, r) = P2l (0). (10.118)
c l0
c r> r>
2IR2l
X 1
= P2l (0) 2l . (10.120)
l1
c r
232
Ahora, seg un la solucion general de la ecuacion de Laplace en coordenadas
esfericas, si r < R el potencial debe ser de la forma
X
m(int) (r, ) = Al r l Pl (cos ). (10.121)
l0
As, los u
nicos coeficientes de diferentes de cero son
2I 2I
A0 = , A2l+1 = P2l (0). (10.123)
c cR2l+1
entonces, si r < R se tiene el potencial
2I 2I X r 2l+1
m(int) (r, ) = P2l (0) P2l+1 (cos ) (10.124)
c c l0 R
Por lo tanto,
2IR2l
B2l = 0, B2l1 = P2l (0). (10.127)
c
233
Entonces, si R < r se tiene el potencial
2l
2I X R
m(ext) (r, ) = P2l (0) P2l1 (cos )
c l1 r
2(l+1)
2I X R
= P2(l+1) (0) P2l+1 (cos ). (10.128)
c l0 r
mientras que
m(ext) (r, ) 2I X R2l+2
Br(ext) = = P2(l+1) (0)()2(l + 1) 2l+3 P2l+1 (cos )
r c l0 r
2IR X ()l+1 (2l + 2)! R2l+1
= P2l+1 (cos )
cr l0 22l+2 (l + 1)!2 r 2l+2
2IR X ()l+1 (2l + 2)!()2(l + 1) R2l+1
= P2l+1 (cos )
cr 22l+2 (l + 1)!2 r 2(l+1)
l0
234
que coincide con los resultados de la seccion anterior .
y
2l+2
1 m(ext) (r, ) 2I X R 1
B(ext) = = P2l+2 (0) P2l+2 (cos )
r cr l0 r
2(l+1)
2I X ()l+1 (2l + 2)! R 1
= 2l+2 2
P2l+1 (cos )
cr l0 2 (l + 1)! r
2(l+1)
2I X ()l+1 (2l + 1)!2(l + 1) R 1
= P2l+1 (cos )
cr l0 22l+2 (l + 1)!(l + 1)! r
2(l+1)
I X ()l+1 (2l + 1)! R 1
= P2l+1 (cos ). (10.132)
cr l0 22l (l + 1)!l! r
235
Captulo 11
Atomo de Hidr
ogeno
11.1.
Atomo de Hidr
ogeno
La ecuacion de Schrodinger para una partcula en un campo central es
= E,
H = 1 P 2 + V (r),
H P = i~,
~ (11.1)
2m
de donde
~2 2
+ V (r) = E. (11.2)
2m
Anteriormente vimos que las soluciones de la ecuacion de Schrodinger con
sentido fsico forman un conjunto ortonormal. Es decir, si
= E ,
H y = E ,
H (11.3)
entonces
236
donde se cumple
L2 Ylm (, )
2 Ylm (, ) 2 R(r)
(r, , ) = r R(r)
r2 r r r2
Ylm (, ) R(r) R(r)l(l + 1)Ylm (, )
= 2
r2
r r r r2
1 2 R(r) l(l + 1)R(r)
= Ylm (, ) 2 r ,
r r r r2
entonces
~2 2
H(r, , ) = (r, , ) + V (r)(r, , )
2m
~2 1
2 R(r) l(l + 1)R(r)
= Ylm (, ) r + V (r)R(r)
2m r 2 r r r2
= E(r, , ) = Ylm (, )ER(r).
~2
1 2 R(r) l(l + 1)R(r)
r + V (r)R(r) = ER(r), (11.8)
2m r 2 r r r2
237
Supongamos que tenemos un potencial que cerca del origen a lo mas diverge
como V 1 y en infinito tiende a cero. Entonces cerca del origen (11.10)
tiene la forma sintotica
1 d 2 dR() l(l + 1)
2
R() 0. (11.11)
d d 2
Para resolver esta ecuacion proponemos R() = , que al ser sustituida en
(11.11) se encuentra
(( + 1) l(l + 1)) = 0,
lo cual implica
(( + 1) l(l + 1)) = 2 l2 + l = ( + l) ( l) + l
= ( l) ( + l + 1) = 0. (11.12)
R() l , 1. (11.14)
d2 R() 2 dR() 1
1 d 2 dR() 1
R() = + R()
2 d d 4 d2 d 4
2
d R() 1
R() 0,
d2 4
que tiene las soluciones,
R() e 2 , R() e 2 .
238
Note que u() debe ser una funcion tal que R( 1) l , esto implica que
u(0) = a0 6= 0. Ademas, si debe ocurrir que e 2 u() 0, por lo tanto
en infinito la funcion u() debe ser dominada por e 2 .
239
y
d2 R() d2 l e 2 d l e 2 du() 2
l 2 d u()
= u() + 2 + e
d2 d2 d d d2
2
l l l 1 l 1 du()
= l e 2 2
+ u() + 2l e 2
4 2 d
2
d u()
+l e 2
d2
2 2
l 2 d u() l 1 du() l l l 1
= e +2 + + u() .
d2 2 d 2 4
por lo que
d2 u()
l + 1 1 du()
+2
d2 2 d
2
l + l l(l + 1) (l + 1)
+ + u() = 0,
2 2
d2 u()
2(l + 1) du() (l + 1)
+ 1 + u() = 0. (11.20)
d2 d
que debe cumplir u(0) = a0 6= 0 y si , entonces u()e 2 0.
240
Para la propuesta de solucion se tiene
u() X du() X
= an n1 , = an nn1 ,
n0
d n0
d2 u() X
= an n(n 1)n2 ,
d2 n0
entonces
d2 u() 2(l + 1) du() X
+ = an n (n 1 + 2l + 2) n2
d2 d n0
X
= an n (n + 2l + 1) n2
n1
X
= an+1 (n + 1) (n + 2l + 2) n1 ,
n0
du() (l + 1) X
+ u() = an ( (n + l + 1))n1 .
d n0
as
an+1 (n + 1) (n + 2l + 2) + an ( (n + l + 1)) = 0,
que implica
an+1 n+l+1
= . (11.21)
an (n + 1) (n + 2l + 2)
Si los terminos que contribuyen son los mas grandes, es decir los que
cumplen n 1, en este caso se encuentra
an+1 n 1
= .
an nn n
Note que cuando n es muy grande la serie exponencial
X X n
e = bn n = ,
n0 n0
n!
241
tiene un comportamiento similar
bn+1 1 1
= .
bn n+1 n
Por lo que si , entonces u() e . Este comportamiento no es per-
mitido pues si , entonces u()e 2 . Para que u() no tenga ese
comportamiento, no dejaremos que su serie pueda tomar valores grandes de n.
Esto quiere decir que u() no puede ser una serie, sino un polinomio. Para que
esto suceda despues de cierto n umero todos los coeficientes de la serie deben
ser nulos. De la relacion (11.21) es claro que esto se logra si despues de cierto
n
umero an+1 = 0, que se cumple solo si
n + l + 1 = 0. (11.22)
dfn (x)
2
d Ln (x) dLn (x) dLn (x)
1
= x + Ln (x) + (n + + 1 x)
dx n+1 dx2 dx dx
242
2
dLn (x) dLn (x)
1 d Ln (x)
= x + ( + 1 x) + (n + 1) Ln (x)
n+1 dx2 dx dx
dLn (x) dLn (x)
1
= (n + 1) (n + 1)Ln (x) = Ln (x),
n+1 dx dx
d2 fn (x) d2 Ln (x) dLn (x)
= .
dx2 dx2 dx
Por lo que
es decir
d2 fn (x) dfn (x)
+ ( + 1 x) + (n + 1)fn (x) = 0.
dx2 dx
Esto nos indica que si Ln (x) es solucion de la ecuacion de Laguerre, entonces
fn (x) tambien es solucion de la ecuacion de Laguerre donde se ha cambiado n
por n + 1. As podemos llamar Ln+1 (x) a fn (x), es decir
dLn (x)
1
Ln+1 (x) = x + (n + + 1 x) Ln (x) . (11.28)
n+1 dx
Esta relacion es muy u
til, pues nos dice que basta resolver un caso para obtener
todos los demas.
243
dL
0 (x)
Definiendo U(x) = dx
se tiene la ecuacion
dU(x) +1
+ 1 V (x) = 0, (11.30)
dx x
cuya solucion es
ex
U(x) = A +1 , A = constante. (11.31)
x
Si A 6= 0, esta solucion no es un polinomio, por lo que no nos ayuda a resolver
el problema del atomo de Hidrogeno. As el u nico caso que podemos tomar es
U(x) = 0, que implica L0 (x) = constantee. Tomaremos
L0 (x) = 1. (11.32)
ex x dn x n+
Ln (x) = e x . (11.33)
n! dxn
Probaremos esta afirmacion por induccion, es claro que se cumple la igualdad
para el caso n = 0, para el paso inductivo ocuparemos la igualdad
n
dn dnk A dk B
X n!
(AB) = Ckn , Ckn = . (11.34)
dxn k=0
dxnk dxk k!(n k)!
ex x dn+1 x (n+1)+
e x = Ln+1 (x). (11.35)
(n + 1)! dxn+1
244
ex x d x
= x e x Ln (x) + Ln (x)
(n + 1) dx
ex x
x 1 x x dLn (x)
= x ()e x Ln (x) + x e Ln (x) + x e
(n + 1) dx
+Ln (x)
dLn (x)
1
= x + (n + 1 + x)Ln (x)
n+1 dx
= Ln+1 (x),
considerando la igualdad (11.28) se llega a (11.35). Por lo tanto, (11.33) se
cumple para cualquier n.
es decir,
n
X (n + )!
Ln (x) = (x)k . (11.38)
k=0
k!(n k)!(k + )!
11.2. Funci
on de onda
Reuniendo los resultados de la seccion anterior, encontramos que la funcion
de que onda del atomo de hidrogeno es
nlm (, , ) = Al L2l+1
n ()e 2 Ylm (, ),
Ze2 2~2
Enl = , a RB = , (11.39)
aRB (n + l + 1)2 Zme2
245
con A una constante de normalizacion. Considerando que N = n + l + 1, es
mas conveniente escribir la funcion de onda de la forma
N lm (, , ) = Al L2l+1
N (l+1) ()e
2
Ylm (, ),
Ze2
EN = , N = n + l + 1.
aRB N 2
246
Captulo 12
Ecuaci
on de Helmholtz
La ecuacion de Helmholtz es
2 + k 2 (r, , ) = 0,
(12.1)
L2 (r, , )
1 2 (r, , ) 2
r + k (r, , ) = 0,
r 2 r r r2
1 2
2 1
L = sin + ,
sin sin2 2
con L2 Ylm (, ) = l(l + 1)Ylm (, ). Por lo que, para resolver (12.1) propondre-
mos la funcion (r, , ) = R(r)Ylm (, ). Como la funcion R(r) solo depende
de r mientras que L2 y Ylm (, ) solo dependen de los angulos, la ecuacion de
Helmholtz toma la forma
2 + k 2 (r, , )
1 2 R(r) l(l + 1)R(r) 2
= Ylm (, ) 2 r + k R(r) = 0,
r r r r2
247
u(r)
Tomaremos la propuesta R(r) = ,
r
de donde
dR(r) d u(r) 1 du(r) 1 1 du(r) 1
= = u(r) = u(r) ,
dr dr r r dr 2r r r dr 2r
dR(r) d u(r) 1 du(r) r
r2 = r2 = r2 u(r) ,
dr dr r r dr 2
2
d 2 dR(r) d 2 d u(r) 1 2 d u(r) du(r) 1
r = r = r +r u(r) .
dr dr dr dr r r dr 2 dr 4
En lugar de J(l+ 1 ) (kr) podemos tomar las funciones de Nuemman Nl+ 1 (kr).
2 2
Ademas, considerando la definicion de R(r) y de las funciones esfericas de
Bessel se tiene
la solucion general es
m=l
X X
(r, , ) = (alm jl (kr) + blm nl (kr)) Ylm (, ). (12.6)
l0 m=l
248
12.1. Aplicaciones
Una partcula cuantica esta encerrada en una esfera de radio R, encuentre
la funcion de onda del sistema.
2mE
2 + k 2 = 0, k2 =
, (12.8)
~2
que es la ecuacion de Helmholtz. Como la probabilidad de encontrar la partcu-
la dentro de la esfera debe ser finita y las funciones de Neumman divergen en el
origen, las soluciones ascepatables son de la forma jl (kr). Ademas, la funcion
de onda se debe anular en la frontera, por lo que
jl (kR) = 0, (12.9)
~2 2ln
Eln = (12.10)
2mR2
249
Para mostrar este resultado ocuparemos dos identidades que se deducen de
(5.35)-(5.36)
dJ (dz) 1
= (J1 (z) J+1 (z)) , (12.12)
z 2
J (z) 1
= (J1 (z) + J+1 (z)) . (12.13)
z 2
Otro resultado de utilidad es
!
Jl+ 1 () Jl+ 1 ()
2 2
(2l + 1) = (l + 1)Jl+ 3 () lJl 1 () , (12.14)
2 2 2
(2l + 1) 1
= J 1 () + Jl+ () Jl () Jl+ ()
3 1 3
2 (2l + 1) l 2 2 2 2
(2l + 1) h i
= Jl 1 () + Jl+ 3 () (2l + 1) Jl 1 () Jl+ 3 ()
2(2l + 1) 2 2 2 2
1
= 2(l + 1)Jl+ 3 () 2lJl 1 () = (l + 1)Jl+ 3 () lJl 1 () .
2 2 2 2 2
es decir
1 21
2
Z
dzeiz P0 (z) = J 1 (). (12.16)
1 2
250
Para el caso l = 1 tenemos
Z 1 1 Z 1
Z
iz iz iz
dze P1 (z) = dze z = (i) dze
1 1 1
12 !
2
= (i) J 1 ()
2
" 21 #
1 () 2 J 1 ()
2
= (i) (2) 2 3 J 1 () +
2 2 2
21 " #
2 J 1 () J 1 ()
= (i) 2 + 2
, (12.17)
2
1 21
2
1
Z
iz
dze P1 (z) = (i) J 1 () + J 3 ()
1 2 2 2
1
+ J 1 () J 3 ()
2 2 2
12
2
= (i) J 3 () (12.18)
2
251
Z 1
1
= dzeiz [(2l + 1)zPl (z) lPll (z)]
l + 1 1
Z 1 Z 1
1 iz iz
= (2l + 1) dze zPl (z) l dze Pll (z)
l+1 1 1
" Z 1 21 #
1 iz 2 l1
= (2l + 1)(i) dze Pl (z) l (i) Jl 1 ()
l+1 1 2
" 21 ! 12 #
1 2 l 2 l+1
= (2l + 1)(i) (i) Jl+ 1 () + l (i) Jl 1 ()
l+1 2 2
21 !
(i)l+1 Jl+ 1 ()
1 () 2 2
= (2l + 1)() (2) 2 3 Jl+ 1 () +
l+1 2 2 2
12
2 l+1
+l (i) Jl 1 ()
2
12 21 !
(i)l+1 Jl+ 1 () Jl+ 1 ()
2 2
2 2
= (2l + 1)
l+1 2
12
2
+l Jl 1 ()
2
1
!
(i)l+1 2 2 Jl+ 1 () Jl+ 1 ()
2 2
= (2l + 1) + lJl 1 () ,
l+1 2 2
21
2
= (i)l+1 Jl+ 3 (), (12.21)
2
252
entonces
Z 1 !
Z 1 X X Z 1
iz
e Pl (z) = dzPl (z) am Pm (z) = am dzPl (z)Pm (z)
1 1 m0 m0 1
X 2lm 2al
= am = . (12.24)
m0
2l + 1 2l + 1
2l + 1 1 iz
Z
al = e Pl (z) = (i)l (2l + 1)jl (), (12.25)
2 1
que implica
X
eiz = (i)l (2l + 1)jl ()Pl (z). (12.26)
l0
253
Captulo 13
Otras aplicaciones de la
Ecuaci
on de Schrodinger
13.1. Ecuaci
on de Fokker-Planck
La ecuacion de Fokker-Planck es
P (x, t, ) P (x, t, ) F (x)
= + P (x, t, )
t x m m
2
g P (x, t, )
+ 2 (13.1)
2m 2
Para el caso de friccion fuerte, se puede mostrar que esta ecuacion toma la
forma
P (x, ) V (x) g P (x, )
= P (x, ) + , t = (13.2)
x x 2 x
254
que se puede escribir como
de donde
P (x, ) V (x) V (x) (x, )
=e g (x, ) + . (13.6)
x g x x
Entonces
V (x) g P (x, )
P (x, ) +
x 2 x
V (x) V (x) g V (x) (x, )
=e g (x, ) + (x, ) +
x 2 g x x
V (x) 1 V (x) g (x, )
=e g (x, ) + .
2 x 2 x
Por lo que,
V (x) g P (x, )
P (x, ) +
x x 2 x
V (x) V (x) 1 V (x) g (x, )
= e g (x, ) +
g x 2 x 2 x
1 V (x) g (x, )
+ (x, ) +
x 2 x 2 x
255
2
V (x) V (x) 1 V (x) (x, )
= e g (x, )
2g x 2 x x
2 2
1 V (x) 1 V (x) (x, ) g (x, )
+ (x, ) + +
2 x2 2 x x 2 x2
2 2 2
V (x) V (x) 1 V (x) g (x, )
= e g (x, ) + (x, ) +
2g x 2 x2 2 x2
2 !
2
V (x) 1 V (x) V (x) g 2
= e g + (x, ) p (x, )
2 g x x2 2
V (x)
= e g
H(x, ), (13.7)
con
2 !
2 V (x)
= g p2 + 1
H
V (x)
. (13.8)
2 2 g x x2
es hermtico. Sustituyendo la ecuacion (13.7) en
Claramente el operador H
(13.2) se tiene
(x, )
= H(x, ). (13.9)
Para resolver esta ecuacion se puede proponer la solucion (x, ) = e (x),
por lo que (x) debe satisfacer
H(x) = (x). (13.10)
V (x)g
para el caso = 0 se puede mostrar que 0 (x) = e es solucion de (13.10).
256
De donde
P (, t) m 2 m (, t)
= e 2g (, t) + . (13.13)
g
por lo que
g P (t, )
P (t, ) + =
m 2m2
m 2
g m 2
m (, t)
= e 2g (, t) + e 2g (, t) +
m 2m2 g
m 2
g (, t)
= e 2g (, t) + .
2m 2m2
Entonces,
g P (t, )
P (t, ) +
m 2m2
m
2
g (, t)
= e 2g (, t) +
2m 2m2
m
2
m g (, t)
= e 2g (, t) +
g 2m 2m2
g (, t)
+ (, t) +
2m 2m2
22
m 2 (, t)
= e 2g (, t) + (, t)
2g 2m 2m
g 2 (, t)
(, t)
+ +
2m 2m2 2
2 2 2
m
2
g (, t)
= e 2g (, t) +
2m 2g 2m2 2
m 2
= e 2g
H(, t) (13.14)
con
22
= g p2 + 1
H
, p = i
, (13.15)
2m2 2 g m
es un operador hermtico. Considerando este resultado en (13.11)
claramente H
se llega a
(, t)
= H(, t). (13.16)
t
257
Si se propone como solucion a (, ) = e () se encuentra
H() = (), (13.17)
g 2 2 2
p + () = (). (13.18)
2m2 2g m
~2 g 2
= , m 2 = , E =+ (13.19)
2m 2m2 g m
~2 2 m 2 2
+ () = E(). (13.20)
2m 2 2
que es la ecuacion del oscilador armonico. Por lo tanto, las soluciones que
satisfacen las condiciones de Dirichlet, () = 0, implican
1
E = ~ n + =+ , (13.21)
2 m
es decir
1
n = n . (13.22)
m 2
Ademas, definiendo
r
m m
r
= = (13.23)
~ g
Por lo tanto,
14
(i)n
m
2
n t m 2
Pn (, t) = e 2g e n () = e Hn (). (13.25)
2n n! g
258
13.2. Black-Scholes
On the other hand, let us consider the fundamental equation in quantum
finance, the so-called Black-Scholes equation (??)
C 2 S 2 2 C C
= 2
rS + rC, (13.26)
t 2 S S
where C is the option price, is a constant called the volatility and r is the
interest rate [?]. With the change of variable S = ex we obtain
C
= HBS C,
t
2 2 2
HBS = + r +r (13.27)
2 x2 2 x
this non-Hermitian Hamiltonian is called Black-Scholes Hamiltonian. Now,
considering the one dimensional case of (??) and identifying
2 1 2
2
= , f (x) = 2 r x, V2 (x) = r
2 2
we obtain HII = HBS .
259
Referencias
[10] L. Infeld, T. E. Hull, The Factorization Method, Rev. Mod. Phys. 23, 21
(1951).
260