Professional Documents
Culture Documents
METODOS
DE LA FISICA MATEMATICA
II
Departamento de Fsica
Facultad de Ciencias
Universidad de Chile
Vctor Mu
noz G.
Jose Rogan C.
Indice
1. Espacio de funciones
1.1. Definiciones . . . . . . . . . . . . . . . . . . . .
1.2. Sucesiones de funciones . . . . . . . . . . . . . .
1.3. Proceso de ortonormalizacion de Gram-Schmidt
1.4. Coeficientes de Fourier . . . . . . . . . . . . . .
1.5. Integrales impropias (valor principal) . . . . . .
1.6. Convergencia seg
un Ces`aro . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Series de Fourier
3. Transformada de
3.1. Definiciones .
3.2. Ejemplos . . .
3.3. Propiedades .
3.4. Aplicaciones .
1
1
3
9
10
14
15
19
Fourier
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
35
35
36
41
43
4. Convoluci
on
4.1. Espacio S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Producto de convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. El espacio S como anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
45
46
49
5. Distribuciones temperadas
5.1. Definiciones . . . . . . . . . . . . . . . .
5.2. Sucesion de distribuciones . . . . . . . .
5.3. Producto de distribuciones . . . . . . . .
5.4. Distribuciones y ecuaciones diferenciales
5.5. Convergencia debil . . . . . . . . . . . .
53
53
61
71
72
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
7. Convoluci
on de distribuciones
87
7.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2. Propiedades de la convolucion de distribuciones . . . . . . . . . . . . . . . . . 89
7.3. Uso de convolucion en Fsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
iii
INDICE
iv
8. La funci
on Gamma
8.1. La funcion factorial . . . . .
8.2. La funcion Gamma . . . . .
8.3. Funcion Beta . . . . . . . .
8.4. Notacion doble factorial . .
8.5. Formula de Stirling . . . . .
8.6. Otras funciones relacionadas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9. Transformada de Laplace
9.1. Definicion . . . . . . . . . . . . . . . . . .
9.2. Inversion de la transformada de Laplace .
9.3. Propiedades de la transformada de Laplace
9.4. Lista de transformadas de Laplace . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
93
94
96
99
99
101
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
103
. 103
. 105
. 109
. 111
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
113
114
116
118
120
11.Polinomios ortogonales
11.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.3. Relacion de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
123
. 123
. 123
. 125
12.Polinomios de Hermite
12.1. Definicion . . . . . . . . . . . .
12.2. Funcion generatriz . . . . . . .
12.3. Ortogonalidad . . . . . . . . . .
12.4. Algunos resultados interesantes
12.5. Solucion por serie de la ecuacion
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
de Hermite
13.Polinomios de Laguerre
13.1. Definicion . . . . . . . . . . . . .
13.2. Funcion generatriz . . . . . . . .
13.3. Relaciones de recurrencia . . . . .
13.4. Ecuacion de Laguerre . . . . . . .
13.5. Ortogonalidad . . . . . . . . . . .
13.6. Polinomios asociados de Laguerre
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
127
. 127
. 127
. 130
. 131
. 131
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139
. 139
. 141
. 141
. 143
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
133
133
135
135
136
138
INDICE
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
145
146
149
151
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
155
155
159
167
168
171
.
.
.
.
.
177
. 177
. 178
. 179
. 181
. 183
17.Funciones hipergeom
etricas
17.1. La ecuacion hipergeometrica general
17.2. Ecuacion indicial . . . . . . . . . . .
17.3. Ecuacion diferencial de Gauss . . . .
17.4. La serie hipergeometrica . . . . . . .
17.5. Ecuacion hipergeometrica confluente
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18.Polinomios de Legendre
18.1. Funcion generatriz . . . . . . . . . . . . . .
18.2. Relaciones de recurrencia . . . . . . . . . . .
18.3. Coeficientes del polinomio Pn (x) . . . . . . .
18.4. Formula de Rodrigues . . . . . . . . . . . .
18.5. Ecuacion diferencial de Legendre . . . . . .
18.6. Lugares nulos de Pn (x) . . . . . . . . . . . .
18.7. Relacion de ortogonalidad . . . . . . . . . .
18.8. Expresiones integrales para Pn (x) . . . . . .
18.9. Serie de Legendre . . . . . . . . . . . . . . .
18.10.Funciones asociadas de Legendre . . . . . .
18.11.Problema de Sturm-Liouville asociado . . .
18.12.Armonicos esfericos . . . . . . . . . . . . . .
18.13.Segunda solucion de la ecuacion de Legendre
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
187
. 187
. 189
. 190
. 191
. 192
. 193
. 193
. 194
. 196
. 199
. 201
. 203
. 205
19.La ecuaci
on diferencial de Bessel
19.1. La ecuacion diferencial de Bessel . . . .
19.2. Funciones de Bessel de ndice no entero
19.3. Funciones de Bessel de ndice entero . .
19.4. Comportamiento asintotico . . . . . . .
19.5. Funcion generatriz . . . . . . . . . . .
19.6. Formulas de adicion . . . . . . . . . .
19.7. Representaciones integrales . . . . . . .
19.8. Relaciones de recurrencia . . . . . . . .
19.9. Relaciones de ortogonalidad . . . . . .
19.10.Problema de Sturm-Liouville asociado
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
211
211
212
213
214
215
216
217
219
220
221
INDICE
vi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
229
229
233
236
240
243
246
248
Captulo 1
Espacio de funciones
versi
on final 3.3-13 de enero de 2003
1.1.
Definiciones
Definici
on 1.1 Denotemos por Co [a, b] al conjunto de funciones complejas continuas de una
variable real t [a, b]. Ademas, escojamos que:
f Co [a, b],
f (a) = f (b).
(1.1)
(1.2a)
si f Co [a, b] y C = f Co [a, b] .
(1.2b)
Definici
on 1.2 Denotemos por C [a, b] al conjunto de funciones complejas seccionalmente
continuas, acotadas (o sea, con discontinuidades mansas o de primera especie), de una
variable real t [a, b].
f C[a, b]
s
t
b
t0
a
Si t0 es un punto de discontinuidad, la funcion f debe estar dada, en ese punto, por
f (t0 ) =
1 +
f (t0 ) + f (t
0) .
2
(1.3)
Podemos afirmar que los conjuntos Co [a, b] y C [a, b] forman espacios vectoriales sobre el
cuerpo de los complejos. Ademas, Co [a, b] C [a, b].
1
Definici
on 1.3 Consideremos dos funciones f, g C [a, b]. Definimos su producto escalar
como
Z b
(1.4)
(f |g) =
f (t)g(t) dt
a
(1.5a)
(f |g + h) = (f |g) + (f |h)
(f + g|h) = (f |h) + (g|h)
(1.5b)
( f | g ) = ( f | g )
( f | g ) = ( f | g )
(1.5c)
Si f 6 0 = ( f | f ) > 0.
(1.5d)
Definici
on 1.4 Un espacio vectorial complejo dotado de un producto escalar con las propiedades anteriores, ecuaciones (1.5), se conoce como espacio pre-Hilbert.
Definici
on 1.5 Sea f C [a, b]. Definimos su norma:
p
k f k = ( f | f ) R.
(1.6)
Desigualdad de Cauchy-Schwartz
Desigualdad Triangular
(1.7a)
(1.7b)
(1.7c)
(1.7d)
(1.7e)
Demostraci
on Desigualdad de Cauchy-Schwartz, ecuacion (1.7c). Sea C arbitrario.
0 k f + g k2 = ( f + g | f + g ) = k f k2 + ( f | g ) + ( g | f ) + k g k2 .
Siendo arbitrario, tomemoslo entonces como:
=
(f |g)
k f k2
(g|f )
,
k f k2
luego
0
| ( f | g ) |2
| ( f | g ) |2
| ( f | g ) |2
2
2
k
f
k
2
+
k
g
k
=
+ k g k2
4
2
2
kf k
kf k
kf k
| ( f | g ) |2 k f k2 k g k2
|(f |g)| kf k kgk.
q.e.d.
Demostraci
on Desigualdad triangular, ecuacion (1.7d). De la definicion de norma
k f g k2 = ( f g | f g ) = ( f g | f ) ( f g | g ) R,
k f g k2 = Re [( f g | f ) ( f g | g )] ,
y como Re [z] |z| =
k f g k2 | ( f g | f ) | + | ( f g | g ) |.
Usando Cauchy-Schwartz,
k f g k2 k f g k k f k + k f g k k g k ,
kf gk kf k + kgk.
q.e.d.
1.2.
Sucesiones de funciones
Definici
on 1.6 Sea fn (t) con n = 0, 1, 2, . . ., una sucesion de funciones. Si t0 [a, b] fijo,
y > 0 N tal que
|fn (t0 ) F (t0 )| <
para
n > N,
(1.8)
entonces decimos que fn (t0 ) converge puntualmente a F (t0 ) y se escribe fn (t0 ) F (t0 ).
n
Observemos que N depende posiblemente de t0 .
Definici
on 1.7 Una sucesion de funciones fn (t) con n = 0, 1, 2, . . ., converge uniformemente
a F (t) si > 0 N tal que
|fn (t) F (t)| <
unif
(1.9)
Definici
on 1.8 La distancia entre dos funciones f , g C [a, b] se define por
s
Z b
kf gk =
(f g) (f g).
(1.10)
para n > N .
(1.11)
Ilustraciones
1) En el intervalo [0, 1] consideremos la funcion
1 1
n
si t 2n
,n
1 1
fn (t) = 12 n
si t = 2n
,n
0
en otro caso.
6
1
n
2
1
2n
1
n
c) fn 0.
N
k fn 0 k =
dt | fn (t) | =
1
n
1
2n
1
1
dt ( n )2 =
n=
2n
2
2)
fn (t) =
si t 0, n1
.
si t = n1
1
si t > n
k fn 0 k =
1
n
dt | fn (t) |2 =
1
0 .
n n
/2
/2
(
0 t [ 2 , 2 ], con t 6= 0
fn (t) f (t) =
n
1 si t = 0
fn no converge
uniformemente a f (t). Es
La funcion f (t) C [ 2 , 2 ]. Ademas, claramente
decir, el N que debo elegir de manera que fn (t) f (t) sea tan peque
no como se quiera,
n > N , depende sensiblemente del t que elija.
N
para n > N .
Considerando que F (t) es nula en todo el intervalo, tenemos para la diferencia en la norma
de las dos funciones
s
Z b
k fn k =
cos2n t dt < .
a
Obtenemos como corolario de estos ejemplos: la convergencia en la norma no implica convergencia puntual ni convergencia uniforme.
Proposici
on 1.1 Convergencia uniforme en un intervalo finito implica convergencia en la
norma.
Demostraci
on Sea > 0 N0 tal que
| fn (t) F (t) | < ,
n > N0 y t [a, b] ,
luego
s
k fn F k =
b
2
2 dt =
2 (b a) = b a ,
k fn F k < b a n > N0 .
q.e.d.
Teorema 1.1 de Weierstrass (sin demostracion)
Sea f continua en [a, b], entonces se tiene que > 0 existe un polinomio p(t) tal que:
| f (t) p(t) | < t [a, b].
(1.12)
f(a)
f(a)
f(b)
a a+
f(b)
x1
x1
x1+
b b
=1
K
X
!
1
=.
=1
a x y =
Definici
on 1.10 Una sucesion {fn } en C [a, b] se dice sucesion de Cauchy si > 0 existe un
N N tal que para todo n, m N se tiene que k fn fm k .
La definicion anterior se puede generalizar a espacios de funciones sin norma.
Es inmediato verificar que si {fn } converge a una funcion f en la norma, entonces es de
Cauchy, pues
k fn fm k k fn f k + k fm f k ,
y ambos terminos en el lado derecho se pueden acotar por un > 0 arbitrario. El inverso, sin
embargo, es falso, como se puede apreciar en el siguiente ejemplo:
Ejemplo Consideremos el conjunto de funciones reales C [0, 1], con el producto escalar definido como
Z 1
f (x)g(x) dx .
hf, gi =
0
Consideremos
si 0 x 21
1
fn (x) = 1 (x 12 )n si 12 < x < 12 + n1 .
0
si 12 + n1 x 1
f ( x)
1
1/2
1/2 + 1/ n
DE GRAM-SCHMIDT
1.3. PROCESO DE ORTONORMALIZACION
Se tiene que
2
1/2+1/n
k fn fm k
| fn (x) fm (x) |2 dx
1/2
1
,
2
de modo que es una sucesion de Cauchy. Sin embargo, se puede ver que {fn } tiende a una
funcion discontinua, y por lo tanto no converge en C [0, 1].
Definici
on 1.11 Un espacio normado es llamado completo si toda sucesion de Cauchy es
convergente. A un espacio normado completo se le llama espacio de Banach. A un espacio
pre-Hilbert que es completo se le llama espacio de Hilbert.
Definici
on 1.12 El conjunto de funciones {n (t)}n=0,1,2,... se dice ortonormal si
( n | m ) = n m
n, m.
(1.13)
Ilustraci
on
Como ejemplo de funciones ortonormales tenemos las cn (t) Co [, ] con n = 0, 1, 2, . . .
que se definen como
1
cn (t) = eint .
2
Claramente:
Z
1
( cn | cm ) =
ei(mn)t dt = n m
n, m.
2
Definici
on 1.13 Un conjunto de funciones {n (t)}n=0,1,2,..., se dice linealmente dependiente cuando
X
an n (t) = 0,
t [a, b],
(1.14)
n=1
es posible sin que todos los an sean nulos. En caso contrario son linealmente independientes.
Proposici
on 1.5 Un sistema ortogonal de funciones es siempre linealmente independiente
(l.i.). (Demostracion como ejercicio.)
1.3.
Proceso de ortonormalizaci
on de Gram-Schmidt
Sea {v }=1,2,... un conjunto linealmente independiente de funciones en C [a, b]. Para construir un conjunto ortonormal debemos seguir los siguientes pasos:
Construimos 1 =
v1
tal que ( 1 | 1 ) = 1.
k v1 k
Considerar 2 = v2 ( 1 | v2 ) 1 . Entonces
( 2 | 1 ) = ( v2 | 1 ) ( 1 | v2 ) ( 1 | 1 ) = ( v2 | 1 ) ( v2 | 1 ) = 0.
10
Luego, normalizando,
2 =
2
.
k 2 k
3
.
k 3 k
1.4.
Coeficientes de Fourier
Sea {n (t)}n=1,2,... un conjunto ortonormal de funciones tal que n C [a, b] n. Sea f (t)
Rb
una funcion tal que a | f (t) |2 dt < . Deseamos aproximar f (t) por una suma finita
SI (t) =
Cn n (t) ,
nI
| n |
Cn
f n
Cn
f n
MI (f ) =
|f | +
| Cn |
a
nI
= k f k2 +
| Cn |2
nI
= kf k
nI
Cn ( n | f )
nI
| ( n | f ) |
nI
2
nI
Cn ( n | f )
nI
2
| ( n | f ) |
nI
nI
| ( n | f ) | +
X
nI
| Cn ( n | f ) |2 0 ,
11
ya que la norma es mayor igual a cero siempre. Claramente el mnimo se obtiene cuando
Cn = ( n | f ). De lo anterior se desprende:
X
X
| Cn |2 =
| ( n | f ) |2 k f k2
Desigualdad de Bessel
(1.15)
nI
nI
Definici
on 1.14 Los coeficientes ( n | f ) son llamados los coeficientes de Fourier de f respecto del sistema ortonormal {n }n=1,2,... .
Definici
on 1.15 Si un conjunto de funciones {n } en cierto espacio permite aproximar en
la norma, con sus combinaciones lineales, cualquier funcion f del espacio tan bien como se
quiera, i.e.
X
an n
< ,
para arbitrario,
f
n
f=
Cn n .
{n }
n=1
memente. Si
f=
Cn n
{n }
entonces
2
X
2
,
kf k =
C
n
n
{n }
luego se cumple
2
kf k =
| f |2 =
Ejemplo El conjunto
1 eint
2
Igualdad de Parseval
nZ
eint
f (t) =
Cn =
2
n=
N
| Cn |2
|f | =
X
n=
| Cn |2 = k f k2 .
(1.16)
12
es decir, f no es ortogonal a todos los : contradiccion! Luego f debe ser identicamente nula.
q.e.d.
Teorema 1.4 Sea {Sn (t) Co [a, b]}; si existe F (t) tal que la sucesion Sn (t) =
n
X
c (t)
=0
Sn (t) F (t) ,
n
3
t [a, b] ,
luego
2
| F (t) F (t0 ) | < + | Sn (t) Sn (t0 ) | .
3
Pero Sn (t) es continua. Dado t fijo, y arbitrario, tal que
1
| t t0 | < = | Sn (t) Sn (t0 ) | < = | F (t) F (t0 ) | < .
3
q.e.d.
Este teorema asegura que una funcion discontinua no puede ser aproximada uniformemente por una familia de funciones continuas (por ejemplo, las funciones sinusoidales).
13
Teorema 1.5 Si dos funciones f, g C [a, b] tienen igual expansion en base completa (en el
sentido de aproximacion en la norma), entonces f (t) = g(t).
Demostraci
on Sean
S(t) =
( | f ) (t)
=0
q.e.d.
Notar que este teorema es falso fuera de C [a, b]. Por ejemplo,
(
1 si t = 0
fn (t) =
0 si t 6= 0
tiene igual expansion que g(t) = 0.
Teorema 1.6 Sea {}
=0 un conjunto ortonormal en C [a, b] y f C [a, b]. Entonces la serie
X
| ( | f ) |2 converge. En particular,
=0
( | f ) 0 .
Demostraci
on De la desigualdad de Bessel,
X
nI
| Cn | k f k =
dt | f (t) |2 .
q.e.d.
14
1.5.
1
Considere la funcion f (t) = .
t
R1
Una integral como 1 f (t) dt no esta bien definida. Sin embargo, debiera ser nula simplemente por paridad. Para conciliar estos hechos, podemos entender este tipo de integrales, en
intervalos simetricos en torno a la divergencia (t = 0 en este caso), de la siguiente manera:
Z
Z 1
Z 1
P f (t) dt = lm
f (t) dt +
f (t) dt = 0 .
(1.17)
0
f (t) dt = 0.
(1.18)
Definici
on 1.16 Valor principal de una integral. Sea t0 [a, b], f (t) integrable en la union
[a, t0 ] [t0 + , b], > 0, f (t) singular si t t0 . Si existe el lmite
Z t0
Z b
Z b
lm
f (t) dt +
f (t) dt P f (t) dt ,
(1.19)
0
t0 +
CESARO
`
1.6. CONVERGENCIA SEGUN
15
Ejemplo La integral
y +, y vale cero.
1.6.
(1.20)
Convergencia seg
un Ces`
aro
N
X
T` .
`=0
M 1
X
1 X
`
= lm
SN = lm
1
T`
M M
M
M
N =0
`=0
(1.21)
16
n=0
S2N +1 = 0
1
1
(1) =
(1 + 0 + 1 + 0 + ) '
M
M
n
n
X
M
2
=
1
.
2
a exista.
=0
n
1 XX
La convergencia seg
un Ces`aro necesita que el lm
a exista.
n n
=0 =0
Problemas similares a la serie discreta anterior ofrece calcular
la integral, desde cero hasta
Z
sen(x) dx:
0
(1.22)
Podemos encontrar una expresion alternativa para la integral de Ces`aro integrando por partes
la ecuacion (1.22):
Z
f (t) dt =
0
=
=
Z
f (t) dt =
0
Z y
Z x
1
lm
dx
dt f (t)
y y
x=0
t=0
y Z y
Z x
1
lm
x
f (t) dt
xf (x) dx
y y
0
0
0
Z y
Z y
1
lm
y
f (t) dt
xf (x) dx
y y
0
0
Z
x
lm
1
f (x) dx .
y 0
y
(1.23)
Vemos aqu como el factor (1 `/M ) en el caso discreto (1.21) proviene simplemente de
reordenar la suma. La expresion formal (1.23) permite ver la aparicion de un factor de
convergencia (1 x/y), pero no es necesariamente u
til en la practica.
CESARO
`
1.6. CONVERGENCIA SEGUN
17
1 sen(y)
1
= lm
2
y
y
Z
sen(t) dt =
0
(1.24)
Ejercicio Eval
ue
0
Bibliografa Adicional
Los topicos discutidos en este captulo son solo una introduccion a una amplia rama de
las Matematicas, el analisis funcional. Una tpica referencia del tema es el libro de Yosida
[1], el cual esta claramente orientado para matematicos. Una referencia mas al gusto de un
lector con interes en lo aplicado es el libro de Kreyszig [2].
En el interesante tema de las sucesiones divergentes el libro de Hardy [3] es una de las
referencias principales.
1 Kosaku Yosida, Functional Analysis, Classics in Mathematics, Springer-Verlag, Berln 1995
(ISBN 3 540 58654 7).
2 Erwin O. Kreyszig, Introductory Functional Analysis with Application, Wiley Classics Library, John Wiley & Sons, Nueva York 1990 (ISBN 0 47150 459 9).
3 G. H. Hardy, Divergent Series, Chelsea Publishing, Nueva York 1949 (ISBN 0 8284 0334
1).
18
Captulo 2
Series de Fourier
versi
on final 3.3-13 de enero de 2003
[, ] C tal que
|f (t)|2 dt < .
Luego
lm C = 0 .
(2.1)
=n
1
2
4
4n
1
+
a
+
a
+
+
a
con a = ei/2
2n
a
1 a4n+2 1
a2n+1 a(2n+1)
=
.
= 2n
a
a2 1
a a1
Luego
n
X
ei =
=n
sen[(2n + 1)/2]
.
sen(/2)
n
X
=n
Z
n
X
cos() d = .
d =
1+2
0
=1
19
(2.2)
20
Usando (2.2)
Z
=
0
sen[(2n + 1)/2]
d .
sen(/2)
Tomando = /2:
/2
Z
f (t) = 2
f (t)
0
sen[(2n + 1)]
d .
sen
(2.3)
eit
C
.
2
=n
Sn (t) =
Los coeficientes de Fourier son
C = ( | f ) =
eit
f (t0 ) dt0
2
n
X
n Z it0
X
eit
eit
e
f (t0 ) dt0
2Sn (t) = 2
C = 2
2
2
2
=n
=n
Z
n
X
0
2Sn (t) =
f (t0 )
ei(tt ) dt0
=n
2Sn (t) =
f (u + t)
t
Pn
Pn
=n
n
X
eiu du .
=n
f (u 2) = f (u)
u R ,
resulta
Z
2Sn (t) =
f (u + t)
1
Sn (t) =
2
f (t + u)
n
X
=n
n
X
ei u du
0 =n
iu
1
du +
2
f (t + u)
0
n
X
=n
eiu du
21
Haciendo en la primera integral el cambio de variables u = 2v, y en la segunda el cambio
u = 2v:
Z 0
Z /2
n
n
X
X
1
1
i2v
Sn (t) = (2)
f (t 2v)
f (t + 2v)
e
dv + (2)
ei2v dv .
2
2
/2
0
=n
=n
Usando (2.2) y (2.3):
Sn (t) f (t) =
/2
Z
0
sen[(2n + 1)v]
dv .
f (t 2v) + f (t + 2v) 2f (t)
sen v
(2.4)
Definamos ahora
t (v) = f (t + 2v) + f (t 2v) 2f (t)
Sea
t (v)
sen v
g(v) = 0
v [0, /2] .
v [0, /2]
v [, 0]
v [/2, ]
Sn (t) f (t) =
g(v) sen[(2n + 1)v] dv = 2 Im ( 2n+1 | g ) .
Con (2.1),
Sn (t) f (t) = 2 Im ( 2n+1 | g ) 0 .
n
Luego
lm Sn (t) = f (t) ,
o sea
f (t) =
eit
C
.
2
Z
q.e.d.
Sabemos, de (2.1), que
Z
| f (t) |2 dt < = lm C = 0 .
R
Supongamos que f Co [, ] y que f 0 es continua, tal que | f 0 |2 < . Entonces de la
definicion de los coeficientes de Fourier:
Z
2 C =
f (t)eit dt
Z.
22
eit
1 0
2 C = f (t)
+
f (t)eit dt .
i
i
Observando que el segundo termino no es sino el coeficiente de Fourier de f 0 , tenemos
C 0 .
| f 00 |2 < , entonces
2 C 0 .
Vale decir, cuanto mas derivable es la funcion f , tanto mas rapido tienden a cero sus
coeficientes de Fourier. Mas a
un, se puede demostrar el siguiente teorema:
Teorema 2.2 (Sin demostraci
on) Si f C y f tiene discontinuidades mansas (saltos
finitos), entonces los coeficientes de Fourier C decrecen como 1/.
Si f Co , f 0 C y f 0 tiene discontinuidades mansas, entonces los coeficientes de Fourier
C decrecen como 1/ 2 .
Etcetera.
El teorema anterior muestra que la serie de Fourier converge mas rapidamente mientras
mejor comportamiento analtico tenga la funcion f . En el caso de funciones infinitamente derivables, los coeficientes de Fourier exhiben decaimientos mas fuertes que cualquier polinomio
(C ' 1/!, por ejemplo).
Teorema 2.3 Si f 00 C [, ] entonces la serie de Fourier de f converge uniformemente a
f.
Demostraci
on Sean C = ( | f ) los coeficientes de Fourier de f . Como f 0 Co , entonces
2
C 0, luego existe un N tal que para todo || > N se tiene
2
C < 1
X
X
X
C =
C +
C
Z
| |N
| |>N
Sea
M = max
t[,]
C .
| |N
Entonces
X
X
X
X
C
C +
C
C +
C
| |N
| |N
| |>N
Z
| |>N
X
X
1
M+
| C | | | = M +
| C |
2
| |>N
| |>N
1 X 1
1 X
M+
| C | < M +
2
2
2
| |>N
| |>N
23
Pero
X
1
2
=
(2)
=
,
n2
6
n=1
f (t) =
A0 X
+
An cos(nt) + Bn sen(nt) ,
2
n=1
ix
C e
1
C =
2
f (t)eit dt .
1) f (x + 2) = f (x)
La expansion de Fourier de f (x) implica su extension periodica a R.
2) Si f (x) R x [, ],
C = C .
3) Poniendo
eix = cos(x) i sen(x) ,
obtenemos la expansion alternativa
A0 X
f (x) =
+
A cos(x) + B sen(x) ,
2
=1
24
con
A = C + C
1
=
f (t) cos(t) dt ,
1
B = i(C C ) =
f (t) sen(t) dt .
Ademas:
f (x) = f (x) = B = 0 ,
f (x) = f (x) = A = 0 ,
de modo que esta forma de la expansion es u
til cuando f tiene paridad definida.
4) Para expandir una funcion F de perodo L, definimos una funcion f de perodo 2 por
u
F (u) = f 2
.
L
As, F (u + L) = F (u). Podemos expandir en serie de Fourier la funcion f , obteniendose
finalmente:
F (u) =
C eiq u = F (u + L) ,
con q =
1
C =
L
2
,
L
L/2
F (t)eiq t dt .
L/2
Aplicaciones
1) Rectificador de media onda.
Consideremos el siguiente circuito electrico, y la forma de la corriente en funcion del
tiempo que por el circula:
I(t)
R
/2
A0 X
I(t) =
+
An cos(nt) ,
2
n=1
/2
25
con
1
A0 =
2
I(t) dt =
2
I(t) dt =
1/2
Z /2
2
An =
cos t cos(nt) dt = 0
0
2(1)n/2
(n2 1)
/2
cos t dt =
0
si n = 1
si n es impar, n 6= 1
si n es par
Luego
1 cos t 2 cos(2t) cos(4t)
I(t) = +
+
13
35
1 1 2
1
1
+
I(0) = + +
2 13 35
(2.5)
En general, An 0 como 1/n2 , como corresponde a una funcion I(t) cuya primera derivada
tiene discontinuidades mansas.
2) Rectificador de onda completa.
I(t)
sen t cos(nt) dt
0
(n2 1)
e
2
4 cos(2t) cos(4t)
I(t) =
+
+
13
35
3) Circuito resonante RLC.
n impar
n par
26
C
E(t)
Consideremos ahora E(t) una funcion arbitraria pero periodica de perodo T . La corriente
I(t) satisface
dI
1
dE
d2 I
L 2 +R + I =
.
dt
dt C
dt
E(t) se puede desarrollar en serie de Fourier:
E(t) =
En eint ,
n=
donde
1
En =
T
2
,
T
T /2
E(t)eint dt .
T /2
Cn eint ,
n=
n
LC
L
27
La ecuacion que rige la evolucion de la temperatura es:
U (x, t)
2 U (x, t)
=
,
t
x2
donde es la constante de conduccion termica. Al separar variables:
U (x, t) = X(x)T (t) ,
obtenemos las ecuaciones
dT
= 2 T ,
dt
d2 X
= 2 X ,
2
dx
donde es una constante. Las soluciones generales de estas ecuaciones son:
2 t
T (t) = Ce
sen(x) ,
y X(x) = A cos(x) + B
de modo que
2
Bm em t sen(m x) .
m=1
m
X
U (x, 0) =
Bm sen
x = x(L x) .
L
m=1
Como esta serie es una funcion impar, consideramos la extension periodica impar de la funcion
g(x) al intervalo [L, L], de modo que los coeficientes Bm correspondan a los coeficientes de
Fourier de g(x):
g(x)
-L
L
28
1
Bm =
L
g(x) sen
L
mx
L
U (x, t) =
x(L x) sen
dx = 2
mx
X
m=1
4L2
(1)m+1 3
dx =
4L2
(1)m+1
3
3
m
mx m2 2 t
1
sen
e L2 .
3
m
L
En particular,
U (x, t)
2
tt0 =
L
2
x
4L2
sen
et/t0 .
3
L
(2.6)
cn z n ,
n=0
y consideremos
cn = an ibn .
Cada termino de la expansion anterior satisface (2.6). En efecto,
2
2
2
n
+ 2 z =
+ 2 (x + iy)n
2
2
x
y
x
y
=
n(x + iy)n1 +
in(x + iy)n1
x
y
n2
= n(n 1)(x + iy)
n(n 1)(x + iy)n2 = 0 .
Escribamos U (x, y) en coordenadas polares:
(
)
X
U (x, y) = Re
(an ibn )rn ein
= Re
( n=0
)
(an ibn )rn (cos n + i sen n)
n=0
X
n=0
rn an cos(n) + bn sen(n) .
(2.7)
29
Imponiendo la condicion de borde:
() =
an cos(n) + bn sen(n) .
n=0
Por lo tanto, an y bn son los coeficientes de Fourier de (). Vale decir, la solucion de una
ecuacion de Laplace en dos dimensiones se puede escribir en terminos de una expansion de
Fourier.
Fen
omeno de Gibbs
Consideremos la onda cuadrada
0<x<
1
f (x) = 0
x = 0,
1 < x < 0
Su expansion en serie de Fourier se obtiene facilmente, encontrandose:
4X 1
sen[(2l + 1)x] .
f (x) =
l=0 2l + 1
Observamos que los coeficientes decaen como bn ' 1/n, en concordancia con el teorema
demostrado anteriormente (pag. 22). En la siguiente figura presentamos la funcion f (x) y su
aproximacion por sumas parciales de Fourier, con n = 2, n = 10 y n = 50 terminos.
1.5
1
0.5
0
-0.5
-1
-1.5
Se observa que hay buena convergencia con 10 terminos, y el resultado es casi perfecto con
50, salvo ciertas oscilaciones en los puntos de discontinuidad, oscilaciones que no se amortiguan cuando el n
umero de terminos va a infinito. Sin embargo, como la suma parcial SN (x)
converge punto a punto al valor esperado f (x), las oscilaciones no amortiguadas deben necesariamente limitarse a una vecindad cada vez menor en torno a los puntos de discontinuidad,
de modo que cualquier x 6= l, l Z, quede fuera de tal vecindad para N suficientemente
grande.
30
x 0 < x <
f (x) = 0
(2.8)
x=0
x + < x < 0
f(x)
X
2
f (x) =
sen(nx) .
n
n=1
dt
0
sen t
,
t
(2.9)
se sigue que
fN (x) = 2 Si(N x) .
Es claro de (2.9) que Si(0) = 0 y Si() = /2. Ademas, Si(x) posee extremos dados por
0=
Si
sen x
=
x
x
x = n
31
As, como sen t/t oscila amortiguandose para t , se espera que Si(x) igualmente oscile
cuando x crece, pero convergiendo a /2. Sus extremos en x = (2n + 1) deben ser maximos
(contribuciones de area positiva de sen t/t), y sus extremos en x = 2n deben ser mnimos
(contribuciones de area negativa de sen t/t). El primer maximo, en x = , es el maximo
absoluto (ver figura).
Si(x)
2
/2
1
32
Esto explica el fenomeno de Gibbs. Aun cuando hemos considerado la funcion (2.8), es
facil convencerse de que nuestros razonamientos son generales, y que podemos aplicarlos a
cualquier funcion en torno a una discontinuidad finita de la misma.
Integraci
on de series de Fourier
Sea f C [, ] y
a0 X
f (x) =
+
(an cos nx + bn sen nx) .
2
n=1
Sea
F (x) =
f (t) dt .
es decir,
a0 = 0 .
Siendo F periodica, es expandible en serie de Fourier:
A0 X
F (x) =
(An cos nx + Bn sen nx) ,
+
2
n=1
con
1
An =
F (x) cos(nx) dx
Z
sen nx
sen nx 0
F (x) dx
= F (x)
n
n
Z
1
bn
=
f (x) sen nx dx = ,
n
n
Si n = 0,
1
A0 =
n 6= 0 .
Z
1
F (x) dx = xF (x)
xf (x) dx .
Analogamente,
Bn =
an
.
n
X
n=1
33
(a0 = 0). Entonces
Z
A 0 X an
bn
f (x) dx =
+
sen nx cos nx,
2
n
n
n=1
con
1
A0 =
xf (x) dx .
34
Captulo 3
Transformada de Fourier
versi
on final 3.3-13 de enero de 2003
3.1.
Definiciones
Cn e
inx
L
con L x L ,
(3.1)
n Z.
(3.2)
n=
donde
1
Cn =
2L
f (x)e
inx
L
dx ,
= ,
L
L
pues n = 1.
Definimos
L
Cn .
X
X
ikx kL
f (x) =
CL (k) e
=
CL (k)eikx k ,
L
Lk/=
Lk/=
Z L
L 1
CL (k) =
f (x)eikx dx .
2L L
CL (k) =
Al hacer L , obtenemos
Z
C(k)eikx dk ,
f (x) =
1
C(k) =
2
35
f (x)eikx dx .
36
Definimos ahora C(k) como la transformada de Fourier F (k) de la funcion f (x). La relacion
entre f y F esta dada por el teorema de reciprocidad:
Z
1
f (x) =
F (k)eikx dk ,
(3.3a)
2
Z
1
F (k) =
f (x)eikx dx F{f, k} .
(3.3b)
2
Definici
on 3.1 Si f es tal que
Z
kf k =
|f | < ,
3.2.
Ejemplos
2
2
N
N
2
x2 ikx
F (k) =
e
e dx =
e( xik/2 ) ek /4 dx .
2
2
ik/2
ik/2
u2
N k2 /4
du =
e
2
N k2 /4
N
2
F (k) =
e
= ek /4 ,
2
2
otra gaussiana. Si es grande:
f(x)
F(k)
Si es peque
no:
eu du
3.2. EJEMPLOS
37
F(k)
f(x)
F (k) =
dx
=
dx .
2 x2 + a2
2 (x + ai)(x ai)
Haciendo una prolongacion analtica al plano complejo de la funcion f (x) y luego considerando el contorno cerrado de integracion , para el caso k > 0, podemos aplicar el
teorema del residuo:
Im z
a
-L
Re z
-a
eikz
eikz
dz = 2i Resz=ia = 2i(z ai)
= eka .
(z + ai)(z ai) z=ai a
(z + ai)(z ai)
Podemos separar el contorno en dos tramos, un semicrculo y un tramo horizontal entre
L y L sobre el eje real. Al tomar el lmite L es facil mostrar que la integral sobre
el semicrculo tiende a cero y la integral entre L y L tiende a una integral real entre
y , es decir
I
Z
eikz
eikx
dz
dx = eka .
L
a
(z + ai)(z ai)
(x + ai)(x ai)
I
para k > 0 .
Analogamente, podemos mostrar, considerando el polo en el semiplano inferior y un contorno de integracion que lo contenga, que
r
ka
F (k) =
e
para k < 0 .
2
38
Para k = 0:
1
F (0) =
2
r
x +
a
1
1
.
dx
=
arctan
=
=
2
x 2 + a2
a
2
2
2 2
F(k)
1
x2
Esto coincide con los resultados generales sobre los coeficientes de Fourier del captulo 2.
Mas adelante, en la seccion 3.3, demostraremos el teorema analogo para transformadas
de Fourier.
c) Consideremos la funcion, con a > 0,
(
1 |x| < a
f (x) =
.
0 |x| > a
Su transformada de Fourier
1
F (k) =
2
+a
eikx dx =
f(x)
2 sen(ka)
k
F(k)
-a
3.2. EJEMPLOS
39
F (k) angosta
f (x) angosta
F (k) ancha
f (x) discontinua
F (k) 0 como
F (k) infinitamente
| k |
| x |
cualquier potencia
1
k
diferenciable
1
Ejercicio Para el caso anterior, evaluar F 1 {F, x}, y mostrar que f (x = a) = .
2
d) Si g(x) R y es impar, i.e. g(x) = g(x), entonces
1
G(k) =
2
ikx
g(x)e
2i
dx =
2
=
2
2 ik + ik
2 + k 2
r
2 ik
.
F (k) =
2 + k 2
40
f(x)
Fs (k)
f (x) discontinua
F (k) 0 como
F (k) infinitamente
| k |
| x |
1
k
cualquier potencia
diferenciable
Z
1
Notemos que F L , pero su integral entre y resulta impropia, P F = 0.
Analogamente a la definicion de la transformada seno de Fourier, si g(x) R y es par,
i.e. g(x) = g(x), entonces
Z
Z
1
2
ikx
G(k) =
g(x)e dx =
g(x) cos(kx) dx GC (k) ,
2
2 0
donde GC es conocida como la transformada coseno de Fourier de la funcion g(x), y viene
definida por
r Z
2
GC (k) =
g(x) cos(kx) dx
(3.5)
0
e) Z
Consideremos ahora una funcion f (x) 6 L1 . Sea f (x) = sgn(x). f (x) 6 L1 , ya que
Z
1
F (k) =
sgn(x)eikx dx
2
r Z
2
sen(kx) dx
= i
0
r
i 2
si k 6= 0
=
k
0
si k = 0
f(x)
Fs (k)
x
-1
(integral Ces`aro)
3.3. PROPIEDADES
3.3.
41
Propiedades
F es lineal
(3.6a)
(3.6b)
si f R
(3.6c)
(3.6d)
||
(3.6e)
(3.6f)
Teorema 3.2 Cuanto mas derivable es f (x) tanto mas rapido decrece F (k) 0.
| k |
Demostraci
on Sea f (x) continua en < x < . Si f , f 0 L1 , entonces
F (k) 0 ,
| k |
pero tambien
kF (k) 0 ,
| k |
ya que
1
F (k) =
2
ikx
f (x)e
Z
1
eikx
1
dx = f (x)
f 0 (x)eikx dx = F{f 0 , k} ,
ik
ik 2 ik 2
ipp
o sea
ikF (k) = F{f 0 , k} 0 ,
| k |
pues f 0 L1 .
Sean ahora f , f 0 , f 00 , f 000 , . . ., f (n1) L1 continuas en < x < . Sea f (n) L1 ,
entonces integrando n veces por partes obtenemos
F{f (n) , k} = (ik)n F (k) 0 ,
| k |
Teorema 3.3 Cuanto mas rapido f (x) 0, tanto mas derivable es F (k).
| x |
42
Demostraci
on Sea f L1 . Entonces F (k) es continua. En efecto,
Z
1
f (x) ei(k+h)x eikx dx
F (k) = F (k + h) F (k) =
2
Z
1
=
f (x)eikx eihx/2 eihx/2 eihx/2 dx
2
Z
1
hx
ikx ihx/2
=
f (x)e e
2i sen
dx .
2
2
R
Que f L1 dice que | f | < , luego > 0 A suficientemente grande, tal que
R
R A
| f | < , | f | < . Ademas, se tiene que
A
sen hx 1 | hx | hA
para x [A, A] .
2 2
2
Teniendo en cuenta los resultados anteriores podemos acotar | F |, a saber
r Z
2
hx
| F |
| f (x) | sen
dx
2
r Z A
Z
Z A
2
hA
| f (x) | dx +
| f (x) | dx +
dx
| f (x) |
A
A
r
Z
2
hA A
++
| f (x) | dx ,
2 A
lo cual es tan peque
no como se quiera. Lo anterior implica que F (k) es continua.
Sea ahora f (x) y xf (x) L1 , entonces afirmamos que F (k) es derivable. En efecto
Z
Z
Z
i
d
d h
ikx
ikx
2F (k) =
f (x)e dx =
f (x)e
dx = i
xf (x)eikx dx .
dk
dk
k
uniforme porque la u
ltima de las integrales tiene un mayorante convergente: | xf (x) | <
pues xf (x) L1 . De lo anterior tenemos que
Z
1
0
F (k) =
ixf (x)eikx dx = F{ixf (x), k} .
2
Finalmente, si f (x), xf (x), . . . , xn f (x) L1 , entonces, de una forma analoga al caso
anterior, podemos probar que la derivada de la transformada de Fourier existe, porque
F (n) (k) = F{(ix)n f (x), k}.
q.e.d.
Tambien se puede probar que, en general, mientras mas ancha es una funcion, mas angosta es su transformada de Fourier y viceversa, como ya observamos en los ejemplos de la
seccion 3.2.
3.4. APLICACIONES
43
Definici
on 3.2 Sea f (x) tal que x | f (x) |2 , x2 | f (x) |2 L1 . Definimos la posicion media de
la distribucion | f (x) |2
Z
1
hxi =
x | f (x) |2 dx ,
(3.7)
C
con
Z
| f (x) |2 dx ,
C=
(3.8)
1
.
2
3.4.
Aplicaciones
Soluci
on
Realicemos separacion de variables, i.e. escribimos (x, y) = X(x)Y (y). Al introducir esta
forma para (x, y) en la ecuacion diferencial obtenemos
1 d2 X(x)
1 d2 Y (y)
=
= 2 ,
2
2
X(x) dx
Y (y) dy
donde > 0 es la constante de separacion. Las soluciones de las respectivas ecuaciones
diferenciales son:
d2 X(x)
+ 2 X(x) = 0 X(x) = Aeix + Beix ,
dx2
d2 Y (y)
2 Y (y) = 0 Y (y) = Cey + Dey .
2
dy
44
Planteamos la solucion mas general superponiendo sobre todos los valores posibles de la
constante de separacion :
Z
1
(x, y) =
A()eix + B()eix ey d .
2 0
Imponiendo la condicion de borde para y = 0:
Z
1
(x, 0) =
A()eix + B()eix d = f (x) .
2 0
Al definir A() = B() podemos compactar las dos integrales en solo una:
Z
1
(x, 0) =
A()eix d = f (x) .
2
Identificamos los coeficientes, A() = F{f (x), }, y reemplazamos en la solucion general,
Z
1
(x, y) =
F{f (x), }eix e| | y d ,
2
obteniendo la solucion del problema de contorno.
b) Consideremos la ecuacion diferencial del oscilador armonico amortiguado y forzado por
una fuerza externa:
d2 x(t)
dx(t)
+ 2
+ 02 x(t) = f (t) .
2
dt
dt
Soluci
on
Aplicando la transformada de Fourier a ambos lados de la ecuacion diferencial, obtenemos
(i)2 F{x(t), } + 2(i)F{x(t), } + 02 F{x(t), } = F{f (t), } F () .
Despejando para la transformada de Fourier de la solucion:
F{x(t), } =
F ()
.
2i + 02
Captulo 4
Convoluci
on
versi
on 3.2 final-13 de enero de 2003
Espacio S
4.1.
Definici
on 4.1 Una funcion f : R C pertenece al espacio S si es infinitamente diferenciable y
lm tm f (n) (t) = 0 m, n N .
t
exp 1 1
atb
tb ta
ii) f (t) =
0
t 6 [a, b]
Proposici
on 4.1 S es un espacio vectorial.
En efecto, de la definicion de S es inmediato mostrar que {S, +} es un grupo abeliano, y
que si f, g S, entonces f + g S, , C.
P
Proposici
on 4.2 Si f S, entonces pl (t)f (r) (t) S, donde pl (t) = lk=0 ak tk es un polinomio de grado l.
Tambien esto es claro, dada la proposicion anterior y la definicion de S.
Proposici
on 4.3 Si f , g S, entonces
Z
(f |g) =
f (t)g(t) dt existe.
45
CAPITULO 4. CONVOLUCION
46
En particular
Z
| f (t) |2 dt existe.
kf k = (f |f ) =
lm m F (n) () = 0 m, n N
Luego
F () = F{f, } S .
q.e.d.
4.2.
Producto de convoluci
on
Definici
on 4.2 Producto de convolucion .
Z
f g = p p(t) =
f (t x)g(x) dx .
Idea fsica
Sea f (t) alg
un estmulo (fuerza en el tiempo t, densidad de carga en la posicion t,
etc.). Sea g(x, t) = g(x t) la respuesta en x a un estmulo en t. La dependencia en x t
tiene implcita la hipotesis de que el medio es isotropico. Si el sistema es lineal , la respuesta
total en el punto x al estmulo global {f (t)|t R} sera la suma de todas las contribuciones
elementales [dt f (t)] g(x, t), que es la convolucion p(x).
4.2. PRODUCTO DE CONVOLUCION
47
Idea matem
atica
Consideremos las funciones f (t), g(t):
f(t)
g(t)
y se tiene:
f(t)
g(xt)
f(t) g(xt)
f g mide entonces el grado de traslape entre f (t) y g(t), luego de trasladar esta
funcion una distancia x. Si f (t) y g(t) decaen violentamente para t , el traslape
tendera rapidamente a cero si x :
[f g](x) 0 .
x
CAPITULO 4. CONVOLUCION
48
Proposici
on 4.5 Si f , g S, entonces p = f g S.
Demostraci
on
i)
Z
Z
dp(t)
d
=
f (t x)g(x) dx =
f (t x)g(x) dx .
dt
dt
t
La u
ltima igualdad se tiene si existe un mayorante
R convergente. En efecto existe, pues
si M es tal que | f 0 (x) | < M x R, entonces M | g(x) | < es tal mayorante.
Luego
p0 = f 0 g
p(m) = f (m) g
m N
lm t p
m (n)
(t) = lm
t f
Z
(t x)g(x) dx =
lm tm f (n) (t x)g(x) dx = 0 ,
luego
lm tm p(n) (t) = 0 n, m N .
q.e.d.
Teorema 4.1 Sea f , g S y F (k) = F{f, k}, G(k) = F{g, k}, entonces
(4.1)
Demostraci
on
Z
Z
Z
1
1
ikt
p(t)e dt =
dt
dx f (t x)g(x)eikt
F{f g, k} =
2
2
Z
Z
1
=
dx
dt f (t x)eikt g(x)
.
2
Z
Z
1
1
ikx
iky
dx g(x)e
dy f (y)e
.
= 2
2
2
Vale decir:
4.2.1.
49
i) Asociatividad:
(f g) h = f (g h)
ii) Distributividad:
f (g + h) = f g + f h
(f + g) h = f h + g h
iii) Conmutatividad:
f g =gf
Ejercicio Demostrar propiedades i y ii.
Demostremos la conmutatividad (propiedad iii).
Z
p(t) = f g(t) =
f (t x)g(x) dx .
p(t) =
f (y)g(t y) dy =
f (y)g(t y) dy = g f (t) .
Tambien podramos haber procedido usando (4.1), aplicando la transformada de Fourier sobre
el producto de convolucion y luego invirtiendo la transformada.
4.3.
Supongamos que (t0 ) > 0. Luego > 0 en cierto intervalo, ya que es continua. Podemos
ademas considerar, sin perdida de generalidad, dicho intervalo como 0 < a < b.
CAPITULO 4. CONVOLUCION
50
Escojamos ahora f S tal que
(
> 0 a < x < b
f (x) =
.
0
x 6 ]a, b[
En particular, se tiene que f (0) = 0.
Evaluemos (4.2) en t = 0:
Z
Z b
0 = f (t = 0) =
f (x)(x) dx =
f (x)(x) dx > 0 ,
F(k)
G(k)
(4.3)
Demostraci
on Se tiene
Z
Z
1
h g(t) =
h(t x)g(x) dx = 2F {HG, t} =
Escojamos
h (x) = f (x) ,
H(k)G(k)eikt dk .
51
de modo que
Z
1
f (t)eikt dt
H(k) = F{h(t), k} = F{f (t), k} =
2
Z
Z
1
1
ik
ik
=
f ()e
d =
f ()e d = F (k) .
2
2
Luego
Z
h(x)g(x) dx = h g(t = 0)
o sea
Z
F (k)G(k) dk
f (x)g(x) dx =
(Relacion de Parseval)
En particular, si f = g:
Z
| f (t) | dt =
| F (k) |2 dk
(Identidad de Plancheret)
q.e.d.
52
CAPITULO 4. CONVOLUCION
Captulo 5
Distribuciones temperadas
versi
on final 3.3-13 de enero de 2003
5.1.
Definiciones
Definici
on 5.1 Sea V un espacio vectorial sobre el cuerpo de los C con dimension finita.
Sean ~x, ~y V . Existen funciones lineales sobre V , u( ~x ), tal que
u
V C,
donde u satisface linealidad, i.e.
u( ~x + ~y ) = u( ~x ) + u( ~y ) ,
, C .
(5.1)
SC
y
h, x + yi = h, xi + h, yi
53
, C y x, y S.
54
Definici
on 5.4 Sean x1 (t), . . . , xn (t) una sucesion de funciones en S. Se dice que esta sucesion converge fuertemente a cero si
lm tm x(k)
n (t) = 0
k, m = 0, 1, 2, . . .
(5.2)
xn (t) 0 .
n
xn (t) x(t) ,
n
significa que
!
Ejemplos
1) Si f (t) S, entonces xn (t) =
f (t) !
0
n n
1 t2 /n2
e
0 .
n
ns
s
1
t
2
2
et /n .
t xn (t) =
sm
n t
m
Tomamos m > s y t = n. t vara con n (si hay convergencia uniforme, la expresion anterior
debe converger a cero para todo t). Entonces
tm xn (t) = tms e = nms e .
n
No hay convergencia fuerte. Observamos que si hubieramos tomado t fijo, es decir el lmite
puntual, el lmite es cero.
Definici
on 5.5 Un funcional lineal sobre S es una distribucion temperada si es continua
en el sentido
!
en C
yn (t) y(t) = h, yn i h, yi .
n
Definici
on 5.6 La suma de dos distribuciones y se define como el funcional + tal
que:
h + , xi = h, xi + h, xi
xS .
(5.3)
Definici
on 5.7 El producto de un escalar por una distribucion se define como el funcional
lineal tal que:
h, xi = h, xi
xS yC.
(5.4)
5.1. DEFINICIONES
55
Es inmediato mostrar que + y son funcionales lineales y que ademas son distribuciones temperadas. Luego el conjunto de las distribuciones temperadas sobre S, forma un
espacio vectorial denotado S . S no es el espacio dual de S.
Ejemplos
1) h, xi = x(0), x S. Mostremos que S . Claramente es funcional lineal sobre S,
h, x + yi = x(0) + y(0) = h, xi + h, yi .
Sean {yn (t)} una sucesion de funciones que convergen fuertemente a y(t), es decir,
!
yn (t) y(t) .
n
Consideremos el lmite
lm h, yn i = lm yn (0) = y(0) = h, yi .
yn (t) y(t) .
n
Tomemos el lmite
lm h 0 , yn i = lm yn0 (0) = y 0 (0) = h 0 , yi .
Linealidad
Z
h, x + yi =
[x(t) + y(t)] dt = h, xi + h, yi .
Sea
yn (t) y(t) ,
n
entonces
Z
lm h, yn i = lm
luego S .
Z
yn (t) dt =
y(t) dt = h, yi ,
lm yn (t) dt =
56
Definici
on 5.8 Una funcion f (t) se dice de crecimiento lento si
| f (t) | < A(1 + t2 )m
para ciertos A y m.
(5.5)
Esto significa que f (t) tiene crecimiento polinomial, no exponencial. Quedan tambien excluidas funciones singulares como 1/t.
Definici
on 5.9 Sea una funcion f (t) : R C de crecimiento lento, seccionalmente continua
y con discontinuidades mansas. Definimos el funcional f asociado a la funcion f (t) de la
siguiente manera:
Z
f, x =
f (t)x(t) dt .
(5.6)
Proposici
on 5.1 El funcional f S .
Demostraci
on Consideremos el funcional actuando sobre una combinacion lineal de funciones:
Z
f , x + y =
f (t) [x(t) + y(t)] dt
Z
Z
=
f (t)x(t) dt +
f (t)y(t) dt = f , x + f , y .
yn (t) y(t) .
n
Entonces
Z
f , yn y =
Z
f (t) [yn (t) y(t)] dt
f , yn y
A(1 + t2 )m | yn (t) y(t) | dt,
para ciertos A, m.
k, q, t .
En particular,
0 = lm (1 + t2 )m+1 [yn (t) y(t)]
n
m+1
<,
t,
5.1. DEFINICIONES
57
f , yn y
A(1 + t2 )m
dt para arbitrario y n > N .
(1 + t2 )m+1
Finalmente
f , yn y A
dt
= A .
1 + t2
La pen
ultima desigualdad se cumple desde un cierto n en adelante, siendo el resultado final
tan peque
no como se quiera. Por lo tanto
lm f , yn = f , y = f S .
n
q.e.d.
Es importante hacer notar que lo que hemos hecho es construir una distribucion a partir
de una funcion, y que demostramos que toda funcion de crecimiento lento tiene un distribucion asociada. Sin embargo, no todas las distribuciones provienen de funciones. Pero ciertas
propiedades de las distribuciones asociadas a funciones nos serviran para inspirar definiciones
y mostrar propiedades validas para toda distribucion.
Teorema 5.1 Sean f , g S, seccionalmente continuas y de crecimiento lento. Sean f , g sus
correspondientes distribuciones temperadas. Entonces
f = g = f = g .
Demostraci
on
f = g = f , x = hg, xi
xS .
Supongamos que f 6= g en un punto, por ejemplo f (t0 ) > g(t0 ). Por continuidad de f (t) y
g(t) tenemos que f (t) > g(t) en una vecindad (a, b) en torno a t0 . Si t0 fuera justo un punto
de discontinuidad de f o g (recordemos que son seccionalmente continuas) no hay problema.
Siempre podemos correr t0 en un intervalo vecino.
Tomemos una funcion de prueba x(t), tal que x(t) > 0 si t (a, b) y x(t) = 0 si t 6 (a, b),
entonces
Z
Z
f (t)x(t) dt 6=
g(t)x(t) dt = f 6= g ,
58
Sean f , f 0 dos funciones de crecimiento lento, continuas en < t < . Sean f , f 0 las
distribuciones correspondientes. Definimos la derivada de la distribucion f como
f0 = f0 .
Con ello,
f 0, x
f 0, x
Z
f (t)x(t) dt = f (t)x(t)
f (t)x0 (t) dt = f , x0 .
(5.7)
Observemos como este resultado, y por lo tanto la definicion (5.7), es consistente con el
ejemplo 3 de este captulo.
A la luz de este resultado, proponemos la siguiente definicion.
Definici
on 5.10 Si S definimos la derivada de la distribucion, 0 , de la siguiente manera:
h0 , xi = h, x0 i
xS .
(5.8)
Proposici
on 5.2 0 as definida pertenece a S .
Demostraci
on Consideremos la derivada del funcional actuando sobre una combinacion
lineal de funciones:
h0 , x + yi = h, x0 + y 0 i = h, x0 i h, y 0 i = h0 , xi + h0 , yi .
Se cumple entonces la linealidad. Por otra parte, sea
!
yn (t) y(t) ,
n
entonces
lm h0 , yn i = lm h, yn0 i = h, y 0 i = h0 , yi .
La pen
ultima igualdad es consecuencia de que S , y que yn0 (t) converge fuertemente a
y(t), siendo la conclusion final que 0 S .
q.e.d.
Una consecuencia de lo anterior es que
(n) S
S ,
donde
(n) , x = (1)n , x(n)
x S .
(5.9)
1 + sgn t
h(t) =
= 12
si t > 0
si t = 0
si t < 0
(5.10)
5.1. DEFINICIONES
59
1
1/2
0
Tomamos h(t) como funcional, i.e. consideramos el funcional asociado h, definido por
Z
h, x =
x(t) dt x S .
0
Evaluemos su derivada
Z
0
0
h , x = h, x =
0
x0 (t) dt = x(t) = x(0) = h, xi ,
0
luego
h0 =
(5.11)
(5.12)
Demostraci
on Sea x S arbitrario.
( + )0 , x = h + , x0 i = h, x0 i h, x0 i = h0 , xi + h 0 , xi .
q.e.d.
Generalicemos el ejemplo de la funcion escalon de Heaviside. Sea f (t) una funcion diferenciable a tramos con una sola discontinuidad en t = a.
p
a
60
f 0, x
= f, x =
f (t)x (t) dt
f (t)x0 (t) dt
a+
Z a
a
Z
= f (t)x(t)
+
Df (t)x(t) dt f (t)x(t) +
Df (t)x(t) dt
a+
a+
= f (a+ ) f (a ) x(a) + Df , x
= Df , x + px(a) = Df , x + p ha , xi .
Por lo tanto, en el espacio de las distribuciones temperadas se satisface:
f 0 = f 0 = Df + pa
(5.13)
Proposici
on 5.4 Si f tiene discontinuidades con saltos finitos de tama
nos pk en t = ak para
0
k = 1, . . . , n y si f es continua fuera de los ak , entonces
f 0 = Df +
m
X
pk ak
(5.14)
k=1
f = Df + p0 a ,
00
f = D2 f + p0 a0 + p1 a ,
...
f
(n)
DE DISTRIBUCIONES
5.2. SUCESION
61
Ejemplo Sea (a, b) un intervalo abierto que no contiene el cero. Sea la distribucion definida
por
h, xi = x(0)
xS .
Sea y(t) S tal que y(t) 6= 0 solo para t (a, b). En tal caso
h, yi = y(0) = 0 ,
5.2.
Sucesi
on de distribuciones
mn
x1 x2 x3 x4 x5
xn
m1
m2m3
(x)
m(x)
x
m(x)
m(x) =
n
X
i=1
Z
mi
m(x) =
(x0 ) dx0
Podramos decir que una sucesion de distribuciones discretas tiende a una distribucion
continua, usando los terminos entre comillas sin mayor precision. Para formalizar esta idea,
pasemos a definir que vamos a entender por convergencia de una sucesion de distribuciones.
62
Definici
on 5.14 Convergencia de una sucesion de distribuciones
Una sucesion de distribuciones {n } converge a una distribucion si y solo si x S
tenemos que lm hn , xi = 0, i.e.
n
lm n = lm hn , xi = h, xi
xS .
(5.15)
Ejemplo
1) Consideremos la sucesion de funciones
2
fn (t) =
si | t | <
1
n
1
si | t | >
n
3/2
f3
f2
1/2
-1
-1/2 -1/3
f1
1/3 1/2
1
n
fn , x =
1
n
n
n 2
x(t) dt =
x( ) ,
2
2 n
con
1
1
< < ,
n
n
luego
lm fn , x = x(0) = h, xi ,
DE DISTRIBUCIONES
5.2. SUCESION
63
Demostraci
on Consideremos la distribucion asociada a fn y veamos como act
ua sobre una
funcion x cualquiera.
Z
Z
u
fn , x = n
g(nt)x(t) dt =
g(u)x
du .
n
Interesa el lmite cuando n . Busquemos una mayorante. Sea M > max {| x(t) |},
<t<
entonces
Z
Z
Z
u
u
g(u)x
du
| g(u) | x
| g(u) | du < .
du < M
n
n
Vemos que hay convergencia uniforme y podremos intercambiar el lmite con la integral.
Z
Z
Z
u
u
lm fn , x = lm
g(u)x
du =
g(u) lm x
du = x(0)
g(u) du = x(0) ,
n
n
n
n
n
por lo tanto
lm fn = .
q.e.d.
Ejemplos
1) Una ilustracion del caso anterior.
1
2
g(t) = et ,
Formemos la sucesion
de modo que
g(t) dt = 1 .
n
2 2
fn (t) = en t .
f3
f2
f1
t
64
(5.16)
2) Otra ilustracion.
Z
1 sen(t)
g(t) =
,
t
de modo que
g(t) dt = 1 .
n sen(nt)
.
nt
f3
f2
f1
t
Nuevamente obtenemos, a partir de la conclusion anterior, el resultado para el lmite:
sen(nt)
= (t)
n
t
lm
Esta
se conoce como la representacion de Dirichlet de la .
3) Sea
si | t | > 1
0
g(t) = t + 1
si 1 < t < 0 .
t + 1 si 0 < t < 1
La sucesion, usando fn = ng(nt), tenemos
si | t | > 1/n
0
2
fn (t) = n t + n
si 1/n < t < 0 .
2
n t + n si 0 < t < 1/n
(5.17)
DE DISTRIBUCIONES
5.2. SUCESION
65
f3
2
f2
f1
-1
-1/2 -1/3
1/3 1/2
En el lmite,
lm fn = .
4) Lorentziana
g(t) =
la sucesion
fn (t) =
1 1
,
1 + t2
1
n
1
1
.
=
2
1 + (nt)
n 1
2
+t
n2
lm
fn (x) dx = 1 ,
> 0 fijo
cumple
lm fn = .
Demostracion: Ejercicio.
Teorema 5.2 Si la sucesion de distribuciones {n } converge a la distribucion cuando
n , entonces la sucesion de derivadas {0n } converge a 0 , es decir,
0
lm 0n = lm n = 0 .
(5.18)
n
Demostraci
on
h0n , xi = hn , x0 i .
66
luego
lm 0n = 0 .
q.e.d.
Teorema 5.3 Toda serie convergente de sucesiones puede ser derivada termino a termino
dentro de la sumatoria.
P
Demostraci
on En efecto, supongamos que la serie
=0 es convergente. Sea
n =
n
X
=0
Se tiene
n
X
!0
=0
n
X
0 .
=0
=0
lm n
0
= lm 0n ,
n
es decir,
0
= lm
n
X
=0
0 .
=0
q.e.d.
Aplicaciones
1) En el espacio de distribuciones, una serie trigonometrica puede converger aun cuando sus
coeficientes ak crezcan polinomialmente cuando k (en contraste a lo que ocurre con
funciones, donde si una serie converge sus terminos deben anularse para k ; por ejemplo,
los coeficientes de Fourier).
DE DISTRIBUCIONES
5.2. SUCESION
67
ak
e2ikx ,
+2
(2ik)
k=
k6=0
donde . Como el termino general de esta serie esta acotado por C 0 / | k |2 cuando
| k | , vemos que la serie es uniformemente convergente, de modo que f no solo esta bien
definida, sino que es continua.
Consideramos ahora la distribucion asociada f . (5.9) dice que f es infinitamente diferenciable. En particular,
X
(+2)
f
(x) =
ak e2ikx .
k=
k6=0
Esta serie existe como distribucion, no como funcion porque no convergera. Agregar un
termino con k = 0 no afecta la convergencia de la serie, obteniendose finalmente que la serie
trigonometrica
X
ak e2ikx
k=
lm fn
0
= lm fn0 = 0 .
(5.19)
si | t | > 1/n
0
fn (t) = n2 t + n
si 1/n < t < 0 .
2
n t + n si 0 < t < 1/n
f3
2
1
f2
f1
-1
-1/2 -1/3
1/3 1/2
68
El lmite:
lm fn = .
Su derivada:
0
0
fn (t) = n2
2
n
si | t | > 1/n
si 1/n < t < 0 ,
si 0 < t < 1/n
9
1
1/3
-1
1/2
-1/2 -1/3
f1
f2
f3
Definici
on 5.15 Paridad en distribuciones
Decimos que es una distribucion par si
h, x(t)i = h, x(t)i .
(5.20)
Ejemplos
(5.21)
DE DISTRIBUCIONES
5.2. SUCESION
69
aun cuando (t) no es una funcion y no tiene sentido estricto la integral. Es solo una notacion
u
til, y la utilizaremos frecuentemente. En particular, con esta notacion podemos reescribir la
condicion de paridad de una distribucion. Si es par,
Z
Z
h, x(t)i =
(t)x(t) dt =
(t0 )x(t0 ) dt0 ,
es igual a
Z
h, x(t)i =
(t)x(t) dt ,
Si es impar, analogamente:
Z
(t)x(t) dt =
(t)x(t) dt .
(distribucion par)
(distribucion impar) .
(5.22)
Esta notacion de distribuciones como si fueran funciones se utiliza tambien para la delta.
Con ella, algunas de las propiedades ya demostradas para esta distribucion toman la forma:
i)
h, xi =
(t)x(t) dt = x(0) .
70
ii)
Z
ha , xi =
(t a)x(t) dt = x(a) .
a (t)x(t) dt =
h, 1i =
(t) dt = 1 .
1
(t)
|k|
(5.23)
Demostraci
on Sea (kt) con k 6= 0. Consideremos la delta actuando sobre una funcion
x S cualquiera:
u du
sgn(k)
(kt)x(t) dt = sgn(k)
(u)x
k |k|
sgn(k)
Z
Z
u du
1
(t)
=
x(0) =
x(t) dt .
=
(u)x
k |k|
|k|
| k |
q.e.d.
viii) Si f es una funcion continua, analtica y diferenciable, con ceros simples en ti , con
i = 1, . . . , n, entonces
n
X
1
(f (t)) =
(t ti ) .
(5.24)
0
|
f
(t
)
|
i
i=1
f
Demostraci
on Consideremos (f (t)) con R R y f S, es decir, f continua,
analtica y diferenciable. Supongamos que f tiene ceros simples en ti con i = 1, 2, . . . , n,
f (ti ) = 0 i.
Z
h(f (t)), xi =
(f (t))x(t) dt .
71
n
X
(f (ti )(t ti )) =
i=1
n
X
| f 0 (ti ) |
i=1
(t ti ) .
q.e.d.
5.3.
Producto de distribuciones
Definici
on 5.16 Producto de dos distribuciones asociadas a funciones
Sean f , g continuas y derivables a tramos con discontinuidades mansas y de crecimiento
lento. Sean f , g sus distribuciones asociadas, entonces definimos el producto de f y g por
f g, x hg, f xi .
(5.25)
Proposici
on 5.7
f g =gf .
(5.26)
Demostraci
on
f (t)g(t)x(t) dt = f , gx = g f , x ,
f g, x = hg, f xi =
luego
f g =gf .
q.e.d.
Definici
on 5.17 Multiplicacion de una distribucion arbitraria por polinomio
Sea p(t) un polinomio y sea p(t) S su funcional asociado. Sea, ademas S
arbitrario, entonces p se define por
hp , xi h, p xi .
Proposici
on 5.8 La distribucion p S si p(t) es un polinomio.
Demostracion: Ejercicio.
Ejemplos
(5.27)
72
1) Si p es un polinomio, entonces
p = p(0) .
En efecto,
hp , xi = h, pxi = p(0)x(0) = hp(0) , xi .
En particular,
t = 0 .
5.4.
df
=0.
dt
(
C1 = cte.
f (t) =
C2 = cte.
t>0
,
t<0
donde C1 = C2 si deseamos que f sea funcion ordinaria, i.e., continua (de otro modo no
sera diferenciable). Pero si admitimos distribuciones como soluciones, no es necesario que
C1 = C2 , pues ya sabemos que dentro del espacio de distribuciones, funciones discontinuas
son diferenciables. Intentemos pues una solucion del tipo:
f (t) = C1 + (C2 C1 ) h(t) ,
donde
h(t) =
1 + sgn(t)
.
2
5.5. CONVERGENCIA DEBIL
73
Entonces
t f 0 (t) = t (C2 C1 ) h(t)0 = (C2 C1 ) t = 0 ,
es decir, f es solucion.
Una consecuencia importante de haber construido el espacio de distribuciones es que
podamos extender el espacio de soluciones de ecuaciones diferenciales y, por ende, el conjunto
de ecuaciones diferenciales que somos capaces de resolver.
Teorema 5.4
0
= f 0g+f g0 ,
(5.28a)
(p )0 = p 0 + p 0 .
(5.28b)
fg
o bien
Demostraci
on
h(p )0 , xi = hp , x0 i = h, p x0 i .
Por otro lado,
hp0 + p 0 , xi = hp 0 , xi+hp 0 , xi = h, p0 xi+h0 , p xi = h, p0 xih, (p x)0 i = h, p x0 i .
Comparando,
(p )0 = p 0 + p 0 .
q.e.d.
5.5.
Convergencia d
ebil
La definicion (5.15) introdujo el concepto de convergencia de una sucesion de distribuciones. Es posible definir tambien la convergencia de una sucesion de distribuciones provenientes
de funciones.
Definici
on 5.18 Convergencia debil
Una sucesion de funciones fn (t) continuas y derivables por tramos con discontinuidades
mansas y de crecimiento lento, se dice que converge debilmente a f si
lm fn = f S existe.
(5.29)
Una sucesion que converge debilmente, no significa necesariamente que converge en alg
un
sentido usual: uniformemente, puntualmente o en la norma. Ademas , el lmite anterior es como distribuciones, no como funciones. Puede darse o no que ademas fn (t) converja a cierta
funcion g(t) puntualmente, o en la norma o uniformemente. Sin embargo, la convergencia
uniforme asegura convergencia debil, como afirma la siguiente proposicion.
74
Proposici
on 5.9 Una sucesion de funciones f1 , . . . , fn continuas, derivables por tramos y
de crecimiento lento con
unif
lm fn (t) f (t) ,
n
fn f , x =
fn f , x =
[fn (t) f (t)] x(t) dt+
[fn (t) f (t)] x(t) dt+
Elegimos A tan grande que se satisfagan, simultaneamente, las dos condiciones siguientes:
Z A
Z
[fn (t) f (t)] x(t) dt <
y
[fn (t) f (t)] x(t) dt < .
3
3
Este A existe pues fn f crece a lo mas como potencias, mientras que x decae mas rapido
unif
que cualquier potencia. Como fn f 0 en el intervalo [A, A], se tiene que para cierto
n
N N,
| x(t) | dt =
2AM = , n > N .
<
6AM A
6AM
3
Con este resultado podemos acotar la integral completa
Z
= fn f , x < ,
[f
(t)
f
(t)]
x(t)
dt
n
n > N .
q.e.d.
Ejemplos
1
1) Sea fn (t) = eint . Se tiene
2
fn , x = F{x, n} 0 ,
n
x S ,
5.5. CONVERGENCIA DEBIL
75
si t 6 [1/n, 2/n]
.
si t [1/n, 2/n]
R
n N, fn (t) dt = 1, y fn (t) 0 puntualmente.
n
Pero ademas:
Z 2/n
Z 2/n
fn , x = n
x(t) dt = n x(tn )
dt , alg
un tn [1/n, 2/n]
1/n
1/n
fn , x = x(tn ) x(0) = h, xi .
n
Luego
fn ,
n
con lo cual fn converge debilmente, pero no a una funcion. Sin embargo, fn s converge a la
funcion 0, de modo que
E
D
lm fn , x 6= lm fn , x = 0, x = 0 .
n
para n = 1, 2, 3, . . .
t 6= 0
.
t=0
nt
gn (t) = ee
76
fn (t)x(t) dt .
lm fn , x = lm
n
| fn (t) | | x(t) | dt
| x(t) | dt < ,
Pero el lmite de fn es
0
lm fn (t) = 1/2
n
si t < 0
si t = 0 ,
si t > 0
lm fn , x =
h(t)x(t) dt = h, x .
n
Analogamente, se tiene
Z
lm hgn , xi =
lm gn (t)x(t) dt ,
pero el lmite de gn es
0
lm gn (t) 1/e
n
si t < 0
si t = 0 .
si t > 0
h(t)x(t) dt = h, x
lm hgn , xi =
n
lm gn = h ,
5.5. CONVERGENCIA DEBIL
77
Bibliografa Adicional
El primer libro sobre teora de distribuciones es el de Schwartz [1]; la primera publicacion
en dos tomos es de 195051.
Otra referencia importante, pero de un estilo un poco diferente a la referencia anterior,
son los primeros tres tomos del libro de Gelfand y Shilov [24] (en total son 5 tomos).
En el amplio tema de la aplicacion de la teora de distribuciones a las ecuaciones diferenciales, una de las referencias mas importantes es el primer tomo del libro de Hormander [5]
(en total son 4 tomos).
Finalmente, una referencia mas al estilo y contenidos de este curso es [6].
1 Lauren Schwartz, Theorie des Distributions, Hermann, Pars, 1998 (ISBN 2 70565 551 4).
2 Israil M. Gelfand y G. E. Shilov, Generalized Functions I: Properties and Operations,
Academic Press, Nueva York, 1964 (ISBN 0 12 279501 6).
3 Israil M. Gelfand y G. E. Shilov, Generalized Functions II: Spaces of Fundamental and
Generalized Functions, Academic Press, Nueva York, 1968 (ISBN 0 12 279502 4).
4 Israil M. Gelfand y G. E. Shilov, Generalized Functions III: Some Problems in the Theory
of Differencial Equations, Academic Press, Nueva York, 1967 (ISBN 0 12 279503 2).
5 Lars Hormander, The Analysis of Linear Differencial Operators I: Distribution Theory and
Fourier Analysis, Grundlehren der Mathematischen Weissenschaften 25, Springer-Verlag,
Berln, 1990 (ISBN 0 38752 343 X).
6 Lauren Schwartz, Methodes mathematiques pour les sciences physiques, Hermann, Pars,
1998 (ISBN 2 70565 213 2).
78
Captulo 6
Distribuciones y transformada de
Fourier
versi
on final 3.2-13 enero 2003
F{f }, x = f , F{x}
Demostraci
on
Z
Z
D
E Z
1
F{f }, x =
dk F{f, k}x(k) =
dk
dt f (t)eikt x(k)
2
Z
Z
Z
1
=
dt f (t)
dk x(k)eikt =
dt f (t)F{x, t}
2
= f , F{x} .
q.e.d.
Esta proposicion motiva la siguiente definicion.
Definici
on 6.2 Transformada de Fourier de una distribucion. Sea S y x S arbitrario.
Definimos
hF{}, xi = h, F{x}i
(6.1)
Proposici
on 6.2 Si S , entonces F{} S .
79
80
Demostraci
on
a) Linealidad.
b) Sea xn x. Entonces
n
D
E
lm hF{}, xn xi = , lm F{xn x}
n
n
Z
1
it
= ,
lm
[xn (t) x(t)]e dt
2 n
Z
1
it
= ,
lm [xn (t) x(t)]e dt
2 n
D
E
= , F{ lm (xn x)}
n
D
E
= F{}, lm (xn x) .
n
Ejemplos
1) La delta . Sea x S arbitrario. Entonces
Z
1
ist
hF{}, xi = h, F{x}i = ,
e x(t) dt
2
Z
Z
1
1
1
x(t) dt = , x .
=
x(t) dt =
2
2
2
Luego
1
.
F{} =
2
(6.2)
81
2) La derivada de la delta 0 . Sea x S arbitrario.
Z
1
0
0
0
ist
hF{ }, xi = h , F{x}i = ,
e x(t) dt
2
Z
Z
d
1
1
ist
ist
=
e x(t) dt
=
x(t) e dt
ds
s
2
2
s=0
s=0
Z
Z
1
1
=
x(t)iteist
dt =
x(t)it dt
2
2
s=0
Z
it
it
x(t) dt = , x .
=
2
2
Entonces
(it)
F{ 0 } =
.
2
(6.3)
(it)n
F{ (n) } =
.
2
(6.4)
3) En general,
Definici
on 6.3 Antitransformada de Fourier en S . Definimos la antitransformada de Fourier
de una distribucion S como
F 1 {}, x = , F 1 {x}
x S
(6.5)
Proposici
on 6.3 Si S , entonces
FF 1 {} = F 1 F{} = .
(6.6)
FF 1 {}, x = F 1 {}, F{x} = , F 1 F{x} = h, xi .
q.e.d.
Como en el caso de funciones en S, se cumplen las siguientes dos proposiciones.
Proposici
on 6.4 Si S es una distribucion par, entonces
F{} = F 1 {} .
(6.7)
82
Demostraci
on
{}, x = , F
{x} =
1
,
2
it
dt x(t)e
.
{}, x =
1
,
2
it
dt x(t)e
= h, F{x}i = hF{}, xi ,
de modo que
F{} = F 1 {}
si es una distribucion par.
q.e.d.
Notemos entonces que si es una distribucion par,
F{ + F{}} = F{} + F{F 1 {}} = F{} + ,
lo cual nos dice que, para cualquier distribucion par , la distribucion + F{} es igual a
su transformada.
Proposici
on 6.5 Si S es una distribucion impar, entonces
F{} = F 1 {} .
Demostraci
on Ejercicio.
Ejemplo Sea f (t) = 1. f (t) es de crecimiento lento, luego f = 1 existe.
Consideremos F{f } = F{1}. Sabemos que, por ser una distribucion par,
1
F 1 {} = F{} =
,
2
luego
1
F{1} = .
2
Entonces
1
F{1, } = () ,
2
1
F{} =
.
2
(6.8)
(6.9)
83
Y puesto que de modo puramente simb
olico escribimos
Z
1
F{1, } =
1 eit dt ,
2
Z
1
F{} =
(t)eit dt ,
2
obtenemos las expresiones (en rigor incorrectas):
Z
1
() =
eit dt ,
2
Z
1
1
(t)eit dt =
.
2
2
(6.10)
(6.11)
Observemos, sin embargo, que aun cuando la integral en el lado derecho de (6.10) no
existe en el sentido ordinario, uno puede escribir
Z
Z
Z
1
1
2
it
e dt =
(cos t + i sen t) dt =
cos t dt ,
2
2
2 0
donde hemos usado el valor principal de la integral de sen t:
Z
Z K
P sen t dt = lm
sen t dt = 0 .
K
(6.12)
Demostraci
on
(F{})(n) , x = (1)n F{}, x(n) = (1)n , F{x(n) }
D
E
= (1)n h, (it)n F{x}i = (it)n , F{x}
E
D
= F{(it)n }, x .
As
(F{})(n) = F{(it)n } S .
q.e.d.
84
Proposici
on 6.7
F{(n) } = (i)n F{} .
(6.13)
Demostraci
on Ejercicio.
(6.14)
Sustituyendo a por a:
1
F{a } = eiat .
2
Luego
2
F{a + a } = cos(at)
2
y
2i
F{a a } = sen(at) .
2
En consecuencia,
r
(a + a ) = F 1 {cos(at)} ,
2
r
F{sen(at)} = i
(a a ) = F 1 {sen(at)} ,
2
F{cos(at)} =
(6.15)
(6.16)
85
donde hemos usado el hecho de que a + a es una distribucion par y que a a es impar.
En textos de Fsica encontraremos las relaciones (6.15) y (6.16) en la forma:
r
F{cos(0 t), } =
[( 0 ) + ( + 0 )] ,
2
r
F{sen(0 t), } = i
[( 0 ) ( + 0 )] .
2
Vale decir, al graficar el espectro de frecuencias de cos(0 t) tendramos dos peaks, en 0 :
2 (t + ) t < 0
f (t) = 0
t=0
1
2 (t ) 0 < t
f (t )
1/2
1/2
86
La funcion es periodica:
f (t + 2m) = f (t) m Z .
Es pues expandible en una serie de Fourier impar:
f (t) =
b sen(t) ,
=1
con
1
b =
1
,
entonces
f (t) =
1 X sen(t)
.
=1
y derivemosla:
0
1X
f (t) =
=1
sen(t)
!0
0
1 X sen(t)
1X
=
=
cos(t) .
=1
=1
0
X
1
f (t) =
2n
2
n=
X
1X
1
cos(t) =
2n
,
=1
2
n=
es decir,
X
n=
2n
1
1X
+
cos(t) .
=
2 =1
1
1X
(t) =
+
cos(t) ,
2 =1
t [, ] .
(6.17)
Captulo 7
Convoluci
on de distribuciones
versi
on final 3.3-13 enero 2003
7.1.
Definiciones
hy z, xi =
Z
Z
y(s t)z(t) dt x(s) ds
[y z](s)x(s) ds =
Z
y(s t)x(s) ds z(t) dt .
Z
hy z, xi =
y(u)x(u + t) du z(t) dt =
x(u + t)y(u)z(t) dt du
Z Z
Z
=
x(u + t)z(t) dt y(u) du =
y(u) hz(t), x(u + t)i du .
87
DE DISTRIBUCIONES
CAPITULO 7. CONVOLUCION
88
La u
ltima igualdad tiene sentido solo si la funcion de u hz(t), x(u + t)i S. Si lo es, podemos
escribir.
hy z, xi = hy(u), hz(t), x(u + t)ii .
El lado derecho es un n
umero complejo, que se puede reescribir:
Z Z
Z
y(u)x(u + t) du z(t) dt =
z(t) hy(u), x(u + t)i dt
hy z, xi =
Este
es otro n
umero complejo, que tiene sentido solo si la funcion de t hy(u), x(u + t)i S.
Por lo tanto, resumiendo,
hy z, xi = hy z, xi = hy(u), hz(t), x(u + t)ii = hz(t), hy(u), x(u + t)ii .
Falta demostrar que las igualdades u
ltima y pen
ultima tienen sentido.
Proposici
on 7.1 Si x, z S entonces hz(t), x(u + t)i S(u).
Demostraci
on Sabemos que si x, z S entonces:
lm tm x(n) (t) = 0 y
lm tm z (n) (t) = 0 ,
Definamos
m y n N .
z(t)x(u + t) dt .
z(t)x0 (u + t) dt
g (u) =
..
.
g
(n)
z(t)x(n) (u + t) dt .
| u |
Luego g(u) S.
q.e.d.
Definici
on 7.2 Producto de convolucion entre una distribucion y un funcional asociado a una
funcion Sean S , f S. Definimos
Z
[ f ](u) = ht , f (u t)i =
(t)f (u t) dt ,
DE DISTRIBUCIONES
7.2. PROPIEDADES DE LA CONVOLUCION
89
usando la notacion como funciones. Esta definicion es consistente con los resultados anteriores.
Z
f, x =
[ f ](u)x(u) du
Z
Z
=
du x(u)
(t)f (u t) dt
Z
Z
=
dt (t)
x(u)f (u t) du
Z
Z
dt (t)
x(v + t)f (v) dv
=
Z
D
E
=
dt (t) f (v), x(v + t)
EE
D D
.
= (t), f (v), x(v + t)
D
E
f (v), x(v + t) no necesariamente pertenece a S si f es de crecimiento lento, que es lo que
se necesita para que la u
ltima expresion tenga sentido. Por ejemplo, si f = 1,
Z
D
E Z
f (v), x(v + t) =
x(v + t) dv =
x(u) du = cte 6 S .
Sin embargo, al menos es una funcion infinitamente derivable. El problema anterior se presenta por supuesto tambien cuando se trata de dos distribuciones arbitrarias.
Definici
on 7.3 Producto de convolucion de distribuciones Sean , S . Si h(t), x(t + u)i
S(u) x S, se define como:
h , xi h(u), h(t), x(u + t)ii .
Si ademas h(t), x(u + t)i S(t), entonces tambien existe .
Proposici
on 7.2 (Sin demostracion)
Una condicion suficiente para que valga h(t), x(t + u)i S(u), es que tenga soporte
finito.
7.2.
Propiedades de la convoluci
on de distribuciones
1) Conmutatividad?
No, solo en algunos casos y existen ambas.
2) Asociatividad?
S. Sean , , S , con
h(u), y(u + t)i S(t) y
DE DISTRIBUCIONES
CAPITULO 7. CONVOLUCION
90
entonces
(7.2)
(7.3)
f a , x = f (u), x(a + u) = f (u a), x(u) .
Es decir, si f S , escribimos:
f a = f (t a)
(7.4)
EN FISICA
7.3. USO DE CONVOLUCION
91
(7.5)
8) Existen divisores del cero. Sea C una funcion constante en un intervalo finito y cero en el
resto.
C 0 = C 0 = C 0 = 0 = 0 ,
o sea que se tiene = 0 sin que = 0 ni = 0. Consecuencia de lo anterior es que si ,
, S , las ecuaciones
( ) = 0 o = 6 = ,
aun si 6= 0,
9) Las ecuaciones = o = puede tener mas de una solucion para , dados.
Por ejemplo, para = 0 y = 0 la ecuacion = tiene como soluciones = 0, = C
entre otras.
7.3.
Uso de convoluci
on en Fsica
V
Dispositivo
A
V Mide la fem e(t) aplicada al dispositivo. Esto corresponde al estmulo o excitacion
que perturba el sistema.
DE DISTRIBUCIONES
CAPITULO 7. CONVOLUCION
92
Teorema 7.1 Sea la distribucion G(t) la respuesta a la excitacion (t). (Esto corresponde a
una excitacion percusional, nula para todo tiempo salvo en el instante t = 0.) Entonces la
respuesta a cualquier excitacion e(t) se obtiene por el producto de convolucion
=Ge .
(7.6)
As pues, basta conocer la respuesta de un sistema (cualquier sistema con las premisas anteriores, esperables para un sistema fsico) a un estmulo elemental, para conocer la respuesta
del sistema a cualquier otro estmulo, a traves del producto de convolucion. Situaciones similares se presentan en otros problemas fsicos: basta conocer el campo electrico producido por
una carga puntual para saber el campo electrico producido por una distribucion arbitraria
de carga.
A continuacion damos las lneas generales de una eventual demostracion del anterior
teorema.
i. Si e = entonces = G = G = G e.
ii. Si e = b = b (t) = (t b) entonces = G(t b) = G(t) (t b) = G b = G e.
X
X
iii. Si e =
t (t) =
(t t ) entonces la respuesta sera, usando las propiedades
P
P
del sistema, = G (t t ) = G(t) (t t ) = G(t) e(t) = G e.
iv. Sea e(t) nula para t < t0 , de crecimiento lento, seccionalmente continua y derivable, de
modo que e S existe.
+
*
Z
N
N
X
X
he, xi =
e(t)x(t) dt = lm
x(t ) = lm
(t t ), x .
N
Si e(t) = lm
N
X
respuesta de la forma
(t) = lm
N
X
G(t t ) = G(t) lm
N
X
(t t ) = G e .
Captulo 8
La funci
on Gamma
versi
on final 3.3-13 enero 2003
8.1.
La funci
on factorial
Consideremos la integral:
Z
e
0
1 x
1
dx = e = .
0
Poniendo = 1 encontramos una expresion integral para la funcion factorial:
Z
n! =
xn ex dx ,
n = 1, 2, 3. . .
0
xn ex dx ,
93
n = 0, 1, 2. . .
(8.1)
GAMMA
CAPITULO 8. LA FUNCION
94
8.2.
La funci
on Gamma
Re z > 0 .
(8.2)
8.2.1.
Relaci
on con la funci
on factorial
si n N.
(8.5)
8.2.2.
Relaci
on de recurrencia
zt
z1
Z
dt = z
et tz1 dt = z(z) ,
luego
(z + 1) = z(z)
Notemos que, en particular, si n N,
(n + 1) = n(n) = n (n 1)(n 1) = = n! ,
pues (1) = 1.
(8.6)
GAMMA
8.2. LA FUNCION
8.2.3.
95
Funci
on Gamma de n
umeros negativos
(z + n)
,
(z + n 1)(z + n 2) (z + 1)z
n N y Re(z) + n > 0 ,
(8.7)
Por ejemplo,
(1,5) =
1
1
1
(0,5) =
(0,5) .
1,5
1,5 0,5
(1)m
( + 1)
( 1)( 2) ( m)
m!
cuando 0.
8.2.4.
(z + 1)
1
= + ,
z
z
cuando z 0.
Algunos resultados
Z
(1/2) =
0
1
et dt .
t
ey dy .
GAMMA
CAPITULO 8. LA FUNCION
96
Entonces
2
Z
[(1/2)] = 4
y 2
e
0
Z
dy
x2
dx
=4
e(x
2 +y 2 )
dx dy .
(8.8)
.
sen(z)
(8.9)
(8.10)
8.3.
8.3.1.
Funci
on Beta
Definici
on
Re p > 0, Re q > 0
(8.11)
(8.12)
Otras formas de expresar B(p, q), con los cambios de variable t = cos2 y t = r/(1 + r)
respectivamente, son:
Z /2
B(p, q) = 2
(sen )2q1 (cos )2p1 d ,
(8.13)
0
Z
rp1
B(p, q) =
dr .
(8.14)
(1 + r)p+q
0
La funcion Beta se relaciona con la funcion Gamma a traves de la expresion:
B(p, q) =
Demostraci
on Ejercicio.
(p)(q)
.
(p + q)
(8.15)
BETA
8.3. FUNCION
8.3.2.
97
En esta seccion volveremos sobre los dos resultados pendientes de la seccion 8.2.4, esto
es, las ecuaciones (8.9) y (8.10).
Para demostrar el resultado (8.9) primero notamos que, con la ayuda de (8.15), B(z, 1
z) = (z)(1 z). Ahora, por (8.14), lo que tenemos es
Z z1
w
(z)(1 z) =
dw ,
1+w
0
con 0 < Re z < 1 (por la definicion de Beta).
Notemos que la funcion wz1 /(1 + w), con z fijo y tal que 0 < Re z < 1, tiene un polo en
w = 1. Ademas, como la funcion es multivaluada, consideraremos, en el primer cuadrante
del plano complejo, que
wz1 = e(z1) ln w .
Aqu, ln w es real. Consideremos ahora el camino cerrado C que muestra la figura:
y
C1
C4
C3
R
x
C2
C = C 1+ C 2+ C 3+ C 4
Entonces
Z
C
z1
wz1
dw = 2ieiz ,
1+w
pues el residuo en w = 1 es w
(ejercicio). Tambien quedara como ejercicio demostrar
que
Z
Z z1
wz1
w
lm
dw =
dw ,
0
1+w
1+w
0
R C1
Z
Z z1
wz1
w
2iz
lm
dw = e
dw ,
0
1
+
w
1
+
w
C
0
2
R
Z
wz1
lm
dw = 0 ,
R C 1 + w
3
Z
wz1
lm
dw = 0 ,
0 C 1 + w
4
es decir, demuestre que
Z
lm
0
R
C1
wz1
dw = (1 e2ix )
1+w
Z
0
wz1
dw .
1+w
GAMMA
CAPITULO 8. LA FUNCION
98
De este modo, se obtiene que
(z)(1 z) =
2ieiz
=
2iz
1e
sen(z)
=
sen(z)
(z + 1)(z) = z(z)
=
sen(z + )
sen(z)
,
sen(z)
Re z 6 Z .
Para demostrar la formula de duplicacion de Legendre (8.10), primero notemos que esta
es equivalente a
1
1
2z1
(2z) = 2
(z) z +
2
2
[donde hemos usado el resultado (8.8)], lo cual es equivalente a
(1/2)(z)
[(z)]2
= 22z1
.
(z + 1/2)
(2z)
De este modo, por la expresion (8.15), lo que tenemos que demostrar es
B(1/2, z) = 22z1 B(z, z) .
Pero con el cambio de variable t = (x + 1)/2 en la definicion de la funcion Beta (8.11),
z1
z1
Z 1
Z 1
1+x
1x
dx
2
B(z, z) =
= 2z1
(1 x2 )z1 dx ,
2
2
2
2
1
0
mientras que, con el cambio de variable t = x2 ,
Z 1
B(1/2, z) = 2
(1 x2 )z1 dx .
0
De este modo, con las dos ecuaciones anteriores, terminamos de obtener lo buscado, esto es
22z1
1
(2z) = (z) z +
.
2
DOBLE FACTORIAL
8.4. NOTACION
8.4.
99
Notaci
on doble factorial
Definimos el doble factorial como el producto de los n primeros enteros impares o pares:
(2n + 1)!! = 1 3 5 (2n + 1) ,
(2n)!! = 2 4 6 (2n) .
(8.16)
(8.17)
(2n)!! = 2n n! ,
(2n + 1)!
(2n + 1)!! =
.
2n n!
(8.18)
Claramente
8.5.
(8.19)
F
ormula de Stirling
(x + 1) = ex ln(x+r x )xr x x dr .
x
r
ln(x + r x ) = ln x + ln 1 +
x
r
r2
ln x +
+ .
x
x 2x
De este modo,
Z
ex ln x+r xr /2xr
x
x
Z
2
x ln xx
=e
x er /2 dr
(x + 1)
x dr
= xx ex x
r 2 /2
dr
!
r2 /2
dr
xx ex x
2 0 ,
x
(x + 1) xx ex 2x
x
(8.20)
GAMMA
CAPITULO 8. LA FUNCION
100
1
1
x x
2x 1 +
(x + 1) x e
+
+ .
x
12x 288x2
(8.21)
y 1+
ex ,
(y)
y
y y ey 2y
pero como
x+y
x
y
x
x
x
= 1+
1+
ex ,
1+
y
y
y
se tiene
(x + y)
yx,
(y)
Por otro lado, si n N, entonces
(x + n)
(x + n 1)(x + n 2) (x + 1)x(x)
=
(n)
(n 1)(n 2) 2 1
x
x
x
1+
1 +
x(x) .
= 1+
n1
n2
1
Si en la ecuacion anterior se toma el lmite n resulta que
x
x
x
x
n 1+
1+
1 +
x(x) ,
n1
n2
1
es decir,
x
x
1
x(1 + x) 1 +
1+
nx , n .
(x)
n2
n1
Recordando que la constante de Euler-Mascheroni se define como
!
s
X
1
= lm
ln s = 0,577215664901 . . . ,
s
n
n=1
(8.22)
vemos que
1
nx = ex ln n ex(1+ 2 ++ n1 )+x ,
de lo cual resulta que
x
x
1
x x
x
x
x
x1
1+
xe (1 + x)e
e 2 1 +
e n2 1 +
e n1 ,
(x)
2
n2
n1
n.
(8.23)
8.6.
101
1. Funcion digamma:
z(z) =
d
ln(z!) ,
dz
(8.24)
.
n
n
n=1
= ++
,
(z)
z
z
+
n
n
n=1
o bien
X
1
1
1
0 (z + 1)
=
+
(z + 1)
z+1
n
z+1+n
n=1
X
1
1
= +
,
n z+n
n=1
es decir
z(z) = +
X
n=1
z
.
n(z + n)
(8.25)
Del resultado anterior es claro que z(z) tiene polos en z = 1, 2, . . . , con residuo 1.
2. Funcion poligamma: Es la m-esima derivada de la funcion z:
(m)
X
dm+1
1
m+1
(z) = m+1 ln(z!) = (1)
m!
.
m+1
dz
(z
+
n)
n=1
(8.26)
Observemos que
z(m) (0) = (1)m+1 m! (m + 1) ,
m = 1, 2, 3. . . ,
X
1
(s) =
,
s > 1 .
s
n
n=1
3. Funcion Beta incompleta:
Z x
Bx (p, q) =
tp1 (1 t)q1 dt ,
Re p > 0, Re q > 0 y 0 x 1.
Claramente
Bx=1 (p, q) = B(p, q) .
(8.27)
(8.28)
(8.29)
GAMMA
CAPITULO 8. LA FUNCION
102
4. Funciones Gamma incompletas:
Z
(a, x) =
et ta1 dt ,
Re(a) > 0 ,
(8.30)
y
Z
et ta1 dt .
(8.31)
(8.32)
(a, x) =
x
Se tiene
Se puede mostrar (ejercicio) que, para todo n N,
n1 k
X
x
(n, x) = (n 1)! 1 ex
k=0
(n, x) = (n 1)!ex
n1 k
X
x
k=0
k!
k!
(8.33)
(8.34)
5. Integrales de error :
2
erf(z) =
et dt ,
(8.35)
2
erfc(z) = 1 erf(z) =
et dt .
(8.36)
Con un cambio de variable simple podemos escribir las integrales de error en terminos
de las funciones Gamma incompletas:
1 2
1
erf(z) =
,z
,
(8.37)
2
1
1 2
erfc(z) =
,z
.
(8.38)
2
Bibliografa Adicional
Un libro dedicado completamente al tema es la referencia [1], el cual fue originalmente
publicado en 1906 (en dos tomos). Una interesante y famosa referencia es el captulo XII del
libro de Whittaker y Watson [2]:
1. Niels Nielsen, Die Gammafunktion, Band I/II, Chelsea Publishing Company, Nueva
York, 1965 (ISBN 0-8284-0188-8).
2. E. T. Whittaker y G. N. Watson, A Course of Modern Analysis, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1997 (ISBN 0-5215-8807-3).
Captulo 9
Transformada de Laplace
versi
on final 3.4-13 enero 2003
9.1.
Definici
on
Definici
on 9.1 Definimos la transformada de Laplace de una funcion f (t) por
Z
est f (t) dt
sC.
(9.1)
0
f
Definici
on 9.2 Una funcion f : [0, ) C es de orden exponencial si f (t) es seccionalmente continua y derivable en 0 t < y
| f (t) | Aes0 t
t 0 A, s0 R.
(9.2)
Proposici
on 9.1 Sea f un funcion de orden exponencial. Entonces la transformada de Laplace, L{f }, existe en el semiplano Re[s] > s0 .
Demostraci
on
Z
Z
Z
st
st s t
st
e e 0 dt
| L{f } | =
e f (t) dt
e
| f (t) | dt A
0
0
Z0
Z
i Im[s]t (Re[s]s )t
0
e
e
=A
dt = A
e(Re[s]s0 )t dt < Re[s] > s0 .
0
q.e.d.
Proposici
on 9.2 La integral
Re[s] s1 > s0 .
R
0
103
104
Demostraci
on Si > 0, afirmamos que existe M () independiente de s tal que
Z
Z M
st
st
F (s)
dt e f (t) =
dt e f (t) < .
0
En efecto,
Z
st
dt e
Z
Z
st
f (t)
dt e f (t)
dt Aet(Re[s]s0 )
M
ZM
A
dt Aet(s1 s0 ) =
eM (s1 s0 ) < ,
s
s
1
0
M
donde la u
ltima desigualdad se satisface escogiendo
1
A
M>
ln
.
s1 s0
(s1 s0 )
q.e.d.
Proposici
on 9.3 F (s) es holomorfa (analtica) en Re[s] s1 > s0 , es decir, la derivada
0
F (s) existe en dicho semiplano.
Demostraci
on En virtud de la convergencia uniforme, podemos pasar la derivada dentro
de la integral:
Z
Z
Z
st
d st
0
e f (t) dt =
e f (t) dt =
est tf (t) dt ,
F (s) =
ds 0
s
0
0
luego
Z
st
e t | f (t) | dt A
| F (s) |
0
te(s0 s1 )t dt ,
y la u
ltima integral existe (es finita), independiente de s.
q.e.d.
En general, existe
F
(n)
(s) =
(t)n f (t)est dt .
(9.3)
Proposici
on 9.4
lm F (s) = 0 .
(9.4)
Re[s]
Demostraci
on
Z
lm
Re[s]
st
e
0
Z
f (t) dt =
i Im[s]t
f (t)e
0
Re[s]t
lm e
Re[s]
dt = 0 .
DE LA TRANSFORMADA DE LAPLACE
9.2. INVERSION
105
q.e.d.
Notemos, como consecuencia de esta proposicion, que 1, s, s2 o cualquier polinomio, no
pueden ser transformadas de Laplace de ninguna funcion. S pueden serlo, en cambio, 1/s o,
en general, funciones racionales con el grado del denominador superior al del numerador.
Ejemplo Sea f (t) = cos at.
Z
1
L{cos at, s} =
e cos(at) dt =
2
0
1
1
1
=
2 s ia s + ia
s
= 2
.
a + s2
9.2.
st
est eiat eiat dt
Inversi
on de la transformada de Laplace
Sea f una funcion de orden exponencial, tal que f (t) = 0 si t < 0. Sean F (s) = L{f, s}
y > s0 . Observemos que
g(t) = f (t)et
(9.5)
es modulo integrable:
Z
|g| < ,
(9.6)
(s)t
L{f, s}e
+i
et
ds =
2i
+i
L{f, s}est ds .
Finalmente
1
f (t) =
2i
+i
L{f, s}est ds .
(9.7)
106
Por lo tanto, si la transformada de Laplace de una funcion f (t) esta dada por
Z
F (s) = L{f (t), s} =
f (t)est dt ,
Re s > s0 ,
0
+i
F (s)est ds ,
> s0 .
(9.8)
F (s) = 0 .
(9.9)
Im[s]
Demostraci
on Sea s = sR + i. Entonces, por (9.6),
donde el u
ltimo lmite se sigue de las propiedades de la transformada de Fourier. Luego hemos
demostrado la proposicion.
q.e.d.
Ahora podemos discutir la independencia de de la integral de Mellin. En efecto, consideremos el circuito de integracion:
Im(s)
B
s0
2
Re(s)
DE LA TRANSFORMADA DE LAPLACE
9.2. INVERSION
107
1 +i
ts
2 +i
ds ets F (s) ,
ds e F (s) =
1 i
1 , 2 > s0 ,
2 i
1 + sgn(t)
.
2
Su transformada de Laplace es
Z
H(s) = L{h, s} =
est dt =
1
.
s
h(t) = L
Z +i
1
1
1 st
,t =
e ds .
s
2i i s
+iR
Re(s)
iR
iR
108
| etx | eitR
et
dx
0 ,
| x iR |
R R
t>0.
0 .
Luego
Z
Z ts Z tz
Z /2
e
tR
e (Rei )
tR sen
ds =
d
e
d 2
e 2 d .
i
s
iRe
0
0
0
La u
ltima desigualdad se sigue del hecho de que
sen
si 0 /2 ,
2
de modo que, si t > 0,
tR sen tR .
2
Por tanto,
Z ts
Z /2
e
4
tR
tR
2 d =
4
ds
2
e
1
e
0
t>0.
R
s
tR
0
ets
ets
ds = 2i
= 2i ,
s
s s=0
vale decir
h(t) = 1 ,
t>0.
ii) Sea t < 0. En este caso es facil convencerse, a partir de lo visto en el caso anterior, que
el camino de integracion conveniente es:
Im(s)
+iR
iR
Re(s)
iR
iR
109
Y en tal caso,
+i
Z ts
ets
e
ds =
ds = 0 ,
s
i
s
pues no hay polos dentro del circuito de integracion . Entonces
Z
h(t) = 0 ,
t<0.
iii) Caso t = 0.
La integral queda simplemente
r=R
Z +iR
r r=R
ds
i ,
= ln( + ir)
= ln( 2 + r2 ) + i arctan
s
r=R R
iR
r=R
de modo que
h(0) =
1
.
2
9.3.
En lo sucesivo, el smbolo
significara tiene como transformada de Laplace.
Ademas, f (t) y g(t) seran funciones de crecimiento exponencial, con f (t) = g(t) = 0 si t < 0.
Finalmente, definimos F (s) = L{f, s} y G(s) = L{g, s}.
1) Si a, b C, entonces
af (t) + bg(t)
aF (s) + bG(s) .
1 s
F
.
3)
Z
1
F (s) ,
s
f (t0 ) dt0
Demostraci
on
Z t
Z
L
f (u) du, s =
0
st
Re(s) > s0 .
f (u) du dt .
0
110
4)
f 0 (t)
sF (s) f (0) ,
Re(s) > s0 .
Demostraci
on Integrando por partes:
Z
Z
0
st 0
st
L{f , s} =
e f (t) dt = e f (t) + s
0
Analogamente,
sn F (s) sn1 f (0) sn2 f 0 (0) f (n1) (0) .
f (n) (t)
5)
tn f (t)
f (t )
Demostraci
on
ct
F (s c) .
L{e f (t), s} =
f (t u)g(u) du .
0
Demostraci
on Ejercicio.
F (s)G(s) .
9.4.
111
Se supone en lo que sigue que todas las funciones que aparecen a la izquierda del smbolo
0
1
s
c
1
c
b) Sea > 0.
L{t , s} =
st
t dt =
s+1
eu u du =
( + 1)
.
s+1
Luego
t
tn
1
s+1
( + 1) ,
n!
sn+1
1
2s
>0.
n = 0, 1, 2. . .
.
s
c)
ect
tn ect
1
,
cC.
sc
n!
.
(s c)n+1
En efecto,
L{ect , s} = L{ect 1, s} = L{1, s c} =
y
(n)
L{tn ect , s} = (1)n L{ect , s}
=
1
,
sc
n!
.
(s c)n+1
d) Si s > 0, > 0,
cos t
sen t
1 t
(e + et )
2
cosh(t)
senh(t)
s
+ 2
2
s + 2
1
1
1
+
2 s s+
s
R
2
s 2
s2 2
s2
112
e)
+s
(s + )2 + 2
(s + )2 + 2
et cos(t)
et sen(t)
f)
t
te
cos(t)
tet sen(t)
( + s)2 2
[(s + )2 + 2 ]2
2( + s)
[(s + )2 + 2 ]2
(s2 + 2 )2
ac
a + bt + c
t cos(t) +
sen t .
2
2
t0 > 0 .
et0 s
1
.
s
Entonces
q(t) 0 = (t t0 )
1
sL{q(t), s} q(0) = set0 s 0 = et0 s .
s
et0 s
set0 s
sn et0 s
Captulo 10
Aplicaciones de la transformada de
Laplace
versi
on final 3.3-13 enero 2003
114
10.1.
y(0) = 0, y 0 (0) = 1 .
Retransformando,
y(t) = et 1 .
2) Consideremos la siguiente ecuacion diferencial con condiciones iniciales:
d2 y
y =t ,
dt2
y(1) = a, y(2) = b .
1
1
+
2
s
s
1+s
s2
as
1
U (s) = 2
+ 2
+ 2
.
s 1 s + 1 s (s 1)
1
,x
2
s (s 1)
.
1
,x
2
s (s 1)
Z
=
dx
0
x0
x00
00
dx =
(ex 1) dx0 = ex 1 x .
Finalmente
u(x) = a cosh(x) + senh(x) + ex (1 + x) .
Expresando la solucion en la variable original,
y(t) = a cosh(t 1) + senh(t 1) + et1 t .
Comprobamos la condicion inicial:
y(1) = a cosh(0) + senh(0) + e0 1 ,
y(1) = a + 0 + 1 1 = a .
Para determinar = u0 (0) usamos y(2) = b:
y(2) = a cosh(1) + senh(1) + e 2 = b
2 + b e a cosh(1)
=
.
senh(1)
En general, la ecuacion diferencial
d2
d
x(t) + x(t) + x(t) = f (t)h(t) ,
2
dt
dt
donde h(t) corresponde a la funcion escalon de Heaviside, tiene por solucion:
1
x(t) = L
con
(s) = L {x, s} =
s2
1
{, t} =
2i
+i+
ds est (s) ,
i+
1
[L {f (t), s} + ( + s)x(0) + x0 (0)] .
+ s +
116
10.2.
Ecuaciones integrales
f ()K(x ) d ,
g(x) = f (x) +
(10.1)
donde g(x) y K(x) son funciones dadas. Busquemos la solucion aplicando la transformada
L {g(x), s} = L {f (x), s} + L {f K(x), s} = L {f (x), s} + L {f (x), s} L {K(x), s} .
Despejando,
L {f (x), s} =
L {g(x), s}
.
+ L {K(x), s}
(10.2)
yo
y
Debido a la conservacion de la energa se satisface para todo y
1 2
mv = mg(y0 y)
2
p
v =
2g y0 y ,
donde y0 es la altura inicial. Podemos evaluar el tiempo de descenso
Z
ds
=
v
y0
1 ds
dy =
v dy
Z
0
y0
1
f (y)(y0 y)1/2 dy ,
2g
donde hemos definido f (y) = ds/dy. Con este resultado podemos escribir la condicion de que
la curva sea tautocrona de la siguiente manera:
Z y0
f (y)(y0 y)1/2 dy = C0 ,
constante independiente de y0 .
0
117
Esta ecuacion integral es de la forma (10.1), con = 0, g(x) = C0 y K(x) = x1/2 , por tanto
tiene solucion de la forma (10.2):
L {f (x), s} =
C0 /s
.
L {x1/2 , s}
Sabemos que
( 1 )
L x1/2 , s = 2 ,
s
luego
C0 1
C0 s
.
L {f (x), s} =
1 =
s ( 2 )
( 12 ) s
Retransformando,
f (y) =
C0
ds
1/2
=
= Cy 1/2 .
1 2y
dy
[( 2 )]
A partir de
ds2 = dx2 + dy 2 ,
despejamos
s
2
ds
dx =
=
dy dy 2 ,
dy
s
"
#1/2
2
2
ds
ds
dx =
dy 2 dy 2 =
1
dy .
dy
dy
p
ds2
dy 2
C2
y = C sen
=
[1 cos()] .
2
2
2
Diferenciando,
dy =
C2
sen d .
2
C
2
dx = csc
1
sen d
2
2
2
C
dx = cot
2 sen
cos
d
2 2
2
2
C2
2
2
dx = C cos
d =
(1 + cos ) d .
2
2
(10.3)
118
Integrando esta u
ltima ecuacion y agregando el cambio de variable podemos expresar la curva
resultante en forma parametrica:
C2
( + sen )
2
C2
y=
(1 cos ) .
2
x=
10.3.
2 u(x, t)
u(x, t)
=
,
2
x
t
(10.4)
obtenemos
2 U (x, s)
= s U (x, s) u(x, 0) .
x2
Utilizando la condicion inicial u(x, 0) = 0, nos queda una ecuacion diferencial en donde s es
un parametro,
2 U (x, s)
s U (x, s) = 0 ,
x2
con solucion
U (x, s) = C1 ex s + C2 ex s .
Aplicamos la transformada de Laplace sobre las condiciones de borde:
L {u(, t), s} = U (, s) = 0 = C1 = 0 ,
A
A
L {u(0, t), s} = U (0, s) = L {A, s} = = C2 =
.
s
s
A xs
e
,
s
119
Retransformando,
1
u(x, t) = L
Z t
n o
A xs
e
,t = A
L1 ex s , t0 dt0 .
s
0
Evaluamos, primero,
Z +i
n o
1
x s
L
e
,t =
est ex s ds .
2i i
Im[ z ]
Im[ z ]
z= s
II R
III
R
Re[ z ]
R
Re[ z ]
R=
II R
I
R
z=(1+i)y
Z
2
yeyx dy 0 .
R
R
El tramo II:
Z
Z
1
1 R
z 2 tzx
(iR+y)2 t(iR+y)x
ze
dz
=
(iR
+
y)e
dy
II
0
z=iR+y
Z
1 R
2
2
| iR + y | e(y R )tyx dy
0
Z R
2
eR t
2
2R
ey tyx dy
0
1
120
El integrando f (y) = ey tyx es acotado en el intervalo [0, R], siendo su maximo f (0) = 1
o f (R) (dentro del intervalo hay solo un punto con derivada nula, y = x/2, y resulta ser un
mnimo). Si R es suficientemente grande, el maximo es f (R). de modo que podemos escribir
Z
Z R
R2 t
1
e
2
z 2 tzx
ze
dz
2R
eR tRx dy
II
0
z=iR+y
Rx
e
=
2R2 0 .
R
Notamos que dentro del circuito no hay polos, entonces al utilizar el teorema del residuo
podemos concluir que la integral sobre el circuito cerrado es nula. Ya hemos demostrado que
las integrales sobre los tramos I y II tienden a cero cuando R . En forma equivalente
se puede mostrar que se anularan, en el mismo lmite, las integrales sobre los tramos I y II.
Por lo tanto, la integral sobre el camino mas la integral sobre el tramo III deben cancelarse
en el lmite R , o lo que es lo mismo, la integral sobre el camino , que es la que nos
interesa, es igual a menos la integral sobre el tramo III. Parametrizamos por z = iy, y nos
queda
Z
Z
n o
1
1 y2 tiyx
x 1
2
1
x s
z 2 tzx
L
e
,t =
e
z dz =
e
y dy = 3/2 ex /4t .
i III
i
2 t
Podemos escribir la solucion
t
Z
u(x, t) = A
0
x 1
2
0
3/2 ex /4t dt0 .
0
2 t
u(x, t) =
e
d = A 1 erf
.
x/2t
2 t
10.4.
sY1 + 2sY2 50 + Y1 Y2 =
Despejando,
Y1 (s) =
25
16
25
9
5
=
.
2
2
4s(s 1) (s + 1/4)
s
s 1 (s 1)
(s + 1/4)
Retransformando,
y1 (t) = 25 9et + 5tet 16et/4 .
Analogamente
y2 (t) = 33et 10tet 8et/4 .
121
122
Captulo 11
Polinomios ortogonales
versi
on final 3.4-13 enero 2003
11.1.
Definiciones
Definici
on 11.1 Sean f, g C [a, b] y sea p(x) > 0 continua en el intervalo [a, b]. Definimos
el producto interno de f y g con funcion de peso p de la forma siguiente:
Z
hf, gi
f (x)g(x)p(x) dx .
(11.1)
Definici
on 11.2 Sean {Pn (x)}nN0 un conjunto de polinomios reales, donde Pn (x) es un
polinomio de grado n. El conjunto {Pn (x)}nN0 forma un sistema ortogonal de polinomios
con la funcion de peso p(x) si
hPn , Pm i = nm Am .
(11.2)
11.2.
Teoremas
Teorema 11.1 Sean {Pn (x)}nN0 polinomios ortogonales en [a, b] con la funcion de peso
p(x). Sea Qk un polinomio cualquiera de grado k. Entonces Pn (x) es ortogonal a Qk si n > k.
Demostraci
on Escribamos el polinomio Qk (x) como sigue
Qk (x) =
k
X
a x .
=0
x =
con b hx , P i ,
b P (x) ,
=0
123
124
por lo tanto,
Qk (x) =
k
X
=0
hPn , Qk i =
k
X
=0
b hPn , P i =
=0
b P (x) ,
=0
k
X
=0
b A n = 0 ,
si n > k.
=0
q.e.d.
Teorema 11.2 Los ceros de los polinomios ortogonales son reales y simples.
Demostraci
on Consideremos el polinomio Pn+1 (x) que tiene n + 1 races. Por el teorema
anterior
Z b
kn.
hQk , Pn+1 i =
Qk (x)Pn+1 (x)p(x) dx = 0
a
Supongamos que Pn+1 (x) no tiene races reales en [a, b]. Al considerar Qk = 1 obtenemos
Z b
1 Pn+1 (x)p(x) dx 6= 0 .
a
Esto contradice lo anterior, lo que significa que Pn+1 tiene por lo menos una raz en [a, b].
Sea esa raz. Podemos factorizar Pn+1 como
Pn+1 (x) = (x )Sn (x).
Si n 1 se debe tomar Qk = (x ), y como por un lado debe cumplirse
hPn+1 , x i = 0 ,
y por otro lado, de (11.1),
Z
hPn+1 , x i =
(x )2 Sn (x)p(x) dx 6= 0
si Sn (x) no tiene una raz en [a, b], hay nuevamente contradiccion. Por lo tanto, Sn (x) tiene
por lo menos una raz en [a, b]. Siguiendo con este procedimiento encontramos que Pn+1 (x)
tiene n + 1 races reales.
Nos falta demostrar que las races son simples. Sea x = una raz no simple, es decir,
Pn+1 (x) = (x )m Sn+1m (x) ,
con m 2 .
DE RECURRENCIA
11.3. RELACION
125
distinta de cero porque cada factor de la funcion subintegral es positivo, en los dos primeros
casos por ser las potencias pares y en el u
ltimo por definicion de p(x). Por otra parte,
grado[Qk (x)] = n + 1 m + 1 = (n + 1) (m 1) < n + 1, lo cual significa que
hPn+1 , Qk i = 0 .
11.3.
Relaci
on de recurrencia
(11.3a)
(11.3b)
(11.3c)
n+1
X
j=0
nj =
p(x)xPn (x)Pj (x) dx = jn
.
(11.4)
(11.5)
an
,
an+1
n n =
bn
bn+1
,
an an+1
n1 n =
an1
.
an
x Pn (x) +
Pn1 (x) = 0
(11.6)
an+1
an an+1
an
126
Captulo 12
Polinomios de Hermite
versi
on final 3.5-13 enero 2003
12.1.
Definici
on
Hn (t) = (1)n et
dn t2
e
.
dtn
(12.1)
(12.2)
12.2.
Funci
on generatriz
Consideremos la funcion
2
X
An (t)
n=0
n!
x ,
127
n
An (t) =
.
xn x=0
(12.3)
128
Como
se tiene
=
(1) ,
x
(t x)
n t2
n
(tx)2
n
n t2 d e
An (t) = e
e
(1) = (1) e
= Hn (t) ,
(t x)n
dtn
x=0
t2
luego
2txx2
X
Hn (t)
n=0
n!
xn .
(12.4)
Se dice que e2txx es la funcion generatriz de los polinomios de Hermite, vale decir, es
aquella funcion de dos variables tal que su desarrollo de Taylor en una de las variables tiene
como coeficientes precisamente los polinomios de Hermite.
A partir de (12.4) se pueden encontrar relaciones entre los polinomios de Hermite. La
estrategia para hallarlas (para esta o cualquier otra funcion generatriz de otros polinomios)
es tpica: derivar parcialmente respecto a alguna de las variables y luego comparar potencias
de x en los desarrollos en Taylor resultantes.
1) Derivando respecto a t:
= 2x .
t
Usando (12.4):
X
X
1 d
Hn (t) n+1
n
Hn (t) x =
2x
.
n! dt
n!
n=0
n=0
Reordenando la suma en el lado izquierdo:
X
2Hn (t)
n=0
n!
n+1
H00 (t)
0
X
Hm+1
(t) m+1
+
x
.
(m + 1)!
m=0
n0.
(12.5)
Observemos que, si bien solo tiene sentido considerar polinomios de Hermite con ndice positivo, la expresion (12.5) puede ser extendida a n = 0, aunque ello haga aparecer un factor
H1 . En general, las relaciones de recurrencia que obtendremos pueden considerarse validas
GENERATRIZ
12.2. FUNCION
129
para cualquier ndice entero, adoptando la convencion de que los polinomios con subndices
negativos tienen alg
un valor adecuado, por ejemplo, cero.
La relacion (12.5) expresa un polinomio de Hermite en terminos de un operador (en
este caso la derivada) aplicado sobre el polinomio de Hermite inmediatamente superior. Un
operador que tiene tal propiedad se denomina operador de bajada. En este caso, el operador
de bajada de los polinomios de Hermite es (2n)1 dt .
2) Derivando respecto a x:
= (2t 2x) .
x
Con (12.4):
X
X
X
Hn (t) n1
Hn (t) n
Hn (t) n+1
x
= 2t
x 2
x
(n
1)!
n!
n!
n=1
n=0
n=0
X
Hn+1 (t)
n=0
n!
x =
X
2tHn (t)
n=0
n!
X
2Hn1 (t)
n=1
(n 1)!
xn
Comparando potencias de x:
H1 (t) = 2tH0 (t) ,
Hn+1 (t) = 2tHn (t) 2nHn1 (t) ,
n1.
n0.
O bien
(12.6)
3) Podemos utilizar las dos relaciones de recurrencia (12.5) y (12.6) para obtener una tercera:
Hn+1 (t) = 2tHn (t) Hn0 (t) .
(12.7)
Hemos pues encontrado el operador de subida para los polinomios de Hermite, a saber,
2t dt .
Derivando (12.7):
0
Hn+1
= 2Hn + 2tHn0 Hn00 .
Con (12.5),
2(n + 1)Hn = 2Hn + 2tHn0 Hn00 ,
o sea,
Hn00 2tHn0 + 2nHn = 0 .
Es decir, los polinomios Hn son una solucion de la ecuaci
on de Hermite:
y 00 (t) 2ty 0 (t) + 2ny(t) = 0 .
(12.8)
130
12.3.
Ortogonalidad
Evaluemos
Hm (t)Hn (t)et dt .
I=
dn et
Hm (t)
.
dtn
I = (1)
Integrando por partes:
n+1
I = (1)
Z
2m
Hm1 (t)
dn1 t2
e dt .
dtn1
n m
I = (1) (1) 2 m!
H0 (t)
dnm t2
e dt .
dtnm
Si m < n, entonces
n+m m
I = (1)
2 m!
dnm t2
dnm1 t2
n+m m
e dt = (1)
2 m! nm1 e
=0.
dtnm
dt
Si n = m,
n
I = 2 n!
2
et dt = 2n n! .
Resumiendo,
Z
2
Hm (t)Hn (t)et dt = 2n n! nm .
(12.9)
Podemos expresar este resultado diciendo que los polinomios de Hermite son ortogonales,
2
pero con una funcion de peso p(t) = et .
Si definimos las funciones
2
Hn (t)et /2
(12.10)
n (t) = p
,
2n n!
es claro que {n }n es un conjunto ortonormal:
Z
n (t)m (t) dt = nm .
(12.11)
12.4.
131
(a) Es facil demostrar que las funciones n definidas en (12.10) satisfacen la ecuacion diferencial
y 00 t2 y = (2n + 1)y
(12.12)
[con la condicion de borde y() = 0], que es precisamente la ecuaci
on de Schr
odinger
para el oscilador armonico.
(b) Sea n () = F{n (t), }. Dado que se cumple
00n + (2n + 1 t2 )n = 0 ,
se puede demostrar que n () satisface
00n () + (2n + 1 2 )n () = 0 ,
(12.13)
12.5.
Soluci
on por serie de la ecuaci
on de Hermite
(12.14)
a t .
(12.15)
=0
Reemplazando en (12.14):
[a+2 ( + 2)( + 1) 2a + 2a ]t = 0 ,
=0
2a 2a + a+2 ( + 1)( + 2) = 0 ,
0,
2( )
a .
( + 1)( + 2)
(12.16)
132
b)
a+2
2( )
2
=
'
a
( + 1)( + 2)
si 1,
lo cual significa que el radio de convergencia de la serie es infinito. Vale decir, las soluciones
no tienen singularidades en el plano.
c) La ecuacion tiene por solucion un polinomio solo si N . Si es par, hay que tomar
a0 6= 0 y a1 = 0. Si es impar, hay que tomar a0 = 0 y a1 6= 0.
d) Si 6 N , y si la solucion es par o impar, entonces ( )/[( + 1)( + 2)] > 0 desde
cierto 0 en adelante, de modo que los a tienen todos el mismo signo para > 0 . Esto
es, la serie tiene un crecimiento rapido cuando t .
Captulo 13
Polinomios de Laguerre
versi
on final 3.2-13 enero 2003
13.1.
Definici
on
Definici
on 13.1 Definimos el conjunto de los polinomios de Laguerre {Ln (t)}nN0 mediante
una cualquiera de las siguientes ecuaciones:
dn n t
= (1)n tn + + n! ,
Ln (t) = e n t e
dt
n n n t
X
n
d t
d e
t
Ln (t) = e
,
n
dt
dt
=0
n
n
X
n! X
n! n!
n
Ln (t) =
(1)
t =
(1)
t .
2
!
(n
)!
(!)
=0
=0
t
(13.1a)
(13.1b)
(13.1c)
13.2.
=
=
=
=
=
..
.
1
t + 1
t2 4t + 2
t3 + 9t2 18t + 6
t4 16t3 + 72t2 96t + 24
Funci
on generatriz
Definici
on 13.2 La funcion generatriz (t, x) esta definida por la siguiente relacion:
(t, x) =
X
Ln (t)
n=0
133
n!
xn .
(13.2)
134
Usando (13.1c) obtenemos:
(t, x) =
X
n
X
(1) n
!
n=0 =0
t xn
6
r
6
r r
r6 r r
r6 r r r
6
r r r r r
6
r r r r r r
r r r r r r
-
Obtenemos
(t, x) =
r
r
r
r
r
r
r
r
r
X
(1)
=0 n=
r
r
r
r
r
r
r
r
r
r
r
rrrrrrr
-
n
t
xn .
X
(1) m +
t
xm+ .
(t, x) =
!
=0 m=0
Reordenando
(t, x) =
X
(1)
=0
Pero
X
m+
m=0
!
t x
m=0
x =
1
1x
X
m+
xm .
+1
cuando | x | < 1 ,
luego
(t, x) =
X
(1)
=0
x
1x
1
1 X (1)
=
1x
1 x =0 !
tx
1x
.
Finalmente
1
(t, x) =
exp
1x
tx
1x
=
X
Ln (t)
n=0
n!
xn
(13.3)
13.3.
135
Relaciones de recurrencia
X
tx
Ln (t) n
exp
= (1 x)
x .
1x
n!
n=0
(13.4)
Derivemos respecto a x:
t
exp
(1 x)2
tx
1x
X
Ln (t) (n1) X Ln (t) n
= (1 x)
x
x .
(n 1)!
n!
n=1
n=0
(13.5)
13.4.
n1.
(13.6)
Ecuaci
on de Laguerre
(13.7)
De (13.6) tenemos
L0n+1 (t) = (n + 1) [L0n (t) Ln (t)] ,
(13.8)
(13.9)
Cambiando n n + 1,
L00n+2 (t) = (n + 2) L00n+1 (t) L0n+1 (t) .
Usando (13.8) y (13.9),
L00n+2 (t) = (n + 2)(n + 1) [L00n (t) L0n (t) L0n (t) + Ln (t)] ,
L00n+2 (t) = (n + 2)(n + 1) [L00n (t) 2L0n (t) + Ln (t)] .
(13.10)
136
Dividiendo por (n + 1) obtenemos
(13.11)
(13.12)
a t ,
=0
a .
( + 1)2
13.5.
Ortogonalidad
Consideremos
Z
I=
0
tm Ln (t) et dt ,
con m < n .
13.5. ORTOGONALIDAD
137
I=
tm
dn n t
dt ,
t e
dtn
Z
n1
dn1 n t
m1 d
n t
t
e
m
t
t
e
dt .
dtn1
dtn1
0
0
dnm1 n t
I = (1) m! nm1 t e = 0 ,
dt
0
n
luego
Z
Ln (t) Lm (t) et dt = 0
si m < n .
(13.13)
1
Ln (t) et/2 .
n!
(13.14)
n (t) m (t) dt = nm .
0
lm n (t) < .
t0
138
13.6.
dm
Ln (t)
dtm
para n m ,
(13.16)
conocidos como los polinomios asociados de Laguerre. Los cuales son soluciones de la siguiente
ecuacion diferencial:
t y 00 (t) + (m + 1 t) y 0 (t) + (n m) y(t) = 0 .
(13.17)
L22 = 2 ,
L23 = 18 6t ,
L33 = 6 .
La funcion generatriz
m m
m (t, x) = (1) x
exp
tx
1x
m+1
= (1 x)
X
Lm
n (t) n
x .
n!
n=m
(13.18)
(13.19)
(13.20)
(13.21)
Finalmente, en forma analoga a lo que hicimos con los polinomios de Laguerre podemos definir
las funciones ortogonales a partir de los polinomios asociados de Laguerre de la siguiente
forma:
Rn ` (t) et/2 t` L2`+1
(13.22)
n+` (t) .
Estas funciones satisfacen la ecuacion diferencial
d2 y(t) 2 dy(t)
1 n `(` + 1)
+
+
y(t) = 0 .
dt2
t dt
4
t
t2
(13.23)
Esta ecuacion aparece en Mecanica Cuantica al resolver el atomo de Hidrogeno. Especficamente, corresponde a la ecuacion radial de Schrodinger para la funcion de onda del atomo
de Hidrogeno.
Captulo 14
El problema de Sturm-Liouville
versi
on final 1.1-13 enero 2003
Una gran cantidad de problemas fsicos estan descritos por ecuaciones diferenciales en
las que interviene un operador Laplaciano (la ecuacion de Laplace, la ecuacion de onda,
la ecuacion de Schrodinger, etc.). Matematicamente, estas ecuaciones corresponden a casos
particulares del problema de Sturm-Liouville, vale decir, ecuaciones de autovalores para un
un operador diferencial autoadjunto. Las propiedades que demostramos en general para los
polinomios ortogonales (Cap. 11), y reencontramos en dos casos particulares (Caps. 12 y
13), son en realidad propiedades generales de las soluciones de problemas de Sturm-Liouville,
como veremos en este captulo.
14.1.
(14.1)
donde u(x) es una funcion compleja dos veces diferenciable, y los {pj (x)} son funciones reales
que cumplen:
p000 (x), p01 (x), p2 (x) existen y son continuas en [a, b].
p0 (x) no tiene ceros en (a, b).
p0 (x) puede (y suele) tener ceros en los extremos del intervalo, y el intervalo [a, b] podra
ser semi-infinito o infinito.
Consideremos una segunda funcion derivable dos veces, v(x). Definimos
Z b
hv | L | u i hv, Lui =
dx v (x)Lu(x) .
(14.2)
a
139
140
y
Z
00
b Z b
v (x)u (x)p0 (x)
dx u0 (x)[v (x)p0 (x)]0
a
a
b Z b
0
{v (x)u (x)p0 (x) u(x)[v (x)p0 (x)] } +
dx u(x)[v (x)p0 (x)]00 .
p00 (x)]
b
+ p0 (x)[u (x)v (x) u(x)v (x)] , (14.3)
0
donde
d2
d
[p0 (x)u(x)] [p1 (x)u(x)] + p2 (x)u(x) ,
2
dx
dx
d2
d
0
0
00
Lu(x) = p0 (x) 2 + [2p0 (x) p1 (x)] + [p2 (x) p1 (x) + p0 (x)] u(x)
dx
dx
Lu(x) =
(14.4a)
(14.4b)
es el operador adjunto a L.
Si
L=L,
(14.5)
(14.6)
141
Entonces
d
p0 (x) =
exp
dx
0
Z
x0
Z x
p1 (t)
p1 (x)
p1 (t)
dt
=
exp
dt
= p1 (x) ,
p0 (t)
p0 (x)
p0 (t)
x0
dx u(x)Lv (x) +
a
14.2.
b
A(x)[u (x)v (x) u(x)v (x)] .
0
(14.8)
Operadores autohermticos
dx u(x)Lv(x) = hLv, ui .
(14.10)
14.3.
Problema de autovalores
Sea w(x) una funcion real positiva, la cual a lo mas puede tener ceros aislados en [a, b]
(funci
on de peso). Consideremos la ecuacion
Lu(x) + w(x)u(x) = 0 ,
C,
(14.11)
con determinadas condiciones de borde (en este caso, nos interesaran las condiciones que
determinan el subespacio H). Las soluciones de (14.11), debido precisamente a las condiciones
de borde, no existen para todo , sino para cierto n
umero discreto {i }iN , asociados a
ciertas funciones {ui }iN . Los i se denominan autovalores y las funciones asociadas ui ,
autofunciones.
Se pueden mostrar las siguientes propiedades:
142
Proposici
on 14.1 Los autovalores de un operador autohermtico son reales.
Demostraci
on Sean j , k autovalores asociados a autofunciones uj (x), uk (x), respectivamente. Entonces
Luj (x) + j w(x)uj (x) = 0 ,
Luk (x) + k w(x)uk (x) = 0 .
Multiplicando la primera ecuacion por uk (x) e integrando en [a, b]:
huk , Luj i + j
dx uk (x)w(x)uj (x) = 0 .
Haciendo algo similar con la segunda ecuacion, pero multiplicando por uj (x),
b
dx uj (x)w(x)uk (x) = 0 .
hLuk , uj i + k
a
k )
uk (x)w(x)uj (x) = 0 .
(14.12)
Ahora, si j = k,
0 = (j
j )
| uj (x) |2 w(x) .
Proposici
on 14.2 Las autofunciones de un operador autohermtico se pueden elegir ortogonales entre s.
Demostraci
on Si escogemos ahora j 6= k , entonces de (14.12) se sigue que
Z
0=
dx uk (x)w(x)uj (x) ,
es decir uk (x) y uj (x) son ortogonales con funcion de peso w(x). (Incidentalmente, vemos
que la generalizacion del producto interno introducida en (11.1) emerge naturalmente al
considerar el problema de autovalores de un operador autohermtico.)
Por lo tanto, autofunciones asociadas a autovalores distintos son ortogonales. Sin embargo,
puede ocurrir que mas de una autofuncion este asociada al mismo autovalor, es decir, que un
143
autovalor sea degenerado. Es facil mostrar que las funciones asociadas a un mismo autovalor
forman un espacio vectorial. En efecto, si uj,1 (x), uj,2 estan asociadas al autovalor j , se tiene
Luj,1 + j w(x)uj,1 = 0 ,
Luj,2 + j w(x)uj,2 = 0 .
Entonces una combinacion lineal de ellas tambien es autofuncion de L con el mismo autovalor:
X
X
X
L
uj, + j w(x)
uj, =
[Luj, + j w(x)uj, ] = 0 .
=1,2
=1,2
=1,2
Por lo tanto, es posible encontrar una base ortogonal del subespacio asociado a j (va GramSchmidt). Procediendo as con todos los subespacios de degeneracion, podemos finalmente
construir una base ortogonal para el espacio de funciones completo.
q.e.d.
Proposici
on 14.3 Las autofunciones de un operador autohermtico forman una base del
espacio H.
Demostraci
on (Discusion)
La completitud de un conjunto de funciones usualmente se determina comparando con
una serie de Laurent. Por ejemplo, para polinomios ortogonales, es posible encontrar una
expansion polinomial para cada potencia de z:
n
z =
n
X
ai Pi (z) ,
i=0
donde Pi (z) es el i-esimo polinomio. Una funcion f (z) se puede entonces expandir en una serie
de Laurent, y en definitiva en una combinacion lineal de los polinomios Pi (z). As, podemos
mostrar que la expansion polinomial existe y que es u
nica. La limitacion de este desarrollo
en serie de Laurent es que f (z) debe ser analtica. Las funciones pueden ser mas generales
que eso (recordemos la expansion de la funcion dientes de sierra en series de Fourier, por
ejemplo). Una demostracion de que nuestras autofunciones de problemas de Sturm-Liouville
son completas aparece en el libro de Courant y Hilbert [R. Courant y D. Hilbert, Metodos
de la Fsica Matematica, Vol. 1, Cap. 6, Sec. 3].
q.e.d.
14.4.
Distintas elecciones del operador diferencial L (es decir, de las funciones A(x) y B(x) en
(14.7), de la funcion de peso w(x) en el problema de autovalores asociado, y del intervalo
[a, b] que determina las condiciones de borde (14.9), generan diversas funciones especiales.
Algunas de ellas, de interes en problemas fsicos, aparecen en la siguiente tabla:
Funcion
Legendre
(polinomios)
Legendre
(asociados)
Chebyshev I
(polinomios)
Chebyshev II
(polinomios)
Gegenbauer
(ultraesfericas)
Laguerre
(polinomios)
Laguerre
(asociados)
Hermite
(polinomios)
Bessela
1 x2
A(x)
1 x2
m2
1x2
B(x)
0
1
1x2
w(x)
1
a
1
b
1
n(n + 2)
n2
l(l + 1)
l(l + 1)
1 x2
0
1
0
1
1 x2
(1 x2 )3/2
1
n
Pl (x)
n
dx xJ (a x)J (a x) = cte. a ,a .
ex
Ln (x)
n
(1 x2 )+n 2
(1 x2 )n+ 2
(1 x2 )n 2
d m
dx
Formula generatriz
2
d l
Pl (x) = 221l! dx
(x 1)l
n
d
dx
1x2
(2n1)!!
Tn (x) =
d
dx
d
dx
(n+1)
(2n+1)!! 1x2
1
(2)(+ 21 +n)(1x2 ) 2
2n n!(+ 21 )(2+n)
Un (x) =
n(n + 2) Cn (x) =
1
(1 x2 ) 2
d n
dx
(1 x2 )+ 2
Ln (x) = ex
d
dx
dt (1 t2 ) 2 cos(xt)
(xn ex )
n
ex
xex
d m
dx
(m)
Ln (x) =
nk
0
1
1 ( 2 x)
(+ 21 )
R1
xk ex
J (x) =
Hn (x) = ex
1
a2
2n
xk+1 ex
ex
ex
x
a
Las relaciones de ortogonalidad de las funciones de Bessel son atpicas: debemos reemplazar J (x) por J (xa ) en la ecuacion diferencial, con
J (a ) = 0, cumpliendose
Z
Captulo 15
Ecuaciones diferenciales con
singularidades
versi
on final 1.0-13 enero 2003
(15.1)
15.1.
Puntos singulares
146
1
1
df
3
2
f =0.
+q
+ 2s s p
ds
s
s
(15.2)
2s p(1/s)
,
s2
q(s) =
q(1/s)
.
s4
(15.3)
Si son finitos, z = es un punto ordinario. Si divergen como 1/s y 1/s2 o mas lentamente,
respectivamente, z = es punto singular regular; si no, es un punto singular irregular o
esencial.
Ejemplo La ecuacion de Bessel,
x2 y 00 + xy 0 + (x2 n2 )y = 0 ,
(15.4)
15.2.
Soluci
on por serie: m
etodo de Frobenius
(15.5)
a x ,
a0 6= 0 .
(15.6)
=0
Ya hicimos algo similar al estudiar las ecuaciones de Hermite y Laguerre en los captulos anteriores. En esos casos, k = 0. Ahora nos interesa el caso general. De hecho, k no necesariamente
15.2. SOLUCION
DE FROBENIUS
147
es un n
umero entero. Entonces:
dy X
=
a (k + )xk++1 ,
dx =0
d2 y X
=
a (k + )(k + 1)xk+2 ,
dx2
=0
de modo que, reemplazando en (15.5), se tiene
a (k + )(k + 1)x
k+2
=0
a xk+ = 0 .
(15.7)
=0
Esta igualdad implica que cada coeficiente, para todas las potencias de x, debe anularse. En
particular, el coeficiente de la menor potencia de x, xk2 :
a0 k(k 1) .
Puesto que a0 es el menor coeficiente no nulo de la serie,
k(k 1) = 0 .
(15.8)
k=1.
(15.9)
Por otro lado, de (15.7) se sigue, al anular el coeficiente de xk+j , con j = + 2, la relacion
de recurrencia
2
.
(15.10)
aj+2 = aj
(k + j + 2)(k + j + 1)
Como en el caso de la ecuacion de Hermite, esta relacion de recurrencia determina o solo los
terminos pares, o solo los impares, de modo que hay dos coeficientes arbitrarios, a0 y a1 .
Ahora bien, volviendo a las races de la ecuacion indicial, si k = 0, entonces el coeficiente
de xk2 en (15.7) se anula, y as a0 6= 0. Al mismo tiempo, el coeficiente de la siguiente
potencia de x, xk1 , es
a1 (k + 1)k = 0 ,
que tambien se satisface si k = 0. Por tanto, en este caso ambos coeficientes son arbitrarios.
Para k = 1, en tanto, el coeficiente de xk2 es cero, pero el de xk1 no es cero a menos que
a1 = 0. Como a1 es arbitrario si k = 0, y necesariamente cero si k = 1, escojamos a1 = 0.
De este modo, todos los coeficientes impares de la serie desaparecen. (En principio podemos
temer perdida de soluciones, pero el objetivo aqu es encontrar al menos una solucion; de
todos modos, los terminos impares reapareceran al considerar la segunda raz de la ecuacion
indicial.)
148
2
,
(j + 2)(j + 1)
es decir,
2
2
= a0 ,
12
2!
4
2
a4 = a2
=
a0 ,
34
4!
2
6
a6 = a0
= a0 ,
56
6!
a2 = a0
2n
a0 ,
(2n)!
(15.11)
y la solucion es
y(x)k=0
y(x)k=0
(x)2 (x)4 (x)6
= a0 1
+
+
2!
4!
6!
= a0 cos(x) .
(15.12)
2
,
(j + 3)(j + 2)
es decir
2
2
= a0 ,
23
3!
2
4
a4 = a2
=
a0 ,
45
5!
2
6
a6 = a0
= a0 ,
67
7!
a2 = a0
que conduce a
a2n = (1)n
2n
a0 .
(2n + 1)!
(15.13)
As,
y(x)k=1
y(x)k=1
(x)2 (x)4 (x)6
= a0 x 1
+
+
3!
5!
7!
a0
(x)3 (x)5 (x)7
(x)
+
+
=
3!
5!
7!
a0
=
sen(x) .
(15.14)
15.3. LIMITACIONES DEL METODO.
TEOREMA DE FUCHS
149
Por supuesto, hemos obtenido dos soluciones linealmente independientes que no son ninguna sorpresa, pero el metodo de Frobenius es general y nos permite estudiar cualquier
ecuacion diferencial homogenea lineal de segundo orden. Sin embargo, obtener una solucion
como una expansion en serie no significa que dicha solucion sea aceptable: eso depende de si
converge o no, lo cual no esta asegurado, y requiere un analisis separado.
En general, es posible usar este metodo expandiendo la solucion en torno a un punto x0
arbitrario, en cuyo caso (15.6) es reemplazada por
y(x) =
a (x x0 )k+ ,
a0 6= 0 .
(15.15)
=0
15.3.
Limitaciones del m
etodo. Teorema de Fuchs
Para el oscilador armonico encontramos, mediante el metodo de Frobenius, las dos soluciones linealmente independientes que bastan para describir todo el espacio de soluciones.
Es siempre posible ello? La respuesta es no. Ya sabemos un caso en el que no es posible:
la ecuacion de Laguerre (Sec. 13.4). Cuando introdujimos una solucion en la forma de una
serie de Taylor, resulto una relacion de recurrencia que determinaba todos los coeficientes
en terminos del primero, y por tanto el metodo de Frobenius en este caso permite encontrar
solo una solucion. Mas a
un, ni siquiera esta asegurado que, una vez determinados todos los
coeficientes, la serie sea convergente. En el caso de la ecuacion de Laguerre (13.12), a menos
que la serie termine y sea en realidad un polinomio, la serie diverge.
Bajo que condiciones es posible encontrar soluciones con el metodo de Frobenius? La
respuesta a esta pregunta involucra a las races de la ecuacion indicial y el grado de singularidad de los coeficientes en la ecuacion diferencial. Consideremos, a modo de ilustracion, las
siguientes ecuaciones simples:
6
y
x2
6
y 00 3 y
x
1
a2
y 00 + y 0 2 y
x
x
1
a2
y 00 + 2 y 0 2 y
x
x
y 00
=0,
(15.16)
=0,
(15.17)
=0,
(15.18)
=0.
(15.19)
150
lo que es imposible pues a0 6= 0. As, vemos que en el caso (15.16), con una singularidad
regular en x = 0, el metodo de Frobenius da dos soluciones, pero simplemente no funciona
para (15.17), que tiene una singularidad esencial en x = 0.
Si ahora agregamos un termino con primera derivada en la forma (15.18), se obtiene la
ecuacion indicial
k 2 a2 = 0 ,
sin relacion de recurrencia, de modo que las soluciones son xa y xa .
Finalmente, si modificamos la ecuacion anterior cambiando en 1 la potencia del coeficiente
de y 0 , ejemplo (15.19), se tiene la ecuacion indicial
k=0,
que arroja solo un valor de k, y la relacion de recurrencia
aj+1
a2 j(j 1)
.
= aj
j+1
p
A menos que a sea tal que la serie se corte para alg
un j (es decir, si a = n(n 1), con
n N), se tiene
2
aj+1
= lm j(j + 1) = lm j = ,
lm
j
j j
aj j j + 1
es decir, la solucion por serie diverge para todo x 6= 0.
Nuevamente nuestra solucion tiene problemas con singularidades esenciales.
En general se puede mostrar que al menos una solucion en forma de serie de potencias
se puede obtener, siempre que la expansion sea en torno a un punto ordinario o un punto
singular regular. Este resultado constituye el Teorema de Fuchs. Una demostracion de este
teorema se encuentra en el Captulo 16. Se mostrara tambien en ese Captulo, y parcialmente
en la siguiente seccion, que la obtencion de una o dos soluciones a partir del metodo de
Frobenius depende de las races de la ecuacion indicial:
Si las dos races de la ecuacion indicial son iguales, se obtiene solo una solucion. (Ej.:
ecuacion de Laguerre.)
Si las dos races difieren en un n
umero no entero, se obtienen dos soluciones linealmente
independientes.
Si las dos races difieren en un n
umero entero, la mayor de ellas da una solucion. La
otra puede o no dar una solucion dependiendo del comportamiento de los coeficientes.
Para el oscilador armonico se obtienen dos soluciones; para la ecuacion de Bessel (15.4),
solo una (Cap. 19).
En la siguiente seccion desarrollaremos un metodo para encontrar una segunda solucion
linealmente independiente en el caso que el metodo de Frobenius no nos la proporcione.
15.4. UNA SEGUNDA SOLUCION
151
15.4.
15.4.1.
Forma integral
(15.20)
(15.21)
(15.20) y (15.21) son un conjunto de ecuaciones lineales, donde los coeficientes ki son desconocidos. Este sistema tiene solucion no nula si
y1 (x) y2 (x)
=0.
(15.22)
W (x) 0
y1 (x) y20 (x)
W (x) se denomina el Wronskiano de las funciones yi . Si el Wronskiano es distinto de cero,
entonces las funciones yi son linealmente independientes. Si el Wronskiano es cero en un
cierto intervalo, entonces las funciones yi son linealmente dependientes en ese intervalo.
As pues, supongamos que, por el metodo de Frobenius u otro, tenemos una solucion y1 (x).
El problema es ahora encontrar una segunda solucion y2 (x) tal que el Wronskiano de ambas
sea distinto de cero. Primero es facil mostrar (ver Cap. 16) que si la ecuacion diferencial tiene
la forma general
y 00 + p(x)y 0 + q(x) = 0 ,
entonces el Wronskiano de dos soluciones y1 , y2 es
W 0 = p(x)W ,
(15.23)
y1 y20
y10 y2
y12
d
dx
y2
y1
de modo que
d
dx
y2
y1
= W (a)
1 R x p(x1 ) dx1
e a
.
y12
(15.25)
152
Esta
es la segunda solucion, linealmente independiente, que buscamos. Observemos que hemos
omitido la evaluacion en el lmite inferior de las integrales. Al igual que antes, mantener el
lmite inferior contribuye con un termino proporcional a la solucion conocida y1 (x).
Ejemplo Para el oscilador armonico, d2 y/dx2 + y = 0, una solucion es y1 = sen x, obteniendose
Z x
dx2
y2 (x) = sen x
= sen x( cot x) = cos x .
sen2 x2
15.4.2.
Expansi
on en serie
Podemos reescribir la segunda solucion obtenida (15.26) usando expansiones en serie para
y1 (x) y p(x). De acuerdo al teorema de Fuchs, es posible encontrar una solucion por serie
y1 (x), si x = 0 no es singularidad esencial, y es de la forma
y1 (x) = x
a x ,
(15.27)
=0
con la mayor de las races de la ecuacion indicial. Por su parte, este teorema exige que, a
lo sumo, p(x) diverja como 1/x, y q(x) como 1/x2 , en x = 0, luego
p(x) =
q(x) =
X
i=1
pi xi ,
(15.28)
qi x i .
(15.29)
i=2
(15.30)
Esta
tiene dos races, que podemos escribir
k1 = ,
k2 = n ,
(15.31)
15.4. UNA SEGUNDA SOLUCION
153
(15.33)
y2 (x) = y1 (x)
R x P
2
x2
2
i=1
=0
pi xi1 dx1
a x2
2 dx2 .
(15.34)
Z
a
pi xi1
i=1
X
pk k+1
dx1 = p1 ln x2 +
x2 + f (a) ,
k
+
1
k=0
x2
exp
a
!
pi xi1 dx1
i=1
X
pk k+1
p
= ef (a) x2 1 exp
x2
k
+
1
k=0
!
.
!2 1
X
X
2
x2
= x2
b x2 ,
a x2
2
=0
=0
para ciertos coeficientes b . As, despreciando factores constantes que pueden ser absorbidos
en W (a), y2 (x) queda de la forma
!
Z x
X
p 2
y2 (x) = y1 (x)
x2 1
c x2 dx2 ,
=0
xn1
2
!
c x2
dx2 ,
=0
de modo que
Z
y2 (x) = y1 (x)
x
n+1
(c0 xn1
+ c1 xn
+ + cn x1
2
2 + c2 x2
2 + ) dx2 .
(15.35)
Se aprecia entonces que la segunda solucion es de la forma y1 (x)s(x), con s(x) una funcion
que tiene dos partes:
Una serie de potencias, partiendo con xn .
154
X
y2 (x) = y1 (x) ln(x) + xk2
d x .
(15.36)
=0
Captulo 16
Ecuaciones diferenciales del tipo
f 00 + p(z)f 0 + q(z)f = 0
versi
on final 3.4-13 enero 2003
En este Captulo volveremos sobre algunos temas del anterior sobre ecuaciones diferenciales con singularidades (Cap. 15), ahora desde un punto de vista mas formal.
16.1.
(16.1)
Sea D una region en el plano complejo. Sean p(z) y q(z) holomorfas en D. Sea z0 D.
En este caso se puede eliminar el termino en f 0 en (16.1). Para ello consideramos
21
f (z) = g(z)e
Rz
z0
p(z 0 ) dz 0
g(z)E .
(16.2)
Puesto que
1
E 0 = pE ,
2 0
p
p2
00
E = +
E,
2
4
(16.1) se puede reescribir:
p2 g p0 g
f + pf + qf = E g + qg
4
2
00
00
=0,
es decir
g 00 (z) + A(z)g(z) = 0 ,
con
A(z) = q(z)
p(z)2 p0 (z)
.
4
2
155
(16.3)
(16.4)
156
a z ,
(16.5)
=0
ck z k .
(16.6)
k=0
al ck z l+k =
a c z .
=0 =0
lk
"
c+2 ( + 1)( + 2) +
#
a c z = 0 ,
=0
=0
c+2
X
1
a c .
=
( + 1)( + 2) =0
(16.7)
(16.8)
N (k) = max{| c0 | , | c1 | , . . . , | ck | k } ,
(16.9)
Sea
es decir,
| c |
N (k)
,
= 0, 1, . . . , k .
ck+1
X
1
=
c ak1 ,
k(k + 1) =0
157
luego
k1
X N (k) M
1
N (k)
1
=
Mk
| ck+1 | <
k1
k(k + 1) =0
k(k + 1) k1
<
1 N (k)2 M
k+1 (k + 1)
Luego
M 2
N (k) < N (k)
(k + 1)
Por tanto, desde cierto k0 en adelante,
| ck+1 | k+1 <
k suficientemente grande.
N (k) = N (k + 1) = N (k + 2) = = N ,
o sea
| c k | k N ,
k k0 .
Con ello,
k
k
X
X
X
X
|z|
|z|
k
k
k
| ck | | z | =
| ck |
ck z
N
.
k=k0
k=k0
k=k0
La u
ltima suma converge si | z | < < r, luego
sugiere el siguiente teorema.
k=k0
k=0 ck z
(16.10)
158
(16.11)
luego
W (z) = Ce
Rz
z0
p(z 0 ) dz 0
(16.12)
+ V (x) + E = 0 .
2m x2
Proposici
on 16.1 Sean p(z) y q(z) holomorfas en D y univalentes. Entonces
a) W (z) = 0 z D 1 (z), 2 (z) son l.d. en D.
b) 1 (z), 2 (z) son l.i. en D W (z) 6= 0 z D.
Ejemplo Consideremos la ecuacion
2
2
f 00 f 0 + 2 f = 0 ,
z
z
en un dominio D que no incluye el cero. En D,
p(z) =
2
,
z
q(z) =
2
,
z2
2 (z) = z 2 .
El Wronskiano:
W = 2z 2 z 2 = z 2 6= 0 z D .
i00 (z)
0 (z)
p(z) i
,
i (z)
i (z)
i = 1, 2 .
(16.14)
16.2.
159
Consideremos ahora la ecuacion (16.1), pero sea ahora z0 un punto fuera del dominio D.
Sean 1 , 2 base del espacio vectorial de soluciones de (16.1). 1 y 2 son analticas en D,
donde p y q lo son. Supongamos que p o q no son holomorfas en z0 . Que ocurre con nuestras
soluciones si las prolongamos analticamente en torno al punto z0 y volvemos a D?:
1, 2
D
z0
1, 2
Al recorrer un circuito en torno a un punto singular aparecera un problema de multivalencia, de modo que en general 1 y 2 no recuperaran sus valores originales al completar el
circuito:
(1 , 2 ) (1 , 2 ) .
La transformacion es un endomorfismo de V en V . Despues del viaje, las funciones base
quedan convertidas en ciertas combinaciones lineales de las funciones originales:
1 = a11 1 + a12 2 ,
2 = a21 1 + a22 2 ,
o bien
1
2
=
a11 a12
a21 a22
1
.
2
(16.15)
= ,
= cte.
(16.16)
160
Con (16.15):
(16.17)
es decir, nuestro problema corresponde a encontrar los autovalores de la matriz de circunvalacion. (Algo esperable, por cierto.)
Sean ahora 1 y 2 las soluciones de esta ecuacion. Existen dos posibilidades:
a) Sea 1 6= 2 . En este caso podemos escoger la base tal que
1 = 1 1 ,
2 = 2 2 .
La matriz de circunvalacion en la base canonica es diagonal:
1
2
=
1 0
0 2
1
.
2
(16.18)
1
ln k .
2i
Entonces
x
(z z0 )k [(z z0 )k ] = ek ln(zz0 )
= ek [ln(zz0 )+2i] = (z z0 )k e2ik = k (z z0 )k .
En resumen:
k = k k ,
[(z z0 )k ] = k (z z0 )k .
O sea el cuociente
k
(z z0 )k
=
k
,
(z z0 )k
(16.19)
161
es decir, queda univalente al dar la vuelta en torno al punto singular z0 , luego este cuociente
admite un desarrollo de Laurent:
X
k (z)
=
ck (z z0 ) .
(z z0 )k
=
En resumen: Si 1 6= 2 , existe una base cuyo desarrollo en la vecindad del punto singular
z0 es:
1
1 (z) = (z z0 )
2 (z) = (z z0 )2
X
=
c1 (z z0 ) ,
(16.20)
c2 (z z0 ) .
(16.21)
1 1 = 1 1 ,
x
2 2 = a21 1 + a22 2 .
Matricialmente:
1
2
=
1 0
a21 a22
1
.
2
2
1
a21 1 + 1 2
2 a21
=
+
.
1 1
1
1
(16.22)
Afirmamos que
2 a21 1
ln(z z0 )
1
1 2i
es univalente en torno a z0 . En efecto, usando (16.22):
=
2
1
a21
2 a21 1
[ln(z z0 ) + 2i] =
ln(z z0 ) = .
1 2i
1
1 2i
X
=
d (z z0 ) ,
(16.23)
162
o bien
2 = 1
d (z z0 ) +
a21
1 ln(z z0 ) .
2i1
2 = (z z0 )
c2 (z z0 ) +
a21
1 (z) ln(z z0 ) .
2i1
Si a21 6= 0 podemos dividir 2 por a21 , es decir, podemos tomar, sin perdida de generalidad,
a21 = 1.
En resumen: Si 1 = 2 existe una base canonica cuyo desarrollo en la vecindad del
punto singular z0 es:
1
1 (z) = (z z0 )
2 (z) = (z z0 )1
X
=
c1 (z z0 ) ,
c2 (z z0 ) +
(16.24)
1
1 (z) ln(z z0 ) .
2i1
(16.25)
1 (z) = (z z0 )
2 (z) = (z z0 )2
X
=
c1 (z z0 ) ,
(16.26)
c2 (z z0 ) .
(16.27)
b) Si 1 = 2 (caso incomodo):
1 (z) = (z z0 )1
2 (z) = (z z0 )1
X
=
c1 (z z0 ) ,
c2 (z z0 ) +
(16.28)
1
1 (z) ln(z z0 ) .
2i1
(16.29)
En estas expresiones,
k =
ln k
.
2i
(16.30)
163
Definici
on 16.4 z0 es un punto de holomorfa de la ecuacion (16.1) si en z0 todas las soluciones de esta ecuacion son holomorfas.
Teorema 16.4 z0 es punto de holomorfa si y solo si p(z) y q(z) son holomorfas en z0 .
Demostraci
on
i) Si p(z) y q(z) son holomorfas en z0 , entonces z0 es punto de holomorfa.
Ya demostrado.
ii) Si z0 es punto de holomorfa, entonces p(z) y q(z) son holomorfas en z0 .
De (16.11) se tiene de inmediato que
p(z) =
W0
W
2 (z) = z 2
c1 z
c1,n 6= 0 ,
c2 z + ln(z)1 (z)
c2,m 6= 0 ,
=n
X
=m
164
donde
caso comodo
2i1
caso incomodo
2 (z) = z 2
X
=0
c1 z
c10 6= 0 ,
c2 z + ln(z)1 (z)
c20 6= 0 .
=0
1 20
2 10
=
2
1
0
12 .
Pero
X
2
= ln z + z 2 1
a z ,
1
=0
0
X
2
= +
( 2 1 + )a z +2 1 1 ,
1
z =0
luego
W =
+
( 2 1 + )a z +2 1 1
z =0
!
z 1
!2
c1 z
=0
b z ,
b0 6= 0 .
=0
De aqu,
0
W =
( + )b z
=0
1+
1 X
= z
( + )b z .
z =0
W0
1 b0 + ( + 1)b1 z +
=
.
W
z
b0 + b1 z +
165
+
1
c10 + c11 z +
z
1
=0 c1 z
tiene a lo sumo un polo simple en z = 0.
Analogamente, 100 /10 tiene a lo sumo un polo simple en z = 0. Luego q(z) tiene a lo
sumo un polo doble en z = 0.
ii) Demostracion de suficiencia.
Supongamos que p(z) y q(z) tienen a lo sumo un polo simple y doble, respectivamente,
en z = 0. Reescribamos (16.1):
f 00 +
P (z) 0 Q(z)
f + 2 f =0,
z
z
(16.31)
p z ,
(16.32)
q z .
(16.33)
=0
Q(z) =
X
=0
c z =
=0
c z + ,
c0 6= 0 .
(16.34)
=0
Entonces
z X
f =
c ( + )z ,
z =0
0
z X
f = 2
c ( + )( + 1)z .
z =0
00
X
=0
c ( + )( + 1)z +
X
=0
!
p z
!
c ( + )z
=0
X
=0
!
q z
X
=0
!
c z
= 0 . (16.35)
166
(16.36)
(16.37)
En este caso,
1 + n 6= 2
n Z ,
y por tanto
(i + n) 6= 0
n Z ,
i = 1, 2 .
167
II)
1 2 Z .
(16.38)
n N .
16.3.
Singularidades en infinito
1
z
(16.39)
(16.40)
Se tiene
ds
1
= 2 = s2 ,
dz
z
df
df ds
df
=
= s2
,
dz
ds dz
ds
2
d2 f
df
4d f
=
s
+ 2s3
,
2
2
dz
ds
ds
de modo que f satisface:
d2 f
2s p(1/s) df
q(1/s)
+
+
f =0.
ds2
s2
ds
s4
Este resultado nos conduce a la siguiente definicion:
(16.41)
168
Definici
on 16.7 Infinito es punto de holomorfa de (16.1) si cero lo es de (16.41).
Proposici
on 16.2 Infinito es punto de holomorfa de (16.1) si:
a) 2s p(1/s) tiene en cero un lugar nulo de multiplicidad doble o mayor (es decir,
2s p(1/s) sn , con n 2, cuando s 0).
b) q(1/s) tiene en cero un lugar nulo de multiplicidad cuadruple o mayor.
Demostraci
on Es inmediata del teorema 16.4 y de la forma de (16.41).
Analogamente definimos la singularidad Fuchsiana en infinito:
Definici
on 16.8 Infinito es singularidad Fuchsiana de (16.1) si cero lo es de (16.41).
Proposici
on 16.3 Infinito es singularidad Fuchsiana de (16.1) si no es punto de holomorfa
y al menos
a) q(1/s) tiene un lugar nulo doble en s = 0.
b) p(1/s) tiene un lugar nulo simple en s = 0.
Demostraci
on Inmediata del teorema de Fuchs 16.5 y de la forma de (16.41).
16.4.
Ejemplos
(16.42)
1 z 0 nz
f + 2f =0 .
(16.43)
z
z
Claramente z = 0 es singularidad Fuchsiana. En cuanto a z = , observemos que p(1/s) es
holomorfo en s = 0:
1
1 (1/s)
p
=
=s1 ,
s
(1/s)
f 00 +
Q(z) = nz ,
luego
p0 = 1 ,
q0 = 0 .
16.4. EJEMPLOS
169
X
1
d z .
(16.44)
1 (z) = z
=0
Corresponde a los polinomios de Laguerre Ln . Falta encontrar la segunda solucion, linealmente independiente con Ln :
2 (x) =
f z + 1 (z) ln(z) .
(16.45)
=0
f z ,
n=0.
(16.46)
=0
Reemplazando en (16.42):
0=z
X
1
f ( 1)z 2
2+
z
=2
0 = 1 +
f ( 1)z 1 +
=2
1 X
+
f z 1
z =1
+ (1 z)
f z 1
=1
f z
=1
(n 1)!
1
=
.
2
(n!)
n n!
As, las dos soluciones linealmente independientes de la ecuacion de Laguerre para n = 0 son:
fn =
1 (z) = L0 (z) = 1 ,
X
z
2 (z) = ln(z) +
.
!
n=1
170
2) La ecuacion
1
z f +z z
2
2 00
1
f0 + f = 0
2
1
,
2
2 = 1 y 1 6= 2 .
X
X
f= z
a z =
a z +1/2 .
=0
=0
Tomando a0 = 1:
a1 = 1 ,
a2 =
Luego
f (z) =
1
1
= ,
23
3!
1
a = (1) .
!
1
,
2
a3 =
(1) z
z
= ez z .
!
=0
a z +1 .
=0
a+1
,
+ 1/2
1.
Tomando a0 = 1, resulta
a = (1)
2
,
(2 + 1)!!
X
(2z)
f (z) = z
.
(2
+
1)!!
=0
... ,
16.5.
171
Nuestro objetivo ahora sera encontrar el tipo de ecuacion (16.1) mas general tal que sea
holomorfa en todo el plano completo (es decir, incluyendo infinito), salvo en 0, 1, 2 o 3
singularidades Fuchsianas, una de las cuales podra estar en infinito. Esto es, p(z), q(z),
p(1/s) y q(1/s) deben ser meromorfas.
Proposici
on 16.4 Para que la ecuacion (16.1) tenga solo singularidades Fuchsianas es necesario y suficiente que se cumplan las siguientes condiciones:
n
X
Ak
,
z
k
k=1
n
X
Bk
Ck
q(z) =
+
,
(z k )2 (z k )
k=1
p(z) =
n
X
(16.47a)
(16.47b)
Ck = 0 .
(16.47c)
k=1
Demostraci
on Para que 1 , 2 , . . . , n sean singularidades Fuchsianas, se debe tener que
p(z) a lo sumo tenga un polo de primer orden y q(z) a lo sumo uno de segundo orden:
P (z)
,
(z 1 ) (z n )
Q(z)
q(z) =
,
(z 1 )2 (z n )2
p(z) =
(16.48a)
(16.48b)
si s 0 ,
de modo que la mayor potencia de 1/s en P (1/s) debe ser 1/sn1 . Es decir, P (z) debe ser un
polinomio al menos un grado inferior al grado del denominador de p(z). Un analisis similar
conduce a que el grado de Q(z) es al menos dos grados inferior al grado del denominador de
q(z).
172
Ak
,
z k
k=1
n
X
Ck
Bk
q(z) =
+
,
2
(z
(z
k)
k)
k=1
p(z) =
n
X
Ck = 0 .
k=1
La u
ltima condicion viene de exigir que el grado de Q(z) sea al menos dos grados inferior al del
denominador de q(z). En efecto,Qal sumar las fracciones parciales, los terminos que contienen
Ck son de la forma Ck (z k ) nj6=k (z j )2 , que tiene grado 1 + 2 (n 1) = 2n 1, que
es solo un grado inferior alPgrado del denominador. La mayor potencia de z aparece en un
termino de
forma z 2n1 nk=1 Ck . Por otro lado, los terminos que contienen Bk son de la
Qla
forma Bk nj6=k (z j )2 , de grado
Pn 2 (n 1) = 2n 2 a lo sumo. Por tanto, el numerador es
de grado 2n 2 o inferior si k=1 Ck = 0.
q.e.d.
Ahora revisemos cada uno de los casos que nos interesan.
16.5.1.
n = 0 singularidades Fuchsianas
16.5.2.
173
n = 1 singularidades Fuchsianas, en z =
(16.49)
f (z) = c1 + c2 z .
(16.50)
y su solucion es
16.5.3.
n = 1 singularidades Fuchsianas, en z = 0
A
,
z
q(z) =
B
,
z2
y la ecuacion es de la forma:
A 0 B
f + 2f = 0 .
z
z
Pero z = es punto de holomorfa, de modo que (Proposicion 16.2)
f 00 +
a)
1
= 2s As
2s p
s
debe tener al menos un lugar nulo doble en s = 0, vale decir,
A=2.
b)
1
q
= Bs2
s
debe tener al menos un lugar nulo cuadruple en s = 0, luego
B=0.
La ecuacion con una singularidad Fuchsiana en z = 0 es entonces
2
f 00 + f 0 = 0 .
z
Sus soluciones:
f1 = c1 ,
c2
f2 =
.
z
(16.51)
(16.52)
174
16.5.4.
n = 2 singularidades Fuchsianas, en z = 0 y z =
A 0 B
f + 2f = 0
z
z
(16.53)
16.5.5.
(16.55)
La ecuacion y sus soluciones se obtienen del caso anterior por medio de la transformacion:
z
za
.
zb
(16.56)
175
2z + A
B
f0 +
f =0.
(z a)(z b)
(z a)2 (z b)2
(16.57)
za
zb
1
+ c2
za
zb
2
.
(16.58)
2) Caso incomodo:
f = c1
za
zb
1
za
1 + c2 ln
.
zb
(16.59)
176
Captulo 17
Funciones hipergeom
etricas
versi
on final 3.3-13 enero 2003
17.1.
La ecuaci
on hipergeom
etrica general
(17.1)
z2 = B ,
z3 = C ,
k
l
h
+
+
.
zA zB zC
,
s
1 As 1 Bs 1 Cs
(17.2)
(17.3)
CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
178
y para que infinito sea punto de holomorfa q(1/s) debe tener a lo menos un lugar nulo
cuadruple en s = 0. Luego a lo sumo Q(z) debe ser un polinomio de grado 2. En efecto, si es
as,
a + bz + cz 2
a + b/s + c/s2
=
,
(z A)2 (z B)2 (z C)2
(1/s A)2 (1/s B)2 (1/s C)2
1/s2
as2 + bs + c
as2 + bs + c
4
=
=
s
.
(1 As)2 (1 Bs)2 (1 Cs)2 1/s6
(1 As)2 (1 Bs)2 (1 Cs)2
q(z) =
(17.5)
Esto claramente no impone nuevas restricciones sobre q(z), la cual podemos escribir de forma
general como:
Q(z)
1
q(z) =
(z A)(z B)(z C) (z A)(z B)(z C)
(17.6)
K
L
1
H
=
+
+
.
zA zB zC
(z A)(z B)(z C)
Reemplazando la forma general de p(z) y q(z) dadas en (17.2) y (17.6) en (17.1) obtenemos
la ecuaci
on hipergeometrica general:
h
k
l
00
+
+
0
+
zA zB zC
(17.7)
H
K
L
1
+
+
+
=0,
zA zB zC
(z A)(z B)(z C)
con h + k + l = 2, i.e. 5 constantes libres.
17.2.
Ecuaci
on indicial
H
=0.
(A B)(A C)
(17.8)
0 =
H
.
(A B)(A C)
0 =
K
,
(B A)(B C)
+ 0 = 1 l ,
0 =
L
.
(C A)(C B)
DIFERENCIAL DE GAUSS
17.3. ECUACION
179
Tenemos + 0 + + 0 + + 0 = 3 k l h = 3 (k + l + h) = 3 2 = 1.
De lo anterior podemos eliminar de la ecuacion hipergeometrica los coeficientes h, k, l,
H, K, L y escribirla en funcion de , 0 , , 0 , y 0
(C A)(A B)(B C)
1 0 1 0 1 0
0
00
+
+
+
zA
zB
zC
(z A)(z B)(z C)
(17.9)
0
0
0
+
+
=0,
(z A)(B C) (z B)(C A) (z C)(A B)
con singularidades fuchsianas en z1 = A, z2 = B y z3 = C y 5 constantes independientes, ya
que tenemos la restriccion de que
+ 0 + + 0 + + 0 = 1 .
La solucion mas general de esta ecuacion es la
tamos por
(z) = P
0
17.3.
llamada funci
on P de Riemann la cual deno
B C
z
.
(17.10)
0 0
Ecuaci
on diferencial de Gauss
0 1
z
(z) = P
.
(17.12)
0
0 0
Haciendo un cambio de notacion
1=c ,
=a,
0 = b .
Podemos despejar a partir de la condicion que satisfacen las races de la ecuacion indicial,
= 1 0 = c a b ,
luego, la ecuacion diferencial de Gauss (17.11) queda de la forma
00 +
(1 + a + b)(z c) 0
ab
+
=0.
z(z 1)
z(z 1)
(17.13)
CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
180
1c cab a z
(z) = P
.
0
0
b
(17.14)
d z ,
con d0 = 1.
(17.15)
=0
(17.16)
Reemplazando la serie (17.15) en (17.16) e igualando potencias del mismo orden, obtenemos
una relacion de recurrencia para los coeficientes d ,
d+1 =
( + a)( + b)
d ,
( + c)( + 1)
para = 0, 1, 2, . . . .
(17.17)
(a, b, c ; z) = 1 +
a(a + 1)b(b + 1) 2
ab
z+
z + .
c
c(c + 1)2!
(17.18)
(1, b, b ; z) =
z .
=0
(17.19)
17.4. LA SERIE HIPERGEOMETRICA
181
Sustituyendo
c2c ,
aac+1 ,
bbc+1 ,
se obtiene la ecuacion hipergeometrica de Gauss, por lo tanto la solucion para (z) en (17.19)
es:
(z) = 2 F1 (a c + 1, b c + 1, 2 c ; z) , con c 6= 2 ,
luego la otra solucion de (17.13) es
(z) = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) .
(17.20)
(17.19)
bajo la condicion de que c 6 Z tiene como base de soluciones con centro en cero:
1 = 2 F1 (a, b, c ; z) ,
2 = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) .
(17.21a)
(17.21b)
c z .
=0
17.4.
La serie hipergeom
etrica
X z
ab
a(a + 1)b(b + 1) 2
z+
z + =
f
,
2 F1 (a, b, c ; z) = 1 +
c
c(c + 1)2!
!
=0
tenemos para el coeficiente n + 1
a(a + 1)(a + 2) (a + n)b(b + 1)(b + 2) (b + n)
,
c(c + 1)(c + 2) (c + n)
(a + n + 1)(b + n + 1) (c)
(c b)
=
.
(c + n + 1)
(a)(b) (c b)
fn+1 =
fn+1
X (c b)(b + )
(c)
z
(a + ) ,
2 F1 (a, b, c ; z) =
(a)(b)(c b) =0
(c + )
!
(17.18)
CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
182
pero
(c b)(b + )
= B(c b, b + ) ,
(c + )
con
Z
(m)(n)
, para m > 0 y n > 0 .
(m + n)
0
Reescribimos la serie, usando la expresion integral de la funcion beta,
Z 1
X
(a + ) t z
(c)
b1
cb1
t (1 t)
dt ,
2 F1 (a, b, c ; z) =
(b)(c b) 0
(a)
!
=0
B(m, n) =
tm1 (1 t)n1 dt =
(1 tz)
X
(a + )
=0
(a)!
t z .
(17.22)
con Re[c] > Re[b] > 0, | z | < 1 y donde t es una variable compleja.
Proposiciones
z
1
a) 2 F1 (a, b, c ; z) =
.
2 F1 a, c b, c ;
(1 z)a
z1
z
1
.
b) 2 F1 (a, b, c ; z) =
2 F1 c a, b, c ;
(1 z)b
z1
c) 2 F1 (a, b, c ; 1) =
(c)(c a b)
.
(c a)(c b)
HIPERGEOMETRICA
17.5. ECUACION
CONFLUENTE
183
Z 1
z
1
(c)
=
tb1 (1 t)cb1 (1 tz)a dt ,
2 F1 a, c b, c ;
a
(1 z)
z1
(b)(c b) 0
= 2 F1 (a, b, c ; z) .
b) Directo usando a) y la relacion de simetra
2 F1
(a, b, c ; z) = 2 F1 (b, a, c ; z) .
c) y d) Tarea.
Consideremos la expansion en serie de la funcion ln(1 + z) con centro en z = 0:
z2 z3 z4
ln(1 + z) = z
+
+ ,
para | z | < 1 ,
3
4
2
11
1212
123123
2
3
ln(1 + z) = z 1 +
(z) +
(z) +
(z) + ,
2 1!
2 3 2!
2 3 4 3!
z
z
ln(1 + z) = z 2 F1 (1, 1, 2 ; z) =
.
2 F1 1, 1, 2 ;
1+z
1+z
La u
ltima igualdad corresponde a la propiedad a) probada anteriormente. Tenemos que para
| z | < 1 sirve la primera expresion z 2 F1 (1, 1, 2 ; z) y no la segunda, para | z | > 1 la primera
expresion no nos sirve y s la segunda. Probemos, en forma explcita, la u
ltima relacion,
!
2
z
z
z
1 z
1
z
=
1+
+
+ ,
2 F1 1, 1, 2 ;
1+z
1+z
1+z
21+z 3 1+z
2
3
z
1
z
1
z
+
+
+ ,
=
1+z 2 1+z
3 1+z
z
1
= ln
= ln(1 + z) .
= ln 1
1+z
1+z
17.5.
Ecuaci
on hipergeom
etrica confluente
+
(a
+
b
+
1)
+
ab
=0.
(17.23)
b b
dz 2
b
b
dz
b
b
u
Definimos (u) =
y evaluamos las derivadas
b
d
d u 1
1 d u
d2
1 d2 u
=
=
,
=
.
du
dz
b b
b dz
b
du2
b2 dz 2
b
CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
184
a
=0,
+uc
b b2 dz 2
b
b
b dz
b
b
a + 1
u d2
d
=0.
u 1
+uc
a
2
b du
b
du
a . Ademas,
Simplificando la notacion, cambiamos la variable de u a z y la funcion de
haciendo tender b obtenemos:
z 00 (z) + (c z) 0 (z) a(z) = 0 .
(17.24)
Proposiciones
a) ez = 1 F1 (a, a ; z).
erf(z)
2
1 3
,
2 2
; z 2 .
R1
1
c) 1 F1 (a, c ; z) = B(a,ca)
(1 t)ca1 ta1 ezt dt.
0
b)
= z 1 F1
d) 1 F1 (a, c ; z) = ez 1 F1 (c a, c ; z).
Demostraciones
a) Directa a partir de la definicion dada en (17.26).
b)
t2 t4
e dt =
1 + dt ,
1! 2!
0
0
3
5
z
z
z7
=z
+
+ ,
3
1!
5
2!
7
3!
1/2 z 2
1/2 3/2 z 4
=z 1
+
+ ,
3/2 1!
3/2 5/2 2!
1 3
2
= z 1 F1
, ; z
.
2 2
erf(z) =
2
t2
HIPERGEOMETRICA
17.5. ECUACION
CONFLUENTE
c) y d) Tarea.
185
186
Captulo 18
Polinomios de Legendre
versi
on final 3.6-13 enero 2003
18.1.
Funci
on generatriz
En diversos problemas fsicos (gravitacion, electrostatica, etc.) nos encontramos con fuerzas que dependen del inverso de la distancia entre dos cuerpos. Los polinomios de Legendre
aparecen naturalmente en el problema geometrico de determinar esta distancia inversa, lo
cual los vincula con numerosas situaciones de interes fsico.
Consideremos dos radios r0 y r que unen un punto O con dos puntos, A y B, respectivamente:
A
r0
1 x 1 .
188
(x, s) =
X
1
=
Pn (x)sn
2
1 + s 2xs n=0
(18.1)
(18.2a)
(18.2b)
(18.2c)
(18.2d)
(1, s) =
X
1
1
= 1 + s + s2 + s3 + =
Pn (1)sn .
=
2
1
s
1 + s 2s
n=0
Luego
Pn (1) = 1 n N0 .
(18.3)
Analogamente, tomando x = 1:
(1, s) =
X
1
1
=
= 1 s + s2 s3 + =
Pn (1)sn .
2
1
+
s
1 + s + 2s
n=0
Luego
Pn (1) = (1)n
n N0 .
(18.4)
X
X
1 2 3 4
1
(2 1)!! 2
= 1 s + s + = 1 +
(1)
s =
Pn (0)sn ,
2
2
8
(2)!!
1+s
=1
n=0
189
luego
Pn (0) = 0 si n es impar,
(2 1)!!
si 1,
P2 (0) = (1)
(2)!!
P0 (0) = 1 .
18.2.
Relaciones de recurrencia
1
xs
= (1 + s2 2xs)3/2 (2s 2x) =
=
nPn (x)sn1 ,
s
2
1 + s2 2xs
n=0
es decir
(x s) = 0 .
s
Introduciendo la expansion (18.1) e igualando coeficientes de sn , se obtiene la relacion de
recurrencia
(1 + s2 2xs)
n1,
P1 xP0 = 0 .
(18.5a)
(18.5b)
n
X
an,m xm .
(18.6)
m=0
2m 1
am1,m1 ,
m
m1.
(18.7)
Esta
es una relacion de recurrencia entre los coeficientes supremos de los polinomios de
Legendre. Puesto que a00 = 1 [relaciones (18.2)], se sigue que
a11 = 1 ,
a22 =
13
,
12
a33 =
135
...
123
y en general
ann =
(2n 1)!!
(2n)!
= n
.
n!
2 (n!)2
(18.8)
190
(18.9)
(18.10)
18.3.
(18.11)
1/2
(1/2)!
=
=
.
1
1
k
k!( 2 k)!
k!( 2 k)!
Por su parte,
2
(s 2sx) =
k
X
k
=0
s2 (2sx)k ,
de modo que
(x, s) =
X
k
X
1/2 k
k=0 =0
(2x)k sk+ .
Sea n = k + . Entonces
X
2k
X
1/2
k
(x, s) =
(2x)2kn sn .
k
nk
k=0 n=k
Deseamos intercambiar el orden de las sumas. Para ello observemos la siguiente figura:
n
k=n
8
7
6
5
4
3
2
1
0
0 1 2 3 4 5 6 7 8
18.4. FORMULA
DE RODRIGUES
191
Efectuar la doble suma equivale a sumar sobre los pares ordenados (k, n) indicados con
puntos en la figura. El orden en que se realizan las sumas corresponde a desplazarnos sobre
el eje horizontal, escoger un valor de k, y luego desplazarnos sobre el eje vertical, recorriendo
los valores de n entre n = k y n = 2k. Equivalentemente, podemos desplazarnos primero
sobre el eje vertical, escoger un valor de n, y luego recorrer los puntos horizontalmente entre
los lmites k = [(n + 1)/2] y k = n. As, la doble suma se puede escribir:
n
X
X
1/2
k
(x, s) =
(2x)2kn sn ,
k
n
k
n=0 k=[ n+1 ]
2
donde
n+1
n
si n es par,
2
2
n+1
n+1
si n es impar.
2
2
Comparando con (18.1), identificamos
n
X
1/2
k
Pn (x) =
(2x)2kn .
k
nk
k=[ n+1
2 ]
Definiendo = n k, el lmite inferior de la suma corresponde a = n [(n + 1)/2] = [n/2],
de modo que
0
X
1/2
n
Pn (x) =
=
(2)n2 xn2 ,
n
=[ n
2]
o bien
Pn (x) =
[ n2 ]
X
=0
18.4.
F
ormula de Rodrigues
Puesto que
dn 2(n) (2n 2)! n2
x
=
x
,
dxn
(n 2)!
(18.12)
192
(18.12) se puede reescribir en la forma:
[ n2 ]
1 X
1
dn 2(n)
Pn (x) = n
(1)
x
2 =0
!(n )! dxn
[ n2 ]
n!
1 dn X
x2(n)
= n
(1)
n
!(n !)
2 n! dx =0
=
1 dn 2
(x 1)n ,
2n n! dxn
1 dn 2
(x 1)n
2n n! dxn
(18.13)
18.5.
Ecuaci
on diferencial de Legendre
Nos interesa ahora determinar la ecuacion diferencial de la cual los polinomios de Legendre
son solucion. Sea
u(x) = (x2 1)n .
Entonces
dn+1
dxn+1
(x 1)u
(n+2)
n+1
n+1
(n+1)
(x) +
2xu
(x) +
2u(n) (x) =
1
2
2nxu
(n+1)
n+1
(x) +
2nu(n) (x) ,
1
(18.14)
18.6.
193
Proposici
on 18.1 Pn (x) tiene lugares nulos simples en el intervalo (1, 1).
Demostraci
on Sea u(x) = (x2 1)n . Entonces u(x) tiene lugares nulos de multiplicidad n
en x = 1. Como u(1) = u(1) = 0, por el teorema del valor medio u0 (x0 ) = 0 para alg
un
x0 (1, 1). Pero u0 (1) = u0 (1) = 0, luego tambien es cierto que u00 (x) se anula dos veces
en (1, 1), una vez en (1, x0 ) y otra vez en (x0 , 1). Procediendo sucesivamente, se encuentra
que u(n) (x) se anula n veces en (1, 1).
Estos ceros son necesariamente simples, dada la condicion de polinomios ortogonales de
los polinomios de Legendre (seccion 18.7 y teorema 11.2).
q.e.d.
18.7.
Relaci
on de ortogonalidad
2 n!
t Pn (t) dt =
1
tm u(n) (t) dt ,
1
m
2 n!
m (n1)
t Pn (t) dt = t u
1
1
Z
(t) m
El termino de borde es cero pues u(m) (1) = 0 si m < n. Analogamente, integrando por
partes m veces:
2n n!
tm Pn (t) dt = (1)m m!
1
u(nm) (t) dt = (1)m m! u(nm1) (t) = 0 .
1
Luego Pn (x) es ortogonal a todo polinomio de grado m < n en el intervalo [1, 1], en
particular a Pm (x).
En el caso m = n, el producto interno entre los polinomios de Legendre es:
n
Pn2 (t) dt
(2 n!)
=
1
(2 n!)
Pn2 (t) dt
=u
1
Z
(n) (n1)
(n+1)
(t)u
(n1)
(t) dt =
1
194
Pn2 (t) dt
(2 n!)
u(2n) (t)u(t) dt
= (1)
1
1
= (1)n
d2n 2
(t 1)n (t2 1)n dt .
2n
dt
d2n 2
[(t 1)n ] = (2n)!,
dt2n
Z 1
Z 1
n
2
2
n
(2 n!)
Pn (t) dt = (1) (2n)!
(1)n (1 t2 )n dt
1
1
Z 1
= (2n)!
(1 t)n (1 + t)n dt .
Usando que
#
Z 1
n+1 1
(1
+
t)
n
+
(1 t)n1 (1 + t)n+1 dt
Pn2 (t) dt = (2n)! (1 t)n
n
+
1
n
+
1
1
1
1
Z 1
n
(1 t)n1 (1 + t)n+1 dt
= (2n)!
n + 1 1
"
Pn2 (t) dt
(2 n!)
n(n 1)(n 2) 2 1
= (2n)!
(n + 1)(n + 2) 2n
1 (1 + t)2n dt
1
1
2n+1
n!
1
= (2n)! n!
(1 + t)
(2n)! 2n + 1
(n!)2 22n+1
=
.
2n + 1
Pn (t)Pm (t) dt =
1
18.8.
2
nm
2n + 1
(18.15)
Sabemos, por el Teorema de Cauchy, que una funcion analtica se puede escribir en terminos de una integral de contorno:
I
n!
f (u)
(n)
f (z) =
du .
2i
(u z)n+1
Sea
f (z) =
1
(z 2 1)n .
n!
2n
195
(u2 1)n
du
(u z)n+1
(18.16)
0 < 2 ,
de modo que
Z 2
1 1
1 2
i
2 i n
Pn (z) = n
(z
1)e
+
2z
+
e
i d
2 2i 0 n
Z 2
2
n
1 1 1
= n
(z 1)ei + 2z + 2 ei d .
n
2 2 0
Si z =
6 1 podemos tomar = z 2 1, con lo cual la relacion anterior queda:
Z 2
2 i
n
1 1 1
Pn (z) = n
(e + ei ) + 2z d
n
2 2 0
n
Z 2 2 i
1
(e + ei ) 2z
=
+
d
2 0
2
2
Z 2
1
=
[ cos + z]n d .
2 0
Se obtiene as la relacion de Laplace:
1
Pn (z) =
2
z+
in
z 2 1 cos d
(18.17)
196
Corolario | Pn (x) | 1 n N0 ,
x [1, 1] .
Demostraci
on Sea x [1, 1]. Adoptamos la convencion de que la raz cuadrada es un
n
umero positivo, y escribimos
x2 1 = i 1 x2 .
El integrando en (18.17) satisface:
2
2
x + i 1 x cos = x2 + (1 x)2 cos2 x2 + 1 x2 = 1 ,
luego
2 n/2
2
1.
x + i 1 x cos
As,
1
| Pn (x) |
2
Z 2
n
1
2
d = 1 .
x + i 1 x cos d
2 0
q.e.d.
1
Pn (cos ) =
18.9.
(18.18)
Serie de Legendre
Los polinomios de Legendre, siendo ortogonales en [1, 1], son candidatos a ser una base
en ese intervalo, de modo que una funcion arbitraria podra ser escrita como una combinacion
lineal de los PnP
. Estudiemos esta posibilidad.
Si la serie
a f (x), es
=0 a P (x) converge uniformemente en [1, 1] y representa all
decir,
X
f (x) =
a P (x) ,
=0
entonces
Z
f (x)Pn (x) dx =
1
X
=0
P (x)Pn (x) dx =
1
X
=0
a n
2
2an
=
.
2n + 1
2n + 1
Entonces los coeficientes de Fourier de f (x) respecto a los polinomios de Legendre estan
dados por:
Z 1
1
an = n +
f (x)Pn (x) dx .
(18.19)
2
1
197
A la inversa: Sea f (x) una funcion dada, acotada y seccionalmente continua en [1, 1].
Entonces se pueden calcular los coeficientes de Fourier a respecto a P y construir la serie
a P (x) .
=0
1
n+
2
"
f (x)
1
1
Z
0
0
Pn (x ) dx
1
f 0 (x)
Pn (x0 ) dx0 dx
As,
1
| an |
2
| f 0 (x) | dx 2M 0 ,
donde
M 0 = max | f 0 (x) | .
x[1,1]
198
Ahora
nos preguntamos: Dada una funcion f , calculamos los coeficientes an y sabemos
P
que
on
n=0 an Pn (x) converge uniformemente. Representa esta serie de Legendre la funci
f (x)? Para responder, consideremos la diferencia entre la serie y la funcion f (x):
g(x) = f (x)
a P (x) .
=0
X
1
1
bn = n +
g(x)Pn (x) dx = n +
f (x)Pn (x) dx
a
P (x)Pn (x) dx
2
2
1
1
1
=0
= an
a n = 0 .
=0
Afirmamos que
g(x) 0 .
Demostraci
on Supongamos que g(x) 6= 0 en un intervalo [, ] [1, 1]. Sin perdida de
generalidad, supongamos ademas que g(x) > 0 en este intervalo. Sea q(x) un polinomio de
grado dos tal que q() = q() = 1 y q(x) < 1 en [1, ] [, 1]. Graficamente:
y=1
g
-1
Luego
Z
g q
1
k1
g qk > 0 .
Pero g(x) es ortogonal a todos los polinomios Pn (x), y por tanto a todo polinomio, luego
Z 1
g qk = 0 ,
1
X
=0
a P (x) .
18.10.
199
X
dn
n!
dns
ds
[A(x)B(x)]
=
A(x)
B(x) ,
ns
s
dxn
(n
s)!s!
dx
dx
s=0
(18.20)
(18.21)
dm
Pn (x) .
dxm
Reemplazando
(x) = (1 x2 )m/2 u(x) = (1 x2 )m/2
dm
Pn (x) ,
dxm
00
m2
=0.
1 x2
(18.22)
dm
Pn (x) .
dxm
(18.24)
Ocasionalmente los Pnm (x) aparecen en su definicion con un factor (1)m , por ejemplo en
Classical Electrodynamics, Second Edition de J.D. Jackson, esta eleccion es conocida como
fase de Magnus y Oberhettinger o de Condon y Shortley. Nosotros incluiremos esta fase en la
definicion de los armonicos esfericos, al estilo seguido en Mathematical Methods for Physicists,
200
Fourth Edition de G.B. Arfken y H.J. Weber. A pesar de que el factor de fase se introduce
en distintos puntos de las definiciones los armonicos esfericos resultantes son iguales.
Algunos ejemplos de funciones asociadas de Legendre
P11 (x) = (1 x2 )1/2 = sen ,
P21 (x) = 3x (1 x2 )1/2 = 3 cos sen ,
P22 (x) = 3 (1 x2 ) = 3 sen2 ,
3
3
P31 (x) = (5x2 1) (1 x2 )1/2 = (5 cos2 1) sen ,
2
2
2
2
P3 (x) = 15x (1 x ) = 15 cos sen2 ,
P33 (x) = 15 (1 x2 )3/2 = 15 sen3 ,
5
5
P41 (x) = (7x3 3x) (1 x2 )1/2 = (7 cos3 3 cos ) sen ,
2
2
15
15
2
2
2
P4 (x) =
(7x 1) (1 x ) = (7 cos2 1) sen2 ,
2
2
P43 (x) = 105x (1 x2 )3/2 = 105 cos sen3 ,
P44 (x) = 105 (1 x2 )2 = 105 sen4 .
(18.25)
(n m)! m
P (x) .
(n + m)! n
(18.26)
X
(2m)!(1 x2 )m/2
m
=
P+m
(x)t .
m
2
m+1/2
2 m!(1 2tx + t )
=0
(18.27)
2mx
P m + [n(n + 1) m(m 1)]Pnm1 = 0 ,
(18.28)
(1 x2 )1/2 n
m
m
(n + m)Pn1
+ (n m + 1)Pn+1
= (2n + 1)xPnm , (18.29)
1 m+1 1
P
(n + m)(n m + 1)Pnm1 = (1 x2 )1/2 Pnm 0 , (18.30)
2 n
2
m+1
m1
(2n + 1)(1 x2 )1/2 Pnm = Pn+1
Pn1
,
m1
= (n + m)(n + m 1)Pn1
m1
(n m + 1)(n m + 2)Pn+1
.
(18.31)
(18.32)
(18.33)
para m 6= 0.
(18.34)
201
Las funciones asociadas de Legendre satisfacen distintas relaciones de ortogonalidad dependiendo sobre cual ndice se tomen. La primera:
Z 1
2 (q + m)!
Ppm (x)Pqm (x) dx =
p q ,
(18.35)
2q + 1 (q m)!
1
en coordenadas polares
Z
Ppm (cos )Pqm (cos ) sen d =
0
2 (q + m)!
p q .
2q + 1 (q m)!
(18.36)
18.11.
(n + m)!
m k .
m(n m)!
(18.37)
y + n(n + 1)y = 0 .
(18.38)
dx
dx
1 x2
La condicion de borde
y(1) finito
(18.39)
asegura que las soluciones sean las funciones asociadas de Legendre [ver (18.34), (18.3) y
(18.4)]. Claramente, esto corresponde a un problema de autovalores de un operador diferencial
autoadjunto de la forma general (14.7), con A(x) = (1x2 ), B(x) = m2 /(1x2 ), y donde el
problema de autovalores esta caracterizado por una funcion de peso w(x) = 1, y autovalores
= n(n + 1) (ver tabla en Seccion 14.4).
La relevancia fsica de este problema se aprecia al considerar ecuaciones que contengan el
laplaciano:
2 (~r) + f (r)(~r) = 0 ,
(18.40)
202
La dependencia azimutal satisface
1 d2 ()
= m2 ,
() d2
(18.42)
() = eim , eim .
(18.43)
con soluciones
Las cuales satisfacen la condicion de ortogonalidad
Z 2
Z 2
m1 ()m2 () d =
eim1 eim2 d = 2m1 m2 .
0
(18.44)
En la mayora de los problemas fsicos requerimos que m sea un entero para que (), sea
una funcion monovaluada del angulo azimutal. Dada la relacion (18.44)
1
m () = eim ,
2
(18.45)
es un conjunto de funciones ortonormales con respecto a la integracion sobre el angulo azimutal . Separando la dependencia azimutal, la dependencia en el angulo polar conduce a
una ecuacion asociada de Legendre
1 d
d()
m2
sen
+
() = 0 .
(18.46)
sen d
d
sen2
Nos aseguramos de que las soluciones no diverjan en cos = 1 poniendo = n(n + 1),
pues en ese caso esta ecuacion tiene por solucion las funciones asociadas de Legendre () =
Pnm (cos ). Por tanto, cualquier problema laplaciano con simetra esferica corresponde a un
problema de autovalores de un operador autoadjunto (problema de Sturm-Liouville). Las
soluciones de este problema seran ortogonales para distintos autovalores, y se podra construir
una base del espacio de soluciones con ellas. En otras palabras, la parte angular de cualquier
solucion de la ecuacion diferencial (18.40) se podra escribir como una combinacion lineal de
los Pnm (cos ).
Puesto que los polinomios de Legendre se reobtienen con m = 0, se sigue que gran parte
de la discusion en las secciones 18.7 y 18.9 es solo una manifestacion de estas conclusiones
generales.
18.12. ARMONICOS
ESFERICOS
18.12.
203
Arm
onicos esf
ericos
m+n
1
2 m/2 d
(1
x
)
(x2 1)n ,
n
m+n
2 n!
dx
n m n .
(18.47)
(2n + 1) (n m)! m
P (cos ) ,
2
(n + m)! n
n m n .
(18.48)
(2n + 1) (n m)! m
P (cos ) eim ,
4 (n + m)! n
(18.49)
que son funciones en los dos angulos, ortonormales sobre la superficie esferica. La integral
completa de ortogonalidad es
Z
=0
(18.50)
=0
o bien,
Z
4
(18.51)
204
(18.52)
n=0 m=n
(18.54)
Consideremos a continuacion dos direcciones en coordenadas polares esfericas en un espacio tridimensional, (1 , 1 ) y (2 , 2 ). El angulo entre las dos direcciones lo denotamos .
Este angulo satisface la siguiente identidad trigonometrica
cos = cos 1 cos 2 + sen 1 sen 2 cos(1 2 ) .
(18.55)
n
X
4
(1)m Ynm (1 , 1 )Ynm (2 , 2 ) ,
2n + 1 m=n
(18.56)
DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION
205
o equivalentemente
n
X
4
Pn (cos ) =
Y m (1 , 1 )Ynm (2 , 2 ) .
2n + 1 m=n n
(18.57)
18.13.
Segunda soluci
on de la ecuaci
on de Legendre
Los polinomios de Legendre son solucion de la ecuacion diferencial (18.14). Pero esta es
una ecuacion de segundo grado, y por tanto debe existir otra solucion, linealmente independiente a los Pn (x). La encontraremos observando que los polinomios de Legendre son un caso
particular de la funcion hipergeometrica. En efecto, consideremos la ecuacion hipergeometrica
general:
1 0 1 0 1 0
00
+
+
W0
W +
zA
zB
zC
0
0
0
(A B)(B C)(C A)
+
+
W =0,
(z A)(B C) (z B)(C A) (z C)(A B)
(z A)(z B)(z C)
con soluciones
A B C
z
P
.
0 0 0
(18.59)
1 1
0 0 n z
Pn (z) = P
.
0 0 n+1
(18.60)
(18.61)
206
Pn (t)
dt
zt
(18.62)
(z
1)Q00n (z)
Z 1
Pn (t)
Pn (t)
=
(z 1)
dt
z
dt
3
2
(z t)
1
1 (z t)
Z 1 2
t 1
t(z t)
=
+
Pn (t) dt
3
(z t)3
1 (z t)
Z 1
Z 1
dt
tPn (t)
2
+
dt .
=
(t 1)Pn (t)
3
2
(z t)
1 (z t)
1
Z
2zQ0n (z)
(z
1)Q00n (z)
2zQ0n (z)
= (t2 1)Pn (t)
1
1
2(z t)2 1
2
(t 1)Pn0 (t) + 2tPn (t)
1
1
Z
=
dt
+
2(z t)2
tPn (t)
dt
(z t)2
(z
1)Q00n (z)
2zQ0n (z)
= (t2 1)Pn0 (t)
1
Z 1 2
1
(t 1)Pn00 (t) + 2tPn0 (t)
+1
dt .
2(z t) 1 2 1
zt
Luego
(z 2 1)Q00n (z) + 2zQ0n (z) n(n + 1)Qn (z)
Z
1 1 (t2 1)Pn00 (t) + 2tPn0 (t) n(n + 1)Pn (t)
=
dt .
2 1
zt
Pero el integrando es precisamente la ecuacion de Legendre, que es satisfecha por los Pn ,
luego el integrando es cero y
(z 2 1)Q00n (z) + 2zQ0n (z) n(n + 1)Qn (z) = 0 .
(18.63)
DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION
207
t=1
z
+
1
I(z) = ln(z t)
= ln(z + 1) ln(z 1) = ln
,
z1
t=1
(18.65)
(18.67)
-1
+1
Afirmaci
on Si x es real, | x | > 1, entonces Qn (x) R.
Demostraci
on Basta observar que el argumento del logaritmo en (18.66) es siempre positivo, pues el numerador y el denominador son positivos (negativos) si x > 1 (x < 1).
q.e.d.
208
1
Pn (t) dt .
1 zt
Si | z | > 1,
Z
1 X 1 t
Qn (z) =
Pn (t) dt .
2z =n 1 z
Observemos que todos los terminos con < n en la suma son cero, debido a la ortogonalidad
de Pn (t) y t . Obtenemos as
Qn (z) =
bn+1
bn+2
+
+ ,
z n+1 z n+2
con
1
b =
2
t1 Pn (t) dt .
En particular,
bn+1
1
=
2
tn Pn (t) dt .
Como
1 3 (2n 1) n
t + ,
1 2 n
se tiene, dada la ortogonalidad de Pn (t) con polinomios de grado menor que n,
Pn (t) =
bn+1
1 2 n
1
=
2 1 3 (2n 1)
Pn (t)Pn (t) dt =
1
Es decir,
bn+1 =
n!
.
(2n + 1)!!
1
1 2 n
2
.
2 1 3 (2n 1) 2n + 1
DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION
209
Relaci
on de recurrencia
Obtengamos una relacion de recurrencia para Qn (z). En general,
lm z n Qn (z) = 0 ,
| z |
n = 0, 1. . .
Sea n 1. Entonces
(n + 1)Qn+1 z(2n + 1)Qn + nQn1 =
1
z+1
[(n + 1)Pn+1 z(2n + 1)Pn + nPn1 ] ln
(polinomio) .
2
z1
El factor entre parentesis cuadrados es cero. Sea | z | . Entonces
0 = lm (polinomio) ,
| z |
(18.70)
X
1
=
an Pn (t) ,
z t n=0
al menos en 1 t 1. Los coeficientes de la expansion estan dados por
Z 1
1
Pn (t)
an = n +
dt = (2n + 1)Qn (z) ,
2
1 z t
luego
X
1
=
(2n + 1)Pn (t)Qn (z) .
z t n=0
(18.71)
Afirmaci
on (Sin demostraci
on) El desarrollo (18.71) es valido en el interior de la elipse
con focos en 1 que pasa por z:
Im(t)
z
-1
Re(t)
210
Captulo 19
La ecuaci
on diferencial de Bessel
versi
on final 3.2-13 enero 2003
19.1.
La ecuaci
on diferencial de Bessel
(19.1)
la cual es conocida como la ecuacion diferencial de Bessel. Esta ecuacion tiene una singularidad fuchsiana en z = 0 cuando Re() > 0. Planteamos como solucion
(z) = z
a z =
=0
a z + .
=0
X
a ( + )( + 1) + a ( + ) a
=0
X
=2
obteniendo
a ( + )2 2 = a2 ,
211
= 2, 3, . . . ,
a2 z + ,
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
212
mientras que para = 0
a0 ( 2 2 ) = 0 ,
lo que da una ecuacion para el exponente 2 = 2 , con dos soluciones, 1 = + y 2 = .
Elegimos = 1 = + y a0 6= 0. Para = 1
a1 (1 + 2) = 0 ,
lo que implica a1 = 0. Ademas, usando la f
ormula recursiva para los coeficientes
a =
a2
,
( + 2)
(19.2)
se puede demostrar que todos los coeficientes impares son nulos. Los coeficientes pares
a0
a0
a2 = 2
,
a4 = 4
, ...
2 1! ( + 1)
2 2! ( + 1)( + 2)
El termino general es
a2 = (1)
22
a0
.
! ( + 1)( + 2) ( + )
Tomando
a0 =
1
,
( + 1)
se obtiene
J (z) =
z X
=0
z 2
(1)
,
! ( + + 1) 2
(19.3)
19.2.
z X
z 2
(1)
J (z) =
,
(19.4)
2
!
(
+
1)
2
=0
Ejemplo Observemos que si = 1/2, la resta de las dos races 1 2 = 1/2 + 1/2 = 1 Z.
Sin embargo, a pesar de estar en el caso incomodo las dos soluciones todava funcionan
(habamos encontrado un hecho similar al discutir el oscilador armonico). En efecto, consideremos = 1/2. El denominador en (19.3) se puede reescribir
!( + 3/2) = !( + 1/2)( + 1/2) .
213
(2n + 1)!
, de modo que
2n n!
se tiene finalmente
r
J1/2 (z) =
es decir
,
2 z =0 (2 + 1)! 22
r
J1/2 (z) =
2 X (1) 2+1
z
.
z =0 (2 + 1)!
(19.5)
2 sen z
(19.6)
2 X (1) 2
z ,
z =0 (2)!
(19.7)
J1/2 (z) =
La otra solucion resulta ser
r
J1/2 (z) =
o bien
r
J1/2 (z) =
2 cos z
(19.8)
Sin demostracion: J para ndices = (2n + 1)/2 se expresa por formulas semejantes.
19.3.
X
(1) z 2
1 z2
1 z4
J0 (z) =
=
1
+
,
(!)2 2
(1!)2 22 (2!)2 24
J00 (z) =
2 z
4 z3
6 z5
+
+ .
(1!)2 22 (2!)2 24 (3!)2 26
z X (1) z 2
z
1 z2
1 z4
J1 (z) =
=
1
+
.
2 !( + 1)! 2
2
(1!)2 22 (2!)2 24
Comparando concluimos que
J1 (z) = J00 (z) .
(19.9)
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
214
1
0.8
0.6
0.4
0.2
0
0.2
0.4
0.6
z
Para ndice entero positivo, (19.3) da
z n X
(1) z 2
Jn (z) =
.
2 =0 ! ( + n)! 2
(19.10)
z n X
=n
z 2
(1)
.
! ( n + 1) 2
Consideraremos nulos los coeficientes con < n en la funcion gamma (la funcion gamma
tiene polos en = 0, 1, 2, . . . , luego 1/() = 0). Sea = n. Luego
z n X
(1) (1)n z 2
Jn (z) =
,
2 =0 ( + n)!! 2
lo que resumimos como
Jn (z) = (1)n Jn (z) .
19.4.
(19.11)
Comportamiento asint
otico
Proposici
on 19.1 Para una variable real x 1, toda solucion real de la ecuacion de Bessel
es aproximadamente de la forma A cos(x + )/ x.
Demostraci
on Sea
x(x) = u(x) .
GENERATRIZ
19.5. FUNCION
215
x
4 x2
x
2 x2
x
00
quedando
1/4 2
u (x) + 1
x2
00
u(x) = 0 .
cos(x + )
.
x
q.e.d.
Por otra parte, cerca de cero la funcion de Bessel de ndice nulo se puede aproximar por
z2 z4
J0 (z) 1
+
=
4
64
19.5.
z2
1
8
2
.
(19.12)
Funci
on generatriz
(z, s) =
sn Jn (z) .
(19.13)
n=
Usando (19.10) (que es valida tambien si n < 0, recordando que 1/h! 0 si h < 0, h Z),
(z, s) =
=
=
X
(1)l z 2l+n
l!(l + n)! 2
n=
l=0
X
X
(1)l z 2l zs n
sn
n= l=0
X
X
n= l=0
l!(l + n)! 2
(1)l z l
l!
2s
2
zs l+n
1
(l + n)! 2
X
n= l=0
X
l=0 h=
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
216
pero los factores de la forma 1/h! reducen la suma sobre h a ir entre 0 e . As,
"
#
X
z
zs
(1)l z l X 1 zs h
(z, s) =
= e 2s e 2 .
l!
2s
h! 2
l=0
h=0
De este modo, la funcion generatriz queda
X
z
1
(z, s) = exp
s
=
Jn (z)sn .
2
s
n=
19.6.
(19.14)
F
ormulas de adici
on
X
X
X
n
s Jn (z1 + z2 ) =
s J (z1 )
s J (z2 ) .
n=
(19.15)
J02 (z)
J (z)J (z) +
=1
J (z)J (z) ,
=1
obteniendo
1=
J02 (z)
+2
J2 (z) .
(19.16)
=1
En el caso que la variable z R y considerando que | J0 (z) | 1, podemos acotar los J por
1
| J (z) | ,
2
si = 1, 2, 3, . . .
(19.17)
217
luego
exp(iz sen ) =
ein Jn (z) .
(19.18)
n=
Jn (z)(cos n + i sen n) +
n=1
= J0 (z) + 2
Jn (z)(cos n i sen n) ,
n=1
m=1
m=1
m=1
sen(x sen ) = 2
(19.19)
m=0
Sea = 0. Entonces
1 = J0 (x) + 2
J2m (x) .
(19.20)
m=1
m=1
sen x = 2
(19.21)
m=0
19.7.
Representaciones integrales
(19.22)
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
218
En particular,
1
J0 (x) =
Z
0
1
cos(x sen ) d =
"Z
/2
Z
cos(x sen ) d +
cos(x sen ) d
/2
1
J0 (x) =
cos(x sen ) d .
(19.23)
/2
d
y la integral
1 2
nos queda
Z
J0 (x) =
1
cos(x)
d .
1 2
0
si | | 1,
1
p() =
si | | < 1,
1 2
podemos reescribir J0 como
Z
J0 (x) =
cos(x)p() d .
donde
si | s |
1
,
2
2
1
si | s | < 2
.
2
1 4s
De lo anterior se desprende, puesto que J0 (x) es una funcion par, que F (s) es precisamente
la transformada de Fourier de J0 (x):
F (s) =
F{J0 , s} = F (s) .
Analogamente, tomando transformada de Fourier a la relacion (19.9) obtenemos
F{J1 , s} = F{J00 , s} = i2sF{J0 , s} = 2isF (s) .
19.8.
219
Relaciones de recurrencia
(z, s)
z
=
s
2
nsn+1 Jn (z) =
n=
1
1+ 2
s
X
sn Jn (z) ,
n=
z
[Jn1 + Jn+1 ] sn+1 .
2 n=
Comparando coeficientes,
2n
Jn (z) = Jn1 (z) + Jn+1 (z) .
z
(19.24)
sn Jn0 (z) =
n=
1
s
s
X
sn Jn (z) ,
n=
1
[Jn1 Jn+1 ] sn .
2 n=
Comparando coeficientes
2Jn0 (z) = Jn1 (z) Jn+1 (z) .
(19.25)
(19.26)
(19.27)
es decir
Por otro lado, restando (19.24) y (19.25) obtenemos
n
Jn (z) = Jn+1 (z) ,
z
(19.28)
0
z n Jn+1 (z) = z n Jn (z) .
(19.29)
Jn0 (z)
es decir
(19.27) y (19.29) indican que, al igual que los polinomios de Hermite, las funciones de
Bessel de ndice entero tienen operadores de subida y de bajada. En este caso, el operador
de subida es
d 1
z n
,
dz z n
y el de bajada es
1 d n
z .
z n dz
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
220
J2 (z) =
=1
=0
X
2 + 1
=0
J2+1 (z) ,
z X
=
(2 + 1)J2+1 (z) ,
2 =0
y por induccion completa:
z n
2
X
(2 + n)(n + + 1)!
=0
J2+n (z) .
(19.30)
19.9.
Relaciones de ortogonalidad
g(x) = J (kx) ,
con h 6= k.
(19.31)
J00 (hx)
2
J (hx) = 0 ,
x2
2
J (kx) = 0 .
x2
Multiplicando la primera ecuacion por h2 y la segunda por k 2 y usando las definiciones dadas
en (19.31) obtenemos
1 0
2
00
2
f (x) + f (x) + h 2 f (x) = 0 ,
x
x
(19.32)
1 0
2
00
2
g (x) + g (x) + k 2 g(x) = 0 .
x
x
221
b
1
0
0
tf (t)g(t) dt = 2
x(f (x)g(x) f (x)g (x)) .
k h2
a
xJ (hx)J (kx) dx
a
(19.33)
19.10.
(19.34)
(19.33) y (19.34) sugieren que J m a pueden ser base de un espacio de funciones en
[0, a]. Poniendo h = m /a y = en (19.32) encontramos que satisfacen la ecuacion
2
1 0
m 2
00
f () + f () +
2 f () = 0 ,
a2
222
DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION
f () + f () +
o bien
d
d
d
f
d
+
2
m
2
a2
2
2
m
2
a2
2
f () = 0 ,
f () = 0 ,
(19.35)
,
d
d
y la funcion de peso
w() = > 0 en [0, ] ,
(19.35) corresponde al problema de autovalores de L, con autovalores
m =
2
m
.
a2
As, las funciones J (m ) asociadas a cada autovalor, para m = 0, 1, 2,. . . ( esta fijo) seran
un set completo en el cual se podra expandir cualquier funcion en [0, ].
A que problemas fsicos esta asociado este problema de Sturm-Liouville? Consideremos
nuevamente el operador laplaciano, como en (18.40), pero ahora en coordenadas cilndricas:
1 d
d
1 d2
d2
2
(~r ) =
+ 2 2 + 2 (, , z) .
(19.36)
d
d
d
dz
Se aprecia de inmediato que en un proceso de separacion de variables, las derivadas respecto
a z seran reemplazadas por una constante, y las derivadas respecto a seran reemplazadas por otra constante, quedando para la parte radial precisamente la ecuacion de Bessel
en la forma (19.35). Por tanto, las funciones de Bessel apareceran tpicamente (no u
nicamente) como soluciones de problemas que involucren el operador de Laplace (encontrar un
potencial electrostatico ecuacion de Laplace, modos normales de oscilacion ecuacion
de Helmholtz, etc.) y que tengan simetra cilndrica.
Captulo 20
Diversos tipos de funciones cilndricas
versi
on final 3.3-13 enero 2003
20.1.
Segunda soluci
on de la ecuaci
on de Bessel
1
u(t) dt + J0 (z)u(z) ,
z
(20.3)
(20.4)
224
esto es,
2J00 (z) 1
u (z) =
+
u(z) ,
J0 (z)
z
Z z 0
2J0 (t) 1
+
dt ,
u(z) = C exp
J0 (t)
t
u(z) = exp ln J02 (z) ln z ,
es decir,
1
1
u(z) =
=
zJ02 (z)
z
1+
!
a2 z 2
(20.5)
=1
(20.6)
#
b2 z
= J0 (z) ln z +
=1
X
=1
c2
z 2
2
X
1 0
1 0
1
2 z 22 1
N0 (z) = J0 (z) ln z + 2 J0 (z) +
c2
z
z
z
2 2
2
=1
N000 (z)
J000 (z) ln z
X 2(2 1) z 22
1
J0 (z) 2 +
c2
.
z
z
4
2
=1
1
2J00 (z)
c22 (1) 1
,
2
(!)2
1.
(20.7)
Tomamos c0 = 0, y notamos que solo nos interesan los ndices pares. Entonces
c2 = 1 ,
1 1
1
1
c4 = =
1+
.
4 8
4
2
Afirmaci
on
c2
(1)
=
(!)2
1 1
1
1 + + + +
2 3
.
(20.8)
DE LA ECUACION
DE BESSEL
20.1. SEGUNDA SOLUCION
225
Demostraci
on La demostracion es facil por induccion. Suponiendo que la afirmacion es
cierta para = n, podemos calcular
1
(1)n
1
1
(1)n+1
1
c2n+2 =
1
+
+
.
.
.
2
2
2
(n + 1) (n!)
2
n
[(n + 1)!] n + 1
n+1
1
1
1
(1)
c2n+2 =
1 + + + +
.
[(n + 1)!]2
2
n n+1
q.e.d.
Con este resultado, podemos escribir una solucion linealmente independiente de J0 (x) en
la forma:
1
1 z 4
1
1 1 z 6
1 z 2
N0 (z) = J0 (z) ln(z) +
1+
+
1+ +
(1!)2 2
(2!)2
2
2
(3!)2
2 3
2
(20.9)
Graficamente:
N0
Analogamente, asociadas a las funciones de ndices superiores Jn (z), sera posible encontrar
la segunda solucion, Nn (z).
En general, Nn (z) se puede encontrar notando que la funcion
1
N (z) =
[J (z) cos J (z)] ,
(20.10)
sen
es linealmente independiente a J (z) si 6 Z , y por tanto puede ser usada como segunda
solucion. Las N (z) se conocen como funciones de Bessel de segunda especie, o funciones de
Neumann. Lo interesante es que, al contrario de J (z), N (z) contin
ua siendo linealmente
independiente cuando es entero. Para mostrarlo (no lo haremos aqu), se puede considerar
= n + , y tomar el lmite 0. Resulta finalmente
2 z
1 X (1)l [(l + 1) + (n + l + 1)] z 2l+n
Nn (z) = ln
Jn (z)
2
l=0
l!(l + n)!
2
n1
1 X (n l 1)! z 2ln
, (20.11)
l=0
l!
2
donde
() =
1 d()
.
() d
(20.12)
226
20.2.
Funciones de Hankel
Sea
g(s) = eis .
(20.14)
g 00 + 2 g = 0 .
(20.15)
(20.16)
Entonces
Sea ademas
de modo que
z2
f
2f
2f
2
+
z
+
z
f
=
.
z 2
z
s2
(20.17)
Afirmaci
on (z) satisface la ecuacion de Bessel (bajo ciertas restricciones),
z 2 00 + z0 + (z 2 2 ) = 0 .
Demostraci
on Si (20.18) se satisface, entonces
Z
2
f
2 f
2
2
0=
z
+z
+ (z )f g .
z 2
z
C
Con (20.17),
2f
0 =
fg
g
s2
C
C
Z
Z
f 0
f
2
=
fg +
g
g
s C
C
C s
Z
Z
f
2
00
0
=
fg
fg + fg
g
s C
C
C
Z
f
00
2
0
= f (g + g) + f g
g
.
s C
C
2
Z
(20.18)
227
Con (20.15),
f
0
.
0 = fg
g
s C
Por lo tanto, es solucion de la ecuacion de Bessel si f y f /s son despreciables en el
contorno de integracion C.
q.e.d.
Sean ahora z = x > 0, s = s1 + is2 , s1,2 R. En este caso,
sen s = sen s1 cosh s2 + i cos s1 senh s2 .
Considerando la afirmacion anterior, en que parte del plano (Re s, Im s) tenemos | f (x, s) | =
| eix sen s | 0? Esto es, buscamos un contorno C tal que
Re(ix sen s) = x cos s1 senh s2 .
Esta condicion equivale a
senh s2 si cos s1 > 0 ,
senh s2
si cos s1 < 0 .
(20.19)
C1
-3
2
-
2
C2
3
2
s1
1
=
Z
C1,2
x>0
(20.20)
228
(20.21)
De (20.20),
1
I(x) =
con
s2
s1
Puesto que
ein(s+2) = eins ,
sen(s + 2) = sen s ,
las integraciones sobre los segmentos verticales de C se anulan entre s. Se tiene entonces
Z
1 ix sen in
(1)
(2)
Hn (x) + Hn (x) =
e
e d .
Se siguen las siguientes relaciones entre las funciones cilndricas que hemos examinado:
1 (1)
Hn + Hn(2) ,
2
1 (1)
Nn =
Hn Hn(2) ,
2i
Jn =
(20.22)
(20.23)
y a la inversa,
Hn(1) = Jn + iNn ,
(20.24)
Hn(2) = Jn iNn .
(20.25)
Captulo 21
Aplicaciones
versi
on final 1.0-13 enero 2003
En este Captulo aplicaremos algunos de los resultados obtenidos en los captulos anteriores para resolver problemas de interes fsico. En particular, estudiaremos el problema de
encontrar el potencial electrostatico en un cierto volumen del espacio delimitado por superficies mantenidas a potenciales dados. Este problema involucra la solucion de Laplace en cierto
dominio del espacio real. En los captulos anteriores hemos podido encontrar autofunciones
asociadas al operador de Laplace, y por lo tanto podemos escribir formalmente la solucion
como una combinacion lineal de tales autofunciones. Los potenciales fijos en las superficies
que determinan el dominio proporcionaran las condiciones de borde necesarias para encontrar todos los coeficientes de dicha combinacion lineal y, por ende, resolver completamente el
problema.
Ademas, resolveremos algunos problemas relacionados con la ecuacion de onda (modos
normales de una membrana) y la ecuacion de difusion.
21.1.
Coordenadas rectangulares
(21.1)
(21.2)
Suponemos
(21.3)
Si cada termino en (21.3) depende solo de una variable independiente, cada uno debe ser
229
230
igual a una constante:
1 d2 X
X(x) dx2
1 d2 Y
Y (y) dy 2
1 d2 Z
Z(z) dz 2
= 2 ,
(21.4)
= 2 ,
(21.5)
= 2 ,
(21.6)
p
Z(z) = exp( 2 + 2 z) ,
Y (y) = exp(iy) ,
luego
(x, y, z) = eix eiy e
2 + 2 z
(21.7)
Observamos que:
y son arbitrarios y se determinan por las condiciones de contorno;
por superposicion lineal de (21.7) obtenemos la solucion mas general de la ecuacion de
Laplace en coordenadas cartesianas.
Ejemplos
1) Potencial en el interior de un paraleleppedo con caras a diferente potencial.
Consideremos primero el caso de un paraleleppedo con todas las caras a potencial cero
salvo una. El problema general, en el cual cada una de las seis caras esta a un potencial
diferente, se puede obtener como la superposicion de seis de estos problemas.
= V (x , y)
z=c
y=b
x=a
= 0
Si = 0 en x = 0, y = 0 y z = 0, se tiene
X(x) = sin x ,
Y (y) = sin y ,
p
Z(z) = sinh( 2 + 2 z) .
231
Si = 0 en x = a y y = b,
a = n
b = m ,
luego
r
n 2 m 2
n
m
+
.
n =
,
m =
, y nm =
a
b
a
b
Podemos escribir el potencial parcial nm , el cual satisface todas las condiciones de contorno
excepto una:
nm = sin(n x) sin(m y) sinh(nm z) .
(21.8)
La solucion completa es la superposicion de estos potenciales para todos los valores posibles de m y n:
X
(x, y, z) =
Anm sin(n x) sin(m y) sinh(nm z) .
(21.9)
nm
(21.10)
nm
correspondiendo a una doble serie de Fourier. Los coeficientes vienen dados por
Anm
4
=
ab sinh(nm c)
Z
dx
=0
=V
0
232
La condicion = 0 en x = 0 y x = a, da
X(x) = sin
nx
a
La condicion = 0 para y da
Y (y) = ey = e
Por lo tanto
n
y
a
n = e
La solucion general es
(x, y) =
sin
An e
n
y
a
nx
n
y
a
a
sin
nx
a
n=1
4V
nx
X 1 n
e a y sin
.
n
a
n impar
(21.11)
z = e a (x+iy) ,
podemos reescribir el potencial como una funcion en el plano complejo:
"
#
X zn
4V
(z) =
Im
.
n
n impar
(Esto es un hecho bastante general. En variable compleja, las funciones analticas satisfacen las condiciones de Cauchy-Riemann, que son equivalentes a una ecuacion de Laplace,
por tanto no es sorprendente que un potencial electrostatico se pueda escribir en terminos de
funciones analticas en el espacio
complejo.)
P
1
Integrando (1 z) = (z)n , tenemos
2
ln(1 + z) = z z2 + z3 z4 +
3
4
2
ln(1 z) = z z2 z3 z4 +
233
es decir,
1+z
2V
Im ln
.
(x, y) =
1z
Por otro lado,
(1 + z)(1 z )
1 |z|2 + 2i Im(z)
1+z
=
=
1z
|1 z|2
|1 z|2
1+z
2Im(z)
1+z
Im ln
= fase ln
= arctan
1z
1z
1 |z|2
Pero
z = ei a (x+iy) = e a e
ix
a
luego
y
Im(z) = e a sin
1 |z|2 = 1 e
,
a
y
y
y
y
y
= e a e a e a = 2e a sinh
.
a
2y
a
As, finalmente,
2V
arctan
(x, y) =
21.2.
sin x
a
sinh y
a
.
Estudiemos ahora el potencial entre dos placas conductoras que forman un cierto angulo
entre s, mantenidas a potencial V :
=V
1 2
+ 2 2 =0.
Separando variables,
(, ) = R()() .
(21.12)
234
Reemplazando en (21.12),
() d dR() R() d2 ()
=0
+ 2
d d
d2
d
dR()
1 d2 ()
+
=0.
R() d
d
() d2
Cada uno de los terminos debe ser igual a una constante:
dR()
1 d2 ()
d
= 2 ,
= 2 ,
R() d
d
() d2
quedando las ecuaciones
2
d2 R
dR
+
2R = 0 ,
2
d
d
d2
+ 2 = 0 ,
d2
con soluciones
R() = a + b ,
() = A cos() + B sin() .
(21.13)
dR
= cte ,
d
d2
=0,
d2
con soluciones
R() = a0 + b0 ln ,
() = A0 + B0 .
(21.14)
n=1
Notemos que:
1. Si el origen es incluido en el volumen, en el cual no hay carga, todos los bn son 0
(b0 = bn = 0 n )
2. Si excluimos el origen bn 6= 0.
3. El termino logartmico equivale al potencial generado por una lnea de carga infinita
sobre el eje z, con densidad lineal de carga = b0 /2.
En nuestro problema, 0 . Las condiciones de borde son entonces
(, 0) = (, ) = V .
235
a A .
a0 B0 =
a B sin .
Siendo el lado izquierdo independiente de , ambos terminos deben ser nulos. Como a0 A0 = V ,
se sigue que a0 6= 0, luego
B0 = 0 .
En el lado derecho, en tanto, como a 6= 0 (para preservar alguna dependencia en del
potencial), y B 6= 0 (para preservar dependencia en ), se concluye que
sin = 0 ,
es decir
=
m
,
m = 1, 2, 3, . . .
X
m=1
am
m/
sin
.
/
(, ) ' V + a1 sin
.
a1 1
sin
=
'
1
a1 1
cos
=
'
E
a1
' 1 .
4
4
236
21.3.
Ecuaci
on de Laplace en coordenadas esf
ericas
La ecuacion a resolver es
1 2
1
(r) + 2
2
r r
r sin
sin
+
1
2
=0
r2 sin2 2
+
=0.
U dr2
P r2 sin d
d
Q d2
El u
ltimo termino debe ser una constante:
1 d2 Q
= m2 ,
Q d2
es decir
Q = eim .
Para que Q sea univaluada para [0, 2], m debe ser entero.
Separando ahora las ecuaciones para P () y U (r), queda la ecuacion angular
1 d
dP
m2
sin
+ l(l + 1)
P =0,
sin d
d
sin2
donde l(l + 1) es otra constante real, y la ecuacion radial
d
U (r)
U (r) l(l + 1) 2 = 0 .
2
dr
r
La ecuacion radial es la ecuacion de Euler, con solucion
Ul (r) = Arl+1 + Brl .
l a
un esta por determinar. Escribiendo x = cos , se observa que la ecuacion para P () es la
ecuacion generalizada de Legendre. Sus soluciones regulares en [1, 1] ( [0, 2]), son las
funciones asociadas de Legendre (Cap. 18):
Plm (x) = (1 x2 )m/2
dm
Pl (x) ,
dxm
si l es un entero, y m = l, l + 1, . . . , l 1, l.
La solucion general se puede escribir entonces,
(r, , ) =
X
l
X
l=0 m=l
Aml Arl + Br(l+1) Plm (cos )eim ,
21.3. ECUACION
237
X
l
X
Bml Arl + Br(l+1) Ylm (, ) .
l=0 m=l
l=0
V () =
Al al Pl (cos ) ,
l=0
con Al
2l + 1
Al =
2al
= V
V () =
+V
V
0 /2
/2 <
Entonces,
Al =
2l + 1
V
2al
"Z
/2
Z
Pl (cos ) sin d
Pl (cos ) sin d
/2
238
si l impar,
Al =
l
al
al
2
2 l+1
!!
0
2
y la solucion queda
1
(r, ) = V
(2l + 1)
2
l=0
(l1)/2
(l 2)!! r l
Pl (cos ) .
2 l+1
!! a
2
Es facil darse cuenta que para resolver el problema exterior, basta reemplazar
r l
a l+1
a
r
en la solucion anterior.
A partir de la discusion sobre la funcion generatriz de los polinomios de Legendre, Sec.
18.1, es inmediato obtener el siguiente importante resultado:
X rl
1
1
<
=
Pl (cos ) = p
,
l+1
0
2
2
|~x ~x |
r
r> + r< 2r< r> cos
l=0 >
donde r< (r> ) es el mas peque
no (grande) de |~x| y |~x0 |, y es el angulo entre ~x y ~x0 .
Tambien importante es la siguiente observacion: notemos que si tenemos un problema con
simetra acimutal, el potencial sobre el eje z es ( = 0, cos = 1, Pl (cos ) = 1)
(z) =
X
l=0
Al z l +
Bl
.
z l+1
21.3. ECUACION
239
z
q
a
X
cl
(z) = q
Pl (cos ) ,
z l+1
l=0
si z < c,
(z) = q
X
zl
P (cos ) .
l+1 l
c
l=0
Hemos entonces expresado el potencial en el eje z como una serie de potencias, y los coeficientes tienen la forma que esperabamos, z l para z peque
no, y z (l+1) para z grande.
Ahora podemos afirmar que el potencial en todo el espacio se obtiene simplemente multiplicando por Pl (cos ) todos los terminos de la serie:
(r, ) = q
l
X
r<
P (cos )Pl (cos ) ,
l+1 l
r
>
l=0
l
X
r<
r,
=q
[Pl (0)]2 .
l+1
2
r
l=0 >
Pero
(1)k (2k 1)!!
,
2k k!
P2k+1 (0) = 0 ,
P2k (0) =
240
luego
2
2k
X
r<
(2k 1)!!
(r) = q
.
2k k!
r2k+1
k=0 >
Volviendo a los problemas sin simetra acimutal necesariamente, de modo que la solucion
de la ecuacion de Laplace puede ser escrita
(r, , ) =
X
l
X
l=0 m=l
X
l
X
Alm Rl Ylm (, ) ,
l=0 m=l
donde
Alm
1
= l
R
dR Ylm
(, )V (, ) .
Finalmente, recordemos que hemos expresado |~x ~x0 |1 como una serie de potencias de
|~x| y |~x0 |, involucrando el coseno del angulo entre ambos vectores. A su vez, si ~x y ~x0 estan
determinados por los angulos = (, ), 0 = (0 , 0 ), conocemos una relacion entre Pl (cos )
y los armonicos esfericos evaluados en y 0 [(18.57)]. Esto da origen al Teorema de adicion
de los Arm
onicos Esfericos:
X
l
X
r<
1
1
= 4
Ylm
(0 , 0 )Ylm (, ) .
l+1
0
|~x ~x |
2l + 1 r>
l=0 m=l
Esta expresion nos permite escribir el potencial debido a una carga puntual, separando
entre s las coordenadas asociadas a ~x y a ~x0 . Esto resulta u
til al integrar sobre una de
0
las variables, digamos ~x (que puede representar la posicion de la distribucion de carga),
manteniendo a la otra coordenada (~x) constante (punto de observacion).
En definitiva, esta formula de adicion no hace sino recordarnos que cualquier funcion angular (en particular la distancia entre dos puntos cualesquiera del espacio) puede ser expandida
en la base de armonicos esfericos.
21.4.
Ecuaci
on de Laplace en coordenadas cilndricas
241
queda
d2 Z
d2 R QZ dR RZ d2 Q
+
+
+
RQ
d2
d
2 d2
dz 2
1 d2 R
1 dR
1 d2 Z
1 d2 Q
+
+
+
R d2
R d
2 Q d2
Z dz 2
QZ
= 0
= 0
La u
nica dependencia en z esta en el u
ltimo termino, y la u
nica dependencia en esta en
el pen
ultimo termino, por tanto deben ser iguales a una constante, que llamamos k 2 y 2 ,
respectivamente. Entonces quedan las ecuaciones:
d2 Z
k2Z = 0 ,
dz 2
d2 Q
+ 2Q = 0 ,
d2
d2 R 1 dR
2
2
+
+ k 2 R=0.
d2
d
Q = ei .
Para que la funcion sea univaluada cuando 0 2 es permitido, debe ser entero.
k, por su parte, puede ser cualquier n
umero real en principio.
Si x = k, la ecuacion radial queda
2
d2 R 1 dR
+
+ 1 2 R=0 ,
dx2
x dx
x
solamente las funciones de Bessel J (x). La sucesion { J (xn a )} con fijo, J (xn ) = 0,
n = 1, 2, 3. . . es un conjunto de funciones ortogonales en el intervalo 0 a, cumpliendose
que
Z a
a2
0
J xn
J xn
d = [J+1 (xn )]2 nn0 .
a
a
2
0
242
Al escribir una funcion arbitraria de como combinacion lineal de esta base se obtiene la
llamada expansion en serie de Fourier Bessel:
f () =
An J xn
a
n=1
con
An =
2
2
a2 J+1
(xn )
0a,
f ()J xn
d .
a
(x)
base J (yn a ) donde yn es la n-esima raz de dJdx
.
Ejemplo Busquemos el potencial en el interior de un cilindro cuya tapa superior se encuentra
a potencial V (, ):
z
= V ( , )
=0
=a
Todos los angulos estan permitidos, por lo tanto podemos escribir las funciones en cada
variable en la forma:
Q() = A sin m + B cos m ,
Z(z) = sinh kz ,
R() = CJm (k) + DNm (k) .
La expresion para Z(z) satisface la condicion de borde Z(0) = 0. Como ademas es finito
en = 0, debe tenerse
xmn
k = kmn =
,
n = 1, 2, 3 ,
a
donde xmn es la raz n-esima de Jm i.e. Jm (xmn ) = 0. La solucion general se escribe entonces
(, , z) =
m=0 n=1
243
Los coeficientes del potencial Amn , Bmn se encuentran invirtiendo esta doble serie de Fourier
Bessel. Usando las relaciones de ortogonalidad para senos, cosenos y las funciones de Bessel:
Z
Z a
2 cosech(kmn L) 2
Amn =
d
d V (, )Jm (kmn ) sin m ,
2
a2 Jm+1
(kmn a) 0
0
Z
Z a
2 cosech(kmn L) 2
Bmn =
d
d V (, )Jm (kmn ) cos m .
2
a2 Jm+1
(kmn a) 0
0
21.5.
Otras aplicaciones
21.5.1.
Un sistema oscilatorio se puede caracterizar por una variable (~r, t) (escalar o vectorial)
que depende del espacio y el tiempo, y que satisface la ecuacion de onda
2
1 2
=0,
v 2 t2
1
2
(r)
+
sin
+
+ k22 = 0 .
r r2
r2 sin
r2 sin2 2
Separando variables, escribiendo (~r ) = R(r)P ()Q(), es facil advertir que las ecuaciones angulares seran las mismas que para la ecuacion de Laplace en coordenadas esfericas
(Sec. 21.3), de modo que la parte angular correspondera a los armonicos esfericos:
P ()Q() = Ylm (, ) .
244
La ecuacion radial, en tanto, queda:
1 d2
l(l + 1)
(rR(r))
R(r) + k 2 R(r) = 0 .
2
2
r dr
r
Con el cambio de variables
R(r) = U (r)/ r ,
queda
(l + 21 )2
1 d
d2
2
+
+k
U (r) = 0 .
dr2 r dr
r2
(l + 12 )2
1 d
d2
+
+1
U (x) = 0 ,
dx2 x dx
x2
que es la ecuacion de Bessel (19.1) con = l + 1/2. As, la solucion radial se puede escribir
en la forma
Jl+1/2 (kr)
Nl+1/2 (kr)
R(r) = Alm
+ Blm
,
1/2
r
r1/2
que se puede reescribir en terminos de las funciones de Bessel esfericas:
J 1 (x) ,
2x l+ 2
nl (x) =
N 1 (x) .
2x l+ 2
jl (x) =
Como sus equivalentes cilndricos, jl (x) es regular en el origen y nl (x) es singular en el origen.
Estando interesados en el interior de una cavidad esferica, nos quedamos con jl (x). Al
imponer la condicion de borde de paredes fijas, es decir (r = a, , ) = 0, se obtiene
k = kln =
xln
,
a
245
Los coeficientes Anlm se obtienen al imponer una condicion inicial. Por ejemplo, si inicialmente
el gas al interior de la cavidad esferica esta dado por una funcion 0 (r, , ), los Anlm se
obtendran invirtiendo la serie de Fourier
0 (r, , ) =
X
X
l
X
n=1 l=1
r
Anlm jl xln
Ylm (, ) .
a
m=l
Membrana circular
Consideremos los modos de oscilacion de una membrana circular de radio a, densidad de
masa superficial , sometida a una tension T , con extremos fijos. En este caso, la ecuacion de
Helmholtz involucra el Laplaciano en dos dimensiones, conveniendo escribirlo en coordenadas
polares:
1
1 2
2
+ 2 2 + k (, ) = 0 .
La separacion de variables, (, ) = R()(), de modo analogo a lo realizado en la seccion
21.2, da las ecuaciones
2
d2 R 1 dR
2
+
+ k 2 R=0,
d2
d
2
d
+ 2 = 0 .
d2
La ecuacion angular tiene soluciones armonicas, ei . La monovaluacion de la solucion en
el intervalo [0, 2] indica que Z. La ecuacion radial, en tanto, es la ecuacion de Bessel,
con solucion J (k) (la otra solucion linealmente independiente, N (k), no es aceptable
fsicamente, pues diverge en = 0. Ademas, la condicion de borde fijo implica que
k = kn =
xn
,
a
xn
,
a
(21.15)
246
J xn
(A sen() + B cos())ein t .
a
=0 n=1
Dado que las frecuencias (21.15) son proporcionales a los ceros de las funciones de Bessel, es
posible conocer la razon entre las frecuencias de oscilacion de la membrana circular. Las seis
frecuencias mas bajas son:
01
11
21
02
12
03
,
= 1,59301
= 2,13601
= 2,29501
= 2,91701
= 3,59801
,
,
,
,
.
Para dibujar estos modos normales, basta notar que su amplitud se puede reescribir en la
forma:
J xn
cos( + ) ,
a
con una cierta fase, que podemos considerar nula si nos interesa solo un modo normal a
la vez. Entonces advertimos que la frecuencia n corresponde a un modo de oscilacion con
n nodos radiales contando el borde fijo como un nodo radial y nodos angulares. Los
primeros seis modos normales tienen la siguiente forma:
_
+
01
11
02
+
_ +
12
21
+ _
+
_
_
+
03
En esta figura, las lneas indican lneas nodales, el signo + indica regiones que en un tiempo
dado se desplazan saliendo del plano de la pagina, y el signo regiones que en el mismo
tiempo se desplazan entrando al plano de la pagina.
21.6.
Ecuaci
on de difusi
on
Si u es una cantidad conservada, entonces uno puede afirmar que la variacion de u dentro
de un volumen solo es posible porque hay un flujo de esa cantidad a traves de las paredes del
volumen:
Z
Z
d
~ r, t) ,
d~r u(~r, t) =
d~a J(~
(21.17)
dt V
S[V ]
DE DIFUSION
21.6. ECUACION
247
donde J~ es una corriente asociada a u. Del teorema de la divergencia se sigue entonces que
~ J~ + u = 0 .
(21.18)
t
Puesto que se espera en procesos de difusion que exista corriente solo si hay gradientes de
concentracion, y que la direccion de la corriente sea tal que vaya de puntos de alta concentracion a puntos de baja concentracion (tendiendo a homogeneizar el sistema), se supone
tpicamente que
~ r, t) ,
J~ = u(~
(21.19)
con alguna constante. Se tiene entonces
1 u
=0.
(21.20)
t
Por ejemplo, la ecuacion de difusion del calor es de la forma (21.19), con = K/, donde
K es la conductividad termica, el calor especfico y la densidad.
Consideremos entonces el problema de la difusion del calor en el interior de un paraleleppedo de aristas a, b, c, cuyas paredes estan a temperatura cero, y que inicialmente tiene un
perfil de temperatura u0 (x, y, z). El dibujo es esencialmente el mismo que el de la pagina 230,
as que no lo repetiremos.
Al separar variables en (21.20), escribiendo u(~r, t) = R(~r )T (t), obtenemos
2 u
2 R
1 1 dT
=
.
R
T dt
Ambos terminos deben ser entonces igual a una constante, que llamaremos k 2 . Entonces
obtenemos, para la parte temporal,
dT
+ k 2 T = 0 ,
dt
que tiene por solucion
2
T (t) = ek t ,
lo que indica que, si k es real, un perfil inicial decaera exponencialmente hacia la situacion
de equilibrio. La parte espacial, en tanto, es
2 R + k 2 R = 0 ,
que no es sino la ecuacion de Helmholtz.
Dada la simetra del problema, la escribimos en coordenadas cartesianas y separamos
variables, R(~r) = X(x)Y (y)Z(z), obteniendose
X 00 Y 00 Z 00
+
+
+ k2 = 0 .
(21.21)
X
Y
Z
Concluimos entonces que cada termino debe ser igual a una constante. En particular, podemos
escribir X 00 /X = 2 , Y 00 /Y = 2 , Z 00 /Z = 2 , de modo que
X 00 + 2 X = 0 ,
Y 00 + 2 Y = 0 ,
Z 00 + 2 Z = 0 .
248
Notando que deben satisfacerse las condiciones de borde X(0) = Y (0) = Z(0) = X(a) =
Y (b) = Z(c) = 0, concluimos rapidamente que las soluciones son
nx x ,
X(x) = sen
a
Y (y) = sen
ny y ,
b
Z(z) = sen
nz z ,
c
con nx , ny , nz enteros. Reemplazando estas soluciones en (21.21) encontramos que
k = knx ,ny ,nz =
r
n x 2 n y 2 n z 2
+
+
.
a
b
c
(21.22)
a
nx x sen
b
ny y sen
c
nz z e
i
t
, (21.23)
(21.24)
nx ,ny ,nz =0
21.7.
(21.26)
(21.27)
Difusi
on con creaci
on de partculas
CON CREACION
DE PARTICULAS
21.7. DIFUSION
249
(es decir, se generan mas neutrones en regiones donde hay mayor cantidad de ellos), podemos
reescribir la ecuacion de conservacion (21.17) para los neutrones en la forma
Z
Z
Z
1
d
~
d~r n(~r, t) =
d~a J(~r, t) +
d~r n(~r, t) .
(21.28)
dt V
V
S[V ]
Al usar el teorema de la divergencia para el termino de superficie, y poner una ley para la
corriente de la forma (21.19), es claro que se obtendra la siguiente ecuacion para la densidad:
1
n
= 2 n + n ,
t
es decir,
1 n
1
+
n=0.
(21.29)
t
Esta ecuacion de continuidad modificada describe el comportamiento de la densidad de neutrones en material fisionable, considerando creacion de neutrones a una tasa proporcional a
su densidad.
Separando variables en la forma n(~r, t) = R(~r )T (t), se tiene:
2 n
2 R
1 dT
1
=
.
R
T dt
Cada lado debe ser igual a una constante, que llamaremos k 2 , de modo que quedan las
ecuaciones
(2 + k 2 )R = 0 ,
dT
1
= (1 k 2 )T ,
dt
es decir nuevamente la ecuacion de Helmholtz para la parte espacial, y una parte temporal
de la forma
1
2
T (t) = e (1k )t .
Estudiemos ahora una geometra especfica: una esfera de radio a que contiene U 235 , que
impide el ingreso o fuga de neutrones por sus paredes, de modo que n(r = a, , , t) = 0.
Debido a la simetra esferica, el problema para la parte espacial es el mismo que para los
modos normales dentro de una cavidad esferica (Sec. 21.5.1), es decir,
k = kln =
xln
a
(21.30)
r
R(~r ) = jl xln
Ylm (, ) ,
(21.31)
a
con jl (x) la funcion de Bessel esferica e Ylm (, ) los armonicos esfericos. Con (21.30) y
(21.31), la base de soluciones de (21.29) es
nlnm (~r, t) = jl
1
r
xln
Ylm (, )e
a
1
x2
ln
a2
t
(21.32)
250