Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MFM 2
MFM 2
METODOS DE LA F
ISICA MATEMATICA II
Departamento de F
sica
Facultad de Ciencias
Universidad de Chile
V
ctor Muoz G.
n
Jos Rogan C.
e
Indice
1. Espacio de funciones
1.1. Deniciones . . . . . . . . . . . . . . . . . . . .
1.2. Sucesiones de funciones . . . . . . . . . . . . . .
1.3. Proceso de ortonormalizacin de Gram-Schmidt
o
1.4. Coecientes de Fourier . . . . . . . . . . . . . .
1.5. Integrales impropias (valor principal) . . . . . .
1.6. Convergencia segn Ces`ro . . . . . . . . . . . .
u
a
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Series de Fourier
3. Transformada de
3.1. Deniciones .
3.2. Ejemplos . . .
3.3. Propiedades .
3.4. Aplicaciones .
1
1
3
10
11
15
16
19
Fourier
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
35
35
37
41
43
4. Convolucin
o
4.1. Espacio S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Producto de convolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
4.3. El espacio S como anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
47
48
51
5. Distribuciones temperadas
5.1. Deniciones . . . . . . . . . . . . . . . .
5.2. Sucesin de distribuciones . . . . . . . .
o
5.3. Producto de distribuciones . . . . . . . .
5.4. Distribuciones y ecuaciones diferenciales
5.5. Convergencia dbil . . . . . . . . . . . .
e
55
55
64
74
76
77
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
7. Convolucin de distribuciones
o
7.1. Deniciones . . . . . . . . . . . . . . . . . . . .
7.2. Propiedades de la convolucin de distribuciones
o
7.3. Uso de convolucin en F
o
sica . . . . . . . . . . .
7.4. Funcin de Green de un operador diferencial . .
o
93
93
95
97
99
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE
iv
8. La funcin Gamma
o
8.1. La funcin factorial . . . . .
o
8.2. La funcin Gamma . . . . .
o
8.3. Funcin Beta . . . . . . . .
o
8.4. Notacin doble factorial . .
o
8.5. Frmula de Stirling . . . . .
o
8.6. Otras funciones relacionadas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9. Transformada de Laplace
9.1. Denicin . . . . . . . . . . . . . . . . . .
o
9.2. Inversin de la transformada de Laplace .
o
9.3. Propiedades de la transformada de Laplace
9.4. Lista de transformadas de Laplace . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
. 101
. 102
. 104
. 107
. 107
. 109
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
113
. 113
. 115
. 120
. 121
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
126
128
130
133
11.Polinomios ortogonales
11.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.3. Relacin de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
135
. 135
. 136
. 137
12.Polinomios de Hermite
12.1. Denicin . . . . . . . . . . . .
o
12.2. Funcin generatriz . . . . . . .
o
12.3. Ortogonalidad . . . . . . . . . .
12.4. Algunos resultados interesantes
12.5. Solucin por serie de la ecuacin
o
o
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
de Hermite
13.Polinomios de Laguerre
13.1. Denicin . . . . . . . . . . . . .
o
13.2. Funcin generatriz . . . . . . . .
o
13.3. Relaciones de recurrencia . . . . .
13.4. Ecuacin de Laguerre . . . . . . .
o
13.5. Ortogonalidad . . . . . . . . . . .
13.6. Polinomios asociados de Laguerre
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139
. 139
. 139
. 142
. 143
. 143
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
151
. 151
. 153
. 154
. 156
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
145
145
147
147
148
150
INDICE
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
159
160
163
165
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
169
169
173
182
183
185
.
.
.
.
.
191
. 191
. 192
. 193
. 195
. 198
17.Funciones hipergeomtricas
e
17.1. La ecuacin hipergeomtrica general
o
e
17.2. Ecuacin indicial . . . . . . . . . . .
o
17.3. Ecuacin diferencial de Gauss . . . .
o
17.4. La serie hipergeomtrica . . . . . . .
e
17.5. Ecuacin hipergeomtrica conuente
o
e
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18.Polinomios de Legendre
18.1. Funcin generatriz . . . . . . . . . . . . . .
o
18.2. Relaciones de recurrencia . . . . . . . . . . .
18.3. Coecientes del polinomio Pn (x) . . . . . . .
18.4. Frmula de Rodrigues . . . . . . . . . . . .
o
18.5. Ecuacin diferencial de Legendre . . . . . .
o
18.6. Lugares nulos de Pn (x) . . . . . . . . . . . .
18.7. Relacin de ortogonalidad . . . . . . . . . .
o
18.8. Expresiones integrales para Pn (x) . . . . . .
18.9. Serie de Legendre . . . . . . . . . . . . . . .
18.10. unciones asociadas de Legendre . . . . . .
F
18.11. roblema de Sturm-Liouville asociado . . .
P
18.12. rmnicos esfricos . . . . . . . . . . . . . .
A o
e
18.13. egunda solucin de la ecuacin de Legendre
S
o
o
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
201
. 201
. 203
. 204
. 205
. 206
. 207
. 207
. 208
. 210
. 213
. 215
. 217
. 219
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
225
225
226
228
229
230
231
232
234
235
236
INDICE
vi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
245
245
249
252
257
259
263
265
Cap
tulo 1
Espacio de funciones
versin 17 agosto 2009
o
1.1.
Deniciones
Denicin 1.1 Denotemos por C0 [a, b] al conjunto de funciones complejas continuas de una
o
variable real t [a, b]. Adems, escojamos que:
a
f C0 [a, b],
f (a) = f (b).
(1.1)
(1.2a)
si f C0 [a, b] y C = f C0 [a, b] .
(1.2b)
y
Denicin 1.2 Denotemos por C [a, b] al conjunto de funciones complejas seccionalmente
o
continuas, acotadas (o sea, con discontinuidades mansas o de primera especie), de una
variable real t [a, b].
f C[a, b]
s
t
a
t0
b
Si t0 es un punto de discontinuidad, la funcin f debe estar dada, en ese punto, por
o
f (t0 ) =
1
f (t+ ) + f (t ) .
0
0
2
(1.3)
Podemos armar que los conjuntos C0 [a, b] y C [a, b] forman espacios vectoriales sobre el
cuerpo de los complejos. Adems, C0 [a, b] C [a, b].
a
1
CAP
ITULO 1. ESPACIO DE FUNCIONES
Denicin 1.3 Consideremos dos funciones f, g C [a, b]. Denimos su producto escalar
o
como
b
f (t)g(t) dt
(f |g) =
(1.4)
(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 0 = ( f | f ) > 0.
(1.5d)
Denicin 1.4 Un espacio vectorial complejo dotado de un producto escalar con las proo
piedades anteriores, ecuaciones (1.5), se conoce como espacio pre-Hilbert.
Denicin 1.5 Sea f C [a, b]. Denimos su norma:
o
f
( f | f ) R.
(1.6)
(1.7a)
(1.7b)
(1.7c)
(1.7d)
(1.7e)
Desigualdad de Cauchy-Schwartz
Desigualdad Triangular
= ( f + g | f + g ) = f
+ ( f | g ) + ( g | f ) + g
(f |g)
f 2
(g|f )
.
f 2
(Observar que esta eleccin corresponde a un extremo del lado derecho de la relacin anterior
o
o
con respecto a . Es decir, simplemente estamos diciendo que, si el lado derecho es siempre
positivo, en particular lo es su valor mximo o m
a
nimo.) Luego
0
| ( f | g ) |2
f
f 4
| ( f | g ) |2
+ g
f 2
| ( f | g ) |2
+ g
f 2
| ( f | g ) |2 f
|(f |g)| f g .
q.e.d.
Demostracin Desigualdad triangular, ecuacin (1.7d). De la denicin de norma
o
o
o
f g
= ( f g | f g ) = ( f g | f ) ( f g | g ) R,
f g
= Re [( f g | f ) ( f g | g )] ,
| ( f g | f ) | + | ( f g | g ) |.
Usando Cauchy-Schwartz,
f g 2 f g f + f g g ,
f g f + g .
q.e.d.
1.2.
Sucesiones de funciones
Denicin 1.6 Sea fn (t) con n = 0, 1, 2, . . ., una sucesin de funciones. Si t [a, b] jo, y
o
o
> 0 N tal que
|fn (t) F (t)| <
para
n > N,
(1.8)
para una cierta funcin F (t), entonces decimos que fn (t) converge puntualmente a F (t) en
o
[a, b], y se escribe fn (t) F (t). Observemos que N depende posiblemente de t.
(1.9)
CAP
ITULO 1. ESPACIO DE FUNCIONES
(f g) (f g).
f g =
(1.10)
<
(1.11)
para n > N .
fn F
= 0.
Para ilustrar las diferencias entre los distintos tipos de convergencia anteriores, consideremos algunos ejemplos.
Ilustraciones
1) En el intervalo [0, 1] consideremos la funcin
o
1 1
n
si t 2n , n
1 1
fn (t) = 1 n
si t = 2n , n
2
0
en otro caso.
6
1
n
2
1
2n
1
n
o
a) fn 0.
n.
Ahora consideramos t = 0, con 0 < t < 1. Hay que mostrar que, si n es sucientemente
grande, entonces fn (t) se hace arbitrariamente pequeo. Tcnicamente, nos damos un
n
e
> 0, y hay que encontrar un N tal que |fn (t)| < , n > N . Notamos que la funcin es
o
tal que slo es no nula en un pequeo subintervalo de [0, 1], y que si fn (t) = 0 para un t
o
n
y n dados, entonces basta con esperar que n crezca lo suciente para que t quede fuera
del intervalo (1/2n, 1/n). A partir de ese momento, la funcin ser nula en t, para todos
o
a
los n sucesivos.
Esto nos lleva a concluir que, para un t jo (notar lo importante que es eso), el valor
de N que estamos buscando es cualquiera tal que t > 1/N , es decir, cualquiera tal que
1
, donde
N > 1/t. Como N debe ser un entero, podemos tomar, por ejemplo, N = 1 +
t
[x] representa la parte entera de x. Con esta eleccin, se tiene que si n > N , entonces
o
fn (t) = 0 n > N .
unif
b) fn 0.
1 1
,
para que fn crezca
2n n
sobre cualquier cota. Luego fn no puede converger uniformemente a 0, ya que, aunque
acotramos a fn en todo el intervalo [0, 1] con una unica cota (debe ser todo el intervalo
a
porque queremos convergencia uniforme), dicha cota ser sobrepasada para algunos t
a
tarde o temprano, a medida que N crece.
c) fn 0.
n
fn 0
dt | fn (t) | =
2
1
n
1
2n
1
1
dt ( n )2 =
n=
2n
2
n,
de modo que fn de hecho s converge a alguna funcin en la norma, pero dicha funcin es
o
o
F (t) = 1/2.
2)
fn (t) =
1
si t 0, n
1
si t = n
1
si t > n
fn 0
1
n
=
0
dt | fn (t) |2 =
1
0 .
n n
CAP
ITULO 1. ESPACIO DE FUNCIONES
1.0
0.8
0.6
0.4
0.2
0.0
/2
/2
Es claro que
fn (t) f (t) =
0 t [ , ], con t = 0
2 2
1 si t = 0
fn F
para n > N .
<
En efecto, como F (t) es nula en todo el intervalo, la diferencia en la norma entre las dos
funciones es
b
cos2n t dt ,
fn =
a
expresin que se puede hacer arbitrariamente pequea (menor que ) para n sucientemente
o
n
grande.
Los ejemplos anteriores nos permiten concluir, como corolario, que la convergencia en la
norma no implica convergencia puntual ni convergencia uniforme. Sin embargo, el inverso
s es cierto, como se demuestra a continuacin.
o
Proposicin 1.1 Convergencia uniforme en un intervalo nito implica convergencia en la
o
norma.
Demostracin Sea > 0 N0 tal que
o
| fn (t) F (t) | < ,
n > N0 y t [a, b] ,
luego
b
fn F
2
a
dt =
2 (b
a) =
ba ,
<
b a n > N0 .
q.e.d.
t [a, b].
(1.12)
f p =
ba
dt = ,
f p <
q.e.d.
Proposicin 1.3 g C [a, b] se puede construir una funcin f C0 [a, b] tal que g f
o
o
, donde es arbitrario.
<
Demostracin Sea g C [a, b] con K discontinuidades en {ti }n dentro del intervalo [a, b]
o
i=1
y sea M = mx | g(t) |. Consideremos una funcin f C0 [a, b] denida de modo que coincida
a
o
atb
f(a)
f(b)
f(a)
f(b)
a a+
x1
x1
x1+
b b
CAP
ITULO 1. ESPACIO DE FUNCIONES
gf
t +
| g(t) f (t) | dt =
2
=1
= .
=1
gf
f p < . Luego
2
<
gp = gf +f p gf + f p < .
q.e.d.
El teorema de Weierstrass se puede generalizar a funciones de ms de una variable. Esto
a
permite resultados como el siguiente.
Proposicin 1.4 Sea f C0 [, ], entonces existe un polinomio trigonomtrico que aproo
e
xima a f uniformemente.
Demostracin Sea f C0 [, ]. Construimos una funcin F (r, ) = rf (). Clarameno
o
te F (r, ) es continua en todo el plano x-y. Sea F (x, y) F (r, ). Usando el teorema de
Weierstrass tenemos que existen a tales que
F (x, y)
a x y <
x, y en el plano x-y.
=0,1,...,n
=0,1,...,n
a r+ cos sen .
,
[, ].
m,n
q.e.d.
Denicin 1.10 Una sucesin {fn } en C [a, b] se dice sucesin de Cauchy si > 0 existe un
o
o
o
N N tal que para todo n, m N se tiene que fn fm .
La denicin anterior se puede generalizar a espacios de funciones sin norma.
o
Es inmediato vericar que si {fn } converge a una funcin f en la norma, entonces es de
o
Cauchy, pues
fn fm fn f + fm f ,
y ambos trminos en el lado derecho se pueden acotar por un > 0 arbitrario. El inverso, sin
e
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 denido como
1
f, g =
f (x)g(x) dx .
0
Consideremos
1
1
si 0 x 2
1
1
fn (x) = 1 (x 2 )n si 1 < x < 1 + n .
2
2
1
0
si 1 + n x 1
2
f ( x)
1
1/2
1/2 + 1/ n
Se tiene que
1/2+1/n
fn fm
| fn (x) fm (x) |2 dx
1/2
1
,
2
de modo que es una sucesin de Cauchy. Sin embargo, se puede ver que {fn } tiende a una
o
funcin discontinua, y por lo tanto no converge en C [0, 1].
o
10
CAP
ITULO 1. ESPACIO DE FUNCIONES
(1.13)
n, m.
Ilustracin
o
Como ejemplo de funciones ortonormales tenemos las cn (t) C0 [, ] con n = 0, 1, 2, . . .
que se denen como
1
cn (t) = eint .
2
Claramente:
( cn | cm ) =
1
2
ei(mn)t dt = n m
n, m.
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.
Proposicin 1.5 Un sistema ortogonal de funciones es siempre linealmente independiente
o
(l.i.). (Demostracin como ejercicio.)
o
1.3.
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
v1
tal que ( 1 | 1 ) = 1.
Considerar 2 = v2 ( 1 | v2 ) 1 . Entonces
( 2 | 1 ) = ( v2 | 1 ) ( 1 | v2 ) ( 1 | 1 ) = ( v2 | 1 ) ( v2 | 1 ) = 0.
Luego, normalizando,
2 =
2
.
2
11
3 =
1.4.
Coecientes de Fourier
Sea {n (t)}n=1,2,... un conjunto ortonormal de funciones tal que n C [a, b] n. Sea f (t)
una funcin tal que
o
b
a
Cn n (t) ,
nI
MI (f ) = f SI
f (t)
=
a
Cn n (t)
dt ,
nI
sea m
nimo. Evaluemos el error cuadrtico medio
a
b
|f | +
MI (f ) =
| Cn |
| ( n | f ) |
nI
f
n
a
Cn ( n | f )
nI
| ( n | f ) |
nI
nI
Cn
f n
Cn
nI
Cn ( n | f )
| Cn |2
nI
| n |
nI
b
2
nI
| ( n | f ) |2 +
nI
| Cn ( n | f ) |2 0 ,
nI
| ( n | f ) |2 f
nI
Desigualdad de Bessel
(1.15)
12
CAP
ITULO 1. ESPACIO DE FUNCIONES
Denicin 1.14 Los coecientes ( n | f ) son llamados los coecientes de Fourier de f reso
pecto del sistema ortonormal {n }n=1,2,... .
Denicin 1.15 Si un conjunto de funciones {n } en cierto espacio permite aproximar en
o
la norma, con sus combinaciones lineales, cualquier funcin f del espacio tan bien como se
o
quiera, i.e.
f
an n
< ,
para
arbitrario,
l
m
=0,
Cn n
n=1
f=
Cn n .
{n }
f=
Cn n
{n }
entonces
Cn n
{n }
luego se cumple
b
2
| f |2 =
a
Ejemplo El conjunto
1 eint
2
(1.16)
nZ
eint
=
f (t) =
Cn
2
n=
N
Igualdad de Parseval
| Cn |2
|f | =
| Cn |2 = f
n=
13
o
Demostracin Si f (t0 ) = 0, la funcin tambin es no nula en una vecindad en torno a t0 ,
o
o
e
por lo tanto
b
| f |2 = f
>0,
| Cn |2 =
n
| ( n | f ) |2 > 0 ,
n
es decir, f no es ortogonal a todos los : contradiccin! Luego f debe ser idnticamente nula.
o
e
q.e.d.
n
c (t)
Teorema 1.4 Sea {Sn (t) C0 [a, b]}; si existe F (t) tal que la sucesin Sn (t) =
o
=0
Sn (t) F (t) ,
t [a, b] ,
2
+ | Sn (t) Sn (t ) | .
3
arbitrario, tal que
| F (t) F (t ) | <
Pero Sn (t) es continua. Dado t jo, y
1
= | F (t) F (t ) | < .
3
q.e.d.
Este teorema asegura que una funcin discontinua no puede ser aproximada uniformeo
mente por una familia de funciones continuas (por ejemplo, las funciones sinusoidales).
14
CAP
ITULO 1. ESPACIO DE FUNCIONES
Teorema 1.5 Si dos funciones f, g C [a, b] tienen igual expansin en base completa (en el
o
sentido de aproximacin en la norma), entonces f (t) = g(t).
o
Demostracin Sean
o
S(t) =
( | f ) (t)
=0
= gS
=0.
As
f g = f S + S g f S + S g = 0 + 0 = 0 = f = g .
q.e.d.
Notar que este teorema es falso fuera de C [a, b]. Por ejemplo,
fn (t) =
1 si t = 0
0 si t = 0
| ( | f ) |2 converge. En particular,
=0
( | f ) 0 .
| Cn |2 f
nI
dt | f (t) |2 .
a
q.e.d.
15
1.5.
1
Considere la funcin f (t) = .
o
t
Una integral como 1 f (t) dt no est bien denida. Sin embargo, debiera ser nula simplea
mente por paridad. Para conciliar estos hechos, podemos entender este tipo de integrales, en
intervalos simtricos en torno a la divergencia (t = 0 en este caso), de la siguiente manera:
e
f (t) dt +
m
P f (t) dt = l
0
f (t) dt
=0.
(1.17)
P f (t) dt = l
m
f (t) dt +
f (t) dt
= 0.
(1.18)
Denicin 1.16 Valor principal de una integral. Sea t0 [a, b], f (t) integrable en la unin
o
o
[a, t0 ] [t0 + , b], > 0, f (t) singular si t t0 . Si existe el l
mite
t0
l
m
0
f (t) dt +
f (t) dt P f (t) dt ,
t0 +
(1.19)
P f (t) dt = P
a
1
g(t) ,
t t0
g(t)
dt =
t t0
b
a
dt + g(t0 ) log
b t0
t0 a
16
CAP
ITULO 1. ESPACIO DE FUNCIONES
m
P f (t) dt = l
Ejemplo La integral
y +, y vale cero.
1.6.
f (t) dt .
(1.20)
o
Consideremos las sumas parciales: S0 = 1, S1 = 0, S2 = 1, S3 = 0 y as sucesivamente.
o
En efecto:
1
S0 + S1 + S3
2
S0 + S1 + S3 + S4
1
S0 + S1
= ,
= ,
= ,
S0 = 1 ,
2
2
3
3
4
2
n
3
S0 + + S5
= , . . . l
m
n
5
5
S
=0
1
.
2
SN =
T .
=0
M 1
S = l
m
SN = l
m
N =0
=0
(1.21)
desapareciendo al tomar el l
mite M , de modo que la suma converja al valor de la
suma original.
17
`
1.6. CONVERGENCIA SEGUN CESARO
Siguiendo con el ejemplo de la serie geomtrica,
e
T = (1) = S2N = 1,
(1)n =
n=0
S2N +1 = 0
1
(1 + 0 + 1 + 0 + )
M
1
M
M
2
1
.
2
a exista.
=0
1
La convergencia segn Ces`ro necesita que el l
u
a
m
n n
a exista.
=0 =0
Problemas similares a la serie discreta anterior ofrece calcular la integral, desde cero hasta
sen(x) dx:
En el mismo esp
ritu del caso discreto, proponemos la siguiente denicin.
o
Denicin 1.18 Denimos una integral Ces`ro de la siguiente manera:
o
a
l
m
1
y y
f (t) dt = l
m
dt f (t)
dx
x=0
(1.22)
t=0
Podemos encontrar una expresin alternativa para la integral de Ces`ro integrando por partes
o
a
la ecuacin (1.22):
o
y
x
1
dx
dt f (t)
y y
0
x=0
t=0
y
x
y
1
= l
m
x
f (t) dt
xf (x) dx
y y
0
0
0
y
y
1
= l
m
y
f (t) dt
xf (x) dx
y y
0
0
x
f (t) dt = l
m
1
f (x) dx .
y 0
y
0
f (t) dt =
l
m
(1.23)
18
CAP
ITULO 1. ESPACIO DE FUNCIONES
1
sen(t) dt = l
m
y y
1
= l
m
y y
=
l
m
sen(t) dt =
t=0
1 cos(x)
dx
0
1
1 sen(y)
2
y
dt sen(t)
dx
x=0
y
(1.24)
Ejercicio Evale
u
0
Bibliograf Adicional
a
Los tpicos discutidos en este cap
o
tulo son slo una introduccin a una amplia rama de
o
o
las Matemticas, el anlisis funcional. Una t
a
a
pica referencia del tema es el libro de Yosida
[1], el cual est claramente orientado para matemticos. Una referencia ms al gusto de un
a
a
a
lector con inters en lo aplicado es el libro de Kreyszig [2].
e
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, Berl 1995
n
(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).
Cap
tulo 2
Series de Fourier
versin 24 agosto 2009
o
|f (t)|2 dt < .
[, ] C tal que
| C |2
(Desigualdad de Bessel)
| f |2 <
Luego
l C = 0 .
m
(2.1)
1
1 + a2 + a4 + + a4n
con a = ei/2
2n
a
1 a4n+2 1
a2n+1 a(2n+1)
=
.
= 2n
a
a2 1
a a1
=
Luego
ei =
=n
sen[(2n + 1)/2]
.
sen(/2)
=n
ei d =
1+2
0
cos() d = .
=1
19
(2.2)
20
CAP
ITULO 2. SERIES DE FOURIER
Usando (2.2)
sen[(2n + 1)/2]
d .
sen(/2)
=
0
Tomando = /2:
/2
f (t) = 2
f (t)
0
sen[(2n + 1)]
d .
sen
(2.3)
eit
C
.
2
=n
Sn (t) =
Los coecientes de Fourier son
C = ( | f ) =
2Sn (t) = 2
eit
f (t ) dt
2
n
eit
C = 2
2
=n
=n
eit
eit
f (t ) dt
2
2
f (t )
2Sn (t) =
ei(tt ) dt
=n
2Sn (t) =
f (u + t)
t
in
Puesto que n
=
=n e
peridica de f a todo R,
o
n
in
=n e
eiu du .
=n
f (u 2) = f (u)
u R ,
resulta
n
2Sn (t) =
f (u + t)
1
Sn (t) =
2
f (t + u)
=n
iu
e
=n
ei u du
1
du +
2
f (t + u)
0
eiu du
=n
21
Haciendo en la primera integral el cambio de variables u = 2v, y en la segunda el cambio
u = 2v:
1
Sn (t) = (2)
2
f (t 2v)
/2
1
ei2v dv + (2)
2
=n
/2
f (t + 2v)
0
ei2v dv .
=n
Sn (t) f (t) =
sen[(2n + 1)v]
dv .
sen v
(2.4)
Denamos 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) =
2 Im ( 2n+1 | g ) .
Con (2.1),
Sn (t) f (t) =
Luego
2 Im ( 2n+1 | g ) 0 .
l Sn (t) = f (t) ,
m
o sea
f (t) =
eit
C
.
2
Z
q.e.d.
| f (t) |2 dt < = l C = 0 .
m
2 C =
f (t)eit dt
Z.
| f |2 < . Entonces de la
22
CAP
ITULO 2. SERIES DE FOURIER
2 C =
eit
f (t)
i
1
i
f (t)eit dt .
| f |2 < , entonces
2 C 0 .
Vale decir, cuanto ms derivable es la funcin f , tanto ms rpido tienden a cero sus
a
o
a a
coecientes de Fourier. Ms an, se puede demostrar el siguiente teorema:
a u
Teorema 2.2 (Sin demostracin) Si f C y f tiene discontinuidades mansas (saltos
o
nitos), entonces los coecientes de Fourier C decrecen como 1/.
Si f Co , f C y f tiene discontinuidades mansas, entonces los coecientes de Fourier
C decrecen como 1/ 2 .
Etctera.
e
El teorema anterior muestra que la serie de Fourier converge ms rpidamente mientras
a a
mejor comportamiento anal
tico tenga la funcin f . En el caso de funciones innitamente deo
rivables, los coecientes de Fourier exhiben decaimientos ms fuertes que cualquier polinomio
a
(C 1/!, por ejemplo).
Teorema 2.3 Si f C [, ] entonces la serie de Fourier de f converge uniformemente a
f.
Demostracin Sean C = ( | f ) los coecientes de Fourier de f . Como f Co , entonces
o
2 C 0, luego existe un N tal que para todo || > N se tiene
2 C < 1 .
Por otro lado, podemos separar la suma completa en la forma:
C =
Z
C +
| |N
C .
| |>N
Sea
M = mx
a
t[,]
C .
| |N
23
Este mximo existe, porque en la suma hay un nmero nito de trminos y las funciones
a
u
e
son acotadas. Entonces
C +
C
Z
| |N
| |>N
M+
| |N
| C | | | = M +
| |>N
1
M+
2
C +
n=1
| |>N
1
| C |
2
| |>N
1
| C | < M +
2
| |>N
Pero
| |>N
1
2
1
2
,
= (2) =
n2
6
A0
+
An cos(nt) + Bn sen(nt) ,
f (t) =
2
n=1
con los coecientes dados por
1
1
Bn =
An =
f (t) cos(nt) dt
f (t) sen(nt) dt
Resultados utiles
f (x) =
C eix ,
=
C =
1
2
f (t)eit dt .
24
CAP
ITULO 2. SERIES DE FOURIER
1) f (x + 2) = f (x)
La expansin de Fourier de f (x) implica su extensin peridica a R.
o
o
o
2) Si f (x) R x [, ],
C = C .
3) Poniendo
A0
+
A cos(x) + B sen(x) ,
f (x) =
2
=1
con
A = C + C =
B = i(C C ) =
f (t) cos(t) dt ,
f (t) sen(t) dt .
Adems:
a
f (x) = f (x) = B = 0 ,
f (x) = f (x) = A = 0 ,
de modo que esta forma de la expansin es util cuando f tiene paridad denida.
o
u
L
F (u) =
C eiq u = F (u + L) ,
=
C =
1
L
con q =
2
,
L
L/2
F (t)eiq t dt .
L/2
Aplicaciones
1) Recticador de media onda.
Consideremos el siguiente circuito elctrico, y la forma de la corriente en funcin del
e
o
tiempo que por l circula:
e
25
I(t)
R
/2
/2
A0
+
An cos(nt) ,
I(t) =
2
n=1
con
2
I(t) dt =
1/2
/2
2
cos t cos(nt) dt = 0
An =
2(1)n/2
0
(n2 1)
A0 =
I(t) dt =
/2
cos t dt =
0
si n = 1
si n es impar, n = 1
si n es par
Luego
1 cos t 2 cos(2t) cos(4t)
+
+
13
35
1 1 2
1
1
I(0) = + +
+
2 13 35
I(t) =
(2.5)
En general, An 0 como 1/n2 , como corresponde a una funcin I(t) cuya primera derivada
o
tiene discontinuidades mansas.
2) Recticador de onda completa.
I(t)
26
CAP
ITULO 2. SERIES DE FOURIER
En este caso, I(t) = | sen t| es par, y se tiene:
A0 =
An =
sen t cos(nt) dt
0
(n2 1)
n impar
n par
e
I(t) =
2
4 cos(2t) cos(4t)
+
+
13
35
E(t)
E(t) =
En eint ,
n=
donde
En =
1
T
2
,
T
T /2
E(t)eint dt .
T /2
I(t) =
Cn eint ,
n=
n2 2 L + inR +
n=
1
C
Cn inEn eint = 0 .
27
Siendo {eint }n un conjunto linealmente independiente, cada coeciente de la suma debe ser
nulo, luego:
i n
L
E .
Cn = 1
2 2 + i nR n
n
LC
L
T (t) = Ce t
de modo que
28
CAP
ITULO 2. SERIES DE FOURIER
Bm em t sen(m x) .
U (x, t) =
m=1
U (x, 0) =
Bm sen
m=1
m
x = x(L x) .
L
Como esta serie es una funcin impar, consideramos la extensin peridica impar de la funcin
o
o
o
o
g(x) al intervalo [L, L], de modo que los coecientes Bm correspondan a los coecientes de
Fourier de g(x):
g(x)
-L
L
Bm =
1
L
g(x) sen
L
mx
L
dx =
2
L
(1)m+1
U (x, t) =
m=1
x(L x) sen
0
mx
L
dx =
4L2
(1)m+1
m3 3
mx m222 t
4L2 1
sen
e L
.
3 m3
L
En particular,
U (x, t)
2
t
t0 =
L
2
4L2
x t/t0
.
sen
e
3
L
(2.6)
29
donde f (z) es una funcin holomorfa en C. Por tanto, podemos escribir
o
f (z) = f (x + iy) =
cn z n ,
n=0
y consideremos
cn = an ibn .
2
2
+ 2 (x + iy)n
x2 y
=
n(x + iy)n1 +
in(x + iy)n1
x
y
= n(n 1)(x + iy)n2 n(n 1)(x + iy)n2 = 0 .
zn =
U (x, y) = Re
= Re
rn an cos(n) + bn sen(n) .
(2.7)
n=0
an cos(n) + bn sen(n) .
() =
n=0
Por lo tanto, an y bn son los coecientes de Fourier de (). Vale decir, la solucin de una
o
ecuacin de Laplace en dos dimensiones se puede escribir en trminos de una expansin de
o
e
o
Fourier.
Fenmeno de Gibbs
o
Consideremos la onda cuadrada
1
0<x<
f (x) = 0
x = 0,
1 < x < 0
Su expansin en serie de Fourier se obtiene fcilmente, encontrndose:
o
a
a
f (x) =
l=0
1
sen[(2l + 1)x] .
2l + 1
30
CAP
ITULO 2. SERIES DE FOURIER
Se observa que hay buena convergencia con 10 trminos, y el resultado es casi perfecto con
e
50, salvo ciertas oscilaciones en los puntos de discontinuidad, oscilaciones que no se amortiguan cuando el nmero de trminos va a innito. Sin embargo, como la suma parcial SN (x)
u
e
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 = l, l Z, quede fuera de tal vecindad para N sucientemente
grande.
Este fenmeno se conoce como fenmeno de Gibbs, y es consecuencia de la imposibilidad
o
o
de aproximar uniformemente por funciones continuas una funcin discontinua.
o
Para estudiarlo con ms detalle, consideremos la funcin diente de sierra:
a
o
x 0 < x <
(2.8)
f (x) = 0
x=0
x + < x < 0
f(x)
f (x) =
n=1
2
sen(nx) .
n
31
Y la suma de los N primeros trminos:
e
N
fN (x) =
n=1
2
sen(nx) .
n
fN (x)
dn
0
2
sen(nx) = 2
n
Nx
dt
0
sen t
.
t
Si(x) =
dt
0
se sigue que
sen t
,
t
(2.9)
fN (x) = 2 Si(N x) .
Es claro de (2.9) que Si(0) = 0 y Si() = /2. Adems, Si(x) posee extremos dados por
a
0=
Si
sen x
=
x
x
x = n
As como sen t/t oscila amortigundose para t , se espera que Si(x) igualmente oscile
,
a
cuando x crece, pero convergiendo a /2. Sus extremos en x = (2n + 1) deben ser mximos
a
(contribuciones de rea positiva de sen t/t), y sus extremos en x = 2n deben ser m
a
nimos
(contribuciones de rea negativa de sen t/t). El primer mximo, en x = , es el mximo
a
a
a
absoluto (ver gura).
Si(x)
2
/2
1
32
CAP
ITULO 2. SERIES DE FOURIER
Si()
Si(2)
Si(3)
1/N
3.14159
fN
3
N
d) fN (x) tiene m
nimos en 2n/N :
fN
2
N
2.836 (Primer m
nimo)
De este modo, la funcin fN (x) oscila en tanto se tenga x O(1/N ). El primer mximo
o
a
implica sobrepasar el valor l
mite en un 18 %, y el segundo slo en un 7 %. Toda esta
o
estructura est en una pequea vecindad de x = 0, vecindad cuyo ancho va a cero si
a
n
N .
Esto explica el fenmeno de Gibbs. Aun cuando hemos considerado la funcin (2.8), es
o
o
fcil convencerse de que nuestros razonamientos son generales, y que podemos aplicarlos a
a
cualquier funcin en torno a una discontinuidad nita de la misma.
o
Integracin de series de Fourier
o
Sea f C [, ] y
f (x) =
a0
+
(an cos nx + bn sen nx) .
2
n=1
Sea
F (x) =
f (t) dt .
0 = F () =
f (t) dt = a0 ,
33
es decir,
a0 = 0 .
A0
F (x) =
+
(An cos nx + Bn sen nx) ,
2
n=1
con
An =
F (x) cos(nx) dx
Si n = 0,
A0 =
sen nx
n
sen nx
F (x) dx
n
bn
1
f (x) sen nx dx = ,
=
n
n
= F (x)
F (x) dx = xF (x)
Anlogamente,
a
Bn =
n=0.
xf (x) dx .
an
.
n
f (x) =
n=1
f (x) dx =
A0
an
bn
+
sen nx cos nx,
2
n
n
n=1
con
A0 =
xf (x) dx .
34
CAP
ITULO 2. SERIES DE FOURIER
1 Joseph Fourier, Thorie analytique de la chaleur, Editions Jacques Gabay, Par 1988
e
s,
(ISBN 2 87647 046 2).
2 A. Zygmund, Trigonometric Series, vol. 12, Cambridge Mathematical Library, Cambridge
University Press, Cambridge, 1988 (ISBN 0 52135 885 X).
3 James Ward Brown and Ruel V. Churchill, Fourier Series and Boundary Value Problems,
McGraw-Hill Company, Nueva York, 2000 (ISBN 0 07232 570 4).
Cap
tulo 3
Transformada de Fourier
versin 31 de agosto de 2009
o
3.1.
Deniciones
Vimos, en el cap
tulo anterior, que la serie de Fourier est denida, si f C [L, L], como
a
inx
e L
Cn
f (x) =
2
n=
con L x L ,
(3.1)
donde
1
Cn =
2L
inx
e L
f (x)
dx ,
2
L
n Z.
(3.2)
Una consecuencia inmediata de la expansin en serie de Fourier es que la funcin f (x) reo
o
presentada por la serie resulta peridica, con per
o
odo L. Por tanto, uno puede decir que la
serie de Fourier permite expandir funciones peridicas. Sin embargo, no todas las funciones
o
son peridicas. Necesitamos, entonces, algn modo de expandir, en una base ortonormal,
o
u
funciones no peridicas.
o
A partir de los resultados anteriores, es claro que el modo natural de obtener un resultado
para funciones no peridicas es hacer tender L (cualquier valor nito de L permitir la
o
a
extensin peridica de f , con per
o
o
odo L).
Tomemos, entonces, el l
mite cuando L . Pero antes, convendr hacer el cambio de
a
variables k = n/L. Notemos que la diferencia entre valores consecutivos de k es
k =
n
= ,
L
L
pues n = 1,
y denamos
CL (k) =
35
L
Cn .
36
CAP
ITULO 3. TRANSFORMADA DE FOURIER
Usando las anteriores deniciones en las ecuaciones (3.1) y (3.2) obtenemos:
f (x) =
Lk/=
CL (k) =
kL
eikx
CL (k)
L 2
L 1 1
2 2L
1
CL (k)eikx k ,
2
Lk/=
f (x)eikx dx .
L
Al hacer L , obtenemos
1
f (x) =
2
1
C(k) =
2
C(k)eikx dk ,
f (x)eikx dx ,
pues k se convierte en una variable continua. Notamos que, esencialmente, hay una simetr
a
entre ambas expresiones. Esta simetr corresponde a decir que es equivalente referirse a un
a
vector de un espacio vectorial [f (x) en este caso] o a sus coordenadas [C(k)].
Denimos ahora C(k) como la transformada de Fourier F (k) de la funcin f (x). La
o
relacin entre f y F est dada por el teorema de reciprocidad:
o
a
1
f (x) =
2
1
F (k) =
2
F (k)eikx dk ,
(3.3a)
f (x)eikx dx F{f, k} .
(3.3b)
(En realidad hemos cambiado el signo de las exponenciales dentro de las integrales, para seguir
la denicin usual de transformada de Fourier, lo cual no es problema, dada precisamente la
o
simetr que notamos antes.)
a
Observemos que la transformada de Fourier es la extensin natural del concepto de series
o
de Fourier para funciones no peridicas. Y notando que n es una variable discreta, y k
o
continua, podemos decir que la transformada de Fourier es la generalizacin del concepto
o
de series de Fourier cuando las funciones a expandir pertenecen a un espacio vectorial de
dimensin continua.
o
Denicin 3.1 Si f es tal que
o
|f | < ,
37
3.2. EJEMPLOS
3.2.
Ejemplos
N
F (k) =
2
N
2
ex eikx dx =
2
e(
xik/2 )2
ek
dx .
x ik/2 , obtenemos
ik/2
1 N
2
F (k) = ek /4
2
2 /4
N k2 /4
2
eu du =
e
2
ik/2
eu du
N k2 /4
N
2
F (k) =
= ek /4 ,
e
2
2
otra gaussiana. Si es grande:
f(x)
F(k)
Si es pequeo:
n
F(k)
f(x)
a
con a > 0. La transformada de Fourier:
x 2 + a2
eikx
a
dx =
2 + a2
x
2
eikx
dx .
(x + ai)(x ai)
38
CAP
ITULO 3. TRANSFORMADA DE FOURIER
Im z
a
-L
Re z
L
-a
eikz
eikz
dz = 2i Res = 2i(z ai)
z=ia
(z + ai)(z ai)
(z + ai)(z ai)
=
z=ai
ka
e
.
a
eikz
dz
L
(z + ai)(z ai)
eikx
dx = eka .
(x + ai)(x ai)
a
ka
e
2
para k > 0 .
F (k) =
para k < 0 .
Para k = 0:
1
F (0) =
2
a
1
x
dx = arctan
2 + a2
x
a
2
1
=
2
2
2
| k | a
e
.
2
Grcamente:
a
f(x)
F(k)
.
2
39
3.2. EJEMPLOS
| x |
1
x2
Esto coincide con los resultados generales sobre los coecientes de Fourier del cap
tulo 2.
Ms adelante, en la seccin 3.3, demostraremos el teorema anlogo para transformadas
a
o
a
de Fourier.
c) Consideremos la funcin, con a > 0,
o
f (x) =
1 |x| < a
.
0 |x| > a
Su transformada de Fourier
1
F (k) =
2
+a
eikx dx =
a
f(x)
2 sen(ka)
k
F(k)
-a
F (k) angosta
f (x) angosta
F (k) ancha
f (x) discontinua
F (k) 0 como
a a
F (k) innitamente
| x |
cualquier potencia
| k |
1
k
diferenciable
1
Ejercicio Para el caso anterior, evaluar F 1 {F, x}, y mostrar que f (x = a) = .
2
40
CAP
ITULO 3. TRANSFORMADA DE FOURIER
2i
g(x)eikx dx =
2
GS (k) =
g(x) sen(kx) dx
(3.4)
= i
ex sen(kx) dx
0
eikx eikx
2i
ex
0
dx
1
=
e(xikx) dx
e(x+ikx) dx
2
0
0
1
1 (xikx)
1 (x+ikx)
=
e
e
+ ik
2 ik
0
1
1
1
2ik
1
=
=
2 + k2
2 ik + ik
2
2 ik
F (k) =
.
2 + k 2
f(x)
Fs (k)
f (x) discontinua
F (k) 0 como
a a
1
k
F (k) innitamente
| k |
| x |
cualquier potencia
diferenciable
2
g(x)eikx dx =
2
41
3.3. PROPIEDADES
GC (k) =
g(x) cos(kx) dx
(3.5)
e) Consideremos ahora una funcin f (x) L1 . Sea f (x) = sgn(x). f (x) L1 , ya que
o
sgn(x)eikx dx
F (k) =
2
2
= i
sen(kx) dx
i 2
si k = 0
=
k
0
si k = 0
(integral Ces`ro)
a
f(x)
Fs (k)
-1
3.3.
Propiedades
F es lineal
(3.6a)
(3.6b)
si f R
(3.6c)
(3.6d)
(3.6e)
F{f (x), k} =
1
F
||
f (x),
1
F
||
(3.6f)
| k |
| k |
42
CAP
ITULO 3. TRANSFORMADA DE FOURIER
pero tambin
e
kF (k) 0 ,
| k |
ya que
1
F (k) =
2
eikx
ipp
f (x)eikx dx = f (x)
ik 2
o sea
ik 2
f (x)eikx dx =
1
F{f , k} ,
ik
| k |
pues f L .
Sean ahora f , f , f , f , . . ., f (n1) L1 continuas en < x < . Sea f (n) L1 ,
entonces integrando n veces por partes obtenemos
1
| k |
q.e.d.
a
| x |
1
f (x) ei(k+h)x eikx dx
F (k) = F (k + h) F (k) =
2
1
f (x)eikx eihx/2 eihx/2 eihx/2 dx
=
2
hx
1
=
f (x)eikx eihx/2 2i sen
dx .
2
2
A
| f | < , | f | < . Adems, se tiene que
a
A
hx
2
sen
1
hA
| hx |
2
2
para x [A, A] .
| f (x) | sen
hx
2
dx
| f (x) | dx +
+ +
| f (x) | dx +
A
hA
2
| f (x) | dx
A
| f (x) |
hA
dx
2
43
3.4. APLICACIONES
lo cual es tan pequeo como se quiera. Lo anterior implica que F (k) es continua.
n
Sea ahora f (x) y xf (x) L1 , entonces armamos que F (k) es derivable. En efecto
d
d
2F (k) =
dk
dk
f (x)eikx dx =
f (x)eikx dx = i
k
xf (x)eikx dx .
uniforme porque la ultima de las integrales tiene un mayorante convergente: | xf (x) | <
| f (x) |2 dx ,
C=
x =
(x x ) 2 =
x2 x
(3.8)
Teorema 3.4 (Principio de incerteza) Sea x el ancho medio asociado a una funcin
o
1
f (x) L . Sea F (k) = F{f (x), k} la transformada de Fourier de f , con ancho k. Entonces
se cumple
1
kx .
2
La igualdad se consigue slo si f (x) es una gaussiana.
o
3.4.
Aplicaciones
44
CAP
ITULO 3. TRANSFORMADA DE FOURIER
Busquemos soluciones para y 0 que satisfagan las condiciones de contorno
(x, 0) = f (x) y (x, y) 0 .
Solucin
o
Realicemos separacin de variables, i.e. escribimos (x, y) = X(x)Y (y). Al introducir esta
o
forma para (x, y) en la ecuacin diferencial obtenemos
o
1 d2 X(x)
1 d2 Y (y)
=
= 2 ,
2
2
X(x) dx
Y (y) dy
donde > 0 es la constante de separacin. Las soluciones de las respectivas ecuaciones
o
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
Al aplicar la condicin de contorno (x, y) 0 concluimos que D = 0.
o
A()eix + B()eix ey d .
0
Al denir A() = B() podemos compactar las dos integrales en slo una:
o
1
(x, 0) =
2
A()eix d = f (x) .
45
3.4. APLICACIONES
Solucin
o
F ()
.
2
2i + 0
F ()
eit d .
2
0 + 2i
El procedimiento anterior resulta util para resolver ecuaciones diferenciales lineales con
coecientes constantes.
Bibliograf Adicional
a
De la enorme literatura sobre el tema recomendamos [1] para quienes tengan inters en
e
la teor
a.
1 Elias M. Stein y Guido Weiss, Introduction to Fourier Analysis on Euclidean Spaces, Princeton Mathematical Series 32, Princeton University Press, Princeton 1971 (ISBN 0 691
08078 X).
46
CAP
ITULO 3. TRANSFORMADA DE FOURIER
Cap
tulo 4
Convolucin
o
versin 31 agosto 2009
o
Espacio S
4.1.
exp 1 1
atb
tb ta
ii) f (t) =
0
t [a, b]
2
l
k=0
ak tk es un polino-
(f |g) =
f (t)g(t) dt existe.
47
48
CAP
ITULO 4. CONVOLUCION
En particular
| f (t) |2 dt existe.
= (f |f ) =
l tn f (t) = 0 .
m
l m F (n) () = 0 m, n N
m
Luego
F () = F{f, } S .
q.e.d.
4.2.
Producto de convolucin
o
f g = p p(t) =
f (t x)g(x) dx .
Idea f
sica
Sea f (t) algn est
u
mulo (fuerza en el tiempo t, densidad de carga en la posicin t,
o
etc.). Sea g(x, t) = g(x t) la respuesta en x a un est
mulo en t. La dependencia en x t
tiene impl
cita la hiptesis de que el medio es isotrpico. Si el sistema es lineal , la respuesta
o
o
total en el punto x al est
mulo global {f (t)|t R} ser la suma de todas las contribuciones
a
elementales [dt f (t)] g(x, t), que es la convolucin p(x).
o
49
(r ) dr
= g(r ) ,
|r r |
g(r ) =
1
.
|r |
Idea matemtica
a
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
funcin una distancia x. Si f (t) y g(t) decaen violentamente para t , el traslape
o
tender rpidamente a cero si x :
a a
[f g](x) 0 .
x
50
CAP
ITULO 4. CONVOLUCION
d
dp(t)
=
dt
dt
f (t x)g(x) dx .
t
f (t x)g(x) dx =
m N
l tm p(n) (t) = l
m
m
tm f (n) (t x)g(x) dx =
luego
l tm f (n) (t x)g(x) dx = 0 ,
m
l tm p(n) (t) = 0 n, m N .
m
q.e.d.
Teorema 4.1 Sea f , g S y F (k) = F{f, k}, G(k) = F{g, k}, entonces
F{f g, k} =
2F (k) G(k)
(4.1)
Demostracin
o
1
F{f g, k} =
2
1
p(t)eikt dt =
2
dt f (t x)eikt
dx
dx f (t x)g(x)eikt
dt
1
g(x)
.
2
1
F{f g, k} =
dx
dy f (y)eiky g(x)eikx
2
1
1
= 2
dx g(x)eikx
dy f (y)eiky
2
2
51
2F (k) G(k) .
q.e.d.
4.2.1.
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).
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) .
Tambin podr
e
amos haber procedido usando (4.1), aplicando la transformada de Fourier sobre
el producto de convolucin y luego invirtiendo la transformada.
o
4.3.
52
CAP
ITULO 4. CONVOLUCION
f (t x)(x) dx = f (t)
f S .
(4.2)
Supongamos que (t0 ) > 0. Luego > 0 en cierto intervalo, ya que es continua. Podemos
adems considerar, sin prdida de generalidad, dicho intervalo como 0 < a < b.
a
e
Escojamos ahora f S tal que
f (x) =
0 = f (t = 0) =
f (x)(x) dx =
f (x)(x) dx > 0 ,
a
F(k)
G(k)
q.e.d.
53
(4.3)
Demostracin Se tiene
o
h g(t) =
h(t x)g(x) dx =
2F 1 {HG, t} =
H(k)G(k)eikt dk .
Escojamos
h (x) = f (x) ,
de modo que
1
f (t)eikt dt
H(k) = F{h(t), k} = F{f (t), k} =
2
1
1
ik
ik
=
f ()e
d =
f ()e d = F (k) .
2
2
Luego
h(x)g(x) dx = h g(t = 0)
o sea
F (k)G(k) dk
f (x)g(x) dx =
(Identidad de Plancherel)
(4.4)
En particular, si f = g:
| F (k) |2 dk
| f (t) |2 dt =
(Relacin de Parseval)
o
q.e.d.
54
CAP
ITULO 4. CONVOLUCION
Cap
tulo 5
Distribuciones temperadas
versin 7 septiembre 2009
o
5.1.
Deniciones
Denicin 5.1 Sea V un espacio vectorial sobre el cuerpo de los C con dimensin nita.
o
o
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)
Las deniciones anteriores son vlidas para espacios vectoriales de dimensin nita. Exa
o
tendmolas a espacios de dimensin continua, innita. Consideremos el espacio vectorial de
a
o
Schwartz S de funciones innitamente diferenciables y rpidamente decrecientes, el cual es
a
de dimensin innita. Sus vectores son funciones x(t), y(t), . . . S.
o
Denicin 5.3 Un funcional lineal sobre S es una funcin que acta sobre las funciones
o
o
u
x(t), y(t), . . . S, tal que
SC
y
, x + y = , x + , y
, C y x, y S.
La denicin anterior permite denir el espacio dual de S. Sin embargo, nos interesar eso
a
tudiar un subconjunto particular de l. Para ello, necesitamos introducir antes una denicin
e
o
de convergencia adicional: la convergencia fuerte.
55
56
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Denicin 5.4 Sean x1 (t), . . . , xn (t) una sucesin de funciones en S. Se dice que esta suceo
o
sin converge fuertemente a cero si
o
l tm x(k) (t) = 0
m
n
k, m = 0, 1, 2, . . .
(5.2)
xn (t) 0 .
Esto es, la convergencia fuerte es una convergencia de todas las derivadas, ms rpidaa a
mente que cualquier polinomio.
Si la sucesin x1 (t), . . . , xn (t) converge fuertemente a x(t), i.e.
o
!
xn (t) x(t) ,
signica que
!
Ejemplos
1) Si f (t) S, entonces xn (t) =
f (t) !
0
n n
1 t2 /n2
e
0 .
n
ns
t
n
1
tsm
2 /n2
et
Tomamos m > s y t = n. t var con n (si hay convergencia uniforme, la expresin anterior
a
o
debe converger a cero para todo t). Entonces
tm xn (t) = tms e1 = nms e1 .
57
5.1. DEFINICIONES
yn (t) y(t) .
Consideremos el l
mite
l
m , yn = l yn (0) = y(0) = , y .
m
yn (t) y(t) .
Tomemos el l
mite
l
m , yn = l yn (0) = y (0) = , y .
m
58
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
, x =
x(t) dt.
Linealidad
[x(t) + y(t)] dt = , x + , y .
, x + y =
Sea
!
yn (t) y(t) ,
entonces
l
m , yn = l
m
yn (t) dt =
y(t) dt = , y ,
l yn (t) dt =
m
luego S .
Hasta el momento, hemos denido slo algunas distribuciones sencillas. A continuacin
o
o
mostraremos que es posible construir innitas distribuciones, a partir de funciones llamadas
de crecimiento lento.
Denicin 5.8 Una funcin f (t) se dice de crecimiento lento si
o
o
| f (t) | < A(1 + t2 )m
para ciertos A y m.
(5.5)
Esto signica que f (t) tiene crecimiento polinomial, no exponencial. Quedan tambin excluie
das funciones singulares como 1/t.
Denicin 5.9 Sea una funcin f (t) : R C de crecimiento lento, seccionalmente continua
o
o
o
y con discontinuidades mansas. Denimos el funcional f asociado a la funcin f (t) de la
siguiente manera:
f, x =
f (t)x(t) dt .
(5.6)
Observemos que si x(t) pertenece a S, esto es precisamente lo que permite que f sea de
crecimiento lento (i.e., polinomial), y an as la integral en (5.6), y por ende el funcional
u
asociado a f , existan.
Proposicin 5.1 El funcional f S .
o
59
5.1. DEFINICIONES
f , x + y =
f (t)y(t) dt = f , x + f , y
f (t)x(t) dt +
yn (t) y(t) .
Entonces
f , yn y
f , yn y
para ciertos A, m.
k, q, t .
En particular,
t,
< ,
f , yn y
A(1 + t2 )m
(1 + t2 )m+1
Finalmente
f , yn y
dt para
arbitrario y n > N .
dt
=A .
1 + t2
q.e.d.
60
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Es importante hacer notar que lo que hemos hecho es construir una distribucin a partir
o
de una funcin, y que demostramos que toda funcin de crecimiento lento tiene una distribuo
o
cin asociada. Sin embargo, no todas las distribuciones provienen de funciones. Pero ciertas
o
propiedades de las distribuciones asociadas a funciones nos servirn para inspirar deniciones
a
y mostrar propiedades vlidas para toda distribucin.
a
o
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 .
Demostracin
o
f = g = f , x = g, x
xS .
Supongamos que f = 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 funcin de prueba x(t), tal que x(t) > 0 si t (a, b) y x(t) = 0 si t (a, b),
o
entonces
f (t)x(t) dt =
g(t)x(t) dt = f = g ,
q.e.d.
Sean f , f dos funciones de crecimiento lento, continuas en < t < . Sean f , f las
distribuciones correspondientes. Denimos la derivada de la distribucin f como
o
f =f .
Con ello,
f ,x = f ,x =
f (t)x(t) dt = f (t)x(t)
f (t)x (t) dt = f , x
. (5.7)
Observemos cmo este resultado, y por lo tanto la denicin (5.7), es consistente con el
o
o
ejemplo 3 de este cap
tulo.
A la luz de este resultado, proponemos la siguiente denicin.
o
Denicin 5.10 Si S denimos la derivada de la distribucin, , de la siguiente manera:
o
o
, x = , x
xS .
(5.8)
61
5.1. DEFINICIONES
Proposicin 5.2 as denida pertenece a S .
o
yn (t) y(t) ,
entonces
l
m , yn = l
m , yn = , y = , y .
S ,
x S .
(5.9)
1 + sgn t
1
= 2
h(t) =
si t > 0
si t = 0
si t < 0
1
1/2
0
Tomamos h(t) como funcional, i.e. consideramos el funcional asociado h, denido por
h, x =
x(t) dt x S .
0
Evaluemos su derivada
x (t) dt = x(t)
h , x = h, x =
0
= x(0) = , x ,
(5.10)
62
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
luego
h =
(5.11)
Este resultado es importante. Hemos logrado en algn sentido diferenciar una funcin disu
o
continua. El espacio de las distribuciones aparece como una generalizacin del espacio de
o
funciones, en el cual la derivada existe incluso para funciones discontinuas. Sin embargo, esta
analog que puede sernos util de modo informal, no debe ser tomada como rigurosa. No es
a,
la funcin discontinua la que estamos derivando, sino el funcional asociado a ella. S es cierto
o
que, mientras en el espacio de funciones las derivadas no siempre estn denidas, en el espacio
a
de distribuciones siempre lo estn, y, por ejemplo, como muestra (5.9), toda distribucin es
a
o
innitamente diferenciable.
Proposicin 5.3 Para distribuciones la diferenciacin es lineal, es decir,
o
o
( + ) = + .
(5.12)
p
a
f , x = f, x =
f (t)x (t) dt
= f (t)x(t)
f (t)x (t) dt
a+
Df (t)x(t) dt f (t)x(t)
= f (a+ ) f (a ) x(a) + Df , x
= Df , x + px(a) = Df , x + p a , x .
a+
Df (t)x(t) dt
a+
63
5.1. DEFINICIONES
Por lo tanto, en el espacio de las distribuciones temperadas se satisface:
f = f = Df + pa
(5.13)
f = Df +
pk ak
(5.14)
k=1
(n)
(n1)
(n2)
= D n f + p 0 a
+ p 1 a
+ + pn1 a ,
64
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Denicin 5.12 El soporte de una distribucin es el menor conjunto cerrado fuera del cual
o
o
tiene valor nulo.
Ejemplo De acuerdo a nuestra denicin tiene soporte {0} y a tiene soporte {a}.
o
Denicin 5.13 La distribucin temperada S tiene valores g(t) en (a, b) si g tiene
o
o
valor nulo en (a, b).
5.2.
Sucesin de distribuciones
o
m5
m4
m2m3
x1 x2 x3 x4 x5
mn
xn
(x)
m(x)
x
m(x)
m(x) =
m(x) =
mi
(x ) dx
i=1
Podr
amos decir que una sucesin de distribuciones discretas tiende a una distribucin
o
o
continua, usando los trminos entre comillas sin mayor precisin. Para formalizar esta idea,
e
o
denamos qu vamos a entender por convergencia de una sucesin de distribuciones.
e
o
Denicin 5.14 Convergencia de una sucesin de distribuciones
o
o
Una sucesin de distribuciones {n } converge a una distribucin si y slo si x S
o
o
o
tenemos que l
m n , x = 0, i.e.
n
l n = l
m
m n , x = , x
xS .
Ejemplo
1) Consideremos la sucesin de funciones
o
2
fn (t) =
si | t | <
1
n
1
si | t | >
n
(5.15)
65
3/2
f3
f2
1/2
-1
-1/2 -1/3
f1
1/3 1/2
Consideremos ahora los respectivos funcionales asociados y veamos cmo acta uno de ellos
o
u
sobre una funcin x cualquiera. Usando el teorema del valor medio:
o
fn , x =
1
n
1
n
n
n 2
x(t) dt =
x( ) ,
2
2 n
con
1
1
< < ,
n
n
luego
l
m fn , x = x(0) = , x ,
Esto puede inducirnos a pensar que la es una funcin, que es nula en todo el eje
o
real, salvo en el origen, donde es innita. Esto puede servir como imagen mental, pero es
importante enfatizar que en rigor no es correcto, y que el l
mite anterior slo existe en
o
el sentido de distribuciones. La sucesin fn converge a algo, pero ese algo no es una
o
funcin (lo cual nos muestra, incidentalmente, que el espacio de funciones no es un conjunto
o
cerrado).
En el ejemplo anterior, se dice que la sucesin fn es una representacin de la . Existen
o
o
muchas representaciones de la . De hecho, el ejemplo anterior es un caso particular de la
siguiente proposicin:
o
Proposicin 5.6 Sea g(t) una funcin seccionalmente continua, con
o
o
g(t) dt = 1
| g(t) | dt < .
66
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
fn , x = n
g(nt)x(t) dt =
g(u)x
u
n
du .
Interesa el l
mite cuando n . Busquemos una mayorante. Sea M >
entonces
u
n
g(u)x
du
| g(u) | x
mx {| x(t) |},
a
<t<
u
n
| g(u) | du < .
du < M
u
l
m fn , x = l
m
g(u)x
n
n
n
u
du =
g(u) l x
m
n
n
du = x(0)
g(u) du = x(0) ,
por lo tanto
l fn = .
m
q.e.d.
En los siguientes ejemplos se muestran diversas representaciones de la , generadas gracias
a la proposicin anterior.
o
Ejemplos
1) Una ilustracin del caso anterior.
o
1
2
g(t) = et ,
Formemos la sucesin
o
de modo que
g(t) dt = 1 .
n
2 2
fn (t) = en t .
f3
f2
f1
t
67
(5.16)
2) Otra ilustracin.
o
g(t) =
1 sen(t)
,
t
g(t) dt = 1 .
de modo que
n sen(nt)
.
nt
f3
f2
f1
t
Nuevamente obtenemos, a partir de la conclusin anterior, el resultado para el l
o
mite:
sen(nt)
= (t)
n
t
l
m
0
si | t | > 1
g(t) = t + 1
si 1 < t < 0 .
t + 1 si 0 < t < 1
La sucesin, usando fn = ng(nt), tenemos
o
0
si | t | > 1/n
2
fn (t) = n t + n
si 1/n < t < 0 .
2
(5.17)
68
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
f3
2
f2
f1
-1
-1/2 -1/3
En el l
mite,
1/3 1/2
l fn = .
m
1 1
,
1 + t2
1
1
n
=
2
1 + (nt)
n
1
1
+ t2
n2
1
= .
2 + t2
| fn (x) | dx +
l
m
| fn (x) | dx = 0 ,
> 0 jo
l
m
cumple
fn (x) dx = 1 ,
> 0 jo
l fn = .
m
Demostracin: Ejercicio.
o
Este ejemplo sugiere, una vez ms, que uno podr imaginarse la como una funcin que
a
a
o
es nula en todo punto distinto del origen, pero en el origen es sucientemente innita como
para que la integral en un intervalo que contiene al origen sea uno. Por supuesto, todas estas
curiosas propiedades de la son curiosas slo si insistimos en pensarla como una funcin.
o
o
Todo es completamente consistente dentro del espacio de distribuciones.
Ya hemos visto que las distribuciones no slo tienen derivada, sino que son innitamente
o
diferenciables. Los siguientes teoremas muestran que la derivada de distribuciones se puede
69
intercambiar con el l
mite, y con la suma innita, dos propiedades altamente no triviales
cuando se trata de funciones usuales.
Teorema 5.2 Si la sucesin de distribuciones {n } converge a la distribucin cuando
o
o
n , entonces la sucesin de derivadas {n } converge a , es decir,
o
l n =
m
l n
m
= .
(5.18)
Demostracin
o
n , x = n , x
luego
l n = .
m
q.e.d.
Teorema 5.3 Toda serie convergente de sucesiones puede ser derivada trmino a trmino
e
e
dentro de la sumatoria.
=0
es convergente. Sea
n =
.
=0
Se tiene
=0
.
=0
l n =
m
.
=0
l n
m
es decir,
= l n ,
m
n
= l
m
=
=0
.
=0
q.e.d.
70
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Aplicaciones
1) En el espacio de distribuciones, una serie trigonomtrica puede converger aun cuando sus
e
coecientes ak crezcan polinomialmente cuando k (en contraste a lo que ocurre con
funciones, donde si una serie converge sus trminos deben anularse para k ; por ejemplo,
e
los coecientes de Fourier).
Consideremos coecientes ak tales que ak < C | k | , con C constante y > 0, cuando
| k | . Denimos la funcin
o
f (x) =
ak
e2ikx ,
(2ik)+2
k=
k=0
donde . Como el trmino general de esta serie est acotado por C / | k |2 cuando
e
a
| k | , vemos que la serie es uniformemente convergente, de modo que f no slo est bien
o
a
denida, sino que es continua.
Consideramos ahora la distribucin asociada f . (5.9) dice que f es innitamente difereno
ciable. En particular,
(+2)
(x) =
ak e2ikx .
k=
k=0
Esta serie existe como distribucin, no como funcin porque no converger Agregar un
o
o
a.
trmino con k = 0 no afecta la convergencia de la serie, obtenindose nalmente que la serie
e
e
trigonomtrica
e
ak e2ikx
k=
l fn
m
= l fn = .
m
n
0
si | t | > 1/n
2
fn (t) = n t + n
si 1/n < t < 0 .
2
(5.19)
71
f3
2
f2
f1
-1
-1/2 -1/3
1/3 1/2
El l
mite:
l fn = .
m
Su derivada:
fn (t) = n2
2
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
Y su l
mite ser, de acuerdo al resultado anterior,
a
l fn = .
m
72
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Del mismo modo como lo hicimos con las representaciones de la , este ejemplo nos permite
tener una imagen mental para , aun cuando el unico sentido real es como una distribucin.
o
El ejemplo, sugiere, en todo caso, que es una funcin impar (en rigor, es el l
o
mite, como
distribucin, de una sucesin de funciones impares), lo cual tiene sentido, pues la es una
o
o
funcin par (i.e., es el l
o
mite, como distribucin, de una sucesin de funciones pares). Lo
o
o
cual reeja por supuesto el resultado anlogo en funciones reales, es decir, que la derivada de
a
una funcin par es, a su vez, una funcin impar. Inspirados por estos resultados, entonces,
o
o
formalicemos el concepto de paridad en distribuciones.
Denicin 5.15 Paridad en distribuciones
o
Decimos que es una distribucin par si
o
, x(t) = , x(t) .
(5.20)
(5.21)
Ejemplos
Sea x(t) S arbitraria. Denimos y(t) = x(t).
1) es una distribucin par. Demostracin:
o
o
, x(t) = , y(t) = y(0) = x(0) = , x(t) .
2) es una distribucin impar. Demostracin:
o
o
, x(t) = , y(t) = , y (t) = y (0) = x (0) = , x(t) ,
ya que si y(t) = x(t) esto implica que y (t) = x (t).
Los dos ejemplos anteriores concuerdan con la intuicin que pudimos ganar mirando las
o
representaciones de y . Ahora, sin embargo, los hemos establecido rigurosamente.
3) Si f es una funcin de crecimiento lento con paridad denida, entonces la distribucin
o
o
o
asociada f tiene la misma paridad de f . (Demostracin como ejercicio.)
Notacin usada
o
Hemos visto que la analog entre distribuciones y funciones es, a lo menos, sugerente. Por
a
ello, en muchos textos de F
sica se escriben las distribuciones como si fueran funciones. En
particular, se generaliza la denicin (5.6) para distribuciones que no provienen de funciones:
o
, x =
(t)x(t) dt ,
73
aun cuando (t) no es una funcin y no tiene sentido estricto ni el producto de una distrio
bucin por una funcin, ni la integral. Es slo una notacin util, y la utilizaremos frecuenteo
o
o
o
mente. En particular, con esta notacin podemos reescribir la condicin de paridad de una
o
o
distribucin. Si es par,
o
(t )x(t ) dt ,
(t)x(t) dt =
, x(t) =
es igual a
, x(t) =
(t)x(t) dt ,
Si es impar, anlogamente:
a
(t)x(t) dt =
(t)x(t) dt .
(distribucin par) ,
o
(distribucin impar) .
o
(5.22)
Esta notacin de distribuciones como si fueran funciones se utiliza tambin para la delta.
o
e
Con ella, algunas de las propiedades ya demostradas para esta distribucin toman la forma:
o
i)
, x =
(t)x(t) dt = x(0) .
ii)
a , x =
a (t)x(t) dt =
(t a)x(t) dt = x(a) .
, 1 =
(t) dt = 1 .
74
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
vii) La notacin anterior nos permite demostrar fcilmente la siguiente importante relacin:
o
a
o
(kt) =
1
(t)
|k|
(5.23)
Demostracin Sea (kt) con k = 0. Consideremos la delta actuando sobre una funcin
o
o
x S cualquiera:
sgn(k)
u du
k |k|
sgn(k)
u du
1
(u)x
=
=
x(0) =
k |k|
|k|
(kt)x(t) dt = sgn(k)
(u)x
(t)
x(t) dt .
|k|
q.e.d.
(f (t)) =
i=1
1
(t ti ) .
| f (ti ) |
(5.24)
(f (t))x(t) dt .
(f (t)), x =
(f (t)) =
(f (ti )(t ti )) =
i=1
i=1
1
(t ti ) .
| f (ti ) |
q.e.d.
5.3.
Producto de distribuciones
Tambin es posible denir el producto entre distribuciones, con ciertas restricciones, como
e
veremos a continuacin.
o
75
(5.25)
si f x S.
Proposicin 5.7
o
f g =gf .
(5.26)
Demostracin
o
f (t)g(t)x(t) dt = f , gx = g f , x ,
f g, x = g, f x =
luego
f g =gf .
q.e.d.
(5.27)
Ejemplos
1) Si p es un polinomio, entonces
En efecto,
En particular,
p = p(0) .
p , x = , px = p(0)x(0) = p(0) , x .
t = 0 .
En los libros se suele encontrar la notacin t (t) = 0. Esta parece una igualdad de funciones.
o
Si se considera a la delta de Dirac como una funcin nula en todas partes, salvo en cero donde
o
mites.
76
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
2) Si p es un polinomio,
p = p(0) p (0) .
En efecto,
p , x = , px = (px) (0)
= p(0)x (0) p (0)x(0)
= p(0) p (0), x .
En particular,
t = ,
t2 = 0 .
Todo esto parece muy natural viendo la representacin de vista anteriormente, pero
o
siempre hay que tener presente que stas no son igualdades entre funciones.
e
El siguiente paso ser poder denir el producto entre dos distribuciones arbitrarias. Sin
a
embargo, tal como hemos denido el producto, no existe una extensin obvia a las deniciones
o
(5.25) y (5.27) para el caso de dos distribuciones arbitrarias 1 , 2 , ya que, por ejemplo, el
producto 1 , 2 x no existe, pues no est denido el producto entre una distribucin 2
a
o
5.4.
Hasta el momento, hemos mostrado que las distribuciones tienen al menos un par de
propiedades matemticamente muy interesantes: ser siempre diferenciables (y serlo innitas
a
veces), y que una sucesin de funciones puede no converger a ninguna funcin, pero s convero
o
ger como distribucin. En esta seccin, mostraremos que las distribuciones permiten extender
o
o
el tipo de ecuaciones diferenciales que se pueden resolver, lo cual es una propiedad de inters
e
no slo matemtico, sino f
o
a
sico.
Consideremos la ecuacin diferencial
o
t
df
=0.
dt
C1 = cte.
C2 = cte.
t>0
.
t<0
Puesto que f (t) debe ser una funcin continua (de otro modo no ser diferenciable), se debe
o
a
o
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 solucin del tipo:
o
f (t) = C1 + (C2 C1 ) h(t) ,
donde
h(t) =
1 + sgn(t)
.
2
77
es decir, f es solucin.
o
Una consecuencia importante, entonces, de haber construido el espacio de distribuciones
es que podemos extender el espacio de soluciones de ecuaciones diferenciales y, por ende, el
conjunto de ecuaciones diferenciales que somos capaces de resolver.
Conviene entonces tener presente las propiedades de la derivada para el producto de
distribuciones denido en la Sec. 5.3, que resultan ser anlogas a la regla de Leibniz para
a
funciones reales.
Teorema 5.4
=f g+fg ,
(5.28a)
(p ) = p + p .
(5.28b)
fg
o bien
Demostracin
o
(p ) , x = p , x = , p x
Comparando,
(p ) = p + p .
q.e.d.
5.5.
Convergencia dbil
e
(5.29)
78
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Una sucesin fn que converge dbilmente, no signica necesariamente que converge, como
o
e
funcin, en algn sentido usual: uniformemente, puntualmente o en la norma. Lo unico que
o
u
fn f , x =
fn f , x =
Elegimos A tan grande que se satisfagan, simultneamente, las dos condiciones siguientes:
a
A
.
3
Este A existe pues fn f crece a lo ms como potencias, mientras que x decae ms rpido
a
a a
unif
que cualquier potencia. Como fn f 0 en el intervalo [A, A], se tiene que para cierto
n
N N,
<
6AM
| x(t) | dt =
A
2AM = ,
6AM
3
n > N .
fn f , x
<,
n > N .
q.e.d.
79
x S ,
=0.
1
Existe convergencia de fn en algn otro sentido? No, pues l eint no existe, salvo
u
m
n
2
en t = 2, Z.
Observemos cuan anti-intuitivo puede ser el concepto de convergencia dbil. eint es una
e
funcin compleja, cuyas partes real e imaginaria oscilan entre 1 y 1, y cuando n crece, oscilan
o
cada vez ms rpido, llenando dicho intervalo. Si tuviramos que representar de algn modo
a a
e
u
el l
mite de fn , terminar
amos con un par de bandas de ancho 2 en torno al eje de las abscisas
y al eje de las ordenadas en el plano complejo. Sin embargo, como distribuciones la sucesin
o
o
e
o
converge a 0, y por tanto la sucesin de funciones converge dbilmente a la funcin 0.
2) Sea
fn (t) =
n N,
0,
n,
si t [1/n, 2/n]
.
si t [1/n, 2/n]
Pero adems:
a
2/n
fn , x = n
2/n
x(t) dt = n x(tn )
1/n
dt ,
1/n
fn , x = x(tn ) x(0) = , x .
Luego
fn ,
con lo cual fn converge dbilmente, pero no a una funcin. Sin embargo, fn s converge a la
e
o
l fn , x = 0, x = 0 .
m
80
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
fn (t) =
si | t | < 1/n
si | t | > 1/n
para n = 1, 2, 3, . . .
El l
mite de la sucesin es:
o
0
l fn (t) =
m
t=0
.
t=0
1
1
erfc(nt) =
2
nt
eu du
gn (t) = ee
nt
m
l
m fn , x = l
fn (t)x(t) dt .
fn (t)x(t) dt
| fn (t) | | x(t) | dt
| x(t) | dt < ,
l
m
Pero el l
mite de fn es
fn (t)x(t) dt =
l fn (t)x(t) dt .
m
l fn (t) = 1/2
m
n
si t < 0
si t = 0 ,
si t > 0
l
m fn , x =
h(t)x(t) dt = h, x .
81
l
m gn , x =
pero el l
mite de gn es
l gn (t)x(t) dt ,
m
l gn (t) 1/e
m
n
si t < 0
si t = 0 .
si t > 0
h(t)x(t) dt = h, x
l
m gn , x =
l gn = h ,
m
q.e.d.
Bibliograf Adicional
a
El primer libro sobre teor de distribuciones es el de Schwartz [1]; la primera publicacin
a
o
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 aplicacin de la teor de distribuciones a las ecuaciones difereno
a
ciales, una de las referencias ms importantes es el primer tomo del libro de Hrmander [5]
a
o
(en total son 4 tomos).
Finalmente, una referencia ms al estilo y contenidos de este curso es [6].
a
1 Lauren Schwartz, Thorie des Distributions, Hermann, Par 1998 (ISBN 2 70565 551 4).
e
s,
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 Dierencial Equations, Academic Press, Nueva York, 1967 (ISBN 0 12 279503 2).
5 Lars Hrmander, The Analysis of Linear Dierencial Operators I: Distribution Theory and
o
Fourier Analysis, Grundlehren der Mathematischen Weissenschaften 25, Springer-Verlag,
Berl 1990 (ISBN 0 38752 343 X).
n,
6 Lauren Schwartz, Mthodes mathmatiques pour les sciences physiques, Hermann, Par
e
e
s,
1998 (ISBN 2 70565 213 2).
82
CAP
ITULO 5. DISTRIBUCIONES TEMPERADAS
Cap
tulo 6
Distribuciones y transformada de
Fourier
versin 10 septiembre 2007
o
En este cap
tulo extenderemos la denicin de transformada de Fourier al espacio de diso
tribuciones. Lo haremos de modo anlogo a la derivada de una distribucin, la cual denimos
a
o
en trminos de la derivada de funciones.
e
Sea f S. Sabemos que F{f, k} S.
Denicin 6.1 Transformada de Fourier de un funcional.
o
Sea f S el funcional asociado a f . Denimos F{f } S por:
F{f , k} = F{f, k} .
Podemos demostrar entonces que la transformada de Fourier de un funcional, equivale a
tomar la transformada de Fourier de la funcin de prueba:
o
Proposicin 6.1
o
F{f }, x = f , F{x}
Demostracin
o
F{f }, x =
dk F{f, k}x(k) =
1
=
dt f (t)
2
= f , F{x} .
1
dt f (t)eikt x(k)
2
dk
dk x(k)eikt =
dt f (t)F{x, t}
q.e.d.
Esta proposicin motiva la siguiente denicin.
o
o
Denicin 6.2 Transformada de Fourier de una distribucin. Sea S y x S arbitrario.
o
o
Denimos
F{}, x = , F{x}
(6.1)
83
84
CAP
ITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
b) Sea xn x. Entonces
l
m
F{}, xn x = l
m
, F{xn x} .
l
m
F{}, xn x = , l F{xn x}
m
n
=
=
1
l
m
[xn (t) x(t)]eit dt
,
n
2
1
,
l [xn (t) x(t)]eit dt
m
2 n
= , F{ l (xn x)}
m
n
= F{}, l (xn x)
m
n
q.e.d.
Ejemplos
1) La delta . Sea x S arbitrario. Entonces
F{}, x = , F{x} =
1
=
2
1
,
2
eist x(t) dt
x(t) dt =
1
x(t) dt =
2
1
,x
2
Luego
1
F{} =
.
2
(6.2)
85
2) La derivada de la delta . Sea x S arbitrario.
F{ }, x = , F{x} =
1
,
2
eist x(t) dt
d
1
1
ist
=
e x(t) dt
x(t) eist dt
=
ds
s
2
2
s=0
1
1
=
x(t)iteist
dt =
x(t)it dt
2
2
s=0
it
it
x(t) dt = , x .
=
2
2
Entonces
s=0
(it)
F{ } =
.
2
(6.3)
(it)n
F{ (n) } =
.
2
(6.4)
3) En general,
x S
(6.5)
(6.6)
(6.7)
86
CAP
ITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Demostracin
o
F 1 {}, x = , F 1 {x} =
1
,
2
dt x(t)eit
{}, x =
1
,
2
dt x(t)eit
= , F{x} = F{}, x ,
de modo que
F{} = F 1 {}
si es una distribucin par.
o
q.e.d.
1
F{1} = .
2
(6.8)
Entonces
1
F{1, } = () ,
2
1
F{} =
.
2
(6.9)
(6.10)
87
Y puesto que de modo puramente simblico escribimos
o
1
F{1, } =
2
1
F{} =
2
1 eit dt ,
(t)eit dt ,
1
2
(6.11)
1
(t)eit dt =
.
2
eit dt ,
(6.12)
Observemos, sin embargo, que aun cuando la integral en el lado derecho de (6.11) no
existe en el sentido ordinario, uno puede escribir
1
2
eit dt =
1
2
(cos t + i sen t) dt =
2
2
cos t dt ,
0
sen t dt = 0 .
m
P sen t dt = l
cos t dt =
0
0 si = 0
,
si = 0
(6.13)
Demostracin
o
(F{})(n) , x = (1)n F{}, x(n) = (1)n , F{x(n) }
= (1)n , (it)n F{x} = (it)n , F{x}
= F{(it)n }, x
As
(F{})(n) = F{(it)n } S .
q.e.d.
88
CAP
ITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Proposicin 6.7
o
F{(n) } = (i)n F{} .
(6.14)
Demostracin Ejercicio.
o
Observemos que si f es una funcin de crecimiento lento, entonces F{f }, considerada
o
como una funcin, no lo es necesariamente. Por ejemplo, f (t) = 1 es de crecimiento lento,
o
1
a ,
2
x(t)eiat dt =
x(t)eit dt
1
eiat , x
2
es decir,
1
F{a } = eiat .
2
Sustituyendo a por a:
1
F{a } = eiat .
2
(6.15)
89
Luego
2
F{a + a } = cos(at)
2
y
2i
F{a a } = sen(at) .
2
En consecuencia,
(a + a ) = F 1 {cos(at)} ,
2
F{sen(at)} = i
(a a ) = F 1 {sen(at)} ,
2
F{cos(at)} =
(6.16)
(6.17)
donde hemos usado el hecho de que a + a es una distribucin par y que a a es impar.
o
En textos de F
sica encontraremos las relaciones (6.16) y (6.17) en la forma:
[( 0 ) + ( + 0 )] ,
2
[( 0 ) ( + 0 )] .
F{sen(0 t), } = i
2
F{cos(0 t), } =
90
CAP
ITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
oscilacin? Si se tratara de ondas sonoras, por ejemplo, cul deber ser la transformada de
o
a
a
Fourier de un tono puro? En este caso, como hay un unico modo de oscilacin, el soporte de
o
la transformada de Fourier debe ser un solo punto. Pero no podr tener altura nita, pues
a
su antitransformada ser cero (un solo punto no afecta la integral). Con lo que sabemos de
a
representaciones de la delta, nos damos cuenta que lo unico que podr ser la transformada
a
de un coseno o un seno es la distribucin .
o
Terminemos este Cap
tulo encontrando una representacin util para la delta. Considereo
mos la funcin dientes de sierra:
o
1
2 (t + ) t < 0
f (t) = 0
t=0
1
2 (t ) 0 < t
f (t )
1/2
1/2
La funcin es peridica:
o
o
f (t + 2m) = f (t) m Z .
Es pues expandible en una serie de Fourier impar:
b sen(t) ,
f (t) =
=1
con
b =
entonces
1
f (t) =
=1
sen(t)
.
f (t ) sen(t ) dt =
1
,
91
Consideremos la distribucin asociada
o
1
f (t) =
sen(t)
=1
y derivmosla:
e
f (t)
=1
sen(t)
=1
sen(t)
f (t)
2n
n=
cos(t) .
=1
1
2
cos(t) =
=1
2n
n=
1
,
2
es decir,
2n
n=
1
1
=
+
2
cos(t) .
=1
cos(t) ,
=1
t [, ] .
(6.18)
92
CAP
ITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Cap
tulo 7
Convolucin de distribuciones
o
versin 28 septiembre 2009
o
7.1.
Deniciones
y z, x =
[y z](s)x(s) ds =
y z, x =
y(u)x(u + t) du z(t) dt =
x(u + t)y(u)z(t) dt du
93
94
CAP
ITULO 7. CONVOLUCION DE DISTRIBUCIONES
La ultima igualdad tiene sentido slo si la funcin de u z(t), x(u + t) S. Si lo es, podemos
o
o
escribir.
y z, x = y(u), z(t), x(u + t) .
El lado derecho es un nmero complejo, que se puede reescribir:
u
y z, x
y(u)x(u + t) du z(t) dt =
Este es otro nmero complejo, que tiene sentido slo si la funcin de t y(u), x(u + t) S.
u
o
o
Por lo tanto, resumiendo,
y z, x = y z, x = y(u), z(t), x(u + t)
u
Proposicin 7.1 Si x, z S entonces z(t), x(u + t) S(u).
o
Demostracin Sabemos que si x, z S entonces:
o
l tm x(n) (t) = 0 y
m
l tm z (n) (t) = 0 ,
m
Denamos
m y n N .
z(t)x(u + t) dt .
g (u) =
.
.
.
z(t)x (u + t) dt
z(t)x(n) (u + t) dt .
g (n) =
l
m
| u |
um g (n) (u) =
z(t) l
m
| u |
um x(n) (u + t) dt = 0 n, m N .
Luego g(u) S.
q.e.d.
Denicin 7.2 Producto de convolucin entre una distribucin y un funcional asociado a una
o
o
o
funcin
o
Sean S , f S. Denimos
[ f ](u) = t , f (u t) =
(t)f (u t) dt ,
7.2. PROPIEDADES DE LA CONVOLUCION DE DISTRIBUCIONES
95
usando la notacin como funciones. Esta denicin es consistente con los resultados anteriores.
o
o
f, x
[ f ](u)x(u) du
(t)f (u t) dt
du x(u)
x(u)f (u t) du
dt (t)
dt (t)
x(u) du = cte S .
x(v + t) dv =
f (v), x(v + t) =
Sin embargo, al menos es una funcin innitamente derivable. El problema anterior se preo
senta por supuesto tambin cuando se trata de dos distribuciones arbitrarias.
e
Denicin 7.3 Producto de convolucin de distribuciones Sean , S . Si (t), x(t + u)
o
o
S(u) x S, se dene como:
, x (u), (t), x(u + t)
7.2.
96
CAP
ITULO 7. CONVOLUCION DE DISTRIBUCIONES
S Sean , , S , con
.
(u), y(u + t) S(t) y
entonces
( ) , x = ( )(u), (t), x(t + u)
= (v), (u), (t), x(t + u + v)
luego
( ) = ( ) = .
3) Distributividad?
S Sean , , S , con (t), x(t + u) S(u) x S, entonces
.
( + ) , x = ( + )(u), (t), x(t + u)
= (u), (t), x(t + u) + (u), (t), x(t + u)
= , x + , x = + , x .
4) La es elemento neutro derecho:
, x = (u), (t), x(t + u)
por lo tanto, S , tenemos
= (u), x(u) = , x ,
(7.2)
= , x = , x .
(7.3)
= (u), x(a + u) .
97
(7.4)
a b = a+b
(7.5)
8) Existen divisores del cero. Sea C una funcin constante en un intervalo nito y cero en el
o
resto.
C =C =C =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 = = ,
aun si = 0,
9) Las ecuaciones = o = pueden tener ms de una solucin para , dados.
a
o
o
Por ejemplo, para = y = 0 la ecuacin = tiene como soluciones = 0, = C
entre otras.
Las propiedades revisadas en esta seccin muestran que, a diferencia de lo que ocurre en el
o
espacio de funciones, el producto de convolucin de distribuciones s tiene un elemento neutro
o
(), es decir, {S , +, } tiene estructura de anillo unitario. Por otra parte, en el Cap. 4 vimos
que la convolucin se puede interpretar como una medida del traslape entre dos funciones.
o
Ahora, sin embargo, vemos que dos importantes operaciones sobre funciones (la derivacin
o
y la traslacin), no son sino casos particulares de convolucin. De hecho, las propiedades de
o
o
grupo de la traslacin (es decir, la propiedad de que la composicin de dos traslaciones es
o
o
otra traslacin), se derivan simplemente de la conmutatividad de la suma de nmeros reales
o
u
[ver (7.5)].
7.3.
Uso de convolucin en F
o
sica
V
Dispositivo
98
CAP
ITULO 7. CONVOLUCION DE DISTRIBUCIONES
A Mide la corriente i(t) que circula por el sistema. Esta corresponde a la respuesta del
sistema frente a lo que lo perturba.
En este problema f
sico, si conocemos la fem e(t), nos interesa determinar la respuesta
i(t) para todo t.
Esperamos, intuitivamente, que se satisfagan las siguientes propiedades:
i Si e(t) = 0 para t < t1 , entonces i(t) = 0 para t < t1 . (Causalidad.)
ii Si a las excitaciones e1,2 (t) les corresponden respuestas i1,2 (t), entonces a una excitacin
o
e1 (t) + e2 (t) le corresponde una respuesta i1 (t) + i2 (t). (Linealidad.)
iii Si a la excitacin e(t) le corresponde la respuesta i(t), entonces a e(t a) le corresponde
o
i(t a). (Desplazamiento.)
iv Si a la excitacin en (t) le corresponde la respuesta in (t), entonces a l en (t) le correso
m
n
(7.6)
As pues, basta conocer la respuesta de un sistema (cualquier sistema con las premisas ante
riores, esperables para un sistema f
sico) a un est
mulo elemental, para conocer la respuesta
del sistema a cualquier otro est
mulo, a travs del producto de convolucin. Situaciones simie
o
lares se presentan en otros problemas f
sicos: basta conocer el campo elctrico producido por
e
una carga puntual para saber el campo elctrico producido por una distribucin arbitraria
e
o
de carga.
A continuacin damos las l
o
neas generales de una eventual demostracin del anterior
o
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.
99
t (t) =
del sistema, =
G (t t ) =
iv. Sea e(t) nula para t < t0 , de crecimiento lento, seccionalmente continua y derivable, de
modo que e S existe.
e, x =
x(t ) =
e(t)x(t) dt = l
m
(t t ), x
l
m
Si e(t) = l
m
respuesta de la forma
N
(t) = l
m
7.4.
G(t t ) = G(t) l
m
(t t ) = G e .
G(r ) = 4(r ) .
(7.8)
(7.9)
100
CAP
ITULO 7. CONVOLUCION DE DISTRIBUCIONES
2
d
d
a
L corresponder al Laplaciano dt2 para un problema electrosttico, a dt2 + 2 para un oscilador
a
2
d2
armnico, etc. Para un problema en ms de una dimensin, el Laplaciano ser dx2 + dy2 ; o
o
a
o
a d
2
d
d
podr
amos tener una ecuacin de ondas, en cuyo caso L = dx2 v12 dt2 . Como L es lineal,
o
existen tcnicas generales, sistemticas, para resolver el problema homogneo asociado a (7.9),
e
a
e
L(t) = 0 .
(7.10)
La solucin al problema f
o
sico general ser una superposicin de la solucin general al proa
o
o
blema homogneo (7.10), y una solucin particular del problema inhomogneo (7.9). Pero,
e
o
e
cmo encontrar esta solucin particular, que nos permite resolver el problema completo?
o
o
Ahora tenemos la respuesta: basta con resolver el problema con una inhomogeneidad
puntual :
LG(t) = (t) .
(7.11)
A la solucin de esta ecuacin se le llama la funcin de Green del operador diferencial L.
o
o
o
Una vez hallada la funcin de Green, la solucin del problema general (7.9) ser simpleo
o
a
mente el producto de convolucin entre la funcin de Green y la inhomogeneidad f (t) (es
o
o
decir, el est
mulo no puntual):
(t) = [G f ](t) .
(7.12)
La funcin de Green, entonces, nos da una manera sistemtica de encontrar la solucin
o
a
o
particular de la ecuacin inhomognea (7.9), y as resolver un problema f
o
e
L(t) =
Cap
tulo 8
La funcin Gamma
o
versin 5 octubre 2009
o
En numerosos problemas en F
sica, tales como la normalizacin de la funcin de onda
o
o
de Coulomb y en el cmputo de probabilidades en mecnica estad
o
a
stica, aparece la funcin
o
Gamma. Una razn por la cual esto sucede es porque problemas de combinatoria normalmente
o
involucrarn el clculo de un factorial y, como veremos, la funcin Gamma es la generalizacin
a
a
o
o
del factorial a nmeros complejos arbitrarios. Pero adems, la funcin Gamma resulta estar
u
a
o
relacionada con muchas otras funciones especiales en F
sica, y ello hace que esta funcin
o
est presente en numerosas aplicaciones. Todo esto hace que su estudio sea relevante, lo que
e
haremos en este cap
tulo en forma somera.
8.1.
La funcin factorial
o
Consideremos la integral:
ex dx =
0
1 x
e
=
0
1
.
xn ex dx =
0
n!
.
n+1
n! =
xn ex dx ,
n = 1, 2, 3. . .
0! =
dx = e
=1.
As tenemos en general,
,
n! =
xn ex dx ,
0
101
n = 0, 1, 2. . .
(8.1)
102
CAP
ITULO 8. LA FUNCION GAMMA
8.2.
La funcin Gamma
o
(z) =
tz1 et dt ,
Re z > 0 .
(8.2)
Vale decir, es una generalizacin de la funcin factorial para nmeros complejos con parte
o
o
u
real positiva.
Observemos que:
Cuando t , la funcin et domina cualquier potencia. Cuando t 0, | et tz1 |
o
Re(z)1
t
, de modo que la condicin Re z > 0 (es decir, Re(z) 1 > 1 es necesaria para
o
la convergencia de la integral).
Para el caso Re z 0 la integral diverge y no puede usarse para denir (z). Ms
a
adelante veremos qu hacer con este caso.
e
La funcin (z) es continua (si Re z > 0). Adems, es fcil ver (al menos formalmente)
o
a
a
que, para Re z > 0,
et tz1 ln t dt ,
0
(8.3)
(z) =
(8.4)
(z) =
0
8.2.1.
(n + 1) =
tn et dt = n! ,
si n N.
(8.5)
8.2.2.
Relacin de recurrencia
o
(z + 1) = tz et
0
et ztz1 dt = z
et tz1 dt = z(z) ,
0
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)
103
8.2.3.
e
o
notemos que podemos escribir (z) = (z + 1)/(z + 1), pero tambin podr
e
amos escribir
(z) = (z + 2)/[(z + 2)(z + 1)], y as sucesivamente. De hecho, si z = 0, 1, 2, . . . , la
expresin
o
(z + n)
(z + n 1)(z + n 2) (z + 1)z
est bien denida para todo n N sucientemente grande (Re(z) + n > 0). Adems su valor
a
a
es independiente de n, pues
(z + n + m)
(z + n)(z + n + m 1) (z + n)
=
(z + n + m 1)(z + n + m 2) (z + 1)z
(z + n + m 1) (z + n)(z + n 1) z
(z + n)
.
=
(z + n 1) (z + 1)z
De lo anterior, nos convencemos de que podemos denir (z) para todo z diferente de 0, 1,
2, . . . , por medio de
(z) =
(z + n)
,
(z + n 1)(z + n 2) (z + 1)z
Por ejemplo,
(1.5) =
n N y Re(z) + n > 0 ,
(8.7)
1
1
1
(0.5) =
(0.5) .
1.5
1.5 0.5
La expresin (8.7) no es vlida para enteros negativos. De hecho, podemos mostrar que
o
a
la funcin Gamma es singular en dichos puntos. En efecto, observemos que si z = m + ,
o
con m N y < 1, la ecuacin (8.7) nos dice (con n = m + 1) que
o
(z) =
(1)m
( + 1)
( 1)( 2) ( m)
m!
cuando 0.
8.2.4.
(z + 1)
1
= + ,
z
z
cuando z 0.
Algunos resultados
(1/2) =
0
1
et dt .
t
104
CAP
ITULO 8. LA FUNCION GAMMA
Con el cambio de variables t = y 2 ,
(1/2) = 2
ey dy .
0
Entonces
[(1/2)]2 = 4
ey dy
0
=4
ex dx
0
e(x
0
2 +y 2 )
dx dy .
/2
[(1/2)] = 4
2
r2
e
0
r dr d = 4
2
r2
r dr = 2
Luego
(1/2) =
1 2
er
2
= 2
0
1
2
(8.8)
.
sen(z)
(8.9)
(8.10)
Re p > 0, Re q > 0
(8.11)
8.3.
8.3.1.
Funcin Beta
o
Denicin
o
B(p, q) =
tp1 (1 t)q1 dt ,
0
(8.12)
105
Otras formas de expresar B(p, q), con los cambios de variable t = cos2 y t = r/(1 + r)
respectivamente, son:
/2
B(p, q) = 2
0
B(p, q) =
0
rp1
dr .
(1 + r)p+q
(8.13)
(8.14)
(p)(q)
.
(p + q)
(8.15)
Demostracin Ejercicio.
o
8.3.2.
En esta seccin volveremos sobre los dos resultados pendientes de la seccin 8.2.4, esto
o
o
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)(1 z) =
0
wz1
dw ,
1+w
C3
C1
C4
C2
R
x
C = C 1+ C 2+ C 3+ C 4
Entonces
C
wz1
dw = 2ieiz ,
1+w
106
CAP
ITULO 8. LA FUNCION GAMMA
0
R
C1
wz1
dw =
1+w
wz1
dw ,
1+w
z1
l
m
0
R
C2
w
dw = e2iz
1+w
wz1
dw ,
1+w
z1
l
m
C3
l
m
0
C4
w
dw = 0 ,
1+w
wz1
dw = 0 ,
1+w
0
R
C1
wz1
dw = (1 e2ix )
1+w
wz1
dw .
1+w
2ieiz
=
2iz
1e
sen(z)
=
sen(z)
(z + 1)(z) = z(z)
=
sen(z + )
sen(z)
,
sen(z)
Re z Z .
Para demostrar la frmula de duplicacin de Legendre (8.10), primero notemos que sta
o
o
e
es equivalente a
1
1
107
B(z, z) =
1
1+x
2
z1
z1
1x
2
dx
2
= 2z1
2
2
(1 x2 )z1 dx ,
0
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
8.4.
(8.16)
(8.17)
(2n)!! = 2n n! ,
(2n + 1)!
.
(2n + 1)!! =
2n n!
(8.18)
Claramente
8.5.
(8.19)
Frmula de Stirling
o
108
CAP
ITULO 8. LA FUNCION GAMMA
Dicha aproximacin se conoce como frmula de Stirling, y a continuacin damos una idea
o
o
o
de la demostracin.
o
Deseamos encontrar una expresin asinttica para (x) para x grande. Consideremos
o
o
(x + 1) =
tx et dt =
ex ln tt dt .
(x + 1) =
ex ln(x+r
x )xr x
x dr .
r
ln(x + r x ) = ln x + ln 1 +
x
r
r2
ln x +
+ .
x
x 2x
De este modo,
(x + 1)
ex ln x+r
= ex ln xx x
= xx e
xr2 /2xr x
er
2 /2
r2 /2
x dr
dr
er
dr
2 /2
dr
xx ex x
2 0
x
(x + 1) xx ex 2x
(8.20)
1
1
+
+
(x + 1) xx ex 2x 1 +
x
12x 288x2
(8.21)
yx 1 +
y ey 2y
(y)
y
y
pero como
x
1+
y
x+y
x
1+
y
x
1+
y
ex ,
x+y
ex ,
109
1+
x
n1
1+
x
n2
1
x
x(1 + x) 1 +
(x)
n2
1 +
1+
x
n1
x
x(x) ,
1
nx ,
n.
= l
m
vemos que
n=1
1
ln s
n
= 0.577215664901 . . . ,
(8.22)
nx = ex ln n ex(1+ 2 ++ n1 )+x ,
1
e n2
1+
x
n1
e n1 ,
n.
1
x x
1+
= xex
e n
(x)
n
n=1
8.6.
(8.23)
Hay muchas otras funciones relacionadas con la funcin Gamma, y que aparecen tambin
o
e
en ciertos problemas f
sicos. A continuacin revisamos algunas de ellas.
o
1. Funcin digamma:
o
(z) =
donde entendemos que z! = (z + 1).
d
ln(z!) ,
dz
(8.24)
110
CAP
ITULO 8. LA FUNCION GAMMA
De la representacin de Weierstrass (8.23) se obtiene que
o
ln (z) = ln z + z +
ln 1 +
n=1
z
z
n
n
(z)
1
= ++
(z)
z
n=1
1
1
z+n n
o bien
(z + 1)
1
=
+
(z + 1)
z+1
n=1
= +
n=1
es decir
1
1
n z+n
(z) = +
n=1
1
1
n z+1+n
,
z
.
n(z + n)
(8.25)
(m)
1
dm+1
(z) = m+1 ln(z!) = (1)m+1 m!
.
dz
(z + n)m+1
n=1
(8.26)
Observemos que
(m)
(0) = (1)m+1 m! (m + 1) ,
m = 1, 2, 3. . . ,
(8.27)
(s) =
n=1
1
,
ns
s > 1 .
(8.28)
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.29)
111
(a, x) =
Re(a) > 0 ,
et ta1 dt ,
(8.30)
(a, x) =
et ta1 dt .
(8.31)
(8.32)
Se tiene
(n, x) = (n 1)! 1 e
x
k=0
n1
(n, x) = (n 1)!ex
k=0
xk
k!
x
.
k!
(8.33)
(8.34)
5. Integrales de error :
2
erf(z) =
(8.35)
et dt ,
0
2
erfc(z) = 1 erf(z) =
et dt .
(8.36)
Con un cambio de variable simple podemos escribir las integrales de error en trminos
e
de las funciones Gamma incompletas:
1 2
1
,z
erf(z) =
2
1
1 2
,z
erfc(z) =
2
(8.37)
(8.38)
Bibliograf Adicional
a
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 cap
tulo 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).
112
CAP
ITULO 8. LA FUNCION GAMMA
Cap
tulo 9
Transformada de Laplace
versin 5 octubre 2009
o
Una de las ventajas del denir la transformada de Fourier es ser capaces de convertir
ecuaciones diferenciales en ecuaciones polinomiales, convirtindolas en un problema ms sene
a
cillo de resolver. Sin embargo, la existencia de la transformada de Fourier est garantizada
a
slo para funciones de mdulo integrable, i.e., en particular deben anularse en innito. El
o
o
concepto de distribuciones, sin embargo, nos permiti extender la transformada de Fourier a
o
funciones de crecimiento lento. Ser posible extender el concepto aun ms, a funciones de
a
a
crecimiento exponencial? No es una pregunta gratuita, ya que de hecho son muchas las situaciones en que la solucin a una ecuacin diferencial crece exponencialmente en innito (por
o
o
ejemplo, problemas de inestabilidad). El camino ello ser denir una nueva transformada, la
a
transformada de Laplace.
9.1.
Denicin
o
est f (t) dt
sC.
(9.1)
t 0 A, s0 R.
113
(9.2)
114
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
st
f (t) dt
| f (t) | dt A
st
ei Im[s]t e(Re[s]s0 )t dt = A
=A
est es0 t dt
q.e.d.
st
e f (t) dt
0
F (s)
dt est f (t) =
0
En efecto,
dt est f (t)
M
dt est f (t)
M
dt Aet(s1 s0 ) =
dt Aet(Re[s]s0 )
A
eM (s1 s0 ) < ,
s1 s0
M>
1
ln
s1 s0
A
(s1 s0 )
.
q.e.d.
d
ds
est f (t) dt =
0
st
e f (t) dt =
s
est tf (t) dt ,
0
115
| F (s) |
t | f (t) | dt A
st
te(s0 s1 )t dt ,
0
En general, existe
q.e.d.
(t)n f (t)est dt .
F (n) (s) =
(9.3)
Proposicin 9.4
o
l
m F (s) = 0 .
(9.4)
Re[s]
Demostracin
o
l
m
Re[s]
est f (t) dt =
0
f (t)ei Im[s]t
l
m e Re[s]t
Re[s]
dt = 0 .
q.e.d.
en general, funciones racionales con el grado del denominador superior al del numerador.
Ejemplo Sea f (t) = cos at.
L{cos at, s} =
est cos(at) dt =
0
1
=
2
1
1
+
s ia s + ia
s
= 2
.
a + s2
1
2
9.2.
Sea f una funcin de orden exponencial, tal que f (t) = 0 si t < 0. Sean F (s) = L{f, s}
o
y > s0 . Observemos que
g(t) = f (t)et
(9.5)
116
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
es mdulo integrable:
o
|g| < ,
1
1
F{g(t), u} =
g(t)eitu dt =
2 0
2
1
F{g(t), u} = L{f (t), iu} .
2
f (t)e(iu)t dt
0
(9.6)
F{g(t), u}eiut du =
1
2
L{f, iu}eiut du .
i
2
L{f, s}e(s)t ds =
+i
et
2i
+i
L{f, s}est ds .
i
Finalmente
f (t) =
1
2i
+i
(9.7)
L{f, s}est ds .
i
Por lo tanto, si la transformada de Laplace de una funcin f (t) est dada por
o
a
f (t)est dt ,
Re s > s0 ,
1
2i
+i
F (s)est ds ,
> s0 .
(9.8)
Im[s]
F (s) = 0 .
(9.9)
117
donde el ultimo l
s0
2
Re(s)
ds ets F (s) =
1 i
2 +i
ds ets F (s) ,
1 , 2 > s0 ,
2 i
1 + sgn(t)
.
2
Su transformada de Laplace es
H(s) = L{h, s} =
est dt =
0
1
.
s
118
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
h(t) = L1
1
2i
+i
i
1 st
e ds .
s
iR
Re(s)
iR
iR
et(xiR)
dx
x iR
| etx | eitR
et
dx
0,
| x iR |
R R
t>0.
0 .
Luego
ets
ds =
s
etz (Rei )
d
iRei
/2
tR sen
d 2
sen
si 0 /2 ,
.
2
tR
2
d .
119
/2
tR
2
d =
tR
4
1 e 4
tR
t>0.
vale decir
ets
ets
ds = 2i
s
s
h(t) = 1 ,
= 2i ,
s=0
t>0.
ii) Sea t < 0. En este caso es fcil convencerse, a partir de lo visto en el caso anterior, que
a
el camino de integracin conveniente es:
o
Im(s)
+iR
iR
Re(s)
iR
Y en tal caso,
+i
i
ets
ds =
s
iR
ets
ds = 0 ,
s
t<0.
iii) Caso t = 0.
La integral queda simplemente
+iR
iR
ds
= ln( + ir)
s
r=R
r=R
r
= ln( 2 + r2 ) + i arctan
r=R
i ,
r=R
120
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
de modo que
h(0) =
1
.
2
9.3.
En lo sucesivo, el s
mbolo
signicar tiene como transformada de Laplace.
a
Adems, f (t) y g(t) sern funciones de crecimiento exponencial, con f (t) = g(t) = 0 si t < 0.
a
a
Finalmente, denimos F (s) = L{f, s} y G(s) = L{g, s}.
1) Si a, b C, entonces
aF (s) + bG(s) .
af (t) + bg(t)
1
s
F
1
F (s) ,
s
f (t ) dt
0
Re(s) > s0 .
Demostracin
o
f (u) du, s
f (u) du dt .
est
0
est
=
s
f (u) du, s
L
0
4)
f (t)
f (u) du
0
1
+
s
sF (s) f (0) ,
1
est f (t) dt = F (s) .
s
Re(s) > s0 .
L{f , s} =
st
e
0
f (t) dt = e
st
f (t)
+s
0
Anlogamente,
a
f (n) (t)
tn f (t)
121
f (t )
Demostracin
o
F (s c) .
L{ect f (t), s} =
f (t u)g(u) du .
p(t) = f g(t) =
0
F (s)G(s) .
Demostracin Ejercicio.
o
Todas las propiedades anteriores son anlogas a las correspondientes propiedades de la
a
transformada de Fourier, con la excepcin de 4), pues la derivada se convierte en un polinomio
o
ms un trmino extra, dado por el valor de la funcin en el origen.
a
e
o
9.4.
Se supone en lo que sigue que todas las funciones que aparecen a la izquierda del s
mbolo
0
1
s
c
122
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
b) Sea > 0.
est t dt =
L{t , s} =
0
s+1
eu u du =
0
( + 1)
.
s+1
Luego
t
tn
1
s+1
( + 1) ,
n!
n = 0, 1, 2. . .
,
sn+1
1
.
2s s
>0.
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
L{tn ect , s} = (1)n L{ect , s}
(n)
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
s2 + 2
1
1
1
+
2 s s+
s
R
2 2
s
2 2
s
s2
e)
et cos(t)
et sen(t)
+s
(s + )2 + 2
(s + )2 + 2
123
( + 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) = (t t0 )
1
sL{q(t), s} q(0) = set0 s 0 = et0 s .
s
et0 s
set0 s
sn et0 s
124
CAP
ITULO 9. TRANSFORMADA DE LAPLACE
Cap
tulo 10
Aplicaciones de la transformada de
Laplace
versin 1 octubre 2007
o
o
general. An hay que aplicar las condiciones iniciales o de borde, lo cual signica resolver
u
nuevas ecuaciones. Con la transformada de Laplace, sin embargo, ello no es necesario: simplemente al aplicar la transformada a la ecuacin diferencial, aparecen las condiciones iniciales
o
expl
citamente. Nunca tuvimos un problema autoconsistente; lo unico que necesitamos es
la misma informacin que hemos requerido siempre. Ms an, una vez que se invierta la
o
a u
transformada, tendremos de inmediato la solucin al problema f
o
sico.
Lo anterior no es solamente una econom de recursos. Tiene mucho de implicancias f
a
sicas. En efecto, recordemos que la transformada de Laplace es una integral entre 0 e innito.
Matemticamente, ello se justica porque slo podemos asegurar convergencia de las integraa
o
les en dicho dominio. Pero, por otro lado, signica que el comportamiento de la funcin para
o
t < 0 es irrelevante. Por ejemplo, las transformadas de la funcin escaln de Heaviside y de
o
o
f (t) = 1 son ambas iguales a 1/s. Lo cual, considerado f
sicamente, signica que la evolucin
o
de un sistema est dada solamente por la ecuacin que lo gobierna, y sus condiciones iniciales,
a
o
no toda su historia anterior.
125
126
CAP
ITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
En todo caso, uno podr argumentar que los puntos anteriores son ms bien secundarios,
a
a
ya que resolver una ecuacin diferencial v transformada de Fourier o de Laplace deber
o
a
a
arrojar el mismo resultado. Un aspecto nada de secundario, sin embargo, es que, mientras la
transformada de Fourier slo se puede aplicar a funciones que decrecen rpidamente a cero
o
a
(funciones en S), o a lo sumo a funciones de crecimiento polinomial (es decir, funciones que
tienen asociadas distribuciones temperadas), la transformada de Laplace est bien denida
a
incluso para funciones de crecimiento exponencial. Puesto que en general una inestabilidad
de un sistema f
sico est caracterizada por alguna variable que crece exponencialmente, no
a
est garantizado que el formalismo de transformada de Fourier d resultados con sentido en
a
e
estos casos. As la transformada de Laplace no es slo un formalismo alternativo, sino que
,
o
en ocasiones puede ser el unico adecuado.
10.1.
y(0) = 0, y (0) = 1 .
d2 y
, s L {y, s} = L {1, s} ,
dt2
y(t) = et 1 .
y(1) = a, y(2) = b .
1
1
+
s2 s
1+s
s2
as
1
U (s) = 2
+ 2
+ 2
.
s 1 s + 1 s (s 1)
Retransformando,
1
,x
1)
s2 (s
ex dx , s
L
0
x
1 1
1
= L et , s =
s
ss1
ex dx , s
dx
0
1
L
s
ex dx , s
1 1 1
1
= 2
,
s s s1
s (s 1)
se tiene
L1
Finalmente
1
,x
2 (s 1)
s
ex dx =
dx
0
(ex 1) dx = ex 1 x .
0
128
CAP
ITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
10.2.
s2
1
2i
+i+
ds est (s) ,
i+
1
[L {f (t), s} + ( + s)x(0) + x (0)] .
+ s +
Ecuaciones integrales
g(x) = f (x) +
f ()K(x ) d ,
(10.1)
donde g(x) y K(x) son funciones dadas. Busquemos la solucin aplicando la transformada
o
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
129
2g y0 y ,
v =
donde y0 es la altura inicial. Podemos evaluar el tiempo de descenso
ds
=
v
0
y0
1 ds
dy =
v dy
y0
0
1
f (y)(y0 y)1/2 dy ,
2g
donde hemos denido f (y) = ds/dy. Con este resultado podemos escribir la condicin de que
o
la curva sea tautcrona de la siguiente manera:
o
y0
f (y)(y0 y)1/2 dy = C0 ,
constante independiente de y0 .
Esta ecuacin integral es de la forma (10.1), con = 0, g(x) = C0 y K(x) = x1/2 , por tanto
o
tiene solucin de la forma (10.2):
o
L {f (x), s} =
Sabemos que
C0 /s
.
L {x1/2 , s}
( 1 )
L x1/2 , s = 2 ,
s
luego
C0 s
C0 1
.
L {f (x), s} =
1 =
1
s ( 2 )
( 2 ) s
Retransformando,
f (y) =
C0
ds
=
y 1/2 = Cy 1/2 .
1
dy
[( 2 )]2
A partir de
ds2 = dx2 + dy 2 ,
despejamos
dx =
dx =
ds2 dy 2 =
ds
dy
ds
dy
dy
dy 2 ,
ds
dy
dy 2 dy 2 =
1/2
dy .
C2
1
y
1/2
dy .
(10.3)
130
CAP
ITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
y = C 2 sen2
Diferenciando,
dy =
Reemplazando en (10.3) obtenemos
dx = csc
dx = cot
dx = C 2 cos2
C2
[1 cos()] .
2
C2
sen d .
2
1/2
C2
sen d
2
C2
2 sen
cos
d
2
2
2
C2
d =
(1 + cos ) d .
2
2
1
Integrando esta ultima ecuacin y agregando el cambio de variable podemos expresar la curva
o
resultante en forma paramtrica:
e
C2
( + sen )
2
C2
y=
(1 cos ) .
2
x=
10.3.
u
(0, t) = L
x
u
,s
t
o
tomamos la transformada de Laplace respecto a t de la ecuacin de conduccin, y deniendo
o
o
est u(x, t) dt ,
0
131
2 U (x, s)
= s U (x, s) u(x, 0) .
x2
Utilizando la condicin inicial u(x, 0) = 0, nos queda una ecuacin diferencial en donde s es
o
o
un parmetro,
a
2 U (x, s)
s U (x, s) = 0 ,
x2
con solucin
o
U (x, s) = C1 ex
+ C2 ex
A xs
e
,
s
Retransformando,
A xs
,t
e
s
u(x, t) = L
=A
L1 ex s , t
dt .
Evaluamos, primero,
L1 ex s , t =
Usando el cambio de variable z =
gura:
1
2i
+i
est ex
ds .
Im[ z ]
Im[ z ]
z= s
II R
III
R
Re[ z ]
R
Re[ z ]
R=
II R
I
132
CAP
ITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
L1 ex s , t =
2
2i
ez t ezx z dz .
Para efectuar la integral, cerraremos el contorno de integracin como indica la gura (tramos
o
I-II-III-II-I-). Analicemos la integral sobre los tramos que cierran el camino, partiendo por
el tramo I:
1
zez
2 tzx
dz
z=(1+i)y
2 y 2 t(1+i)yx
(1 + i)2 ye(1+i)
dy
yeyx dy 0 .
El tramo II:
1
zez
2 tzx
dz
II
z=iR+y
(iR + y)e(iR+y)
2 t(iR+y)x
dy
1 R
2
2
| iR + y | e(y R )tyx dy
0
2
R
eR t
2
2R
ey tyx dy
El integrando f (y) = ey tyx es acotado en el intervalo [0, R], siendo su mximo f (0) = 1
a
o f (R) (dentro del intervalo hay slo un punto con derivada nula, y = x/2, y resulta ser un
o
m
nimo). Si R es sucientemente grande, el mximo es f (R). de modo que podemos escribir
a
2
z 2 tzx
ze
dz
II
z=iR+y
2
R
eR t
2
2R
eR tRx dy
0
Rx
e
=
2R2 0 .
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 anularn, en el mismo l
a
mite, las integrales sobre los tramos I y II.
Por lo tanto, la integral sobre el camino ms la integral sobre el tramo III deben cancelarse
a
en el l
mite 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
L1 ex s , t =
1
i
ez
2 tzx
z dz =
III
1
i
ey
2 tiyx
x 1
2
y dy = 3/2 ex /4t .
2 t
u(x, t) = A
0
x 1
2
3/2 ex /4t dt .
2 t
133
e
d = A 1 erf
.
u(x, t) =
x/2 t
2 t
10.4.
sY1 + 2sY2 50 + Y1 Y2 =
Despejando,
Y1 (s) =
Retransformando,
Anlogamente
a
25
25
9
5
16
=
.
2 (s + 1/4)
2
4s(s 1)
s
s 1 (s 1)
(s + 1/4)
y1 (t) = 25 9et + 5tet 16et/4 .
y2 (t) = 33et 10tet 8et/4 .
134
CAP
ITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
Cap
tulo 11
Polinomios ortogonales
versin 1 octubre 2007
o
11.1.
Deniciones
Denicin 11.1 Sean f, g C [a, b] y sea p(x) > 0 continua en el intervalo [a, b]. Denimos
o
el producto interno de f y g con funcin de peso p de la forma siguiente:
o
b
f (x)g(x)p(x) dx .
f, g
a
135
(11.1)
136
CAP
ITULO 11. POLINOMIOS ORTOGONALES
Denicin 11.2 Sean {Pn (x)}nN0 un conjunto de polinomios reales, donde Pn (x) es un
o
polinomio de grado n. El conjunto {Pn (x)}nN0 forma un sistema ortogonal de polinomios
con la funcin de peso p(x) si
o
Pn , Pm = nm Am .
(11.2)
11.2.
Teoremas
Teorema 11.1 Sean {Pn (x)}nN0 polinomios ortogonales en [a, b] con la funcin de peso
o
p(x). Sea Qk un polinomio cualquiera de grado k. Entonces Pn (x) es ortogonal a Qk si n > k.
Demostracin Escribamos el polinomio Qk (x) como sigue
o
k
Qk (x) =
a x .
=0
b P (x) ,
x =
con b x , P ,
=0
por lo tanto,
k
Qk (x) =
Pn , Qk =
=0
k
b Pn , P =
a
=0
b P (x) ,
a
=0
=0
b A n = 0 ,
a
=0
si n > k.
=0
q.e.d.
Teorema 11.2 Los ceros de los polinomios ortogonales son reales y simples.
Demostracin Consideremos el polinomio Pn+1 (x) que tiene n + 1 ra
o
ces. Por el teorema
anterior
b
Qk , Pn+1 =
Q (x)Pn+1 (x)p(x) dx = 0
k
kn.
Supongamos que Pn+1 (x) no tiene ra reales en [a, b]. Al considerar Qk = 1 obtenemos
ces
b
1 Pn+1 (x)p(x) dx = 0 .
a
Esto contradice lo anterior, lo que signica que Pn+1 tiene por lo menos una ra en [a, b].
z
Sea esa ra Podemos factorizar Pn+1 como
z.
Pn+1 (x) = (x )Sn (x).
137
(x )2 Sn (x)p(x) dx = 0
Pn+1 , x =
a
si Sn (x) no tiene una ra en [a, b], hay nuevamente contradiccin. Por lo tanto, Sn (x) tiene
z
o
por lo menos una ra en [a, b]. Siguiendo con este procedimiento encontramos que Pn+1 (x)
z
tiene n + 1 ra reales.
ces
Nos falta demostrar que las ra son simples. Sea x = una ra no simple, es decir,
ces
z
Pn+1 (x) = (x )m Sn+1m (x) ,
con m 2 .
Pn+1 , Qk
=
a
distinta de cero porque cada factor de la funcin subintegral es positivo, en los dos primeros
o
casos por ser las potencias pares y en el ultimo por denicin de p(x). Por otra parte,
o
grado[Qk (x)] = n + 1 m + 1 = (n + 1) (m 1) < n + 1, luego
Pn+1 , Qk = 0 ,
lo cual contradice el resultado anterior. Por lo tanto, las ra deben ser simples.
ces
q.e.d.
Pn (x)Pm (x)p(x)
11.3.
dx =
Relacin de recurrencia
o
(11.3a)
(11.3b)
(11.3c)
138
CAP
ITULO 11. POLINOMIOS ORTOGONALES
xPn (x) =
nj =
(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
an+1
an an+1
an
(11.6)
Cap
tulo 12
Polinomios de Hermite
versin 20 octubre 2009
o
En este cap
tulo revisaremos una tipo particular de polinomios ortogonales, los polinomios de Hermite. Introduciremos el concepto de funcin generatriz, muy util para encontrar
o
relaciones de recurrencia entre polinomios ortogonales y demostrar diversos tipos de igualdades que involucran a los mismos, y encontraremos la ecuacin diferencial que satisfacen estos
o
polinomios, y que resultar ser de inters f
a
e sico.
12.1.
Denicin
o
Hn (t) = (1)n et
dn t2
e
.
dtn
(12.1)
(12.2)
12.2.
Funcin generatriz
o
Consideremos la funcin
o
2
(12.3)
140
CAP
ITULO 12. POLINOMIOS DE HERMITE
(t, x) =
n=0
Como
se tiene
An (t) n
x ,
n!
An (t) =
n
xn
.
x=0
=
(1) ,
x
(t x)
n
2
An (t) = e
e(tx)
n
(t x)
t2
(1) =
n
x=0
luego
e2txx =
n=0
n t2
n t2 d e
(1) e
dtn
= Hn (t) ,
Hn (t) n
x .
n!
(12.4)
Se dice que e
es la funcin generatriz de los polinomios de Hermite, vale decir, es
o
aquella funcin de dos variables tal que su desarrollo de Taylor en una de las variables tiene
o
como coecientes precisamente los polinomios de Hermite.
A partir de (12.4) se pueden encontrar relaciones entre los polinomios de Hermite. La
estrategia para hallarlas (para sta o cualquier otra funcin generatriz de otros polinomios)
e
o
es t
pica: derivar parcialmente respecto a alguna de las variables y luego comparar potencias
de x en los desarrollos en Taylor resultantes.
2txx2
1) Derivando respecto a t:
= 2x .
t
Usando (12.4):
n=0
1 d
Hn (t) xn =
n! dt
n=0
Hn (t) n+1
2x
.
n!
n=0
n0.
(12.5)
141
Observemos que, si bien slo tiene sentido considerar polinomios de Hermite con
o
ndice positivo, la expresin (12.5) puede ser extendida a n = 0, aunque ello haga aparecer un factor
o
H1 . En general, las relaciones de recurrencia que obtendremos pueden considerarse vlidas
a
para cualquier
ndice entero, adoptando la convencin de que los polinomios con sub
o
ndices
negativos tienen algn valor adecuado, por ejemplo, cero.
u
La relacin (12.5) expresa un polinomio de Hermite en trminos de un operador (en
o
e
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):
Hn (t) n1
Hn (t) n
Hn (t) n+1
x
= 2t
x 2
x
(n 1)!
n!
n!
n=0
n=0
n=1
n=0
Hn+1 (t) n
x =
n!
n=0
2tHn (t) n
2Hn1 (t) n
x
x
n!
(n 1)!
n=1
Comparando potencias de x:
H1 (t) = 2tH0 (t) ,
Hn+1 (t) = 2tHn (t) 2nHn1 (t) ,
O bien
n1.
n0.
(12.6)
3) Podemos utilizar las dos relaciones de recurrencia (12.5) y (12.6) para obtener una tercera:
Hn+1 (t) = 2tHn (t) Hn (t) .
(12.7)
Hemos pues encontrado el operador de subida para los polinomios de Hermite, a saber,
2t dt .
Derivando (12.7):
Hn+1 = 2Hn + 2tHn Hn .
Con (12.5),
2(n + 1)Hn = 2Hn + 2tHn Hn ,
o sea,
Hn 2tHn + 2nHn = 0 .
(12.8)
142
CAP
ITULO 12. POLINOMIOS DE HERMITE
12.3.
Ortogonalidad
Evaluemos
Hm (t)Hn (t)et dt .
I=
I = (1)
dn et
Hm (t)
.
dtn
I = (1)n+1 2m
Hm1 (t)
dn1 t2
e dt .
dtn1
H0 (t)
I = (1) (1) 2 m!
m
n m
dnm t2
e dt .
dtnm
Si m < n, entonces
I = (1)n+m 2m m!
dnm t2
dnm1
2
e dt = (1)n+m 2m m! nm1 et
nm
dt
dt
=0.
Si n = m,
I = 2 n!
n
2
et dt = 2n n! .
Resumiendo,
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 funcin de peso p(t) = et .
o
Si denimos las funciones
2
Hn (t)et /2
n (t) =
(12.10)
,
2n n!
es claro que {n }n es un conjunto ortonormal:
n (t)m (t) dt = nm .
(12.11)
143
12.4.
(a) Es fcil demostrar que las funciones n denidas en (12.10) satisfacen la ecuacin difea
o
rencial
y t2 y = (2n + 1)y
(12.12)
[con la condicin de borde y() = 0], que es precisamente la ecuacin de Schrdinger
o
o
o
para el oscilador armnico.
o
(b) Sea n () = F{n (t), }. Dado que se cumple
n + (2n + 1 t2 )n = 0 ,
se puede demostrar que n () satisface
n () + (2n + 1 2 )n () = 0 ,
(12.13)
12.5.
En este cap
tulo partimos entregando la denicin de los polinomios de Hermite, y eveno
tualmente encontramos la ecuacin diferencial que ellos satisfacen. Ahora seguiremos el cao
mino inverso, partiendo de la ecuacin de Hermite y resolvindola.
o
e
Consideremos para ello la ecuacin de Hermite (12.8), pero generalicmosla ligeramente:
o
e
y 2ty + 2y = 0 .
(12.14)
y(t) =
(12.15)
a t .
=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)
144
CAP
ITULO 12. POLINOMIOS DE HERMITE
2( )
a+2
=
a
( + 1)( + 2)
si
1,
lo cual signica que el radio de convergencia de la serie es innito. Vale decir, las soluciones
no tienen singularidades en el plano.
c) La ecuacin tiene por solucin un polinomio slo si N . Si es par, hay que tomar
o
o
o
a0 = 0 y a1 = 0. Si es impar, hay que tomar a0 = 0 y a1 = 0.
d) Si N , y si la solucin es par o impar, entonces ( )/[( + 1)( + 2)] > 0 desde
o
cierto 0 en adelante, de modo que los a tienen todos el mismo signo para > 0 . Esto
es, la serie tiene un crecimiento rpido cuando t .
a
Es posible mostrar, a partir de la relacin de recurrencia (12.16), que, si es entero, los
o
polinomios resultantes son precisamente los polinomios de Hermite.
Cap
tulo 13
Polinomios de Laguerre
versin nal 3.2-13 enero 2003
o
13.1.
Denicin
o
Denicin 13.1 Denimos el conjunto de los polinomios de Laguerre {Ln (t)}nN0 mediante
o
una cualquiera de las siguientes ecuaciones:
dn n t
= (1)n tn + + n! ,
Ln (t) = e n t e
dt
n
n
dn tn d et
Ln (t) = et
,
dtn
dt
=0
t
Ln (t) =
(1)
=0
n!
t =
!
(1)
=0
n! n!
t .
(n )! (!)2
(13.1a)
(13.1b)
(13.1c)
13.2.
=
=
=
=
=
.
.
.
1
t + 1
t2 4t + 2
t3 + 9t2 18t + 6
t4 16t3 + 72t2 96t + 24
Funcin generatriz
o
Denicin 13.2 La funcin generatriz (t, x) est denida por la siguiente relacin:
o
o
a
o
(t, x) =
n=0
145
Ln (t) n
x .
n!
(13.2)
146
CAP
ITULO 13. POLINOMIOS DE LAGUERRE
(t, x) =
n=0 =0
(1) n
!
t xn
6
r
6 r
r
6 r r
r
6
r r r r
6 r r r r
r
6 r r r r r
r
r r r r r r
r
r
Obtenemos
r
r
r
(t, x) =
=0 n=
r
r
r
r
r
r
r
r
r
r
r
r
r
r
r
rrrrrrr
(1) n
t
!
xn .
Haciendo el cambio de
ndice m = n :
(t, x) =
Reordenando
(1) m +
t
!
=0 m=0
(t, x) =
=0
Pero
m=0
m+
xm+ .
(1)
m+
t x
!
m=0
x =
m
1
1x
xm .
+1
cuando | x | < 1 ,
luego
(t, x) =
=0
(1)
t
!
x
1x
1
1
=
1x
1x
=0
(1)
!
tx
1x
Finalmente
1
exp
(t, x) =
1x
tx
1x
=
n=0
Ln (t) n
x
n!
(13.3)
147
13.3.
Relaciones de recurrencia
tx
1x
= (1 x)
n=0
Ln (t) n
x .
n!
(13.4)
Derivemos respecto a x:
t
exp
(1 x)2
tx
1x
= (1 x)
n=1
Ln (t) (n1)
Ln (t) n
x
x .
(n 1)!
n!
n=0
(13.5)
13.4.
n1.
(13.6)
Ecuacin de Laguerre
o
(13.7)
(13.8)
(13.9)
Cambiando n n + 1,
Ln+2 (t) = (n + 2) Ln+1 (t) Ln+1 (t) .
Usando (13.8) y (13.9),
Ln+2 (t) = (n + 2)(n + 1) [Ln (t) Ln (t) Ln (t) + Ln (t)] ,
Ln+2 (t) = (n + 2)(n + 1) [Ln (t) 2Ln (t) + Ln (t)] .
(13.10)
148
CAP
ITULO 13. POLINOMIOS DE LAGUERRE
(13.11)
(13.12)
y(t) =
a t ,
=0
a .
( + 1)2
13.5.
Ortogonalidad
Consideremos
I=
tm Ln (t) et dt ,
0
con m < n .
149
13.5. ORTOGONALIDAD
Sea m > 0, entonces
I=
tm
0
dn n t
dt ,
t e
dtn
dn1 n t
t e
dtn1
tm1
m
0
dn1 n t
dt .
t e
dtn1
I = (1)n m!
0
Si m < n,
I = (1)n m!
luego
dnm n t
t e
dt .
dtnm
dnm1 n t
t e
dtnm1
=0,
0
Ln (t) Lm (t) et dt = 0
si m < n .
L2 (t)
n
dt = (1) (1) n!
n
tn et dt = (n!)2 .
(13.13)
1
Ln (t) et/2 .
n!
(13.14)
n (t) m (t) dt = nm .
0
l n (t) < .
m
t0
150
13.6.
CAP
ITULO 13. POLINOMIOS DE LAGUERRE
dm
Ln (t)
dtm
para n m ,
(13.16)
conocidos como los polinomios asociados de Laguerre. Los cuales son soluciones de la siguiente
ecuacin diferencial:
o
t y (t) + (m + 1 t) y (t) + (n m) y(t) = 0 .
(13.17)
L2 = 2 ,
2
2
L3 = 18 6t ,
L3 = 6 .
3
La funcin generatriz
o
m (t, x) = (1) x
m m
exp
tx
1x
= (1 x)
m+1
Lm (t) n
n
x .
n!
n=m
(13.18)
(13.19)
(13.20)
(13.21)
Finalmente, en forma anloga a lo que hicimos con los polinomios de Laguerre podemos denir
a
las funciones ortogonales a partir de los polinomios asociados de Laguerre de la siguiente
forma:
(13.22)
Rn (t) et/2 t L2 +1 (t) .
n+
Estas funciones satisfacen la ecuacin diferencial
o
d2 y(t) 2 dy(t)
+
dt2
t dt
1 n
( + 1)
+
4
t
t2
y(t) = 0 .
(13.23)
o
camente, corresponde a la ecuacin radial de Schrdinger para la funcin de onda del atomo
o
o
o
de Hidrgeno.
o
Cap
tulo 14
El problema de Sturm-Liouville
versin 26 octubre 2009
o
de cmo encontrar la base del espacio vectorial. Ese es precisamente el valor del Cap
o
tulo
actual y los siguientes: tendremos un modo sistemtico para encontrar la base del espacio de
a
funciones. Dicha base provendr precisamente de resolver el problema de autovalores de un
a
operador diferencial autoadjunto.
14.1.
(14.1)
donde u(x) es una funcin compleja dos veces diferenciable, y los {pj (x)} son funciones reales
o
que cumplen:
p0 (x), p1 (x), p2 (x) existen y son continuas en [a, b].
151
152
CAP
ITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
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] podr
a
ser semi-innito o innito.
Consideremos una segunda funcin derivable dos veces, v(x). Denimos
o
b
dx v (x)Lu(x) .
v | L | u v, Lu =
(14.2)
v (x)u(x)p1 (x)
y
b
a
b
v|L|u =
dx u(x)Lv (x)
a
b
, (14.3)
donde
d2
d
[p (x)u(x)] [p1 (x)u(x)] + p2 (x)u(x) ,
2 0
dx
dx
2
d
d
Lu(x) = p0 (x) 2 + [2p0 (x) p1 (x)] + [p2 (x) p1 (x) + p0 (x)] u(x)
dx
dx
Lu(x) =
es el operador adjunto a L.
Si
L=L,
(14.4a)
(14.4b)
(14.5)
153
p0 (x) = p1 (x) .
(14.6)
dt
x0
p1 (t)
p0 (t)
y denamos
p0 (x) = h(x)p0 (x) ,
p1 (x) = h(x)p1 (x) .
Entonces
p0 (x) =
d
exp
dx
dt
x0
p1 (x)
p1 (t)
=
exp
p0 (t)
p0 (x)
dt
x0
p1 (t)
= p1 (x) ,
p0 (t)
d
du(x)
A(x)
+ B(x)u(x) .
dx
dx
(14.7)
v|L|u =
dx u(x)Lv (x) +
14.2.
(14.8)
Operadores autoherm
ticos
v, Lu =
dx u(x)Lv(x) = Lv, u .
a
(14.10)
154
14.3.
CAP
ITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
Problema de autovalores
Sea w(x) una funcin real positiva, la cual a lo ms puede tener ceros aislados en [a, b]
o
a
(funcin de peso). Consideremos la ecuacin
o
o
Lu(x) + w(x)u(x) = 0 ,
C,
(14.11)
con determinadas condiciones de borde (en este caso, nos interesarn las condiciones que
a
determinan el subespacio H). Las soluciones de (14.11), debido precisamente a las condiciones
de borde, no existen para todo , sino para cierto nmero discreto {i }iN , asociados a
u
ciertas funciones {ui }iN . Los i se denominan autovalores y las funciones asociadas ui ,
autofunciones.
Se pueden mostrar las siguientes propiedades:
Proposicin 14.1 Los autovalores de un operador autoherm
o
tico son reales.
Demostracin Sean j , k autovalores asociados a autofunciones uj (x), uk (x), respectivao
mente. Entonces
Luj (x) + j w(x)uj (x) = 0 ,
Lu (x) + w(x)u (x) = 0 .
k
k
k
Multiplicando la primera ecuacin por u (x) e integrando en [a, b]:
o
k
b
uk , Luj + j
dx u (x)w(x)uj (x) = 0 .
k
a
Haciendo algo similar con la segunda ecuacin, pero multiplicando por u (x),
o
j
b
Luk , uj + k
dx uj (x)w(x)u (x) = 0 .
k
a
(j )
k
u (x)w(x)uj (x) = 0 .
k
(14.12)
Ahora, si j = k,
0 = (j )
j
| uj (x) |2 w(x) .
a
q.e.d.
155
dx u (x)w(x)uj (x) ,
k
0=
a
es decir uk (x) y uj (x) son ortogonales con funcin de peso w(x). (Incidentalmente, vemos
o
que la generalizacin del producto interno introducida en (11.1) emerge naturalmente al
o
considerar el problema de autovalores de un operador autoherm
tico.)
Por lo tanto, autofunciones asociadas a autovalores distintos son ortogonales. Sin embargo,
puede ocurrir que ms de una autofuncin est asociada al mismo autovalor, es decir, que un
a
o
e
autovalor sea degenerado. Es fcil mostrar que las funciones asociadas a un mismo autovalor
a
forman un espacio vectorial. En efecto, si uj,1 (x), uj,2 estn asociadas al autovalor j , se tiene
a
Luj,1 + j w(x)uj,1 = 0 ,
Luj,2 + j w(x)uj,2 = 0 .
Entonces una combinacin lineal de ellas tambin es autofuncin de L con el mismo autovalor:
o
e
o
uj, =
uj, + j w(x)
L
=1,2
[Luj, + j w(x)uj, ] = 0 .
=1,2
=1,2
Por lo tanto, es posible encontrar una base ortogonal del subespacio asociado a j (v Grama
Schmidt). Procediendo as con todos los subespacios de degeneracin, podemos nalmente
o
construir una base ortogonal para el espacio de funciones completo.
q.e.d.
Proposicin 14.3 Las autofunciones de un operador autoherm
o
tico forman una base del
espacio H.
Demostracin (Discusin)
o
o
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
expansin polinomial para cada potencia de z:
o
n
z =
ai Pi (z) ,
i=0
donde Pi (z) es el i-simo polinomio. Una funcin f (z) se puede entonces expandir en una serie
e
o
de Laurent, y en denitiva en una combinacin lineal de los polinomios Pi (z). As podemos
o
,
mostrar que la expansin polinomial existe y que es unica. La limitacin de este desarrollo
o
o
en serie de Laurent es que f (z) debe ser anal
tica. Las funciones pueden ser ms generales
a
que eso (recordemos la expansin de la funcin dientes de sierra en series de Fourier, por
o
o
ejemplo). Una demostracin de que nuestras autofunciones de problemas de Sturm-Liouville
o
son completas aparece en el libro de Courant y Hilbert [R. Courant y D. Hilbert, Mtodos
e
de la Fsica Matemtica, Vol. 1, Cap. 6, Sec. 3].
a
q.e.d.
156
14.4.
CAP
ITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
Distintas elecciones del operador diferencial L (es decir, de las funciones A(x) y B(x) en
(14.7), de la funcin de peso w(x) en el problema de autovalores asociado, y del intervalo
o
[a, b] que determina las condiciones de borde (14.9), generan diversas funciones especiales.
Algunos ejemplos ya han aparecido en problemas f
sicos de gran inters. Por ejemplo, el
e
oscilador armnico se puede ver como un problema de autovalores del operador diferencial
o
L=
d2
,
dt2
w(x)
1
ex
xk ex
0
0
xex
xk+1 ex
ex
(1 x2 ) 2
ex
1 x2
(1 x2 )+ 2
(1 x2 )3/2
1
1x2
1 x2
m2
1x2
1 x2
B(x)
0
A(x)
1 x2
b
1
a
1
a2
2n
nk
n(n + 2)
n(n + 2)
n2
l(l + 1)
l(l + 1)
1
1 ( 2 x)
1
(+ 2 )
1
1
Hn (x) = ex
Ln (x) =
(m)
Ln (x) = ex
n x2
Ln (x)
Ver cap
tulo (19).
dx xJ (a x)J (a x) = cte. a ,a .
(1 x2 )+n 2
dt (1 t2 ) 2 cos(xt)
d
dx
(1 x2 )n+ 2
(xn ex )
d m
dx
d n
dx
Pl (x)
(1 x2 )n 2
d m
dx
d
dx
d
dx
d
dx
(n+1)
(2n+1)!! 1x2
1x2
(2n1)!!
1
(2)(+ 2 +n)(1x2 ) 2
n n!(+ 1 )(2+n)
2
2
J (x) =
Cn (x) =
Un (x) =
Tn (x) =
Frmula generatriz
o
1
d l
Pl (x) = 22 l! dx (x2 1)l
Bessela
Gegenbauer
(ultraesfricas)
e
Laguerre
(polinomios)
Laguerre
(asociados)
Hermite
(polinomios)
Funcin
o
Legendre
(polinomios)
Legendre
(asociados)
Chebyshev I
(polinomios)
Chebyshev II
(polinomios)
158
CAP
ITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
Cap
tulo 15
Ecuaciones diferenciales con
singularidades
versin 9 noviembre 2009
o
r2
dR
dr
+ k2R
QR
=0,
r2
donde k y Q son constantes. Esta es una ecuacin diferencial con coecientes que no slo
o
o
no son constantes, sino que son singulares (en r = 0). Muchos otros problemas dan origen a
ecuaciones que son tambin de la forma
e
f (z) + p(z)f (z) + q(z)f (z) = 0 .
(15.1)
15.1.
Puntos singulares
160
CAP
ITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
d2 f
+ 2s3 s2 p
ds2
1
s
df
+q
ds
1
s
f =0.
(15.2)
2s p(1/s)
,
s2
q(s) =
q(1/s)
.
s4
(15.3)
(15.4)
15.2.
(15.5)
y(x) = x
a x ,
a0 = 0 .
(15.6)
=0
Ya hicimos algo similar al estudiar las ecuaciones de Hermite y Laguerre en los cap
tulos anteriores. En esos casos, k = 0. Ahora nos interesa el caso general. De hecho, k no necesariamente
161
dy
=
dx2
a (k + )xk+1 ,
=0
a (k + )(k + 1)xk+2 ,
=0
a (k + )(k + 1)x
k+2
a xk+ = 0 .
=0
(15.7)
=0
Esta igualdad implica que cada coeciente, para todas las potencias de x, debe anularse. En
particular, el coeciente de la menor potencia de x, xk2 :
a0 k(k 1) .
Puesto que a0 es el menor coeciente 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 coeciente de xk+j , con j = + 2, la relacin
o
de recurrencia
2
.
(15.10)
aj+2 = aj
(k + j + 2)(k + j + 1)
Como en el caso de la ecuacin de Hermite, esta relacin de recurrencia determina o slo los
o
o
o
trminos pares, o slo los impares, de modo que hay dos coecientes arbitrarios, a0 y a1 .
e
o
Ahora bien, volviendo a las ra de la ecuacin indicial, si k = 0, entonces el coeciente
ces
o
k2
de x
en (15.7) se anula, y as a0 = 0. Al mismo tiempo, el coeciente de la siguiente
k1
potencia de x, x , es
a1 (k + 1)k = 0 ,
que tambin se satisface si k = 0. Por tanto, en este caso ambos coecientes son arbitrarios.
e
Para k = 1, en tanto, el coeciente 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 coecientes impares de la serie desaparecen. (En principio podemos
temer prdida de soluciones, pero el objetivo aqu es encontrar al menos una solucin; de
e
o
todos modos, los trminos impares reaparecern al considerar la segunda ra de la ecuacin
e
a
z
o
indicial.)
162
CAP
ITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
2
,
(j + 2)(j + 1)
es decir,
2
2
= a0 ,
12
2!
4
2
=
a0 ,
a4 = a2
34
4!
2
6
a6 = a0
= a0 ,
56
6!
a2 = a0
2n
a0 ,
(2n)!
(15.11)
y la solucin es
o
(x)2 (x)4 (x)6
+
+
2!
4!
6!
= a0 cos(x) .
y(x)k=0 = a0 1
y(x)k=0
(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
,
(x)2 (x)4 (x)6
+
+
3!
5!
7!
a0
(x)3 (x)5 (x)7
(x)
+
+
=
3!
5!
7!
a0
=
sen(x) .
y(x)k=1 = a0 x 1
y(x)k=1
(15.14)
15.3. LIMITACIONES DEL METODO. TEOREMA DE FUCHS
163
Por supuesto, hemos obtenido dos soluciones linealmente independientes que no son ninguna sorpresa, pero el mtodo de Frobenius es general y nos permite estudiar cualquier
e
ecuacin diferencial homognea lineal de segundo orden. Sin embargo, obtener una solucin
o
e
o
como una expansin en serie no signica que dicha solucin sea aceptable: eso depende de si
o
o
converge o no, lo cual no est asegurado, y requiere un anlisis separado.
a
a
En general, es posible usar este mtodo expandiendo la solucin en torno a un punto x0
e
o
arbitrario, en cuyo caso (15.6) es reemplazada por
y(x) =
a (x x0 )k+ ,
a0 = 0 .
(15.15)
=0
15.3.
Para el oscilador armnico encontramos, mediante el mtodo de Frobenius, las dos soo
e
luciones 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 ecuacin de Laguerre (Sec. 13.4). Cuando introdujimos una solucin en la forma de una
o
o
serie de Taylor, result una relacin de recurrencia que determinaba todos los coecientes
o
o
en trminos del primero, y por tanto el mtodo de Frobenius en este caso permite encontrar
e
e
slo una solucin. Ms an, ni siquiera est asegurado que, una vez determinados todos los
o
o
a u
a
coecientes, la serie sea convergente. En el caso de la ecuacin de Laguerre (13.12), a menos
o
que la serie termine y sea en realidad un polinomio, la serie diverge.
Bajo qu condiciones es posible encontrar soluciones con el mtodo de Frobenius? La
e
e
respuesta a esta pregunta involucra a las ra de la ecuacin indicial y el grado de singulaces
o
ridad de los coecientes en la ecuacin diferencial. Consideremos, a modo de ilustracin, las
o
o
siguientes ecuaciones simples:
6
y
x2
6
y 3y
x
1
a2
y + y 2y
x
x
1
a2
y + 2y 2y
x
x
y
=0,
(15.16)
=0,
(15.17)
=0,
(15.18)
=0.
(15.19)
164
CAP
ITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
lo que es imposible pues a0 = 0. As vemos que en el caso (15.16), con una singularidad
,
regular en x = 0, el mtodo de Frobenius da dos soluciones, pero simplemente no funciona
e
para (15.17), que tiene una singularidad esencial en x = 0.
Si ahora agregamos un trmino con primera derivada en la forma (15.18), se obtiene la
e
ecuacin indicial
o
k 2 a2 = 0 ,
sin relacin de recurrencia, de modo que las soluciones son xa y xa .
o
Finalmente, si modicamos la ecuacin anterior cambiando en 1 la potencia del coeciente
o
de y , ejemplo (15.19), se tiene la ecuacin indicial
o
k=0,
que arroja slo un valor de k, y la relacin de recurrencia
o
o
aj+1
a2 j(j 1)
.
= aj
j+1
A menos que a sea tal que la serie se corte para algn j (es decir, si a = n(n 1), con
u
n N), se tiene
j(j + 1)
aj+1
j2
= l
m
l
m
= l
m
=,
j j + 1
j
j j
aj
es decir, la solucin por serie diverge para todo x = 0.
o
Nuevamente nuestra solucin tiene problemas con singularidades esenciales.
o
En general se puede mostrar que al menos una solucin en forma de serie de potencias
o
se puede obtener, siempre que la expansin sea en torno a un punto ordinario o un punto
o
singular regular. Este resultado constituye el Teorema de Fuchs. Una demostracin de este
o
teorema se encuentra en el Cap
tulo 16. Se mostrar tambin en ese Cap
a
e
tulo, y parcialmente
en la siguiente seccin, que la obtencin de una o dos soluciones a partir del mtodo de
o
o
e
Frobenius depende de las ra de la ecuacin indicial:
ces
o
Si las dos ra
ces de la ecuacin indicial son iguales, se obtiene slo una solucin. (Ej.:
o
o
o
ecuacin de Laguerre.)
o
Si las dos ra dieren en un nmero no entero, se obtienen dos soluciones linealmente
ces
u
independientes.
Si las dos ra
ces dieren en un nmero entero, la mayor de ellas da una solucin. La
u
o
otra puede o no dar una solucin dependiendo del comportamiento de los coecientes.
o
Para el oscilador armnico se obtienen dos soluciones; para la ecuacin de Bessel (15.4),
o
o
slo una (Cap. 19).
o
En la siguiente seccin desarrollaremos un mtodo para encontrar una segunda solucin
o
e
o
linealmente independiente en el caso que el mtodo de Frobenius no nos la proporcione.
e
165
15.4.
15.4.1.
Forma integral
(15.20)
o
son linealmente independientes. Derivando (15.20) (yi es solucin de una ecuacin de segundo
o
o
orden, as que al menos es una vez diferenciable):
k1 y1 + k2 y2 = 0 .
(15.21)
(15.20) y (15.21) son un conjunto de ecuaciones lineales, donde los coecientes ki son desconocidos. Este sistema tiene solucin no nula si
o
W (x)
y1 (x) y2 (x)
=0.
y1 (x) y2 (x)
(15.22)
e
o
El problema es ahora encontrar una segunda solucin y2 (x) tal que el Wronskiano de ambas
o
sea distinto de cero. Primero es fcil mostrar (ver Cap. 16) que si la ecuacin diferencial tiene
a
o
la forma general
y + p(x)y + q(x)y = 0 ,
entonces el Wronskiano de dos soluciones y1 , y2 es
W = p(x)W ,
(15.23)
dW
= p(x)dx ,
W
lo que tiene sentido pues deseamos que W = 0. Integrando en un intervalo [a, x], para cierto
a,
x
W (x)
ln
=
p(x1 ) dx1 ,
W (a)
a
o
Rx
W (x) = W (a)e a p(x1 ) dx1 .
(15.24)
Por otro lado,
2
W (x) = y1 y2 y1 y2 = y1
de modo que
d
dx
y2
y1
= W (a)
d
dx
y2
y1
1 R x p(x1 ) dx1
e a
.
2
y1
(15.25)
166
CAP
ITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
Rx
1
y2 (b)
2
.
e a p(x1 ) dx1 dx2 + y1 (x)
2
[y1 (x2 )]
y1 (b)
y2 (x) = y1 (x)
Rx
1
2
e p(x1 ) dx1 dx2 .
2
[y1 (x2 )]
(15.26)
Esta es la segunda solucin, linealmente independiente, que buscamos. Observemos que hemos
o
omitido la evaluacin en el l
o
mite inferior de las integrales. Al igual que antes, mantener el
l
mite inferior contribuye con un trmino proporcional a la solucin conocida y1 (x).
e
o
Ejemplo Para el oscilador armnico, d2 y/dx2 + y = 0, una solucin es y1 = sen x, obteo
o
nindose
e
x
dx2
= sen x( cot x) = cos x .
y2 (x) = sen x
sen2 x2
15.4.2.
Expansin en serie
o
Podemos reescribir la segunda solucin obtenida (15.26) usando expansiones en serie para
o
y1 (x) y p(x). De acuerdo al teorema de Fuchs, es posible encontrar una solucin por serie
o
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 ra de la ecuacin indicial. Por su parte, este teorema exige que, a
ces
o
lo sumo, p(x) diverja como 1/x, y q(x) como 1/x2 , en x = 0, luego
p(x) =
p i xi ,
(15.28)
q i xi .
(15.29)
i=1
q(x) =
i=2
(15.30)
(15.31)
167
con n entero (el unico caso problemtico es cuando las ra dieren en un nmero entero).
a
ces
u
Entonces
(k )(k + n) = 0 ,
(15.32)
Igualando coecientes de k en (15.30) y (15.32), tenemos
p1 1 = n 2 .
(15.33)
y2 (x) = y1 (x)
R x P
2
i=1
=0
x2
2
pi xi dx1
1
a x
2
(15.34)
dx2 .
x2
p i xi
1
a
pk k+1
x
+ f (a) ,
k+1 2
dx1 = p1 ln x2 +
i=1
k=0
exp
pi xi dx1
1
a
p1
= ef (a) x2
exp
i=1
k=0
pk k+1
x
k+1 2
1
2
x2
2
a x
2
x2
2
=0
b x ,
2
=0
para ciertos coecientes b . As despreciando factores constantes que pueden ser absorbidos
,
en W (a), y2 (x) queda de la forma
y2 (x) = y1 (x)
p1 2
c x
2
x2
dx2 ,
=0
y2 (x) = y1 (x)
xn1
2
c x
2
dx2 ,
=0
de modo que
x
y2 (x) = y1 (x)
n1
n+1
(c0 x2
+ c1 xn + c2 x2
+ + cn x1 + ) dx2 .
2
2
(15.35)
Se aprecia entonces que la segunda solucin es de la forma y1 (x)s(x), con s(x) una funcin
o
o
que tiene dos partes:
Una serie de potencias, partiendo con xn .
168
CAP
ITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
Un trmino logar
e
tmico, proveniente de integrar x1 .
El trmino logar
e
tmico proviene del trmino con = n est presente slo si = n en
e
a
o
(15.4.2), de modo que aparece slo si n es un entero, a menos que cn , por casualidad, resulte
o
ser cero.
Puesto que la menor potencia de y1 (x) es x = xk1 , se sigue que, obviando el trmino
e
logar
tmico, la menor potencia de y2 es xn = xk2 (independiente de si n es entero o no).
As podemos escribir la segunda solucin (absorbiendo el coeciente c0 en la normalizacin
,
o
o
de y1 (x)), en la forma
d x .
(15.36)
=0
Cap
tulo 16
Ecuaciones diferenciales del tipo
f + p(z)f + q(z)f = 0
versin 9 noviembre 2009
o
En este Cap
tulo volveremos sobre algunos temas del anterior sobre ecuaciones diferenciales con singularidades (Cap. 15), ahora desde un punto de vista ms formal.
a
16.1.
(16.1)
Sea D una regin en el plano complejo. Sean p(z) y q(z) holomorfas en D. Sea z0 D.
o
En este caso se puede eliminar el trmino en f en (16.1). Para ello consideramos
e
f (z) = g(z)e
1
2
Rz
z0
p(z ) dz
(16.2)
g(z)E .
Puesto que
1
E = pE ,
2
p
p2
E = +
2
4
E,
p2 g p g
4
2
g (z) + A(z)g(z) = 0 ,
con
A(z) = q(z)
p(z)2 p (z)
.
4
2
169
=0,
(16.3)
(16.4)
170
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
A(z) =
(16.5)
a z ,
=0
g(z) =
(16.6)
ck z k .
k=0
Debemos demostrar que sta es efectivamente una solucin, es decir, que esta serie es cone
o
vergente. Reordenando las series:
A(z)g(z) =
al ck z l+k =
lk
a c z .
=0 =0
c+2 ( + 1)( + 2) +
=0
a c z = 0 ,
=0
1
=
( + 1)( + 2)
a c .
(16.7)
=0
(16.9)
171
N (k)
,
= 0, 1, . . . , k .
1
=
k(k + 1)
k1
c ak1 ,
=0
luego
1
| ck+1 | <
k(k + 1)
<
Luego
| ck+1 | k+1 <
k1
=0
2
N (k) M
N (k)
1
=
Mk
k1
k(k + 1) k1
1 N (k) M
k+1 (k + 1)
M 2
N (k) < N (k)
(k + 1)
k sucientemente grande.
Es decir, para k sucientemente grande, la misma cota que permite acotar a los primeros
k trminos ck k , permite tambin acotar al siguiente trmino. Por tanto, desde cierto k0 en
e
e
e
adelante,
N (k) = N (k + 1) = N (k + 2) = = N ,
o sea
| ck | k N ,
k k0 .
Con ello,
ck z
k=k0
| ck | | z | =
k
k=k0
| ck |
k=k0
|z|
N
k=k0
|z|
La ultima suma converge si | z | < < r, luego ck z k converge si | z | < r. Por lo tanto,
k=0
existe una solucin de la forma (16.6). Este resultado sugiere el siguiente teorema.
o
Teorema 16.1 (Sin demostracin) Toda solucin de f + p(z)f + q(z)f = 0 es anal
o
o
tica
por lo menos all donde los coecientes p(z) y q(z) lo son.
172
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
1 (z) 2 (z)
.
1 (z) 2 (z)
(16.10)
Evaluemos W :
W = 1 2 2 1
W = 1 2 2 1 = 1 (p2 q2 ) 2 (p1 q1 )
= p1 2 + p2 1 = p(1 2 2 1 ) = pW ,
W
= (ln W ) = p ,
W
luego
W (z) = Ce
Rz
z0
p(z ) dz
(16.11)
.
(16.12)
2
+ V (x) + E
2m x2
=0.
2
,
z
1 (z) = z ,
q(z) =
2
,
z2
2 (z) = z 2 .
W = 2z 2 z 2 = z 2 = 0 z D .
173
i (z)
(z)
p(z) i
,
i (z)
i (z)
i = 1, 2 .
(16.14)
Notemos que esto tiene mucho sentido. Conocer dos soluciones l.i. signica, en el fondo,
conocer todas las soluciones del problema, y por tanto es razonable esperar que conocer todas
las soluciones de un problema es equivalente a conocer la ecuacin diferencial que dene el
o
problema.
16.2.
Consideremos ahora la ecuacin (16.1), pero sea ahora z0 un punto fuera del dominio D.
o
Sean 1 , 2 base del espacio vectorial de soluciones de (16.1). 1 y 2 son anal
ticas en D,
donde p y q lo son. Supongamos que p o q no son holomorfas en z0 . Qu ocurre con nuestras
e
soluciones si las prolongamos anal
ticamente en torno al punto z0 y volvemos a D?:
1, 2
D
z0
1, 2
(1 , 2 ) (1 , 2 ) .
La transformacin es un endomorsmo de V en V . Despus del viaje, las funciones base
o
e
quedan convertidas en ciertas combinaciones lineales de las funciones originales:
1 = a11 1 + a12 2 ,
2 = a21 1 + a22 2 ,
o bien
a11 a12
a21 a22
1
2
(16.15)
174
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Para que 1 y 2 sean l.i., y por tanto sigan siendo base de V , se debe cumplir que el
determinante de la matriz de circunvalacin sea no nulo:
o
= cte.
(16.16)
o
circunvalacin preserve la ortogonalidad de la base.
o
Sea entonces {1 , 2 } una base de soluciones. Entonces
= b1 1 + b2 2 .
Luego del viaje:
Con (16.15):
= = b1 1 + b2 2 .
Siendo {1 , 2 } l.i.:
(a11 )b1 + a21 b2 = 0 ,
a12 b1 + (a22 )b2 = 0 .
Existen soluciones no triviales si
a11
a21
=0,
a12
a22
(16.17)
es decir, nuestro problema corresponde a encontrar los autovalores de la matriz de circunvalacin. (Algo esperable, por cierto.)
o
Sean ahora 1 y 2 las soluciones de esta ecuacin. Existen dos posibilidades:
o
a) Sea 1 = 2 . En este caso podemos escoger la base tal que
1 = 1 1 ,
2 = 2 2 .
1 0
0 2
1
2
(16.18)
1
ln k .
2i
k =
175
(16.19)
Entonces
(z z0 )k [(z z0 )k ] = ek ln(zz0 )
k = k k ,
[(z z0 )k ] = k (z z0 )k .
O sea el cuociente
k
(z z0 )k
k
,
(z z0 )k
es decir, queda univalente al dar la vuelta en torno al punto singular z0 , luego este cuociente
admite un desarrollo de Laurent:
k (z)
=
ck (z z0 ) .
(z z0 )k
=
En resumen: Si 1 = 2 , existe una base cuyo desarrollo en la vecindad del punto singular
z0 es:
1 (z) = (z z0 )
c1 (z z0 ) ,
(16.20)
c2 (z z0 ) .
(16.21)
2 (z) = (z z0 )2
=
1 1 = 1 1 ,
2 2 = a21 1 + a22 2 .
Matricialmente:
1 0
a21 a22
1
2
2 = a21 1 + 1 2 ,
176
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
de donde
2 a21
a21 1 + 1 2
=
+
.
1 1
1
1
Armamos que
=
2 a21 1
ln(z z0 )
1
1 2i
(16.22)
(16.23)
2 a21 1
a21
[ln(z z0 ) + 2i] =
ln(z z0 ) = .
1 2i
1
1 2i
d (z z0 ) ,
=
o bien
d (z z0 ) +
2 = 1
=
a21
1 ln(z z0 ) .
2i1
2 = (z z0 )
c2 (z z0 ) +
1
=
a21
1 (z) ln(z z0 ) .
2i1
Si a21 = 0 podemos dividir 2 por a21 , es decir, podemos tomar, sin prdida de generalidad,
e
a21 = 1.
En resumen: Si 1 = 2 existe una base cannica cuyo desarrollo en la vecindad del
o
punto singular z0 es:
1 (z) = (z z0 )1
c1 (z z0 ) ,
=
2 (z) = (z z0 )1
c2 (z z0 ) +
=
(16.24)
1
1 (z) ln(z z0 ) .
2i1
(16.25)
177
c1 (z z0 ) ,
(16.26)
c2 (z z0 ) .
1 (z) = (z z0 )
(16.27)
2 (z) = (z z0 )2
=
b) Si 1 = 2 (caso incmodo):
o
c1 (z z0 ) ,
1 (z) = (z z0 )
1
=
c2 (z z0 ) +
2 (z) = (z z0 )1
=
(16.28)
1
1 (z) ln(z z0 ) .
2i1
(16.29)
En estas expresiones,
ln k
.
(16.30)
2i
El teorema nos dice por lo tanto que las soluciones de la ecuacin diferencial son precisao
mente de la forma que descubrimos en el Cap
tulo anterior (dos series de potencia, o una serie
y un trmino logar
e
tmico), excepto por el hecho de que las series en (16.26)(16.29) tienen
todas las potencias de z z0 , positivas y negativas, en cambio en el Cap. 15 hab una cota
a
inferior. La diferencia, desde luego, es que hasta el momento hemos tratado el problema de
modo completamente general. Slo sabemos que z0 es un punto singular de p(x) y/o q(x),
o
pero no qu tipo de singularidad es. Ahora nos preocuparemos de ello.
e
Primero, veamos el caso en que un punto z0 del plano complejo es un punto de holomorf
a.
k =
W
W
178
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
problema podr ocurrir si j (z) = 0 para algn z. Pero la otra funcin l.i. no puede
a
u
o
ser nula en el mismo punto (si lo fuese, el Wronskiano ser nulo en ese punto, lo que
a
contradice la independencia lineal), y basta usar, en (16.14), entonces aquella funcin
o
que no es nula en ese punto.
q.e.d.
Ahora consideremos el caso en que z0 es un punto singular. Pero como sugieren los resultados anteriores, no nos interesan singularidades cualesquiera. Introducimos entonces el
concepto de singularidad Fuchsiana.
Denicin 16.5 Un punto es una singularidad Fuchsiana de (16.1) si en ese punto p(z) y q(z)
o
no son ambas holomorfas y si el desarrollo de Laurent de las soluciones (base cannica) tiene
o
una cantidad nita de trminos de potencias negativas. Es decir, los cuocientes univalentes
e
son meromorfos.
Denicin 16.6 Una funcin se dice meromorfa si es anal
o
o
tica en todo el plano complejo
excepto en un nmero nito de polos. Por ejemplo: z/[(z + 1)(z 3)3 ].
u
Ahora estamos en condiciones de demostrar el siguiente importante teorema, el teorema
de Fuchs, que en el Cap. 15 slo se mostr de manera cualitativa: bajo qu condiciones
o
o
e
es posible tener soluciones con un desarrollo en serie de Laurent con un nmero nito de
u
potencias negativas.
Teorema 16.5 (Fuchs) Para que z0 sea una singularidad Fuchsiana de (16.1) es necesario
y suciente que p(z) tenga en z0 a lo sumo un polo simple y q(z) tenga en z0 a lo sumo un
polo doble, sin ser ambas holomorfas.
Demostracin
o
i) Demostracin de necesidad.
o
Sea z0 = 0 singularidad Fuchsiana de (16.1). Consideremos la base cannica:
o
1 (z) = z
c1 z
c1,n = 0 ,
c2 z + ln(z)1 (z)
c2,m = 0 ,
=n
2 (z) = z 2
=m
donde
=
2i1
caso cmodo
o
caso incmodo
o
179
1 (z) = z
c1 z
c10 = 0 ,
c2 z + ln(z)1 (z)
c20 = 0 .
=0
2 (z) = z 2
=0
W = 1 2 2 1 =
2
1 .
Pero
2
= ln z + z 2 1
1
a z ,
=0
2
1
+
( 2 1 + )a z +2 1 1 ,
z =0
luego
( 2 1 + )a z +2 1 1
+
z =0
W =
c1 z
=0
W =z
b z ,
b0 = 0 .
=0
De aqu
,
( + )b z
W =
1+
=0
1
= z
z
( + )b z .
=0
W
1 b0 + ( + 1)b1 z +
=
.
W
z
b0 + b1 z +
1 +1
=0 ( 1 + )c1 z
1 +
=0 c1 z
1 1 c10 + ( 1 + 1)z +
z
c10 + c11 z +
180
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Q(z)
P (z)
f + 2 f =0,
z
z
(16.31)
P (z) =
p z ,
(16.32)
q z .
(16.33)
=0
Q(z) =
=0
f =z
c z =
=0
c0 = 0 .
c z + ,
(16.34)
=0
Entonces
z
f =
z
f =
z
z2
c ( + )z ,
=0
c ( + )( + 1)z .
=0
c ( + )( + 1)z +
=0
c ( + )z
p z
=0
=0
q z
=0
c z
= 0 . (16.35)
=0
() = ( 1) + p0 + q0 ,
(16.36)
181
(1 ) = (2 ) = 0 .
(16.37)
1 2 Z .
En este caso,
y por tanto
1 + n = 2
(i + n) = 0
n Z ,
n Z ,
i = 1, 2 .
n N .
(16.38)
182
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Por tanto, el procedimiento anterior de dividir por (1 +n) es vlido, obtenindose
a
e
la solucin asociada a 1 .
o
Para 2 , por su parte, puede haber problemas, pues (2 + n) = 0 cuando n =
1 2 y no se pueden obtener los coecientes de la solucin. Esto signica que la
o
solucin no es de la forma (16.34), y se necesita la expresin ms general, con un
o
o
a
trmino logar
e
tmico. De todos modos z = 0 ser singularidad Fuchsiana.
a
q.e.d.
16.3.
Singularidades en innito
1
z
(16.39)
1
s
(16.40)
Se tiene
1
ds
= 2 = s2 ,
dz
z
df ds
df
df
=
= s2
,
dz
ds dz
ds
d2 f
d2 f
df
= s4 2 + 2s3
,
dz 2
ds
ds
de modo que f satisface:
2s p(1/s) df
q(1/s)
d2 f
+
+
f =0.
2
2
ds
s
ds
s4
(16.41)
183
16.4. EJEMPLOS
Denicin 16.8 Innito es singularidad Fuchsiana de (16.1) si cero lo es de (16.41).
o
16.4.
Ejemplos
(16.42)
o, equivalentemente,
nz
1z
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 +
Q(z) = nz ,
p0 = 1 ,
q0 = 0 .
1 (z) = z
d z .
=0
(16.44)
184
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
2 (z) =
f z + 1 (z) ln(z) .
(16.45)
=0
2 (z) = ln(z) +
f z ,
n=0.
(16.46)
=0
Reemplazando en (16.42):
0=z
1
2+
f ( 1)z 2
z
=2
0 = 1 +
1
+
f z 1
z =1
+ (1 z)
f ( 1)z
=2
f z
f z
=1
=1
f1 = 1 ,
se obtiene
(n 1)!
1
=
.
2
(n!)
n n!
As las dos soluciones linealmente independientes de la ecuacin de Laguerre para n = 0 son:
,
o
fn =
1 (z) = L0 (z) = 1 ,
2 (z) = ln(z) +
n=1
z
.
!
2) La ecuacin
o
1
1
f + f =0
2
2
tiene una singularidad Fuchsiana en z = 0. La ecuacin indicial es:
o
z2f + z z
1
1
( 1) + = 0 ,
2
2
luego
1 =
1
,
2
2 = 1 y 1 = 2 .
185
f= z
a z =
=0
a z +1/2 .
=0
Tomando a0 = 1:
a1 = 1 ,
a2 =
1
,
2
1
1
= ,
23
3!
1
a = (1) .
!
a3 =
... ,
Luego
f (z) =
z
=0
(1) z
= ez z .
!
f (z) =
a z +1 .
=0
a+1
,
+ 1/2
1.
Tomando a0 = 1, resulta
a = (1)
f (z) = z
=0
16.5.
2
,
(2 + 1)!!
(2z)
.
(2 + 1)!!
Nuestro objetivo ahora ser encontrar el tipo de ecuacin (16.1) ms general tal que sea
a
o
a
holomorfa en todo el plano completo (es decir, incluyendo innito), salvo en 0, 1, 2 3
o
singularidades Fuchsianas, una de las cuales podr estar en innito. Esto es, p(z), q(z),
a
p(1/s) y q(1/s) deben ser meromorfas.
186
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Proposicin 16.4 Para que la ecuacin (16.1) tenga slo singularidades Fuchsianas es neo
o
o
cesario y suciente que se cumplan las siguientes condiciones:
n
p(z) =
k=1
n
q(z) =
k=1
Ak
,
z k
(16.47a)
Bk
Ck
+
2
(z k )
(z k )
(16.47b)
Ck = 0 .
(16.47c)
k=1
p(z) =
(16.48a)
(16.48b)
1
s
1
s
= a1 s + a2 s 2 +
= a0 s 2 + a3 s 3 +
Pero, de (16.48),
p
1
s
= sn
P (1/s)
sn P
(1 s1 ) (1 sn )
1
s
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 anlisis similar
a
conduce a que el grado de Q(z) es al menos dos grados inferior al grado del denominador de
q(z).
De esto se sigue que podemos descomponer p(z) y q(z) en fracciones parciales en la forma:
n
p(z) =
k=1
n
q(z) =
k=1
n
Ck = 0 .
k=1
Ak
,
z k
Ck
Bk
+
2
(z k )
(z k )
187
La ultima condicin viene de exigir que el grado de Q(z) sea al menos dos grados inferior al del
o
denominador de q(z). En efecto, al sumar las fracciones parciales, los trminos que contienen
e
n
2
Ck son de la forma Ck (z k ) j=k (z j ) , que tiene grado 1 + 2 (n 1) = 2n 1, que
es slo un grado inferior al grado del denominador. La mayor potencia de z aparece en un
o
e
trmino de la forma z 2n1 n Ck . Por otro lado, los trminos que contienen Bk son de la
e
k=1
n
2
forma Bk j=k (z j ) , de grado 2 (n 1) = 2n 2 a lo sumo. Por tanto, el numerador es
de grado 2n 2 o inferior si n Ck = 0.
k=1
q.e.d.
Ahora revisemos cada uno de los casos que nos interesan.
16.5.1.
n = 0 singularidades Fuchsianas
1
s
1
s
1
1
= p0 + p1 + p2 2 +
s
s
1
1
= q0 + q1 + q2 2 +
s
s
Pero entonces 2s p(1/s) tiene un cero en s = 0 slo si p(1/s) = 0, y q(1/s) tiene un cero
o
en s = 0 slo si q(1/s) = 0. Luego, por la Proposicin 16.2, z = puede ser punto de
o
o
holomorf slo si
a o
p(z) = q(z) = 0 .
Sin embargo, esta condicin implica a su vez que innito es singularidad Fuchsiana (Propoo
sicin 16.3). Esto es una contradiccin, luego no existen ecuaciones de la forma (16.1) sin
o
o
singularidades Fuchsianas.
16.5.2.
n = 1 singularidades Fuchsianas, en z =
Ak = Bk = Ck = 0 .
(16.49)
f (z) = c1 + c2 z .
(16.50)
188
16.5.3.
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
n = 1 singularidades Fuchsianas, en z = 0
A
,
z
q(z) =
B
,
z2
y la ecuacin es de la forma:
o
B
A
f + 2f = 0 .
z
z
Pero z = es punto de holomorf de modo que (Proposicin 16.2)
a,
o
f +
a)
2s p
1
s
= 2s As
1
s
= Bs2
(16.51)
f 1 = c1 ,
c2
f2 =
.
z
(16.52)
Sus soluciones:
16.5.4.
n = 2 singularidades Fuchsianas, en z = 0 y z =
189
B
A
f + 2f = 0
z
z
(16.53)
(1 A)2 B 2
(1 A)2 B 2
f1 = z 1 .
f2 = z 1 ln z ,
16.5.5.
(16.55)
La ecuacin y sus soluciones se obtienen del caso anterior por medio de la transformacin:
o
o
z
za
.
zb
(16.56)
190
CAP
ITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
B(a b)2
2z 2aA(a b)
f +
f =0,
(z a)(z b)
(z a)2 (z b)2
2z + A
B
f +
f =0.
(z a)(z b)
(z a)2 (z b)2
(16.57)
za
zb
+ c2
za
zb
(16.58)
2) Caso incmodo:
o
f = c1
za
zb
1 + c2 ln
za
zb
(16.59)
Cap
tulo 17
Funciones hipergeomtricas
e
versin 9 noviembre 2009
o
En el cap
tulo anterior encontramos la forma general de todas las ecuaciones con n < 3
singularidades Fuchsianas. En ste estudiaremos el siguiente caso en complejidad: n = 3.
e
Escribiremos la forma general de una ecuacin con tres singularidades Fuchsianas, y la resolo
veremos. La ecuacin hipergeomtrica ser la ecuacin con mayor nmero de singularidades
o
e
a
o
u
Fuchsianas que estudiaremos, pero ser suciente para nuestros propsitos, dada la riqueza
a
o
de sus soluciones. De hecho, muchas funciones especiales que ya hemos visto o que veremos
en los cap
tulos siguientes se pueden escribir como casos particulares de funciones hipergeomtricas, de modo que la funcin hipergeomtrica puede ser vista como la solucin para
e
o
e
o
una gran familia de problemas de inters en F
e
sica.
17.1.
(17.1)
z2 = B ,
z3 = C ,
k
l
h
+
+
.
zA zB zC
(17.2)
1
s
= 2s
hs
ks
ls
,
1 As 1 Bs 1 Cs
191
(17.3)
192
CAP
ITULO 17. FUNCIONES HIPERGEOMETRICAS
1
s
s0,
q(z) =
(17.5)
Esto claramente no impone nuevas restricciones sobre q(z), la cual podemos escribir de forma
general como:
1
Q(z)
(z A)(z B)(z C) (z A)(z B)(z C)
H
K
L
1
=
+
+
zA zB zC
(z A)(z B)(z C)
q(z) =
(17.6)
.
Reemplazando la forma general de p(z) y q(z) dadas en (17.2) y (17.6) en (17.1) obtenemos
la ecuacin hipergeomtrica general:
o
e
k
l
h
+
+
zA zB zC
H
K
L
1
+
+
+
=0,
zA zB zC
(z A)(z B)(z C)
(17.7)
17.2.
Ecuacin indicial
o
H
=0.
(A B)(A C)
H
.
(A B)(A C)
(17.8)
193
K
,
(B A)(B C)
+ =1l ,
L
.
(C A)(C B)
Tenemos + + + + + = 3 k l h = 3 (k + l + h) = 3 2 = 1.
De lo anterior podemos eliminar de la ecuacin hipergeomtrica los coecientes h, k, l,
o
e
H, K, L y escribirla en funcin de , , , , y
o
1
1
(C A)(A B)(B C)
1
+
+
zA
zB
zC
(z A)(z B)(z C)
+
+
=0,
(z A)(B C) (z B)(C A) (z C)(A B)
(17.9)
(z) = P
17.3.
B C
z
.
(17.10)
1 1
+
+
=0.
z
z1
z(z 1)
(17.11)
Las constantes deben satisfacer + + + = 1, lo cual deja slo tres constantes indepeno
dientes. La ecuacin (17.11) es conocida como ecuacin diferencial de Gauss y su solucin,
o
o
o
escrita como funcin P de Riemann, es:
o
0 1
z
(z) = P
.
(17.12)
0 0
Haciendo un cambio de notacin
o
1=c ,
=a,
=b.
194
CAP
ITULO 17. FUNCIONES HIPERGEOMETRICAS
ab
(1 + a + b)z c
+
=0.
z(z 1)
z(z 1)
1c cab a z
(z) = P
.
0
0
b
(17.13)
(17.14)
(z) =
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 relacin de recurrencia para los coecientes d ,
o
d+1 =
( + a)( + b)
d ,
( + c)( + 1)
para = 0, 1, 2, . . . .
(17.17)
(a, b, c ; z) = 1 +
ab
a(a + 1)b(b + 1) 2
z+
z + .
c
c(c + 1)2!
(17.18)
2 F1 (1, b, b ; z) =
z .
=0
ndice 1 = 0.
195
(17.19)
Sustituyendo
c2c ,
aac+1 ,
bbc+1 ,
se obtiene la ecuacin hipergeomtrica de Gauss, por lo tanto la solucin para (z) en (17.19)
o
e
o
es:
(z) = 2 F1 (a c + 1, b c + 1, 2 c ; z) , con c = 2 ,
luego la otra solucin de (17.13) es
o
(z) = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) .
(17.20)
(17.19)
bajo la condicin de que c Z tiene como base de soluciones con centro en cero:
o
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 hipergeomtrica
e
z
,
f
!
=0
(17.18)
196
CAP
ITULO 17. FUNCIONES HIPERGEOMETRICAS
fn+1 =
fn+1
(c)
2 F1 (a, b, c ; z) =
(a)(b)(c b)
pero
=0
(c b)(b + )
z
(a + ) ,
(c + )
!
(c b)(b + )
= B(c b, b + ) ,
(c + )
con
(m)(n)
,
(m + n)
B(m, n) =
tm1 (1 t)n1 dt =
0
1
b1
(1 t)
cb1
=0
(a + ) t z
dt ,
(a)
!
(1 tz)
=
=0
(a + )
t z .
(a)!
1
B(b, c b)
con Re[c] > Re[b] > 0, | z | < 1 y donde t es una variable compleja.
Proposiciones
a) 2 F1 (a, b, c ; z) =
z
1
F a, c b, c ;
.
a 2 1
(1 z)
z1
b) 2 F1 (a, b, c ; z) =
1
z
F c a, b, c ;
.
b 2 1
(1 z)
z1
c) 2 F1 (a, b, c ; 1) =
(c)(c a b)
.
(c a)(c b)
(17.22)
197
(c)
(b)(c b)
tcb1 (1t)b1 1
0
tz
z1
1
dt ,
(1 z)a
(c)
(b)(c b)
(1 z) 1
1
z
2 F1 a, c b, c ;
(1 z)a
z1
b1
(1 t )cb1
0
a
(1 t )z
z1
dt ,
1
(c)
tb1 (1 t)cb1 (1 tz)a dt ,
(b)(c b) 0
= 2 F1 (a, b, c ; z) .
(a, b, c ; z) = 2 F1 (b, a, c ; z) .
c) y d) Tarea.
Consideremos la expansin en serie de la funcin ln(1 + z) con centro en z = 0:
o
o
z2 z3 z4
+
+ ,
para | z | < 1 ,
2
3
4
1212
123123
11
(z) +
(z)2 +
(z)3 +
ln(1 + z) = z 1 +
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
ln(1 + z) = z
o
z
z
2 F1 1, 1, 2 ;
1+z
1+z
z
1+z
1+
z
1
=
+
1+z 2
1 z
1
+
21+z 3
2
z
1
+
1+z
3
z
= ln 1
= ln
1+z
z
1+z
z
1+z
1
1+z
+ ,
= ln(1 + z) .
198
CAP
ITULO 17. FUNCIONES HIPERGEOMETRICAS
17.5.
+ ab
=0.
2
b b
dz
b
b
dz
b
b
u
Denimos (u) =
y evaluamos las derivadas
b
d
u 1
1 d
u
d
=
=
du
dz
b b
b dz
b
d2
1 d2
u
= 2 2
2
du
b dz
b
(17.23)
u 1 d2
a+1
1 d
u
u
u
+uc
a
=0,
2 dz 2
b b
b
b
b dz
b
b
u d2
a+1
d
u 1
+uc
a=0 .
b du2
b
du
(17.24)
1 F1
z
b
= l
m 1 +
b
(a, c ; z) = 1 +
ab z a(a + 1)b(b + 1) z 2
+
+
1c b 1 2 c(c + 1) b2
az
a(a + 1) z 2
+
+ .
c 1! c(c + 1) 2!
(17.25)
Esta serie es conocida como la serie hipergeomtrica conuente. Tiene radio de convergencia
e
innito siempre que c = 0, 1, 2, 3, . . .. La otra solucin de la ecuacin diferencial es:
o
o
l
m
z
b
1c
2 F1
a c + 1, b c + 1, 2 c ;
con c = 1, 2, 3 . . .
Proposiciones
a) ez = 1 F1 (a, a ; z).
z
b
= z 1c 1 F1 (a c + 1, 2 c ; z) ,
(17.26)
erf(z)
2
= z 1 F1
c) 1 F1 (a, c ; z) =
1 3
,
2 2
1
B(a,ca)
; z 2 .
1
(1
0
d) 1 F1 (a, c ; z) = ez 1 F1 (c a, c ; z).
Demostraciones
a) Directa a partir de la denicin dada en (17.26).
o
b)
c) y d) Tarea.
t2 t4
+ dt ,
1! 2!
0
0
z3
z5
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
, ; z 2 .
= z 1 F1
2 2
erf(z) =
2
et dt =
199
200
CAP
ITULO 17. FUNCIONES HIPERGEOMETRICAS
Cap
tulo 18
Polinomios de Legendre
versin 16 noviembre 2009
o
En diversos problemas f
sicos (gravitacin, electrosttica, etc.) nos encontramos con fuero
a
zas que dependen del inverso de la distancia entre dos cuerpos. Los polinomios de Legendre
aparecen naturalmente en el problema geomtrico de determinar esta distancia inversa, lo
e
cual los vincula con numerosas situaciones de inters f
e sico.
18.1.
Funcin generatriz
o
Consideremos dos radios r0 y r que unen un punto O con dos puntos, A y B, respectivamente:
A
r0
2
r2 + r0 2rr0 cos .
Denamos
x = cos ,
1 x 1 .
202
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
1
=
1 + s2 2xs
Pn (x)sn
(18.1)
n=0
(18.2a)
(18.2b)
(18.2c)
(18.2d)
Pn (1)sn .
n=0
Pn (1) = 1 n N0 .
(18.3)
Anlogamente, tomando x = 1:
a
1
1
(1, s) =
=
= 1 s + s2 s3 + =
2 + 2s
1+s
1+s
Luego
Pn (1) = (1)n
Pn (1)sn .
n=0
(18.4)
n N0 .
1
3
(2 1)!! 2
1
= 1 s2 + s4 + = 1 +
s =
(0, s) =
(1)
2
2
8
(2)!!
1+s
=1
Pn (0)sn ,
n=0
203
18.2.
Relaciones de recurrencia
1
xs
= (1 + s2 2xs)3/2 (2s 2x) =
=
s
2
1 + s2 2xs
nPn (x)sn1 ,
n=0
es decir
(x s) = 0 .
s
Introduciendo la expansin (18.1) e igualando coecientes de sn , se obtiene la relacin de
o
o
recurrencia
(1 + s2 2xs)
n1,
P1 xP0 = 0 .
(18.5a)
(18.5b)
Pn (x) =
an,m xm .
(18.6)
m=0
2m 1
am1,m1 ,
m
m1.
(18.7)
Esta es una relacin de recurrencia entre los coecientes supremos de los polinomios de
o
Legendre. Puesto que a00 = 1 [relaciones (18.2)], se sigue que
a11 = 1 ,
a22 =
y en general
ann =
13
,
12
a33 =
135
...
123
(2n 1)!!
(2n)!
= n
.
n!
2 (n!)2
(18.8)
204
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
(18.9)
18.3.
(18.11)
donde
(x, s) =
1 + (s2 2sx)
=
k=0
1/2
(s2 2sx)k ,
k
(1/2)!
=
.
=
1
1
k!( 2 k)!
k!( 2 k)!
1/2
k
Por su parte,
k
(s 2sx) =
2
=0
de modo que
(x, s) =
k=0 =0
k 2
s (2sx)k ,
1/2
k
k
(2x)k sk+ .
Sea n = k + . Entonces
2k
(x, s) =
k=0 n=k
1/2
k
k
(2x)2kn sn .
nk
Deseamos intercambiar el orden de las sumas. Para ello observemos la siguiente gura:
n
k=n
8
7
6
5
4
3
2
1
0
0 1 2 3 4 5 6 7 8
205
Efectuar la doble suma equivale a sumar sobre los pares ordenados (k, n) indicados con
puntos en la gura. 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 l
mites k = [(n + 1)/2] y k = n. As la doble suma se puede escribir:
,
(x, s) =
n=0 k=[ n+1 ]
2
1/2
k
k
(2x)2kn sn ,
nk
donde
n+1
n
si n es par,
2
2
n+1
n+1
si n es impar.
2
2
Comparando con (18.1), identicamos
n
Pn (x) =
k=[ n+1 ]
2
1/2
k
k
(2x)2kn .
nk
Deniendo = n k, el l
mite inferior de la suma corresponde a = n [(n + 1)/2] = [n/2],
de modo que
0
Pn (x) =
=[ n ]
2
1/2
n
n
(2)n2 xn2 ,
o bien
[n]
2
Pn (x) =
=0
18.4.
Frmula de Rodrigues
o
Puesto que
(18.12)
206
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
[n]
2
(1)
=0
1 dn
= n
2 n! dxn
=
1
2n n!
1
dn 2(n)
x
!(n )! dxn
[n]
2
(1)
=0
n!
x2(n)
!(n )!
d
(x2 1)n ,
dxn
1 dn 2
(x 1)n
2n n! dxn
(18.13)
18.5.
Nos interesa ahora determinar la ecuacin diferencial de la cual los polinomios de Legendre
o
son solucin. Sea
o
u(x) = (x2 1)n .
Entonces
dn+1
dxn+1
n+1
n+1
2xu(n+1) (x) +
2u(n) (x) =
1
2
2nxu(n+1) (x) +
n+1
2nu(n) (x) ,
1
(18.14)
18.6.
207
Proposicin 18.1 Pn (x) tiene lugares nulos simples en el intervalo (1, 1).
o
Demostracin Sea u(x) = (x2 1)n . Entonces u(x) tiene lugares nulos de multiplicidad n
o
en x = 1. Como u(1) = u(1) = 0, por el teorema del valor medio u (x0 ) = 0 para algn
u
x0 (1, 1). Pero u (1) = u (1) = 0, luego tambin es cierto que u (x) se anula dos veces
e
en (1, 1), una vez en (1, x0 ) y otra vez en (x0 , 1). Procediendo sucesivamente, se encuentra
que u(n) (x), y por ende Pn (x), se anula n veces en (1, 1).
Estos ceros son necesariamente simples, dada la condicin de polinomios ortogonales de
o
los polinomios de Legendre (seccin 18.7 y teorema 11.2).
o
q.e.d.
18.7.
Relacin de ortogonalidad
o
2n n!
tm Pn (t) dt =
1
tm u(n) (t) dt ,
1
2n n!
m
1
El trmino de borde es cero pues u(m) (1) = 0 si m < n. Anlogamente, integrando por
e
a
partes m veces:
1
2 n!
t Pn (t) dt = (1) m!
(nm)
(t) dt = (1) m! u
m
(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:
1
1
2
Pn (t) dt
(2 n!)
n
(2 n!)
n
2
Pn (t) dt
2
1
=u
(n) (n1)
u
1
(n+1)
(t)u
(n1)
(t) dt =
208
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
1
2
Pn (t) dt
(2 n!)
n
u(2n) (t)u(t) dt
= (1)
n
1
1
= (1)n
1
Usando que
d2n
(t2 1)n (t2 1)n dt .
dt2n
d2n 2
[(t 1)n ] = (2n)!,
dt2n
(2n n!)2
2
Pn (t) dt = (1)n (2n)!
1
(1)n (1 t2 )n dt
1
(1 t)n (1 + t)n dt .
= (2n)!
1
(2n n!)2
2
Pn (t) dt = (2n)! (1 t)n
1
= (2n)!
n
n+1
(1 + t)n+1
n+1
+
1
n
n+1
(1 t)n1 (1 + t)n+1 dt
1
(1 t)n1 (1 + t)n+1 dt
1
(2n n!)2
1
n(n 1)(n 2) 2 1
(n + 1)(n + 2) 2n
= (2n)! n!
1 (1 + t)2n dt
1
1
2n+1
n!
1
(1 + t)
(2n)! 2n + 1
(n!)2 22n+1
.
2n + 1
o
1
Pn (t)Pm (t) dt =
1
2
nm
2n + 1
(18.15)
Notar que, en particular, la relacin anterior implica que | Pn (t) | < 1 en [1, 1], para todo
o
n 1.
18.8.
n!
2i
f (u)
du .
(u z)n+1
209
Sea
1
(z 2 1)n .
n!
Entonces los polinomios de Legendre se pueden escribir en la forma:
f (z) =
2n
n! 1
2i 2n n!
(u2 1)n
du ,
(u z)n+1
1 1
2n 2i
(u2 1)n
du
(u z)n+1
(18.16)
0 < 2 ,
du = ie d = i(u z)d ,
i
luego
u2 1
z 2 + 2zei + 2 e2i 1
=
uz
ei
1
=
(z 2 1)ei + 2z + 2 ei ,
de modo que
2
1
1 1
n
(z 2 1)ei + 2z + 2 ei i d
Pn (z) = n
n
2 2i 0
2
1 1 1
n
(z 2 1)ei + 2z + 2 ei d .
= n
n
2 2 0
2
2
2
1
=
[ cos + z]n d .
2 0
Pn (z) =
o
1
Pn (z) =
2
z+
z 2 1 cos
(18.17)
210
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
Corolario | Pn (x) | 1 n N0 ,
x [1, 1] .
x2 1 = i 1 x2 .
El integrando en (18.17) satisface:
x + i 1 x2 cos
luego
= x2 + (1 x)2 cos2 x2 + 1 x2 = 1 ,
x + i 1 x2 cos
As
,
| Pn (x) |
1
2
x + i 1 x2 cos
n/2
1.
n
1
2
d = 1 .
0
q.e.d.
Poniendo z = cos en (18.17),
1
Pn (cos ) =
2
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 funcin arbitraria podr ser escrita como una combinacin
o
a
o
lineal de los Pn . Estudiemos esta posibilidad.
Si la serie a P (x) converge uniformemente en [1, 1] y representa all a f (x), es
=0
decir,
f (x) =
a P (x) ,
=0
entonces
f (x)Pn (x) dx =
1
P (x)Pn (x) dx =
a
=0
1
1
a n
=0
2
2an
=
.
2n + 1
2n + 1
Entonces los coecientes de Fourier de f (x) respecto a los polinomios de Legendre estn
a
dados por:
1
1
an = n +
f (x)Pn (x) dx .
(18.19)
2
1
211
A la inversa: Sea f (x) una funcin dada, acotada y seccionalmente continua en [1, 1].
o
Entonces se pueden calcular los coecientes de Fourier a respecto a P y construir la serie
a P (x) .
=0
| an |
| f (x) | | Pn (x) | dx .
1
| an |
1
2
2M = (2n + 1)M .
Esto no es muy util, pues si bien es una cota para los coecientes an , la cota crece con n, y
Intentemos ahora con una integracin por partes. Si f existe y es continua en [1, 1],
o
entonces se puede integrar por partes (18.19), obtenindose
e
an =
n+
1
2
f (x)
Pn (x ) dx
1
f (x)
Pn (x ) dx dx
Pn (x ) dx =
1
con lo cual
an =
1
2
1
[Pn+1 (x) Pn1 (x)] ,
2n + 1
(En principio, esta relacin es slo vlida para n > 0, pero ello no importa, pues nos interesa
o
o
a
encontrar cotas para an , y basta encontrarlas para n sucientemente grande.) As
,
| an |
donde
1
2
| f (x) | dx 2M ,
1
M = mx | f (x) | .
a
x[1,1]
Vemos que, en efecto, integrar por partes result una mejor estrategia, pues la cota obtenida
o
ahora no crece con n, sino que es constante. An no es suciente para mostrar convergencia,
u
pero el resultado sugiere que vale la pena integrar por partes una vez ms. Realizando entonces
a
el mismo procedimiento suponiendo que f es seccionalmente continua en [1, 1] se obtiene
que
1
A,
| an |
n2
212
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
que n=0 an Pn (x) converge uniformemente. Representa esta serie de Legendre la funcin
o
f (x)? Para responder, consideremos la diferencia entre la serie y la funcin f (x):
o
g(x) = f (x)
a P (x) .
=0
1
n+
2
1
n+
2
g(x)Pn (x) dx =
1
f (x)Pn (x) dx
1
P (x)Pn (x) dx
a
=0
= an
a n = 0 .
=0
Armamos que
g(x) 0 .
y=1
g
-1
Luego
g qk > 0 .
g qk
Pero g(x) es ortogonal a todos los polinomios Pn (x), y por tanto a todo polinomio (es claro
que todo polinomio se puede escribir como combinacin lineal de los Pn (x); lo que estamos
o
tratando de probar es que toda funcin se puede expandir en una serie de Legendre), luego
o
1
g qk = 0 ,
1
213
q.e.d.
Luego,
f (x) =
a P (x) .
=0
18.10.
s=0
n!
ds
dns
A(x) s B(x) .
(n s)!s! dxns
dx
(18.20)
(18.21)
dm
Pn (x) .
dxm
Reemplazando
(x) = (1 x2 )m/2 u(x) = (1 x2 )m/2
dm
Pn (x) ,
dxm
m2
=0.
1 x2
(18.22)
214
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
m
Las soluciones regulares, denotadas por Pn (x), son:
m
(x) = Pn (x) = (1 x2 )m/2
dm
Pn (x) .
dxm
(18.24)
m
Ocasionalmente los Pn (x) aparecen en su denicin con un factor (1)m , por ejemplo en
o
Classical Electrodynamics, Second Edition de J.D. Jackson, esta eleccin es conocida como
o
fase de Magnus y Oberhettinger o de Condon y Shortley. Nosotros incluiremos esta fase en la
denicin de los armnicos esfricos, al estilo seguido en Mathematical Methods for Physicists,
o
o
e
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 deniciones los armnicos esfricos resultantes son iguales.
o
e
En coordenadas polares, x = cos , (18.24) queda
m
Pn (cos )
= sin
m
d d
d cos d
Pm (cos ) =
d
d
Pm (cos ) .
(18.25)
(18.26)
(n m)! m
P (x) .
(n + m)! n
(18.27)
A partir de la funcin generatriz de los polinomios de Legendre, por ejemplo, se puede eno
contrar la funcin generatriz de las funciones asociadas de Legendre:
o
(2m)!(1 x2 )m/2
=
2m m!(1 2tx + t2 )m+1/2
m
P+m (x)t .
=0
(18.28)
215
Usando dicha funcin generatriz, encontramos relaciones de recurrencia para las funciones
o
asociadas de Legendre:
m+1
Pn
2mx
m1
P m + [n(n + 1) m(m 1)]Pn
= 0,
(18.29)
(1 x2 )1/2 n
m
m
m
(n + m)Pn1 + (n m + 1)Pn+1 = (2n + 1)xPn , (18.30)
1 m+1 1
m1
m
P
(n + m)(n m + 1)Pn
= (1 x2 )1/2 Pn , (18.31)
2 n
2
m
m+1
m1
(2n + 1)(1 x2 )1/2 Pn = Pn+1 Pn1 ,
m1
= (n + m)(n + m 1)Pn1
m1
(n m + 1)(n m + 2)Pn+1 .
(18.32)
(18.33)
para m = 0.
(18.35)
Finalmente, las funciones asociadas de Legendre satisfacen distintas relaciones de ortogonalidad dependiendo sobre cual
ndice se tomen. La primera:
1
m
Pp (x)Pqm (x) dx =
1
2 (q + m)!
p q ,
2q + 1 (q m)!
(18.36)
o en coordenadas polares
m
Pp (cos )Pqm (cos ) sen d =
0
2 (q + m)!
p q .
2q + 1 (q m)!
(18.37)
Sobre el otro
ndice
1
m
k
Pn (x)Pn (x)(1 x2 )1 dx =
1
18.11.
(n + m)!
m k .
m(n m)!
(18.38)
y + n(n + 1)y = 0 .
dx
dx
1 x2
(18.39)
216
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
La condicin de borde
o
y(1) nito
(18.40)
asegura que las soluciones sean las funciones asociadas de Legendre [ver (18.35), (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 est caracterizado por una funcin de peso w(x) = 1, y autovalores
a
o
= n(n + 1) (ver tabla en Seccin 14.4).
o
La relevancia f
sica de este problema se aprecia al considerar ecuaciones que contengan el
laplaciano:
2
(r) + f (r)(r) = 0 ,
(18.41)
dependencia angular proviene del operador laplaciano, se obtiene la siguiente ecuacin tras
o
la separacin de variables:
o
() d
sen d
sen
d()
d
() d2 ()
+ ()() = 0 .
sen2 d2
(18.42)
() = eim , eim
(18.43)
(18.44)
m1 ()m2 () d =
0
(18.45)
o
1
m () = eim ,
2
(18.46)
sen
d()
d
m2
() = 0 .
sen2
(18.47)
217
Nos aseguramos de que las soluciones no diverjan en cos = 1 poniendo = n(n + 1),
pues en ese caso esta ecuacin tiene por solucin las funciones asociadas de Legendre () =
o
o
m
a e
Pn (cos ). Por tanto, cualquier problema laplaciano con simetr esfrica corresponde a un
problema de autovalores de un operador autoadjunto (problema de Sturm-Liouville). Las
soluciones de este problema sern ortogonales para distintos autovalores, y se podr construir
a
a
una base del espacio de soluciones con ellas. En otras palabras, la parte angular de cualquier
solucin de la ecuacin diferencial (18.41) se podr escribir como una combinacin lineal de
o
o
a
o
m
los Pn (cos ).
Puesto que los polinomios de Legendre se reobtienen con m = 0, se sigue que gran parte
de la discusin en las secciones 18.7 y 18.9 es slo una manifestacin de estas conclusiones
o
o
o
generales.
18.12.
Armnicos esfricos
o
e
con Anm una cierta constante de normalizacin, m entero, positivo o negativo, si la funcin
o
o
debe ser monovaluada en la variable , y n entero para que las soluciones no diverjan en
cos = 1.
La denicin (18.24) en principio slo contempla m > 0. Para incluir valores negativos
o
o
m
de m usamos la frmula de Rodrigues en la denicin de Pn (cos ):
o
o
m
Pn (x) =
dm+n
1
(1 x2 )m/2 m+n (x2 1)n ,
2n n!
dx
n m n .
(18.48)
(2n + 1) (n m)! m
P (cos ) ,
2
(n + m)! n
n m n .
(18.49)
m
y la funcin Pn (cos ) es ortonormal con respecto al angulo polar . Consideramos entonces
o
(2n + 1) (n m)! m
Pn (cos ) eim ,
4 (n + m)!
(18.50)
que son funciones en los dos ngulos, ortonormales sobre la supercie esfrica. La integral
a
e
completa de ortogonalidad es
2
m
m
Yn1 1 (, )Yn2 2 (, ) sen dd = n1 n2 m1 m2 ,
=0
=0
(18.51)
218
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
o bien,
m
m
Yn1 1 ()Yn2 2 ()d = n1 n2 m1 m2 ,
(18.52)
(18.53)
5
3 sen cos ei ,
24
5
3 sen2 e2i .
96
m
amn Yn (, )
f (, ) =
m,n
amn Yn (, ) .
(18.54)
n=0 m=n
(18.55)
(18.56)
219
Pn (cos ) =
4
m
m
(1)m Yn (1 , 1 )Yn (2 , 2 ) ,
2n + 1 m=n
(18.57)
o equivalentemente
n
4
m
Pn (cos ) =
Y m (1 , 1 )Yn (2 , 2 ) .
2n + 1 m=n n
(18.58)
(n m)! m
m
Pn (cos 1 )Pn (cos 2 ) cos[m(1 2 )] .
(n + m)!
m=1
(18.59)
La ecuacin (18.56) es un caso especial de la ecuacin (18.59).
o
o
Pn (cos ) = Pn (cos 1 )Pn (cos 2 ) + 2
18.13.
Los polinomios de Legendre son solucin de la ecuacin diferencial (18.14). Pero sta es
o
o
e
una ecuacin de segundo grado, y por tanto debe existir otra solucin, linealmente indepeno
o
diente a los Pn (x). La encontraremos observando que los polinomios de Legendre son un caso
particular de la funcin hipergeomtrica. En efecto, consideremos la ecuacin hipergeomtrica
o
e
o
e
general:
1
1
1
+
+
W
zA
zB
zC
+
+
con soluciones
(A B)(B C)(C A)
W =0,
(z A)(z B)(z C)
A B C
z
P
.
(18.60)
1
1
+
z+1 z1
n(n + 1)
W =0,
(z + 1)(z 1)
(18.61)
220
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
1 1
0 0 n z
Pn (z) = P
.
0 0 n+1
(18.62)
o
ra de la ecuacin indicial en torno a 1 son ambas cero, por lo tanto estamos en el caso
ces
o
incmodo, en que el mtodo de Frobenius slo puede darnos una solucin por serie, y la otra
o
e
o
o
tiene un trmino logar
e
tmico.
Observemos que la expresin (15.26) para la segunda solucin de una ecuacin con sino
o
o
x
gularidades indica que esta solucin se puede escribir en la forma Pn (x) u(t) dt, con u(x)
o
cierta funcin. A partir de este hecho, se puede mostrar que la expresin
o
o
Qn (z) =
1
2
1
1
Pn (t)
dt
zt
(18.63)
(z 2 1)
1
2(z t)2
1
1
1
1
=
1
dt
+
2(z t)2
1
1
tPn (t)
dt
(z t)2
1
2(z t)
+
1
1
2
1
1
Luego
(z 2 1)Qn (z) + 2zQn (z) n(n + 1)Qn (z)
=
1
2
1
1
221
(18.64)
Las funciones Qn (z) son la segunda solucin de la ecuacin de Legendre. (18.63) se puede
o
o
reescribir:
1 1
1
Q (z, t) dt ,
(18.65a)
Qn (z) = Pn (z)I(z)
2
2 1 n
con
1
dt
,
1 z t
Pn (z) Pn (t)
Q (z, t) =
.
n
zt
I(z) =
Se tiene
t=1
I(z) = ln(z t)
= ln(z + 1) ln(z 1) = ln
t=1
(18.65b)
(18.65c)
z+1
z1
z+1
z1
salvo en 1 z 1.
(18.66)
z+1
z1
qn (z) ,
(18.67)
con qn (z) un polinomio de grado n1 con coecientes reales, que tiene el trmino logar
e
tmico
que esperbamos.
a
Para 1 < < 1, (18.67) nos permite armar que
Qn ( + 0i) = Qn ( 0i) iPn () .
Basta considerar el circuito en torno al polo en z = 1:
-1
+1
(18.68)
222
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
(18.69)
1 .
Q0 (z) =
(18.70)
Expansin en serie
o
Podemos utilizar (18.63) para encontrar una expansin en serie para Qn . En efecto,
o
Qn (z) =
1
2z
1
1
1
t Pn (t) dt .
1 z
Si | z | > 1,
1
Qn (z) =
2z
=n
t
z
Pn (t) dt .
Observemos que todos los trminos con < n en la suma son cero, debido a la ortogonalidad
e
de Pn (t) y t . Obtenemos as
Qn (z) =
bn+1
bn+2
+ n+2 + ,
n+1
z
z
con
1
b =
2
En particular,
bn+1
1
=
2
t1 Pn (t) dt .
1
tn Pn (t) dt .
1
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
1 2 n
2 1 3 (2n 1)
Pn (t)Pn (t) dt =
1
1
1 2 n
2
.
2 1 3 (2n 1) 2n + 1
223
n!
.
(2n + 1)!!
Relacin de recurrencia
o
Obtengamos una relacin de recurrencia para Qn (z). En general,
o
l z n Qn (z) = 0 ,
m
| z |
n = 0, 1. . .
Sea n 1. Entonces
(n + 1)Qn+1 z(2n + 1)Qn + nQn1 =
1
[(n + 1)Pn+1 z(2n + 1)Pn + nPn1 ] ln
2
z+1
z1
(polinomio) .
(18.71)
an Pn (t) ,
n=0
n+
1
2
1
1
1
=
zt
Pn (t)
dt = (2n + 1)Qn (z) ,
zt
(18.72)
n=0
-1
Re(t)
224
CAP
ITULO 18. POLINOMIOS DE LEGENDRE
Cap
tulo 19
La ecuacin diferencial de Bessel
o
versin 14 diciembre 2009
o
En el Cap
tulo anterior hemos observado que en problemas con simetr esfrica, en que
a e
aparece el operador de Laplace, la ecuacin angular involucra a la ecuacin asociada de Leo
o
gendre. En este Cap
tulo estudiaremos otra ecuacin diferencial, que tambin resultar estar
o
e
a
relacionada con el operador de Laplace, pero en coordenadas cil
ndricas: la ecuacin de Beso
sel. En este Cap
tulo revisaremos algunas de las propiedades matemticas de la ecuacin de
a
o
Bessel y de sus soluciones; en el Cap
tulo ?? aplicaremos lo aprendido en la resolucin de
o
problemas de inters f
e sico.
19.1.
+ + 2
+
+
=0,
2
z
z (z B) z(z B)
z(z B)
si consideramos adems, = = B 2 y tomamos el l
a
mite B , obtenemos
1
2
+ + 1 2
z
z
=0.
(19.1)
la cual es conocida como la ecuacin diferencial de Bessel. Esta ecuacin tiene una singulao
o
ridad fuchsiana en z = 0 cuando Re() > 0. Planteamos como solucin
o
(z) = z
a z =
=0
a z + .
=0
226
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
tenemos
a ( + )( + 1) + a ( + ) a
a2 z + ,
=2
=0
obteniendo
a ( + )2 2 = a2 ,
= 2, 3, . . . ,
a0 ( 2 2 ) = 0 ,
a2
,
( + 2)
(19.2)
se puede demostrar que todos los coecientes impares son nulos. Los coecientes pares
a2 =
22
a0
,
1! ( + 1)
a4 =
24
a0
,
2! ( + 1)( + 2)
...
El trmino general es
e
a2 = (1)
22
a0
.
! ( + 1)( + 2) ( + )
Tomando
a0 =
se obtiene
z
J (z) =
2
=0
1
,
( + 1)
(1)
z
! ( + + 1) 2
(19.3)
19.2.
Funciones de Bessel de
ndice no entero
=0
(1)
z
! ( + 1) 2
(19.4)
227
Notemos que, en rigor, slo podemos asegurar que si 1 2 = 2 es no entero, las dos
o
soluciones J y J son linealmente independientes. Esto todav deja abierta la posibilidad
a
de que si es semientero, no sean linealmente independientes. Afortunadamente, no es as
.
Mostremos lo anterior con = 1/2. En este caso, la resta de las dos ra
ces 1 2 =
1/2 + 1/2 = 1 Z. Sin embargo, a pesar de estar en el caso incmodo las dos soluciones
o
todav funcionan (hab
a
amos encontrado un hecho similar al discutir el oscilador armnico).
o
En efecto, consideremos = 1/2. El denominador en (19.3) se puede reescribir
!( + 3/2) = !( + 1/2)( + 1/2) .
(2n + 1)!
, de modo que
2n n!
se tiene nalmente
z 1
2z
J1/2 (z) =
es decir
J1/2 (z) =
2
z
=0
=0
(19.5)
2 sen z
(19.6)
2
z
=0
(1) 2
z ,
(2)!
(19.7)
o bien
J1/2 (z) =
2 cos z
(19.8)
228
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
o
a ndrica deben invo1/ . Es decir, podemos intuir que fenmenos oscilatorios con simetr cil
19.3.
Funciones de Bessel de
ndice entero
(1)
(!)2
J0 (z) =
J0 (z) =
z
2
=1
1 z2
1 z4
+
,
(1!)2 22 (2!)2 24
4 z3
6 z5
2 z
+
+ .
(1!)2 22 (2!)2 24 (3!)2 26
z
J1 (z) =
2
(1)
z
!( + 1)! 2
z
2
1 z4
1 z2
+
(1!)2 22 (2!)2 24
(19.9)
0.8
0.6
0.4
0.2
0
0.2
0.4
0.6
229
=0
(1)
z
! ( + n)! 2
(19.10)
Para
ndice entero pero negativo:
Jn (z) =
z
2
=n
(1)
z
! ( n + 1) 2
Consideraremos nulos los coecientes con < n en la funcin gamma (la funcin gamma
o
o
tiene polos en = 0, 1, 2, . . . , luego 1/() = 0). Sea = n. Luego
z
Jn (z) =
2
=0
(1) (1)n
( + n)!!
z
2
(19.11)
19.4.
Comportamiento asinttico
o
x(x) = u(x) .
3
(x) = x1/2 u (x) x3/2 u (x) + x5/2 u(x).
4
Sustituyendo en la ecuacin de Bessel,
o
u (x)
2
u (x) 3 u(x) u (x) 1 u(x)
+
+
+ 1 2
x
4 x2
x
2 x2
x
u(x) = 0 ,
230
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
quedando
1/4 2
x2
u (x) + 1
u(x) = 0 .
cos(x + )
.
x
q.e.d.
19.5.
z2 z4
+
=
4
64
z2
8
(19.12)
Funcin generatriz
o
sn Jn (z) .
(z, s) =
(19.13)
n=
Usando (19.10) (que es vlida tambin si n < 0, recordando que 1/h! 0 si h < 0, h Z),
a
e
(z, s) =
sn
n=
l=0
=
n= l=0
=
n= l=0
(1)l
z
l!(l + n)! 2
(1)l
z
l!(l + n)! 2
(1)l
l!
z
2s
2l+n
zs
2
2l
1
zs
(l + n)! 2
l+n
=
n= l=0
,
l=0 h=
(z, s) =
l=0
(1)l
l!
z
2s
h=0
1 zs
h! 2
zs
= e 2s e 2 .
1
s
s
Jn (z)sn .
n=
(19.14)
231
19.6.
Frmulas de adicin
o
o
z1 + z2
2
1
s
z1
2
= exp
1
s
exp
1
s
sn Jn (z1 + z2 ) =
n=
z2
2
s J (z1 )
=
s J (z2 ) .
=
Jn (z1 + z2 ) =
(19.15)
2
J0 (z)
J0 (0) = 1 =
J (z)J (z) +
=1
J (z)J (z) ,
=1
obteniendo
2
J (z) .
2
1 = J0 (z) + 2
(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)
1
s
1
= (ei ei ) = i sen .
2
En la funcin generatriz,
o
exp
z
2
1
s
= exp(iz sen ) ,
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
232
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
(19.19)
sen(x sen ) = 2
Sea = 0. Entonces
1 = J0 (x) + 2
J2m (x) .
(19.20)
m=1
cos x = J0 (x) + 2
(19.21)
sen x = 2
m=0
19.7.
Representaciones integrales
Cambiemos el
ndice de suma en (19.18) a m, multipliquemos la ecuacin por eim e
o
integremos en . Se obtiene
cos (x sen m) d ,
cos (m x sen ) d .
(19.22)
En particular,
J0 (x) =
cos(x sen ) d =
0
/2
cos(x sen ) d +
0
cos(x sen ) d
/2
/2
cos(x sen ) d +
0
cos(x sen( + )) d
/2
233
/2
cos(x sen ) d +
cos(x sen ) d
/2
/2
(19.23)
cos(x sen ) d .
/2
J0 (x) =
1
d
y la integral
1 2
cos(x)
d .
1 2
1
1 2
si | | 1,
si | | < 1,
J0 (x) =
cos(x)p() d .
J0 (t) =
cos(2st)F (s) ds ,
donde
F (s) =
2
1 4 2 s2
si | s |
1
,
2
si | s | <
1
.
2
De lo anterior se desprende, puesto que J0 (x) es una funcin par, que F (s) es precisamente
o
la transformada de Fourier de J0 (x):
F{J0 , s} = F (s) .
Anlogamente, tomando transformada de Fourier a la relacin (19.9) obtenemos
a
o
F{J1 , s} = F{J0 , s} = i2sF{J0 , s} = 2isF (s) .
234
19.8.
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
Relaciones de recurrencia
1
1+ 2
s
sn Jn (z) ,
n=
nsn1 Jn (z) =
n=
Comparando coecientes,
z
[Jn1 + Jn+1 ] sn1 .
2 n=
2n
Jn (z) = Jn1 (z) + Jn+1 (z) .
z
(19.24)
1
s
s
sn Jn (z) ,
n=
sn Jn (z) =
n=
1
[Jn1 Jn+1 ] sn .
2 n=
Comparando coecientes
2Jn (z) = Jn1 (z) Jn+1 (z) .
(19.25)
(19.26)
(19.27)
n
Jn (z) = Jn+1 (z) ,
z
(19.28)
es decir
z n Jn+1 (z) = z n Jn (z)
(19.29)
(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
235
1 = J0 (z) + 2
J2 (z) =
=1
1=2
=0
z
=
2
2 + 1
J2+1 (z) ,
z
(2 + 1)J2+1 (z) ,
=0
=
=0
(2 + n)(n + + 1)!
J2+n (z) .
!
(19.30)
19.9.
Relaciones de ortogonalidad
g(x) = J (kx) ,
con h = k.
(19.31)
f (x) = h2 J (hx) ,
g (x) = k 2 J (kx) .
J (hx) +
J (hx) = 0 ,
J (kx) = 0 .
Multiplicando la primera ecuacin por h2 y la segunda por k 2 y usando las deniciones dadas
o
en (19.31) obtenemos
1
2
f (x) + f (x) + h2 2 f (x) = 0 ,
x
x
1
2
g (x) + g (x) + k 2 2 g(x) = 0 .
x
x
(19.32)
236
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
1
x(f (x)g(x) f (x)g (x))
tf (t)g(t) dt = 2
k h2
.
a
xJ (hx)J (kx) dx
a
es la t
pica integral que interviene en asuntos de ortogonalidad.
Ortogonalidad
Por ejemplo, para m = n, se tiene ortogonalidad sobre el intervalo [0, a] con
a
J m
0
J n
d = 0 ,
a
a
(19.33)
J m
0
19.10.
d =
a2
[J+1 (m )]2 .
2
(19.34)
1
f () + f () +
2
m 2
2
a2
f () = 0 ,
237
d
d
d
f
d
2
m 2
2
a2
2
m 2
2
a2
f () = 0 ,
f () = 0 ,
(19.35)
,
d
d
y la funcin de peso
o
2
m
.
a2
As las funciones J (m ) asociadas a cada autovalor, para m = 0, 1, 2,. . . ( est jo) sern
,
a
a
un set completo en el cual se podr expandir cualquier funcin en [0, ].
a
o
A qu problemas f
e
sicos est asociado este problema de Sturm-Liouville? Consideremos
a
nuevamente el operador laplaciano, como en (18.41), pero ahora en coordenadas cil
ndricas:
2
(r ) =
1 d
d
d
d
d2
1 d2
+ 2 (, , z) .
2 d2 dz
(19.36)
238
CAP
ITULO 19. LA ECUACION DIFERENCIAL DE BESSEL
Cap
tulo 20
Diversos tipos de funciones cil
ndricas
versin 14 diciembre 2009
o
20.1.
f (z) = J0 (z)
u(t) dt .
(20.2)
Luego
1
1
f (z) = J0 (z)
z
z
1
u(t) dt + J0 (z)u(z) ,
z
(20.3)
f (z) = J0 (z)
(20.4)
240
CAP
ITULO 20. DIVERSOS TIPOS DE FUNCIONES CIL
INDRICAS
esto es,
2J0 (z) 1
+
u(z) ,
J0 (z)
z
z
2J0 (t) 1
u(z) = C exp
+
J0 (t)
t
2
u(z) = exp ln J0 (z) ln z ,
u (z) =
es decir,
dt
1
1
=
u(z) =
2
zJ0 (z)
z
1+
a2 z 2
(20.5)
=1
N0 (z) = J0 (z)
dt
,
2
tJ0 (t)
(20.6)
N0 (z) = J0 (z) ln z +
b2 z
= J0 (z) ln z +
c2
=1
=1
z
2
2
1
1
1
N0 (z) = J0 (z) ln z + 2 J0 (z) +
c2
z
z
z
2
=1
z
2
22
1
2
1
1
2(2 1) z
c2
N0 (z) = J0 (z) ln z + 2J0 (z) J0 (z) 2 +
z
z
4
2
=1
22
c22 (1) 1
,
2
(!)2
1.
(20.7)
(1)
(!)2
1+
1+
1
2
1 1
1
+ + +
2 3
(20.8)
241
c2n+2 =
2 (n!)2
2n+1
(n + 1)
2
n
[(n + 1)!]
n+1
1
1
1
(1)
1 + + + +
.
c2n+2 =
2
[(n + 1)!]
2
n n+1
q.e.d.
Con este resultado, podemos escribir una solucin linealmente independiente de J0 (x) en
o
la forma:
1
z 2
1
z 4
1
z 6
1
1 1
N0 (z) = J0 (z) ln(z) +
+
1+
1+ +
2
2
2
(1!) 2
(2!)
2
2
(3!)
2 3
2
(20.9)
Grcamente:
a
N0
l=0
donde
() =
1 d()
.
() d
n1
l=0
2l+n
(n l 1)! z
l!
2
2ln
, (20.11)
(20.12)
242
20.2.
CAP
ITULO 20. DIVERSOS TIPOS DE FUNCIONES CIL
INDRICAS
Funciones de Hankel
En el cap
tulo anterior, vimos que las funciones de Bessel se pueden representar en la
forma integral
1
exp[i(z sen n)] d .
Jn (z) =
2
Hagamos el cambio de variable = , de modo que
1
2
Jn (z) =
(20.13)
Sea
g(s) = eis .
g + 2 g = 0 .
Sea adems
a
de modo que
z2
(20.15)
Entonces
(20.14)
(20.16)
f
2f
2f
+z
+ z2f = 2 .
z 2
z
s
(20.17)
(20.18)
z2
C
f
2f
+z
+ (z 2 2 )f g .
2
z
z
Con (20.17),
0 = 2
fg
C
fg +
= 2
C
= 2
fg + fg
fg
C
2f
g
s2
f
f
g
g
s
s
f
g
s
f
= f (g + 2 g) + f g
g
s
C
.
C
243
f
g
s
.
C
(20.19)
C1
-3
2
-
2
C2
3
2
s1
x>0
(20.20)
244
CAP
ITULO 20. DIVERSOS TIPOS DE FUNCIONES CIL
INDRICAS
De (20.20),
I(x) =
(20.21)
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
.
(1)
(2)
Hn (x) + Hn (x) =
(20.22)
(20.23)
y a la inversa,
(1)
Hn = Jn + iNn ,
(20.24)
= Jn iNn .
(20.25)
(2)
Hn
Recordemos ahora que las funciones de Bessel son, de algn modo, el equivalente a las
u
funciones sinusoidales en coordenadas cil
ndricas. A la luz de esa analog podemos claraa,
mente observar que los resultados (20.22)(20.25) nos obligan a considerar a las funciones
Jn como el equivalente a un seno, a las funciones de Neumann como un coseno [lo cual
no es sorprendente, a la luz de los resultados (19.6) y (19.8)], y a las funciones de Hankel al
equivalente a las exponenciales complejas respectivas. Estos resultados sin duda permiten
hacer la analog con funciones armnicas simples mucho ms expl
a
o
a
cita.
Cap
tulo 21
Aplicaciones
versin 14 diciembre 2009
o
En este Cap
tulo aplicaremos algunos de los resultados obtenidos en los cap
tulos anteriores para resolver problemas de inters f
e sico. En particular, estudiaremos el problema de
encontrar el potencial electrosttico en un cierto volumen del espacio delimitado por supera
cies mantenidas a potenciales dados. Este problema involucra la solucin de Laplace en cierto
o
dominio del espacio real. En los cap
tulos anteriores hemos podido encontrar autofunciones
asociadas al operador de Laplace, y por lo tanto podemos escribir formalmente la solucin
o
como una combinacin lineal de tales autofunciones. Los potenciales jos en las supercies
o
que determinan el dominio proporcionarn las condiciones de borde necesarias para encona
trar todos los coecientes de dicha combinacin lineal y, por ende, resolver completamente el
o
problema.
Adems, resolveremos algunos problemas relacionados con la ecuacin de onda (modos
a
o
normales de una membrana) y la ecuacin de difusin.
o
o
21.1.
Coordenadas rectangulares
(21.1)
(21.2)
Suponemos
Sustituyendo en (21.1) y dividiendo por (21.2) tenemos
1 d2 X
1 d2 Y
1 d2 Z
+
+
=0.
X(x) dx2
Y (y) dy 2
Z(z) dz 2
(21.3)
Si cada trmino en (21.3) depende slo de una variable independiente, cada uno debe ser
e
o
245
246
CAP
ITULO 21. APLICACIONES
= 2 ,
(21.4)
= 2 ,
(21.5)
= 2 ,
(21.6)
Y (y) = exp(iy) ,
Z(z) = exp( 2 + 2 z) ,
2
2
(x, y, z) = eix eiy e + z .
(21.7)
Observamos que:
y son arbitrarios y se determinan por las condiciones de contorno;
por superposicin lineal de (21.7) obtenemos la solucin ms general de la ecuacin de
o
o
a
o
Laplace en coordenadas cartesianas.
Ejemplos
1) Potencial en el interior de un paralelep
pedo con caras a diferente potencial.
Consideremos primero el caso de un paralelep
pedo con todas las caras a potencial cero
salvo una. El problema general, en el cual cada una de las seis caras est a un potencial
a
diferente, se puede obtener como la superposicin de seis de estos problemas.
o
= V (x , y)
z=c
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
1111111111111111111111111111
0000000000000000000000000000
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 ,
Z(z) = sinh( 2 + 2 z) .
247
a = n
b = m ,
luego
n
m
n 2
m 2
,
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)
n =
La solucin completa es la superposicin de estos potenciales para todos los valores posio
o
bles de m y n:
(x, y, z) =
Anm sin(n x) sin(m y) sinh(nm z) .
(21.9)
nm
V (x, y) =
(21.10)
nm
correspondiendo a una doble serie de Fourier. Los coecientes vienen dados por
Anm =
4
ab sinh(nm c)
dx
0
=0
=V
0
248
CAP
ITULO 21. APLICACIONES
La condicin = 0 en x = 0 y x = a, da
o
nx
a
X(x) = sin
La condicin = 0 para y da
o
Y (y) = ey = e
Por lo tanto
n = e
La solucin general es
o
n
y
a
sin
n
y
a
nx
a
(x, y) =
An e
n
y
a
.
nx
a
sin
n=1
2
a
nx
a
(x, 0) sin
0
2V
cos u
n
0
1 para n impar
0 para n par
n
sin u du =
=
0
2V
[(1)n+1 + 1]
n
As el potencial queda
,
(x, y) =
4V
1 n y
nx
e a sin
n
a
n impar
(21.11)
z = e a (x+iy) ,
podemos reescribir el potencial como una funcin en el plano complejo:
o
4V
(z) =
Im
zn
n
n impar
249
ln(1 + z) = z z2 + z3 z4 +
2
3
4
ln(1 z) = z z2 z3 z4 +
Restando ambos resultados,
zn
1+z
=
,
ln
1z
n
n impar
es decir,
(x, y) =
2V
1+z
Im ln
1z
z = ei a (x+iy) = e a e
ix
a
luego
y
Im(z) = e a sin
1 |z|2 = 1 e
As nalmente,
,
21.2.
2y
a
y
,
a
y
y
y
= e a e a e a
2V
arctan
(x, y) =
= 2e a sinh
sin x
a
sinh y
a
y
a
Estudiemos ahora el potencial entre dos placas conductoras que forman un cierto angulo
11111111111111111111111
00000000000000000000000
11111111111111111111111
00000000000000000000000
11111111111111111111111
00000000000000000000000
11111111111111111111111
00000000000000000000000
11111111111111111111111
00000000000000000000000
111111111111111111111111
000000000000000000000000
11111111111111111111111
00000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
250
CAP
ITULO 21. APLICACIONES
1 2
=0.
2 2
(21.12)
(, ) = R()() .
Reemplazando en (21.12),
() d dR() R() d2 ()
+ 2
=0
d d
d2
dR()
1 d2 ()
d
+
=0.
R() d
d
() d2
Cada uno de los trminos debe ser igual a una constante:
e
d
R() d
dR()
d
= 2 ,
1 d2 ()
= 2 ,
() d2
dR
d2 R
+
2R = 0 ,
2
d
d
d2
+ 2 = 0 ,
d2
con soluciones
R() = a + b ,
() = A cos() + B sin() .
(21.13)
con soluciones
dR
= cte ,
d
R() = a0 + b0 ln ,
d2
=0,
d2
() = A0 + B0 .
(21.14)
(, ) = a0 + b0 ln +
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 = 0.
251
3. El trmino logar
e
tmico equivale al potencial generado por una l
nea de carga innita
sobre el eje z, con densidad lineal de carga = b0 /2.
En nuestro problema, 0 . Las condiciones de borde son entonces
(, 0) = (, ) = V .
La condicin de que la solucin sea nita en = 0 implica que
o
o
b0 = b = 0 .
Para = 0 se obtiene
V = a0 A0 +
a A .
V = a0 (A0 + B0 ) +
a B sin .
a0 B0 =
Siendo el lado izquierdo independiente de , ambos trminos deben ser nulos. Como a0 A0 = V ,
e
se sigue que a0 = 0, luego
B0 = 0 .
En el lado derecho, en tanto, como a = 0 (para preservar alguna dependencia en del
potencial), y B = 0 (para preservar dependencia en ), se concluye que
sin = 0 ,
es decir
m
,
m = 1, 2, 3, . . .
(, ) = V +
am m/ sin
m=1
V + a1 / sin
252
CAP
ITULO 21. APLICACIONES
a1 1
sin
a1 1
=
cos
E =
E
21.3.
E
4
a1 1
.
4
La ecuacin a resolver es
o
1
1 2
(r) + 2
2
r r
r sin
sin
2
1
=0
r2 sin2 2
UQ d
d2 U
+ 2
2
dr
r sin d
sin
dP
d
U P d2 Q
=0.
r2 sin2 d2
r2 sin2
1 d2 U
1
d
+
2
2 sin d
U dr
Pr
sin
dP
d
1 d2 Q
=0.
Q d2
e
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 ecuacin angular
o
1 d
sin d
sin
dP
d
+ l(l + 1)
m2
P =0,
sin2
253
dm
Pl (x) ,
dxm
si l es un entero, y m = l, l + 1, . . . , l 1, l.
La solucin general se puede escribir entonces,
o
(r, , ) =
(r, , ) =
(r, ) =
V () =
Al al Pl (cos ) ,
l=0
con Al
2l + 1
Al =
2al
254
CAP
ITULO 21. APLICACIONES
= V
= V
+V
V
V () =
0 /2
/2 <
Entonces,
Al =
2l + 1
V
2al
/2
Pl (cos ) sin d
0
Pl (cos ) sin d
/2
Al =
Al
Pl (u) du
Pl (u) du = 2
1
Pl (u) du
si l impar,
2l + 1
V
al
Pl (u) du =
0
2l + 1
V
al
1
2
(l1)/2
(l 2)!!
,
2 l+1 !!
2
y la solucin queda
o
1
(r, ) = V
(2l + 1)
2
l=0
(l1)/2
(l 2)!! r
2 l+1 !! a
2
Pl (cos ) .
Es fcil darse cuenta que para resolver el problema exterior, basta reemplazar
a
r
a
a
r
l+1
en la solucin anterior.
o
A partir de la discusin sobre la funcin generatriz de los polinomios de Legendre, Sec.
o
o
18.1, es inmediato obtener el siguiente importante resultado:
1
=
|x x |
l=0
l
r<
P (cos ) =
l+1 l
r>
1
,
2
2
r> + r< 2r< r> cos
255
(z) =
Bl
.
z l+1
Al z l +
l=0
z
q
a
(z) =
0
q 2a
q
a d
=
= 2
,
2 2zc cos )1/2
R
2a R
(z + c
si z > c,
(z) = q
l=0
si z < c,
(z) = q
l=0
cl
z l+1
Pl (cos ) ,
zl
Pl (cos ) .
cl+1
256
CAP
ITULO 21. APLICACIONES
Hemos entonces expresado el potencial en el eje z como una serie de potencias, y los coecientes tienen la forma que esperbamos, z l para z pequeo, y z (l+1) para z grande.
a
n
Ahora podemos armar que el potencial en todo el espacio se obtiene simplemente multiplicando por Pl (cos ) todos los trminos de la serie:
e
l
r<
P (cos )Pl (cos ) ,
l+1 l
r>
(r, ) = q
l=0
r,
2
=q
l=0
l
r<
[Pl (0)]2 .
l+1
r>
Pero
(1)k (2k 1)!!
,
2k k!
P2k+1 (0) = 0 ,
P2k (0) =
luego
2k
r<
(r) = q
k=0
2k+1
r>
(2k 1)!!
2k k!
Volviendo a los problemas sin simetr acimutal necesariamente, de modo que la solucin
a
o
de la ecuacin de Laplace puede ser escrita
o
(r, , ) =
l=0 m=l
V (, ) =
Alm Rl Ylm (, ) ,
l=0 m=l
donde
Alm =
1
Rl
dR Ylm (, )V (, ) .
a
determinados por los ngulos = (, ), = ( , ), conocemos una relacin entre Pl (cos )
a
o
21.4. ECUACION DE LAPLACE EN COORDENADAS CIL
INDRICAS
257
l=0
l
r<
1
Y ( , )Ylm (, ) .
l+1
2l + 1 r> lm
m=l
Esta expresin nos permite escribir el potencial debido a una carga puntual, separando
o
entre s las coordenadas asociadas a x y a x . Esto resulta util al integrar sobre una de
21.4.
(, , z) = R()Q()Z(z) ,
queda
d2 Z
d2 R QZ dR RZ d2 Q
+
+ 2
+ RQ 2
d2
d
d2
dz
2
2
1dR
1 dR
1 dQ
1 d2 Z
+
+ 2
+
R d2
R d
Q d2
Z dz 2
QZ
= 0
= 0
a
el penltimo trmino, por tanto deben ser iguales a una constante, que llamamos k 2 y 2 ,
u
e
respectivamente. Entonces quedan las ecuaciones:
d2 Z
k2Z = 0 ,
2
dz
d2 Q
+ 2Q = 0 ,
d2
d2 R 1 dR
2
+
+ k2 2 R = 0 .
d2
d
Q = ei .
Para que la funcin sea univaluada cuando 0 2 es permitido, debe ser entero.
o
k, por su parte, puede ser cualquier nmero real en principio.
u
258
CAP
ITULO 21. APLICACIONES
R=0,
que es la ecuacin de Bessel, con soluciones J , J . Estas soluciones son linealmente indeo
pendientes slo si Z. Si todos los angulos entre 0 y 2 son permitidos, que es lo usual,
o
entonces es entero y no son independientes, y hay que usar como base de soluciones las
funciones de Bessel y de Neumann, J y N , con
N (x) =
Si las soluciones deben ser regulares en el origen, sin embargo, las soluciones a usar son
solamente las funciones de Bessel J (x). La sucesin { J (xn a )} con jo, J (xn ) = 0,
o
n = 1, 2, 3. . . es un conjunto de funciones ortogonales en el intervalo 0 a, cumplindose
e
que
a
J xn
0
a2
J xn
d = [J+1 (xn )]2 nn .
a
a
2
Al escribir una funcin arbitraria de como combinacin lineal de esta base se obtiene la
o
o
llamada expansin en serie de Fourier Bessel:
o
f () =
An J xn
n=1
con
An =
2
2
a2 J+1 (xn )
0a,
f ()J xn
0
d .
dJ (x)
259
= V ( , )
=0
=a
Todos los angulos estn permitidos, por lo tanto podemos escribir las funciones en cada
a
variable en la forma:
Q() = A sin m + B cos m ,
Z(z) = sinh kz ,
R() = CJm (k) + DNm (k) .
La expresin para Z(z) satisface la condicin de borde Z(0) = 0. Como adems es nito
o
o
a
en = 0, debe tenerse
xmn
,
n = 1, 2, 3 ,
k = kmn =
a
donde xmn es la ra n-sima de Jm i.e. Jm (xmn ) = 0. La solucin general se escribe entonces
z e
o
(, , z) =
m=0 n=1
Los coecientes 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:
2 cosech(kmn L)
2
a2 Jm+1 (kmn a)
2 cosech(kmn L)
=
2
a2 Jm+1 (kmn a)
Amn =
Bmn
d
0
0
2
d
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 ecuacin de onda
o
2
1 2
=0,
v 2 t2
260
CAP
ITULO 21. APLICACIONES
e
respecto a la posicin de equilibrio, el campo electromagntico, etc. Los modos normales de
o
e
un sistema oscilatorio son aquellos en que todas las partes mviles del sistema oscilan con
o
una misma frecuencia, . En este caso, la dependencia temporal de , para todo r, se puede
escribir como un factor eit , en cuyo caso la ecuacin de onda se convierte en la ecuacin de
o
o
Helmholtz :
2
+ k 2 (r ) = 0 ,
con
k = /v .
Al involucrar el operador Laplaciano, esperamos que sus soluciones (es decir, la amplitud
de los modos normales de oscilacin de un sistema general), se pueda escribir en trminos
o
e
de funciones sinusoidales, armnicos esfricos o funciones de Bessel, segn la simetr del
o
e
u
a
problema. Revisemos algunos ejemplos.
Modos normales de un gas dentro de una cavidad esfrica de radio a
e
La ecuacin de Helmholtz se escribe en este caso:
o
1
1 2
(r) + 2
2
r r
r sin
sin
2
1
+ k22 = 0 .
r2 sin2 2
Separando variables, escribiendo (r ) = R(r)P ()Q(), es fcil advertir que las ecuacioa
nes angulares sern las mismas que para la ecuacin de Laplace en coordenadas esfricas
a
o
e
(Sec. 21.3), de modo que la parte angular corresponder a los armnicos esfricos:
a
o
e
P ()Q() = Ylm (, ) .
La ecuacin radial, en tanto, queda:
o
1 d2
l(l + 1)
(rR(r))
R(r) + k 2 R(r) = 0 .
2
r dr
r2
Con el cambio de variables
queda
R(r) = U (r)/ r ,
(l + 1 )2
d2
1 d
2
U (r) = 0 .
+
+ k2
dr2 r dr
r2
(l + 1 )2
d2
1 d
2
+
+1
U (x) = 0 ,
dx2 x dx
x2
que es la ecuacin de Bessel (19.1) con = l + 1/2. As la solucin radial se puede escribir
o
,
o
en la forma
Jl+1/2 (kr)
Nl+1/2 (kr)
R(r) = Alm
+ Blm
,
1/2
r
r1/2
261
J 1 (x) ,
2x l+ 2
N 1 (x) .
2x l+ 2
jl (x) =
nl (x) =
esfricas tengan el prefactor x. En efecto, para un frente de onda esfrico la amplitud debe
e
e
2
decrecer como 1/r, ya que el rea de dicho frente crece como . Como la funcin de Bessel
a
r
o
o
adicional para tener el balance energtico correcto.)
e
Estando interesados en el interior de una cavidad esfrica, nos quedamos con jl (x). Al
e
imponer la condicin de borde de paredes jas, es decir (r = a, , ) = 0, se obtiene
o
k = kln =
xln
,
a
e
entonces
r
nlm (r ) = jl xln
Ylm (, ) ,
a
asociados a frecuencias
ln = vkln = v
xln
.
a
(r, t) =
Los coecientes Anlm se obtienen al imponer una condicin inicial. Por ejemplo, si inicialmente
o
el gas al interior de la cavidad esfrica est dado por una funcin 0 (r, , ), los Anlm se
e
a
o
obtendrn invirtiendo la serie de Fourier
a
0 (r, , ) =
Anlm jl xln
n=1 l=1 m=l
r
Ylm (, ) .
a
262
CAP
ITULO 21. APLICACIONES
Membrana circular
Consideremos los modos de oscilacin de una membrana circular de radio a, densidad de
o
masa supercial , sometida a una tensin T , con extremos jos. En este caso, la ecuacin de
o
o
Helmholtz involucra el Laplaciano en dos dimensiones, conveniendo escribirlo en coordenadas
polares:
1
1 2
+ 2 2 + k 2 (, ) = 0 .
La separacin de variables, (, ) = R()(), de modo anlogo a lo realizado en la seccin
o
a
o
21.2, da las ecuaciones
2
d2 R 1 dR
+ k2 2 R = 0 ,
+
d2
d
2
d
+ 2 = 0 .
2
d
La ecuacin angular tiene soluciones armnicas, ei . La monovaluacin de la solucin en
o
o
o
o
el intervalo [0, 2] indica que Z. La ecuacin radial, en tanto, es la ecuacin de Bessel,
o
o
con solucin J (k) (la otra solucin linealmente independiente, N (k), no es aceptable
o
o
f
sicamente, pues diverge en = 0. Adems, la condicin de borde jo implica que
a
o
k = kn =
xn
,
a
xn
,
a
(21.15)
donde
T
n (, , t) = J xn
(A sen() + B cos())ein t ,
a
(21.16)
(, ) =
J xn
=0 n=1
(A sen() + B cos())ein t .
a
Dado que las frecuencias (21.15) son proporcionales a los ceros de las funciones de Bessel, es
posible conocer la razn entre las frecuencias de oscilacin de la membrana circular. Las seis
o
o
263
,
= 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 slo un modo normal a
o
la vez. Entonces advertimos que la frecuencia n corresponde a un modo de oscilacin con
o
n nodos radiales contando el borde jo como un nodo radial y nodos angulares. Los
primeros seis modos normales tienen la siguiente forma:
_
+
01
11
21
+ _
02
+
_
+
_ +
12
_
+
03
21.6.
Ecuacin de difusin
o
o
Si u es una cantidad conservada, entonces uno puede armar que la variacin de u dentro
o
de un volumen slo es posible porque hay un ujo de esa cantidad a travs de las paredes del
o
e
volumen:
d
dr u(r, t) =
da J(r, t) ,
(21.17)
dt V
S[V ]
donde J es una corriente asociada a u. Del teorema de la divergencia se sigue entonces que
J +
u
=0.
t
(21.18)
264
CAP
ITULO 21. APLICACIONES
Puesto que se espera en procesos de difusin que exista corriente slo si hay gradientes de
o
o
concentracin, y que la direccin de la corriente sea tal que vaya de puntos de alta conceno
o
tracin a puntos de baja concentracin (tendiendo a homogeneizar el sistema), se supone
o
o
t
picamente que
J = u(r, t) ,
(21.19)
con alguna constante. Se tiene entonces
2
1 u
=0.
t
(21.20)
Por ejemplo, la ecuacin de difusin del calor es de la forma (21.19), con = K/, donde
o
o
K es la conductividad trmica, el calor espec
e
co y la densidad.
Consideremos entonces el problema de la difusin del calor en el interior de un paraleo
lep
pedo de aristas a, b, c, cuyas paredes estn a temperatura cero, y que inicialmente tiene un
a
perl de temperatura u0 (x, y, z). El dibujo es esencialmente el mismo que el de la pgina 246,
a
as que no lo repetiremos.
Ambos trminos deben ser entonces igual a una constante, que llamaremos k 2 . Entonces
e
obtenemos, para la parte temporal,
dT
+ k 2 T = 0 ,
dt
que tiene por solucin
o
T (t) = ek t ,
lo que indica que, si k es real, un perl inicial decaer exponencialmente hacia la situacin
a
o
de equilibrio. La parte espacial, en tanto, es
2
R + k2R = 0 ,
(21.21)
Concluimos entonces que cada trmino debe ser igual a una constante. En particular, podemos
e
escribir X /X = 2 , Y /Y = 2 , Z /Z = 2 , de modo que
X + 2 X = 0 ,
Y + 2Y = 0 ,
Z + 2Z = 0 .
265
Notando que deben satisfacerse las condiciones de borde X(0) = Y (0) = Z(0) = X(a) =
Y (b) = Z(c) = 0, concluimos rpidamente que las soluciones son
a
nx x ,
a
Y (y) = sen
ny y ,
b
Z(z) = sen
nz z ,
c
X(x) = sen
ny
b
nz
c
(21.22)
2 ( nx ) +( by ) +( nz ) t
a
c
nx x sen
ny y sen
nz z e
, (21.23)
unx ,ny ,nz (x, y, z, t) = sen
a
b
c
u(x, y, z, t) =
(21.24)
nx ,ny ,nz =0
x sen
y sen
z
a
a
a
(21.25)
(21.26)
21.7.
3 2
x sen
y sen
z e a2 t .
a
a
a
(21.27)
266
CAP
ITULO 21. APLICACIONES
(es decir, se generan ms neutrones en regiones donde hay mayor cantidad de ellos), podemos
a
reescribir la ecuacin de conservacin (21.17) para los neutrones en la forma
o
o
d
dt
dr n(r, t) =
da J(r, t) +
S[V ]
dr n(r, t) .
(21.28)
Al usar el teorema de la divergencia para el trmino de supercie, y poner una ley para la
e
corriente de la forma (21.19), es claro que se obtendr la siguiente ecuacin para la densidad:
a
o
n
=
t
1
n+ n ,
es decir,
1 n
1
+
n=0.
(21.29)
t
1 dT
1
R
=
.
R
T dt
Cada lado debe ser igual a una constante, que llamaremos k 2 , de modo que quedan las
ecuaciones
(
+ k 2 )R = 0 ,
1
dT
= (1 k 2 )T ,
dt
es decir nuevamente la ecuacin de Helmholtz para la parte espacial, y una parte temporal
o
de la forma
1
2
T (t) = e (1k )t .
Estudiemos ahora una geometr espec
a
ca: 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 simetr esfrica, el problema para la parte espacial es el mismo que para los
a
e
modos normales dentro de una cavidad esfrica (Sec. 21.5.1), es decir,
e
k = kln =
xln
a
(21.30)
r
Ylm (, ) ,
(21.31)
a
con jl (x) la funcin de Bessel esfrica e Ylm (, ) los armnicos esfricos. Con (21.30) y
o
e
o
e
(21.31), la base de soluciones de (21.29) es
R(r ) = jl xln
nlnm (r, t) = jl
1
r
xln
Ylm (, )e
a
x2
ln
a2
(21.32)
267
(21.33)
Indice alfabtico
e
ancho de una distribucin, 43
o
armnicos esfricos, 217
o
e
teorema de adicin, 219
o
autofunciones
de un operador diferencial, 154
ortogonalidad, 155
autovalores
de un operador diferencial, 154
primera especie, 1
distancia, 4
distribuciones
antitransformada de Fourier, 85
convergencia de sucesiones, 64
delta de Dirac, 57, 61, 73, 75
composicin con funcin, 74
o
o
est
mulo puntual, vase funcin de Green
e
o
paridad, 72, 73
Bessel
producto de convolucin, 96
o
ecuacin, vase ecuacin de Bessel
o
e
o
transformada de Fourier, 84
derivada, 60, 62
circuito
derivada de la delta de Dirac, 57, 70, 76
RLC, 26
paridad, 72, 73
recticador de media onda, 24
transformada de Fourier, 85
recticador de onda completa, 25
derivada de producto, 77
conjunto de funciones
derivada de serie de sucesiones, 69
completo, 12
distribucin impar, 72
o
linealmente dependiente, 10
distribucin par, 72
o
linealmente independiente, 10
funcional asociado a una funcin, 58
o
ortonormales, 10
notacin integral, 72, 87
o
constante de Euler-Mascheroni, vase Eulere
paridad, 72, 73
Mascheroni
producto, 74
convergencia
producto de convolucin, 93, 95
o
dbil, 77
e
con un funcional, 94
en la norma, 4
propiedades, 95
fuerte, 55, 56
producto por escalar, 57
puntual, 3
producto por polinomio, 75
sucesin de distribuciones, 64
o
representaciones de la delta, 6568
uniforme, 3
solucin de ecuaciones diferenciales, 76
o
covector, 55
soporte, 64
sucesin de derivadas, 69
o
desigualdad
sucesiones, 64
de Bessel, 11, 19
suma, 57
de Cauchy-Schwartz, 2
temperada, 56
triangular, 2
temperadas, 55
discontinuidades
transformada de Fourier, 83
mansas, 1
268
INDICE ALFABETICO
derivada, 87
derivada de distribucin, 88
o
valor, 64
valor nulo, 63
269
slo con singularidades Fuchsianas, 185
o
singularidad en innito, 182
singularidad Fuchsiana, 178
singularidad irregular, 160
solucin en punto regular, 169
o
solucin en torno a punto singular, 173
o
solucin por serie, vase mtodo de Froo
e
e
benius
hipergeomtrica, 191
e
conuente, 198
ecuacin indicial, 192
o
indicial, 161, 180
ecuacin hipergeomtrica, 192
o
e
oscilador armnico
o
mtodo de Frobenius, 160
e
oscilador armnico amortiguado y forzao
do, 44
error cuadrtico medio, 11
a
espacio dual, 55
espacios de funciones, 1
anillo, 51
anillo conmutativo, 51
Banach, 10
completo, 10
dual de Schwartz, 55
Hilbert, 10
pre-Hilbert, 2
Schwartz, 47, 55
vectorial, 1
Euler-Mascheroni
constante de, 103, 109
ecuacin
o
asociada de Laguerre, 150
asociada de Legendre, 213
con singularidades, 159
de Bessel, 225
singularidades, 160
de conduccin del calor, 27
o
de difusin, 263, 265
o
de Euler, 189
de Gauss, 193, 195
de Helmholtz, 260
de Hermite, 141
mtodo de Frobenius, 143
e
de Laguerre, 147
mtodo de Frobenius, 148
e
singularidades, 183
de Laplace, 28, 43
coordenadas cartesianas, 245
coordenadas cil
ndricas, 237, 257
coordenadas esfricas, 216, 252
e
coordenadas polares, 249
de Legendre, 206, 220
segunda solucin, 219
o
de onda, 259
cavidad esfrica, 260
e
membrana circular, 262
de Schrdinger
o
frmula
o
atomo de hidrgeno, 150
o
de duplicacin de Legendre, 104, 107
o
oscilador armnico, 143
o
de Rodrigues, 205
diferencial
de Schli, 209
a
con 0 singularidad Fuchsiana, 187
de Stirling, 107
con 1 singularidad Fuchsiana, 187
o
con 2 singularidades Fuchsianas, 188, fenmeno de Gibbs, 29
funcin
o
189
P de Riemann, 193
con 3 singularidades Fuchsianas, vase
e
ecuacin hipergeomtrica
o
e
asociada de Legendre, 213
punto de holomorf 177
a,
como problema de Sturm-Liouville, 156,
215
punto ordinario, 159
funcin generatriz, 214
o
punto regular, 159
Beta, 104
punto singular, 159
270
INDICE ALFABETICO
relacin con la funcin Gamma, 105
o
o
polinomios de Legendre, 201
hipergeomtrica, 191, 194, 195
e
Beta incompleta, 110
forma integral, 196
de Bessel, 226
Lorentziana, 37
INDICE ALFABETICO
de Frobenius, 160
ecuacin de Hermite, 143
o
ecuacin de Laguerre, 148
o
segunda solucin, 165
o
de Gram-Schmidt, 10
matriz de circunvalacin, 173
o
Mellin
integral de inversin, vase transformada
o
e
de Laplace
norma, 2
operador de bajada
polinomios de Hermite, 141
operador de subida
polinomios de Hermite, 141
operador diferencial
adjunto, 152
autoadjunto, 151
autofunciones, 154
ortogonalidad, 155
autoherm
tico, 153
autovalores, 154
polinomio trigonomtrico, 8
e
polinomios
asociados de Laguerre, 150
como problema de Sturm-Liouville, 156
ecuacin, 150
o
funcin generatriz, 150
o
relacin con la ecuacin de Schrdinger
o
o
o
para el atomo de hidrgeno, 150
o
Chebyshev I
como problema de Sturm-Liouville, 156
Chebyshev II
como problema de Sturm-Liouville, 156
Gegenbauer
como problema de Sturm-Liouville, 156
Hermite, 139
como problema de Sturm-Liouville, 156
ecuacin, 141
o
funcin de peso, 142
o
funcin generatriz, 139
o
operador de bajada, 141
operador de subida, 141
ortogonalidad, 142
271
relacin con ecuacin de Schrdinger del
o
o
o
oscilador armnico, 143
o
relacin de recurrencia, 140, 141
o
Laguerre, 145
asociados, vase polinomios asociados
e
de Laguerre
como problema de Sturm-Liouville, 156
ecuacin, 147
o
funcin generatriz, 145
o
ortogonalidad, 148
relacin de recurrencia, 147
o
Legendre, 11, 201
como problema de Sturm-Liouville, 156
ecuacin, 206
o
frmula de Rodrigues, 205
o
frmula de Schli, 209
o
a
funcin generatriz, 201
o
ortogonalidad, 207
ra
ces, 207
relacin de Laplace, 209
o
relacin de recurrencia, 203
o
serie de Legendre, 210
ortogonales, 135, 136
ra
ces, 136
relacin de recurrencia, 137
o
ultraesfricos, vase polinomios de Gegene
e
bauer
principio de incerteza, 43
problema de Sturm-Liouville, 151
producto de convolucin, 47, 48
o
de distribuciones, 93, 95
propiedades, 95
de funcionales, 93
de una distribucin y un funcional, 94
o
diferenciabilidad, 50
interpretacin f
o sica, 48
interpretacin matemtica, 49
o
a
propiedades, 51
respuesta a est
mulo puntual, vase fune
cin de Green
o
transformada de Fourier, 50
transformada de Laplace, 121
producto escalar, vase producto interno
e
producto interno, 2
con funcin de peso, 135
o
272
promedio de una distribucin, 43
o
punto de holomorf
a
de ecuacin diferencial, 177
o
punto ordinario
de ecuacin diferencial, 159
o
punto regular
de ecuacin diferencial, 159
o
solucin ecuacin diferencial en, 169
o
o
punto singular
de ecuacin diferencial, 159
o
solucin en torno a, 173
o
punto singular no esencial, vase punto regue
lar
INDICE ALFABETICO
Stirling
frmula de, 107
o
sucesin de funciones, 3
o
Cauchy, 9
suma de Ces`ro, 16
a
teorema
de adicin de armnicos esfricos, 219
o
o
e
de aproximacin, 8
o
de Cauchy, 208
de Fuchs, 163, 178
de reciprocidad, 36
de Riemann-Lebesgue, 36
de Weierstrass, 7
relacin de Laplace, 209
o
transformada de Fourier, 35
relacin de recurrencia
o
ancho, 43
funcin de Bessel, 234
o
antitransformada, 36
funcin de Legendre de segunda especie,
o
de una distribucin, 85
o
223
de un funcional, 83
funcin Gamma, 102
o
de una distribucin, 83
o
polinomios
derivada, 87
Hermite, 140, 141
de una funcin sinusoidal, 89
o
Laguerre, 147
decaimiento, 41
Legendre, 203
denicin, 36
o
ortogonales, 137
delta de Dirac, 84
derivada de distribucin, 88
o
serie
derivada de la delta de Dirac, 85
geomtrica, 194
e
diferenciabilidad, 42
hipergeomtrica, 194, 195
e
l
mite continuo de serie de Fourier, 35
conuente, 198
producto de convolucin, 50
o
serie de Fourier, 19
propiedades, 41
coecientes, 11, 12, 19
teorema de reciprocidad, 36
convergencia, 14, 22
transformada coseno, 41
decaimiento coecientes, 22
transformada seno, 40
integracin, 32
o
transformada de Laplace, 113
per
odo L, 24
antitransformada, 115, 116
periodicidad, 24
convergencia, 114
trigonomtrica, 23
e
de funcin escaln de Heaviside, 117
o
o
serie de Laurent, 175
de producto de convolucin, 121
o
serie de Legendre, 210
holomorf 114
a,
singularidad
integral de inversin de Mellin, 116
o
en innito, 182
l
mite en innito, 115
esencial, vase singularidad irregular
e
para resolver ecuaciones a derivadas parFuchsiana, 178
ciales, 130
irregular
para resolver ecuaciones diferenciales, 126
de ecuacin diferencial, 160
o
INDICE ALFABETICO
para resolver ecuaciones integrales, 128
para resolver sistemas de ecuaciones, 133
propiedades, 120
valor principal, 15, 87
Weierstrass
representacin de la funcin Gamma, 109
o
o
Wronskiano, 165, 172
273