Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro Funciones Especiales - JMRS PDF
Libro Funciones Especiales - JMRS PDF
FUNCIONES ESPECIALES Y
TRANSFORMADAS INTEGRALES CON
APLICACIONES A LA MECNICA
CUNTICA Y ELECTRODINMICA
AUTOR:
Dr. Juan Manuel Romero Sanpedro
Departamento de Matemticas
Aplicadas y Sistemas
IBSN: 978-607-28-0038-0
Octubre 2013
UNIVERSIDAD AUTONOMA METROPOLITANA
UNIDAD CUAJIMALPA
DEPARTAMENTO DE MATEMATICAS
APLICADAS Y SISTEMAS
1
Indice general
0.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2
2.3.1. Gradiente en coordenadas curvilneas . . . . . . . . . . . 48
2.3.2. Divergencia en coordenadas curvilneas . . . . . . . . . . 49
2.3.3. Laplaciano en coordenadas curvilneas . . . . . . . . . . 50
2.3.4. Rotacional en coordenadas curvilneas . . . . . . . . . . 51
2.4. Operador momento angular . . . . . . . . . . . . . . . . . . . . 53
5. Funciones de Bessel 73
5.1. Ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2. Funcion generatriz . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3. Relaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . 79
5.4. Funciones de Bessel de orden n + 12 . . . . . . . . . . . . . . . 82
5.5. Ortonormalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.6. La ecuacion de Laplace en coordenadas cilndricas . . . . . . . 87
5.6.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.7. Ecuaciones tipo Bessel . . . . . . . . . . . . . . . . . . . . . . . 92
5.7.1. Partcula cuantica en una fuerza constante . . . . . . . 94
5.8. Mecanica cuantica conforme . . . . . . . . . . . . . . . . . . . . 94
5.9. Ecuacion de Fick-Jacobs . . . . . . . . . . . . . . . . . . . . . . 95
3
6.4.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.4.3. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.4.4. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6.5. Ortonormalidad e independencia lineal . . . . . . . . . . . . . . 105
6.6. Teorema de Pitagoras . . . . . . . . . . . . . . . . . . . . . . . . 106
6.6.1. Desigualdad de Bessel . . . . . . . . . . . . . . . . . . . 108
6.6.2. Desigualdad de Schwarz . . . . . . . . . . . . . . . . . . 108
6.6.3. Desigualdad del triangulo . . . . . . . . . . . . . . . . . 108
6.7. Espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.7.1. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . 110
6.8. Ejemplos de bases ortonormales . . . . . . . . . . . . . . . . . . 111
6.8.1. Exponencial compleja . . . . . . . . . . . . . . . . . . . . 111
6.8.2. Ecuaciones tipo Sturm-Liouville . . . . . . . . . . . . . . 111
6.8.3. Ecuacion de Schrodinger en una dimension . . . . . . . . 113
6.8.4. Ecuacion de Schrodinger en tres dimensiones . . . . . . . 113
6.8.5. Armonicos esfericos . . . . . . . . . . . . . . . . . . . . . 115
6.9. Polinomios trigonometricos . . . . . . . . . . . . . . . . . . . . . 117
6.10. Espacios completos . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.11. Operadores lineales . . . . . . . . . . . . . . . . . . . . . . . . . 120
6.12. Operador adjunto . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.12.1. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.12.2. Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.12.3. Derivada con peso . . . . . . . . . . . . . . . . . . . . . 124
6.12.4. Propiedades del operador adjunto . . . . . . . . . . . . . 125
6.13. Operadores Hermticos . . . . . . . . . . . . . . . . . . . . . . . 125
6.13.1. Ejemplos de matrices Hemticas . . . . . . . . . . . . . 126
6.13.2. Ejemplos de operadores Hermticos . . . . . . . . . . . . 126
6.14. Conmutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
6.14.1. Propiedades de los conmutadores . . . . . . . . . . . . . 129
6.14.2. Ejercicio . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
6.15. Conmutadores y la derivada . . . . . . . . . . . . . . . . . . . . 132
6.16. Vectores propios . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6.16.1. Espectro de operadores Hermticos . . . . . . . . . . . . 134
6.16.2. Operadores que conmutan . . . . . . . . . . . . . . . . . 135
4
8. Series de Fourier 140
8.1. Funciones trigonometricas . . . . . . . . . . . . . . . . . . . . . 140
8.2. Relaciones de ortonormalidad . . . . . . . . . . . . . . . . . . . 142
8.2.1. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . 143
8.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
8.3.1. Caso f (x) = x . . . . . . . . . . . . . . . . . . . . . . . . 144
8.3.2. Caso f (x) = x2 . . . . . . . . . . . . . . . . . . . . . . . 145
8.3.3. Caso f (x) = cos(x) . . . . . . . . . . . . . . . . . . . . 146
8.3.4. Funcion f (x) = ex . . . . . . . . . . . . . . . . . . . . . 148
8.4. Serie tipo coseno . . . . . . . . . . . . . . . . . . . . . . . . . . 149
8.5. Serie tipo seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
8.6. Intervalo arbitrario . . . . . . . . . . . . . . . . . . . . . . . . . 152
8.6.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . 153
8.7. Serie coseno en el intervalo [0, L] . . . . . . . . . . . . . . . . . . 154
8.7.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . 155
8.8. Serie seno en el intervalo [0, L] . . . . . . . . . . . . . . . . . . . 155
8.8.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . 156
8.9. Representacion compleja . . . . . . . . . . . . . . . . . . . . . . 157
8.9.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . 157
8.10. Ecuacion de Laplace en dos dimensiones . . . . . . . . . . . . . 158
8.10.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
8.11. Ecuacion de Poisson en dos dimensiones con coordenas polares . 163
8.11.1. Formula de Poisson en dos dimensiones . . . . . . . . . . 165
8.11.2. Cilindro infinito . . . . . . . . . . . . . . . . . . . . . . 168
8.12. Ecuacion de Schrodinger en una dimension . . . . . . . . . . . 170
8.12.1. Pozo infinito . . . . . . . . . . . . . . . . . . . . . . . . . 171
8.13. Ecuacion de Onda . . . . . . . . . . . . . . . . . . . . . . . . . . 172
8.13.1. Cuerda con extremos fijos . . . . . . . . . . . . . . . . . 173
8.13.2. Condiciones iniciales . . . . . . . . . . . . . . . . . . . . 173
8.13.3. Energa . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
5
9.7. Oscilador en campo electrico constante . . . . . . . . . . . . . . 195
9.8. Suma de osciladores y el oscilador en D dimensiones . . . . . . 196
9.8.1. Cadena de osciladores . . . . . . . . . . . . . . . . . . . 198
9.8.2. Oscilador en D dimensiones . . . . . . . . . . . . . . . . 200
9.9. Niveles de Landau, partcula en un campo magnetico constante 200
9.10. Ecuacion de Fokker-Planck, caso libre y homogeneo . . . . . . . 203
6
11.3. Problemas con simetra azimutal . . . . . . . . . . . . . . . . . . 266
11.3.1. Esfera con condiciones especiales . . . . . . . . . . . . . 266
11.3.2. Potencial de un anillo circular . . . . . . . . . . . . . . . 267
11.3.3. Esfera con hueco . . . . . . . . . . . . . . . . . . . . . . 269
11.4. Disco a potencial constante . . . . . . . . . . . . . . . . . . . . 270
11.5. Distribucion de carga continua . . . . . . . . . . . . . . . . . . . 273
11.5.1. Esfera cargada . . . . . . . . . . . . . . . . . . . . . . . 275
11.6. Problemas en magnetismo . . . . . . . . . . . . . . . . . . . . . 276
11.6.1. Esfera rotante . . . . . . . . . . . . . . . . . . . . . . . . 276
11.6.2. Anillo de corriente I . . . . . . . . . . . . . . . . . . . . 279
11.6.3. Anillo de corriente II . . . . . . . . . . . . . . . . . . . . 282
7
14.13.Funcion de Green . . . . . . . . . . . . . . . . . . . . . . . . . . 325
14.13.1. Funcion de Green y funciones propias . . . . . . . . . . 326
14.14.Ecuacion de Laplace en dos dimensiones . . . . . . . . . . . . . 327
14.15.Resultados de variable compleja . . . . . . . . . . . . . . . . . . 329
14.16.Ecuacion de Poisson . . . . . . . . . . . . . . . . . . . . . . . . 329
14.17.Funcion de Green de la ecuacion Helmholtz . . . . . . . . . . . . 333
14.17.1.Ecuacion de Lippman-Schwinger . . . . . . . . . . . . . . 334
14.18.Funcion de Green de la ecuacion de onda . . . . . . . . . . . . . 335
8
0.1. Introduccion
Deca Galileo que los secretos de la naturaleza estan escritos en el lenguaje
de las matematicas. I. Newton tambien se dio cuenta de este hecho e invento el
calculo infinitesimal para entender el movimiento de los planetas. Al ser es-
tudiados los fenomenos electricos y magneticos surgieron nuevas matematicas.
Ahora esta parte de la naturaleza se expreso en terminos de campos vectoria-
les y ecuaciones diferenciales parciales, las cuales se resumen en las ecuaciones
de Maxwell. Al resolver las ecuaciones de Maxwell surgieron funciones con
caractersticas especiales, por ello se les llama funciones especiales. Para la
electrodinamia, dentro de esas funciones especiales, de notable importancia
son las funciones de Bessel, los polinomios de Legendre, as como las llamadas
series de Fourier. Las cantidades importantes de la electrodinamica se expresan
en terminos de estas funciones. Despues de mucho esfuerzo los matematicos se
dieron cuentas que estas funciones forman espacios vectoriales con dimension
infinita, lo que hoy se conoce como espacios de Hilbert. Textos clasicos sobre
electrodinanica se pueden ver en [1, 2] y referencias sobre espacios de Hilbert
se pueden ver en [3, 4].
Por otra parte, en un inicio nadie entenda los fenomenos cuanticos y co-
mo expresarlos matematicamente. Sin embargo, al proponer Schrodinger su
ecuacion de onda las cosas se entendieron un poco mas. Sorprendentemen-
te al resolver la ecuacion de Schrodinger surgieron funciones especiales, como
los polinomios de Hermite y los polinomios de Laguerre. As, los matemati-
cos de la epoca se dieron cuenta que estaban frente a una nueva aplicacion
de los espacios de Hilbert. Dos excelentes referencias sobre mecanica cuantica
se pueden ver [5, 6]. Ademas, se encontro que una generalizacion de las se-
ries Fourier, la transformada de Fourier, es de vital importancia para entender
diversos fenomenos cuanticos. La transformada de Fourier es un caso particu-
lar de las transformadas integrales, un texto sobre este tema se puede ver en [7].
9
nes diferenciales. Posteriormente, Pauli mostro que usando teora de grupos
poda obtener los estados cuanticos de varios sistemas fsicos. As, pocos se
sorprendieron cuando se encontro una relacion entre algunos grupos, como el
grupo de rotaciones, y algunas funciones especiales, como los polinomios de
Legendre. Con el tiempo la teora de grupos se convirto en una herramienta
fundamental en varias areas de la fsica teorica. Textos sobre aplicaciones de
la teora de grupos a las ecuaciones diferenciales se pueden ver [13, 14].
10
Captulo 1
La Convencion de Suma de
Einstein, el Tensor de
Levi-Civita y las Ecuaciones de
Maxwell
1.1. Introduccion
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, obtendremos las cantidades con-
servadas que implican las ecuaciones de Maxwell.
Ademas, la fuerza de Lorentz nos dice que una partcula de masa m y carga
~ y magnetico B
q en un campo electrico E ~ siente la fuerza
~ + 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.
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
( F ) nda = F~ d~l.
~ ~ (1.7)
S
12
As, ocupando el teorema de Gauss Eq. (1.6) y de Stokes Eq. (1.7), las
ecuaciones de Maxwell toman la forma
Z
~ nda = 4QT ,
E (1.8)
V
Z
~ d~l = 1 dm ,
E (1.9)
S c dt
Z
~ nda = 0,
B (1.10)
V
Z
~ d~l = 4 I + 1 de .
B (1.11)
S c c dt
Donde
Z
QT = dv (1.12)
V
13
Por simplicidad es comun escribir
~B
A ~ = Ai B i , (1.17)
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
r2 = ~r ~r = xi xi = x1 x1 + x2 x2 + x3 x3 = x2 + y 2 + z 2 . (1.19)
es decir
ij Aj = Ai . (1.23)
14
Un vector importante es el gradiente, el cual se define como
~ =
, , = , , . (1.26)
x y z x1 x2 x3
~ = = 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 x32 = 0 1 0 = ij .
= x x x
(1.29)
xi x1 x2 x3
3 3 3
0 0 1
x x x
Ahora, considerando que r = xi xi , se tiene
1 (xi xi ) 1 xi i i
r xi xi i x
= = = x +x
xj xj 2 xi xi xj 2r xj xj
1 xj
= ij xi + xi ij = . (1.30)
2r r
De donde
r xj ~ = ~r = r.
j
= , r (1.31)
x r r
Si f (r) es una funcion que solo depende de r se tiene
P~ ~r
(~r) = , (1.33)
r3
15
con P~ un vector constante, entonces
! !
P~ ~r P~ ~r 1
(~r) ~ 1
i
= i 3
= i 3
+ P ~r i
x x r x r x r3
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
de donde
~
!
P~ r2 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
~ E
~ = Ex + Ey + Ez = E1 + E2 + E3
x y z x1 x2 x3
3
X Ei Ei
= = = i Ei . (1.35)
i=1
xi xi
Tambien se puede probar la identidad
~ ~ ~ ~ ~ ~ ~ ~
f g A = g f A + f g A + f g A . (1.36)
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 + f g A . ~ ~ (1.37)
16
= (A2 B3 A3 B2 ) i + (A3 B1 A1 B3 ) j + (A1 B2 A2 B1 ) k,
es decir
~B
A ~ = (A2 B3 A3 B2 ), (1.39)
1
~B
A ~ = (A3 B1 A1 B3 ), (1.40)
2
~B
A ~ = (A1 B2 A2 B1 ). (1.41)
3
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 .
Con esta matriz, las igualdades Eqs. (1.39)-(1.41) se pueden escribir como
~ ~
0 1 B2
AB = A2 A3
1 1 0 B3
= ab Aa Bb , a, b = 2, 3, (1.43)
~B ~
0 1 B3
A = A3 A1
2 1 0 B1
= cd Ac Bd , c, d = 3, 1, (1.44)
~B ~
0 1 B1
A = A1 A2
3 1 0 B2
= ef Ae Bf , e, f = 1, 2. (1.45)
Note que la matriz Eq. (1.42) esta en dos dimensiones, mientras que el espacio
es tridimensional. As es mas conveniente ocupar una generalizacion de Eq.
(1.42) en tres dimensiones, la cual denotaremos con
ijk , i, j, k = 1, 2, 3. (1.46)
En principio, para reproducir el productor vectorial basta que ijk sea anti-
simetrico en las dos ultimas entradas. Sin embargo, como en A ~B ~ no
i
17
esta Ai ni Bi , pediremos que ijk sea antisimetrico tambien en las dos primeras
entradas. Es decir, pediremos las propiedades
ijk = ikj , ijk = jik , 123 = 1. (1.47)
Note que esto implica que, para cualquier i y k, se cumpla
iik = iik = 0, (1.48)
de donde
iki = kii = 0. (1.49)
Es decir, las componentes de ijk con dos ndices repetidos tienen valor cero. Por
lo tanto, las componentes de ijk no nulas tienen todos los ndices diferentes.
Ocupando las propiedades de ijk Eq. (1.47) se puede ver que
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)
Claramente, todos estos valores se obtienen de permutar los ndices de 123 .
Al smbolo Eq. (1.46) se le llama tensor de Levi-Civita. Ahora veremos que
este tensor es util para expresar el producto vectorial. Definamos
3 X
X 3
~B
A ~ = ijk Aj Bk = ijk Aj Bk . (1.56)
i
j=1 k=1
18
Este calculo es mas facil si se ocupan las propiedades de ijk . En efecto, si se
tiene 1jk , los unicos valores que puede tomar j son 2 o 3 y k solo puede tomar
los valores 3 o 2. Por lo que,
X 3 X3
A~B ~ = 1jk Aj Bk = 123 A2 B3 + 132 A3 B2
1
j=1 k=1
= A2 B3 A3 B2 . (1.62)
Para las demas componentes tenemos
X3 X 3
~
AB ~ = 2jk Aj Bk = 213 A1 B3 + 231 A3 B1
2
j=1 k=1
= A3 B1 A1 B3 , (1.63)
X3 X 3
~B
A ~ = 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 Eq. (1.56) coincide con
Eq. (1.38).
Li = i~ijk rj k . (1.67)
El tensor de Levi-Civita no es solo otra forma de expresar el producto vectorial,
tambien es util para simplificar los calculos.
19
1.4.1. El tensor de Levi-Civita y las matrices antisimetri-
cas
Cualquier matriz antimetrica de 3 3 se puede escribir como
0 B3 B2
Mij = B3 0 B1 . (1.68)
B2 B1 0
20
Un resultado de este hecho trivial es que si Mij es una matriz simetrica entonces
la contraccion con ijk es cero, es decir,
Mij = Mji = ijk Mjk = 0. (1.73)
Esto se debe a que
ijk Mjk = ikj Mjk = ikj Mkj = ijk Mjk . (1.74)
En la primera igualdad, se empleo que ijk es antisimetrico, en la segun-
da que Mjk es simetrica, en la tercera la igualdad Eq. (1.72). Por lo tanto,
ijk Mjk = ijk Mjk y se cumple Eq. (1.73).
21
1.4.3. Conservacion de carga
Un hecho experimental bien conocido es que la carga electrica se conserva.
Veamos si las ecuaciones de Maxwell son compatibles con este resultado. Para
esto ocuparemos la ley de Gauss Eq. (1.1) y la ley de Ampere Eq. (1.4). De la
ley de Gauss obtenemos
1 ~ E~
= (1.82)
t 4 t
y ocupando la ley de Ampere se tiene
~
~ ~ ~
= BJ . (1.83)
t
~ (
Ahora, considerando Eq. (1.80) tenemos que ~ B)
~ = 0, de donde
~ ~
+ J = 0, (1.84)
t
que es la llamada ecuacion de continuidad. Integrando sobre un volumen V la
expresion Eq. (1.84) y ocupando el teorema de Gauss Eq. (1.6) se encuentra
Z Z Z Z
dQT d ~ J~ =
= dV = dV = dV daJ~ n. (1.85)
dt dt t V
dQT
= 0, (1.86)
dt
es decir, la carga total se conserva en el tiempo.
22
que se demuestra simplemente de la forma
~ ~
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.88)
j
Por lo tanto, se cumple Eq. (1.87). Note que ocupando la regla del triple
~A
producto escalar y la igualdad A ~ = 0, se encuentra
A~ A ~C ~ =C~ A ~A ~ = 0. (1.89)
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.91)
Otra identidad que se puede mostrar ocupando solo las propiedades del tensor
de Levi-Civita es
~
A ~ = ~ A ~ +
~ A.~ (1.92)
Pues
~ A
~ = ijk j A~ = ijk j (Ak ) = ijk (j ) Ak + ijk j Ak
i
k
= ~ A ~ + ~ A ~ . (1.93)
i i
23
1.6.1. Energa cinetica
Ocupando Eq. (1.89) en la fuerza de Lorentz se encuentra
~ + q ~v B
F~ ~v = q E ~ ~v = q E
~ ~v , (1.94)
c
este resultado nos indica que el campo magnetico no hace trabajo.
Por lo tanto
Z
Ecin = ~ Jdx
E ~ 3. (1.98)
V
Para esto consideremos la ley de Faraday Eq. (1.2) y de Ampere Eq. (1.4).
Haciendo el producto escalar de B~ con la ley de Faraday encontramos que
~ ~2
~ = 1 B B
~ = 1 B .
~ E
~ B (1.99)
c t 2c t
~ con la ley de Ampere se llega a
Si hacemos el producto escalar de E
~ ~2
~ + 1 E E
~ = 4 J~ E ~ = 4 J~ E
~ + 1 E .
~ ~
B E (1.100)
c c t c 2c t
24
Restando estas dos ecuaciones y ocupando la identidad Eq. (1.91) se obtiene
1 ~ 2 ~ 2 ~ + c ( ~ c (
E +B = J~ E ~ E
~ B) ~ B
~ E) ~
8 t 4 4
~ c
= J~ E ~ E~ B~ . (1.101)
4
Al vector
~ c ~ ~
S= EB (1.102)
4
se le llama vector de Poynting. Ahora, integrando Eq. (1.101) sobre un volumen
V y ocupando la teorema de Gauss Eq. (1.6) se encuentra
Z I
d 3 ~ ~ ~ nda,
(Eem + Ecin ) = d x S = S (1.103)
dt V V
donde
Z
1
~2 + B
~2 .
Eem = d3 x E (1.104)
8 V
25
En tres dimensiones se cumple la identidad
3
X
ijk klm = ijk klm = il jm im jl . (1.107)
k=1
Mijlm = il jm im jl . (1.108)
en efecto
Las igualdades Eqs. (1.109)-(1.112) nos indican que si Eq. (1.107) se cumple
para una cuarteta ordenada (ijml), tambien se cumple para las cuartetas or-
denadas (jilm), (ijml).
Note si i = j, Eq. (1.107) toma la forma 0 = 0. As, los valores que falta por
probar son i 6= j. De la definicion Eq. (1.108) 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 unicos 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 unica cuartetas ordenadas que dan
resultados no nulos en ijk klm son (ijij) y (ijji).
Como probar Eq. (1.107) para el caso (ijij) es equivalente a probarla para
el caso (ijji), solo probaremos los caso (ijij) = (1212), (1313), (2323).
26
Por lo tanto, Eq. (1.107) se cumple.
~ (B
A ~ C)
~ = B(
~ A~ C)
~ C(
~ A~ B),
~ (1.118)
pues
h i
~ ~ ~
A (B C) = ijk Aj ~ C
B ~ = ijk Aj (klm Bl Cm )
i k
= ijk klm Aj Bl Cm = (il jm im jl ) Aj Bl Cm
= (Am Cm )Bi Ci (Al Bl )
= (A~ C)B
~ i (A ~ B)C
~ i. (1.119)
27
~ la identidad Eq.
Si en lugar de un vector constante se tiene el operador ,
~ ~
(1.118) 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.120)
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.121)
2
Con esta identidad posteriormente veremos que se conserva el momento.
28
En este resultado solo se ocupo la fuerza de Lorentz. Veamos que dicen las
ecuaciones de Maxwell.
29
Introduciendo estos resultados en Eq. (1.130) se llega a
ij 2 2
j Ei Ej + Bi Bj E +B
2
~ 1~ ~ 1 ~ ~
= 4 E + J B + EB . (1.135)
c 4c t i
~ = 1 E
P ~ = 1S
~ B ~ (1.136)
4c c2
y el tensor de esfuerzos de Maxwell como
1 ij 2 2
ij = Ei Ej + Bi Bj E +B . (1.137)
4 2
Pi
+ Fi = j ji . (1.138)
t
Integrando esta ecuacion sobre un volumen V se tiene
Z Z Z Z
3 Pi d 3 3
dx + Fi = dx Pi + dx Fi = dx3 j ji
V t dt V V V
I
= ij nj da. (1.139)
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
30
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.142)
V
dP~T
= F~ . (1.143)
dt
Ahora, si el volumen de integracion es suficientemente grande de tal forma que
el termino de la derecha sea nulo, la ecuacion Eq. (1.141) implica
Pk
ijk xj + ijk xj Fi = ijk xj l lk . (1.145)
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.146)
31
As, integrando Eq. (1.146) sobre un volumen V y ocupando el teorema de
Gauss, se tiene
I
d ~ ~
Lem + Lcin = (ijk xj lk )nl da. (1.149)
dt i V
32
que es la prueba de Eq. (1.153).
33
donde ~b es un campo vectorial. Mientras que el teorema del rotacional establece
que si f~ es un campo vectorial tal que
~ ~c = 0
= h tal que ~
~c = h, (1.162)
Ahora, por el teorema del rotacional Eq. (1.162) se concluye que existe un
campo escalar tal que
~
~ + 1 A = .
E ~ (1.165)
c t
Por lo tanto podemos decir que la inexistencia de monopolos magneticos y la
ley de Faraday implican que existen los campos A~ y tal que
!
1 ~
A
B~ =~ A,
~ ~ =
E ~ + . (1.166)
c t
Este es un resultado importante. Note que dados los campos E, ~ B~ los campos
~ y no son unicos. En efecto, sea = (~x, t) un campo escalar arbitrario y
A
definamos
~0 = A
~ + ,
~ 1
A 0 = . (1.167)
c t
Entonces Eq. (1.166) implica
~ 0 = B,
B ~ ~ 0 = E,
E ~ (1.168)
34
de norma.
~ A~ + 1 = 0. (1.175)
c t
En este caso Eqs. (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
35
Que son ecuaciones de onda con fuentes.
2 = 4, (1.179)
1 2 ~
4 1 ~
2 2 A = J~ +
2
. (1.180)
c t c c t
36
Esta transformacion explcitamente toma la forma
E = E + iB = ei E~ = (E
~ 0 ~ 0 ~ 0 ~ cos B
~ sin ) + i(B
~ cos + E
~ sin ),
Si hay fuentes, las ecuaciones de Maxwell no son invariantes bajo estas trans-
formaciones. Para mantener esta invariancia, en 1931 P. A. M 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
37
1.13. Otros resultados de calculo vectorial
Antes de finalizar este captulo veamos otros resultados de calculo vectorial
que ocuparemos posteriormente.
Ademas ocupando la identidad del triple producto escalar Eq. (1.87) se tiene
I I
~ ~
B C nda = ~ ~
n B Cda. (1.199)
V V
~ es constante, se cumple
Ademas, si C
~
BC~ ~ ~ ~
= i B C = i (ijk Bj Ck ) = Ck ijk i Bj
i
= Ck kij i Bj = C ~ ~ B
~ .
~ es constante
Por lo tanto, si C
Z Z
~ ~ ~ ~
B C dv = C ~ ~
dv B . (1.201)
V V
As, igualando Eq. (1.198) con Eq. (1.201) para el caso C~ constante se llega
Z I
~
C ~ ~
B dv = C ~ ~ ,
d~a B
V V
38
es decir
Z I
~
C ~ ~
B dv ~
d~a B = 0.
V V
~ (A)
~ = (
~ A).
~
Ocupando este resultado y la identidad del triple producto escalar Eq. (1.87),
se encuentra
Z Z Z
~ ~
A nda = ~ ~
A nda = ~
n ~
Ada
S S Z S
= A ~ ~
n da. (1.203)
S
39
Captulo 2
Operadores en Coordenadas
Curvilneas
~B
A ~ = AB(cos 1 cos 2 + sin 1 sin 2 ) = AB cos(1 2 ).
~ y B,
Es decir, como = 1 2 es el angulo entre los vectores A ~ se tiene
~B
A ~ = AB cos . (2.1)
a = hA = AB sin .
40
AxB
B
2
2 2
= A B AB ~
= 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 le suele llamar vector area. Note que este vector es
normal al paralelogramo.
41
Otro resultado que es conveniente tener presente es que si tenemos tres
~ B,
vectores A, ~ C ~ con ellos podemos formar un paraleleppedo. El volumen de
un paraleleppedo esta dado por el producto de la altura con el area de su base
[17]
V = ha.
Donde h = C cos , con el angulo que hace C~ con la normal de la base del
~ B.
paraleleppedo, es decir con A ~ Ademas, a = |A
~ B|,
~ de donde
V = C cos |A~ B|
~ = C
~ A~B ~ .
~r = xi + y j + z k, (2.2)
con
i i = j j = k k = 1,
i j = k i = j k = 0.
i j = k, k i = j, j k = i.
42
As, se pueden plantear los elementos de area
d~axy = d~rx d~ry = dxi dy j = dxdy k,
d~ayz = d~ry d~rz = dy j dz k = dydz i,
d~azx = d~rz d~rx = dz k dxi = dzdxj,
~ = i + j + k.
(2.8)
x y z
Por lo que un elemento de se puede escribir como
~ d~r.
d = dx + dy + dz = (2.9)
x y z
Ademas, la divergencia es
~ = Ax + Ay + Az ,
~ A (2.10)
x y z
~ =
tomando el caso A ~ se obtiene el Laplaciano:
2 2 2
~ = 2 = + + .
~ (2.11)
x2 y 2 z 2
Mientras que el rotacional es
~ ~ Az Ay Ax Az Ay Ax
A= i + j + k. (2.12)
y z z x x y
Estos resultados los ocuparemos para construir la version del gradiente, diver-
gencia, Laplaciano y rotacional en coordenadas curvilneas.
43
2.2.1. Coordenadas esfericas
Antes de estudiar las coordenadas curvilneas en general veremos dos casos
particulares.
44
Con el producto vectorial se tiene
er e = e , e er = e , e e = er . (2.23)
es decir,
~r = ( cos , sin , z)
= cos i + sin j + z k. (2.33)
De donde,
45
con
e e = e e = ez ez = 1, (2.38)
e e = e ez = e ez = 0, (2.39)
que implica
e ez = e , e e = ez , ez e = e . (2.42)
46
2.3. Coordenadas curvilneas ortogonales
Ya hemos practicado suficiente, ahora veamos el caso general. Supongamos
que tenemos el cambio de coordenadas
es decir
De donde,
con
1 ~r 1 ~r 1 ~r
e1 = 1
, e2 = 2
, e3 = , (2.48)
h1 u h2 u h3 u3
~r ~r ~r
h1 = 1 , h2 = 2 , h3 = 3 . (2.49)
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.50)
e1 e2 = e1 e3 = e2 e3 = 0. (2.51)
ds2 = d~r d~r = (h1 )2 (du1 )2 + (h2 )2 (du2 )2 + (h3 )2 (du3 )2 , (2.52)
e1 e2 = e3 , e2 e3 = e1 , e3 e1 = e2 , (2.54)
47
con el cual se forma el vector
48
As, el gradiente en coordenadas curvilneas es
~ = 1 e1 + 1 e1 + 1 e3 .
(2.66)
h1 u1 h2 u2 h3 u3
En particular el gradiente en coordenadas esfericas es
~ = er + 1 e + 1 e .
(2.67)
r r r sin
Mientras que en coordenadas cilndricas tenemos
~ = e + 1 e + ez .
(2.68)
z
Ax = A1 h2 h3 , Ay = A2 h3 h1 , Az = A3 h1 h2 ,
(1) (2) (3)
dx = du , dy = du , dz = du .
49
y considerando la igualdad Eq. (2.69) se llega a
I I
~ d~a =
A Ax zdy + Ay dzdx + Az dxdy.
V V
Z
Ax Ay Az
= + + dxdydz,
V x y z
Z
(1) (2) (3) (A1 h2 h3 ) (A2 h3 h1 ) (A3 h1 h2 )
= du du du + + . (2.71)
V u(1) u(2) u(3)
~ = 1 r2 Ar + 1 (sin A ) + 1 A .
~ A
(2.74)
r2 r r sin r sin
Mientras que en coordenadas cilndricas se llega a
~ = 1 (A ) + 1 A + Az .
~ A (2.75)
z
A ~ = 1 e1 + 1 e1 + 1 e3 .
~ = (2.76)
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)
50
Para coordenadas esfericas se tiene
2
2 1 2 1 1
= 2 r + 2 sin + 2 2 , (2.77)
r r r r sin r sin 2
tambien se puede ocupar
1 2
1 2
r = (r). (2.78)
r2 r r r r2
Mientras que en coordenadas cilndricas se encuentra
1 2 2
2 1
= + 2 2 + 2. (2.79)
z
51
Por lo que definiendo
52
Es decir,
~ A
~
1 (A3 h3 ) (A2 h2 )
= ,
1 h2 h3 u(2) u(3)
~ A
~
1 (A1 h1 ) (A3 h3 )
= ,
2 h3 h1 u(3) u(1)
~ A
~
1 (A2 h2 ) (A1 h1 )
= , (2.85)
3 h1 h2 u(1) u(2)
~ = Lx i + Ly j + Lz k
L
~
= i ~r = i xi + y j + z k i + j + k
x y z
53
= i x i j + x i k + y j i + y j k
y z x z
+z k i + z k j
x y
= i y z i + z x j + x y k .
z y x z y x
Por lo que,
Lx = i y z , Ly = i z x , Lz = i x y . (2.89)
z y x z y x
En coordenadas esfericas, considerando Eq. (2.14) y Eq. (2.67), se llega a
~
~
1 1
L = i ~r = i (rer ) 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.90)
sin
54
Ly = i cos cot sin , (2.92)
Lz = i . (2.93)
Un operador importante es
~ L
L2 = L ~ = L2 + L2 + L2 . (2.94)
x y z
~yB
Antes de continuar notemos que si A ~ dependen de la variable u, entonces
A~B~ ~ ~
A ~ +A~ B ,
= B (2.96)
u u u
ademas de Eqs. (2.16)-(2.17) se llega a
e
= ( cos sin , cos cos , 0) = cos ( sin , cos , 0) = cos e ,
Tomando en cuenta esta dos ultimas igualdades, las expresiones Eqs. (2.90),
(2.16)-(2.18), se tiene
~ ~
e L
L 2
e = = i 2 (2.97)
~ ~
e L
L (e ) ~ 1 ~
e = L= i cos e L
sin
1 2
= i + cos
sin 2
55
ademas utilizando la igualdad
2
1 cos
sin = 2+ (2.98)
sin sin
se llega a
1 2
2 1
L = sin + . (2.99)
sin sin2 2
Note que con este resultado el Laplaciano en coordenadas esfericas Eq. (2.78)
se puede escribir como
L2
2 1 2
= 2 r 2 . (2.100)
r r r r
56
Captulo 3
El Factorial y la Funcion
Gamma
n! = n (n 1) (n 2) 2 1. (3.1)
es decir
57
Ahora, multiplicando y dividiendo este numero por (2n)!! se encuentra
(2n + 1) (2n) (2n 1) 2(n 1) (5) (4) (3) (2) (1)
(2n + 1)!! =
(2n) 2(n 1) (4) (2)
(2n + 1)! (2n + 1)!
= = ,
(2n)!! 2n n!
es decir
(2n + 1)!
(2n + 1)!! = . (3.6)
2n n!
Adicionalmente se puede definir el factorial para cualquier numero 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, en efecto obser-
vemos que se cumple
d t z
et tz = ztz1 et e t , (3.9)
dt
58
que implica
Z Z
t z
(z + 1) = e t dt = z tz1 et = z(z), (3.10)
0 0
es decir
(z + 1) = z(z). (3.11)
entonces
(n + 1) = n!. (3.13)
As, para cualquier numero complejo con Re(z k) > 0, definiremos el factorial
como
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)!
= = ,
2n+1 22n+1 n!
59
por lo que
1 (2n + 1)!
n+ != .
2 22n+1 n!
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!
de donde
1 (2n)!
n != .
2 22n n!
Tambien se puede calcular el factorial para numeros negativos, por ejemplo
1 1 1
! = 1 = = . (3.16)
2 2 2
De hecho, ocupando que la ecuacion (3.11) implica
(z + 1)
(z) = , (3.17)
z
se puede definir (z) para numeros negativos. Por ejemplo, si z = 21 , se
encuentra
1 21
1 1
= 1
= 2 = 2 . (3.18)
2 2
2
Similarmente, si 0 < < 1, podemos definir
(1 )
() = . (3.19)
La parte derecha de esta igualdad tiene sentido pues (1 ) > 0, as la parte
izquierda tiene sentido.
60
Si z + k > 0 la parte derecha de esta igualdad tiene sentido, por lo tanto la
parte izquierda esta bien definida, aun si z < 0. Por ejemplo, si z es de la
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.
61
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 de las ecuaciones diferenciales es el Wronskiano. Supongamos que
62
tenemos dos funciones f y g, el Wronskiano se define como
f g dg(x) df (x)
W (f, g)(x) = df dg (x) = f (x) g(x), (4.3)
dx dx dx dx
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) dY1 (x) dY1 (x)
Y2 (x) Y2 (x) + P (x) Y1 (x) Y2 (x) = 0,
dx2 dx dx dx
dW (Y1 , Y2 )(x)
+ P (x)W (Y1 , Y2 )(x) = 0, (4.10)
dx
cuya solucion es
R
W (Y1 , Y2 )(x) = Ce P (x)dx
, C = constante. (4.11)
63
Como la funcion exponencial nunca se anula, si el Wronskiano es cero en un
punto, implica que C = 0. Por lo tanto, si el Wronskiano es cero en un punto,
es cero en cualquier otro punto. Claramente tambien es cierto que si el Wrons-
kiano es diferente de cero en un punto, es diferentes de cero en cualquier otro
punto. Ademas, si el Wronskiano es diferente de cero no puede cambiar de
signo, pues 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 unica solucion a (4.12) es la trivial y
por lo tanto, 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
64
dY1 (x) dY1 (x)
Ahora como dx
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
queramos demostrar.
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 obtiene,
65
A esta ecuacion se le llama forma norma de Eq. (4.5). Note que la solucion de
Eq. (4.18) es
1
R
v(x) = ce 2 dxP (x)
, c = constante (4.21)
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 Eq.
(4.5) 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
Eq. (4.5) basta estudiar los ceros de la ecuacion diferencial Eq. (4.22). Antes de
entrar en detalles formales observemos que Eq. (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
Eq. (4.24) tienen un numero infinito de ceros. Ahora, si < 0 tenemos una
fuerza repulsiva y una partcula bajo su influencia a lo mas puede pasar una
vez por el cero. Por lo tanto podemos, afirmar que, si < 0 las soluciones de
Eq. (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 Eq. (4.22) a lo mas tienen un cero. Para demostrar esta
afirmacion, primero notemos que, desde el punto de vista fsico Eq. (4.23) re-
presenta una partcula bajo una fuerza repulsiva. Por lo que, si existe x0 tal
66
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 Eq. (4.22) a lo mas tienen un cero.
67
un numero finito de ceros, que implica que los ceros de Y (x) deben formar un
conjunto numerable.
dY (x) dY (x)
W (Y, Y )(x) = Y (x) Y (x). (4.28)
dx dx
Se puede probar que considerando Eq. (4.26) y Eq. (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
68
signo positivo en el intervalo [a1 , a2 ]. Ahora, si Y (x) < 0 en [a1 , a2 ], enton-
ces (q(x) q(x)) Y (x)Y (x) < 0 y al integrar Eq. (4.29) se encuentra que
W (a2 ) < W (a1 ). Pero de Eq. (4.31) se tiene 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 intervalo [a1 , a2 ] y por lo tanto
debe tener un cero en ese intervalo.
d2 Y (x)
+ q(x)Y (x) = 0, (4.32)
dx2
d2 Y (x)
2
+ k 2 Y (x) = 0, k = constante, (4.33)
dx
2
y se cumpleh q(x) > ki . Como las soluciones de Eq. (4.33) tienen ceros en los
intervalos nk
, (n+1)
k
, podemos afirmar que las soluciones de Eq. (4.32) tam-
bien tienen ceros en esos intervalos.
Los resultados que hemos visto nos sirven para estudiar los ceros de las
soluciones 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)
+ q(x)u(x) = 0, (4.35)
dx2
con
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 numero infinito de ceros.
69
cuyas soluciones son {sin x, cos x}. La distancia entre dos ceros consecutivos
para estas funciones es .
70
Si no se cumple ninguna de estas condiciones se puede pedir que p(x) cumpla
p(a) = p(b) = 0. (4.43)
La afirmacion importante aqu es que si 1 (x) es solucion de Eq. (4.40) con
1 y 2 (x) es solucion de Eq. (4.40) con 2 y ademas se satisfacen una de las
condiciones Eqs. (6.72)-(4.43), entonces se cumple
Z b
(1 2 ) dxq(x)2 (x)1 (x) = 0.
a
71
Restando estas dos ultimas 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 Eq. (4.40) que satisfacen alguna de las condicio-
nes Eqs. (6.72)-(4.43) son un conjunto de funciones ortonormales con funcion
de peso q(x). En los proximos captulos veremos varias aplicaciones de este
resultado.
72
Captulo 5
Funciones de Bessel
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 [18], es decir
propondremos soluciones de la forma
X X
R(z) = z m an z n = an z n+m , 6 0.
a0 = (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
73
dR(z) X X
z = z (n + m)an z n+m1 = (n + m)an z n+m
dz n0 n0
X
= ma0 z m + (m + 1)a1 z m+1 + (n + m)an z n+m ,
n2
2
d R(z) X
z2 = z 2
(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
2
2d
R(z) dR(z) 2 2
z + z + z R(z) =
dz 2 dz
= a0 2 + m + m(m 1) z m + a1 2 + (m + 1) + (m + 1)m z m+1
Xh i
(n + m)(n + m 1) + (n + m) an + an2 z n+m
2
+
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)
74
Ademas, considerando
75
3.2
2.4
1.6
0.8
J2
-4.8 -4 -3.2 -2.4 -1.6 -0.8 0 0.8 1.6 2.4 3.2 4 4.8
J0
J1 -0.8
-1.6
-2.4
-3.2
se tiene
()n
a2n = . (5.16)
22n n!(n )!
que son las llamadas funciones de Bessel. Se puede observar que ocupando la
funcion Gamma, (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
76
Ahora, para el caso en que es un natural, = m, probaremos que se
cumple
77
Para probar esta igualdad primero note que
zt
X 1 zt k X tk z k
e 2 = = ,
k0
k! 2 k0
k! 2
z
X 1 z j X ()j tj z j
e 2t = = ,
j0
j! 2t j0
j! 2
k0
k! 2 j0
j! 2
X X tkj ()j z k+j
= .
k0 j0
k!j! 2
de donde
X
eiz sin = Jn (z)ein . (5.26)
nZ
Adicionalmente, como sin( + 2 ) = cos y ei 2 = i, se llega a
X
eiz cos = (i)n Jn (z)ein , (5.27)
nZ
78
Ademas, considerando que si m y n son enteros se tiene
Z
deim ein = 2nm (5.28)
entonces
Z
1
Jn (z) = dei(z sin n) . (5.29)
2
entonces
d (z J (z)) X ()n 2(n + ) z 2(n+)1 X ()n z 2n+1
= = z
dz n0
n!(n + )! 22n+ n0
n!(n + 1)! 22n+1
X ()n 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+
de donde
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
X ()n z 2n++1
= ()z
n0
n!(n + + 1)! 2
= ()z J+1 (z),
80
Para probar las identidades Eqs. (5.34)-(5.35) ocuparemos induccion. Pri-
mero haremos la prueba de Eq. (5.34). Para n = 0 esta igualdad es correcta,
por lo que la base inductiva esta demostrada. Para el paso inductivo debemos
suponer Eq. (5.34) y probar
n+1
1 d
(z J (z)) = z (n+1) J(n+1) (z).
z dz
81
Las identidades Eqs. (5.32)-(5.35) tambien se pueden escribir como
dJ (z)
J1 (z) = + J (z), (5.36)
dz z
dJ (z)
J+1 (z) = J (z), (5.37)
dz z
n
n 1 d
Jn (z) = z (z J (z)) , (5.38)
z dz
n
1 d
n +n
z J (z) .
J+n (z) = () z (5.39)
z dz
Estas identidades son importantes para las aplicaciones.
es decir
1/2
2
J 1 (z) = sin z. (5.40)
2 z
Ademas, considerando Eq. (5.18) y la serie de Taylor de la funcion cos z, se
obtiene
z 12 X (1)n z 2n z 12 X (1)n z 2n
J 1 (z) = =
n! n 12 ! 2
2 2 n0
2 n0 n!
(2n)! 2
2n 2 n!
1
2 2 X (1)n 2n
= z , (5.41)
z n0
(2n)!
82
por lo que
12
2
J 1 (z) = cos z. (5.42)
2 z
Usando Eqs. (5.39)-(5.40) se encuentra
12 n
n (n+ 12 ) 2 1 d sin z
Jn+ 1 (z) = () z . (5.43)
2 z dz z
De forma analoga, apelando a (5.39)-(5.40) se llega a
12 n
(n+ 21 ) 2 1 d cos z
J(n+ 1 ) (z) = z . (5.44)
2 z dz z
Adicionalmente, ocupando el resultado
1 1
cos n + = 0, sin n + = ()n , (5.45)
2 2
se encuentra
Jn+ 1 (z) cos n + 12 J(n+ 1 ) (z)
2 2
N(n+ 1 ) (z) =
sin n + 1
2
2
n+1
= () J(n+ 1 ) (z),
2
es decir
12 n
n+1 2 1 d
(n+ 12 ) cos z
N(n+ 1 ) (z) = () z .
2 z dz z
Las funciones de Hankel de orden n + 21 tienen la forma
(1,2)
H n+ 1 (z) = J(n+ 1 ) (z) iN(n+ 1 ) (z)
( 2) 2 2
12 n
n (n+ 12 ) 2 1 d sin z
= () z
z dz z
12 n
1 2 1 d cos z
i()n+1 z (n+ 2 )
z dz z
12 n
n (n+ 12 ) 2 1 d sin z cos z
= () z i
z dz z z
12 n
n (n+ 21 ) 2 1 d cos z i sin z
= () (i)z
z dz z
12 n iz
2 1 1 d e
= (i)()n z (n+ 2 ) ,
z dz z
83
entonces
12 n iz
(1,2) 2
n (n+ 12 ) 1 d e
H n+ 1 (z) = (i)() z .
( 2) z dz z
Definiremos las funciones esfericas de Bessel como
12
jl (z) = J(l+ 1 ) (z),
2z 2
12
nl (z) = N(l+ 1 ) (z), (5.46)
2z 2
12
(1,2) (1,2)
hl (z) = H l+ 1 (z),
2z ( 2)
de donde
l
1 d
l sin z
jl (z) = (z) , (5.47)
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.48)
z dz z
Estas funciones se usan en mecanica cuantica y electrodinamica.
5.5. Ortonormalidad
En el captulo anterior vimos que cada funcion de Bessel J (z) tienen un
numero numerable de races, n , que satisfacen J (n ) = 0. Ocuparemos este
resultado para probar que la integral del producto de dos funciones de Bessel
satisfacen una propiedad que llamaremos de ortonormalidad.
La ecuacion
d2 R (x) 1 dR (x) 2
2
+ + 2 R (x) = 0, (5.49)
dx2 x dx x
con el cambio de variable z = x se convierte en la ecuacion de Bessel Eq.
(5.1) que tiene la soluciones J (z), por lo que R (x) = J (x). Ademas, Eq.
(5.49) se puede escribir como
2
1 d dR (x) 2
x + 2 R (x) = 0, (5.50)
x dx dx x
84
es decir
2
d dR (x) 2
x + x R (x) = 0. (5.51)
dx dx x
En particular si = n se tiene la ecuacion
2
d dR (x) 2
x + xn R (x) = 0, (5.52)
dx dx x
que tiene las soluciones R (x) = J (n x). Note que esta ecuacion es del tipo
Sturm-Liuoville Eq. (4.40) y si 0, se cumplen las condiciones de borde de
Dirichlet
de donde
Z 1
dxxJ (n x)J (m x) = nm a2 , a = constante. (5.56)
0
Para calcular la constante a multilplicaremos Eq. (5.49) por 2x2 dRdx (x)
, de
donde
2
2
2 dR (x) d R (x) dR (x) dR (x)
0 = 2x 2
+ 2x + x2 2 2 2 R (x)
dx dx dx dx
2 2
2 d dR (x) dR (x) d
= x + 2x + x2 2 2 (R (x))2
dx dx dx dx
2 !
d dR (x) d d
= x2 2 (R (x))2 + x2 2 (R (x))2 ,
dx dx dx dx
85
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 22 x (R (x))2 = 0. (5.57)
dx dx
Por lo tanto,
!
1
Z 1 2
dR (x)
2 2
dxx (R (x))2 = x2 + (x2 2 2 ) (R (x))2 . (5.58)
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.63)
m0
2 2
86
por lo que
Z 1
2
an = dzzJ (n z)f (z). (5.64)
(J+1 (n ))2 0
87
la solucion general a esta ecuacion es
Z(z) = a ez + b ez . (5.67)
2 (, , z) 1 2 ()
1 R()
= + 2 + 2 = 0,
(, , z) R() () 2
as
2
1 2 ()
2 (, , z)
= = 0, (5.68)
(, , z) () 2
que implica
1 2 () 2 ()
= 2 , = 2 (), (5.69)
() 2 2
cuya solucion general es
() = A ei + B ei . (5.70)
2
1 R()
2 + 2 = 0,
R()
es decir,
2
1 R() 2
+ 2 R() = 0.
Con el cambio de variable = se encuentra
2
1 d dR()
+ 1 2 R() = 0, (5.71)
d d
que es la ecuacion de Bessel. De donde
R() = C J () + D J ().
(, , z), = a ez + b ez A ei + B ei (C J () + D J ()) .
88
Las constantes a , b , A , B , C , D de determina segun las condiciones de
borde del problema.
(, , z), = a ez + b ez A ei + B ei J ().
(, + 2, z) = (, , z), (5.72)
en consecuencia
que induce
ei2 = 1. (5.74)
Por lo tanto, debe ser un numero natural n. Esto implica que R() debe ser
de la forma
5.6.1. Ejemplo
Veamos un problema de electrostatica.
89
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 (, ). Calcularemos el potencial electrico en el in-
terior del cilindro suponiendo que no hay cargas en esa region.
(, , 0) = 0, (R, , z) = 0, (, , h) = V (, ). (5.76)
Como no hay fuentes dentro del cilindro, el potencial deber ser finito en el
interior. Ademas como el potencial debe ser univaluado, este debe ser de la
forma
que implica
nm
R = nm , = . (5.79)
R
90
Donde nm es la raz m-esima la funcion de Bessel de orden n. As, la funciones
R() son de la forma
nm
R() = Cn Jn . (5.80)
R
Note que Eq. (5.79) implica que Z(z) tome la forma
nm z nm z
Z(z) = anm e R + bnm e R (5.81)
por lo tanto,
nm z
nm z
nm z
Z(z) = anm e R e R = Anm sinh . (5.83)
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) .
n0 m0
R R
(, , h) = V (, )
XX nm h nm
= sinh Jn (Anm cos n + Bnm sin n) .
n0 m0
R R
91
Z 1
XX nm h kl nm
= sinh Bnm kn d Jk Jn
n0 m0
R 0 R R R
Z 1
X km h kl km
= sinh Bkm d Jk Jk
m0
R 0 R R R
X km h 1 2 kl h
= sinh Bkm lm (Jk+1 (kl ) = sinh Bkl (Jk+1 (kl ))2 ,
m0
R 2 R
entonces
Z 2 Z 1
2 kl
Bkl = d d sin kJk V (, ).
kl h 2 R R
sinh R
(Jk+1 (kl ) 0 0
u(z) = z c R(az b )
Por lo que
zc
w2 2 R(w) = a2 z 2b 2 z c u(z) = 2 a2 b2 z 2b 2 b2 u(z),
b
92
dR(w) d dz d c
= (z c 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
2
d R(w) dz d 1 du(z)
2
= cz cb u(z) + z cb+1
dw 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
2
zc 2
2 d R(w) du(z) 2 d u(z)
w = 2 c(c b)u(z) + (2c + 1 b)z +z .
dw2 b dz dz 2
De donde, como R(w) satisface la ecuacion de Bessel, se encuentra
d2 R(w) dR(w)
0 = w2 2 2
+ w + w R(w)
dw2 dw
zc 2
du(z) 2 d u(z)
= 2 c(c b)u(z) + (2c + 1 b)z +z
b 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 Eq. (5.84). Este resultado
tiene varias aplicaciones. Por ejemplo, consideremos la ecuacion de Airy
d2 u(z)
+ zu(z) = 0. (5.87)
dz 2
Note que si
1 3 2 1
c= , b= , a= , = (5.88)
2 2 3 3
Eq. (5.84) se convierte en Eq. (5.87). 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.89)
3 3 3 3
93
con A y B constantes.
se obtiene
13 13
~2
E 2mF
x=z , = , (5.92)
2mF F x ~2 x
~2 2
(x, t) g
i~ = + (x, t). (5.95)
t 2m x2 x2
94
Este sistema tiene aplicaciones en diferentes areas de la fsica. En este caso
tomaremos la propuesta
Et
(x, t) = ei ~ (x), (5.96)
~2 2
g
E(x) = + (x), (5.97)
2m x2 x2
95
(14.36), as la ecuacion de Fick se puede resolver con las tecnicas usadas pa-
ra resolver esta ultima ecuacion. Mas adelante se estudiara la ecuacion de calor.
D(x) = D0 = constante,
usando la propuesta p
C(x, t) = A(x)(x, t)
se obtiene
" !#
(x, t) 2 D0 1 A(x)
= D0 2 p p (x, t). (5.104)
t x 2 A(x) x A(x) x
con
!
2 D0 1 A(x)
H = D0 2 + p p . (5.106)
x 2 A(x) x A(x) x
el Hamiltoniano es
2 g
H = D0 2 + , g = 2 D0 ( 1) . (5.108)
x (a + x)2
96
Por lo que, usando el cambio de variable
z = a + x, (5.109)
se llega a
2 g
H = D0 2 2
+ 2, g = 2 D0 ( 1) . (5.110)
z z
Por lo tanto, la ecuacion a resolver es
2
2 g
E(x) = D0 + (x), g = 2 D0 ( 1) , (5.111)
z 2 z 2
que tiene la misma forma que la ecuacion (5.97). Entonces, usando los resulta-
dos de la seccion previa, se encuentra que concentracion de partculas esta dada
por
r !
2+1 E
C (x, t) = BeEt (a + x) 2 J( 21 ) (a + x) , (5.112)
2 2 D0
97
Captulo 6
98
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
Supongamos que C es el conjunto de los numeros complejos. 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 numero complejo, el producto por un escalar se 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
99
6.2.3. Matrices
Otra generalizacion de Cn es el espacio de matrices M(nm) de entradas
complejas
M11 M12 M1m
M21 M22 M2m
M = , Mij C, i = 1, n, j = 1, , m.
.. .. . . ..
. . . .
Mn1 Mn2 Mnm
M11 M12 M1m N11 M12 N1m
M21 M22 M2m N21 M22 N2m
M = .. , N = .. ,(6.20)
.. .. .. .. .. ..
. . . . . . . .
Mn1 Mn2 Mnm Nn1 Nn2 Nnm
6.2.4. Funciones
Otro ejemplo de espacio vectorial es el espacio de funciones f : [a, b] C.
Supongamos que tenemos dos funciones
f + g : [a, b] C, (6.23)
100
con la regla de correspondencia
f : [a, b] C, (6.25)
h|i : V V C, (6.27)
Esta igualdad es correcta pues considerando Eq. (6.30) y Eq. (6.31) se encuen-
tra
101
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
102
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 definen como (M T )ij = Mji . Ademas si N es otra Pn matriz de
n n las entradas de la matriz producto, M N, son (M N )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 ),
T r(N M ) = T r(M N ), (M N )T = N T M T ,
en efecto
n
X n
X
T T
Tr M = M ii
= Mii = T r (M ) ,
i=1 i=1
n
X n
X n
X n
X
T r(M + N ) = (M + N )ii = (Mii + Nii ) = Mii + Nii
i=1 i=1 i=1 i=1
= T r(M ) + T r(N ),
Xn Xn Xn n X
X n
T r (M N ) = (M N )aa = Mab Nba = Nba Mab
a=1 a=1 b=1 a=1 b=1
n n
! n
X X X
= Nba Mab = (N M )bb = T r(N M ),
b=1 a=1 b=1
n
X n
X
T
(M N ) ij
= (M N )ji = Mjk Nki = Nki Mjk
k=1 k=1
n
X
T T
= NT MT
= N ik
M kj ij
.
k=1
103
Definiremos el producto escalar entre matrices como
hM |N i = T r M T N .
(6.39)
El primer axioma se cumple, pues
n
X n X
X n
T T
M T
hM |M i = 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
104
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, en efecto
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 |g1 i + hf |g2 i .
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, Eq. (6.43) es un producto escalar para el espacio vectorial de las
funciones.
105
implica ai = 0. Ademas, ee dice que un conjunto de vectores, {vi }ni=1 , es orto-
normal si
hvi |vj i = ij , i, j = 1, 2, . . . , n. (6.45)
Si un conjunto de vectores es ortonomal, entonces es linealmente independiente.
En efecto, supongamos que {a1 , a2 , , an } son un conjunto de escalares tales
que se cumple Eq. (6.44), entonces como los vectores son ortonormales,
* n + n n
X X X
0 = hvj |0i = vj ai vi = hvj |ai vi i = ai hvj |vi i
i=1 i=1 i=1
n
X
= ai ij = aj ,
i=1
En efecto
* n n + n X
n
X X X
hv|vi = ai vi aj vj = hai vi |aj vj i
i=1 j=1 i=1 j=1
n
XX n n
XX n n
X
= ai aj hvi |vj i = ai aj ij = |ai |2 . (6.47)
i=1 j=1 i=1 j=1 i=1
es ortonormal a n
X
w2 = v hvj |vi vj .
j=1
106
Esta afirmacion se satisface, pues
* 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
Xn Xn X n
= hvi |vi hvi |vi hvi |vi hvj |vi ij
i=1 i=1 j=1
Xn Xn
= hvi |vi hvi |vi hvi |vi hvi |vi = 0.
i=1 i=1
107
6.6.1. Desigualdad de Bessel
Note que el teorema de Pitagoras implica la desigualdad
n
X
| hvi |vi |2 hv|vi , (6.52)
i=1
es decir
p p 2
hv + w|v + wi hw|wi + hv|vi (6.57)
108
6.7. Espacios normados
Sea V un espacio vectorial y || || una funcion de V en los reales. Se dice
que (V, || ||) es un espacio normado si
I) ||v|| 0,
II) ||v|| = 0, v = 0,
III) ||v|| = ||||v||,
IV ) ||v + w|| ||v|| + ||w||.
(6.58)
Note que si V es un espacio vectorial con producto escalar, entonces se
puede definir un espacio normado con la norma dada por
p
||v|| = hv|vi. (6.59)
En efecto, las propiedades I) y II) se cumplen, pues por los axiomas de pro-
ducto escalar se tiene que hv|vi 0 y hv|vi = 0 v = 0. La propiedad
III) se cumple pues, si es un escalar, se tiene
p p p
||v|| = hv|vi = hv|vi = ||2 hv|vi
p
= || hv|vi = || ||v||. (6.60)
La propiedad IV ) tambien se cumple pues, ocupando la desigualdad del triangu-
lo se encuentra
p 2
hw|wi + hv|vi = (||w|| + ||v||)2 ,
p
||v + w||2 = hv + w|v + wi
es decir
||v + w|| ||w|| + ||v||.
Por lo tanto, un espacio vectorial
p con producto escalar es un espacio normado
con la norma dada por ||v|| = hv|vi.
109
Ademas, la desigualdad de Bessel toma la forma
n
X
| hvi |vi |2 ||v||2 , (6.63)
i=1
y la desigualdad de Schwarz es
|hw|vi| ||w|| ||v||. (6.64)
110
6.8. Ejemplos de bases ortonormales
En esta seccion veremos diferentes conjuntos de funciones que forman una
base ortonormal.
ein
n () = (6.67)
2
definidas en el intervalo [0, 2], aqu n es un numero entero. Este conjunto de
funciones es ortonormal. En efecto
Z 2 Z 2
1
hn ()|m ()i = d (n ()) m () = dei(mn) . (6.68)
0 2 0
Si m = n, es claro que
Z 2 Z 2
1 i(nn) 1
de = d = 1. (6.69)
2 0 2 0
Adicionalmente, 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,
111
que satisfacen la condiciones de Dirichlet
o las de Neumann
d(x) d(x)
= =0 (6.73)
dx x=a dx x=b
se encuentra que
Z b
(1 2 ) dxq(x)2 (x)1 (x) = 0.
a
(x)
(6.77)
cumplen
Z b
dxq(x)1 (x)2 (x) = 1 2 . (6.78)
a
Se dice que las soluciones de Eq. (6.71) que satisfacen alguna de las condiciones
Eqs. (6.72)-(6.74) son un conjunto de funciones ortonormales con funcion de
peso q(x).
112
6.8.3. Ecuacion 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 0 (x) es solucion con la contante E 0 , entonces
Z b
hE (x)|E 0 (x)i = dxE (x)E 0 (x) = EE 0 . (6.80)
a
113
Por lo tanto, multiplicando E 0 por Eq. (6.82) y E por Eq. (6.84) se encuentra
~2 2
0 E + U (x, y, z)E 0 E = EE 0 E ,
2m E
~2
E 2 E 0 + U (x, y, z)E E 0 = E 0 E E 0 ,
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 0 E E 0 E + U E 0 E = EE 0 E ,
2m
~2 ~ ~ ~
~ E 0 + U E E 0 = E 0 E E 0 ,
E E 0 E
2m
restando estas ecuaciones se encuentra
~2 ~ ~
~ 0 = (E E 0 ) 0 E .
E 0 E E E E
2m
Integrando esta ultima ecuacion sobre el volumen V y usando el teorema de
Gauss Eq. (1.6), se tiene
~2
Z I
0
(E E )
dvE 0 E = ~ E E
da E 0 ~ 0 n = 0, (6.87)
E
V 2m
es decir
Z
0
(E E ) dvE 0 E = 0. (6.88)
V
114
6.8.5. Armonicos esfericos
Otro ejemplo esta en las funciones propias del operado L2 ,
L2 Y (, ) = Y (, ),
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
!
sin2 L2 Y (, ) 1 2 ()
sin ()
= sin +
Ym (, ) () () 2
= sin2 , (6.91)
que implica
!
sin2 L2 Y (, ) 1 2 ()
= = 0, (6.92)
Ym (, ) () 2
entonces
1 2 ()
= m2 = constante, (6.93)
() 2
es decir
2 ()
2
= m2 (). (6.94)
Sustituyendo Eq. (6.93) en Eq. (6.91), se llega a
sin ()
sin m = sin2 ,
2
(6.95)
()
115
que se puede escribir como
m2
()
sin + sin () = 0. (6.96)
sin
m2
p() = sin , q() = sin , r() = . (6.97)
sin
Ademas como p(0)) = sin 0 = p() = sin = 0, las soluciones de Eq. (6.96)
son ortormales en el intervalo [0, ] con funcion de peso sin , es decir
Z
d sin Pm0 (cos )Pm (cos ) = m 0 , m = constante > 0. (6.98)
0
m () = A0 eim (6.99)
son soluciones de Eq. (6.94). En particular si todas las m son enteros el conjunto
de funciones
eim
m () = (6.100)
2
son ortonormales en intervalo [0, 2], como fue mostrado en Eq. (6.70). As, si
el conjunto de las m esta en los enteros, las funciones
1
Ym (, ) = eim Pm (cos ) (6.101)
m 2
116
Z 2 Z
1 0 0 1
= d d sin eim Pm0 (cos ) eim Pm (cos )
0 0 0
m 0 2 m 2
Z 2 Z
1 1 0 0
= deim eim d sin Pm0 (cos )Pm (cos )
0 m0 m 2 0 0
Z
1 0
= mm0 d sin Pm0 (cos )Pm (cos )
0 m0 m
Z 0
1
= mm0 d sin Pm0 (cos )Pm (cos )
0 m m 0
1
= mm0 m 0
0 m m
1
= m 0 = mm0 0 ,
m m
es decir
hY0 m0 (, )|Ym (, )i = mm0 0 . (6.102)
Aun no sabemos cual es la forma explcita las funciones Ym (, ), pero po-
demos decir que son un conjunto de funciones ortornales. Posteriormente ocu-
paremos este hecho para encontrar la forma explcita de estas funciones. Cabe
senalar que las funciones Ym (, ) son importantes para diferentes areas de la
fsica, como la mecanica cuantica y la electrodinamica.
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.104)
i=1
117
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.106)
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.107)
a
Ademas, como
se tiene
De donde,
n
X n
X
2 2 2
||F Tn || = ||F || + |bi ai | |ai |2 . (6.111)
i=1 i=1
118
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.112)
i=1
Esta desigualdad Pse llama la desigualdad de Bessel, la cual implica que la su-
n
cesion ||Tn || = i=1 |ai |2 esta acotada.
2
119
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 los terminos mas im-
portantes son el monopolo, dipolo, cuadrupolo. Posteriormente veremos ejem-
plos 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.118)
a
120
Por ejemplo, con g(k, x) = eikx se define la transformada de Fourier
Z
f (k) = dxeikx f (x). (6.119)
Para cada funcion, g(k, x), bien portada se puede definir una transformada
integral.
121
son lineales, entonces tambien lo son
2 2 2
, , . (6.123)
x2 y 2 z 2
Esto implica que el operador Laplaciano
2 2 2
2 = + + (6.124)
x2 y 2 z 2
~2 2
H= + V (x, y, z) (6.125)
2m
es lineal, esto se debe a que es combinacion lineal de opeadores lineales. Ademas
las variables
x, y, z (6.126)
es lineal.
hAv|ui = v|A u ,
(6.127)
122
6.12.1. Matrices
Por ejemplo, para Cn se tiene
de donde, para una matriz cuadrada con entradas complejas la matriz adjunta
es
A = AT . (6.129)
6.12.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
del producto escalar. En el espacio de las funciones suaves e integrables (x)
definidas en el intervalo [a, b] y que cumplen (a) = (b) = 0. se puede definir
el operador
A= , (6.130)
x
con un numero complejo. Veamos cual es el operador adjunto de este ope-
rador, para ello tomaremos el producto escalar Eq. (6.43) con 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
123
entonces
= . (6.131)
x x
Note que este resultado depende fuertemente de que se cumpla (a) = (b) =
0.
ahora
D E Z b
1 |A 2 = dxq(x)1 (x)A 2 (x),
a
de donde
A = . (6.135)
q(x) x
124
6.12.4. Propiedades del operador adjunto
Hay dos propiedades importantes de los operadores adjuntos. La primera
propiedad esta relacionada con las suma. Si A, B son dos operadores lineales,
se tiene
D E
h(A + B) v|ui = v| (A + B) u , (6.136)
pero
h(A + B) v|ui = h(Av + Bv) |ui = hAv|ui + hBv|ui
= v|A u + v|B u = v| A + B u .
Por lo tanto,
D E
v| (A + B) |u = v| A + B u ,
que implica
(AB) = B A . (6.138)
125
6.13.1. Ejemplos de matrices Hemticas
De (6.129) se puede ver que una matriz de Cn Hermtica cumple
()T = . (6.141)
son Hermticas.
1 2 ~2 2
H= P + V (~r) = + V (~r)
2m 2m
126
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.14. Conmutador
Supongamos que tenemos los operadores lineales A y B, entonces definire-
mos el conmutador como
127
de donde
Este resultado es valido para cualquier funcion, por lo que se suele escribir
[x, y] = 0. (6.150)
que implica
[px , py ] = 0. (6.153)
por lo tanto,
[y, px ] = 0. (6.155)
128
Con los mismos argumentos se encuentra
[y, pz ] = [x, py ] = [x, pz ] = [z, px ] = [z, py ] = 0. (6.156)
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.157)
Como este resultado es valido para cualquier funcion, se escribe
[x, px ] = i. (6.158)
Tambien se tiene
[y, py ] = i, [z, pz ] = i. (6.159)
Si definimos
x1 = x, x2 = y, x3 = z,
p1 = i , p2 = i , p3 = i , (6.160)
x1 x2 3
las anteriores reglas de conmutacion se pueden escribir como
[xi , xj ] = [pi , pj ] = 0 [xi , pj ] = iij . (6.161)
Salvo un factor de ~, estas son las reglas de conmutacion que propuso Heisen-
berg como base de la mecanica cuantica.
129
La identidad Eq. (6.162) es valida pues c es un numero. La prueba de Eq.
(6.163) es
[B, A] = BA AB = (AB BA) = [A, B] .
Mientras que la prueba de Eq. (6.164) 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 Eq. (6.165).
6.14.2. Ejercicio
Para tener un poco de practica con los conmutadoremos calcularemos las
reglas de conmutacion del momento angular Eq. (2.89), cuyas componentes se
pueden escribir como
Lx = ypz zpy ,
Ly = zpx xpz ,
Lz = xpy ypx .
130
De donde aplicando las propiedades de los conmutadores y considerando Eq.
(6.161) 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.167)
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.168)
Es decir,
131
Por lo tanto, L2 conmuta con cualquier componente del momento angular
2
L , Lx = L2 , Ly = L2 , Lz = 0.
(6.170)
entonces
A, B k = kB k1 A, B k+1 = (k + 1)B k .
= (6.174)
= (k + 1)B k ,
Para ver de forma mas explcita esta afirmacion, supongamos que tenemos
la funcion
X
f (x) = bn x n ,
n0
132
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.175)
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
Estas igualdades son de gran utilidad para obtener ecuaciones de movimiento
en mecanica cuantica. En efecto, dado un Hamiltoniano H las ecuaciones de
movimiento se definen como
ix = [x, H] ,
ip = [p, H] , (6.176)
133
6.16. 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.178)
x
que son las funciones de la forma f (x) = A0 ex , A0 = constante. En la fsica
matematica es importante obtener las funciones propias y valores propios de
diferentes operadores, como el momento angular Eq. (2.99)
L2 Ym = Ym , Lz Ym = mYm , (6.179)
y el operador Hamiltoniano
~2 2
H (~r) = + V (r) (~r) = E (~r) . (6.180)
2m
= . (6.181)
134
De la misma forma, como L2 es Hermtico, la ecuacion diferencial
1 2
2 1
L Y (, ) = sin + Y (, ) = Y (, )
sin sin 2 2
solo tiene solucion si es un numero 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.182)
Por ejemplo, el operador derivada tiene espectro no degenerado, pues todas las
soluciones de Eq. (6.178) 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.
135
Captulo 7
136
d
= (xi xj xj xi ) + (xj xi xi xj )
dt
d
= ([xi , xj ]) + [xj , xi ] = [xj , xi ], (7.4)
dt
es decir,
[xi , xj ] = [xj , xi ]. (7.5)
Por lo tanto, de la segunda ley de Newton Eq. (7.1) se obtiene
[xi , Fj ] = [xi , mxj ] = m[xj , xi ]. (7.6)
Usando esta ecuacion y la propiedad antisimetrica de los conmutadores, se
llega a
[xi , Fj ] = m[xj , xi ] = m[xi , xj ] = [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 del tensor de Levi-
Civita y un vector, ver Eq. (1.69). As, sin perdida de generalidad podemos
proponer
i~
[xi , Fj ] =
ijk Bk . (7.8)
m
Note que de Eq. (7.6) y Eq. (7.8) se obtiene
i~
[xi , xj ] =
ijk Bk . (7.9)
m2
En principio Bk puede depender de la velocidad, sin embargo, por la identidad
de Jacobi
[xi , [xj , xk ]] + [xk , [xi , xj ]] + [xj , [xk , xi ]] = 0, (7.10)
las reglas de conmutacion Eqs. (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 Eq. (7.8)
implica que Fi debe ser de la forma Fi = ijk xj Bk . Note que la igualdad Eq.
(7.8) se sigue cumpliendo 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 xj Bk , (7.12)
que es exactamente la fuerza de Lorentz.
137
7.2. Inexistencia de monopolos magneticos
Ahora, veremos la ley de inexistencia de monopolos magneticos. De Eq.
(7.6) y Eq. (7.8) se obtiene
lij lij i~ i~
lij [xi , xj ] = [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 [xi , xj ]. (7.14)
2~
Ademas, notemos que con los operadores A1 , A2 , A3 la identidad de Jacobi se
puede escribir como
es decir,
138
Tambien se puede ver que se cumple
Bl Bl
Bl = + xm . (7.19)
t xm
As, considerando Eqs. (7.14), (7.18) y (7.9) se encuentra
d im2 im2
Bl Bl d
Bl = + xm = lij [xi , xj ] = lij (xi xj xj xi )
t xm dt 2~ 2~ dt
2
im
= lij (xi xj + xi xj xj xi xj xi )
2~
im2 im
= lij ([xi , xj ] + [xi , xj ]) = lij [mxi , xj ]
2~ ~
im im
= lij [Fi , xj ] = lij [Ei + irs xr Bs , xj ]
~ ~
im
= lij ([Ei , xj ] + irs [xr Bs , xj ])
~
im
= lij j Ei + lji irs (xr [Bs , xj ] + [xr , xj ]Bs )
~
~ E
~ + im i~ B s
= (lr js ls jr ) xr + [xr , xj ]Bs
l ~ m xj
B B
im im
~ E ~ xl s l
= xj + [xl , xj ]Bj [xr , xr ]Bl
l xs xj ~ ~
~ ~
~ ~
Bl 1
= E xl B + xm ljr Br Bj
l xm m
~ E
~ + xm B l
= . (7.20)
l xm
Por lo tanto, igualando Eq. (7.19) con Eq. (7.20) se tiene
~
~ = B ,
~ E (7.21)
t
que es la ley de Faraday.
139
Captulo 8
Series de Fourier
140
Z
dx cos lx = 0 (8.11)
0
141
8.2. Relaciones de ortonormalidad
Con las funciones trigonometricas
1 cos nx sin nx
{(x)} = , , , n = 1, 2, 3 , (8.25)
2
se puede construir una base de funciones ortonormal en el intervalo [, ].
Para mostrar esta afirmacion, primero notemos que
Z 2 Z
1 1 2
dx = dx = = 1.
2 2 2
Ademas, considerado Eqs. (8.9)-(8.10) se encuentra
Z Z
1 sin nx 1 cos nx
dx = dx = 0. (8.26)
2 2
Esto nos indica que la funcion constante 1/ 2 es ortogonal a las funciones
{cos nx, sin nx}.
142
Ademas, se cumplen
Z
1
Z
cos nx cos nx
dx = dx cos nx cos nx
Z
1
= dx cos(n n)x + cos(2n)x
2
Z Z
1 1
= dx + dx cos(2n)x = 1,
2 2
Z
1
Z
sin nx sin nx
dx = dx sin nx sin nx
Z
1
= dx cos(n n)x cos(2n)x
2
Z Z
1 1
= dx dx cos(2n)x = 1.
2 2
En resumen tenemos
Z
sin mx sin nx
dx = nm , (8.28)
Z
cos mx cos nx
dx = nm , (8.29)
Z 2
1
dx = 1, (8.30)
2
Z
sin mx cos nx
dx = 0, (8.31)
Z
1 cos nx
dx = 0, (8.32)
2
Z
1 sin nx
dx = 0. (8.33)
2
Por lo tanto, el conjunto de funciones Eq. (8.25) son un conjunto de funciones
ortornales en el intervalo [, ].
143
con los coeficientes de Fourier dados por
Z
1 1
a0 = f (x) = dx f (x),
2 2
Z
cos nx cos nx
an = f (x) = dx f (x),
Z
sin nx sin nx
bn = f (x) = dx f (x). (8.35)
8.3. Ejemplos
En esta seccion veremos varios ejemplos de series de Fourier
Ademas
Z
sin nx 1
bn = |x = dx (sin nx) x,
se llega a
1 1 2 2
bn = x cos nx sin nx = cos n =
()n .
n n n n
As,
X 2 sin nx X ()n
x= ()n =2 sin nx.
n1
n n1
n
144
La igualdad de Parseval Eq. (6.114) para este caso es
Z X
2
||x|| = x2 = b2n ,
n1
es decir,
3
2 3 X 4
Z
x
x2 = = = ,
3 3 n1
n2
de donde
X 1 2
= .
n1
n2 6
Por otros metodos, este resultado fue obtenido primero por Euler.
as
X 1 2
= .
n1
(2n 1)2 8
145
se encuentra
Z
cos nx 2 1
an = |x = dx (cos nx) x2 ,
Z
2 2 2()n+1 4 ()n
= dx (sin nx) x = = .
n n n n2
Por lo tanto,
2 3 1 X 4()n cos nx
2
x = +
3 2 2 n1 n2
2 X 4()n
= + cos nx.
3 n1
n2
de donde
X ()n+1 2
= .
n1
n2 12
146
1 sin(n + ) sin(n )
= +
n+ n
1 sin cos n + sin n cos sin n cos sin cos n
= +
n+ n
n n+1
() sin 1 1 2() sin
= =
n+ n n2 2
2()n sin
= .
2 n2
Por lo tanto,
2 sin 1 X 2()n sin
cos nx
cos(x) = +
2 2 n1 2 n2
!
2 sin 1 X ()n cos nx
= + , (8.38)
22 n1 2 n2
de donde
cos 1 X 2
= . (8.41)
sin n1
2 n2
147
Tambien se obtiene
Z xX X Z x 2 d XZ x d 2
2
d = = ln 1 2
2
0 n1 n
2
n1 0
n2 1 22 n1 0
d n
n
x
2 x2
X X
= ln 1 2 = ln 1 2
n1
n 0 n1
n
x2
= ln n=1 1 2 . (8.43)
n
La expresion Eq. (8.41) nos indica que Eq. (8.42) debe ser igual a Eq. (8.43).
De donde se obtiene
x2
sin x
ln = ln n=1 1 2 , (8.44)
x n
es decir
x2
sin x
= n=1 1 2 . (8.45)
x n
Definiendo z = x, se llega a
z 2
sin z
= n=1 1 . (8.46)
z n
Esta igualdad la dedujo por primera vez Euler. Sorprendentemente Feynman
encontro que esta expresion tiene aplicaciones en mecanica cuantica [23]
de donde
Z Z
1 x 1
an + ibn = dxe (cos nx + i sin nx) = dxex(1+in)
148
1 ex(1+in)
=
1 + in
1 e ein e ein 1 in n n
= = e () () e
1 + in (1 + n2 )
(1 in)()n
(1 in)()n
= e e = 2 sinh . (8.49)
(1 + n2 ) (1 + n2 )
Por lo tanto,
que implican
149
Z
r
1 2
dx cos nx = 0, (8.53)
0
Z r r
2 2
dx cos nx cos mx = nm . (8.54)
0
ademas
r r
21
Z Z
2 d
an = dx x cos nx = dxx sin nx
n 0 dx
r0 Z r Z
21 d 2 1 d
= dx (x sin nx) sin nx = 2
dx cos nx
n 0 dx n 0 dx
r
2 1
= 2
[()n 1] ,
n
de donde a2n = 0 y
r
2 2
a2n1 = .
(2n 1)2
Por lo tanto,
4 X cos(2n 1)x
x= . (8.56)
2 n1 (2n 1)2
150
8.5. Serie tipo seno
En un mismo intervalo puede haber diferentes base para el espacio de fun-
ciones. Por ejemplo, usando las identidades Eqs. (8.22)-(8.24), se puede mostrar
que se cumple
Z r r
2 2
dx sin nx sin mx = nm . (8.57)
0
Por lo tanto, el conjunto de funciones
(r )
2
{(x)} = sin nx (8.58)
de donde b2n = 0 y
r
2C 2
b2n1 = .
2n 1
As,
4C X sin(2n 1)x
C= . (8.61)
n1 2n 1
151
8.6. Intervalo arbitrario
Ahora estudiaremos el espacio de funciones en el intervalo [L, L]. En este
intervalo mostraremos que el conjunto de funciones
1 1 nx 1 nx
{(x)} = , cos , sin , n = 1, 2, 3 , (8.62)
2L L L L L
es ortonormal. Primero notemos que
Z L 2
1
dx = 1, (8.63)
L 2L
Z L
1 1 nx
dx sin = 0, (8.64)
L 2L L L
Z L
1 1 nx
dx cos = 0. (8.65)
L 2L L L
Ademas, con el cambio de variable
x
u= (8.66)
L
se encuentra
Z L x Z
L
dxf = duf (u). (8.67)
L L
152
Estas ecuaciones junto con Eqs. (8.63)-(8.63) nos indican que el conjunto de
funciones Eq. (8.62) forman un conjunto de funciones ortornales en el intervalo
[L, L].
153
En el intervalo [L, L] definiremos la delta de Dirac como
0 1 1X n
0
(x x ) = + cos (x x ) , (8.76)
2L L n1 L
de donde
Z L
f (x) = dx0 f (x0 ) (x x0 ) . (8.77)
L
Note que, bajo una integral, la delta de Dirac cambia la variable x0 por x.
En ese sentido la delta de Dirac es la generalizacion continua de la delta de
Kronecker Eq. (1.20).
Z L 2
1
dx = 1,
0 L
Z L r
1 2 nx
dx cos = 0,
0 L L L
Z L r r Z r r
2 nx 2 mx 2 2
dx cos cos = dx cos nx cos mx = nm .
0 L L L L 0
154
As, el conjunto de funciones Eq. (8.80) forman un conjunto de funciones or-
tornales en el intervalo [0, L].
En el intervalo [0, L], con la base (8.80) , definiremos la delta de Dirac como
nx0
0 1 2X nx
(x x ) = + cos cos , (8.86)
L L n1 L L
por lo tanto
Z L
f (x) = dx0 f (x0 ) (x x0 ) . (8.87)
0
155
mostraremos que este conjunto de funciones es ortonormal en el intervalo [0, L].
Ocupando el cambio de variable Eq. (8.67) y la igualdad Eq. (8.81), se encuen-
tra
Z L r r Z r r
2 nx 2 mx 2 2
dx sin sin = dx sin nx sin mx = nm .
0 L L L L 0
En el intervalo [0, L], con la base (8.88), definiremos la delta de Dirac como
nx0
0 2X nx
(x x ) = sin sin , (8.92)
L n1 L L
por lo tanto
Z L
f (x) = dx0 f (x0 ) (x x0 ) . (8.93)
0
156
8.9. Representacion compleja
En el intervalo [L, L] tambien podemos usar el conjunto de funciones
i nx
e L
{n (x)} = , n = 0, 1, 2, 3, . (8.94)
2L
Note que si n 6= m
(mn)x
L L
ei ei(mn) ei(mn)
Z Z
L
L
dxn (x)m (x) = =
L L 2L i(m n) 2L
nm mn
L () ()
= = 0, (8.95)
i(n m) 2L
si m = n se cumple
Z L
dxn (x)n (x) = 1. (8.96)
L
n = n . (8.99)
157
As, la delta de Dirac en el intervalo [L, L] toma la forma
0
n(xx )
X ei L
(x x0 ) = , (8.100)
2L
de donde
Z L
f (x) = dx0 f (x0 ) (x x0 ) . (8.101)
L
2 X(x) 2 Y (y)
22D (x, y) = Y (y) + X(x) = 0, (8.104)
x2 y 2
de donde
22D (x, y) 1 2 X(x) 1 2 Y (y)
= + = 0. (8.105)
(x, y) X(x) x2 Y (y) y 2
Por lo tanto,
1 2 X(x) 2 X(x)
= 2 , = 2 X(x), = constante. (8.107)
X(x) x2 x2
158
Usando este resultado en Eq. (8.105) se llega a
1 2 Y (y)
2 + = 0, (8.108)
Y (y) y 2
es decir
2 Y (y)
= 2 Y (y). (8.109)
y 2
8.10.1. Ejemplo
Suponga que tiene un sistema en dos dimensiones cuyo potencial electrico
satisface las condiciones de borde
159
implica A = 0. As, 0 (x, y) = Bx (C + Dy) . Ademas, si pedimos que
(0, y) = a c ey + d ey = 0
(8.118)
(L, y) = b sin L c ey + d ey = 0
(8.119)
se debe cumplir
sin L = 0, (8.120)
que se satisface si
n
= , n = 1, 2, 3, . (8.121)
L
De donde, las soluciones deben ser de la forma
r
n
y n
y 2 n
n (x, y) = cn e L + dn e L sin x. (8.122)
L L
Ahora, se puede observar que la condicion de borde Eq. (8.113) implica cn = 0.
As, las soluciones deben ser de la forma
r
n y 2 n
n (x, y) = an e L sin x. (8.123)
L L
Por lo tanto, las solucion mas general que cumple las condiciones de borde
Eqs. (8.113)-(8.114) es
r
X
n y 2 n
(x, y) = an e L sin x. (8.124)
n1
L L
160
que se cumple siempre y cuando
r Z L r Z L
2 n 2 n
an = dxV sin x= V dx sin x
L 0 L L 0 L
r Z L
2 L d n
= V () dx cos x
L n 0 dx L
r L r
2 L n 2 L
= V () cos x = V () [()n 1] , (8.126)
L n L L n 0
de donde
r
2 2V L
a2n1 = , a2n = 0. (8.127)
L (2n 1)
Sustituyendo estos resultados en Eq. (8.124), se obtiene
4V X 1 (2n1) (2n 1)
(x, y) = e L y sin x. (8.128)
n1 2n 1 L
161
que a su vez implican
1+
X 1 + ()n+1 n
ln = ln(1 + ) ln(1 ) =
1 n1
n
X 2n1
= 2 . (8.132)
n1
2n 1
Entonces
2V 1+
(x, y) = Im ln . (8.133)
1
Ademas, si definimos
1+ Im(z)
z= = |z|ei , tan = , (8.134)
1 Re(z)
se tiene que
ln z = ln |z| + i. (8.135)
As,
2V
(x, y) =
. (8.136)
Considerando la definicion de , tenemos
1+ (1 + )(1 ) 1 +
z = = =
1 |1 |2 |1 |2
1 + ei L (x+iy) ei L (xiy) ei L (x+iy) ei L (xiy)
=
|1 |2
y 2
1 + e L ei L x ei L x e L
=
|1 |2
2y y
1 e L + 2ie L sin 2x
L
= , (8.137)
|1 |2
entonces
y
2e L sin 2x
L
2 sin 2x
L
sin 2x
L
tan = = y y = . (8.138)
1 e
2y
L e L e L sinh y
L
Por lo tanto,
sin 2x
2V
(x, y) = tan1 L
. (8.139)
sinh y
L
162
8.11. Ecuacion de Poisson en dos dimensiones
con coordenas polares
En coordenas polares, la ecuacion de Laplace en dos dimensiones es
1 2
2 1
2D = + 2 2 = 0. (8.140)
Para resolverla propondremos (, ) = R()(), de donde
R() 2 ()
2 () R()
2D = + 2 = 0, (8.141)
2
que implica
2 22D 1 2 ()
R()
= + = 0. (8.142)
R() () 2
Por lo tanto,
2 22D 1 2 ()
= = 0, (8.143)
() 2
as
1 2 () 2 ()
= 2 , = 2 (), = constate. (8.144)
() 2 2
Sustituyendo este resultado en Eq. (8.142) se llega a
R() 2 R()
= 0, = 2 R(). (8.145)
R()
En consecuencia las ecuaciones a resolver son
2 ()
2 R()
= (), = 2 R(). (8.146)
2
Si = 0, para el sector angular se tiene
() = (A + B) , A, B = constante. (8.147)
163
es decir
R()
= C, C = constante, (8.149)
entonces
R() = C ln + D, D = constante. (8.150)
Por lo tanto,
0 (, ) = (A + B) (C ln + D) , A, B, C, D = constante. (8.151)
Si 6= 0, la parte angular tiene como solucion
() = a cos + b sin , a , b = constante. (8.152)
Para la parte radial propondremos R() = E , con E una contante. Al susti-
tuir esta propuesta en Eq. (8.146) se encuentra 2 = 2 , es decir = . As,
la solucion radial es
R() = c + d , c , d = constante. (8.153)
De donde, si 6= 0, las soluciones son
(, ) = (a cos + b sin ) c + d .
(8.154)
como (, ) y (, + 2) representan el mismo punto en el espacio, se debe
cumplir que
(, ) = (, + 2). (8.155)
Para el caso = 0 esta condicion implica B = 0, de donde
0 (, ) = C ln + D, C, D = constante. (8.156)
Si 6= 0, la condicion Eq. (8.155) impone que
cos ( + 2) = cos , sin ( + 2) = sin , (8.157)
que se satisfacen si n = , con n = 1, 2, 3, . Por lo tanto, las soluciones son
n (, ) = (an cos n + bn sin n) cn n + dn n .
(8.158)
Esto nos indica que, usando coordenas polares, la solucion general a la ecuacion
de Poisson en dos dimensiones es
a0 X an bn
cos n + sin n cn n + dn n . (8.159)
(, ) = C ln + +
2 n1
164
8.11.1. Formula de Poisson en dos dimensiones
Un cilindro infinito de radio R esta a potencial V () en su superficie.
Suponiendo que el potencial es finito en cualquier punto del espacio, muestre
que el potencial se puede escribir como
" 2 # Z 2
1 < d0 V (0 )
(, ) = 1 2 , (8.160)
2 >
0 1 2 > cos( ) + ><
< 0
Ahora, como el potencial debe ser finito en el exterior del cilindro, en esta
region debe tomar la forma
X An n
A0 Bn R
ext (, ) = + cos n + sin n . (8.162)
2 n1
que implica
V (0 ) 0
Z
A0 = a0 = d , (8.163)
2
Z
cos n0
an = An = V (0 ) d0 , (8.164)
Z
sin n0
bn = Bn = V (0 ) d0 . (8.165)
165
As, los potenciales son
a0 X an bn
n
int (, ) = + cos n + sin n ,
2 n1 R
X an n
a0 bn R
ext (, ) = + cos n + sin n ,
2 n1
Definamos
< 0
z= ei( ) < 1, (8.166)
>
de donde
<
Rez = cos( 0 ). (8.167)
>
As,
!
(0 )
Z
0V 1 X n
(, ) = d Re + z
2 n1
166
!
(0 )
Z
0V 1 X
= d 1+1+
Re zn
2 n1
Z !
V (0 ) 1 X n
= d0 Re + z
2 n0
Z 0
0 V ( ) 1 1
= d Re + . (8.168)
2 1+z
1 1 11z 1 (1 z)(1 + z ) 1 1 + z z z
+ = = = . (8.169)
2 1+z 21+z 2 |1 + z|2 2 |1 + z|2
Por lo tanto
2
1 1
1 1 <>
Re + = 2 . (8.171)
2 1+z 2
1 + 2 > cos( ) + <>
< 0
167
8.11.2. Cilindro infinito
Suponga que un cilindro infinito de radio R tiene en su superficie el poten-
cial
V ,
, 2
V 2 , 0 ,
V () = (8.172)
V 0, 2 ,
V 2 , .
Suponiendo que el potencial es finito en cual quier punto del espacio, mostrar
que el potencial en todo el espacio es
2
<
2V 2 > sin 2
(x, y) = tan1 4 , (8.173)
1 <>
2V 2V
b2n = (1 + cos n) = (1 + ()n ) ,
n n
de donde b2(2n) = 0 y
4V
b2(2n1) = . (8.174)
(2n 1)
168
Con la definicion
2
<
= ei2 , (8.175)
>
el potencial se puede escribir de la forma
!
4V X Im 2n1 4V X 2n1
(, ) = = Im .
n1 2n 1 n1
2n 1
se obtiene
2V 1+
(x, y) = Im ln . (8.176)
1
Ahora, si definimos
1+ Im(z)
z= = |z|ei , tan = , (8.177)
1 Re(z)
se encuentra
ln z = ln |z| + i, (8.178)
de donde
2V
(x, y) = . (8.179)
Ocupando la definicion de tenemos que
1+ (1 + )(1 ) 1 +
z = = =
1 |1 |2 |1 |2
2 4 4 2
1 + 2i >< sin 2 <> 1 <> + 2i <> sin 2
= =
|1 |2 |1 |2
entonces
2
<
2 >
sin 2
tan = 4 , (8.180)
<
1 >
169
de donde
2
<
2V 2 > sin 2
(x, y) = tan1 4 , (8.181)
1 <>
170
8.12.1. Pozo infinito
Suponga que el potencial es dado por
0 0 x L,
V (x) = (8.188)
x < 0, x > L.
Este potencial representa una partcula encerrada en una lnea de longitud L.
Como la partcula esta encerrada, se deben cumplir las condiciones de frontera
(0) = (L) = 0, que son condiciones de Dirichlet. Por lo tanto, Eq. (8.187)
es tipo Sturm-Llioville y sus soluciones deben formar una base ortonormal.
171
8.13. Ecuacion de Onda
La ecuacion de onda en una dimension es
2
1 2
(x, t) = 0. (8.197)
x2 c2 t2
Para resolver esta ecuacion propondremos la funcion (x, t) = T (t)X(x), al
sustituirla en Eq. (8.197) se obtiene
2 X(x) X(x) 2 T (t)
T (t) 2 = 0, (8.198)
x2 c t2
que implica
1 2 X(x) 1 2 T (t)
= , (8.199)
X(x) x2 T (t)c2 t2
de donde
1 2 X(x)
= 0, (8.200)
x X(x) x2
es decir
1 2 X(x)
= 2 , = constante, (8.201)
X(x) x2
al considerar este resultado en Eq. (8.199) se llega a
1 2 T (t)
= 2 . (8.202)
T (t)c2 t2
Por lo tanto, las ecuaciones a resolver son
2 T (t) 2 X(x)
= 2 c2 T (t), = 2 X(x). (8.203)
t2 x2
Si = 0, se tienen las soluciones
T (t) = (A + Bt) , X(x) = (C + Dx) , A, B, C, D = constante,
es decir
0 (x, t) = (A + Bt) (C + Dx) . (8.204)
Si 6= 0 se encuentra que
X(x) = (a cos x + b sin x) , T (t) = (c cos ct + d sin ct) ,
con a , b , c , d son constantes. De estas soluciones se tiene
(x, t) = (a cos x + b sin x) (c cos ct + d sin ct) . (8.205)
172
8.13.1. Cuerda con extremos fijos
Supongamos que tenemos una cuerda de longitud L con los extremos fi-
jos. Para este caso, las soluciones de la ecuacion de onda deben satisfacer las
condiciones de borde
es decir A = 0, ademas
es decir a = 0, ademas
173
por lo tanto
Z L r Z L r
2 nx 2 nx
cn = dx sin f (x) = dx sin (x, 0). (8.215)
0 L L 0 L L
Ademas,
r
(x, t) X nc 2 nx
= g(x) = dn sin , (8.216)
t t=0 n1
L L L
por lo tanto
Z L
r
L 2 nx
dn = sin dx g(x)
nc
0 L L
Z L r nx (x, t)
L 2
= dx sin .
nc 0 L L t t=0
8.13.3. Energa
La energa para una cuerda esta dada por
" 2 2 #
1 L
Z
1 (x, t) (x, t)
H= dx 2 + (8.217)
2 0 c t x
de donde
2 X X r nx r 2
1 (x, t) n l 2 lx
= sin sin
c2 t n1 l1
L L L L L L
nct nct lct lct
cn sin + dn cos cl sin + dl cos ,
L L L L
2 X X r nx r 2
(x, t) n l 2 lx
= cos cos
x n1 l1
L L L L L L
nct nct lct lct
cn cos + dn sin cl cos + dl sin ,
L L L L
174
ocupando las relaciones de ortormalidad se encuentra
Z L 2 X n 2 2
1 (x, t) nct nct
dx 2 = cn sin + dn cos ,
0 c t n1
L L L
Z L 2 X n 2 2
(x, t) nct nct
dx = cn cos + dn sin .
0 x n1
L L L
175
Captulo 9
9.1. Hamiltoniano
El operador Hamiltoniano para el oscilador armonico en una dimension es
1 2 m 2 2
H = p + x , x = x, p = i~ , (9.1)
2m 2 x
de donde la ecuacion de onda estacionaria es
~2 2 m 2 2
H(x) = + x (x) = E(x). (9.2)
2m x2 2
Esta ecuacion esta definida en el intervalo (, ) y se debe cumplir las con-
diciones de Dirichlet () = () = 0. Resolver este problema equivale a
176
encontrar las funciones propias (x) y los valores propios E.
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
por lo que
2
m 2 2
p
0 hf |Hf i = f
+ x f . (9.3)
2m 2
En particular si f = y H = E se tiene
0 E h|i . (9.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 unica solucion
con valor propio negativo es (x) = 0, en cualquier otro caso se debe cumplir
que E 0.
9.1.1. Ortonormalidad
Tambien podemos ver que Eq. (9.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 Eq. (9.2) con los valores propios Ea y Eb y ademas a () =
b () = 0, entonces se cumple
Z
(Ea Eb ) dxa (x)b (x) = 0. (9.5)
En particular, si Ea 6= Eb , tenemos
Z
dxa (x)b (x) = 0. (9.6)
Por lo que las funciones de onda con diferente valor propio son ortonormales.
Si Ea = Eb , entonces la integral
Z Z
dxa (x)b (x) = dxa (x)a (x)
177
es la norma de la funcion de onda, la cual supondremos que esta normalizada,
es decir,
Z
dx|a (x)|2 = 1. (9.7)
Por lo tanto, las funciones de onda del oscilador armonico forman una base
ortonormal.
178
por lo tanto,
1
H = ~ a a + . (9.13)
2
Ademas, se cumple
a, a = 1, (9.14)
pues
h i
1
, a = ~ a a, a = ~ a [a, a] + a , a a
H, a = ~ a a +
2
= ~ a , a a = ~a,
h
i
1
, a = ~ a a, a = ~ a a, a + a , a a
H, a = ~ a a +
2
= ~a a, a = ~a .
Ha = aH ~a, (9.16)
Ha = a H + ~a . (9.17)
179
satisfacen las ecuaciones
H(1) (x) = (E ~) (1) (x), (9.19)
H+(1) (x) = (E + ~) +(1) (x). (9.20)
Para probar estas afirmaciones primero notemos que de Eq. (9.16) se obtiene
H(1) (x) = Ha(x) = aH ~a (x) = aH(x) ~a(x)
= Ea(x) ~a(x) = (E ~) a(x) = (E ~) (1) (x),
mientras que de Eq. (9.17) se encuentra
H+(1) (x) = Ha (x) = a H + ~a (x) = a H(x) + ~a (x)
= Ea (x) + ~a (x) = (E + ~) a (x) = (E + ~) +(1) (x).
Por lo tanto, la funcion (1) (x) es funcion propia de H con valor propio
E ~, mientras que +(1) (x) es funcion propia de H con valor propio E + ~.
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.
180
as la igualdad Eq. (9.22) se satisface para cualquier n.
Para el caso de +n (x) debemos suponer Eq. (9.23) y probar que se cumple
Esta igualdad tambien es cierta, pues de Eq. (9.17) y Eq. (9.23) se encuentra
H+(n+1) (x) = Ha +(n) (x) = a H + ~a +(n) (x)
= a H+(n) (x) + ~a +(n) (x)
= (E + n~) a +(n) (x) + ~a +(n) (x)
= (E + n~ + ~) a +(n) (x)
= [E + (n + 1)~] +(n+1) (x).
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-
tisfce E(n) = E n~ < 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 numero infinito de posibles valores de n, pues si
(a)n (x) = 0, entonces tambien se cumple (a)n+1 (x) = 0.
181
a esta funcion le llamaremos estado base. Con el estado base se encuentra
1 ~
H0 (x) = ~ a a + 0 (x) = 0 (x) = E0 0 (x). (9.26)
2 2
Por lo que E0 = ~/2 es el valor propio de 0 (x), pero este valor propio debe
ser igual a E0 = E N ~, de donde
1
E = EN = ~ N + . (9.27)
2
Como (x) es cualquier estado propio de H, los valores propio E son discretos.
N
Ademas, si definimos N (x) = a 0 (x) y consideramos (9.23), se llega
a
1
HN (x) = (E0 + N ~)N (x) = ~ N + N (x). (9.28)
2
As, N (x) tiene el mismo valor propio que (x). Por lo tanto, (x) y N (x)
satisfacen la misma ecuacion diferencial de segundo orden con las mismas con-
diciones de borde, esto implica que estas funciones deben ser iguales.
0 (x) m
= x0 (x),
x ~
cuya solucion es
m x2
0 (x) = Ae ~ 2 , A = constante.
182
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 m 2
dx0 (x)0 (x) = dx Ae ~ 2 =A2
dxe ~ x = 1,
entonces
1
A = qR .
m x2
dxe ~
dye(x +y ) ,
2 2
= dx
De donde
Z r
x2
I= dxe = ,
Ahora,
n n
An a 0 (x)|An a 0 (x)n
hn |n i =
n n
= An An a 0 (x)| a 0 (x)n
n
= An An 0 (x)|an a 0 (x)
Z
n
= An An dx0 (x)(a)n a 0 (x). (9.32)
n n1
Como a, a = 1, se tiene a, a = n a
y entonces
n n
(a)n a 0 (x) = (a)n1 a a 0
n n n
(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 a0 (x)
n1
n(a)n1 a
= 0 (x). (9.33)
184
El maximo valor que puede tomar k es n, de donde
n
(a)n a 0 (x) = n!0 (x). (9.35)
as
1
An = . (9.37)
n!
Por lo tanto, las funciones de onda normalizadas son
1 n
n (x) = a 0 (x). (9.38)
n!
185
Note que
2
2
2 d
2
2 df 2
d e
e2 f e 2 = e 2 e 2 + f
d d d
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. (9.41)
d d
En general se cumple
n
dn
2 2
2 d
e 2 fe = f. (9.42)
d n d
que es lo que se queria demostrar, esto implica que Eq. (9.42) es valida para
cualquier numero natural n. Introduciendo el resultado Eq. (9.42) en Eq. (9.40)
186
se llega a
m 1/4 (i)n 2 n 2 2
n () = e 2 n e 2 e 2
~ n!2n
m 1/4 (i)n 2
2
n
2
= e 2 ()n e n
e . (9.44)
~ n!2n
2 n 2
Hn () = ()n e e . (9.45)
n
A esta expresion tambien se le llama formula de Rodrigues para los polinomios
de Hermite. En particular se tiene
H0 () = 1, H1 () = 2, H2 () = 2 + 4 2 , . (9.46)
187
9.5. Funcion 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
, (9.49)
n0
n! dz z=0
en particular
X tn n W (, t)
2tt2
W (, t) = e = n
. (9.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 . (9.51)
tn tn tn tn
Ademas, con el cambio de variable u = t se tiene
u
= = () , u|t=0 = . (9.52)
t t u u
Por lo tanto, considerando Eq. (9.45) se tiene
n (t)2 n u2
n W (, t)
2 e 2 n e
= e = e () un
tn
t=0 t n
t=0 u=
n 2 n 2
2 n e n 2 e
= e () = () e = Hn (), (9.53)
n n
188
recordemos los resultados
N
X N!
(a + b) N
= 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 X N
= CkN (2)N k ()k t2k+N k
N 0
N ! k=0
N
XX ()k
= CkN (2)N k tN +k .
N 0 k=0
N!
Para hacer mar facil el calculo, definamos n = N + k, entonces N = n k y
N k = n 2k. Note que el maximo valor que puede tener k es N, es decir
N k = n 2k 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 numero natural. En este
n caso el maximo valor que puede
tomar k es (n 1)/2. Definiremos como 2 como el maximo entero menor
o igual a n/2. Entonces, el maximo valor que puede tomar k es n2 . Por lo
tanto, si tomamos como variable de suma a n en lugar de N, se tiene
[ n2 ]
2tt2
XX ()k
W (, t) = e = Cknk (2)nkk tn
n0 k=0
(n k)!
X tn X [ n2 ]
()k n! nk
= Ck (2)n2k
n0
n! k=0
(n k)!
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=0
k!(n 2k)!
X tn
= Hn (). (9.55)
n0
n!
189
Entonces,
[ n2 ]
X ()k n!
Hn () = (2)n2k . (9.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). (9.59)
190
Adicionalmente, considerando Eq. (9.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
2tW (, t) = 2t Hn () = Hn ()
n0
n! n0
n!
X 2tn X tn
= Hn1 () = 2nHn1 (). (9.60)
n1
(n 1)! n1
n!
De donde,
dHn ()
= 2nHn1 (). (9.61)
d
dHn1 ()
Hn () = 2Hn1 () . (9.62)
d
Derivando esta igualdad con respecto a , se llega a
191
Ademas, usando Eq. (9.61) se encuentra
dHn1 () d2 Hn1 ()
2nHn1 () = 2Hn1 () + 2 (9.64)
d d 2
que se puede escribir como
d2 Hn () dHn ()
2
2 + 2nHn () = 0, (9.65)
d d
esta es la llamada ecuacion de Hermite.
192
para el caso general, propondremos como solucion
2
() = e 2 (), (9.70)
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 () . (9.71)
d 2 d 2 d
Sustituyendo Eq. (9.71) en Eq. (9.67) se encuentra
2
2
2 d () d() 2
2
2 2
e () 2 + 1 () + e ()
d 2 d
2E 2 2
= e 2 ().
~
De donde
d2 () d() 2E
2
+ 2 + () = (), (9.72)
d d ~
es decir
d2 ()
d() 2E
2
2 + 1 () = 0. (9.73)
d d ~
Para resover esta ecuacion propondremos la solucion en serie de potencia
X
() = an n , (9.74)
n0
de la cual se obtiene
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)a n = n(n 1)an n2
d 2 n0 n2
X
= (n + 2)(n + 1)an+2 n .
n0
193
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 = , (9.75)
(n + 2)(n + 1)
es decir
2n 2E
an+2 ~
1
= . (9.76)
an (n + 2)(n + 1)
Note que esta relacion de recurrencia P
separa los terminos
P pares e 2n+1
impares, por
2n
lo que se tendran series de la forma n0 a2n y n0 a2n+1 . Para el
caso par, si n , se tiene
a2(n+1) 4n 1
, (9.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 = . (9.78)
n0
n!
194
Entonces la energa debe ser discreta y las funciones () son polinomios.
Sustituyendo En en Eq. (9.73) se obtiene
d2 () d()
2 + 2n() = 0, (9.81)
d 2 d
que es la ecuacion de Hermite (9.65). Por lo tanto, las funciones () son los
polinomios de Hermite.
1 2 m 2 2
H = p + x qE x, (9.83)
2m 2
note que este operador se puede escribir como
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 (9.84)
2m 2 m 2 2m 2
qE
Por lo que, con el cambio de variable = x m 2
, se tiene
1 2 m 2 2 q2E 2
H = p + . (9.85)
2m 2 2m 2
195
Entones, la ecuacion de valores propios
1 2 m 2 2
H(x) = p + x qEx (x) = E(x) (9.86)
2m 2
1 2 m 2 2 q2E 2
H() = p + () = E(), (9.87)
2m 2 2m 2
de donde
1 2 m 2 2 q2E 2
p + () = E + (). (9.88)
2m 2 2m 2
q2E 2
1
E+ = ~ n + , (9.89)
2m 2 2
q2E 2
1
En = ~ n + (9.90)
2 2m 2
p21 p22 m1 12 2 m2 22 2
H= + + x1 + x2 , (9.92)
2m1 2m1 2 2
con
p1 = i~ , p2 = i~ .
x1 x2
196
Como los osciladores son independientes, estos operadores satisfance las reglas
de conmutacion
197
Entonces, definiremos
que satisface
Hn1 n2 (x1 , x2 ) = H1 + H2 n1 (x1 )n2 (x2 )
= H1 n1 (x1 )n2 (x2 ) + H2 n1 (x1 )n2 (x2 )
= n2 (x2 )H1 n1 (x1 ) + n1 (x1 )H2 n2 (x2 )
= En1 n2 (x2 )n1 (x1 ) + En2 n1 (x1 )n2 (x2 )
= (En1 + En2 ) n1 (x1 )n2 (x2 )
1 1
= ~1 n1 + + ~2 n2 + n1 n2 (x1 , x2 ).
2 2
Por lo que, las funciones propias de H son Eq. (9.95) y sus valores propios son
1 1
En1 n2 = ~1 n1 + + ~2 n2 + (9.96)
2 2
N
p2k mk k2 2
X
H = + xk , pk = i~ . (9.98)
k=1
2mk 2 xk
Como los osciladores son independientes, estos operadores satisfance las reglas
de conmutacion
198
Para obtener los valores y funciones propias de H definamos los Hamiltonianos
p2k mk k2 2
Hk = + xk
2mk 2
y los operadores
1 1
ak = (pk imk k xk ) , ak = (pk + imk k xk ) ,
2mk k ~ 2mk k ~
que satisfacen las reglas de conmutacion
h i
ak , al = kl (9.100)
y cero en cualquier otro caso. Tambien tenemos que
1
Hk = ~k ak ak + ,
2
as el Hamiltoniano Eq. (9.102) es
N
X 1
H = ~k ak ak + . (9.101)
k=1
2
199
9.8.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~ . (9.105)
k=1
2m 2 x k
Para este sistema las funciones propias son un caso particular de Eq. (9.102).
~ es
El Hamiltoniano para una partcula de carga e en un campo magetico B
1 ~ 2
~ ,
H = P eA (9.108)
2m
donde
P~ = i~,
~ ~ =
B ~ A.
~ (9.109)
200
Antes de obtener el espectro de este sistema es conveniente obtener algunos
resultados previos. Perimero note que ocupando el tensor de Levi-Civita Eq.
(1.47), se tiene
Aj
Bi = ijk , (9.110)
xk
ademas con la propiedad Eq. (1.107) se llega a
Aj Ai
ijk Bk = i
j. (9.111)
x x
Tambien es conveniente definir la derivada covariante
Di = Pi eAi , (9.112)
En efecto,
[Di , D3 ] = 0, (9.117)
de donde
[H, D3 ] = 0. (9.118)
201
Por lo tanto, D3 es un operador constante y comparte funciones propias con
el Hamiltoniano. Es decir, existe E tal que
HE = EE , D3 E = E . (9.119)
[D , D+ ] = 1. (9.125)
202
Ademas, de Eq. (9.123) se obtiene
1 |e|~B 1
D12 + D22 =
D+ D + . (9.126)
2m m 2
As, los operadores D1 , D2 tienen la misma algebra que los operadores de as-
censo y descenso del oscilador armonico. Esto implica que definiendo
|e|B
= (9.127)
m
se tiene que
1 1
~ D+ D + E = ~ n + E . (9.128)
2 2
2
1
E = En = + ~ n + . (9.129)
2m 2
estos son los niveles de energa, los cuales se llaman niveles de Landau.
P (t, ) g 2 P (t, )
= (P (t, )) +
t m
2m2 2
g P (t, )
= P (t, ) + . (9.131)
m 2m2
203
Esta ecuacion no esta en terminos de operadores hermticos, para expresarla
con operadores hermticos usaremos la transformacion
m 2
P (, t) = e 2g (, t). (9.132)
De donde
P (, t) m 2 m (, t)
= e 2g (, t) + , (9.133)
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
2 2
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) (9.134)
con
2 2
g 2 1
H = p + , p = i , (9.135)
2m2 2 g m
204
claramente H es un operador hermtico. Considerando este resultado en (9.131)
se llega a
(, t)
= H(, t). (9.136)
t
Si se propone como solucion a (, ) = e (), se encuentra
H() = (), (9.137)
es decir se tiene la ecuacion de valores propios
g 2 2 2
p + () = (). (9.138)
2m2 2g m
Note que renombrando
~2 g 2
2
= , m = , E =+ (9.139)
2m 2m2 g m
la ecuacion (9.138) toma la forma
~2 2 m 2 2
+ () = E(). (9.140)
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 + =+ , (9.141)
2 m
es decir
1
n = n . (9.142)
m 2
Ademas, definiendo
r r
m m
= = (9.143)
~ g
se tienen las soluciones
14
(i)n
m 2
n () = e 2 Hn (). (9.144)
2n n! g
Por lo tanto,
14
(i)n
m
2
n t m 2
Pn (, t) = e 2g e n () = e Hn (). (9.145)
2n n! g
205
Captulo 10
se encuentra
df dx df 1 df
0
= 0 = . (10.2)
dx dx dx dx
Entonces, si la variable x transforma con , el operador derivada transforma
con 1/, es decir,
x x0 = x,
d d 1 d
dx
0 = . (10.3)
dx dx
206
Veamos ahora que pasa en dos dimensiones. Consideremos la matriz de 2 2
con entradas constantes
a1 a2
= , (10.4)
a3 a4
cuya inversa es
1 1 a4 a2
= , || = a1 a4 a2 a3 . (10.5)
|| a3 a1
Tambien definamos los vectores columna
1
x x1
X= , = . (10.6)
x2 x2
207
que se puede expresar como
x 01 1 a 4 a3 x1
= . (10.13)
x02 || a2 a1 x2
208
A la matriz se le llama metrica, en dos dimensiones un ejemplo de estas
matrices son
1 0 1 0
, . (10.21)
0 1 0 1
Con la matriz el Laplacianose define como
2 = T . (10.22)
Notablemente, el elemento de lnea esta intimamente relacionado con el Lapla-
ciano, en particular tienen las mismas simetras. Esta relacion es importante
y se da tambien para espacios no euclidianos. Veamos como se da esta relacion.
que coincide con Eq. (10.24). Por lo tanto, las transformaciones lineales, , que
dejan invariante al elemento de lnea Eq. (10.20) tambien dejan invariante al
Laplaciano Eq. (10.22), claramente la afirmacion inversa tambien es correcta.
209
10.3. Grupo de transformaciones
Antes de continuar recordemos lo que es un grupo. Sea G un conjunto con
una operacion : G G G. El par (G, ) es un grupo si cumple
1) Axioma de cerradura:
g1 G, g2 G = g1 g2 G (10.28)
2) Axioma de asociatividad:
e G, g1 G = g1 e = e g1 = g1 . (10.30)
T = , 2 = I. (10.32)
T1 1 = , T2 2 = , (10.33)
de donde
(1 2 )T (1 2 ) = T2 T1 1 2 = T2 2 = , (10.34)
1 T, 2 T = 1 2 T. (10.35)
210
es decir, I T. As se cumplen el axioma de la asociatividad y el del elemento
neutro.
Por lo tanto,
T
1 1 = () 1 = 1 = . (10.37)
As, cuando esta en T , tambien 1 esta en T. Esto nos indica que se cumple
el axioma del inverso.
y la matriz renglon
XT =
x1 x2 xn , (10.39)
l2 = X T X = X T IX. (10.40)
X 0 = X, (10.41)
211
se tiene la distancia
l02 = X 0T IX 0 = X T T I X.
(10.42)
Por lo tanto, si es tal que deja la distancia invariante, es decir que l2 = l02 ,
debe cumplir
T I = I. (10.43)
212
~1 C
~1 ~1 C
~2 ~ 1 Cn
C C C
~2 C
C ~1 ~2 C
C ~2 C ~n C~2
= = I. (10.46)
.. .. .. ..
. . . .
~ ~
Cn C1 ~ ~
Cn C2 ~ ~
Cn Cn
Otra forma de expresar esta igualdad es
~i C
C ~ j = ij , (10.47)
es decir si una matriz satisface Eq. (10.43), tiene sus columnas ortonormales.
Ahora, si satisface la condicion (10.43), entonces 1 tambien la satisfa-
ce. Por lo tanto, 1 tiene sus columnas ortonormales entre si. Pero se debe
cumplir 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
Eq. (10.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 b 1 c 1
= a2 b 2 c 2 . (10.48)
a3 b 3 c 3
Si esta matriz satisface (10.46), debe cumplir
~a ~a = ~b ~b = ~c ~c = 1, ~a ~b = ~a ~c = ~b ~c = 0, (10.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 , (10.50)
0 sin cos
213
cos 0 sin
y () = 0 1 0 , (10.51)
sin 0 cos
cos sin 0
z () = sin cos 0 . (10.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 estas tres matrices son linealmente independientes.
Se puede probar que los vectores ~a, ~b y ~c cumplen Eq. (10.49). As se puede
escribir como
cc ssc sc + csc ss
(, , ) = cs scc ss + ccc cs .(10.56)
ss cs c
Claramente aun hay cierta arbitrariedad, pues podemos cambiar el lugar de
los vectores ~a, ~b, ~c, tambien podemos cambiar renglones por columnas y se
seguira cumpliendo Eq. (10.43). La ventaja de escribir de la forma (10.56)
es que se puede expresar como el producto de tres matrices
(, , ) = 1 ()2 ()3 (), (10.57)
214
con
cos sin 0
1 () = sin cos 0 , (10.58)
0 0 1
1 0 0
2 () = 0 cos sin , (10.59)
0 sin cos
cos sin 0
3 () = sin cos 0 . (10.60)
0 0 1
Esta descomposicion es muy util para el estudio del movimiento del cuerpo
rgido. A los parametros , , se les llama angulos de Euler.
cumplen Eq. (10.49) pero no son de rotacion, tampoco son de SO(3). Las
rotaciones representan las transformaciones de O(3) que se pueden conectar
con la matriz unidad I. Pues al hacer = 0, = 0, = 0 se obtiene la unidad
I.
I + M << 1, (10.62)
I = T (I + M )T (I + M ) (10.63)
= I + M T (I + M ) I + M T + M .
(10.64)
Por lo tanto,
M = M T , (10.65)
215
es decir, M debe ser antisimetrica. Note que una matriz antisimetrica de n n
solo puede tener
n(n 1)
2
parametros libres, este numero de grados de libertad coincide con los parame-
tros libres del grupo SO(n). Para el caso particular n = 3, cualquier matriz
antisimetrica se puede escribir como
0 3 2
M = 3 0 1 . (10.66)
2 1 0
Definamos los vectores ~r = (x, y, z) , ~
= (1 , 2 , 3 ) , entonces
0 3 2 x 2 z 3 y
X = M X = 3 0 1 y = 3 x 1 z
2 1 0 z 1 x 2 y
= ~ ~r. (10.67)
Por lo tanto, una rotacion infinitesimal esta dada por
X 0 = X (I + M ) X = (IX + M X) , (10.68)
es decir
~r0 = ~r + ~
~r. (10.69)
Estas rotaciones son importantes porque definen al resto de las transformacio-
nes de SO(3), para ver esto primero notemos que
0 3 2
M = 3 0 1 = 1 m1 + 2 m2 + 3 m3 = ~ m,
~ (10.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
Se puede observar que la matriz (10.70) no se modifica si hacemos el cambio
~ i~
ym ~ 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
216
La ventaja de ocupar la matrices Mi es que son Hermticas, es decir Mi = Mi .
Esto implica que sus valores propios son reales, por lo tanto las matrices
~ = (M1 , M2 , M3 ) pueden representar cantidades fsicas.
M
En este sentido se dice que M1 , M2 , M3 son los generadores del grupo SO(3).
217
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
= I Ti + Ti + 2n iMi 2n+1
n1
(2n)! n0
(2n + 1)!
X ()n 2n
= I Ti + Ti iMi sin
n0
(2n)!
= I Ti + Ti cos iMi sin . (10.79)
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 . (10.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.
218
Por lo que
de donde
M 2 = 2I, (10.85)
por lo tanto
[M 2 , Mi ] = 0. (10.86)
As, los valores propios de M 2 se pueden obtener al mismo tiempo que cual-
quiera de los generadores Mi .
219
operadores diferenciales.
(M1 )ij = ii1j , (M2 )ij = ii2j , (M3 )ij = ii3j . (10.90)
Por ejemplo,
111 112 113 0 0 0
(M1 )ij = ii1j = i 211 212 213 = i 0 0 1 , (10.91)
311 312 313 0 1 0
se puede probar que las demas igualdades se cumplen.
F (~r0 ) F (~r + ~
~r) = F (~r) + (~ ~ (~r).
~r) F (10.96)
220
Ademas usando la propiedad cclica del triple producto escalar, se tiene
~ ~
~r) F (~r) = F (~r) ~
(~ ~
~r = ~r F (~r) ~ ~ ~
= i L F (~r)
con
~ = i~r .
L ~ (10.97)
As,
0
F (~r ) ~
L F (~r).
1 + i~ (10.98)
Veamos que forma tiene una rotacion finita. Al igual que en caso del espacio
~r, tomaremos ~ = ~ /N y consideraremos que para tener una transformacion
finita debemos hacer el producto de un numero infinito de transformaciones
infinitesimales. Entonces,
N
0
~ ~
F (~r ) 1+i L F (~r). (10.99)
N
) = U (~
U (~ ) = U 1 (~
) . (10.102)
A = A1
221
10.6. Reglas de conmutacion del momento an-
gular
Anteriormente vimos que los generadores Mi satisfacen las reglas de conmu-
tacion Eq. (10.83). Veamos que reglas de conmutacion cumplen los operadores
Li . Primero notemos que definiendo p~ = i ~ se tiene L
~ = ~r p~. En compo-
nentes se encuentra Li = ijk xj pk . De donde
es decir
Se puede observar que son las mismas reglas de conmutacion que cumple Mi
Eq. (10.83). A estas reglas de comutacion se les llama el algebra de Lie de
SO(3).
El cual cumple
222
ahora, renombrando ndices se encuentra
3 X
X 3 3 X
X 3
ijl Lj Ll = ijl Lj Ll = ilj Ll Lj = ilj Ll Lj , (10.108)
j=1 l=1 l=1 j=1
1 2 Ym (, )
2 1 Ym (, )
L Ym (, ) = sin +
sin sin2 2
= Ym (, ), (10.111)
Ym (, )(, )
Lz Ym (, ) = i = mYm (, ). (10.112)
m = 0, 1, 2, 3, . (10.114)
223
Por lo tanto, m debe ser un entero. Posteriormente veremos los posibles valores
de .
224
Por lo tanto las funciones eim son ortogonales en el intervalo [0, 2].
Pm () m2
sin + sen Pm () = 0. (10.122)
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
0
( ) d sin Pm0 ()Pm () = 0.
0
En particular si 0 6=
Z
d sin Pm0 ()Pm () = 0. (10.123)
0
En general se tiene
Z
d sin Pm0 ()Pm () = 0 m , m = constante > 0. (10.124)
0
225
Entonces, si
1
|0 m |2 = , (10.126)
2m
se cumple
Z
< Y0 m0 (, )|Ym (, ) >= dY0 m0 (, )Ym (, ) = mm0 0 . (10.127)
por lo que
En particular si f = Ym , se llega a
L2 L2z Ym = m2 Ym ,
(10.128)
entonces
0 m2 hYlm |Ylm i .
(10.129)
L = Lx iLy . (10.131)
226
Note que
L L = (Lx iLy ) (Lx iLy ) = L2x + L2y i (Lx Ly Ly Lx )
= L2x + L2y + L2z L2z Lz = L2 L2z Lz = L2 L2z Lz ,
es decir,
L L = L2 L2z Lz .
(10.132)
Claramente L conmuta con L2 :
[L2 , L ] = 0. (10.133)
Esto indica que L tiene funciones propias comunes con L2 . Ademas
[Lz , Lx iLy ] = [Lz , Lx ] [Lz , Ly ] = iLy Lx = (Lx iLy ) , (10.134)
es decir
[Lz , L ] = L . (10.135)
Por lo que, L no tiene funciones propias comunes con Lz .
227
El valor de (, m) lo obtendremos posteriormente.
Como podemos ver, el operador L es muy util, 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 , (10.141)
con
As, Ymn es vector propio de Lz con valor propio (m n), sin importar el
valor de n. Ahora, es claro que dado cualquier dos numeros y m existen otros
dos numeros, na y nb , tales que
< (m + na ), (m nb ) < ,
Definamos el conjunto
L+ Yl = 0,
note que l es el maximo valor que puede tomar m de tal forma que Ym 6= 0.
Ahora, definamos
A = {n| (L )n Ym = 0} (10.146)
228
y sea N el mnimo de A . Se puede observar que
(L )N 1 Ym 6= 0, (10.147)
l0 = m (N 1)
es decir
N1 1 = l0 m,
se puede observar que
0
(L+ )N 1 Ym = (L+ )l m Ym = 0 Yl0 6= 0, 0 = constante.
L Yl0 = 0,
note que l0 es el mnimo valor que puede tomar m de tal forma que Ym 6= 0.
De estos resultados tenemos que si Ym 6= 0, entonces se cumplen l0 m l.
de donde
Entonces,
0 0
l+ = (l + 1) o l = l, (10.149)
0
claramente el unico valor permitido es l = l y el mnimo valor que puede
tomar m es l. As los valores propios de Lz deben cumplir
l m l l = 0, 1, 2, , l. (10.150)
229
Note que 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
L2 Ylm (, ) = l(l + 1)Ylm (, ) (10.151)
con valores propios de Lz que cumplen Eq. (10.150).
230
Igualando Eq. (10.154) con Eq. (10.155) se encuentra
Por lo tanto,
p
= (l m)(l m + 1). (10.157)
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 . (10.159)
Ahora, note que
f ()
(sin )k f () = k (sin )k1 (cos )f () + (sin )k
f ()
= (sin )k k(cot )f () ,
as
f ()
k k
(sin ) (sin ) f () = k(cot )f () .
231
Entonces, usando que
(sin )1k = (sin )(k1)
y el cambio de variable u = cos , se llega a
f ()
(k1)
k
(sin ) (sin ) f () = k(cot )f () .
u
u = cos .
232
10.11. El armonico esferico Yll (, )
En esta seccion obtendremos el armonico esferico Yll (, ) con el cual po-
demos construir el resto de los armonico esfericos. De Eq. (10.113) sabemos
que
ll eil ll ()
Yll (, ) = (10.161)
2
y de Eq. (10.158) tenemos que se debe cumplir L+ Yll (, ) = 0, es decir
ll eil ll ()
i
L+ Yll (, ) = e + i cot = 0. (10.162)
2
Por lo que, ll () debe satisfacer
l cot ll () = 0, (10.163)
as
ll () = sinl , = constante. (10.164)
Esto quiere decir que
ll eil sinl
Yll (, ) = . (10.165)
2
La constante ll se determina 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
2 2l+1
= |ll | d sin = 1,
0
entonces
1
|ll |2 = R . (10.166)
0
d sin2l+1
Para obtener esta constante, notemos que
d
sinn1 cos = (n 1) senn2 cos2 sinn1 sin
d
= (n 1) senn2 1 sin2 sinn ,
233
de donde
n1 1 d
sinn = senn2 sinn1 cos .
(10.167)
n n d
As,
n1
Z Z
n
d sin = d senn2 . (10.168)
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
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)!
= (10.169)
2l l!
se llega a
22l+1 (l!)2
Z
d sin2l+1 = . (10.170)
0 (2l + 1)!
234
Tomando en cuenta este resultado en Eq. (10.166), tenemos que
r
(2l + 1)! 1
ll = , (10.171)
2 2l l!
entonces
r
(2l + 1)! eil
Yll (, ) = sinl . (10.172)
4 2l l!
235
s
(2l + 1)(l + m)! 1
(L )lm eil sinl
= l
4(l m)! 2 l!
s
(2l + 1)(l + m)! 1
= (+)lm ei(l(lm))
4(l m)! 2l l!
lm
sin[l(lm)] lm sinl sinl
s u
(2l + 1)(l + m)! eim m
lm
(sin )2l
= sin .
4(l m)! 2l l! ulm
Note que ninguna propiedad de estas funciones cambia si las multiplicamos por
un factor de norma uno, es decir por una potencia de i o de 1. En la lite-
ratura existen diferentes elecciones de este factor, por conveniencia tomaremos
()l . Entonces, los armonicos esfericos son
s l
im lm 2
(2l + 1)(l + m)! e m sin
Ylm (, ) = ()l (sin ) , (10.175)
4(l m)! 2l l! ulm
u = cos , l m l.
Esta expresion de los armonicos esfericos es comun en mecanica cuantica, en
la proxima seccion veremos otra que es mas usual en electrostatica.
236
Con este armonico esferico se pueden obtener el resto. En efecto, de Eq.
(10.158) se encuentra
s
p (l + 1)!
L Yl0 = l(l + 1)Yl1 = Yl1 ,
(l 1)!
s s
(l + 1)! (l + 1)! p
(L )2 Yl0 = L Yl1 = (l 1)(l + 2)Yl2
(l 1)! (l 1)!
s
(l + 2)!
= Yl2 ,
(l 2)!
..
.s
(l + m)!
(L )m Yl0 = Yl(m) , m 0. (10.179)
(l m)!
237
Note que
Ylm (, ) = ()m Yl(m) (, ). (10.184)
que tiene la forma de Eq. (10.182). Por lo tanto, cualquier armonico esferico
se escribe como
s
(2l + 1)(l m)! im m
Ylm (, ) = e Pl (cos ), l m l. (10.188)
4(l + m)!
es decir
Z
2(l + m)!
d sin Plm m
0 (cos )Pl (cos ) = l 0 l . (10.189)
0 (2l + 1)(l m)!
238
Tomando el cambio de variable u = cos se encuentra
Z 1
2 (l + m)!
duPlm m
0 (u)Pl (u) = ll0 . (10.190)
1 2l + 1 (l m)!
Estas son las relaciones de ortonormalidad de los polinomios asociados de
Legendre. En particular, para los polinomios de Legendre, m = 0, se llega
a
Z 1
2
duPl0 (u)Pl (u) = ll0 , (10.191)
1 2l + 1
que son las relaciones de ortonormalidad de los polinomios de Legendre.
P0 (u) = 1. (10.193)
P1 (u) = u, (10.194)
1
3u2 1 ,
P2 (u) = (10.195)
2
1
5u3 3u ,
P3 (u) = (10.196)
2
1
35u4 30u2 + 3 ,
P4 (u) = (10.197)
8
1
63u5 70u3 + 15 .
P5 (u) = (10.198)
8
Para obtener la expresion general de los polinomios de Legendre notemos que
si n y m son dos naturales tales que n m, se tiene
dn u m dn1 dum dn1 um1 m! dn1 um1
= = m =
dun dun1 du dun1 (m 1)! dun1
m! dn2 um2 m! dn2 um2
= (m 1) = =
(m 1)! dun2 (m 2)! dun2
239
m! dnn umn
=
(m n)! dunn
m!
= umn ,
(m n)!
dl u2(lk)
(2l 2k)! l2k l
= u k . (10.202)
dul (l 2k)! 2
que implica
l
X (1)k l! 2(lk)
(u2 1)l = u . (10.204)
k=0
k!(l k)!
240
Por lo que, de Eq. (10.204) y Eq. (10.202) se llega a
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 . (10.205)
k=0
2 2
Entonces,
X X X 1
2u < 2 + n = 1 + 1 + + n = z + n = z +
n2 n2 n0
1
1
= z+ , (10.211)
z
241
de donde,
k n = (l k),
242
por lo que
de donde
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). (10.225)
z
243
Ademas,
W (z, u) X l1
= lz Pl (u),
z l0
W (z, u)
(1 2uz + z 2 ) (u z)W (u, z)
z
X X
= (1 2uz + z 2 ) lz l1 Pl (u) (u z) z l Pl (u)
l0 l0
X
l1 l l+1
uPl (u)z l + Pl (u)z l+1
= lPl (u)z 2luPl (u)z + lPl (u)z
l0
X
lPl (u)z l1 (2l + 1)uPl (u)z l + (l + 1)Pl (u)z l+1 = 0. (10.226)
=
l0
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 =(10.229)
0.
l0
du du du
ademas
X dPl (u) X dPl1 (u)
z l+2 = z l+1 . (10.230)
l0
du l1
du
245
Ademas, restando Eq. (10.231) con Eq. (10.232), se consigue Eq. (10.221).
Todas estas identidades son de gran utilidad para resolver diversos proble-
mas de electromagnetismo, en captulos posteriores las ocuparemos.
246
Note que sustituyendo Clm en Eq. (10.236) y haciendo el cambio de variable
u0 = cos 0 , u = cos se llega a
m=l Z
X X
0
F (, ) = d Ylm (0 , 0 )F (0 , 0 ) Ylm (, )
l0 m=l
Z m=l
!
X X
= d0 F (0 , 0 )
Ylm (0 , 0 )Ylm (, )
l0 m=l
m=l
!
Z 2 Z X X
= d0 d0 sin 0 F (0 , 0 )
Ylm (0 , 0 )Ylm (, )
0 0 l0 m=l
m=l
!
Z 2 Z 1 X X
= d du0 F (u0 , 0 )
Ylm (u0 , 0 )Ylm (u, ) .
0 1 l0 m=l
Por lo tanto, lo que esta dentro del parentesis debe ser igual a (0 )(uu0 ),
es decir
m=l
X X
Ylm (0 , 0 )Ylm (, ) = ( 0 )(cos cos 0 ). (10.238)
l0 m=l
Para mostrar este teorema primero recordemos que las funciones rotan con
~
) = ei~L , donde
el operador U (~ ~ es un vector constante. Por lo que si tenemos
una funcion f (~r), la funcion rotada es
f (~r0 ) = U (~
)f (~r).
247
Ahora, si tenemos el operador lineal A tal que
f (~r) = U (~
)U (~ )f (~r0 ),
)f (~r) = U (~
g(~r) = U (~)U (~
)g(~r) = U (~)g(~r0 ),
se encuentra
)f (~r0 ) = U (~
Af (~r) = AU (~ )g(~r0 ) (10.241)
que implica
A0 f (~r0 ) = g(~r0 ), A0 = U (~
)AU (~
), (10.242)
~ se tiene
Considerando que L2 conmuta con L,
L02 = U (~
)L2 U (~
) = U (~ )L2 = L2 ,
)U (~
L0z = U (~
)Lz U (~
).
(, ) (0 , 0 ). (10.243)
248
Por lo tanto, el conjunto de funciones Ylm (0 , 0 ) forman una base de funciones
ortonormales y cualquier funcion G(0 , 0 ) se puede escribir en terminos de
ellas
m=l
X X
0 0
G( , ) = Clm Ylm (0 , 0 ). (10.246)
l0 m=l
Ylm (0 , 0 ) = 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 que dependen de (, )
0 0
X mX
=l
Ylm (0 , 0 ) = Clml0 m0 Yl0 m0 (, ). (10.247)
l0 0 m0 =l0
Pero como se debe cumplir Eq. (10.245) en esta serie solo contribuyen los
terminos que tienen l0 = l, por lo que
m 0 =l
X
0 0
Ylm ( , ) = Clmm0 Ylm0 (, ), (10.248)
m0 =l
con
Z
0 0
Clmm0 =< Ylm0 (, )|Ylm ( , ) >= dYlm0 (, )U (~
)Ylm (, ). (10.249)
)Ylm (0 , 0 )
Ylm (, ) = U (~
se puede ver como una funcion que depende de las variables (0 , 0 ) por lo
que se puede expresar como una serie de armonicos esfericos que dependen de
(0 , 0 ). Considerando que se debe cumplir
se tiene
m0 =l
X
Ylm (, ) = Dlmm0 Ylm0 (0 , 0 ), (10.250)
m0 =l
249
con
Por lo tanto,
m 0 =l
X
0 0
Ylm (, ) = Clm0 m Ylm0 ( , ). (10.254)
m0 =l
Ahora, note que por su definicion (10.249) las constantes Clm0 m no pueden
depender de (, ), solamente pueden depender del angulo ~ . Por esta razon,
tomaremos el caso mas simple. Supongamos que ~r esta en el eje z, es decir
~ = (0 , 0 ), claramente el
= 0, y que se hace una rotacion con el angulo
angulo final es mismo angulo
~.
250
Ahora, considerando el caso m = 0 en Eq. (10.254), se llega a
r m 0 =l
2l + 1 X
0 0
Yl0 (, ) = Pl (cos ) = Clm0 0 Ylm0 ( , )
4 m0 =l
m 0 =l r
X 4
= Ylm )Ylm0 (0 , 0 ).
0 (~ (10.257)
m0 =l
2l + 1
De donde
m=l
X 4
Pl (cos ) = Ylm )Ylm (0 , 0 ).
(~ (10.258)
m=l
2l + 1
Note que pasar del vector de angulos (, ) a otro de angulos (0 , 0 ) se esta ha-
ciendo una rotacion con el angulo
~ que hacen los dos vectores. En el resultado
(10.258) hemos ocupado tres vectores: el eje z, el vector de angulos P1 : (, )
y el vector de angulos P2 : (0 , 0 ). Claramente se esta suponiendo que esos
tres vectores estan en un sistema S.
251
10.16.1. Implicaciones del teorema de adicion
El teorema de adicion de los armonicos esfericos tiene bastantes aplicacio-
nes, por ejemplo si = 1 = 2 y = 1 = 2 , entonces la ecuacion (10.261)
toma la forma
m=l
X 2l + 1
|Ylm (, )|2 = (10.262)
m=l
4
252
As, utilizando el teorema de adicion de los armonicos esfericos Eq. (10.261),
tenemos
m=l l
1 X X 4 r<
= l+1
Ylm (2 , 2 )Ylm (1 , 1 ), (10.269)
|~r1 ~r2 | l0 m=l
2l + 1 r>
10.17. L2 y el Laplaciano
El espectro de L2 es de vital importancia para la mecanica cuantica y la
electrostatica, pues este operador esta relacionado con el Laplaciano. En efecto,
ocupando las propiedades del tensor de Levi-Civita se tiene
Ademas, como
se encuentra
de donde
1
(~p)2 = (~r p~)2 i~r p~ + L2 .
2
(10.272)
r
~ se tiene
Considerando que p~ = i,
1
(~p)2 = 2 = 2 (~r p~)2 i~r p~ + L2
r
1 2
~ i i~r
~ +L , 2
= 2 i~r (10.273)
r
253
es decir
2 1 2
~ + ~r
~ L .
2
= 2 ~r (10.274)
r
~ en coordenadas esfericas, se encuentra
En particular, tomando
2 !
1 ~ 2 ~ 1 1 2
~r + ~r = 2 r +r = 2 r .
r2 r r r r r r
Por lo tanto,
2 1 2 1
= 2 r 2 L2 . (10.275)
r r r r
Posteriormente ocuparemos este resultado para atacar problemas de electrostati-
ca y mecanica cuantica.
10.18. Paridad
La transformacion de paridad esta definida por
(x, y, z) (x, y z). (10.276)
Ahora, en coordenadas esfericas se tiene
x = r sin cos = r sin ( ) cos ( + ) ,
y = r sin sin = r sin ( ) sin ( + ) ,
z = r cos = cos( ).
Por lo tanto, la transformacion de paridad en coordenas esfericas toma la forma
(r, , ) (r, , + ). (10.277)
Ahora, veamos como transforman los polinomios asociados de Legendre bajo
paridad. Primero notemos que bajo paridad se tiene
u = cos cos( ) = u. (10.278)
Tambien se tiene
Pl (cos( )) = Pl ( cos ) = ()l Pl (cos )
m dm
Plm (cos( )) = ()m 1 (u)2 2 Pl (u)
d(u)m
l+m m
m m
2 2 d
= () () 1 u Pl (u)
dum
= ()l+m Plm (cos ). (10.279)
254
Otra identidad de utilidad es
255
Captulo 11
Ecuacion de Laplace en
Coordenadas esfericas
L2
2 1 2
= 2 r 2 = 0. (11.1)
r r r r
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, (11.2)
r2 r r
256
Para resolver esta ecuacion haremos la propuesta R(r) = a r , con una
constante, entonces
d 2 dr d 2 1 d +1
r = r r = r = ( + 1)r , (11.4)
dr dr dr dr
sustituyendo este resultado en Eq. (11.3) se encuentra
r (( + 1) l(l + 1)) = 0, (11.5)
es decir
( + 1) l(l + 1) = 2 l2 + l = ( + l)( l) + ( l)
= ( + l + 1)( l) = 0, (11.6)
entonces, las soluciones para R(r) son rl y r(l+1) . En general las soluciones
radiales son
Blm
R(r) = Alm rl + l+1 , Alm , Blm = constante. (11.7)
r
As, las soluciones completas son de la forma
l Blm
lm (r, , ) = Alm r + l+1 Ylm (, ) (11.8)
r
y la solucion general a la ecuacion de Laplace en coordenas esfericas es
l
X X
l Blm
(r, , ) = Alm r + l+1 Ylm (, ). (11.9)
l0 m=l
r
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. (11.10)
La primera ley es la llamada ley de Gauss y establece la relacion entre el
campo electrico y la densidad de carga . La segunda ley establece que existe
una funcion tal que E~ = ,
~ por lo que la ley de Gauss toma la forma
257
11.1.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.
En el interior de la esfera el potencial Eq. (11.9) debe ser finito, esto implica
que si r < R los coeficientes Blm deber ser nulos, de lo contrario el potencial
diverge en el origen. Si r > R los coeficientes Alm debe ser nulos, de lo contrario
el potencial diverge en infinito. Dividiremos el potencial en dos partes, en el
interior, r < R,
l
X X r l
int (r, , ) = Alm Ylm (, ),
l0 m=l
R
y en el exterior, r > R,
l l+1
X X R
ext (r, , ) = Blm Ylm (, ).
l0 m=l
r
258
por lo que
Z
Alm =< Ylm (, )|V (, ) >= dYlm (, )V (, ). (11.15)
X X l r l
int (r, , ) = Alm Ylm (, ) (11.16)
l0 m=l
R
l l+1
X X R
ext (r, , ) = Alm Ylm (, ). (11.17)
l0 m=l
r
(r = R, , ) = V (, ), (11.18)
es
R(R2 r2 ) V (0 , 0 )
Z
(r, , ) = d0 3 (11.19)
4 (r2 + R2 2Rr cos ) 2
Mostraremos que esta solucion es consistente con las soluciones Eq. (11.16)
y Eq. (11.17).
259
Note que
R(R2 r2 ) V (0 , 0 )
Z
(r, , ) = d0 3
4 (r2 + R2 2Rr cos ) 2
R(R r cos ) r(r R cos )
Z
R
= () d0 V (0 , 0 ) 3
4 (r2 + R2 2Rr cos ) 2
R(R r cos ) r(r R cos )
Z
R 0 0 0
= () d V ( , ) 3 3
4 (r2 + R2 2Rr cos ) 2 (r2 + R2 2Rr cos ) 2
Z
R 0 0 0 1
= () d V ( , )() R
4 R r + R 2Rr cos
2 2
1
r
r r2 + R2 2Rr cos
Z
R 0 0 0 1
= () d V ( , ) R r
4 R r r2 + R2 2Rr cos
V ( , 0 )
0
Z
R
= () R r d0 .
4 R r r2 + R2 2Rr cos
Definiendo r> =menor{r, R}, r< =mayor{r, R} y considerando la funcion ge-
neratriz de los polinomios de Legendre, junto con el teorema de adicion de los
armonico esfericos se llega a
V (0 , 0 )
Z
R
(r, , ) = () R r d0 p
4 R r r< 2 + r 2 2r r cos
> < >
0 0
Z
R V ( , )
= () R r d0 r
4 R r 2
r> 1 + rr>< 2 rr<> cos
R
Z X r< l
0 0 0 1
= () R r d V ( , ) Pl (cos )
4 R r r> l0 r>
Z
R
= () R r d0 V (0 , 0 )
4 R r
l l
X X 4 1 r<
Ylm (0 , 0 )Ylm (, )
l0 m=l
2l + 1 r > r >
l l !
X X ()R 1 r<
= R r Ylm (, )
l0 m=l
2l + 1 R r r> r>
Z
d0 Ylm
(0 , 0 )V (0 , 0 )
260
l l !
X X ()R 1 r<
= R r Alm Ylm (, ), (11.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
Para R < r se debe tomar el signo (+) en Eq. (11.20), en cuyo caso
l ! l
R 1 r< R R
R r = R r
2l + 1 R r r> r> 2l + 1 R r rl+1
l+1
R (2l + 1)Rl R
= l+1
= ,
2l + 1 r r
X X l r l+1
ext (r, , ) = Alm Ylm (, )
l0 m=l
R
261
11.1.3. Esfera partida
Supongamos que tenemos una esfera de radio R cuyo potencial en su fron-
tera es
0 2
V0
V () = (11.21)
V0 2 <
En este caso los potenciales estan dados por Eq. (11.16) y Eq. (11.17), solo
basta determinar los coeficientes Alm .
262
Considerando la identidad
1 d
P2l+1 (u) = P2(l+1) (u) P2l (u) (11.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 . (11.26)
2 (l!) 2(l + 1)
Entonces
p
V0 (4l + 3)(1)l (2l)!
A2l+1 = , (11.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 ), (11.28)
l0
22l+1 (l!)2 (l + 1)
263
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 ), (11.29)
l0
2 r
Por lo que
l
X X
(R, , ) = (alm + blm ) Ylm (, ) = 0,
l0 m=l
264
(r) = E0 z = E0 r cos . Para este sistema queremos encontrar el poten-
cial electrico.
a1 = E0 R. (11.37)
265
11.3. Problemas con simetra azimutal
La solucion general de la ecuacion de Laplace en coordenadas esfericas de
problemas que tienen simetra rotacional ante el eje z, es decir que no dependen
de , es
X
Al rl + Bl r(l+1) Pl (cos ).
(r, ) = (11.39)
l=0
a0 = V 0 , a1 = V0 , a2 = 2V0 . (11.47)
Este sistema es invariante bajo rotaciones del eje z, por lo que no depende
de y su potencial debe ser de la forma Eq. (11.39). Note que los coeficientes
Al y Bl no depende de la posicion, por lo que si los calculamos en un punto o
sobre un eje los habremos calculado para todo el espacio.
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 del sistema coordenado
267
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> 1 + r> 2 rr<> cos
r<
l
2R X r<
= Pl (cos )
r> l0 r>
l
X r<
= 2RPl (cos ) l+1
. (11.48)
l0
r>
Si r < c, se tiene
X rl
int (r = z, = 0) = 2RPl (cos ) , (11.49)
l0
cl+1
Igualando esta solucion con Eq. (11.50) se llega a Bl = 2Rcl Pl (cos ). Por
lo que, si r > c, la solucion es
X 2Rcl Pl (cos )
ext (r, ) = Pl (cos ). (11.52)
l0
rl+1
268
Para el caso r < c, si r 0, entonces r(l+1) diverge y se debe tomar Bl = 0.
En particular sobre el eje z, es decir = 0, se consigue
X
int (r = z, = 0) = Al rl . (11.53)
l0
2R
Igualando esta solucion con Eq. (11.49) se encuentra Al = P (cos ).
cl+1 l
De
donde, si r > c, la solucion es
X 2RPl (cos )
int (r, ) = rl Pl (cos ). (11.54)
l0
cl+1
269
as el potencial total sobre un punto en el eje z es
Z 2 Z
(r = z, = 0) = d(r = z, = 0)
0
X rl Z 2 Z
0
= R 2 <
l+1
d Pl (cos 0 ) sin 0 d0
r
l0 > 0
X rl Z
= 2R2 <
l+1
Pl (cos 0 ) sin 0 d0 .
l0 >
r
270
calcular el potencial si R < r.
271
Con el cambio de variable u = cos se tiene
dPl (cos ) dPl (u) dPl1 (u)
= sin = sin u + lPl1 (u) , (11.67)
d du du
de donde
X Al R l+1
~ ) =
E(r, (l + 1)Pl (cos )er
l0
r r
dPl1 (u)
+ sin u + lPl1 (u) e . (11.68)
du
En el plano x y, es decir = 2
se tiene
er | 2 = (cos , sin , 0) = e ,
e | 2 = (0, 0, 1) = k.
~
X Al h i
E R, = = (l + 1)Pl (0)e lPl1 (0)k
2 l0
R
4 X
= ()l P2l (0)e , (11.69)
R l0
que implica
X Al
lPl1 (0)k = 0, (11.70)
l0
R
de donde
A2l+1 = 0. (11.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 = . (11.72)
2l + 1
272
As el potencial exterior tiene la forma
X ()l R 2l+1
ext (r, ) = 4 P2l (cos ), (11.73)
l0
2l + 1 r
~r = r(sin cos , sin sin , cos ), ~r0 = r0 (sin 0 cos 0 , sin 0 sin 0 , cos 0 )
273
tambien definamos r< =menor{r, r0 }, r> =mayor{r, r0 }, entonces
1 1 1
0
= =p
|~r ~r | 2 02 0
r + r 2rr cos 2 2
r> + r< 2r< r> cos
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 (0 , 0 )Ylm (, ).
l0 m=l
2l + 1 r< r>
Por lo que
(~r0 )
Z
(~r) = d~r0
|~r ~r0 |
Z l l !
0 0
X X 4 1 r< 0 0
= d~r (~r ) Ylm ( , )Ylm (, )
l0 m=l
2l + 1 r< r>
l Z l
X X 4Ylm (, ) 0 1 r<
= d~r Ylm (0 , 0 )(~r0 ). (11.80)
l0 m=l
2l + 1 r < r>
con
Z
Qlm = d~r0 r0l Ylm
(0 , 0 )(~r0 ). (11.81)
Si r < r0 , se llega a
l
X X 4 l
ext (~r) = r qlm Ylm (, ),
l0 m=l
2l + 1
con
Z
1
qlm = d~r0
Ylm (0 , 0 )(~r0 ). (11.82)
r0l+1
Entonces, el potencial de cualquier distribucion de carga continua se puede
expresar en terminos de armonicos esfericos.
274
11.5.1. Esfera cargada
Ahora veamos un problema sencillo que involucre calcular los cofientes Qlm
y qlm .
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 (11.85)
4 4
se encuentra
r
4
(~r) = (r R)0 Y10 (, ). (11.86)
3
Introduciendo este resultado en Eq. (11.81) y Eq. (11.82), se encuentra
Z r
0 0l 0 0 0 4
Qlm = d~r r Ylm ( , )(r R)0 Y10 (0 , 0 )
3
r Z Z
4
= 0 dr0 r02 r0l (r0 R) d0 Ylm
(0 , 0 )Y10 (, )
3
r r
4 l+2 4 3
= R 0 l1 m0 = R 0 l1 m0 ,
Z 3 3
1
qlm = d~r0 0l+1 Ylm
(0 , 0 )(~r0 )
r
Z Z r
0 02 0 1 0 0 0 4
= dr r d 0l+1 Ylm ( , )(r R)0 Y10 (0 , 0 )
r 3
r r
4 1 4
= l1
0 l1 m0 = 0 l1 m0 .
3 R 3
Es decir, los unicos coeficientes Qlm y qlm diferentes de cero son
r r
4 3 4
Q10 = R 0 , q10 = 0 .
3 3
275
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. (11.87)
3 3
~ B
~ = 0, (11.88)
~ B
~ = 4 J.
~ (11.89)
c
~ B
La ecuacion ~ = 0 implica que existe una funcion A
~ tal que B
~ =~ A.
~
~ esta dada por [1]
Se puede mostrar que en terminos de la corriente A
Z ~ r0 )
~ r) = 1
A(~ d~r0
J(~
. (11.90)
c |~r ~r0 |
276
Supongamos que el eje de rotacion esta en el eje z, entonces la velocidad de
un punto de la esfera es
V~ = R sin e . (11.92)
Ademas, sabemos que cualquier vector en dos dimensiones (x, y) se puede es-
cribir como el numero complejo z = x+iy, en particular e = ( sin , cos , 0)
se puede escribir como
e = sin + i cos = i(cos + i sin ) = iei , (11.93)
entonces
V~ = iR sin ei . (11.94)
Ahora, de la definicion de los armonicos esfericos se tiene
r
3
Y11 (, ) = () sin ei , (11.95)
8
de donde
r
8
V~ = iR Y11 (, ). (11.96)
3
As, la densidad de corriente es
r
8
J~ = V~ = iR0 (r R) Y11 (, ), (11.97)
3
entonces, si r> =mayor{R, r}, r< =menor{R, r}, el potencial vectorial magneti-
co es
~ r0 )
r Z
Y11 (0 , 0 )
Z Z
~ 1 0 J(~ iR 0 8 0 02 0 0
A(~r) = d~r = dr r d (r R)
c |~r ~r0 | c 3 |~r ~r0 |
r Z l l
iR3 0 8 X X 4 r<
= d0 Y11 (0 , 0 ) Y (0 , 0 )Ylm (, )
l+1 lm
c 3 l0 m=l
2l + 1 r>
r l l
iR3 0 8 X X 4 r<
Z
= Y (, ) d0 Ylm
l+1 lm
(0 , 0 )Y11 (0 , 0 )
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
3 3
R 0 4 r< 40 R r<
= 2
sin iei = 2
sin e , (11.98)
c 3 r> 3c r>
277
de donde
~ r) = A e , 40 R3 r<
A(~ A = 2
sin . (11.99)
3c r>
Por lo tanto,
80 R3 r<
Br = 2
cos (11.101)
3c r>
Si r < R, se tiene
80 R
B(int) = sin , (11.102)
3c
mientras que si r > R, se llega a
40 R4
B(ext) = sin . (11.103)
3cr3
Note que
Cabe senalar que el nucleo 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.
278
11.6.2. Anillo de corriente I
R
I
Anillo de corriente
~ I
J(~r) = (r R) e . (11.105)
R 2
Ahora, recordemos que cualquier vector en dos dimensiones, (x, y), se puede es-
cribir como un numero 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
~ r) = I (r R) iei .
J(~ (11.106)
R 2
Definamos r> =mayor{R, r}, r< =menor{R, r}, entonces el potencial vectorial
es
0 0
i0
(r R) e
Z
~ r) = iI
A(~ 0
2
r02 dr0 d0
cR |~r r |
279
l
Z X X l
iI 4 r<
= Y (0 , 0 )Ylm (, )
l+1 lm
cR l0 m=l
2l + 1 r >
0
0 i0 02 0 0
(r R) e r dr d
2
l l Z
iI X X 4 r< 2 0 0
0 i0 0
= l+1
R Ylm (, ) Ylm ( , ) e d .
cR l0 m=l 2l + 1 r> 2
280
Por lo tanto, el potencial vectorial solo tiene direccion e , cuya componente es
2l
IR X ()l+1 (2l)! r<
A = 2l 2l+2
Pl21+1 (cos ). (11.109)
c l1 2 (l + 1)!l! r>
281
11.6.3. Anillo de corriente II
Ahora veremos otra forma de resolver el problema de la seccion anterior.
2 m (~r) = 0, (11.117)
cuya solucion en coordenadas esfericas es Eq. (11.9).
Ademas, se puede mostrar que si la corriente circula por una curva cerrada
el potencial escalar magnetico es [2]
I 0
I n (~r ~r0 ) 0
m (~r) = da . (11.118)
c a |~r ~r0 |3
Donde a es el area de la superficie que encierra la curva de corriente y n la
normal a esta superficie.
Adicionalmente, los puntos del disco que encierra el anillo de corriente son de
la forma
~r0 = r0 (cos 0 , sin 0 , 0) (11.120)
282
mientras que el vector normal es n0 = k y el elemento de area es da0 = r0 dr0 d0 .
De donde, para un punto ~r = (x, y, z) = r(sin cos , sin sin , cos ), el po-
tencial escalar magnetico Eq. (11.118) es
Por lo tanto,
2l
2I X 2I r r<
m (0, 0, r) = P2l (0). (11.122)
c l0
c r> r>
283
Mientras que si R < r se tiene
2l
2I X 2I R
m(ext) (0, 0, r) = P2l (0)
c l0
c r
2IR2l
2I 2I X 1
= + P2l (0) 2l
c c l1
c r
X 2IR2l
1
= P2l (0) 2l . (11.124)
l1
c r
Cuando = 0 esta ultima ecuacion debe ser igual a Eq. (11.123), por lo tanto
considerando que Pl (1) = 1, se llega a
X X X
m (r, = 0) = Al rl Pl (1) = A2l r2l P2l (1) + A2l+1 r2l+1 P2l+1 (1)
l0 l0 l0
2I X 2I
= + 2l+1 P2l (0) r2l+1 . (11.126)
c l0
cR
Cuando = 0 el potencial Eq. (11.124) debe ser igual a Eq. (11.129), es decir,
X Cl X C2l X C2l1
m(ext) (r, = 0) = P l (1) = +
l0
rl+1 l0
r2l+1 l1
r2l
X 2IR2l
1
= P2l (0) 2l . (11.130)
l1
c r
284
Por lo tanto,
2IR2l
C2l = 0, C2l1 = P2l (0). (11.131)
c
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 ). (11.132)
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 r2l+2
2IR X ()l+1 (2l + 2)!()2(l + 1) R2l+1
= P2l+1 (cos )
cr l0 22l+2 (l + 1)!2 r2(l+1)
2IR X ()l (2l + 1)!2(l + 1)2(l + 1) R2l+1
= P2l+1 (cos )
cr l0 22l+2 (l + 1)!2 r2(l+1)
2IR X ()l (2l + 1)! R2l+1
= P2l+1 (cos ).
cr l0 22l (l)!2 r2(l+1)
285
Note que ambas componentes se pueden escribir como
2l+1
2IR X ()l (2l + 1)! r<
Br = P
2(l+1) 2l+1
(cos ),
cr l0 22l (l)!2 r>
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
= 2l+2
P2l+1 (cos )
cr l0 2 (l + 1)!(l + 1)! r
2(l+1)
I X ()l+1 (2l + 1)! R 1
= P2l+1 (cos ). (11.136)
cr l0 22l (l + 1)!l! r
Estos resultados coinciden con los obtenidos en la seccion anterior, es decir con
Eqs. (11.113)-(11.114)
286
Captulo 12
Ha = Ea a , y Hb = Eb b , (12.3)
entonces
287
En coordenadas esfericas el operador Laplaciano es Eq. (10.275)
L2
2 1 2
= 2 r 2, (12.5)
r r r r
con
1 2
2 1
L = sin + , (12.6)
sin sin2 2
donde se cumple
L2 Ylm (, ) = l(l + 1)Ylm (, ). (12.7)
Por lo que, para resolver Eq. (12.2) propondremos (r, , ) = R(r)Ylm (, ).
Como la funcion R(r) solo depende de r, mientras que L2 y Ylm (, ) solo
dependen de los angulos, se encuentra
L2 Ylm (, )
2 Ylm (, ) 2 R(r)
(r, , ) = r R(r)
r2 r r r2
Ylm (, ) 2 R(r) R(r)l(l + 1)Ylm (, )
= r
r2 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 r2 r r r2
= E(r, , ) = Ylm (, )ER(r).
As, la ecuacion a resolver es
~2
1 2 R(r) l(l + 1)R(r)
r + V (r)R(r) = ER(r), (12.8)
2m r2 r r r2
como solo hay dependencia en la variable r tenemos
1 d 2 dR(r) l(l + 1) 2m 2mE
2
r 2
R(r) 2 V (r)R(r) + 2 R(r) = 0.
r dr dr r ~ ~
Para facilitar los calculos haremos el cambio de variable
r
d d 2mE
= r, = , =2 , (12.9)
dr ~2
288
de donde
1 d 2 dR() l(l + 1) 2m 1
R() 2 2 V () R() R() = 0. (12.10)
2 d d 2 ~ 4
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 Eq.
(12.10) tiene la forma asintotica
1 d 2 dR() l(l + 1)
2
R() 0. (12.11)
d d 2
Para resolver esta ecuacion proponemos R() = A , con A una constante. Al
sustituir esta propuesta en Eq. (12.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. (12.12)
As, los posibles valores de son l y (l + 1), es decir
R() Al o R() A(l+1) . (12.13)
La funcion de onda debe ser finita, de lo contrario no puede ser normalizada,
por lo que si r 1, la unica solucion aceptable es
R() Al , 1. (12.14)
Si V () es tal que V () 0 cuando , en esta caso la ecuacion asintotica
es
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() Be 2 , R() Ce 2 , B, C = constante.
Debido a que la funcion de onda debe ser normalizada, la unica solucion con
sentido es
R() Be 2 , 1. (12.15)
289
Entonces propondremos como solucion
R() = l e 2 u(). (12.16)
Note que u() debe ser una funcion tal que R( 1) Al , 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 .
e2 Z e2 Z
V (r) = = , (12.17)
r
definiendo
r
2me2 Z e2 Z m
= = (12.18)
~2 ~ 2E
Eq. (12.10) toma la forma
d2 R() 2 dR()
l(l + 1) 1
+ + R() = 0. (12.19)
d2 d 2 4
de donde
d2 l
d l l 1
e 2 = e 2
d2 d 2
l
d l 2 1 l 2 l
= e +e 2
d 2
2
l 1 l
= l e 2 l e 2
2 2
2 !
l 2 l 1 l
= e 2
2
2
l 2 l l l 1
= e + .
2 4
290
Entonces, considerando que (f g)0 = f 0 g + f g 0 y (f g)00 = f 00 g + 2f 0 g 0 + f g 00 se
llega a
dR() d l du() d l
= e 2 u() = l e 2 + e 2 u()
d d d d
l 2 du() l 2 l 1 l 2 du() l 1
= e +e u() = e + u()
d 2 d 2
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 2 l 1 du()
= l e 2 2
+ u() + 2 e
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
Introduciendo estos resultados en Eq. (12.19) se obtiene
2 2
l 2 d u() l 1 du() l l l 1
e +2 + + u()
d2 2 d 2 4
l 2 2 du() l 1
+ e + u()
d 2
l 2 l(l + 1) 1
+ e u() = 0,
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
es decir la ecuacion que debe satisfacer u() es
d2 u()
2(l + 1) du() (l + 1)
+ 1 + u() = 0. (12.20)
d2 d
Para resolver esta ecuacion propondremos la serie
X
u() = an n , u(0) = a0 6= 0,
n0
291
que debe cumplir u(0) = a0 6= 0 y si , entonces u()e 2 0.
d2 u() X
= an n(n 1)n2 ,
d2 n0
entonces
d2 u() 2(l + 1) du() X
2
+ = an n (n 1 + 2l + 2) n2
d 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
= . (12.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 1
e = bn n , bn = ,
n0
n!
292
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. As,
despues de cierto numero todos los coeficientes de la serie deben ser nulos. De
la relacion Eq. (12.21) es claro que esto se logra si despues de cierto numero
an+1 = 0, que se cumple solo si
n + l + 1 = 0. (12.22)
Zme2 Ze2
Enl = . (12.23)
2~2 (n + l + 1)2
d2 u()
2(l + 1) du() n
+ 1 + u() = 0. (12.24)
d2 d
d2 Ln (x)
+1 dLn (x) n
2
+ 1 + Ln (x) = 0, (12.25)
dx x dx x
esta es la llamada ecuacion de Laguerre, que tambien se puede escribir como
dfn (x)
2
d Ln (x) dLn (x) dLn (x)
1
= x + Ln (x) + (n + + 1 x)
dx n+1 dx2 dx dx
293
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) . (12.28)
n+1 dx
Esta relacion es muy util, pues nos dice que basta resolver un caso para obtener
todos los demas.
d2 L0 (x)
+1 dL0 (x)
+ 1 = 0. (12.29)
dx2 x dx
294
dL
0 (x)
Definiendo U (x) = dx
se tiene la ecuacion
dU (x) +1
+ 1 U (x) = 0, (12.30)
dx x
cuya solucion es
ex
U (x) = A , A = constante. (12.31)
x+1
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 unico caso que podemos tomar es
U (x) = 0, que implica L0 (x) = constante, tomaremos
L0 (x) = 1. (12.32)
ex x dn x n+
Ln (x) = e x . (12.33)
n! dxn
Probaremos esta afirmacion por induccion, es claro que se cumple la igual-
dad para el caso n = 0. Para el paso inductivo supondremos Eq. (12.33) y
mostraremos que se cumple
ex x dn+1 x (n+1)+
e x = Ln+1 (x), (12.34)
(n + 1)! dxn+1
en esta demostracion ocuparemos la igualdad
n
dn
nk k
X
n d A d B n!
n
(AB) = Ck nk k
, Ckn = . (12.35)
dx k=0
dx dx k!(n k)!
295
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),
en el ultimo paso se uso la igualdad Eq. (12.28). Por lo tanto, Eq. (12.33) se
cumple para cualquier n.
es decir,
n
X (n + )!
Ln (x) = (x)k . (12.38)
k=0
k!(n k)!(k + )!
296
con A una constante de normalizacion. Definiendo N = n + l + 1, la funcion
de onda toma la forma
2
N lm (, , ) = Al L2l+1
N (l+1) ()e Ylm (, ), A = constante,
2
Ze
EN = , N = n + l + 1.
aRB N 2
Note que el valor mnimo que puede tomar l es cero y el maximo valor que
puede tomar es N 1. Ahora, como por cada valor de l hay (2l + 1) valores de
m que dan el mismo valor propio l, el numero de funciones propias que dan el
mismo valor N es
N
X 1
(2l + 1) = N 2 . (12.40)
l=0
297
Captulo 13
Ecuacion de Helmholtz
298
13.2. Ecuacion de Helmholtz en dos dimensio-
nes
La ecuacion de Helmholtz en dos dimensiones en coordenadas polares es
1 2 (r, )
2 2 1 (r, )
+ k 2 (r, ) = 0.(13.6)
2D + k (r, ) = r + 2 2
r r r r
(r, ) = R(r)(),
de donde
R(r) 2 ()
() R(r)
22D 2
+ k 2 R(r)() = 0,
+k (r, ) = r +
r r r r2 2
por lo que
r2 (22D + k 2 ) (r, ) r2 1 2 ()
R(r)
= r + 2
+ k 2 r2 = 0. (13.7)
R(r)() rR(r) r r ()
As,
r2 (22D + k 2 ) (r, ) 1 2 ()
= = 0,
R(r)() () 2
1 2 ()
= 2 , = constante, (13.8)
() 2
es decir
2 ()
= 2 (), (13.9)
2
cuya solucion es
() = a ei + b ei . (13.10)
r2
R(r)
r 2 + k 2 r2 = 0, (13.11)
rR(r) r r
299
que se puede escribir como
2
1 R(r) 2
r + k 2 R(r) = 0. (13.12)
r r r r
Con el cambio de variable = kr se obtiene
2 R() 1 R() 2
+ + 1 2 R() = 0, (13.13)
2
que es la ecuacion de Bessel, as,
(r, ) = J (kr) Ck ei + Dk ei .
(13.16)
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. (13.19)
Por lo tanto, debe ser un numero natural n. Por lo que, en este caso las
soluciones son de la forma
(R, ) = 0, (13.21)
300
que implica
Jn (k R) = 0. (13.22)
Note que para la ecuacion de onda en dos dimensiones Eq. (13.5) la restriccion
Eq. (13.23) implica que las unicas frecuencias permitidas son
cnm
nm = . (13.26)
R
Mientras que para la ecuacion de Schrodinger en dos dimensiones Eq. (13.3)
la restriccion Eq. (13.23) implica que las unicas energas permitidas son
2
~2 nm
Enm = . (13.27)
2m R
301
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
es decir se debe resolver la ecuacion
1 2 R(r) l(l + 1)R(r) 2
r + k R(r) = 0. (13.28)
r2 r r r2
302
En lugar de J(l+ 1 ) (kr) podemos tomar las funciones de Nuemman Nl+ 1 (kr).
2 2
Ademas, usando la definicion de R(r) y de las funciones esfericas de Bessel
Eqs. (5.46)- (5.47) se tiene
Rl (r) = al jl (kr) + bl nl (kr). (13.31)
Por lo tanto, las soluciones de la ecuacion de Helmholtz son de la forma
lm (r, , ) = (alm jl (kr) + blm nl (kr)) Ylm (, ) (13.32)
y la solucion general es
m=l
X X
(r, , ) = (alm jl (kr) + blm nl (kr)) Ylm (, ). (13.33)
l0 m=l
13.4. 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 =
, (13.35)
~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 aceptables son de la forma jl (kr). Ademas, la funcion
de onda se debe anular en la frontera, por lo que
jl (kR) = 0, (13.36)
de donde kR = ln , con ln una raz de la funcion esferica de Bessel de orden
l. Considerando la definicion de k, las energas permitidas son
~2 2ln
Eln = , (13.37)
2mR2
mientras que las funciones de onda son
ln r
lmn (r, , ) = jl Ylm (, ). (13.38)
R
303
13.5. Desarrollo en ondas parciales
~
Claramente la funcion (~r) = eik~r es solucion a la ecuacion de Helmholtz
Eq. (13.1). Por lo que esta funcion se debe poder expresar en terminos de
las funciones esfericas de Bessel y los armonicos esfericos. Para probar esta
afirmacion el resultado fundamental es la integral
Z 1 12
iz 2
dze Pl (z) = (i)l Jl+ 1 (). (13.39)
1 2
2
!
1 1
= (2l + 1) J 1 () + J
l 2 3 ()
l+ 2 J 1 () J 3 ()
2 2 l + 12 2 l 2 l+ 2
(2l + 1) 1
= J 1 () + Jl+ 3 () Jl 1 () Jl+ 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
304
12 12
2 2
= sin
12
2
= J 1 (), (13.43)
2
es decir
Z 1 12
iz 2
dze P0 (z) = J 1 (). (13.44)
1 2
" 12 #
1 () 2 J 1 ()
2
= (i) (2) 2 3 J 1 () +
2 2 2
12 " #
2 J 1 () J 1 ()
= (i) 2 + 2
, (13.45)
2
12
2
= (i) J 3 () (13.46)
2
Para probar que Eq. (13.39) es valida para cualquier l ocuparemos el principio
de induccion fuerte. Es decir, supondremos que la igualdad Eq. (13.39) es valida
para l y tambien para todos los valores menores que l, entonces probaremos
que se cumple
Z 1 12
iz 2
dze Pl+1 (z) = (i)l+1 Jl+ 3 (). (13.47)
1 2
305
Antes de iniciar la prueba, notemos que la identidad Eq. (10.219) se puede
escribir como
1
Pl+1 (z) = [(2l + 1)zPl (z) lPl1 (z)] . (13.48)
l+1
Entonces, recurriendo a la identidad Eq. (13.42) y tomando en cuenta que
(i)l1 = (i)l+1 , se llega a
Z 1 Z 1
iz 1
dze Pl+1 (z) = dzeiz [(2l + 1)Pl (z) lPll (z)]
1 l + 1 1
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 12 #
1 2
= (2l + 1)(i) dzeiz Pl (z) l (i)l1 Jl 1 ()
l+1 1 2
" 12 ! 12 #
1 2 2
= (2l + 1)(i) (i)l Jl+ 1 () + l (i)l+1 Jl 1 ()
l+1 2 2
12 !
(i)l+1 Jl+ 1 ()
1 () 2 2
= (2l + 1)() (2) 2 3 Jl+ 1 () +
l+1 2 2 2
12
2
+l (i)l+1 Jl 1 ()
2
21 12 !
(i)l+1 Jl+ 1 () Jl+ 1 ()
2 2
= (2l + 1) 2
2
l+1 2
12
2
+l Jl 1 ()
2
1 " ! #
(i)l+1 2 2 Jl+ 1 () Jl+ 1 ()
= (2l + 1) 2
2
+ lJl 1 () ,
l+1 2 2
21
2
= (i)l+1 Jl+ 3 (), (13.49)
2
306
Ahora, como los polinomios de Legendre son un conjunto de funciones orto-
gonales en el intervalo (1, 1), cualquier funcion se puede expresar como una
serie de Polinomios de Legendre. En particular la funcion exponencial, eiz , es
decir
X
eiz = am Pm (z), (13.51)
m0
entonces
!
Z 1 Z 1 X
eiz Pl (z) = dzPl (z) am Pm (z)
1 1 m0
X Z 1
= am dzPl (z)Pm (z)
m0 1
X 2lm 2al
= am = . (13.52)
m0
2l + 1 2l + 1
2l + 1 1 iz
Z
al = e Pl (z) = (i)l (2l + 1)jl (), (13.53)
2 1
que implica
X
eiz = (i)l (2l + 1)jl ()Pl (z). (13.54)
l0
307
Captulo 14
Transformada de Fourier
aun cuando 0 o si .
14.2. Ejemplos
Veamos algunos ejemplos de transformada de Fourier.
308
14.2.1. Funcion Gaussiana
2
Para la funcion Gaussiana, ex , tenemos
Z Z
1 1
dxe(x +ikx) ,
2
x2 ikx x2
F [e ]= dxe e = (14.4)
2 2
como
2 2 !
ik ik ik
x2 + ikx = x2 + 2 x+
2 2 2
2
k2
ik
= x+ + , (14.5)
2 4
entonces
k2
e 4
Z 2
ik
x2
F [e ]= dxe(x+( 2 )) . (14.6)
2
ik
Por lo tanto, usando la integral (14.2) y el cambio de variable u = x + 2
se
encuentra
k2
x2 e 4
F [e ]= . (14.7)
2
309
14.3. Teorema de la convolucion
Definiremos la convolucion entre dos funciones f y g como
Z
1
(f ? g)(x) = df (x )g(). (14.9)
2
La transformada de Fourier de la convolucion de dos funciones es
Z
1
F [(f ? g)(x)] = dxeikx (f ? g)(x)
2
Z Z
1 ikx 1
= dxe df (x )g()
2 2
Z Z
1 ik 1
= de g() dxeik(x) f (x ),
2 2
con el cambio de variable u = x se tiene
Z Z
1 ik 1
F [(f ? g)(x)] = de g() dueiku f (u)
2 2
= g(k)f(k). (14.10)
310
Para escribir esta integral de forma mas sugerente notemos que
" 2 2 #
i(k t) i(k t) i(k t)
z 2 + iz(k t) = z 2 + 2 +
2 2 2
2
(k t)2
i(k t)
= z+ + , (14.14)
2 4
(k t)2
z 2 + iz(k t) = u2 + . (14.15)
4
As, usando el cambio de variable propuesto y el resultado Eq. (14.2), llegamos
a
Z Z
1 (kt)2
4 2
g(k) = dtf (t)e dueu
2
Z r Z (kt)2
4
1 (kt)2 e
= dt f (t)e 4 = dt f (t). (14.16)
2 4
311
Recordemos que, por el teorema del valor intermedio [17], podemos asegurar
la existencia de tal que
f (t) f (k)
= f 0 (), (14.19)
tk
con f 0 la primera derivada de f. Por lo tanto,
f (t) f (k) 0
t k max |f ()| , (14.20)
es decir
De donde
(kt)2
e 4
Z
|g(k) f (k)| dt|t k|max |f 0 ()|
4
0 Z
max |f ()| (kt)2
= dt|t k|e 4 .
4
tk
Usando el cambio de variable w =
4
se tiene
Z Z
r Z
1 (kt)2
4 4 w2 4 2
dt|t k|e = dw|w|e =2 dwwew ,
4 4 0
as
r Z
0 4 2
|g(k) f (k)| max |f ()| 2 dwwew . (14.22)
0
Por lo tanto,
Z
h
k2
i h i 1
f (x) = g(x) = lm F e f (k) = F f(k) = dkeikx f(k).
0 2
usando el cambio de variable k 0 = k se encuentra
Z Z
1 ikx 1
f (x) = dke f (k) = dkeikx F [f (x)] . (14.24)
2 2
312
Entonces definiremos la transformada inversa de Fourier como
Z
h
1
i 1
F f (k) = dkeikx f(k), (14.25)
2
esta definicion es consistente pues
h i
1
f (x) = F f (k) = F 1 [F [f (x)]] . (14.26)
es decir
r
1
y|k| 2 y
F e = . (14.32)
y + x2
2
313
14.6. Transfomada de Fourier de la derivada
Para funciones tales que f () = 0, se tiene
Z
df (x) 1 df (x)
F = dxeikx
dx 2 dx
Z
1 d ikx ikx
= dx e f (x) + ike f (x)
2 dx
Z
1
= ik dxeikx f (x)
2
= ikF [f (x)] = ik f(k). (14.33)
Por lo tanto,
2
d f (x) df (x)
F = = ikF = (ik)2 F [f (x)] = (ik)2 f(k). (14.34)
dx2 dx
En general se cumple
dn f (x)
F n
= (ik)n f(k). (14.35)
dx
Este resultado nos permitira resolver algunas ecuaciones diferenciales emplean-
do la transformada de Fourier.
314
que es equivalente a
u(k, t)
= k 2 u(k, t). (14.38)
t
La solucion de esta ecuacion es
2
u(k, t) = A(k)ek t , (14.39)
por lo tanto
(x)2
e 4t
(x ) = lm . (14.43)
t0 4t
(x, t) ~2 2 (x, t)
i~ = , (14.44)
t 2m x2
315
que se puede escribir como la ecuacion de calor Eq. (14.36)
(x, t) 2 (x, t) i~
= , = . (14.45)
t x2 2m
Por lo tanto, si se impone la condicion inicial (x, 0) = (x), la funcion de
onda para cualquier tiempo mayor que cero es
Z
(x, t) = dG (x , t) (), (14.46)
con r
m im(x)2
G (x , t) = e 2~t .
2~t
Debido a que esta ultima funcion nos da informacion de como la partcula pasa
del estado inicial (x, 0) al estado (x, t) se le llama propagador.
d2 u(x)
+ a2 u(x) = f (x). (14.47)
dx2
Para esta ecuacion tenemos
2
d u(x)
F + a2 F [u(x)] = F [f (x)] , (14.48)
dx2
es decir
de donde
f(k)
u(k) = . (14.50)
k 2 + a2
Por lo tanto,
" # " #
f(k)
r r
1 1 2 a
u(x) = F 1 [u(k)] = F 1 = F f (k) ,
k 2 + a2 a 2 k 2 + a2
316
usando Eq. (14.32) y el teorema de la convolucion, se llega a
r Z
1 1
u(x) = df ()ea|x| , (14.51)
a 2 2
es decir
ea|x|
Z
u(x) = df () . (14.52)
2a
es decir
317
entonces
Z
1 y
u(x, y) = df () . (14.59)
y + (x )2
2
Note que esta condicion nos indica que el mnimo valor que puede tomar S es
K, de lo contrario no vale la pena ejercer el contrato. Mas detalles sobre esta
ecuacion se puede ver en [26].
S = ex (14.63)
se obtiene
2 2 C(x, t) 2
C(x, t) C(x, t)
= + r + rC(x, t). (14.64)
t 2 x2 2 x
318
se llega a la ecuacion de onda
(x, t) 2 2 (x, t)
= , (14.66)
t 2 x2
la cual tiene la misma forma que la ecuacion de Schrodinger libre en una di-
mension (14.44). Esta equivalencia ha dado origen una nueva disciplina, las
llamadas finanzas cuanticas [15].
= T t, (14.67)
(x, ) 2 2 (x, )
= . (14.68)
2 x2
Ademas, con la variable el precio (14.65) toma la forma
2
2 2
1 1
r x+ +r (T )
2 2 2 2 2
C(x, ) = e (x, ). (14.69)
319
es decir
2
2 +r
2 T
e
Z (xx0 )2
2 2
1 r 0 1 r
dx0 e( 2 + 2 )x Ke( 2 + 2 )x e 22 . (14.73)
0
(x, ) =
2 2 ln K
con
z u2
e 2
Z
N (z) = du , (14.78)
2
S 2
r 1 ln + (T t) r
2
x ln K + 2
2 K 2
d = = .
T t
Usando la integral I en (14.73) se encuentra
2
2 +r
2 T h 2 2
i
r
+ 1 x+ r + 1
(x, ) = e
2 2 e ( 2 2 ) 2 ( 2 2 ) N (d+ )
2
2 +r
2 T h 2 2
i
r
1 x+ r 1
Ke 2 2 e ( 2 2 ) 2 ( 2 2 ) N (d ) .
320
14.10. Delta de Dirac
Se puede observar que al sustituir la definicion de la transformada de Fou-
rier en Eq. (14.24) se obtiene
Z Z
1 ikx 1 0
f (x) = dke dx0 eikx f (x0 )
2 2
Z Z 0
0 0 eik(xx )
= dx f (x ) dk . (14.80)
2
Por lo tanto, en este caso la delta de Dirac la definiremos como
Z
1
(x) = dkeikx , (14.81)
2
de donde
Z
f (x) = dx0 f (x0 )(x x0 ). (14.82)
321
La delta de Dirac tambien cumple
(x)
(ax) = . (14.87)
|a|
Para probar esta afirmacion primero tomemos el caso a > 0. Con el cambio de
variable k 0 = ak se obtiene
Z Z
1 1 1 0 (x)
(ax) = dkeiakx
= dk 0 eik x = ,
2 a 2 a
por lo que se cumple Eq. (14.87). Para caso a < 0 tambien usaremos el cambio
de variable k 0 = ak, de donde
Z Z Z
1 1 1 0 ik0 x 1 1 0 (x)
(ax) = dke iakx
= dk e = dk 0 eik x = ,
2 a 2 a 2 a
as se cumple Eq. (14.87). Por lo tanto, la identidad Eq. (14.87) es correcta.
En estricto sentido la delta de Dirac solo tiene sentido dentro de una inte-
gral. Sin embargo es conveniente manipularla por si sola. Usando la analoga
de la delta de Kronecker y la propiedad Eq. (14.84), se dice que (x) es cero
si x 6= 0 y, considerando la definicion Eq. (14.101), se toma el valor (0) = .
Sea f (x) una funcion, veamos que significa (f (x)). Note que si no existe
x tal que f (x) = 0, entonces (f (x)) = 0. Supongamos que f (x) tiene un solo
cero, x0 , y que la funcion es creciente o decreciente. Si f (x) es creciente, se
df
tiene que dx >0y
Z Z
g (f 1 (Y ))
dxg(x) (f (x)) = dY df
(Y ) .
dx
df
Si la funcion f (x) es decrenciente, entonces <0y
dx
Z Z
g (f 1 (Y ))
dxg(x) (f (x)) = dY df
(Y )
dx
Z 1
g (f (Y ))
= dY df
(Y ) .
dx
Por lo tanto,
1
Z Z 1
g (f (Y ))
g (f (Y )) Y =0
dxg(x) (f (x)) = dY df (Y ) = df , (14.88)
dx dx Y =0
322
como Y = 0 solo si x = x0 , llega a
Z
g (x0 )
dxg(x) (f (x)) = df . (14.89)
dx x=x0
como este resultado es valido para cualquier funcion g(x), podemos tomar
(x x0 )
(f (x)) = df . (14.91)
dx
Ahora, supongamos que f (x) tiene un numero finito de ceros {xi }ni=1 tales que
df (x)
f (xi ) = 0, 6= 0. (14.92)
dx x=xi
Entonces definiremos n vecindades de radio , cada una centrada en un cero
xi . Estas vecindades, Vi (xi ), las tomaremos de tal forma que si x Vi (xi ) y
f (x) = 0, entonces x = xi . Note que debido a que se cumple Eq. (14.92), en
cada cero podemos elejir la vecindad de tal forma que en ella la funcion f solo
sea creciente o decreciente. Sobre estas vecindades definiremos las funciones
f (x) x Vi (xi ),
fi (x) = (14.93)
hi (x) x 6 Vi (xi ),
donde hi (x) es una funcion de tal forma que fi (x) es creciente o decreciente
en todo el eje real. Entonces, como la delta de Dirac solo es diferente de cero
cuando su argumento es cero, se tiene
n n
X X (x xi )
(f (x)) = (fi (x)) = df , (14.94)
i
i=1 i=1 dx
es decir
n
X (x xi )
(f (x)) = df , f (xi ) = 0. (14.95)
i=1 dx
Por ejemplo,
(x a) + (x + a)
x 2 a2 = . (14.96)
2|a|
323
14.10.1. La funcion de Heaviside
La funcion de Heaviside se define como
1, x 0
(x) = (14.97)
0, x < 0.
324
Z Z
= dkdk 0 f (k)f(k 0 ) (k 0 k)
Z
Por lo tanto, la norma de una funcion f (x) tiene el mismo valor que su trans-
formada de Fourier f(k).
325
Para resolver la ecuacion inhomogenea es importante la funcion de Green. Se
dice que G (x, x0 ) es una funcion de Green de A(x ) si satisface la ecuacion de
Green
satisface
Z
A(x )(x) = dx0 A(x )G (x, x0 ) (x0 ) + A(x )0 (x)
Z
= 4 dx0 (x x0 ) (x0 ) = 4(x).
Por lo tanto, para cualquier funcion bien portada se puede hacer el desarrollo
de Fourier
X
f (x) = a (x), (14.112)
326
con los coeficientes de Fourier dados por
Z
a =< (x)|f (x) >= dx (x)f (x). (14.113)
Por lo tanto, para este caso la funcion de Green esta dada por
X (x0 ) (x)
G(x x0 ) = 4
. (14.116)
X
= 4 (x0 ) (x) = 4(x x0 ). (14.117)
De Eq. (14.116) se puede ver que las condiciones de borde que satisface la
funcion de Green son las mismas que satisfacen las funciones propias.
327
que se anulen en (x, y) = (0, 0) y en (x, y) = (L1 , L2 ).
328
14.15. Resultados de variable compleja
Antes de continuar recordemos dos resultados de variable compleja.
Otro resultado es que si R(z) es una funcion que no tiene polos en el eje real
ni en el plano complejo superior y que lmz R(z) = 0, entonces si a es un
numero real, se cumple
Z
1 R(x)
Z
1 R(x)
R(a) = P.P = . (14.128)
i x a i x a
En particular
eix
Z
P.P = i, (14.129)
x
que implica
Z
sin x
= . (14.130)
x
Este resultado lo ocuparemos posteriormente.
329
que tiene asociada la ecuacion de Green
es decir
1
~k 2 G ~k 2 = 4 p , (14.134)
(2)3
por lo que
1 1
G ~k 2 = 4 p , (14.135)
(2)3 ~k 2
de donde,
Z i~k(~ x0 )
x~
4 e
0
G (~x ~x ) = d~k . (14.136)
(2)3 ~k 2
~ = ~x ~x0 , se tiene
Usando coordenadas esfericas y definiendo R
~ ~
eikR
Z
0 1 ~
G (~x ~x ) = dk
2 2 ~2
Z k Z 2 Z
1 2 eikR cos
= dkk d d sin
2 2 0 k2
Z Z 0 0
2
= dk d sin eikR cos , (14.137)
2 2 0 0
330
tomamos w = kR y considerando la integral Eq. (14.130) se llega a
Z Z
0 2 sin w 1 sin w 1
G (~x ~x ) = dw = dw = = ,
R 0 w R w R R
es decir
1
G (~x ~x0 ) = . (14.140)
|~x ~x0 |
Que implica
1
2
= 4 3 (~x ~x0 ) . (14.141)
|~x ~x0 |
(~x0 )
Z
(~x) = d~x0 + 0 (~x), (14.142)
|~x ~x0 |
331
se tiene
l
1 1 1 X r<
= 2 = r> Pl (cos ).
|~x ~x0 |
r
r<
r< l0
r>
r> 12 r>
cos + r>
Fuera de la region donde esta definida la fuente (~x0 ) se tiene r< = |~x0 | y
r> = |~x|. Por lo tanto, en esta region se tiene
m=l
(x0 )
Z Z
0
X X Ylm (, ) 4
(~x) = d~x = l+1
d~x0 r<
l
Ylm (0 , 0 ) (~x0 ) .
|~x ~x0 | l0 m=l
r > 2l + 1
~ A
Ademas, usando la norma de Coulomb ~ = 0, las ecuaciones de la
magnetostatica se reducen a
~ x) = 4 J~ (~x) ,
2 A(~ (14.150)
J~ (~x0 )
Z
~ (~x) =
A d~x0 . (14.151)
|~x ~x0 |
332
14.17. Funcion de Green de la ecuacion Helm-
holtz
La ecuacion de Helmholtz inhomogenea es
2 + k 2 (~x) = 4 (~x) ,
(14.152)
la cual tiene asociada la ecuacion de Green
2 + k 2 G (~x ~x0 ) = 4 3 (~x ~x0 ) .
(14.153)
Para resolver esta ultima ecuacion veamos la funcion
er p
f (r) = , r = x2 + y 2 + z 2 , (14.154)
r
la cual tiene una divergencia en r = 0. Esta divergencia se puede aislar, en
efecto
er 1 + 1 1 er 1
f (r) = = + , (14.155)
r r r
note que
er 1
lm = . (14.156)
r0 r
Por lo tanto, la divergencia de la funcion Eq. (14.154) esta en termino 1/r.
Ahora, observemos
r
1 er 1
r
2 e 2 21 2 e 1
= + = + , (14.157)
r r r r r
empleando la ecuacion Eq. (14.141) y el Laplaciano en coordenadas esferica
Eqs. (2.77)-(2.78) se llega a
r
1 2
r r
2 e (3) e (3) 2e
= 4 (~r) + r = 4 (~
r ) + ,
r r r2 r r
es decir
er
2 2 = 4 (3) (~r) . (14.158)
r
Este resultado lo hemos obtenido con las coordenadas x, y, z. Claramente el
resultado no cambia si se consideran las coordenas x x0 , y y 0 , z z 0 . Por lo
tanto,
e|~x~x0 |
2
2
= 4 (3) (~x x0 ) . (14.159)
|~x ~x0 |
333
Si tomamos = ik, entonces se obtiene
eik|~x~x0 |
2
+k 2
0
= 4 (3) (~x x0 ) , (14.160)
|~x ~x |
que es la ecuacion de Green para la ecuacion de Helmholtz inhomogenea. As,
la funcion de Green para la ecuacion de Helmholtz inhomogenea es
0
0 eik|~x~x |
G (~x x ) = . (14.161)
|~x ~x0 |
Entonces una solucion a la ecuacion de Helmholtz inhomogenea es
Z ik|~
x~x0 |
0e
(~x) = 0 (~x) + d~x (~x0 ), (14.162)
|~x ~x0 |
con 0 (~x) una solucion a la ecuacion de Helmholtz libre. Estas soluciones se
ocupan para estudiar radiacion y difraccion de onda electromagneticas, el signo
se elije dependiendo si las ondas que se estudian son ondas entrantes o salientes.
2 + k 2 (~x) = 4(~x).
Por lo tanto,
m Z ik|~ x0 |
x~
0e
(~x) = 0 (~x) d~x V (~x0 )(~x0 ), (14.164)
2~ |~x ~x0 |
donde 0 (~x) es una solucion a la ecuacion de Helmholtz homogenea. A Eq.
(14.164) se le llama ecuacion de Lippman-Schwinger y es muy util para estudiar
dispersion de partculas en mecanica cuantica.
334
14.18. Funcion de Green de la ecuacion de on-
da
Ahora estudiaremos la ecuacion de onda inhomogenea
1 2
2
2 2 (~x, t) = 4(~x, t). (14.165)
c t
la cual tiene asociada la ecuacion de Green
1 2
2 2 G (~x ~x0 , t t0 ) = 4 (3) (~x ~x0 ) (t t0 ) .
2
(14.166)
c t
La ecuacion de onda es invariante relativista, para respetar esta invariancia en
el sector temporal tomaremos las definiciones
Z
1
g() = dteit g(t), (14.167)
2
Z
1
g(t) = deit g(), (14.168)
2
Z
1
(t) = deit . (14.169)
2
Por lo que,
Z
1 ~
d~kdei((tt )k(~x~x )) G ~k, ,
0 0
0 0
G (~x ~x , t t ) = p
(2)4
Z
1 ~
d~kdei((tt )k(~x~x )) .
0 0
(4) 0 (3) 0 0
(x x ) = (~x ~x ) (t t ) = p
(2)4
1 2
2 2 G (~x ~x , t t ) = 4F (3) (~x ~x0 ) (t t0 ) ,
2 0 0
F
c t
es decir
2
4
~k 2 + 2 G ~k, = p ,
c (2)4
de donde
4 1
G ~k, = p .
(2)4 ~k 2 2
c2
335
Por lo tanto,
~
ei((tt )k(~x~x ))
Z 0 0
1
0
G (~x ~x , t t ) = 0
d~kd . (14.170)
4 3 ~k 2 22
c
~ = ~x ~x0 y tomaremos
Para hacer esta integral definiremos = t t0 , R
coordenadas esfericas, por lo que
Entonces,
2
ei( kR cos )
Z Z Z Z
~ ) = 1 2
G(R, d dkk d2 d sin
4 3
0 0 0 k 2 c2
Z Z Z
2 2 ikR cos ei
= dkk d sin e d 2 . (14.172)
4 3 0 0 k 2 c2
entonces
2
ei
Z Z
~ ) = c
G(R, dkk 21
sin rR d 2 . (14.173)
2 0 kR k 2 c2
por lo que,
ei ei
Z Z
I(k) = d 2 = lm d . (14.176)
k 2 c2 0 ( a )( b )
336
C
P1 P2
Trayectoria de integracin
ei = ei1 e2 . (14.177)
Note que si A las trayectorias de las dos primeras integrales forman una
trayectoria cerrada, , que se recorre en el sentido de las manecillas del reloj
y que encierra los dos polos a , b , es decir
ei ei
I Z
I(k) = lm lm d d .
0 A ( a )( b ) C ( a )( b )
337
Podemos ver que si A es muy grande
ei i1 2
e2 A
Z Z
d e e
d A (14.179)
C ( a )( b ) C 2 A2
Por lo tanto,
i
Z
e
lm d = 0, (14.180)
A C ( a )( b )
de donde
ei
Z
lm d = 0. (14.181)
A C ( a )( b )
Entonces,
ei
I
I(k) = lm lm d
0 A ( a )( b )
( a )ei ( b )ei
= 2i lm lm + lm
0 a ( a )( b ) b ( a )( b )
ia ib
e e
= 2i lm +
0 a b b a
2i 2i ick
eia eib = eick
= lm e
0 a b 2ck
ick
ick
2 e e sin ck
= = 2 . (14.182)
ck 2i ck
Ocupando este resultado en Eq. (14.173) se obtiene
2 Z
~ ) = c 2 1 sin ck
G(R, dk k sin kR 2
2 0 kR ck
Z Z
2c c
= dk sin kR sin ck = dk sin kR sin ck
R 0 R
Z
c 1
= dk (cos k (R c ) cos k (R + c ))
R 2
Z
c
dk eik(Rc ) + eik(Rc ) eik(R+c ) eik(R+c )
=
4R
Z Z
c 1 ik(Rc ) 1
= dke + dkeik(Rc )
2R 2 2
Z Z
1 ik(R+c ) 1 ik(R+c )
dke dke
2 2
338
c
= ((R c ) + (R c ) (R + c ) (R + c ))
2R
c
= ((R c ) (R + c )) . (14.183)
R
Ademas, como (R + c ) > 0, se encuentra
~ ) = c (R c ) = 1
G(R,
R
, (14.184)
R R c
es decir
|~
x~ x0 | 0 0 |~
x~ x0 |
c
(t t ) t t c
G (~x ~x0 , t t0 ) = = . (14.185)
|~x ~x0 | |~x ~x0 |
|~x ~x0 |
tRet = t , (14.186)
c
la funcion de Green se puede escribir de la forma
0 (t0 tRet )
0
G (~x ~x , t t ) = . (14.187)
|~x ~x0 |
(t0 tRet )
Z
(~x, t) = d~x0 dt0 (~x0 , t0 ) + 0 (~x, t)
|~x ~x0 |
(~x0 , tRet )
Z
= dx0 + 0 (~x, t),
|~x ~x0 |
es decir,
|~
x~ x0 |
Z ~x0 , t c
(~x, t) = d~x0 + 0 (~x, t). (14.188)
|~x ~x0 |
339
Referencias
[11] L. Infeld y T. E. Hull, The Factorization Method, Rev. Mod. Phys. 23, 21
(1951).
340
[13] N. Vilenkin, Special Functions and the Theory of Group Representations,
American Mathematical Society (1968).
[24] F. Black and M. Scholes, The pricing options and corporate liabilities,
Journal of Political Economy 81 (1973), 637-659.
[25] R. C. Merton, Theory of Rational Option Pricing, Bell J. Econ. and Ma-
nagement Sci. 4 (1973) 141-183.
341