Академический Документы
Профессиональный Документы
Культура Документы
1. Espacio de funciones 1
1.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Sucesiones de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Proceso de ortonormalizacion de Gram-Schmidt . . . . . . . . . . . . . . . . . 9
1.4. Coeficientes de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Integrales impropias (valor principal) . . . . . . . . . . . . . . . . . . . . . . . 14
1.6. Convergencia segun Ces`aro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Series de Fourier 19
3. Transformada de Fourier 35
3.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4. Convoluci on 45
4.1. Espacio S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.2. Producto de convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3. El espacio S como anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5. Distribuciones temperadas 53
5.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2. Sucesion de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.3. Producto de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.4. Distribuciones y ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . 72
5.5. Convergencia debil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
7. Convoluci on de distribuciones 87
7.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2. Propiedades de la convolucion de distribuciones . . . . . . . . . . . . . . . . . 89
7.3. Uso de convolucion en Fsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
iii
iv INDICE
8. La funcion Gamma 93
8.1. La funcion factorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.2. La funcion Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.3. Funcion Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
8.4. Notacion doble factorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.5. Formula de Stirling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.6. Otras funciones relacionadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
21.Aplicaciones 229
21.1. Coordenadas rectangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
21.2. Coordenadas polares, dos dimensiones . . . . . . . . . . . . . . . . . . . . . . . 233
21.3. Ecuacion de Laplace en coordenadas esfericas . . . . . . . . . . . . . . . . . . 236
21.4. Ecuacion de Laplace en coordenadas cilndricas . . . . . . . . . . . . . . . . . 240
21.5. Otras aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
21.6. Ecuacion de difusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
21.7. Difusion con creacion de partculas . . . . . . . . . . . . . . . . . . . . . . . . 248
Captulo 1
Espacio de funciones
versi
on final 3.3-13 de enero de 2003
1.1. Definiciones
Definicion 1.1 Denotemos por Co [a, b] al conjunto de funciones complejas continuas de una
variable real t [a, b]. Ademas, escojamos que:
-
a t0 b t
Si t0 es un punto de discontinuidad, la funcion f debe estar dada, en ese punto, por
1 +
f (t0 ) + f (t
f (t0 ) = 0) . (1.3)
2
Podemos afirmar que los conjuntos Co [a, b] y C [a, b] forman espacios vectoriales sobre el
cuerpo de los complejos. Ademas, Co [a, b] C [a, b].
1
2 CAPITULO 1. ESPACIO DE FUNCIONES
( f | g ) = ( g | f ) (1.5a)
(f |g + h) = (f |g) + (f |h)
(f + g|h) = (f |h) + (g|h) (1.5b)
( f | g ) = ( f | g )
( f | g ) = ( f | g ) (1.5c)
Si f 6 0 = ( f | f ) > 0. (1.5d)
Definici
on 1.4 Un espacio vectorial complejo dotado de un producto escalar con las pro-
piedades anteriores, ecuaciones (1.5), se conoce como espacio pre-Hilbert.
kf k 0 (1.7a)
k f k = || k f k (1.7b)
|(f |g)| kf k kgk Desigualdad de Cauchy-Schwartz (1.7c)
kf gk kf k + kgk Desigualdad Triangular (1.7d)
Si f (z) 6 0 = k f k > 0. (1.7e)
0 k f + g k2 = ( f + g | f + g ) = k f k2 + ( f | g ) + ( g | f ) + k g k2 .
(f |g) (g|f )
= = = ,
k f k2 k f k2
luego
| ( f | g ) |2 2 | ( f | g ) |2 2 | ( f | g ) |2
0 4 k f k 2 2 + k g k = 2 + k g k2
kf k kf k kf k
1.2. SUCESIONES DE FUNCIONES 3
| ( f | g ) |2 k f k2 k g k2
q.e.d.
Demostraci
on Desigualdad triangular, ecuacion (1.7d). De la definicion de norma
k f g k2 = ( f g | f g ) = ( f g | f ) ( f g | g ) R,
k f g k2 = Re [( f g | f ) ( f g | g )] ,
q
y como Re [z] |z| = (Re[z])2 + (Im[z])2 , entonces:
k f g k2 | ( f g | f ) | + | ( f g | g ) |.
Usando Cauchy-Schwartz,
k f g k2 k f g k k f k + k f g k k g k ,
kf gk kf k + kgk.
q.e.d.
entonces decimos que fn (t0 ) converge puntualmente a F (t0 ) y se escribe fn (t0 ) F (t0 ).
n
Observemos que N depende posiblemente de t0 .
unif
Escribiremos en tal caso fn (t) F (t).
n
4 CAPITULO 1. ESPACIO DE FUNCIONES
Ilustraciones
1 s s
n
2
-
1 1 1 t
2n n
Notemos que f (t) desarrolla un gran peak cerca de t = 0 cuando n .
a) fn 0.
n
Si t = 0, fn (t) = 0, n. Si t 6= 0, 0 < t < 1, tomando N > 1/t, por ejemplo
1
N = 1 + Entera , se tiene que si n > N = t > 1/n = fn (t) = 0 n > N .
t
unif
b) fn 0.
n
1 1
Dado n, y suponiendo que existe N , basta seleccionar t , para que crezca sobre
2n n
cualquier cota.
1.2. SUCESIONES DE FUNCIONES 5
N
c) fn 0.
n
1
Z 1 Z
2 2
n 1 1
k fn 0 k = dt | fn (t) | = dt ( n )2 = n= n
0 1
2n
2n 2
2)
si t 0, n1
1
1
fn (t) = 2
si t = n1 .
1
0 si t > n
1.0
0.8
0.6
0.4
0.2
0.0
/2 0 /2
(
0 t [ 2 , 2 ], con t 6= 0
fn (t) f (t) =
n 1 si t = 0
La funcion f (t) C [ 2 , 2 ]. Ademas, claramente
fn no converge
uniformemente a f (t). Es
decir, el N que debo elegir de manera que fn (t) f (t) sea tan peque
no como se quiera,
n > N , depende sensiblemente del t que elija.
N
Por otra parte, si F (t) 0, t [ 2 , 2 ], entonces, fn (t)
F (t), es decir
Considerando que F (t) es nula en todo el intervalo, tenemos para la diferencia en la norma
de las dos funciones s
Z b
k fn k = cos2n t dt < .
a
Proposici
on 1.1 Convergencia uniforme en un intervalo finito implica convergencia en la
norma.
q.e.d.
on 1.2 Sea f Co [a, b]. > 0 dado, existe un polinomio p tal que k f p k < .
Proposici
Demostraci
on Usando el teorema de Weierstrass, sabemos que existe un polinomio p(t)
tal que
| f (t) p(t) | < t [a, b] ,
ba
luego s s
Z b Z b
2 2
kf pk = | f (t) p(t) | dt < dt = ,
a a ba
kf pk <
q.e.d.
Proposici on 1.3 g C [a, b] se puede construir una funcion f Co [a, b] tal que k g f k <
, donde es arbitrario.
Demostracion Sea g C [a, b] con K discontinuidades en {ti }ni=1 dentro del intervalo [a, b]
y sea M = max | g(t) |. Consideremos una funcion f Co [a, b] definida de modo que coincida
atb
con g, salvo en una vecindad de ancho 2:
1.2. SUCESIONES DE FUNCIONES 7
f(a) f(a)
f(b) f(b)
a a+ x1 b b
x1 x1+
Tenemos que | f (t) | M t [a, b]. Usando la desigualdad triangular:
| g(t) f (t) | | g(t) | + | f (t) | 2M,
con lo cual podemos acotar la distancia entre las funciones
Z b K Z t + K
!
2 2
X X
kg f k = | g(t) f (t) | dt = | g(t) f (t) |2 dt 2(2M )2 1 =.
a =1 t =1
Las u
ltimas dos proposiciones conducen al siguiente teorema:
q.e.d.
q.e.d.
on 1.10 Una sucesion {fn } en C [a, b] se dice sucesion de Cauchy si > 0 existe un
Definici
N N tal que para todo n, m N se tiene que k fn fm k .
Consideremos
1
si 0 x 21
fn (x) = 1 (x 12 )n si 12 < x < 12 + n1 .
0 si 12 + n1 x 1
f ( x)
1
x
1/2 + 1/ n 1
1/2
DE GRAM-SCHMIDT
1.3. PROCESO DE ORTONORMALIZACION 9
Se tiene que
Z 1/2+1/n
2 1
k fn fm k | fn (x) fm (x) |2 dx ,
1/2 2
de modo que es una sucesion de Cauchy. Sin embargo, se puede ver que {fn } tiende a una
funcion discontinua, y por lo tanto no converge en C [0, 1].
Definici
on 1.11 Un espacio normado es llamado completo si toda sucesion de Cauchy es
convergente. A un espacio normado completo se le llama espacio de Banach. A un espacio
pre-Hilbert que es completo se le llama espacio de Hilbert.
Ilustraci
on
Considerar 2 = v2 ( 1 | v2 ) 1 . Entonces
( 2 | 1 ) = ( v2 | 1 ) ( 1 | v2 ) ( 1 | 1 ) = ( v2 | 1 ) ( v2 | 1 ) = 0.
10 CAPITULO 1. ESPACIO DE FUNCIONES
Luego, normalizando,
2
2 = .
k 2 k
3
3 = .
k 3 k
ya que la norma es mayor igual a cero siempre. Claramente el mnimo se obtiene cuando
Cn = ( n | f ). De lo anterior se desprende:
X X
| Cn |2 = | ( n | f ) |2 k f k2 Desigualdad de Bessel (1.15)
nI nI
X
Lo anterior no implica que f (t) = Cn n (t), salvo en el caso que la serie converja unifor-
n=1
memente. Si
N
X
f= Cn n
{n }
entonces
2
2
X
kf k =
Cn n
,
{n }
luego se cumple
Z b X
2
kf k = | f |2 = | Cn |2 Igualdad de Parseval (1.16)
a n
n o
Ejemplo El conjunto 1 eint es ortonormal completo respecto a [, ].
2 nZ
eint
Z
N
X 2
X
f (t) = Cn = |f | = | Cn |2 = k f k2 .
n=
2 n=
12 CAPITULO 1. ESPACIO DE FUNCIONES
es decir, f no es ortogonal a todos los : contradiccion! Luego f debe ser identicamente nula.
q.e.d.
n
X
Teorema 1.4 Sea {Sn (t) Co [a, b]}; si existe F (t) tal que la sucesion Sn (t) = c (t)
=0
converge uniformemente, i.e.
unif
Sn (t) F (t) ,
n
De la convergencia uniforme, existe un N () tal que, si n > N () se cumple que
| F (t) Sn (t) | < t [a, b] ,
3
luego
2
| F (t) F (t0 ) | < + | Sn (t) Sn (t0 ) | .
3
Pero Sn (t) es continua. Dado t fijo, y arbitrario, tal que
1
| t t0 | < = | Sn (t) Sn (t0 ) | < = | F (t) F (t0 ) | < .
3
q.e.d.
Este teorema asegura que una funcion discontinua no puede ser aproximada uniforme-
mente por una familia de funciones continuas (por ejemplo, las funciones sinusoidales).
1.4. COEFICIENTES DE FOURIER 13
Teorema 1.5 Si dos funciones f, g C [a, b] tienen igual expansion en base completa (en el
sentido de aproximacion en la norma), entonces f (t) = g(t).
Demostraci
on Sean
X
S(t) = ( | f ) (t)
=0
kf S k = kg S k = 0 .
As
k f g k = k f S + S g k k f S k + k S g k = 0 + 0 = 0 = f = g .
q.e.d.
Notar que este teorema es falso fuera de C [a, b]. Por ejemplo,
(
1 si t = 0
fn (t) =
0 si t 6= 0
Teorema 1.6 Sea {} =0 un conjunto ortonormal en C [a, b] y f C [a, b]. Entonces la serie
X
| ( | f ) |2 converge. En particular,
=0
( | f ) 0 .
Demostraci
on De la desigualdad de Bessel,
X Z b
2 2
| Cn | k f k = dt | f (t) |2 .
nI a
R1
Una integral como 1 f (t) dt no esta bien definida. Sin embargo, debiera ser nula simple-
mente por paridad. Para conciliar estos hechos, podemos entender este tipo de integrales, en
intervalos simetricos en torno a la divergencia (t = 0 en este caso), de la siguiente manera:
Z 1 Z Z 1
P f (t) dt = lm f (t) dt + f (t) dt = 0 . (1.17)
1 0 1
Definici on 1.16 Valor principal de una integral. Sea t0 [a, b], f (t) integrable en la union
[a, t0 ] [t0 + , b], > 0, f (t) singular si t t0 . Si existe el lmite
Z t0 Z b Z b
lm f (t) dt + f (t) dt P f (t) dt , (1.19)
0 a t0 + a
Ejemplo Sea
1
f (t) = g(t) , con g(t) derivable en t0 .
t t0
Z b Z b Z b
g(t) g(t) g(t0 ) b t0
P f (t) dt = P dt = dt + g(t0 ) log .
a a t t0 a t t0 t0 a
CESARO
1.6. CONVERGENCIA SEGUN ` 15
R
Ejemplo La integral
dx 1/x solo existe como valor principal en torno a x = 0 entre
y +, y vale cero.
X
n1 1 M 1
(1) = (1 + 0 + 1 + 0 + ) ' = .
n=0
M M 2 2
n
X
La convergencia ordinaria necesita que el lm a exista.
n
=0
n
1 XX
La convergencia seg
un Ces`aro necesita que el lm a exista.
n n
=0 =0
Problemas similares a la serie discreta anterior ofrece calcular la integral, desde cero hasta
Z
infinito, de una funcion oscilante, que no decrece, del tipo sen(x) dx:
0
+ + + +
- - -
Definici
on 1.18 Definimos una integral Ces`aro de la siguiente manera:
Z Z y Z x
1
lm f (t) dt = lm dx dt f (t) . (1.22)
y 0 y y x=0 t=0
Podemos encontrar una expresion alternativa para la integral de Ces`aro integrando por partes
la ecuacion (1.22):
Z Z y Z x
1
f (t) dt = lm dx dt f (t)
0 y y x=0 t=0
Z x y Z y
1
= lm x f (t) dt xf (x) dx
y y 0 0
0
Z y Z y
1
= lm y f (t) dt xf (x) dx
y y 0 0
Z Z
x
f (t) dt = lm 1 f (x) dx . (1.23)
0 y 0 y
Vemos aqu como el factor (1 `/M ) en el caso discreto (1.21) proviene simplemente de
reordenar la suma. La expresion formal (1.23) permite ver la aparicion de un factor de
convergencia (1 x/y), pero no es necesariamente u
til en la practica.
CESARO
1.6. CONVERGENCIA SEGUN ` 17
Z
Ejercicio Eval
ue cos(t) dt, con 6= 0.
0
Bibliografa Adicional
Los topicos discutidos en este captulo son solo una introduccion a una amplia rama de
las Matematicas, el analisis funcional. Una tpica referencia del tema es el libro de Yosida
[1], el cual esta claramente orientado para matematicos. Una referencia mas al gusto de un
lector con interes en lo aplicado es el libro de Kreyszig [2].
En el interesante tema de las sucesiones divergentes el libro de Hardy [3] es una de las
referencias principales.
2 Erwin O. Kreyszig, Introductory Functional Analysis with Application, Wiley Classics Li-
brary, John Wiley & Sons, Nueva York 1990 (ISBN 0 47150 459 9).
3 G. H. Hardy, Divergent Series, Chelsea Publishing, Nueva York 1949 (ISBN 0 8284 0334
1).
18 CAPITULO 1. ESPACIO DE FUNCIONES
Captulo 2
Series de Fourier
versi
on final 3.3-13 de enero de 2003
Luego
lm C = 0 . (2.1)
19
20 CAPITULO 2. SERIES DE FOURIER
Usando (2.2) Z
sen[(2n + 1)/2]
= d .
0 sen(/2)
Tomando = /2:
Z /2
sen[(2n + 1)]
f (t) = 2 f (t) d . (2.3)
0 sen
Demostraci
on Considerar la suma parcial
n
X eit
Sn (t) = C .
=n
2
n n Z it0
Xeit X e eit
2Sn (t) = 2 C = 2 f (t0 ) dt0
=n
2 =n
2 2
Z n
0
X
2Sn (t) = f (t0 ) ei(tt ) dt0
=n
Z /2 sen[(2n + 1)v]
Sn (t) f (t) = f (t 2v) + f (t + 2v) 2f (t) dv . (2.4)
0 sen v
Definamos ahora
Sea
t (v)
v [0, /2]
sen v
g(v) = 0 v [, 0]
0 v [/2, ]
Con (2.1),
Sn (t) f (t) = 2 Im ( 2n+1 | g ) 0 .
n
Luego
lm Sn (t) = f (t) ,
n
o sea
X eit
f (t) = C .
Z
2
q.e.d.
R
Supongamos que f Co [, ] y que f 0 es continua, tal que | f 0 |2 < . Entonces de la
definicion de los coeficientes de Fourier:
Z
2 C = f (t)eit dt Z.
22 CAPITULO 2. SERIES DE FOURIER
Vale decir, cuanto mas derivable es la funcion f , tanto mas rapido tienden a cero sus
coeficientes de Fourier. Mas a
un, se puede demostrar el siguiente teorema:
Sea X
M = max C .
t[,]
| |N
Entonces
X X X X X
C
C + C
C +
C
Z | |N | |>N | |N | |>N
X X 1
M+ | C | | | = M + | C |
| |>N | |>N
2
1 X 1 X 1
M+ | C | < M +
2 2 2
| |>N | |>N
23
Pero
X 1 2
= (2) = ,
n=1
n2 6
donde (x) es la funcion zeta de Riemann. As:
X 2
C < M + .
Z
2
Resultados u
tiles
1) f (x + 2) = f (x)
La expansion de Fourier de f (x) implica su extension periodica a R.
2) Si f (x) R x [, ],
C = C .
3) Poniendo
eix = cos(x) i sen(x) ,
obtenemos la expansion alternativa
A0 X
f (x) = + A cos(x) + B sen(x) ,
2 =1
24 CAPITULO 2. SERIES DE FOURIER
con
Z
1
A = C + C = f (t) cos(t) dt ,
Z
1
B = i(C C ) = f (t) sen(t) dt .
Ademas:
f (x) = f (x) = B = 0 ,
f (x) = f (x) = A = 0 ,
4) Para expandir una funcion F de perodo L, definimos una funcion f de perodo 2 por
u
F (u) = f 2 .
L
As, F (u + L) = F (u). Podemos expandir en serie de Fourier la funcion f , obteniendose
finalmente:
X 2
F (u) = C eiq u = F (u + L) , con q = ,
=
L
Z L/2
1
C = F (t)eiq t dt .
L L/2
Aplicaciones
I(t)
/2 /2 t
con
Z Z Z /2
1 2 2 2
A0 = I(t) dt = I(t) dt = cos t dt =
0 0
1/2 si n = 1
Z /2
2
si n es impar, n 6= 1
An = cos t cos(nt) dt = 0
0 2(1)n/2
si n es par
(n2 1)
Luego
1 cos t 2 cos(2t) cos(4t)
I(t) = + + +
2 13 35
1 1 2 1 1
I(0) = + + + (2.5)
2 13 35
En general, An 0 como 1/n2 , como corresponde a una funcion I(t) cuya primera derivada
tiene discontinuidades mansas.
I(t)
0 t
4
A0 =
2
Z 0 n impar
An = sen t cos(nt) dt 4
0 n par
(n2 1)
e
2 4 cos(2t) cos(4t)
I(t) = + +
13 35
E(t) L
Consideremos ahora E(t) una funcion arbitraria pero periodica de perodo T . La corriente
I(t) satisface
d2 I dI 1 dE
L 2 +R + I = .
dt dt C dt
E(t) se puede desarrollar en serie de Fourier:
X 2
E(t) = En eint , = ,
n=
T
donde Z T /2
1
En = E(t)eint dt .
T T /2
Siendo {eint }n un conjunto linealmente independiente, cada coeficiente de la suma debe ser
nulo, luego:
i n
L
Cn = 1 E .
2 2 + i nR n
LC
n L
Aqu, 0 = 1/ LC es la frecuencia natural del sistema.
de modo que
2
U (x, t) = [A cos(x) + B sen(x)]e t .
Imponiendo la condicion de borde U (0, t) = 0:
A=0.
De U (L, t) = 0, en tanto,
sen(L) = 0 ,
m
m = , mN.
L
La solucion mas general es entonces:
2
X
U (x, t) = Bm em t sen(m x) .
m=1
-L
L x
28 CAPITULO 2. SERIES DE FOURIER
L L
4L2
Z Z
1 mx mx
Bm = g(x) sen dx = 2 x(L x) sen dx = 3 3
(1)m+1
L L L 0 L m
X 4L2 1 mx m2 2 t
U (x, t) = (1)m+1 3 3
sen e L2 .
m=1
m L
En particular,
4L2 x
U (x, t) sen et/t0 .
2
tt0 = L 3 L
2
y consideremos
cn = an ibn .
Cada termino de la expansion anterior satisface (2.6). En efecto,
2
2
2
2
n
2
+ 2 z = 2
+ 2 (x + iy)n
x y x y
n(x + iy)n1 + in(x + iy)n1
=
x y
n2
= n(n 1)(x + iy) n(n 1)(x + iy)n2 = 0 .
Escribamos U (x, y) en coordenadas polares:
( )
X
U (x, y) = Re (an ibn )rn ein
( n=0
)
X
= Re (an ibn )rn (cos n + i sen n)
n=0
X
rn an cos(n) + bn sen(n) .
= (2.7)
n=0
29
Por lo tanto, an y bn son los coeficientes de Fourier de (). Vale decir, la solucion de una
ecuacion de Laplace en dos dimensiones se puede escribir en terminos de una expansion de
Fourier.
Fen
omeno de Gibbs
Observamos que los coeficientes decaen como bn ' 1/n, en concordancia con el teorema
demostrado anteriormente (pag. 22). En la siguiente figura presentamos la funcion f (x) y su
aproximacion por sumas parciales de Fourier, con n = 2, n = 10 y n = 50 terminos.
1.5
0.5
-0.5
-1
-1.5
- 0
Se observa que hay buena convergencia con 10 terminos, y el resultado es casi perfecto con
50, salvo ciertas oscilaciones en los puntos de discontinuidad, oscilaciones que no se amorti-
guan cuando el n umero de terminos va a infinito. Sin embargo, como la suma parcial SN (x)
converge punto a punto al valor esperado f (x), las oscilaciones no amortiguadas deben nece-
sariamente limitarse a una vecindad cada vez menor en torno a los puntos de discontinuidad,
de modo que cualquier x 6= l, l Z, quede fuera de tal vecindad para N suficientemente
grande.
30 CAPITULO 2. SERIES DE FOURIER
f(x)
- 0 x
As, como sen t/t oscila amortiguandose para t , se espera que Si(x) igualmente oscile
cuando x crece, pero convergiendo a /2. Sus extremos en x = (2n + 1) deben ser maximos
(contribuciones de area positiva de sen t/t), y sus extremos en x = 2n deben ser mnimos
(contribuciones de area negativa de sen t/t). El primer maximo, en x = , es el maximo
absoluto (ver figura).
Si(x)
2
/2
0
0 2 3 4 5 6
De este modo, la funcion fN (x) oscila en tanto se tenga x ' O(1/N ). El primer maximo
implica sobrepasar el valor lmite en un 18 %, y el segundo solo en un 7 %. Toda esta
estructura esta en una peque na vecindad de x = 0, vecindad cuyo ancho va a cero si
N .
32 CAPITULO 2. SERIES DE FOURIER
Esto explica el fenomeno de Gibbs. Aun cuando hemos considerado la funcion (2.8), es
facil convencerse de que nuestros razonamientos son generales, y que podemos aplicarlos a
cualquier funcion en torno a una discontinuidad finita de la misma.
Integraci
on de series de Fourier
Sea f C [, ] y
a0 X
f (x) = + (an cos nx + bn sen nx) .
2 n=1
Sea Z x
F (x) = f (t) dt .
es decir,
a0 = 0 .
Siendo F periodica, es expandible en serie de Fourier:
A0 X
F (x) = + (An cos nx + Bn sen nx) ,
2 n=1
con
Z
1
An = F (x) cos(nx) dx
Z
sen nx sen nx 0
= F (x) F (x) dx
n
n
Z
1 bn
= f (x) sen nx dx = , n 6= 0 .
n n
Si n = 0,
1
Z Z
1
A0 = F (x) dx = xF (x)
xf (x) dx .
Analogamente,
an
Bn = .
n
Tenemos pues el siguiente teorema:
con Z
1
A0 = xf (x) dx .
1 Joseph Fourier, Theorie analytique de la chaleur, Editions Jacques Gabay, Pars, 1988
(ISBN 2 87647 046 2).
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).
34 CAPITULO 2. SERIES DE FOURIER
Captulo 3
Transformada de Fourier
versi
on final 3.3-13 de enero de 2003
3.1. Definiciones
Sea f C [L, L]. Entonces
inx
X
f (x) = Cn e L con L x L , (3.1)
n=
donde Z L
1 inx
Cn = f (x)e L dx , n Z. (3.2)
2L L
Tomemos el lmite cuando L . Si definimos k = n/L, vemos que, en este lmite, k
se vuelve continuo. Por otra parte,
n
k = = , pues n = 1.
L L
Definimos
L
CL (k) =Cn .
Usando las anteriores definiciones en las ecuaciones (3.1) y (3.2) obtenemos:
X ikx kL X
f (x) = CL (k) e = CL (k)eikx k ,
L
Lk/= Lk/=
Z L
L 1
CL (k) = f (x)eikx dx .
2L L
Al hacer L , obtenemos
Z
f (x) = C(k)eikx dk ,
Z
1
C(k) = f (x)eikx dx .
2
35
36 CAPITULO 3. TRANSFORMADA DE FOURIER
Definimos ahora C(k) como la transformada de Fourier F (k) de la funcion f (x). La relacion
entre f y F esta dada por el teorema de reciprocidad:
Z
1
f (x) = F (k)eikx dk , (3.3a)
2
Z
1
F (k) = f (x)eikx dx F{f, k} . (3.3b)
2
Definici
on 3.1 Si f es tal que
Z
kf k = |f | < ,
3.2. Ejemplos
2
a) Una gaussiana, f (x) = N ex . Su transformada de Fourier es:
Z Z 2
N x2 ikx N 2
F (k) = e e dx = e( xik/2 ) ek /4 dx .
2 2
Haciendo el cambio de variable u = x ik/2 , obtenemos
Z ik/2 Z
1 N 2 u2 N k2 /4 2
F (k) = ek /4
e du = e eu du
2 ik/2 2
N k2 /4 N 2
F (k) = e = ek /4 ,
2 2
otra gaussiana. Si es grande:
f(x) F(k)
x k
Si es peque
no:
3.2. EJEMPLOS 37
f(x) F(k)
x k
Haciendo una prolongacion analtica al plano complejo de la funcion f (x) y luego con-
siderando el contorno cerrado de integracion , para el caso k > 0, podemos aplicar el
teorema del residuo:
Im z
-L L Re z
-a
eikz eikz
I
= eka .
dz = 2i Resz=ia = 2i(z ai)
(z + ai)(z ai) (z + ai)(z ai) z=ai a
Podemos separar el contorno en dos tramos, un semicrculo y un tramo horizontal entre
L y L sobre el eje real. Al tomar el lmite L es facil mostrar que la integral sobre
el semicrculo tiende a cero y la integral entre L y L tiende a una integral real entre
y , es decir
Z
eikz eikx
I
dz dx = eka .
(z + ai)(z ai) L (x + ai)(x ai) a
Finalmente, nuestra transformada de Fourier resulta
r
a ka ka
F (k) = e = e para k > 0 .
2 a 2
Analogamente, podemos mostrar, considerando el polo en el semiplano inferior y un con-
torno de integracion que lo contenga, que
r
ka
F (k) = e para k < 0 .
2
38 CAPITULO 3. TRANSFORMADA DE FOURIER
Para k = 0:
1
Z
a 1 x + 1
r
F (0) = dx = arctan = = .
2 x 2 + a2 2 a 2 2 2 2
f(x) F(k)
x k
Esto coincide con los resultados generales sobre los coeficientes de Fourier del captulo 2.
Mas adelante, en la seccion 3.3, demostraremos el teorema analogo para transformadas
de Fourier.
c) Consideremos la funcion, con a > 0,
(
1 |x| < a
f (x) = .
0 |x| > a
Su transformada de Fourier
Z +a
r
1 2 sen(ka)
F (k) = eikx dx =
2 a k
f(x) F(k)
-a a x k
3.2. EJEMPLOS 39
1
f (x) discontinua F (k) 0 como
| k | k
1
Ejercicio Para el caso anterior, evaluar F 1 {F, x}, y mostrar que f (x = a) = .
2
f(x) Fs (k)
x k
1
f (x) discontinua F (k) 0 como
| k | k
Consideremos ahora una funcion f (x) 6 L1 . Sea f (x) = sgn(x). f (x) 6 L1 , ya que
e) Z
| f (x) | dx diverge. Intentemos de todas maneras evaluar la transformada de Fourier:
Z
1
F (k) = sgn(x)eikx dx
2
r Z
2
= i sen(kx) dx (integral Ces`aro)
0
r
i 2
si k 6= 0
= k
0 si k = 0
f(x) Fs (k)
1
x k
-1
3.3. PROPIEDADES 41
3.3. Propiedades
Algunas propiedades de la transformada de Fourier. Sean f, g L1 y , C.
Teorema 3.2 Cuanto mas derivable es f (x) tanto mas rapido decrece F (k) 0.
| k |
F (k) 0 ,
| k |
pero tambien
kF (k) 0 ,
| k |
ya que
Z
eikx
Z
1 ipp 1 1
F (k) = ikx
f (x)e dx = f (x) f 0 (x)eikx dx = F{f 0 , k} ,
2 ik 2 ik 2 ik
o sea
ikF (k) = F{f 0 , k} 0 ,
| k |
pues f 0 L1 .
Sean ahora f , f 0 , f 00 , f 000 , . . ., f (n1) L1 continuas en < x < . Sea f (n) L1 ,
entonces integrando n veces por partes obtenemos
Teorema 3.3 Cuanto mas rapido f (x) 0, tanto mas derivable es F (k).
| x |
42 CAPITULO 3. TRANSFORMADA DE FOURIER
lo cual es tan pequeno como se quiera. Lo anterior implica que F (k) es continua.
Sea ahora f (x) y xf (x) L1 , entonces afirmamos que F (k) es derivable. En efecto
d h
Z Z Z
i d ikx ikx
xf (x)eikx dx .
2F (k) = f (x)e dx = f (x)e dx = i
dk dk k
Tambien se puede probar que, en general, mientras mas ancha es una funcion, mas an-
gosta es su transformada de Fourier y viceversa, como ya observamos en los ejemplos de la
seccion 3.2.
3.4. APLICACIONES 43
Definici on 3.2 Sea f (x) tal que x | f (x) |2 , x2 | f (x) |2 L1 . Definimos la posicion media de
la distribucion | f (x) |2
1
Z
hxi = x | f (x) |2 dx , (3.7)
C
con Z
C= | f (x) |2 dx ,
3.4. Aplicaciones
a) Consideremos la ecuacion de Laplace en dos dimensiones
2 2
+ =0.
x2 y 2
Soluci
on
Realicemos separacion de variables, i.e. escribimos (x, y) = X(x)Y (y). Al introducir esta
forma para (x, y) en la ecuacion diferencial obtenemos
1 d2 X(x) 1 d2 Y (y)
2
= 2
= 2 ,
X(x) dx Y (y) dy
Planteamos la solucion mas general superponiendo sobre todos los valores posibles de la
constante de separacion :
Z
1
A()eix + B()eix ey d .
(x, y) =
2 0
Imponiendo la condicion de borde para y = 0:
Z
1
A()eix + B()eix d = f (x) .
(x, 0) =
2 0
Al definir A() = B() podemos compactar las dos integrales en solo una:
Z
1
(x, 0) = A()eix d = f (x) .
2
Identificamos los coeficientes, A() = F{f (x), }, y reemplazamos en la solucion general,
Z
1
(x, y) = F{f (x), }eix e| | y d ,
2
obteniendo la solucion del problema de contorno.
b) Consideremos la ecuacion diferencial del oscilador armonico amortiguado y forzado por
una fuerza externa:
d2 x(t) dx(t)
2
+ 2 + 02 x(t) = f (t) .
dt dt
Soluci
on
Aplicando la transformada de Fourier a ambos lados de la ecuacion diferencial, obtenemos
(i)2 F{x(t), } + 2(i)F{x(t), } + 02 F{x(t), } = F{f (t), } F () .
Despejando para la transformada de Fourier de la solucion:
F ()
F{x(t), } = .
2 2i + 02
Tomando la antitransformada obtenemos la solucion
Z
1 F ()
x(t) = 2 2
eit d .
2 0 + 2i
El procedimiento anterior resulta u
til para resolver ecuaciones diferenciales lineales con
coeficientes constantes.
Bibliografa Adicional
De la enorme literatura sobre el tema recomendamos [1] para quienes tengan interes en
la teora.
1 Elias M. Stein y Guido Weiss, Introduction to Fourier Analysis on Euclidean Spaces, Prin-
ceton Mathematical Series 32, Princeton University Press, Princeton 1971 (ISBN 0 691
08078 X).
Captulo 4
Convoluci
on
versi
on 3.2 final-13 de enero de 2003
4.1. Espacio S
Definicion 4.1 Una funcion f : R C pertenece al espacio S si es infinitamente diferen-
ciable y
lm tm f (n) (t) = 0 m, n N .
t
Ejemplos
2
i) et pl (t), > 0, real, con pl (t) polinomio de orden l.
exp 1 1
atb
ii) f (t) = tb ta
0 t 6 [a, b]
on 4.3 Si f , g S, entonces
Proposici
Z
(f |g) = f (t)g(t) dt existe.
45
46 CAPITULO 4. CONVOLUCION
En particular Z
2
kf k = (f |f ) = | f (t) |2 dt existe.
Demostraci
on
a) Como f S, entonces
lm tn f (t) = 0 .
t
F (n) () existe n N.
lm m F{tn f (t), } = 0 m, n N
lm m F (n) () = 0 m, n N
Luego
F () = F{f, } S .
q.e.d.
Idea fsica
Idea matem
atica
f(t) g(t)
0 t 0 t
g(t)
0 t
y se tiene:
f(t) g(xt)
0 x t
f(t) g(xt)
f g mide entonces el grado de traslape entre f (t) y g(t), luego de trasladar esta
funcion una distancia x. Si f (t) y g(t) decaen violentamente para t , el traslape
tendera rapidamente a cero si x :
[f g](x) 0 .
x
48 CAPITULO 4. CONVOLUCION
on 4.5 Si f , g S, entonces p = f g S.
Proposici
Demostraci
on
i)
d
Z Z
dp(t)
= f (t x)g(x) dx = f (t x)g(x) dx .
dt dt t
La ultima igualdad se tiene si existe un mayorante R convergente. En efecto existe, pues
si M es tal que | f 0 (x) | < M x R, entonces M | g(x) | < es tal mayorante.
Luego
p0 = f 0 g
p(m) = f (m) g m N
Es decir, p es infinitamente diferenciable.
ii)
Z Z
m (n) m (n)
lm t p (t) = lm t f (t x)g(x) dx = lm tm f (n) (t x)g(x) dx = 0 ,
t t t
luego
lm tm p(n) (t) = 0 n, m N .
t
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)
Demostraci
on
Z Z Z
1 ikt 1
F{f g, k} = p(t)e dt = dt dx f (t x)g(x)eikt
2 2
Z Z
1
= dx dt f (t x)eikt g(x) .
2
Haciendo el cambio de variables t = y + x:
Z Z
1 iky
F{f g, k} = dx dy f (y)e g(x)eikx
2
Z Z
1 ikx 1 iky
= 2 dx g(x)e dy f (y)e .
2 2
Vale decir:
F{f g, k} = 2F (k) G(k) .
q.e.d.
4.3. EL ESPACIO S COMO ANILLO 49
ii) Distributividad:
f (g + h) = f g + f h
(f + g) h = f h + g h
iii) Conmutatividad:
f g =gf
Tambien podramos haber procedido usando (4.1), aplicando la transformada de Fourier sobre
el producto de convolucion y luego invirtiendo la transformada.
i) Adicion. Si f , g S, entonces f + g S.
Supongamos que (t0 ) > 0. Luego > 0 en cierto intervalo, ya que es continua. Podemos
ademas considerar, sin perdida de generalidad, dicho intervalo como 0 < a < b.
50 CAPITULO 4. CONVOLUCION
Demostraci on En efecto, sean F = F{f, k}, G = F{g, k} S nulas fuera de cierto inter-
valo, tales que F (k)G(k) = 0. Basta considerar dos funciones con soporte finito y disjunto,
como en la figura:
F(k) G(k)
on 4.7 Si f , g S, entonces
Proposici
Demostracion Se tiene
Z 1
Z
h g(t) = h(t x)g(x) dx = 2F {HG, t} = H(k)G(k)eikt dk .
Escojamos
h (x) = f (x) ,
4.3. EL ESPACIO S COMO ANILLO 51
de modo que
Z
1
H(k) = F{h(t), k} = F{f (t), k} = f (t)eikt dt
2
Z Z
1 ik 1
= f ()e d = f ()e d = F (k) .
ik
2 2
Luego Z
h(x)g(x) dx = h g(t = 0)
o sea
Z Z
f (x)g(x) dx = F (k)G(k) dk (Relacion de Parseval)
En particular, si f = g:
Z Z
2
| f (t) | dt = | F (k) |2 dk (Identidad de Plancheret)
q.e.d.
52 CAPITULO 4. CONVOLUCION
Captulo 5
Distribuciones temperadas
versi
on final 3.3-13 de enero de 2003
5.1. Definiciones
Definici on 5.1 Sea V un espacio vectorial sobre el cuerpo de los C con dimension finita.
Sean ~x, ~y V . Existen funciones lineales sobre V , u( ~x ), tal que
u
V C,
u( ~x + ~y ) = u( ~x ) + u( ~y ) , , C .
Definicion 5.2 Un elemento del espacio dual es llamado un covector. La accion de un co-
vector u V sobre un vector ~x V la denotamos por
hu, ~x i = u( ~x ) C . (5.1)
53
54 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
Definici on 5.4 Sean x1 (t), . . . , xn (t) una sucesion de funciones en S. Se dice que esta suce-
sion converge fuertemente a cero si
lm tm x(k)
n (t) = 0 k, m = 0, 1, 2, . . . (5.2)
n
significa que
!
yn (t) xn (t) x(t) 0 .
n
Ejemplos
f (t) !
1) Si f (t) S, entonces xn (t) = 0
n n
Entonces s
t 1 2 2
m
t xn (t) = sm
et /n .
n t
Tomamos m > s y t = n. t vara con n (si hay convergencia uniforme, la expresion anterior
debe converger a cero para todo t). Entonces
No hay convergencia fuerte. Observamos que si hubieramos tomado t fijo, es decir el lmite
puntual, el lmite es cero.
Definici
on 5.6 La suma de dos distribuciones y se define como el funcional + tal
que:
h + , xi = h, xi + h, xi xS . (5.3)
Definicion 5.7 El producto de un escalar por una distribucion se define como el funcional
lineal tal que:
h, xi = h, xi xS yC. (5.4)
5.1. DEFINICIONES 55
Es inmediato mostrar que + y son funcionales lineales y que ademas son distri-
buciones temperadas. Luego el conjunto de las distribuciones temperadas sobre S, forma un
espacio vectorial denotado S . S no es el espacio dual de S.
Ejemplos
Consideremos el lmite
lm h, yn i = lm yn (0) = y(0) = h, yi .
n n
Sea
!
yn (t) y(t) ,
n
entonces
Z Z Z
lm h, yn i = lm yn (t) dt = lm yn (t) dt = y(t) dt = h, yi ,
n n n
luego S .
56 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
Definici
on 5.8 Una funcion f (t) se dice de crecimiento lento si
Esto significa que f (t) tiene crecimiento polinomial, no exponencial. Quedan tambien exclui-
das funciones singulares como 1/t.
Definicion 5.9 Sea una funcion f (t) : R C de crecimiento lento, seccionalmente continua
y con discontinuidades mansas. Definimos el funcional f asociado a la funcion f (t) de la
siguiente manera:
Z
f, x = f (t)x(t) dt . (5.6)
on 5.1 El funcional f S .
Proposici
Demostraci on Consideremos el funcional actuando sobre una combinacion lineal de fun-
ciones:
Z
f , x + y = f (t) [x(t) + y(t)] dt
Z Z
= f (t)x(t) dt + f (t)y(t) dt = f , x + f , y .
Entonces
Z Z
f , yn y = f (t) [yn (t) y(t)] dt | f (t) | | yn (t) y(t) | dt .
En particular,
0 = lm (1 + t2 )m+1 [yn (t) y(t)] t,
n
Finalmente Z
f , yn y A dt
= A .
1 + t2
La pen
ultima desigualdad se cumple desde un cierto n en adelante, siendo el resultado final
tan peque
no como se quiera. Por lo tanto
lm f , yn = f , y = f S .
n
q.e.d.
Es importante hacer notar que lo que hemos hecho es construir una distribucion a partir
de una funcion, y que demostramos que toda funcion de crecimiento lento tiene un distribu-
cion asociada. Sin embargo, no todas las distribuciones provienen de funciones. Pero ciertas
propiedades de las distribuciones asociadas a funciones nos serviran para inspirar definiciones
y mostrar propiedades validas para toda distribucion.
f = g = f = g .
Demostraci
on
f = g = f , x = hg, xi xS .
Supongamos que f 6= g en un punto, por ejemplo f (t0 ) > g(t0 ). Por continuidad de f (t) y
g(t) tenemos que f (t) > g(t) en una vecindad (a, b) en torno a t0 . Si t0 fuera justo un punto
de discontinuidad de f o g (recordemos que son seccionalmente continuas) no hay problema.
Siempre podemos correr t0 en un intervalo vecino.
Tomemos una funcion de prueba x(t), tal que x(t) > 0 si t (a, b) y x(t) = 0 si t 6 (a, b),
entonces Z Z b
[f (t) g(t)] x(t) dt = [f (t) g(t)] x(t) dt 6= 0 .
a
Sean f , f 0 dos funciones de crecimiento lento, continuas en < t < . Sean f , f 0 las
distribuciones correspondientes. Definimos la derivada de la distribucion f como
f0 = f0 .
Con ello,
Z Z
0
f (t)x0 (t) dt = f , x0 .
f 0, x = f 0, x = f (t)x(t) dt = f (t)x(t) (5.7)
Observemos como este resultado, y por lo tanto la definicion (5.7), es consistente con el
ejemplo 3 de este captulo.
A la luz de este resultado, proponemos la siguiente definicion.
h0 , xi = h, x0 i xS . (5.8)
entonces
lm h0 , yn i = lm h, yn0 i = h, y 0 i = h0 , yi .
n n
La pen ultima igualdad es consecuencia de que S , y que yn0 (t) converge fuertemente a
y(t), siendo la conclusion final que 0 S .
q.e.d.
1
1/2
0 t
Tomamos h(t) como funcional, i.e. consideramos el funcional asociado h, definido por
Z
h, x = x(t) dt x S .
0
Evaluemos su derivada
Z
0
x0 (t) dt = x(t) = x(0) = h, xi ,
0
h , x = h, x =
0 0
luego
h0 = (5.11)
Este resultado es importante. Hemos logrado en alg un sentido diferenciar una funcion dis-
continua. El espacio de las distribuciones aparece como una generalizacion del espacio de
funciones, en el cual la derivada existe incluso para funciones discontinuas. Sin embargo, esta
analoga, que puede sernos u til de modo informal, no debe ser tomada como rigurosa. No es
la funcion discontinua la que estamos derivando, sino el funcional asociado a ella. S es cierto
que, mientras en el espacio de funciones las derivadas no siempre estan definidas, en el espacio
de distribuciones siempre lo estan, y, por ejemplo, como muestra (5.9), toda distribucion es
infinitamente diferenciable.
Proposici
on 5.3 Para distribuciones la diferenciacion es lineal, es decir,
( + )0 = 0 + 0 . (5.12)
q.e.d.
Generalicemos el ejemplo de la funcion escalon de Heaviside. Sea f (t) una funcion dife-
renciable a tramos con una sola discontinuidad en t = a.
a t
60 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
f 0 = f 0 = Df + pa (5.13)
m
X
f 0 = Df + pk ak (5.14)
k=1
Proposici
on 5.5 Si f tiene una discontinuidad finita en a, entonces
0
f = Df + p0 a ,
00
f = D2 f + p0 a0 + p1 a ,
...
(n)
f = Dn f + p0 a(n1) + p1 a(n2) + + pn1 a ,
Hemos enfatizado que las distribuciones no son funciones. Pero dadas las fuertes analogas,
y aun cuando no todas las distribuciones son funcionales asociados a funciones, las siguientes
definiciones nos permiten emplear un lenguaje similar para distribuciones y funciones.
Si el funcional f asociado a f tiene un lugar nulo en (a, b) esto nos dice que f (t) = 0 en
a < t < b.
DE DISTRIBUCIONES
5.2. SUCESION 61
Ejemplo Sea (a, b) un intervalo abierto que no contiene el cero. Sea la distribucion definida
por
h, xi = x(0) xS .
Sea y(t) S tal que y(t) 6= 0 solo para t (a, b). En tal caso
Definicion 5.12 El soporte de una distribucion es el menor conjunto cerrado fuera del cual
tiene valor nulo.
Ejemplo De acuerdo a nuestra definicion tiene soporte {0} y a tiene soporte {a}.
5.2. Sucesi
on de distribuciones
Consideremos ciertas distribuciones discretas de masa y la distribucion continua asociada.
m5
m4 mn
m1 (x)
m2m3
x1 x2 x3 x4 x5 xn x x
x
m(x) m(x)
x x
n
X Z x
m(x) = mi m(x) = (x0 ) dx0
i=1
Podramos decir que una sucesion de distribuciones discretas tiende a una distribucion
continua, usando los terminos entre comillas sin mayor precision. Para formalizar esta idea,
pasemos a definir que vamos a entender por convergencia de una sucesion de distribuciones.
62 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
Definici
on 5.14 Convergencia de una sucesion de distribuciones
Una sucesion de distribuciones {n } converge a una distribucion si y solo si x S
tenemos que lm hn , xi = 0, i.e.
n
lm n = lm hn , xi = h, xi xS . (5.15)
n n
Ejemplo
n 1
2 si | t | <
n
fn (t) = .
1
0 si | t | >
n
3/2
f3
1
f2
1/2
f1
luego
lm fn , x = x(0) = h, xi ,
n
lm fn = .
n
Proposici
on 5.6 Sea g(t) una funcion seccionalmente continua, con
Z Z
g(t) dt = 1 y | g(t) | dt < .
DE DISTRIBUCIONES
5.2. SUCESION 63
Vemos que hay convergencia uniforme y podremos intercambiar el lmite con la integral.
Z u Z u Z
lm fn , x = lm g(u)x du = g(u) lm x du = x(0) g(u) du = x(0) ,
n n n n n
por lo tanto
lm fn = .
n
q.e.d.
Ejemplos
Formemos la sucesion
n 2 2
fn (t) = en t .
f3
f2
f1
t
64 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
n
lm en2 t2 = (t) (5.16)
n
2) Otra ilustracion.
Z
1 sen(t)
g(t) = , de modo que g(t) dt = 1 .
t
f3
f2
f1
sen(nt)
lm = (t) (5.17)
n t
Esta se conoce como la representacion de Dirichlet de la .
3) Sea
0
si | t | > 1
g(t) = t + 1 si 1 < t < 0 .
t + 1 si 0 < t < 1
3
f3
2
1 f2
f1
4) Lorentziana
1 1
g(t) = ,
1 + t2
la sucesion
1 n 1 1
fn (t) = 2
= .
1 + (nt) n 1 2
+t
n2
Luego, con = 1/n
1
lm = .
0 2 + t2
Demostracion: Ejercicio.
Demostraci
on
h0n , xi = hn , x0 i .
66 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
luego
lm 0n = 0 .
n
q.e.d.
Teorema 5.3 Toda serie convergente de sucesiones puede ser derivada termino a termino
dentro de la sumatoria.
on En efecto, supongamos que la serie
P
Demostraci =0 es convergente. Sea
n
X
n = .
=0
Se tiene !0
n
X n
X
= 0 .
=0 =0
es decir,
n
X
X
0
= lm 0 = 0 .
n
=0 =0
q.e.d.
Aplicaciones
1) En el espacio de distribuciones, una serie trigonometrica puede converger aun cuando sus
coeficientes ak crezcan polinomialmente cuando k (en contraste a lo que ocurre con
funciones, donde si una serie converge sus terminos deben anularse para k ; por ejemplo,
los coeficientes de Fourier).
DE DISTRIBUCIONES
5.2. SUCESION 67
donde . Como el termino general de esta serie esta acotado por C 0 / | k |2 cuando
| k | , vemos que la serie es uniformemente convergente, de modo que f no solo esta bien
definida, sino que es continua.
Consideramos ahora la distribucion asociada f . (5.9) dice que f es infinitamente diferen-
ciable. En particular,
(+2) X
f (x) = ak e2ikx .
k=
k6=0
Esta serie existe como distribucion, no como funcion porque no convergera. Agregar un
termino con k = 0 no afecta la convergencia de la serie, obteniendose finalmente que la serie
trigonometrica
X
ak e2ikx
k=
2) Si lm fn = , entonces
n
0
lm fn = lm fn0 = 0 . (5.19)
n n
3
f3
2
1 f2
f1
El lmite:
lm fn = .
n
Su derivada:
0
si | t | > 1/n
0
fn (t) = n2 si 1/n < t < 0 ,
2
n si 0 < t < 1/n
1
1/3 1/2 1
-1 -1/2 -1/3 f1 t
f2
f3
lm fn0 = 0 .
n
Definici
on 5.15 Paridad en distribuciones
Decimos que es una distribucion par si
Ejemplos
DE DISTRIBUCIONES
5.2. SUCESION 69
Notaci
on usada
aun cuando (t) no es una funcion y no tiene sentido estricto la integral. Es solo una notacion
u
til, y la utilizaremos frecuentemente. En particular, con esta notacion podemos reescribir la
condicion de paridad de una distribucion. Si es par,
Z Z
h, x(t)i = (t)x(t) dt = (t0 )x(t0 ) dt0 ,
es igual a Z
h, x(t)i = (t)x(t) dt ,
Si es impar, analogamente:
Z Z
(t)x(t) dt = (t)x(t) dt .
Esta notacion de distribuciones como si fueran funciones se utiliza tambien para la delta.
Con ella, algunas de las propiedades ya demostradas para esta distribucion toman la forma:
i) Z
h, xi = (t)x(t) dt = x(0) .
70 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
ii) Z Z
ha , xi = a (t)x(t) dt = (t a)x(t) dt = x(a) .
iii) Z
h, 1i = (t) dt = 1 .
vi) 0 (t a) = 0 (a t).
vii) La notacion anterior nos permite demostrar facilmente la siguiente importante relacion:
1
(kt) = (t) (5.23)
|k|
Demostraci on Sea (kt) con k 6= 0. Consideremos la delta actuando sobre una funcion
x S cualquiera:
Z sgn(k)Z u du
(kt)x(t) dt = sgn(k) (u)x
sgn(k) k |k|
Z u du Z
1 (t)
= (u)x = x(0) = x(t) dt .
k |k| |k| | k |
q.e.d.
viii) Si f es una funcion continua, analtica y diferenciable, con ceros simples en ti , con
i = 1, . . . , n, entonces
n
X 1
(f (t)) = 0
(t ti ) . (5.24)
i=1
| f (ti ) |
f
Demostraci on Consideremos (f (t)) con R R y f S, es decir, f continua,
analtica y diferenciable. Supongamos que f tiene ceros simples en ti con i = 1, 2, . . . , n,
f (ti ) = 0 i. Z
h(f (t)), xi = (f (t))x(t) dt .
5.3. PRODUCTO DE DISTRIBUCIONES 71
q.e.d.
Proposici
on 5.7
f g =gf . (5.26)
Demostraci
on
Z
f g, x = hg, f xi = f (t)g(t)x(t) dt = f , gx = g f , x ,
luego
f g =gf .
q.e.d.
hp , xi h, p xi . (5.27)
Ejemplos
72 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
1) Si p es un polinomio, entonces
p = p(0) .
En efecto,
hp , xi = h, pxi = p(0)x(0) = hp(0) , xi .
En particular,
t = 0 .
En los libros se suele encontrar la notacion t (t) = 0. Esta parece una igualdad de funciones.
Si se considera a la delta de Dirac como una funcion nula en todas partes, salvo en cero donde
es infinito, la igualdad anterior es muy natural para t 6= 0 pero no para t = 0. Este es un
ejemplo de que la anterior es solo una notacion, que puede ser util, pero que tiene sus lmites.
2) Si p es un polinomio,
p 0 = p(0) 0 p0 (0) .
En efecto,
hp 0 , xi = h 0 , pxi = (px)0 (0)
= p(0)x0 (0) p0 (0)x(0)
= hp(0) 0 p0 (0), xi .
En particular,
t 0 = ,
t2 0 = 0 .
No existe una extension obvia a las definiciones (5.25) y (5.27) para el caso de dos dis-
tribuciones arbitrarias 1 , 2 , i.e. en general no tiene sentido hablar de 1 2 . Por ejemplo,
[(t)]2 o (t) 0 (t) son objetos sin sentido.
Entonces
t f 0 (t) = t (C2 C1 ) h(t)0 = (C2 C1 ) t = 0 ,
es decir, f es solucion.
Una consecuencia importante de haber construido el espacio de distribuciones es que
podamos extender el espacio de soluciones de ecuaciones diferenciales y, por ende, el conjunto
de ecuaciones diferenciales que somos capaces de resolver.
Teorema 5.4
0
fg = f 0g+f g0 , (5.28a)
o bien
(p )0 = p 0 + p 0 . (5.28b)
Demostraci
on
h(p )0 , xi = hp , x0 i = h, p x0 i .
Por otro lado,
Comparando,
(p )0 = p 0 + p 0 .
q.e.d.
5.5. Convergencia d
ebil
La definicion (5.15) introdujo el concepto de convergencia de una sucesion de distribucio-
nes. Es posible definir tambien la convergencia de una sucesion de distribuciones provenientes
de funciones.
Definici
on 5.18 Convergencia debil
Una sucesion de funciones fn (t) continuas y derivables por tramos con discontinuidades
mansas y de crecimiento lento, se dice que converge debilmente a f si
lm fn = f S existe. (5.29)
n
Una sucesion que converge debilmente, no significa necesariamente que converge en algun
sentido usual: uniformemente, puntualmente o en la norma. Ademas , el lmite anterior es co-
mo distribuciones, no como funciones. Puede darse o no que ademas fn (t) converja a cierta
funcion g(t) puntualmente, o en la norma o uniformemente. Sin embargo, la convergencia
uniforme asegura convergencia debil, como afirma la siguiente proposicion.
74 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
fn f , x = [fn (t) f (t)] x(t) dt+ [fn (t) f (t)] x(t) dt+ [fn (t) f (t)] x(t) dt .
A A
Elegimos A tan grande que se satisfagan, simultaneamente, las dos condiciones siguientes:
Z A Z
[fn (t) f (t)] x(t) dt <
y
[fn (t) f (t)] x(t) dt < .
3 A 3
Este A existe pues fn f crece a lo mas como potencias, mientras que x decae mas rapido
unif
que cualquier potencia. Como fn f 0 en el intervalo [A, A], se tiene que para cierto
n
N N,
| fn (t) f (t) | < , n > N ,
6AM
donde M > | x(t) | en el intervalo A < t < A. Haciendo uso de lo anterior podemos acotar
la integral en el intervalo central, es decir,
Z A Z A
[fn (t) f (t)] x(t) dt
| fn (t) f (t) | | x(t) | dt
A A
Z A
< | x(t) | dt = 2AM = , n > N .
6AM A 6AM 3
Con este resultado podemos acotar la integral completa
Z
[fn (t) f (t)] x(t) dt = fn f , x < ,
n > N .
Ejemplos
1
1) Sea fn (t) = eint . Se tiene
2
fn , x = F{x, n} 0 , x S ,
n
5.5. CONVERGENCIA DEBIL 75
2) Sea (
0, si t 6 [1/n, 2/n]
fn (t) = .
n, si t [1/n, 2/n]
R
n N, fn (t) dt = 1, y fn (t) 0 puntualmente.
n
Pero ademas:
Z 2/n Z 2/n
fn , x = n x(t) dt = n x(tn ) un tn [1/n, 2/n]
dt , alg
1/n 1/n
fn , x = x(tn ) x(0) = h, xi .
n
Luego
fn ,
n
con lo cual fn converge debilmente, pero no a una funcion. Sin embargo, fn s converge a la
funcion 0, de modo que
D E
lm fn , x 6= lm fn , x = 0, x = 0 .
n n
Pero el lmite de fn es
0
si t < 0
lm fn (t) = 1/2 si t = 0 ,
n
1 si t > 0
lm fn = h .
n
Analogamente, se tiene Z
lm hgn , xi = lm gn (t)x(t) dt ,
n n
pero el lmite de gn es
0
si t < 0
lm gn (t) 1/e si t = 0 .
n
1 si t > 0
lm gn = h ,
n
Bibliografa Adicional
El primer libro sobre teora de distribuciones es el de Schwartz [1]; la primera publicacion
en dos tomos es de 195051.
Otra referencia importante, pero de un estilo un poco diferente a la referencia anterior,
son los primeros tres tomos del libro de Gelfand y Shilov [24] (en total son 5 tomos).
En el amplio tema de la aplicacion de la teora de distribuciones a las ecuaciones diferen-
ciales, una de las referencias mas importantes es el primer tomo del libro de Hormander [5]
(en total son 4 tomos).
Finalmente, una referencia mas al estilo y contenidos de este curso es [6].
1 Lauren Schwartz, Theorie des Distributions, Hermann, Pars, 1998 (ISBN 2 70565 551 4).
4 Israil M. Gelfand y G. E. Shilov, Generalized Functions III: Some Problems in the Theory
of Differencial Equations, Academic Press, Nueva York, 1967 (ISBN 0 12 279503 2).
5 Lars Hormander, The Analysis of Linear Differencial Operators I: Distribution Theory and
Fourier Analysis, Grundlehren der Mathematischen Weissenschaften 25, Springer-Verlag,
Berln, 1990 (ISBN 0 38752 343 X).
6 Lauren Schwartz, Methodes mathematiques pour les sciences physiques, Hermann, Pars,
1998 (ISBN 2 70565 213 2).
78 CAPITULO 5. DISTRIBUCIONES TEMPERADAS
Captulo 6
Distribuciones y transformada de
Fourier
versi
on final 3.2-13 enero 2003
Definici
on 6.1 Transformada de Fourier de un funcional.
Sea f S el funcional asociado a f . Definimos F{f } S por:
F{f , k} = F{f, k} .
D E
Proposici
on 6.1 F{f }, x = f , F{x}
Demostraci
on
D E Z Z Z
1
F{f }, x = dk F{f, k}x(k) = dk dt f (t)eikt x(k)
2
Z Z
Z
1
= dt f (t) dk x(k)eikt = dt f (t)F{x, t}
2
= f , F{x} .
q.e.d.
79
80 CAPITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Demostraci
on
a) Linealidad.
!
b) Sea xn x. Entonces
n
!
Puesto que S y F{xn x} 0,
n
D E
lm hF{}, xn xi = , lm F{xn x}
n
n Z
1 it
= , lm [xn (t) x(t)]e dt
2 n
Z
1 it
= , lm [xn (t) x(t)]e dt
2 n
D E
= , F{ lm (xn x)}
n
D E
= F{}, lm (xn x) .
n
Ejemplos
Luego
1
F{} = . (6.2)
2
81
Entonces
(it)
F{ 0 } = . (6.3)
2
3) En general,
(it)n
F{ (n) } = . (6.4)
2
F 1 {}, x = , F 1 {x}
x S (6.5)
on 6.3 Si S , entonces
Proposici
FF 1 {} = F 1 F{} = . (6.6)
Demostraci
on
q.e.d.
F{} = F 1 {} . (6.7)
82 CAPITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Demostraci
on
Z
1
1
1 it
F {}, x = , F {x} = , dt x(t)e .
2
de modo que
F{} = F 1 {}
si es una distribucion par.
q.e.d.
lo cual nos dice que, para cualquier distribucion par , la distribucion + F{} es igual a
su transformada.
F{} = F 1 {} .
Demostraci
on Ejercicio.
1
F 1 {} = F{} = ,
2
luego
1
F{1} = .
2
Entonces
1
F{1, } = () , (6.8)
2
1
F{} = . (6.9)
2
83
Demostraci
on
(F{})(n) , x = (1)n F{}, x(n) = (1)n , F{x(n) }
D E
= (1)n h, (it)n F{x}i = (it)n , F{x}
D E
= F{(it)n }, x .
As
(F{})(n) = F{(it)n } S .
q.e.d.
84 CAPITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
Proposici
on 6.7
F{(n) } = (i)n F{} . (6.13)
Demostraci
on Ejercicio.
donde hemos usado el hecho de que a + a es una distribucion par y que a a es impar.
En textos de Fsica encontraremos las relaciones (6.15) y (6.16) en la forma:
r
F{cos(0 t), } = [( 0 ) + ( + 0 )] ,
2
r
F{sen(0 t), } = i [( 0 ) ( + 0 )] .
2
Vale decir, al graficar el espectro de frecuencias de cos(0 t) tendramos dos peaks, en 0 :
0 0
y en el caso de sen(0 t) el peak en 0 sera negativo:
0
0
Terminemos este Captulo encontrando una representacion u til para la delta. Considere-
mos la funcion dientes de sierra:
1
2 (t + ) t < 0
f (t) = 0 t=0
1
2 (t ) 0 < t
f (t )
1/2
1/2
86 CAPITULO 6. DISTRIBUCIONES Y TRANSFORMADA DE FOURIER
La funcion es periodica:
f (t + 2m) = f (t) m Z .
con
Z
1 1
b = f (t0 ) sen(t0 ) dt0 = ,
entonces
1 X sen(t)
f (t) = .
=1
y derivemosla:
!0 0
0 1X sen(t) 1 X sen(t) 1X
f (t) = = = cos(t) .
=1 =1 =1
es decir,
X 1 1X
2n = + cos(t) .
n=
2 =1
Convoluci
on de distribuciones
versi
on final 3.3-13 enero 2003
7.1. Definiciones
Sean x, y S y sean x, y S sus funcionales asociados. Hemos definido
x+y x+y
y0 y0
F{y} F{y} .
Evaluemos
Z Z Z
hy z, xi = [y z](s)x(s) ds = y(s t)z(t) dt x(s) ds
Z
Z
87
88 CAPITULO 7. CONVOLUCION
DE DISTRIBUCIONES
ltima igualdad tiene sentido solo si la funcion de u hz(t), x(u + t)i S. Si lo es, podemos
La u
escribir.
hy z, xi = hy(u), hz(t), x(u + t)ii .
El lado derecho es un n
umero complejo, que se puede reescribir:
Z Z Z
hy z, xi = y(u)x(u + t) du z(t) dt = z(t) hy(u), x(u + t)i dt
= hz(t), hy(u), x(u + t)ii .
Este es otro numero complejo, que tiene sentido solo si la funcion de t hy(u), x(u + t)i S.
Por lo tanto, resumiendo,
Definamos Z
g(u) hz(t), x(u + t)i = z(t)x(u + t) dt .
Luego g(u) S.
q.e.d.
Definici on 7.2 Producto de convolucion entre una distribucion y un funcional asociado a una
funcion Sean S , f S. Definimos
Z
[ f ](u) = ht , f (u t)i = (t)f (u t) dt ,
DE DISTRIBUCIONES
7.2. PROPIEDADES DE LA CONVOLUCION 89
usando la notacion como funciones. Esta definicion es consistente con los resultados anteriores.
Z
f, x = [ f ](u)x(u) du
Z Z
= du x(u) (t)f (u t) dt
Z Z
= dt (t) x(u)f (u t) du
Z Z
= dt (t) x(v + t)f (v) dv
Z D E
= dt (t) f (v), x(v + t)
D D EE
= (t), f (v), x(v + t) .
D E
f (v), x(v + t) no necesariamente pertenece a S si f es de crecimiento lento, que es lo que
se necesita para que la u ltima expresion tenga sentido. Por ejemplo, si f = 1,
D E Z Z
f (v), x(v + t) = x(v + t) dv = x(u) du = cte 6 S .
Sin embargo, al menos es una funcion infinitamente derivable. El problema anterior se pre-
senta por supuesto tambien cuando se trata de dos distribuciones arbitrarias.
1) Conmutatividad?
No, solo en algunos casos y existen ambas.
2) Asociatividad?
S. Sean , , S , con
entonces
luego
( ) = ( ) = .
3) Distributividad?
S. Sean , , S , con h(t), x(t + u)i S(u) x S, entonces
Es decir, si f S , escribimos:
f a = f (t a) (7.4)
EN FISICA
7.3. USO DE CONVOLUCION 91
7) El producto de deltas:
ha b , xi = h(u a), h(t b), x(t + u)ii = h(u a), x(b + u)i = x(a + b) = ha+b , xi .
Luego
a b = a+b (7.5)
8) Existen divisores del cero. Sea C una funcion constante en un intervalo finito y cero en el
resto.
C 0 = C 0 = C 0 = 0 = 0 ,
o sea que se tiene = 0 sin que = 0 ni = 0. Consecuencia de lo anterior es que si ,
, S , las ecuaciones
( ) = 0 o = 6 = ,
aun si 6= 0,
Dispositivo
A
V Mide la fem e(t) aplicada al dispositivo. Esto corresponde al estmulo o excitacion
que perturba el sistema.
A Mide la corriente i(t) que circula por el sistema. Esta corresponde a la respuesta del
sistema frente a lo que lo perturba.
Las siguientes premisas deben ser satisfechas por el sistema:
i Si e(t) = 0 para t < t1 , entonces i(t) = 0 para t < t1 .
ii Si a las excitaciones e1,2 (t) les corresponden respuestas i1,2 (t), entonces a una excitacion
e1 (t) + e2 (t) le corresponde una respuesta i1 (t) + i2 (t). (Linealidad.)
92 CAPITULO 7. CONVOLUCION
DE DISTRIBUCIONES
Teorema 7.1 Sea la distribucion G(t) la respuesta a la excitacion (t). (Esto corresponde a
una excitacion percusional, nula para todo tiempo salvo en el instante t = 0.) Entonces la
respuesta a cualquier excitacion e(t) se obtiene por el producto de convolucion
=Ge . (7.6)
As pues, basta conocer la respuesta de un sistema (cualquier sistema con las premisas ante-
riores, esperables para un sistema fsico) a un estmulo elemental, para conocer la respuesta
del sistema a cualquier otro estmulo, a traves del producto de convolucion. Situaciones simi-
lares se presentan en otros problemas fsicos: basta conocer el campo electrico producido por
una carga puntual para saber el campo electrico producido por una distribucion arbitraria
de carga.
A continuacion damos las lneas generales de una eventual demostracion del anterior
teorema.
i. Si e = entonces = G = G = G e.
iv. Sea e(t) nula para t < t0 , de crecimiento lento, seccionalmente continua y derivable, de
modo que e S existe.
Z N
* N
+
X X
he, xi = e(t)x(t) dt = lm x(t ) = lm (t t ), x .
N N
N
X
Si e(t) = lm (t t ), existe la esperanza de que esto permita expresar toda la
N
respuesta de la forma
N
X N
X
(t) = lm G(t t ) = G(t) lm (t t ) = G e .
N N
Captulo 8
La funci
on Gamma
versi
on final 3.3-13 enero 2003
8.1. La funci
on factorial
Consideremos la integral:
Z
x 1 x 1
e dx = e = .
0 0
93
94 CAPITULO 8. LA FUNCION
GAMMA
8.2. La funci
on Gamma
Definimos la funcion Gamma por:
Z
(z) = tz1 et dt , Re z > 0 . (8.2)
0
Para el caso Re z 0 la integral diverge y no puede usarse para definir (z). Mas
adelante veremos que hacer con este caso.
La funcion (z) es continua (si Re z > 0. Ademas, es facil ver (al menos formalmente)
que, para Re z > 0,
Z
0
(z) = et tz1 ln t dt , (8.3)
0
Z
00
(z) = et tz1 (ln t)2 dt , (8.4)
0
8.2.1. Relaci
on con la funci
on factorial
De la definicion de la funcion Gamma (8.2), se tiene
Z
(n + 1) = tn et dt = n! , si n N. (8.5)
0
8.2.2. Relaci
on de recurrencia
Integrando por partes (8.2),
Z Z
z t t
et tz1 dt = z(z) ,
z1
(z + 1) = t e e zt dt = z
0 0 0
luego
(z + 1) = z(z) (8.6)
Notemos que, en particular, si n N,
(n + 1) = n(n) = n (n 1)(n 1) = = n! ,
pues (1) = 1.
GAMMA
8.2. LA FUNCION 95
8.2.3. Funci
on Gamma de n
umeros negativos
Ya observamos que la expresion integral (8.2) no es adecuada para su extension a n umeros
negativos. Sin embargo, ello s es posible a traves de la relacion de recurrencia (8.6).
Si z 6= 0, 1, 2, . . . , la expresion
(z + n)
(z + n 1)(z + n 2) (z + 1)z
esta bien definida para todo n N suficientemente grande (Re(z) + n > 0). Ademas su valor
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
Entonces, se define (z) para todo z diferente de 0, 1, 2, . . . , por medio de
(z + n)
(z) = , n N y Re(z) + n > 0 , (8.7)
(z + n 1)(z + n 2) (z + 1)z
Por ejemplo,
1 1 1
(1,5) = (0,5) = (0,5) .
1,5 1,5 0,5
Observemos que si z = m + , con m N y < 1, la ecuacion (8.7) nos dice (con
n = m + 1) que
( + 1) (1)m
(z) = cuando 0.
( 1)( 2) ( m) m!
Entonces, en todos los puntos z = 0, 1, 2, . . . , (z) tiene polos simples, y el residuo en el
polo z = m es (1)m /m!.
Mas adelante veremos que 0 (1) = , donde es la constante de Euler-Mascheroni.
Entonces, cuando z 0, (1 + z) = 1 z + , y con esto
(z + 1) 1
(z) = = + , cuando z 0.
z z
Entonces
Z Z Z Z
y 2 x2 2 +y 2 )
2
[(1/2)] = 4 e dy e dx =4 e(x dx dy .
0 0 0 0
Reescribiendo la integral en coordenadas polares,
Z Z /2
r2
Z
2 r2 1 r2 1
[(1/2)] = 4 e r dr d = 4 e r dr = 2 e = 2 .
0 0 2 0 2
0 2
Luego
(1/2) = . (8.8)
(b) Para todo z 6 Z se verifica que
(z)(1 z) = . (8.9)
sen(z)
La demostracion la veremos mas adelante.
(c) La formula de duplicacion de Legendre dice que
22z1
1
(2z) = (z) z + . (8.10)
2
La demostracion la veremos mas adelante.
8.3. Funci
on Beta
8.3.1. Definici
on
Definimos la funcion Beta por:
Z 1
B(p, q) = tp1 (1 t)q1 dt , Re p > 0, Re q > 0 (8.11)
0
Demostraci
on Ejercicio.
BETA
8.3. FUNCION 97
C1
R
C3 C4
C2 x
C = C 1+ C 2+ C 3+ C 4
Entonces
wz1
Z
dw = 2ieiz ,
C 1+w
z1
pues el residuo en w = 1 es w (ejercicio). Tambien quedara como ejercicio demostrar
que
Z z1
wz1
Z
w
lm dw = dw ,
0
R C1
1+w 0 1+w
Z z1
wz1
Z
2iz w
lm dw = e dw ,
0
R C 2
1 + w 0 1 + w
wz1
Z
lm dw = 0 ,
R C 1 + w
3
wz1
Z
lm dw = 0 ,
0 C 1 + w
4
Para demostrar la formula de duplicacion de Legendre (8.10), primero notemos que esta
es equivalente a
1 2z1 1
(2z) = 2 (z) z +
2 2
[donde hemos usado el resultado (8.8)], lo cual es equivalente a
(1/2)(z) [(z)]2
= 22z1 .
(z + 1/2) (2z)
De este modo, por la expresion (8.15), lo que tenemos que demostrar es
De este modo, con las dos ecuaciones anteriores, terminamos de obtener lo buscado, esto es
22z1
1
(2z) = (z) z + .
2
DOBLE FACTORIAL
8.4. NOTACION 99
8.4. Notaci
on doble factorial
Definimos el doble factorial como el producto de los n primeros enteros impares o pares:
Claramente
(2n)!! = 2n n! , (8.18)
(2n + 1)!
(2n + 1)!! = . (8.19)
2n n!
8.5. F
ormula de Stirling
(Una idea de la demostracion.)
Deseamos encontrar una expresion asintotica para (x) para x grande. Consideremos
Z Z
x t
(x + 1) = t e dt = ex ln tt dt .
0 0
Con el cambio de variables t = x + r x, obtenemos
Z
(x + 1) = ex ln(x+r x )xr x x dr .
x
r2
r r
ln(x + r x ) = ln x + ln 1 + ln x + + .
x x x 2x
De este modo,
Z
2
(x + 1)
ex ln x+r xr /2xr x
x dr
x x
Z
2
=ex ln xx
x er /2 dr
x
!
Z Z x
r 2 /2 r2 /2
= xx ex x e dr e dr
xx ex x 2 0 ,
x
Del resultado anterior es claro que z(z) tiene polos en z = 1, 2, . . . , con residuo 1.
2. Funcion poligamma: Es la m-esima derivada de la funcion z:
(m) dm+1 m+1
X 1
z (z) = m+1 ln(z!) = (1) m! m+1
. (8.26)
dz n=1
(z + n)
Observemos que
z(m) (0) = (1)m+1 m! (m + 1) , m = 1, 2, 3. . . , (8.27)
donde la funcion zeta de Riemann se define como
X 1
(s) = s
, s > 1 . (8.28)
n=1
n
Claramente
Bx=1 (p, q) = B(p, q) .
102 CAPITULO 8. LA FUNCION
GAMMA
y
Z
(a, x) = et ta1 dt . (8.31)
x
Se tiene
(a, x) + (a, x) = (a) . (8.32)
5. Integrales de error :
Z z
2 2
erf(z) = et dt , (8.35)
0
Z
2 2
erfc(z) = 1 erf(z) = et dt . (8.36)
z
Con un cambio de variable simple podemos escribir las integrales de error en terminos
de las funciones Gamma incompletas:
1 1 2
erf(z) = ,z , (8.37)
2
1 1 2
erfc(z) = ,z . (8.38)
2
Bibliografa Adicional
Un libro dedicado completamente al tema es la referencia [1], el cual fue originalmente
publicado en 1906 (en dos tomos). Una interesante y famosa referencia es el captulo XII del
libro de Whittaker y Watson [2]:
1. Niels Nielsen, Die Gammafunktion, Band I/II, Chelsea Publishing Company, Nueva
York, 1965 (ISBN 0-8284-0188-8).
Transformada de Laplace
versi
on final 3.4-13 enero 2003
9.1. Definici
on
Definici
on 9.1 Definimos la transformada de Laplace de una funcion f (t) por
Z
L{f (t), s} = F (s) = est f (t) dt sC. (9.1)
0
f
on 9.2 Una funcion f : [0, ) C es de orden exponencial si f (t) es seccional-
Definici
mente continua y derivable en 0 t < y
Demostraci on
Z Z Z
st
st st s t
| L{f } | =
e f (t) dt e | f (t) | dt A e e 0 dt
Z0 0
Z 0
i Im[s]t (Re[s]s )t
=A e e 0
dt = A e(Re[s]s0 )t dt < Re[s] > s0 .
0 0
q.e.d.
R
Proposici on 9.2 La integral 0
est f (t) dt converge uniformemente para todo s tal que
Re[s] s1 > s0 .
103
104 CAPITULO 9. TRANSFORMADA DE LAPLACE
Demostraci
on Si > 0, afirmamos que existe M () independiente de s tal que
Z M Z
st st
F (s) dt e f (t) =
dt e f (t) < .
0 M
En efecto,
Z Z Z
st
st
dt Aet(Re[s]s0 )
dt e f (t)
dt e f (t)
M
ZM M
A
dt Aet(s1 s0 ) = eM (s1 s0 ) < ,
M s 1 s 0
donde la u
ltima desigualdad se satisface escogiendo
1 A
M> ln .
s1 s0 (s1 s0 )
q.e.d.
luego
Z Z
0
st
| F (s) | e t | f (t) | dt A te(s0 s1 )t dt ,
0 0
y la u
ltima integral existe (es finita), independiente de s.
q.e.d.
En general, existe Z
F (n)
(s) = (t)n f (t)est dt . (9.3)
0
Proposici
on 9.4
lm F (s) = 0 . (9.4)
Re[s]
Demostraci
on
Z Z
st i Im[s]t Re[s]t
lm e f (t) dt = f (t)e lm e dt = 0 .
Re[s] 0 0 Re[s]
DE LA TRANSFORMADA DE LAPLACE
9.2. INVERSION 105
q.e.d.
9.2. Inversi
on de la transformada de Laplace
Sea f una funcion de orden exponencial, tal que f (t) = 0 si t < 0. Sean F (s) = L{f, s}
y > s0 . Observemos que
g(t) = f (t)et (9.5)
es modulo integrable: Z
|g| < ,
Finalmente
Z +i
1
f (t) = L{f, s}est ds . (9.7)
2i i
106 CAPITULO 9. TRANSFORMADA DE LAPLACE
Por lo tanto, si la transformada de Laplace de una funcion f (t) esta dada por
Z
F (s) = L{f (t), s} = f (t)est dt , Re s > s0 ,
0
Proposici
on 9.5
lm F (s) = 0 . (9.9)
Im[s]
Demostraci
on Sea s = sR + i. Entonces, por (9.6),
L{f, s} = L{f, sR + i} = 2F{f esR t , } 0 ,
donde el u
ltimo lmite se sigue de las propiedades de la transformada de Fourier. Luego hemos
demostrado la proposicion.
q.e.d.
Im(s)
B C
M
s0 1 2
Re(s)
M
A D
DE LA TRANSFORMADA DE LAPLACE
9.2. INVERSION 107
1 + sgn(t)
h(t) = .
2
Su transformada de Laplace es
Z
1
H(s) = L{h, s} = est dt = .
0 s
Im(s)
iR +iR
Re(s)
iR iR
108 CAPITULO 9. TRANSFORMADA DE LAPLACE
Im(s)
iR +iR
Re(s)
iR iR
9.3. PROPIEDADES DE LA TRANSFORMADA DE LAPLACE 109
Y en tal caso,
+i
ets
Z Z ts
e
ds = ds = 0 ,
i s s
pues no hay polos dentro del circuito de integracion . Entonces
h(t) = 0 , t<0.
iii) Caso t = 0.
La integral queda simplemente
r=R r r=R
Z +iR
ds
= ln( + ir) = ln( 2 + r2 ) + i arctan i ,
iR s r=R r=R R
de modo que
1
h(0) = .
2
Por lo tanto, al invertir la transformada de Laplace hemos reobtenido la funcion escalon
de Heaviside h(t).
Demostraci
on
Z t Z Z t
st
L f (u) du, s = e f (u) du dt .
0 0 0
4)
f 0 (t) sF (s) f (0) , Re(s) > s0 .
Analogamente,
5)
tn f (t) (1)n F (n) (s) .
f (t ) es F (s) .
ect f (t) F (s c) .
Demostraci
on Z
ct
L{e f (t), s} = est ect f (t) dt = F (s c) .
0
Demostraci
on Ejercicio.
9.4. LISTA DE TRANSFORMADAS DE LAPLACE 111
e)
+s
et cos(t)
(s + )2 + 2
et sen(t)
(s + )2 + 2
f)
t ( + s)2 2
te cos(t)
[(s + )2 + 2 ]2
2( + s)
tet sen(t)
[(s + )2 + 2 ]2
as2 + bs + c 2 ac a + bt + c
t cos(t) + sen t .
(s2 + 2 )2 2 2
(t t0 ) et0 s
0 (t t0 ) set0 s
(n) (t t0 ) sn et0 s
Captulo 10
Aplicaciones de la transformada de
Laplace
versi
on final 3.3-13 enero 2003
En primer lugar, al igual que la transformada de Fourier, nos permite convertir ecuaciones
diferenciales en ecuaciones algebraicas (propiedad 4, seccion 9.3), con la diferencia que las
condiciones iniciales quedan incorporadas de inmediato en la ecuacion resultante. Utilizando
transformada de Fourier tambien podemos convertir la ecuacion diferencial en una algebraica,
pero aun queda trabajo por hacer, que es resolver nuevas ecuaciones que resultan de imponer
las condiciones iniciales. As, usando transformada de Laplace economizamos recursos.
Por cierto, el punto anterior puede resultar mas bien secundario, ya que ambos procedi-
mientos deberan arrojar el mismo resultado. Un aspecto nada de secundario, sin embargo,
es que, mientras la transformada de Fourier solo se puede aplicar a funciones que decrecen
rapidamente a cero (funciones en S), o a lo sumo a funciones de crecimiento polinomial (es
decir, funciones que tienen asociadas distribuciones temperadas), la transformada de Laplace
esta bien definida incluso para funciones de crecimiento exponencial. Puesto que en gene-
ral una inestabilidad de un sistema fsico esta caracterizada por alguna variable que crece
exponencialmente, no esta garantizado que el formalismo de transformada de Fourier de re-
sultados con sentido en estos casos. As, la transformada de Laplace no es solo un formalismo
alternativo, sino que en ocasiones puede ser el u nico adecuado.
113
114 CAPITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
d2 y
y =t , y(1) = a, y(2) = b .
dt2
Encontremos la solucion para y(t). Primero hacemos el cambio de variable x = t 1 con
u(x) = y(t), de esta manera la ecuacion nos queda
d2 u
u=x+1 , u(0) = y(1) = a, u(1) = b .
dx2
Aplicamos la transformada de Laplace. Definiendo L {u, s} = U (s) y u0 (0) = , tenemos
1 1
s2 U (s) su(0) u0 (0) U (s) = 2
+
s s
1+s
(s2 1)U (s) = as + +
s2
as 1
U (s) = 2 + 2 + 2 .
s 1 s + 1 s (s 1)
10.1. ECUACIONES DIFERENCIALES LINEALES CON COEFICIENTES CONSTANTES115
Retransformando,
1 1
u(x) = a cosh(x) + senh(x) + L 2
,x .
s (s 1)
se tiene
Z x Z x0 Z x
1 1 0 x00 00 0
L 2
,x = dx e dx = (ex 1) dx0 = ex 1 x .
s (s 1) 0 0 0
Finalmente
u(x) = a cosh(x) + senh(x) + ex (1 + x) .
Expresando la solucion en la variable original,
d2 d
2
x(t) + x(t) + x(t) = f (t)h(t) ,
dt dt
donde h(t) corresponde a la funcion escalon de Heaviside, tiene por solucion:
Z +i+
1 1
x(t) = L {, t} = ds est (s) ,
2i i+
con
1
(s) = L {x, s} = [L {f (t), s} + ( + s)x(0) + x0 (0)] .
s2 + s +
116 CAPITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
donde g(x) y K(x) son funciones dadas. Busquemos la solucion aplicando la transformada
Despejando,
L {g(x), s}
L {f (x), s} = . (10.2)
+ L {K(x), s}
Retransformando se obtiene f (x).
Como ilustracion de situaciones fsicas que involucran ecuaciones integrales revisaremos
el problema de la tautocrona: una partcula de masa m resbala, sin roce, sobre una curva
bajo el efecto de la gravedad. Queremos la forma de la curva de modo que el tiempo que se
demore la partcula en llegar abajo sea independiente del punto de lanzamiento.
g
yo
1 2
mv = mg(y0 y)
2 p
v = 2g y0 y ,
donde hemos definido f (y) = ds/dy. Con este resultado podemos escribir la condicion de que
la curva sea tautocrona de la siguiente manera:
Z y0
f (y)(y0 y)1/2 dy = C0 , constante independiente de y0 .
0
10.2. ECUACIONES INTEGRALES 117
Esta ecuacion integral es de la forma (10.1), con = 0, g(x) = C0 y K(x) = x1/2 , por tanto
tiene solucion de la forma (10.2):
C0 /s
L {f (x), s} = .
L {x1/2 , s}
Sabemos que
( 1 )
L x1/2 , s = 2 ,
s
luego
C0 s C0 1
L {f (x), s} = 1 =
.
s ( 2 ) ( 12 ) s
Retransformando,
ds C0 1/2
f (y) = = 1 2y = Cy 1/2 .
dy [( 2 )]
A partir de
ds2 = dx2 + dy 2 ,
despejamos
s
2
p ds
dx = ds2
= dy 2 dy dy 2 ,
dy
s " #1/2
2 2
ds ds
dx = dy 2 dy 2 = 1 dy .
dy dy
Integrando esta ultima ecuacion y agregando el cambio de variable podemos expresar la curva
resultante en forma parametrica:
C2
x= ( + sen )
2
C2
y= (1 cos ) .
2
Esta es la ecuacion de una cicloide.
obtenemos
2 U (x, s)
= s U (x, s) u(x, 0) .
x2
Utilizando la condicion inicial u(x, 0) = 0, nos queda una ecuacion diferencial en donde s es
un parametro,
2 U (x, s)
s U (x, s) = 0 ,
x2
con solucion
U (x, s) = C1 ex s + C2 ex s .
Aplicamos la transformada de Laplace sobre las condiciones de borde:
L {u(, t), s} = U (, s) = 0 = C1 = 0 ,
A A
L {u(0, t), s} = U (0, s) = L {A, s} = = C2 = .
s s
10.3. ECUACIONES EN DERIVADAS PARCIALES 119
La solucion es
A xs
U (x, s) = e , para Re[s] > 0.
s
Retransformando,
Z t
1 A xs n o
u(x, t) = L e ,t = A L1 ex s , t0 dt0 .
s 0
Evaluamos, primero, Z +i
n o 1
1x s
L e ,t = est ex s ds .
2i i
Usando el cambio de variable z = s, el camino de integracion se modifica como muestra la
figura:
Im[ z ] Im[ z ]
I
II R
z= s R
III
Re[ z ] R Re[ z ]
R
II R R=
I
El tramo II:
1 R
Z Z
1 z 2 tzx
(iR+y)2 t(iR+y)x
ze dz = (iR + y)e dy
II
z=iR+y
0
1 R
Z
2 2
| iR + y | e(y R )tyx dy
0
eR t
2 Z R
2
2R ey tyx dy
0
120 CAPITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
2
El integrando f (y) = ey tyx es acotado en el intervalo [0, R], siendo su maximo f (0) = 1
o f (R) (dentro del intervalo hay solo un punto con derivada nula, y = x/2, y resulta ser un
mnimo). Si R es suficientemente grande, el maximo es f (R). de modo que podemos escribir
R2 t Z R
Z
1 z 2 tzx
e 2
ze dz 2R eR tRx dy
II
z=iR+y 0
Rx
e
= 2R2 0 .
R
Notamos que dentro del circuito no hay polos, entonces al utilizar el teorema del residuo
podemos concluir que la integral sobre el circuito cerrado es nula. Ya hemos demostrado que
las integrales sobre los tramos I y II tienden a cero cuando R . En forma equivalente
se puede mostrar que se anularan, en el mismo lmite, las integrales sobre los tramos I y II.
Por lo tanto, la integral sobre el camino mas la integral sobre el tramo III deben cancelarse
en el lmite R , o lo que es lo mismo, la integral sobre el camino , que es la que nos
interesa, es igual a menos la integral sobre el tramo III. Parametrizamos por z = iy, y nos
queda
1 y2 tiyx
n o Z Z
1 x s 1 z 2 tzx x 1 2
L e ,t = e z dz = e y dy = 3/2 ex /4t .
i III i 2 t
Podemos escribir la solucion
Z t
x 1 2 0
u(x, t) = A 3/2 ex /4t dt0 .
0 2 t0
y10 + 2y20 + y1 y2 = 25
2y10 + y2 = 25et ,
con condiciones iniciales y1 (0) = 0 e y2 (0) = 25. Apliquemos la transformada de Laplace, con
las definiciones
Y1,2 = L {y1,2 (t), s} .
Obtenemos para el sistema:
25
sY1 y1 (0) + 2sY2 2y2 (0) + Y1 Y2 = ,
s
25
2sY1 2y1 (0) + Y2 = .
s1
10.4. SISTEMA DE ECUACIONES LINEALES 121
Retransformando,
y1 (t) = 25 9et + 5tet 16et/4 .
Analogamente
y2 (t) = 33et 10tet 8et/4 .
122 CAPITULO 10. APLICACIONES DE LA TRANSFORMADA DE LAPLACE
Captulo 11
Polinomios ortogonales
versi
on final 3.4-13 enero 2003
11.1. Definiciones
on 11.1 Sean f, g C [a, b] y sea p(x) > 0 continua en el intervalo [a, b]. Definimos
Definici
el producto interno de f y g con funcion de peso p de la forma siguiente:
Z b
hf, gi f (x)g(x)p(x) dx . (11.1)
a
Definicion 11.2 Sean {Pn (x)}nN0 un conjunto de polinomios reales, donde Pn (x) es un
polinomio de grado n. El conjunto {Pn (x)}nN0 forma un sistema ortogonal de polinomios
con la funcion de peso p(x) si
hPn , Pm i = nm Am . (11.2)
11.2. Teoremas
Teorema 11.1 Sean {Pn (x)}nN0 polinomios ortogonales en [a, b] con la funcion de peso
p(x). Sea Qk un polinomio cualquiera de grado k. Entonces Pn (x) es ortogonal a Qk si n > k.
Demostraci
on Escribamos el polinomio Qk (x) como sigue
k
X
Qk (x) = a x .
=0
123
124 CAPITULO 11. POLINOMIOS ORTOGONALES
por lo tanto,
k
X
X
Qk (x) = a b P (x) ,
=0 =0
k
X
X k
X
X
hPn , Qk i = a b hPn , P i = a b A n = 0 , si n > k.
=0 =0 =0 =0
q.e.d.
Teorema 11.2 Los ceros de los polinomios ortogonales son reales y simples.
Demostraci
on Consideremos el polinomio Pn+1 (x) que tiene n + 1 races. Por el teorema
anterior Z b
hQk , Pn+1 i = Qk (x)Pn+1 (x)p(x) dx = 0 kn.
a
Supongamos que Pn+1 (x) no tiene races reales en [a, b]. Al considerar Qk = 1 obtenemos
Z b
1 Pn+1 (x)p(x) dx 6= 0 .
a
Esto contradice lo anterior, lo que significa que Pn+1 tiene por lo menos una raz en [a, b].
Sea esa raz. Podemos factorizar Pn+1 como
Pn+1 (x) = (x )Sn (x).
Si n 1 se debe tomar Qk = (x ), y como por un lado debe cumplirse
hPn+1 , x i = 0 ,
y por otro lado, de (11.1),
Z b
hPn+1 , x i = (x )2 Sn (x)p(x) dx 6= 0
a
si Sn (x) no tiene una raz en [a, b], hay nuevamente contradiccion. Por lo tanto, Sn (x) tiene
por lo menos una raz en [a, b]. Siguiendo con este procedimiento encontramos que Pn+1 (x)
tiene n + 1 races reales.
Nos falta demostrar que las races son simples. Sea x = una raz no simple, es decir,
Pn+1 (x) = (x )m Sn+1m (x) , con m 2 .
Si m es par, sea Qk (x) = Sn+1m (x).
Si m es impar, sea Qk (x) = (x )Sn+1m (x).
Supongamos que m es impar por simplicidad (si m es par la demostracion es analoga),
entonces
Z b
hPn+1 , Qk i = (x )m Sn+1m (x)(x )Sn+1m (x) p(x) dx
a
Z b
= (x )m+1 [Sn+1m (x)]2 p(x) dx 6= 0 ,
a
DE RECURRENCIA
11.3. RELACION 125
distinta de cero porque cada factor de la funcion subintegral es positivo, en los dos primeros
casos por ser las potencias pares y en el u ltimo por definicion de p(x). Por otra parte,
grado[Qk (x)] = n + 1 m + 1 = (n + 1) (m 1) < n + 1, lo cual significa que
hPn+1 , Qk i = 0 .
Por lo tanto, las races deben ser simples.
q.e.d.
11.3. Relaci
on de recurrencia
Sea {Pn (x)}nN0 un conjunto de polinomios ortogonales. Se tiene
Pn (x) = an xn + bn xn1 + cn xn2 + (11.3a)
Pn1 (x) = an1 xn1 + bn1 xn2 + cn1 xn3 + (11.3b)
Pn+1 (x) = an+1 xn+1 + bn+1 xn + cn+1 xn1 + . (11.3c)
Luego se puede escribir
n+1
X
xPn (x) = nj Pj (x) = n0 P0 + n1 P1 + + n n+1 Pn+1 ,
j=0
Polinomios de Hermite
versi
on final 3.5-13 enero 2003
12.1. Definici
on
Definimos los polinomios de Hermite por:
2 dn t2
Hn (t) = (1)n et e . (12.1)
dtn
{Hn (t)}nN son polinomios de grado n. Se tiene que:
H0 (t) = 1
H1 (t) = 2t
H2 (t) = 4t2 2
H3 (t) = 8t3 12t
H4 (t) = 16t4 48t2 + 12
12.2. Funci
on generatriz
Consideremos la funcion
2 2 2
(t, x) = et e(tx) = e2txx . (12.3)
127
128 CAPITULO 12. POLINOMIOS DE HERMITE
Como
= (1) ,
x (t x)
se tiene
n t2
n
t2 (tx)2 n t2 d e
n
An (t) = e e (1) = (1) e = Hn (t) ,
(t x)n
x=0 dtn
luego
2txx2
X Hn (t)
e = xn . (12.4)
n=0
n!
2
Se dice que e2txx es la funcion generatriz de los polinomios de Hermite, vale decir, es
aquella funcion de dos variables tal que su desarrollo de Taylor en una de las variables tiene
como coeficientes precisamente los polinomios de Hermite.
A partir de (12.4) se pueden encontrar relaciones entre los polinomios de Hermite. La
estrategia para hallarlas (para esta o cualquier otra funcion generatriz de otros polinomios)
es tpica: derivar parcialmente respecto a alguna de las variables y luego comparar potencias
de x en los desarrollos en Taylor resultantes.
1) Derivando respecto a t:
= 2x .
t
Usando (12.4):
X 1 d n
X Hn (t) n+1
Hn (t) x = 2x .
n=0
n! dt n=0
n!
H00 (t) = 0 ,
1 0
2Hn (t) = Hn+1 (t) ,
n+1
lo cual puede ser reescrito en la forma
Observemos que, si bien solo tiene sentido considerar polinomios de Hermite con ndice po-
sitivo, la expresion (12.5) puede ser extendida a n = 0, aunque ello haga aparecer un factor
H1 . En general, las relaciones de recurrencia que obtendremos pueden considerarse validas
GENERATRIZ
12.2. FUNCION 129
para cualquier ndice entero, adoptando la convencion de que los polinomios con subndices
negativos tienen algun valor adecuado, por ejemplo, cero.
La relacion (12.5) expresa un polinomio de Hermite en terminos de un operador (en
este caso la derivada) aplicado sobre el polinomio de Hermite inmediatamente superior. Un
operador que tiene tal propiedad se denomina operador de bajada. En este caso, el operador
de bajada de los polinomios de Hermite es (2n)1 dt .
2) Derivando respecto a x:
= (2t 2x) .
x
Con (12.4):
X Hn (t) n1 X Hn (t) n X Hn (t) n+1
x = 2t x 2 x
n=1
(n 1)! n=0
n! n=0
n!
X Hn+1 (t) n
X 2tHn (t) n
X 2Hn1 (t)
x = x xn
n=0
n! n=0
n! n=1
(n 1)!
Comparando potencias de x:
O bien
Hn+1 (t) = 2tHn (t) 2nHn1 (t) , n0. (12.6)
3) Podemos utilizar las dos relaciones de recurrencia (12.5) y (12.6) para obtener una tercera:
Hemos pues encontrado el operador de subida para los polinomios de Hermite, a saber,
2t dt .
Derivando (12.7):
0
Hn+1 = 2Hn + 2tHn0 Hn00 .
Con (12.5),
o sea,
Hn00 2tHn0 + 2nHn = 0 .
Es decir, los polinomios Hn son una solucion de la ecuaci
on de Hermite:
12.3. Ortogonalidad
Evaluemos Z
2
I= Hm (t)Hn (t)et dt .
2
dn et
Z
n
I = (1) Hm (t) .
dtn
dn1 t2
Z
n+1
I = (1) 2m Hm1 (t) e dt .
dtn1
dnm t2
Z
m n m
I = (1) (1) 2 m! H0 (t) e dt .
dtnm
Si m < n, entonces
dnm t2 dnm1 t2
Z
n+m m n+m m
I = (1) 2 m! e dt = (1) 2 m! nm1 e =0.
dtnm dt
Si n = m,
Z
2
I = 2 n! n
et dt = 2n n! .
Resumiendo,
Z
2
Hm (t)Hn (t)et dt = 2n n! nm . (12.9)
Podemos expresar este resultado diciendo que los polinomios de Hermite son ortogonales,
2
pero con una funcion de peso p(t) = et .
Si definimos las funciones
2
Hn (t)et /2
n (t) = p , (12.10)
2n n!
00n + (2n + 1 t2 )n = 0 ,
12.5. Soluci
on por serie de la ecuaci
on de Hermite
Consideremos la ecuacion de Hermite (12.8), pero generalicemosla ligeramente:
y 00 2ty 0 + 2y = 0 . (12.14)
Reemplazando en (12.14):
X
[a+2 ( + 2)( + 1) 2a + 2a ]t = 0 ,
=0
2a 2a + a+2 ( + 1)( + 2) = 0 , 0,
2( )
a+2 = a . (12.16)
( + 1)( + 2)
a) Hay dos series independientes, la de coeficientes con ndice par, que depende solo de a0 , y
la de coeficientes con ndice impar, que depende solo de a1 . Por tanto, hay dos coeficientes
arbitrarios, a0 y a1 , y por ende dos soluciones linealmente independientes.
132 CAPITULO 12. POLINOMIOS DE HERMITE
b)
a+2 2( ) 2
= ' si 1,
a ( + 1)( + 2)
lo cual significa que el radio de convergencia de la serie es infinito. Vale decir, las soluciones
no tienen singularidades en el plano.
c) La ecuacion tiene por solucion un polinomio solo si N . Si es par, hay que tomar
a0 6= 0 y a1 = 0. Si es impar, hay que tomar a0 = 0 y a1 6= 0.
Polinomios de Laguerre
versi
on final 3.2-13 enero 2003
13.1. Definici
on
on 13.1 Definimos el conjunto de los polinomios de Laguerre {Ln (t)}nN0 mediante
Definici
una cualquiera de las siguientes ecuaciones:
t dn n t
Ln (t) = e n t e = (1)n tn + + n! , (13.1a)
dt
n n n t
t
X n d t d e
Ln (t) = e n
, (13.1b)
=0
dt dt
n n
n n! X n! n!
X
Ln (t) = (1) t = (1) 2
t . (13.1c)
=0
! =0
(n )! (!)
L0 (t) = 1
L1 (t) = t + 1
L2 (t) = t2 4t + 2
L3 (t) = t3 + 9t2 18t + 6
L4 (t) = t4 16t3 + 72t2 96t + 24
..
.
13.2. Funci
on generatriz
Definici
on 13.2 La funcion generatriz (t, x) esta definida por la siguiente relacion:
X Ln (t)
(t, x) = xn . (13.2)
n=0
n!
133
134 CAPITULO 13. POLINOMIOS DE LAGUERRE
6 r
6 6 r-
r r
6 r r-
r6 r r r r r-
r6 r r r r r r r-
r r r r r
6 r r r r r-
r r r r r r
6 r r r r r r-
r r r r r r r - r r r r r r r -
n n
Obtenemos
X
(1)
X
n
(t, x) = t xn .
=0 n=
!
Reordenando
(1)
X
X m+
(t, x) = t x xm .
=0
! m=0
Pero
+1
X m+ m 1
x = cuando | x | < 1 ,
m=0
1x
luego
(1) 1 X (1)
X
x 1 tx
(t, x) = t = .
=0
! 1x 1x 1 x =0 ! 1x
Finalmente
1 tx X Ln (t)
(t, x) = exp = xn (13.3)
1x 1x n=0
n!
13.3. RELACIONES DE RECURRENCIA 135
Derivemos respecto a x:
t tx X Ln (t) (n1) X Ln (t) n
exp = (1 x) x x .
(1 x)2 1x n=1
(n 1)! n=0
n!
13.4. Ecuaci
on de Laguerre
Diferenciando dos veces (13.4) respecto a t,
L00n+2 (t) + (t 2n 3)L00n+1 (t) + (n + 1)2 L00n (t) + 2L0n+1 (t) = 0 . (13.7)
De (13.6) tenemos
L0n+1 (t) = (n + 1) [L0n (t) Ln (t)] , (13.8)
de donde obtenemos, derivando nuevamente,
L00n+1 (t) = (n + 1) [L00n (t) L0n (t)] . (13.9)
Cambiando n n + 1,
L00n+2 (t) = (n + 2) L00n+1 (t) L0n+1 (t) .
a+1 = a .
( + 1)2
f 00 + p(z)f 0 + q(z)f = 0 .
a+1 1
= .
a
Esto implica radio de convergencia infinito para la serie.
(iv) Si 6 N0 todos los coeficientes de ndice suficientemente grande son positivos o nega-
tivos. Esto implica un crecimiento muy rapido.
13.5. Ortogonalidad
Consideremos Z
I= tm Ln (t) et dt , con m < n .
0
13.5. ORTOGONALIDAD 137
t L(m+2)
n (t) + (m + 1 t) L(m+1)
n (t) + (n m) L(m)
n (t) = 0 .
dm
Lm
n (t) = Ln (t) para n m , (13.16)
dtm
conocidos como los polinomios asociados de Laguerre. Los cuales son soluciones de la siguiente
ecuacion diferencial:
L11 = 1 ,
L12 = 4 + 2t , L22 = 2 ,
L13 = 18 + 18t 3t2 , L23 = 18 6t , L33 = 6 .
La funcion generatriz
Lm
m m tx m+1
X
n (t) n
m (t, x) = (1) x exp = (1 x) x . (13.18)
1x n=m
n!
Lm m
n+1 (t) + (t 2n 1)Ln (t) + m Ln
m+1
(t) + n2 Lm
n1 (t) = 0 , (13.20)
m m m1
Ln (t) n Ln1 (t) + n Ln1 (t) = 0 . (13.21)
Finalmente, en forma analoga a lo que hicimos con los polinomios de Laguerre podemos definir
las funciones ortogonales a partir de los polinomios asociados de Laguerre de la siguiente
forma:
Rn ` (t) et/2 t` L2`+1
n+` (t) . (13.22)
Estas funciones satisfacen la ecuacion diferencial
d2 y(t) 2 dy(t)
1 n `(` + 1)
+ + y(t) = 0 . (13.23)
dt2 t dt 4 t t2
El problema de Sturm-Liouville
versi
on final 1.1-13 enero 2003
Una gran cantidad de problemas fsicos estan descritos por ecuaciones diferenciales en
las que interviene un operador Laplaciano (la ecuacion de Laplace, la ecuacion de onda,
la ecuacion de Schrodinger, etc.). Matematicamente, estas ecuaciones corresponden a casos
particulares del problema de Sturm-Liouville, vale decir, ecuaciones de autovalores para un
un operador diferencial autoadjunto. Las propiedades que demostramos en general para los
polinomios ortogonales (Cap. 11), y reencontramos en dos casos particulares (Caps. 12 y
13), son en realidad propiedades generales de las soluciones de problemas de Sturm-Liouville,
como veremos en este captulo.
139
140 CAPITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
y
Z b
b Z b
00 0
dx u0 (x)[v (x)p0 (x)]0
dx v (x)p0 (x)u (x) = v (x)u (x)p0 (x)
a a a
b Z b
0 0
dx u(x)[v (x)p0 (x)]00 .
= {v (x)u (x)p0 (x) u(x)[v (x)p0 (x)] } +
a a
donde
d2 d
Lu(x) = 2
[p0 (x)u(x)] [p1 (x)u(x)] + p2 (x)u(x) , (14.4a)
dx dx
d2
d
Lu(x) = p0 (x) 2 + [2p0 (x) p1 (x)] + [p2 (x) p1 (x) + p0 (x)] u(x)
0 0 00
(14.4b)
dx dx
es el operador adjunto a L.
Si
L=L, (14.5)
decimos que L es autoadjunto.
Comparando (14.1) y (14.4), se sigue que L es autoadjunto si y solo si
2p00 (x) p1 (x) = p1 (x)
Entonces
Z x Z x
0 d p1 (t) p1 (x) p1 (t)
p0 (x) = exp dt = exp dt = p1 (x) ,
dx x0 p0 (t) p0 (x) x0 p0 (t)
con determinadas condiciones de borde (en este caso, nos interesaran las condiciones que
determinan el subespacio H). Las soluciones de (14.11), debido precisamente a las condiciones
de borde, no existen para todo , sino para cierto n umero discreto {i }iN , asociados a
ciertas funciones {ui }iN . Los i se denominan autovalores y las funciones asociadas ui ,
autofunciones.
Se pueden mostrar las siguientes propiedades:
142 CAPITULO 14. EL PROBLEMA DE STURM-LIOUVILLE
Proposici
on 14.1 Los autovalores de un operador autohermtico son reales.
Demostraci on Sean j , k autovalores asociados a autofunciones uj (x), uk (x), respectiva-
mente. Entonces
Haciendo algo similar con la segunda ecuacion, pero multiplicando por uj (x),
Z b
hLuk , uj i + k dx uj (x)w(x)uk (x) = 0 .
a
Ahora, si j = k,
Z b
0 = (j j ) | uj (x) |2 w(x) .
a
j = j ,
es decir, j R.
q.e.d.
es decir uk (x) y uj (x) son ortogonales con funcion de peso w(x). (Incidentalmente, vemos
que la generalizacion del producto interno introducida en (11.1) emerge naturalmente al
considerar el problema de autovalores de un operador autohermtico.)
Por lo tanto, autofunciones asociadas a autovalores distintos son ortogonales. Sin embargo,
puede ocurrir que mas de una autofuncion este asociada al mismo autovalor, es decir, que un
14.4. EJEMPLOS DE FUNCIONES ORTOGONALES 143
autovalor sea degenerado. Es facil mostrar que las funciones asociadas a un mismo autovalor
forman un espacio vectorial. En efecto, si uj,1 (x), uj,2 estan asociadas al autovalor j , se tiene
Luj,1 + j w(x)uj,1 = 0 ,
Luj,2 + j w(x)uj,2 = 0 .
Entonces una combinacion lineal de ellas tambien es autofuncion de L con el mismo autovalor:
X X X
L uj, + j w(x) uj, = [Luj, + j w(x)uj, ] = 0 .
=1,2 =1,2 =1,2
Por lo tanto, es posible encontrar una base ortogonal del subespacio asociado a j (va Gram-
Schmidt). Procediendo as con todos los subespacios de degeneracion, podemos finalmente
construir una base ortogonal para el espacio de funciones completo.
q.e.d.
Proposici on 14.3 Las autofunciones de un operador autohermtico forman una base del
espacio H.
Demostraci on (Discusion)
La completitud de un conjunto de funciones usualmente se determina comparando con
una serie de Laurent. Por ejemplo, para polinomios ortogonales, es posible encontrar una
expansion polinomial para cada potencia de z:
n
X
n
z = ai Pi (z) ,
i=0
donde Pi (z) es el i-esimo polinomio. Una funcion f (z) se puede entonces expandir en una serie
de Laurent, y en definitiva en una combinacion lineal de los polinomios Pi (z). As, podemos
mostrar que la expansion polinomial existe y que es u nica. La limitacion de este desarrollo
en serie de Laurent es que f (z) debe ser analtica. Las funciones pueden ser mas generales
que eso (recordemos la expansion de la funcion dientes de sierra en series de Fourier, por
ejemplo). Una demostracion de que nuestras autofunciones de problemas de Sturm-Liouville
son completas aparece en el libro de Courant y Hilbert [R. Courant y D. Hilbert, Metodos
de la Fsica Matematica, Vol. 1, Cap. 6, Sec. 3].
q.e.d.
versi
on final 1.0-13 enero 2003
145
146 CAPITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
Estas definiciones son validas para todo valor finito de z. El punto z se trata
introduciendo el cambio de variables s = 1/z, y luego haciendo s 0. Con dicho cambio de
variables, (15.1) queda
d2 f
1 df 1
s4 2 3 2
+ 2s s p +q f =0. (15.2)
ds s ds s
2s p(1/s) q(1/s)
p(s) = , q(s) = . (15.3)
s2 s4
Si son finitos, z = es un punto ordinario. Si divergen como 1/s y 1/s2 o mas lentamente,
respectivamente, z = es punto singular regular; si no, es un punto singular irregular o
esencial.
Ejemplo La ecuacion de Bessel,
x2 y 00 + xy 0 + (x2 n2 )y = 0 , (15.4)
15.2. Soluci
on por serie: m
etodo de Frobenius
El metodo de expansion en serie permite encontrar soluciones de ecuaciones diferenciales
lineales homogeneas de segundo orden. Siempre sera posible encontrar una solucion con este
metodo, siempre que la serie corresponda a una expansion en torno a un punto que sea
ordinario o punto singular regular.
Consideremos, por ejemplo, la ecuacion del oscilador armonico:
d2 y
2
+ 2y = 0 . (15.5)
dx
Introduzcamos una solucion de la forma
X
k
y(x) = x a x , a0 6= 0 . (15.6)
=0
Ya hicimos algo similar al estudiar las ecuaciones de Hermite y Laguerre en los captulos ante-
riores. En esos casos, k = 0. Ahora nos interesa el caso general. De hecho, k no necesariamente
POR SERIE: METODO
15.2. SOLUCION DE FROBENIUS 147
es un n
umero entero. Entonces:
dy X
= a (k + )xk++1 ,
dx =0
d2 y X
= a (k + )(k + 1)xk+2 ,
dx2 =0
Esta igualdad implica que cada coeficiente, para todas las potencias de x, debe anularse. En
particular, el coeficiente de la menor potencia de x, xk2 :
a0 k(k 1) .
k(k 1) = 0 . (15.8)
Por otro lado, de (15.7) se sigue, al anular el coeficiente de xk+j , con j = + 2, la relacion
de recurrencia
2
aj+2 = aj . (15.10)
(k + j + 2)(k + j + 1)
Como en el caso de la ecuacion de Hermite, esta relacion de recurrencia determina o solo los
terminos pares, o solo los impares, de modo que hay dos coeficientes arbitrarios, a0 y a1 .
Ahora bien, volviendo a las races de la ecuacion indicial, si k = 0, entonces el coeficiente
de xk2 en (15.7) se anula, y as a0 6= 0. Al mismo tiempo, el coeficiente de la siguiente
potencia de x, xk1 , es
a1 (k + 1)k = 0 ,
que tambien se satisface si k = 0. Por tanto, en este caso ambos coeficientes son arbitrarios.
Para k = 1, en tanto, el coeficiente de xk2 es cero, pero el de xk1 no es cero a menos que
a1 = 0. Como a1 es arbitrario si k = 0, y necesariamente cero si k = 1, escojamos a1 = 0.
De este modo, todos los coeficientes impares de la serie desaparecen. (En principio podemos
temer perdida de soluciones, pero el objetivo aqu es encontrar al menos una solucion; de
todos modos, los terminos impares reapareceran al considerar la segunda raz de la ecuacion
indicial.)
148 CAPITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
Por supuesto, hemos obtenido dos soluciones linealmente independientes que no son nin-
guna sorpresa, pero el metodo de Frobenius es general y nos permite estudiar cualquier
ecuacion diferencial homogenea lineal de segundo orden. Sin embargo, obtener una solucion
como una expansion en serie no significa que dicha solucion sea aceptable: eso depende de si
converge o no, lo cual no esta asegurado, y requiere un analisis separado.
En general, es posible usar este metodo expandiendo la solucion en torno a un punto x0
arbitrario, en cuyo caso (15.6) es reemplazada por
X
y(x) = a (x x0 )k+ , a0 6= 0 . (15.15)
=0
6
y 00 y =0, (15.16)
x2
6
y 00 3 y =0, (15.17)
x
1 a2
y 00 + y 0 2 y =0, (15.18)
x x
1 a2
y 00 + 2 y 0 2 y =0. (15.19)
x x
En el primer caso, la ecuacion indicial es
k2 k 6 = 0 ,
con soluciones k = 3, k = 2. El metodo de Frobenius no da una relacion de recurrencia, de
modo que las dos soluciones son simplemente x3 y x2 .
El segundo caso difiere del primero solo en una potencia de x en el coeficiente de y, pero
esto es suficiente para cambiar radicalmente la estructura del problema: la ecuacion indicial
resulta ser
6a0 = 0 ,
150 CAPITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
lo que es imposible pues a0 6= 0. As, vemos que en el caso (15.16), con una singularidad
regular en x = 0, el metodo de Frobenius da dos soluciones, pero simplemente no funciona
para (15.17), que tiene una singularidad esencial en x = 0.
Si ahora agregamos un termino con primera derivada en la forma (15.18), se obtiene la
ecuacion indicial
k 2 a2 = 0 ,
sin relacion de recurrencia, de modo que las soluciones son xa y xa .
Finalmente, si modificamos la ecuacion anterior cambiando en 1 la potencia del coeficiente
de y 0 , ejemplo (15.19), se tiene la ecuacion indicial
k=0,
a2 j(j 1)
aj+1 = aj .
j+1
p
A menos que a sea tal que la serie se corte para algun j (es decir, si a = n(n 1), con
n N), se tiene
2
aj+1
lm
= lm j(j + 1) = lm j = ,
j aj j j + 1 j j
Si las dos races de la ecuacion indicial son iguales, se obtiene solo una solucion. (Ej.:
ecuacion de Laguerre.)
15.4.2. Expansi
on en serie
Podemos reescribir la segunda solucion obtenida (15.26) usando expansiones en serie para
y1 (x) y p(x). De acuerdo al teorema de Fuchs, es posible encontrar una solucion por serie
y1 (x), si x = 0 no es singularidad esencial, y es de la forma
X
y1 (x) = x a x , (15.27)
=0
con la mayor de las races de la ecuacion indicial. Por su parte, este teorema exige que, a
lo sumo, p(x) diverja como 1/x, y q(x) como 1/x2 , en x = 0, luego
X
p(x) = pi xi , (15.28)
i=1
X
q(x) = qi x i . (15.29)
i=2
p1 1 = n 2 . (15.33)
para ciertos coeficientes b . As, despreciando factores constantes que pueden ser absorbidos
en W (a), y2 (x) queda de la forma
Z x !
p 2
X
y2 (x) = y1 (x) x2 1 c x2 dx2 ,
=0
de modo que
Z x
y2 (x) = y1 (x) (c0 xn1
2 + c1 xn n+1
2 + c2 x2 + + cn x1
2 + ) dx2 . (15.35)
Se aprecia entonces que la segunda solucion es de la forma y1 (x)s(x), con s(x) una funcion
que tiene dos partes:
Una serie de potencias, partiendo con xn .
154 CAPITULO 15. ECUACIONES DIFERENCIALES CON SINGULARIDADES
versi
on final 3.4-13 enero 2003
En este Captulo volveremos sobre algunos temas del anterior sobre ecuaciones diferen-
ciales con singularidades (Cap. 15), ahora desde un punto de vista mas formal.
Sea D una region en el plano complejo. Sean p(z) y q(z) holomorfas en D. Sea z0 D.
En este caso se puede eliminar el termino en f 0 en (16.1). Para ello consideramos
Rz
21 p(z 0 ) dz 0
f (z) = g(z)e z0
g(z)E . (16.2)
Puesto que
1
E 0 = pE ,
2 0
p2
00 p
E = + E,
2 4
(16.1) se puede reescribir:
p2 g p0 g
00 0 00
f + pf + qf = E g + qg =0,
4 2
es decir
g 00 (z) + A(z)g(z) = 0 , (16.3)
con
p(z)2 p0 (z)
A(z) = q(z) . (16.4)
4 2
155
156 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
| a | < M . (16.8)
Sea
N (k) = max{| c0 | , | c1 | , . . . , | ck | k } , (16.9)
es decir,
N (k)
| c | , = 0, 1, . . . , k .
Usando la relacion de recurrencia (16.7):
k1
1 X
ck+1 = c ak1 ,
k(k + 1) =0
16.1. SOLUCIONES EN PUNTOS REGULARES 157
luego
k1
1 X N (k) M 1 N (k)
| ck+1 | < k1
= Mk
k(k + 1) =0 k(k + 1) k1
1 N (k)2 M
<
k+1 (k + 1)
Luego
M 2
| ck+1 | k+1 < N (k) < N (k) k suficientemente grande.
(k + 1)
Por tanto, desde cierto k0 en adelante,
N (k) = N (k + 1) = N (k + 2) = = N ,
o sea
| c k | k N , k k0 .
Con ello,
k k
X X
k k
X
k |z| X |z|
ck z | ck | | z | = | ck | N .
k=k0 k=k0 k=k0 k=k0
P k
ltima suma converge si | z | < < r, luego
La u k=0 ck z converge si | z | < r. Este resultado
sugiere el siguiente teorema.
Teorema 16.1 (Sin demostraci on) Toda solucion de f 00 + p(z)f 0 + q(z)f = 0 es analtica
por lo menos all donde los coeficientes p(z) y q(z) lo son.
Definicion 16.1 Dos funciones univalentes en D son linealmente dependientes (l.d.) si una
es m
ultiplo de la otra en D, i.e.
1 = 2 .
Se dice que son linealmente independientes (l.i.) en D si en D ninguna es m
ultiplo de la
otra.
Teorema 16.2 (Sin demostraci on) En un dominio D simplemente conexo, donde p(z) y
q(z) son holomorfas, las soluciones forman un espacio de dimension dos.
Definici
on 16.2 El Wronskiano de dos soluciones de la ecuacion (16.1) es
1 (z) 2 (z)
W (z) = W [1 (z), 2 (z)] = 0
. (16.10)
1 (z) 20 (z)
Evaluemos W 0 :
W = 1 20 2 10
W 0 = 1 200 2 100 = 1 (p20 q2 ) 2 (p10 q1 )
= p1 20 + p2 10 = p(1 20 2 10 ) = pW ,
158 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
W0
= (ln W )0 = p , (16.11)
W
luego
Rz
p(z 0 ) dz 0
W (z) = Ce z0
. (16.12)
~ 2
+ V (x) + E = 0 .
2m x2
Proposici
on 16.1 Sean p(z) y q(z) holomorfas en D y univalentes. Entonces
2 2
f 00 f 0 + 2 f = 0 ,
z z
2 2
p(z) = , q(z) = ,
z z2
El Wronskiano:
W = 2z 2 z 2 = z 2 6= 0 z D .
1, 2
D
z0
1, 2
1 = a11 1 + a12 2 ,
2 = a21 1 + a22 2 ,
o bien
1
a11 a12 1
= . (16.15)
2 a21 a22 2
La matriz de la transformacion se denomina matriz de circunvalaci on asociada a la base
{1 , 2 }.
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 circunvalacion sea no nulo:
= , = cte. (16.16)
x
= b1 1 + b2 2 .
Con (16.15):
(b1 1 + b2 2 ) = (b1 a11 + b2 a21 )1 + (b1 a12 + b2 a22 )2 .
Siendo {1 , 2 } l.i.:
1 = 1 1 ,
2 = 2 2 .
1
1 0 1
= . (16.18)
2 0 2 2
Definici
on 16.3
1
k = ln k . (16.19)
2i
Entonces
(z z0 )k [(z z0 )k ] = ek ln(zz0 )
x
En resumen:
k = k k ,
[(z z0 )k ] = k (z z0 )k .
O sea el cuociente
k k
= ,
(z z0 )k (z z0 )k
16.2. SOLUCIONES EN LA VECINDAD DE PUNTOS SINGULARES 161
es decir, queda univalente al dar la vuelta en torno al punto singular z0 , luego este cuociente
admite un desarrollo de Laurent:
k (z) X
= ck (z z0 ) .
(z z0 )k =
En resumen: Si 1 6= 2 , existe una base cuyo desarrollo en la vecindad del punto singular
z0 es:
X
1
1 (z) = (z z0 ) c1 (z z0 ) , (16.20)
=
X
2 (z) = (z z0 )2 c2 (z z0 ) . (16.21)
=
2 2 = a21 1 + a22 2 .
x
Matricialmente:
1
1 0 1
= .
2 a21 a22 2
La ecuacion de autovalores es:
(1 )(a22 ) = 0 .
para que 1 = 2 debe tenerse que 1 = a22 , es decir
2 = a21 1 + 1 2 ,
de donde
2 a21 1 + 1 2 2 a21
= = + . (16.22)
1 1 1 1 1
Afirmamos que
2 a21 1
= ln(z z0 ) (16.23)
1 1 2i
es univalente en torno a z0 . En efecto, usando (16.22):
2 a21 2 a21 1
= [ln(z z0 ) + 2i] = ln(z z0 ) = .
1 1 2i 1 1 2i
o bien
X a21
2 = 1 d (z z0 ) + 1 ln(z z0 ) .
=
2i1
Si a21 6= 0 podemos dividir 2 por a21 , es decir, podemos tomar, sin perdida de generalidad,
a21 = 1.
En resumen: Si 1 = 2 existe una base canonica cuyo desarrollo en la vecindad del
punto singular z0 es:
X
1
1 (z) = (z z0 ) c1 (z z0 ) , (16.24)
=
X 1
2 (z) = (z z0 )1 c2 (z z0 ) + 1 (z) ln(z z0 ) . (16.25)
=
2i1
Teorema 16.3 Si los coeficientes p(z) y q(z) son singulares en z0 , entonces existen dos
soluciones l.i. que en la vecindad de z0 tienen la forma:
a) Si 1 6= 2 (caso comodo):
X
1
1 (z) = (z z0 ) c1 (z z0 ) , (16.26)
=
X
2 (z) = (z z0 )2 c2 (z z0 ) . (16.27)
=
b) Si 1 = 2 (caso incomodo):
X
1 (z) = (z z0 )1 c1 (z z0 ) , (16.28)
=
X 1
2 (z) = (z z0 )1 c2 (z z0 ) + 1 (z) ln(z z0 ) . (16.29)
=
2i1
En estas expresiones,
ln k
k = . (16.30)
2i
16.2. SOLUCIONES EN LA VECINDAD DE PUNTOS SINGULARES 163
Demostraci
on
i) Si p(z) y q(z) son holomorfas en z0 , entonces z0 es punto de holomorfa.
Ya demostrado.
Definici
on 16.5 Un punto es una singularidad Fuchsiana de (16.1) si en ese punto p(z) y q(z)
no son ambas holomorfas y si el desarrollo de Laurent de las soluciones (base canonica) tiene
una cantidad finita de terminos de potencias negativas. Es decir, los cuocientes univalentes
son meromorfos.
Definici
on 16.6 Una funcion se dice meromorfa si es analtica en todo el plano finito excepto
umero finito de polos. Por ejemplo: z/[(z + 1)(z 3)3 ].
en un n
Teorema 16.5 (Fuchs) Para que z0 sea una singularidad Fuchsiana de (16.1) es necesario
y suficiente 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.
Demostraci
on
i) Demostracion de necesidad.
Sea z0 = 0 singularidad Fuchsiana de (16.1). Consideremos la base canonica:
X
1
1 (z) = z c1 z c1,n 6= 0 ,
=n
X
2 (z) = z 2 c2 z + ln(z)1 (z) c2,m 6= 0 ,
=m
164 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
donde
0 caso comodo
= 1
caso incomodo
2i1
Con las definiciones
1 = 1 n ,
2 = 2 m ,
podemos reescribir las series anteriores de modo que ambas comiencen en el ndice cero:
X
1
1 (z) = z c1 z c10 6= 0 ,
=0
X
2 (z) = z 2 c2 z + ln(z)1 (z) c20 6= 0 .
=0
Pero
2 X
= ln z + z 2 1 a z ,
1 =0
0
2 X
= + ( 2 1 + )a z +2 1 1 ,
1 z =0
luego !2
!
X X
W = + ( 2 1 + )a z +2 1 1 z 1 c1 z ,
z =0 =0
De aqu,
0
X
1+ 1 X
W = ( + )b z = z ( + )b z .
=0
z =0
p(z) tiene entonces la forma:
W0 1 b0 + ( + 1)b1 z +
p(z) = = .
W z b0 + b1 z +
16.2. SOLUCIONES EN LA VECINDAD DE PUNTOS SINGULARES 165
P (z) 0 Q(z)
f 00 + f + 2 f =0, (16.31)
z z
con P (z) y Q(z) analticas:
X
P (z) = p z , (16.32)
=0
X
Q(z) = q z . (16.33)
=0
Entonces
0 z X
f = c ( + )z ,
z =0
z X
00
f = 2 c ( + )( + 1)z .
z =0
!
!
X X X
c ( + )( + 1)z + p z c ( + )z
=0 =0 =0
!
!
X X
+ q z c z = 0 . (16.35)
=0 =0
166 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
c0 ( 1) + p0 c0 + q0 c0 = 0 ,
( 1) + p0 + q0 = 0 (16.36)
c1 ( + 1) + p0 c1 ( + 1) + p1 c0 + q0 c1 + q1 c0 = 0 ,
c1 [( + 1) + p0 ( + 1) + q0 ] = c0 (p1 + q1 ) ,
c1 ( + 1) = c0 (p1 + q1 ) .
cn ( + n) =
() = 0 ,
para obtener 1 y 2 .
Se pueden presentar dos casos:
I)
1 2 6 Z . (16.37)
En este caso,
1 + n 6= 2 n Z ,
y por tanto
(i + n) 6= 0 n Z , i = 1, 2 .
Es posible entonces obtener todos los coeficientes de la expansion en serie de la
solucion. Pero ademas, (16.37) asegura que
1 6= 2 ,
de modo que los coeficientes obtenidos por el metodo descrito son distintos en
general, y las dos soluciones resultantes son linealmente independientes.
16.3. SINGULARIDADES EN INFINITO 167
II)
1 2 Z . (16.38)
Supongamos, sin perdida de generalidad, que
Re 1 Re 2 .
(1 + n) 6= 0 n N .
q.e.d.
Se tiene
ds 1
= 2 = s2 ,
dz z
df df ds df
= = s2 ,
dz ds dz ds
d2 f 2
4d f df
2
= s 2
+ 2s3 ,
dz ds ds
de modo que f satisface:
d2 f 2s p(1/s) df q(1/s)
+ + f =0. (16.41)
ds2 s2 ds s4
Este resultado nos conduce a la siguiente definicion:
168 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Definici
on 16.7 Infinito es punto de holomorfa de (16.1) si cero lo es de (16.41).
Proposici
on 16.2 Infinito es punto de holomorfa de (16.1) si:
a) 2s p(1/s) tiene en cero un lugar nulo de multiplicidad doble o mayor (es decir,
2s p(1/s) sn , con n 2, cuando s 0).
Demostraci
on Es inmediata del teorema 16.4 y de la forma de (16.41).
Definici
on 16.8 Infinito es singularidad Fuchsiana de (16.1) si cero lo es de (16.41).
Demostraci
on Inmediata del teorema de Fuchs 16.5 y de la forma de (16.41).
16.4. Ejemplos
zf 00 + (1 z)f 0 + nf = 0 , (16.42)
o, equivalentemente,
1 z 0 nz
f 00 + 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)
de modo que z = no es singularidad Fuchsiana.
Siguiendo las definiciones (16.31), (16.32) y (16.33) para la ecuacion de Laguerre
P (z) = 1 z , Q(z) = nz ,
luego
p0 = 1 , q0 = 0 .
16.4. EJEMPLOS 169
( 1) + = 0
2 = 0
1 = 2 = 0
Reemplazando en (16.42):
!
!
1 X 1 X
0=z 2+ f ( 1)z 2 + (1 z) + f z 1
z =2
z =1
X
X
X
0 = 1 + f ( 1)z 1 + f z 1 f z
=2 =1 =1
f+1 ( 2 + 2 + 1) = f , 1 ,
f
f+1 = .
( + 1)2
Escogiendo
f1 = 1 ,
se obtiene
(n 1)! 1
fn = 2
= .
(n!) n n!
As, las dos soluciones linealmente independientes de la ecuacion de Laguerre para n = 0 son:
1 (z) = L0 (z) = 1 ,
X z
2 (z) = ln(z) + .
n=1
!
170 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
2) La ecuacion
2 00 1 1
z f +z z f0 + f = 0
2 2
tiene una singularidad Fuchsiana en z = 0. La ecuacion indicial es:
1 1
( 1) + = 0 ,
2 2
luego
1
1 = , 2 = 1 y 1 6= 2 .
2
i) Obtengamos la primera solucion l.i., con = 1/2. En este caso
X
X
f= z a z = a z +1/2 .
=0 =0
Proposici on 16.4 Para que la ecuacion (16.1) tenga solo singularidades Fuchsianas es ne-
cesario y suficiente que se cumplan las siguientes condiciones:
n
X Ak
p(z) = , (16.47a)
k=1
z k
n
X Bk Ck
q(z) = + , (16.47b)
k=1
(z k )2 (z k )
n
X
Ck = 0 . (16.47c)
k=1
P (z)
p(z) = , (16.48a)
(z 1 ) (z n )
Q(z)
q(z) = , (16.48b)
(z 1 )2 (z n )2
Pero, de (16.48),
1 n P (1/s) n 1
p =s s P , si s 0 ,
s (1 s1 ) (1 sn ) s
de modo que la mayor potencia de 1/s en P (1/s) debe ser 1/sn1 . Es decir, P (z) debe ser un
polinomio al menos un grado inferior al grado del denominador de p(z). Un analisis similar
conduce a que el grado de Q(z) es al menos dos grados inferior al grado del denominador de
q(z).
172 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
n
X Ak
p(z) = ,
k=1
z k
n
X Bk Ck
q(z) = 2
+ ,
k=1
(z k) (z k)
n
X
Ck = 0 .
k=1
La ultima condicion viene de exigir que el grado de Q(z) sea al menos dos grados inferior al del
denominador de q(z). En efecto,Qal sumar las fracciones parciales, los terminos que contienen
Ck son de la forma Ck (z k ) nj6=k (z j )2 , que tiene grado 1 + 2 (n 1) = 2n 1, que
es solo un grado inferior alPgrado del denominador. La mayor potencia de z aparece en un
termino deQla forma z 2n1 nk=1 Ck . Por otro lado, los terminos que contienen Bk son de la
forma Bk nj6=k (z j )2 , de grado
Pn 2 (n 1) = 2n 2 a lo sumo. Por tanto, el numerador es
de grado 2n 2 o inferior si k=1 Ck = 0.
q.e.d.
p(z) = p0 + p1 z + p2 z 2 +
q(z) = q0 + q1 z + q2 z 2 +
De este modo
1 1 1
p = p0 + p1 + p2 2 +
s s s
1 1 1
q = q 0 + q1 + q 2 2 +
s s s
Pero entonces 2s p(1/s) tiene un cero en s = 0 solo si p(1/s) = 0, y q(1/s) tiene un cero
en s = 0 solo si q(1/s) = 0. Luego, por la Proposicion 16.2, z = puede ser punto de
holomorfa solo si
p(z) = q(z) = 0 .
Sin embargo, esta condicion implica a su vez que infinito es singularidad Fuchsiana (Propo-
sicion 16.3). Esto es una contradiccion, luego no existen ecuaciones de la forma (16.1) sin
singularidades Fuchsianas.
16.5. ECUACIONES CON n 3 SINGULARIDADES FUCHSIANAS 173
b)
1
q = Bs2
s
debe tener al menos un lugar nulo cuadruple en s = 0, luego
B=0.
A 0 B
f 00 + f + 2f = 0 (16.53)
z z
( 1) + A + B = 0 .
f = c1 z 1 (1 + c2 ln z) . (16.55)
0 a ,
b .
2z + A B
f 00 + f0 + f =0. (16.57)
(z a)(z b) (z a)2 (z b)2
1) Caso comodo: 1 2
za za
f = c1 + c2 . (16.58)
zb zb
2) Caso incomodo:
1
za za
f = c1 1 + c2 ln . (16.59)
zb zb
176 CAPITULO 16. ECUACIONES DIFERENCIALES DEL TIPO...
Captulo 17
Funciones hipergeom
etricas
versi
on final 3.3-13 enero 2003
17.1. La ecuaci
on hipergeom
etrica general
Consideremos la ecuacion diferencial
z1 = A , z2 = B , z3 = C ,
177
178 CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
y para que infinito sea punto de holomorfa q(1/s) debe tener a lo menos un lugar nulo
cuadruple en s = 0. Luego a lo sumo Q(z) debe ser un polinomio de grado 2. En efecto, si es
as,
a + bz + cz 2 a + b/s + c/s2
q(z) = = ,
(z A)2 (z B)2 (z C)2 (1/s A)2 (1/s B)2 (1/s C)2
(17.5)
as2 + bs + c 1/s2 4 as2 + bs + c
= = s .
(1 As)2 (1 Bs)2 (1 Cs)2 1/s6 (1 As)2 (1 Bs)2 (1 Cs)2
Esto claramente no impone nuevas restricciones sobre q(z), la cual podemos escribir de forma
general como:
Q(z) 1
q(z) =
(z A)(z B)(z C) (z A)(z B)(z C)
(17.6)
H K L 1
= + + .
zA zB zC (z A)(z B)(z C)
Reemplazando la forma general de p(z) y q(z) dadas en (17.2) y (17.6) en (17.1) obtenemos
la ecuaci
on hipergeometrica general:
00 h k l
+ + + 0
zA zB zC
(17.7)
H K L 1
+ + + =0,
zA zB zC (z A)(z B)(z C)
17.2. Ecuaci
on indicial
Consideremos la singularidad fuchsiana en z = A, su ecuacion indicial corresponde a:
H
( 1) + h + =0. (17.8)
(A B)(A C)
L
+ 0 = 1 l , 0 = .
(C A)(C B)
DIFERENCIAL DE GAUSS
17.3. ECUACION 179
Tenemos + 0 + + 0 + + 0 = 3 k l h = 3 (k + l + h) = 3 2 = 1.
De lo anterior podemos eliminar de la ecuacion hipergeometrica los coeficientes h, k, l,
H, K, L y escribirla en funcion de , 0 , , 0 , y 0
1 0 1 0 1 0
00 0 (C A)(A B)(B C)
+ + +
zA zB zC (z A)(z B)(z C)
0 0 0
(17.9)
+ + =0,
(z A)(B C) (z B)(C A) (z C)(A B)
+ 0 + + 0 + + 0 = 1 .
17.3. Ecuaci
on diferencial de Gauss
Consideremos el caso particular z1 = A = 0, z2 = B = 1 y z3 = C . Elegimos
ademas 0 = 0 = 0, obteniendo
0
00 1 1
+ + 0 + =0. (17.11)
z z1 z(z 1)
Las constantes deben satisfacer + + + 0 = 1, lo cual deja solo tres constantes indepen-
dientes. La ecuacion (17.11) es conocida como ecuaci on diferencial de Gauss y su solucion,
escrita como funcion P de Riemann, es:
0 1
(z) = P z . (17.12)
0
0 0
1=c , =a, 0 = b .
Podemos despejar a partir de la condicion que satisfacen las races de la ecuacion indicial,
= 1 0 = c a b ,
(1 + a + b)(z c) 0 ab
00 + + =0. (17.13)
z(z 1) z(z 1)
180 CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
Reemplazando la serie (17.15) en (17.16) e igualando potencias del mismo orden, obtenemos
una relacion de recurrencia para los coeficientes d ,
( + a)( + b)
d+1 = d , para = 0, 1, 2, . . . . (17.17)
( + c)( + 1)
La exclusion de c = 0, 1, 2, . . ., no es siempre necesaria, ya que es posible que se anule el
numerador.
Definici
on 17.1 Definimos la funcion hipergeometrica 2 F1 (a, b, c ; z), por la siguiente serie:
ab a(a + 1)b(b + 1) 2
2 F1 (a, b, c ; z) = 1 + z+ z + . (17.18)
c c(c + 1)2!
La serie geometrica es un caso particular de la anterior
X
2 F1 (1, b, b ; z) = z .
=0
(z) = z 1c (z) , c 6= 1 ,
0 (z) = (1 c)z c (z) + z 1c 0 (z) ,
00 (z) = (1 c)cz c1 (z) + 2(1 c)z c 0 (z) + z 1c 00 (z) .
Reemplazando en (17.16)
Sustituyendo
c2c , aac+1 , bbc+1 ,
se obtiene la ecuacion hipergeometrica de Gauss, por lo tanto la solucion para (z) en (17.19)
es:
(z) = 2 F1 (a c + 1, b c + 1, 2 c ; z) , con c 6= 2 ,
luego la otra solucion de (17.13) es
(z) = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) . (17.20)
bajo la condicion de que c 6 Z tiene como base de soluciones con centro en cero:
1 = 2 F1 (a, b, c ; z) , (17.21a)
2 = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) . (17.21b)
X z
ab a(a + 1)b(b + 1) 2
2 F1 (a, b, c ; z) = 1 + z+ z + = f , (17.18)
c c(c + 1)2! =0
!
pero
(c b)(b + )
= B(c b, b + ) ,
(c + )
con Z 1
(m)(n)
B(m, n) = tm1 (1 t)n1 dt = , para m > 0 y n > 0 .
0 (m + n)
Reescribimos la serie, usando la expresion integral de la funcion beta,
Z 1
(c) b1 cb1
X (a + ) t z
2 F1 (a, b, c ; z) = t (1 t) dt ,
(b)(c b) 0 =0
(a) !
Ahora como
a
X (a + )
(1 tz) = t z .
=0
(a)!
La forma integral de la funcion hipergeometrica es:
Z 1
1
2 F1 (a, b, c ; z) = tb1 (1 t)cb1 (1 tz)a dt , (17.22)
B(b, c b) 0
con Re[c] > Re[b] > 0, | z | < 1 y donde t es una variable compleja.
Proposiciones
1 z
a) 2 F1 (a, b, c ; z) = 2 F1 a, c b, c ; .
(1 z)a z1
1 z
b) 2 F1 (a, b, c ; z) = 2 F1 c a, b, c ; .
(1 z)b z1
(c)(c a b)
c) 2 F1 (a, b, c ; 1) = .
(c a)(c b)
d) 2 F1 (a, b, c ; z) = (1 z)cab 2 F1 (c a, c b, c ; z).
Demostraciones
a)
Z 1 a
1 z (c) cb1 b1 tz 1
a 2 F1 a, c b, c ; = t (1t) 1 dt ,
(1 z) z1 (b)(c b) 0 z1 (1 z)a
haciendo el cambio de variable 1 t = t0
Z 1
1 z (c) b1
a 2 F1 a, c b, c ; = t0 (1 t0 )cb1
(1 z) z1 (b)(c b) 0
a
(1 t0 )z
(1 z) 1 dt0 ,
z1
HIPERGEOMETRICA
17.5. ECUACION CONFLUENTE 183
Z 1
1 z (c)
a 2 F1 a, c b, c ; = tb1 (1 t)cb1 (1 tz)a dt ,
(1 z) z1 (b)(c b) 0
= 2 F1 (a, b, c ; z) .
2 F1 (a, b, c ; z) = 2 F1 (b, a, c ; z) .
c) y d) Tarea.
z2 z3 z4
ln(1 + z) = z + + , para | z | < 1 ,
2 3 4
11 1212 2 123123 3
ln(1 + z) = z 1 + (z) + (z) + (z) + ,
2 1! 2 3 2! 2 3 4 3!
z z
ln(1 + z) = z 2 F1 (1, 1, 2 ; z) = 2 F1 1, 1, 2 ; .
1+z 1+z
17.5. Ecuaci
on hipergeom
etrica confluente
Consideremos la ecuacion diferencial de Gauss con singularidades fuchsianas en z = 0,
z=1yz
z(z 1)00 + (1 + a + b)(z c)0 + ab = 0 .
u
Al reemplazar z = nos queda
b
u u d2 u h u i d u u
1 + (a + b + 1) c + ab =0. (17.23)
b b dz 2 b b dz b b
u
Definimos (u) = y evaluamos las derivadas
b
d d u 1 1 d u d2 1 d2 u
= = , = .
du dz b b b dz b du2 b2 dz 2 b
184 CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
Proposiciones
a) ez = 1 F1 (a, a ; z).
1 3
b) 2
erf(z) = z 1 F1 ; z 2 .
,
2 2
1
R1
c) 1 F1 (a, c ; z) = B(a,ca) 0
(1 t)ca1 ta1 ezt dt.
d) 1 F1 (a, c ; z) = ez 1 F1 (c a, c ; z).
Demostraciones
a) Directa a partir de la definicion dada en (17.26).
b)
z z
t2 t4
Z Z
t2
erf(z) = e dt = 1 + dt ,
2 0 0 1! 2!
3 5
z z z7
=z + + ,
3 1! 5 2! 7 3!
1/2 z 2 1/2 3/2 z 4
=z 1 + + ,
3/2 1! 3/2 5/2 2!
1 3 2
= z 1 F1 , ; z .
2 2
HIPERGEOMETRICA
17.5. ECUACION CONFLUENTE 185
c) y d) Tarea.
186 CAPITULO 17. FUNCIONES HIPERGEOMETRICAS
Captulo 18
Polinomios de Legendre
versi
on final 3.6-13 enero 2003
18.1. Funci
on generatriz
En diversos problemas fsicos (gravitacion, electrostatica, etc.) nos encontramos con fuer-
zas que dependen del inverso de la distancia entre dos cuerpos. Los polinomios de Legendre
aparecen naturalmente en el problema geometrico de determinar esta distancia inversa, lo
cual los vincula con numerosas situaciones de interes fsico.
Consideremos dos radios r0 y r que unen un punto O con dos puntos, A y B, respectiva-
mente:
A
r0
O B
r
Definamos
x = cos , 1 x 1 .
Si r > r0 y s = r0 /r < 1, conviene escribir
1 1 1
= .
d r 1 + s2 2sx
187
188 CAPITULO 18. POLINOMIOS DE LEGENDRE
Definici
on 18.1
1 X
(x, s) = = Pn (x)sn (18.1)
2
1 + s 2xs n=0
P0 (x) = 1 , (18.2a)
P1 (x) = x , (18.2b)
1
P2 (x) = (3x2 1) , (18.2c)
2
1
P3 (x) = (5x3 3x) . . . (18.2d)
2
Considerando el caso particular x = 1 en (18.1):
1 1 X
(1, s) = = = 1 + s + s2 + s3 + = Pn (1)sn .
2
1 + s 2s 1 s n=0
Luego
Pn (1) = 1 n N0 . (18.3)
Analogamente, tomando x = 1:
1 1 X
(1, s) = = = 1 s + s2 s3 + = Pn (1)sn .
2
1 + s + 2s 1 + s n=0
Luego
Pn (1) = (1)n n N0 . (18.4)
Tambien es inmediato evaluar Pn (0):
1 1 2 3 4 (2 1)!! 2
X X
(0, s) = = 1 s + s + = 1 + (1) s = Pn (0)sn ,
1+s 2 2 8 =1
(2)!! n=0
18.2. RELACIONES DE RECURRENCIA 189
luego
Pn (0) = 0 si n es impar,
(2 1)!!
P2 (0) = (1) si 1,
(2)!!
P0 (0) = 1 .
es decir
(1 + s2 2xs) (x s) = 0 .
s
Introduciendo la expansion (18.1) e igualando coeficientes de sn , se obtiene la relacion de
recurrencia
P1 xP0 = 0 . (18.5b)
2m 1
am,m = am1,m1 , m1. (18.7)
m
Esta es una relacion de recurrencia entre los coeficientes supremos de los polinomios de
Legendre. Puesto que a00 = 1 [relaciones (18.2)], se sigue que
13 135
a11 = 1 , a22 = , a33 = ...
12 123
y en general
(2n 1)!! (2n)!
ann = = n . (18.8)
n! 2 (n!)2
190 CAPITULO 18. POLINOMIOS DE LEGENDRE
donde
1/2 (1/2)!
= 1 = 1 .
k k!( 2 k)! k!( 2 k)!
Por su parte,
k
2 k
X k
(s 2sx) = s2 (2sx)k ,
=0
de modo que
X
k
X 1/2 k
(x, s) = (2x)k sk+ .
k=0 =0
k
Sea n = k + . Entonces
X 2k
X 1/2 k
(x, s) = (2x)2kn sn .
k=0 n=k
k nk
Deseamos intercambiar el orden de las sumas. Para ello observemos la siguiente figura:
n
k=n
8
7
6
5
4
3
2
1
0
k
0 1 2 3 4 5 6 7 8
18.4. FORMULA DE RODRIGUES 191
Efectuar la doble suma equivale a sumar sobre los pares ordenados (k, n) indicados con
puntos en la figura. El orden en que se realizan las sumas corresponde a desplazarnos sobre
el eje horizontal, escoger un valor de k, y luego desplazarnos sobre el eje vertical, recorriendo
los valores de n entre n = k y n = 2k. Equivalentemente, podemos desplazarnos primero
sobre el eje vertical, escoger un valor de n, y luego recorrer los puntos horizontalmente entre
los lmites k = [(n + 1)/2] y k = n. As, la doble suma se puede escribir:
n
X X 1/2 k
(x, s) = (2x)2kn sn ,
n=0 k=[ n+1 ]
k n k
2
donde
n+1 n
si n es par,
2 2
n+1 n+1
si n es impar.
2 2
o bien
[ n2 ]
X (1) (2n 2)!
Pn (x) = xn2 (18.12)
=0
2n (n )!(n 2)!!
18.4. F
ormula de Rodrigues
Puesto que
dn 2(n) (2n 2)! n2
x = x ,
dxn (n 2)!
192 CAPITULO 18. POLINOMIOS DE LEGENDRE
[ n2 ]
1 X 1 dn 2(n)
Pn (x) = n (1) x
2 =0 !(n )! dxn
[ n2 ]
1 dn X n!
= n n
(1) x2(n)
2 n! dx =0 !(n !)
1 dn 2
= (x 1)n ,
2n n! dxn
obteniendose la formula de Rodrigues:
1 dn 2
Pn (x) = (x 1)n (18.13)
2n n! dxn
18.5. Ecuaci
on diferencial de Legendre
Nos interesa ahora determinar la ecuacion diferencial de la cual los polinomios de Legendre
son solucion. Sea
u(x) = (x2 1)n .
Entonces
Demostraci on Sea u(x) = (x2 1)n . Entonces u(x) tiene lugares nulos de multiplicidad n
en x = 1. Como u(1) = u(1) = 0, por el teorema del valor medio u0 (x0 ) = 0 para alg un
x0 (1, 1). Pero u0 (1) = u0 (1) = 0, luego tambien es cierto que u00 (x) se anula dos veces
en (1, 1), una vez en (1, x0 ) y otra vez en (x0 , 1). Procediendo sucesivamente, se encuentra
que u(n) (x) se anula n veces en (1, 1).
Estos ceros son necesariamente simples, dada la condicion de polinomios ortogonales de
los polinomios de Legendre (seccion 18.7 y teorema 11.2).
q.e.d.
18.7. Relaci
on de ortogonalidad
Supongamos 0 m < n, y observemos que, por la formula de Rodrigues (18.13):
Z 1 Z 1
n m
2 n! t Pn (t) dt = tm u(n) (t) dt ,
1 1
El termino de borde es cero pues u(m) (1) = 0 si m < n. Analogamente, integrando por
partes m veces:
Z 1 Z 1
1
2n n! tm Pn (t) dt = (1)m m! u(nm) (t) dt = (1)m m! u(nm1) (t) = 0 .
1 1 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:
Z 1 Z 1
n 2
(2 n!) Pn2 (t) dt = u(n) (t)u(n) (t) dt .
1 1
d2n 2
Usando que [(t 1)n ] = (2n)!,
dt2n
Z 1 Z 1
n 2 2 n
(2 n!) Pn (t) dt = (1) (2n)! (1)n (1 t2 )n dt
1 1
Z 1
= (2n)! (1 t)n (1 + t)n dt .
1
(u2 1)n
I
(n) n! 1
Pn (z) = f (z) = du ,
2i 2n n! (u z)n+1
(u2 1)n
I
1 1
Pn (z) = n du (18.16)
2 2i (u z)n+1
u = z + ei , 0 < 2 ,
du = iei d = i(u z)d ,
luego
u2 1 z 2 + 2zei + 2 e2i 1
=
uz ei
1 2
(z 1)ei + 2z + 2 ei ,
=
de modo que
Z 2
1 1 1 2 i 2 i n
Pn (z) = n (z 1)e + 2z + e i d
2 2i 0 n
Z 2
1 1 1 n
(z 1)ei + 2z + 2 ei d .
2
= n n
2 2 0
6 1 podemos tomar = z 2 1, con lo cual la relacion anterior queda:
Si z =
Z 2
1 1 1 n
(e + ei ) + 2z d
2 i
Pn (z) = n n
2 2 0
Z 2 2 i n
1 (e + ei ) 2z
= + d
2 0 2 2
Z 2
1
= [ cos + z]n d .
2 0
1
Z 2 h in
Pn (z) = z+ z 2 1 cos d (18.17)
2 0
Pn (1) = (1)n .
196 CAPITULO 18. POLINOMIOS DE LEGENDRE
luego
2 n/2
2
x + i 1 x cos 1.
As,
1
Z 2 n 1
Z 2
| Pn (x) | 2
x + i 1 x cos d d = 1 .
2 0 2 0
q.e.d.
Poniendo z = cos en (18.17), z 2 1 = i sen , se obtiene la representacion adicional:
Z 2
1
Pn (cos ) = (cos + i sen cos )n d ,
2 0
Z
1
Pn (cos ) = (cos + i sen cos )n d (18.18)
0
entonces
Z 1 Z 1
X X 2 2an
f (x)Pn (x) dx = a P (x)Pn (x) dx = a n = .
1 =0 1 =0
2n + 1 2n + 1
Entonces los coeficientes de Fourier de f (x) respecto a los polinomios de Legendre estan
dados por: Z 1
1
an = n + f (x)Pn (x) dx . (18.19)
2 1
18.9. SERIE DE LEGENDRE 197
A la inversa: Sea f (x) una funcion dada, acotada y seccionalmente continua en [1, 1].
Entonces se pueden calcular los coeficientes de Fourier a respecto a P y construir la serie
X
a P (x) .
=0
As, Z 1 Z 1
1 0
| an | | f (x) | (| Pn+1 (x) | + | Pn1 (x) |) dx | f 0 (x) | dx 2M 0 ,
2 1 1
donde
M 0 = max | f 0 (x) | .
x[1,1]
Ahora nos preguntamos: Dada una funcion f , calculamos los coeficientes an y sabemos
que
P
n=0 an Pn (x) converge uniformemente. Representa esta serie de Legendre la funci
on
f (x)? Para responder, consideremos la diferencia entre la serie y la funcion f (x):
X
g(x) = f (x) a P (x) .
=0
Afirmamos que
g(x) 0 .
y=1
g q
-1 1
Luego Z 1 Z
k
g q g qk > 0 .
1 k1
Pero g(x) es ortogonal a todos los polinomios Pn (x), y por tanto a todo polinomio, luego
Z 1
g qk = 0 ,
1
Luego,
X
f (x) = a P (x) .
=0
18.10. FUNCIONES ASOCIADAS DE LEGENDRE 199
donde
dm
u(x) Pn (x) .
dxm
Reemplazando
dm
(x) = (1 x2 )m/2 u(x) = (1 x2 )m/2 Pn (x) ,
dxm
resolviendo para u y diferenciando,
0 0 mx
u = + 2
(1 x2 )m/2 ,
1x
2mx 0 m(m + 2)x2
00 00 m
u = + + + (1 x2 )m/2 .
1 x2 1 x2 (1 x2 )2
m2
2 00 0
(1 x ) 2x + n(n + 1) =0. (18.22)
1 x2
Fourth Edition de G.B. Arfken y H.J. Weber. A pesar de que el factor de fase se introduce
en distintos puntos de las definiciones los armonicos esfericos resultantes son iguales.
Algunos ejemplos de funciones asociadas de Legendre
P11 (x) = (1 x2 )1/2 = sen ,
P21 (x) = 3x (1 x2 )1/2 = 3 cos sen ,
P22 (x) = 3 (1 x2 ) = 3 sen2 ,
3 3
P31 (x) = (5x2 1) (1 x2 )1/2 = (5 cos2 1) sen ,
2 2
P3 (x) = 15x (1 x ) = 15 cos sen2 ,
2 2
m2
d 2 dy
(1 x ) y + n(n + 1)y = 0 . (18.38)
dx dx 1 x2
La condicion de borde
y(1) finito (18.39)
asegura que las soluciones sean las funciones asociadas de Legendre [ver (18.34), (18.3) y
(18.4)]. Claramente, esto corresponde a un problema de autovalores de un operador diferencial
autoadjunto de la forma general (14.7), con A(x) = (1x2 ), B(x) = m2 /(1x2 ), y donde el
problema de autovalores esta caracterizado por una funcion de peso w(x) = 1, y autovalores
= n(n + 1) (ver tabla en Seccion 14.4).
La relevancia fsica de este problema se aprecia al considerar ecuaciones que contengan el
laplaciano:
1 d2 ()
= m2 , (18.42)
() d2
con soluciones
() = eim , eim .
(18.43)
Las cuales satisfacen la condicion de ortogonalidad
Z 2 Z 2
m1 ()m2 () d = eim1 eim2 d = 2m1 m2 . (18.44)
0 0
En la mayora de los problemas fsicos requerimos que m sea un entero para que (), sea
una funcion monovaluada del angulo azimutal. Dada la relacion (18.44)
1
m () = eim , (18.45)
2
es un conjunto de funciones ortonormales con respecto a la integracion sobre el angulo azi-
mutal . Separando la dependencia azimutal, la dependencia en el angulo polar conduce a
una ecuacion asociada de Legendre
m2
1 d d()
sen + () = 0 . (18.46)
sen d d sen2
Nos aseguramos de que las soluciones no diverjan en cos = 1 poniendo = n(n + 1),
pues en ese caso esta ecuacion tiene por solucion las funciones asociadas de Legendre () =
Pnm (cos ). Por tanto, cualquier problema laplaciano con simetra esferica corresponde a un
problema de autovalores de un operador autoadjunto (problema de Sturm-Liouville). Las
soluciones de este problema seran ortogonales para distintos autovalores, y se podra construir
una base del espacio de soluciones con ellas. En otras palabras, la parte angular de cualquier
solucion de la ecuacion diferencial (18.40) se podra escribir como una combinacion lineal de
los Pnm (cos ).
Puesto que los polinomios de Legendre se reobtienen con m = 0, se sigue que gran parte
de la discusion en las secciones 18.7 y 18.9 es solo una manifestacion de estas conclusiones
generales.
18.12. ARMONICOS
ESFERICOS 203
18.12. Arm
onicos esf
ericos
En la seccion anterior mostramos que la parte angular de un problema laplaciano con
simetra esferica consta de dos partes:
con Anm una cierta constante de normalizacion, m entero, positivo o negativo, si la funcion
debe ser mono-valuada en la variable , y n entero para que las soluciones no diverjan en
cos = 1.
La definicion (18.24) en principio solo contempla m > 0. Para incluir valores negativos
de m usamos la formula de Rodrigues en la definicion de Pnm (cos ):
m+n
1 2 m/2 d
Pnm (x) = n
(1 x ) m+n
(x2 1)n , n m n . (18.47)
2 n! dx
s
(2n + 1) (n m)! m
Pnm (cos ) = P (cos ) , n m n . (18.48)
2 (n + m)! n
Ahora bien, la funcion m () = eim / 2 es ortonormal con respecto al angulo azimutal ,
y la funcion Pnm (cos ) es ortonormal con respecto al angulo polar . Consideramos entonces
el producto de ambas y definimos los arm onicos esfericos:
s
(2n + 1) (n m)! m
Ynm (, ) = Ynm (, ) (1)m P (cos ) eim , (18.49)
4 (n + m)! n
que son funciones en los dos angulos, ortonormales sobre la superficie esferica. La integral
completa de ortogonalidad es
Z 2 Z
Ynm1 1 (, )Ynm2 2 (, ) sen dd = n1 n2 m1 m2 , (18.50)
=0 =0
o bien,
Z
Ynm1 1 ()Ynm2 2 ()d = n1 n2 m1 m2 , (18.51)
4
o equivalentemente
n
4 X
Pn (cos ) = Y m (1 , 1 )Ynm (2 , 2 ) . (18.57)
2n + 1 m=n n
1 0 1 0 1 0
00
W + + + W0
zA zB zC
0 0
0
(A B)(B C)(C A)
+ + W =0,
(z A)(B C) (z B)(C A) (z C)(A B) (z A)(z B)(z C)
con soluciones
A B C
P z .
0 0 0
Luego
Las funciones Qn (z) son la segunda soluci on de la ecuaci on de Legendre. (18.62) se puede
reescribir:
1 1
Z
1
Qn (z) = Pn (z)I(z) Q (z, t) dt , (18.64a)
2 2 1 n
con
Z 1
dt
I(z) = , (18.64b)
1 z t
Pn (z) Pn (t)
Qn (z, t) = . (18.64c)
zt
Se tiene t=1
z + 1
I(z) = ln(z t) = ln(z + 1) ln(z 1) = ln ,
t=1 z1
que es univaluado en todo el plano complejo, salvo en la recta 1 z 1, luego
z+1
I(z) = ln , salvo en 1 z 1. (18.65)
z1
El numerador de Qn es un polinomio de grado n, y su denominador es un polinomio de
grado 1. Se puede mostrar que Qn es un polinomio de grado n 1 en t y z. As, la segunda
integral en (18.64a) es un polinomio en z de grado n 1. Finalmente,
1 z+1
Qn (z) = Pn (z) ln qn (z) , (18.66)
2 z1
con qn (z) un polinomio de grado n1 con coeficientes reales, que tiene el termino logartmico
que esperabamos.
Para 1 < < 1, (18.66) nos permite afirmar que
Qn ( + 0i) = Qn ( 0i) iPn () . (18.67)
Basta considerar el circuito en torno al polo en z = 1:
-1 +1
q.e.d.
208 CAPITULO 18. POLINOMIOS DE LEGENDRE
Expansi
on en serie
Podemos utilizar (18.62) para encontrar una expansion en serie para Qn . En efecto,
Z 1
1 1
Qn (z) = Pn (t) dt .
2z 1 1 zt
Si | z | > 1,
Z
1 X 1 t
Qn (z) = Pn (t) dt .
2z =n 1 z
Observemos que todos los terminos con < n en la suma son cero, debido a la ortogonalidad
de Pn (t) y t . Obtenemos as
bn+1 bn+2
Qn (z) = + + ,
z n+1 z n+2
con
Z 1
1
b = t1 Pn (t) dt .
2 1
En particular, Z 1
1
bn+1 = tn Pn (t) dt .
2 1
Como
1 3 (2n 1) n
Pn (t) = t + ,
1 2 n
se tiene, dada la ortogonalidad de Pn (t) con polinomios de grado menor que n,
1
1 2 n 1 2 n
Z
1 1 2
bn+1 = Pn (t)Pn (t) dt = .
2 1 3 (2n 1) 1 2 1 3 (2n 1) 2n + 1
Es decir,
n!
bn+1 = .
(2n + 1)!!
DE LA ECUACION
18.13. SEGUNDA SOLUCION DE LEGENDRE 209
Relaci
on de recurrencia
Obtengamos una relacion de recurrencia para Qn (z). En general,
lm z n Qn (z) = 0 , n = 0, 1. . .
| z |
Sea n 1. Entonces
0 = lm (polinomio) ,
| z |
luego
1 X
= (2n + 1)Pn (t)Qn (z) . (18.71)
z t n=0
Im(t)
z
-1 1 Re(t)
210 CAPITULO 18. POLINOMIOS DE LEGENDRE
Captulo 19
La ecuaci
on diferencial de Bessel
versi
on final 3.2-13 enero 2003
19.1. La ecuaci
on diferencial de Bessel
Consideremos en la ecuacion hipergeometrica general el caso A = 0, C = , + 0 = 0,
+ 0 = 1 y + 0 = 0, lo cual esta de acuerdo con + 0 + + 0 + + 0 = 1
B 0 B 0 0
00 1 0
+ + 2 + + =0,
z z (z B) z(z B)2 z(z B)
2
1 0
00
+ + 1 2 =0 . (19.1)
z z
la cual es conocida como la ecuacion diferencial de Bessel. Esta ecuacion tiene una singula-
ridad fuchsiana en z = 0 cuando Re() > 0. Planteamos como solucion
X
X
(z) = z a z = a z + .
=0 =0
z 2 00 + z0 2 = z 2 ,
tenemos
X
X
2 +
a2 z + ,
a ( + )( + 1) + a ( + ) a z =
=0 =2
obteniendo
a ( + )2 2 = a2 ,
= 2, 3, . . . ,
211
212 CAPITULO 19. LA ECUACION
DIFERENCIAL DE BESSEL
(2n + 1)!
Y como (2n + 1)!! = , de modo que
2n n!
! ( + 3/2) = (2 + 1)! /22+1 ,
se tiene finalmente r
z 1 X (1) 22+1 z 2+1
J1/2 (z) = ,
2 z =0 (2 + 1)! 22
es decir r
2 X (1) 2+1
J1/2 (z) = z . (19.5)
z =0 (2 + 1)!
o bien r
2 cos z
J1/2 (z) = . (19.8)
z
Sin demostracion: J para ndices = (2n + 1)/2 se expresa por formulas semejantes.
1
0.8 J0(z) funcin par
0.6
J1(z) funcin impar
0.4
0.2
0
0.2
0.4
0.6
0 1 2 3 4 5 6 7 8
z
Para ndice entero positivo, (19.3) da
z n X (1) z 2
Jn (z) = . (19.10)
2 =0 ! ( + n)! 2
Para ndice entero pero negativo:
z n X (1) z 2
Jn (z) = .
2 =n
! ( n + 1) 2
Consideraremos nulos los coeficientes con < n en la funcion gamma (la funcion gamma
tiene polos en = 0, 1, 2, . . . , luego 1/() = 0). Sea = n. Luego
z n X (1) (1)n z 2
Jn (z) = ,
2 =0 ( + n)!! 2
quedando
1/4 2
00
u (x) + 1 u(x) = 0 .
x2
Para x muy grande,
q.e.d.
Por otra parte, cerca de cero la funcion de Bessel de ndice nulo se puede aproximar por
2
z2 z4 z2
J0 (z) 1 + = 1 . (19.12)
4 64 8
19.5. Funci
on generatriz
Buscamos una funcion generatriz de las funciones de Bessel de ndice entero,
X
(z, s) = sn Jn (z) . (19.13)
n=
Usando (19.10) (que es valida tambien si n < 0, recordando que 1/h! 0 si h < 0, h Z),
X X (1)l z 2l+n
(z, s) = sn
n= l=0
l!(l + n)! 2
X
X (1)l z 2l zs n
=
n= l=0
l!(l + n)! 2 2
X
X (1)l z l 1 zs l+n
=
n= l=0
l! 2s (l + n)! 2
pero los factores de la forma 1/h! reducen la suma sobre h a ir entre 0 e . As,
" #
X (1)l z l X 1 zs h z zs
(z, s) = = e 2s e 2 .
l=0
l! 2s h=0
h! 2
19.6. F
ormulas de adici
on
Consideremos la funcion generatriz (19.14) con argumento z = (z1 + z2 )/2
z1 + z2 1 z1 1 z2 1
exp s = exp s exp s ,
2 s 2 s 2 s
X X
X
n
s Jn (z1 + z2 ) = s J (z1 ) s J (z2 ) .
n= = =
obteniendo
X
1= J02 (z) +2 J2 (z) . (19.16)
=1
En el caso que la variable z R y considerando que | J0 (z) | 1, podemos acotar los J por
1
| J (z) | , si = 1, 2, 3, . . . (19.17)
2
luego
X
exp(iz sen ) = ein Jn (z) . (19.18)
n=
Sea = 0. Entonces
X
1 = J0 (x) + 2 J2m (x) . (19.20)
m=1
En particular,
"Z #
Z /2 Z
1 1
J0 (x) = cos(x sen ) d = cos(x sen ) d + cos(x sen ) d .
0 0 /2
d
Hagamos el cambio de variable en (19.23) = sen . Entonces d = y la integral
1 2
nos queda Z 1
cos(x)
J0 (x) = d .
1 1 2
Definamos una funcion p() de la forma
0 si | | 1,
p() = 1
si | | < 1,
1 2
podemos reescribir J0 como
Z
J0 (x) = cos(x)p() d .
donde
1
0 si | s | 2
,
F (s) = 2 1
si | s | < 2 .
1 4s 2
De lo anterior se desprende, puesto que J0 (x) es una funcion par, que F (s) es precisamente
la transformada de Fourier de J0 (x):
F{J0 , s} = F (s) .
Analogamente, tomando transformada de Fourier a la relacion (19.9) obtenemos
F{J1 , s} = F{J00 , s} = i2sF{J0 , s} = 2isF (s) .
19.8. RELACIONES DE RECURRENCIA 219
Comparando coeficientes,
2n
Jn (z) = Jn1 (z) + Jn+1 (z) . (19.24)
z
Derivamos (19.14) respecto a z y obtenemos
X
(z, s) 1 1
= s sn Jn (z) ,
z 2 s n=
X 1 X
sn Jn0 (z) = [Jn1 Jn+1 ] sn .
n=
2 n=
Comparando coeficientes
2Jn0 (z) = Jn1 (z) Jn+1 (z) . (19.25)
Sumando (19.24) y (19.25) tenemos
n
Jn (z) + Jn0 (z) = Jn1 (z) , (19.26)
z
es decir
z n Jn1 (z) = [z n Jn (z)]0 . (19.27)
Por otro lado, restando (19.24) y (19.25) obtenemos
n
Jn0 (z) Jn (z) = Jn+1 (z) , (19.28)
z
es decir
0
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
220 CAPITULO 19. LA ECUACION
DIFERENCIAL DE BESSEL
z X
= (2 + 1)J2+1 (z) ,
2 =0
y por induccion completa:
z n
X (2 + n)(n + + 1)!
= J2+n (z) . (19.30)
2 =0
!
2
1 0
J00 (hx)
+ J (hx) + h2 J (hx) = 0 ,
hx x2
2
00 1 0
J (kx) + J (kx) + k 2 J (kx) = 0 .
kx x2
Multiplicando la primera ecuacion por h2 y la segunda por k 2 y usando las definiciones dadas
en (19.31) obtenemos
2
00 1 0 2
f (x) + f (x) + h 2 f (x) = 0 ,
x x
(19.32)
2
00 1 0 2
g (x) + g (x) + k 2 g(x) = 0 .
x x
19.10. PROBLEMA DE STURM-LIOUVILLE ASOCIADO 221
Integrando en el intervalo a x b
Z b b
1 0 0
tf (t)g(t) dt = 2 x(f (x)g(x) f (x)g (x)) .
a k h2 a
De cualquier modo,
Z b
xJ (hx)J (kx) dx
a
Ortogonalidad
Por ejemplo, para m 6= n, se tiene ortogonalidad sobre el intervalo [0, a] con
Z a
J m J n d = 0 , (19.33)
0 a a
o bien
2
2
d d m
f + f () = 0 , (19.35)
d d a2 2
que es un problema de autovalores de un operador autoadjunto. En efecto, tomando el ope-
rador autoadjunto
2
d d
L= ,
d d
y la funcion de peso
w() = > 0 en [0, ] ,
(19.35) corresponde al problema de autovalores de L, con autovalores
2
m
m = .
a2
As, las funciones J (m ) asociadas a cada autovalor, para m = 0, 1, 2,. . . ( esta fijo) seran
un set completo en el cual se podra expandir cualquier funcion en [0, ].
A que problemas fsicos esta asociado este problema de Sturm-Liouville? Consideremos
nuevamente el operador laplaciano, como en (18.40), pero ahora en coordenadas cilndricas:
1 d2 d2
2 1 d d
(~r ) = + 2 2 + 2 (, , z) . (19.36)
d d d dz
versi
on final 3.3-13 enero 2003
Luego
Z z
1 0 1 1
f (z) = J00 (z) u(t) dt + J0 (z)u(z) , (20.3)
z z z
Z z
00 00
f (z) = J0 (z) u(t) dt + 2J00 (z)u(z) + J0 (z)u0 (z) . (20.4)
223
224 CAPITULO 20. DIVERSOS TIPOS DE FUNCIONES CILINDRICAS
esto es,
2J00 (z) 1
0
u (z) = + u(z) ,
J0 (z) z
Z z 0
2J0 (t) 1
u(z) = C exp + dt ,
J0 (t) t
u(z) = exp ln J02 (z) ln z ,
es decir,
!
1 1 X
u(z) = = 1+ a2 z 2 . (20.5)
zJ02 (z) z =1
c22 (1) 1
c2 = , 1. (20.7)
2 (!)2
Tomamos c0 = 0, y notamos que solo nos interesan los ndices pares. Entonces
c2 = 1 ,
1 1 1 1
c4 = = 1+ .
4 8 4 2
Afirmaci
on
(1)
1 1 1
c2 = 1 + + + + . (20.8)
(!)2 2 3
DE LA ECUACION
20.1. SEGUNDA SOLUCION DE BESSEL 225
q.e.d.
Con este resultado, podemos escribir una solucion linealmente independiente de J0 (x) en
la forma:
1 z 2 1 1 z 4 1 1 1 z 6
N0 (z) = J0 (z) ln(z) + 1+ + 1+ +
(1!)2 2 (2!)2 2 2 (3!)2 2 3 2
(20.9)
Graficamente:
N0
Analogamente, asociadas a las funciones de ndices superiores Jn (z), sera posible encontrar
la segunda solucion, Nn (z).
En general, Nn (z) se puede encontrar notando que la funcion
1
N (z) = [J (z) cos J (z)] , (20.10)
sen
es linealmente independiente a J (z) si 6 Z , y por tanto puede ser usada como segunda
solucion. Las N (z) se conocen como funciones de Bessel de segunda especie, o funciones de
Neumann. Lo interesante es que, al contrario de J (z), N (z) contin ua siendo linealmente
independiente cuando es entero. Para mostrarlo (no lo haremos aqu), se puede considerar
= n + , y tomar el lmite 0. Resulta finalmente
2 z 1 X (1)l [(l + 1) + (n + l + 1)] z 2l+n
Nn (z) = ln Jn (z)
2 l=0 l!(l + n)! 2
n1
1 X (n l 1)! z 2ln
, (20.11)
l=0 l! 2
donde
1 d()
() = . (20.12)
() d
226 CAPITULO 20. DIVERSOS TIPOS DE FUNCIONES CILINDRICAS
Sea
g(s) = eis . (20.14)
Entonces
g 00 + 2 g = 0 . (20.15)
Sea ademas
f (z, s) = eiz sen s , (20.16)
de modo que
2f f 2f
z2 + z + z 2
f = . (20.17)
z 2 z s2
Afirmaci
on (z) satisface la ecuacion de Bessel (bajo ciertas restricciones),
z 2 00 + z0 + (z 2 2 ) = 0 . (20.18)
Demostraci
on Si (20.18) se satisface, entonces
Z 2
2 f f 2 2
0= z +z + (z )f g .
C z 2 z
Con (20.17),
2f
Z Z
2
0 = fg g
C C s2
Z Z
2 f 0 f
= fg + g g
C C s s C
Z Z
2 00 0 f
= fg fg + fg g
C C s C
Z
00 2 0 f
= f (g + g) + f g g .
C s C
20.2. FUNCIONES DE HANKEL 227
Con (20.15),
0 f
0 = fg g .
s C
Considerando la afirmacion anterior, en que parte del plano (Re s, Im s) tenemos | f (x, s) | =
| eix sen s | 0? Esto es, buscamos un contorno C tal que
s2
C1 C2
-3 - - 3 s1
2 2 2 2
Definici
on 20.1 Funciones de Hankel
Z
1
H(1,2) (x) = eix sen s eis ds , x>0 (20.20)
C1,2
228 CAPITULO 20. DIVERSOS TIPOS DE FUNCIONES CILINDRICAS
De (20.20), Z
1
I(x) = eix sen s eins ds ,
C
con
s2
C
- 0 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 ix sen in
Z
(1) (2)
Hn (x) + Hn (x) = e e d .
Se siguen las siguientes relaciones entre las funciones cilndricas que hemos examinado:
1 (1)
Hn + Hn(2) ,
Jn = (20.22)
2
1 (1)
Hn Hn(2) ,
Nn = (20.23)
2i
y a la inversa,
Aplicaciones
versi
on final 1.0-13 enero 2003
En este Captulo aplicaremos algunos de los resultados obtenidos en los captulos ante-
riores para resolver problemas de interes fsico. En particular, estudiaremos el problema de
encontrar el potencial electrostatico en un cierto volumen del espacio delimitado por superfi-
cies mantenidas a potenciales dados. Este problema involucra la solucion de Laplace en cierto
dominio del espacio real. En los captulos anteriores hemos podido encontrar autofunciones
asociadas al operador de Laplace, y por lo tanto podemos escribir formalmente la solucion
como una combinacion lineal de tales autofunciones. Los potenciales fijos en las superficies
que determinan el dominio proporcionaran las condiciones de borde necesarias para encon-
trar todos los coeficientes de dicha combinacion lineal y, por ende, resolver completamente el
problema.
Ademas, resolveremos algunos problemas relacionados con la ecuacion de onda (modos
normales de una membrana) y la ecuacion de difusion.
2 2 2
+ + 2 =0. (21.1)
x2 y 2 z
Suponemos
(x, y, z) = X(x)Y (y)Z(z) . (21.2)
1 d2 X 1 d2 Y 1 d2 Z
+ + =0. (21.3)
X(x) dx2 Y (y) dy 2 Z(z) dz 2
Si cada termino en (21.3) depende solo de una variable independiente, cada uno debe ser
229
230 CAPITULO 21. APLICACIONES
Ejemplos
1) Potencial en el interior de un paraleleppedo con caras a diferente potencial.
Consideremos primero el caso de un paraleleppedo con todas las caras a potencial cero
salvo una. El problema general, en el cual cada una de las seis caras esta a un potencial
diferente, se puede obtener como la superposicion de seis de estos problemas.
= V (x , y)
z=c
y=b
x=a
= 0
Si = 0 en x = 0, y = 0 y z = 0, se tiene
X(x) = sin x ,
Y (y) = sin y ,
p
Z(z) = sinh( 2 + 2 z) .
21.1. COORDENADAS RECTANGULARES 231
Si = 0 en x = a y y = b,
a = n y b = m ,
luego r
n m n 2 m 2
n = , m = , y nm = + .
a b a b
Podemos escribir el potencial parcial nm , el cual satisface todas las condiciones de contorno
excepto una:
nm = sin(n x) sin(m y) sinh(nm z) . (21.8)
La solucion completa es la superposicion de estos potenciales para todos los valores posi-
bles de m y n: X
(x, y, z) = Anm sin(n x) sin(m y) sinh(nm z) . (21.9)
nm
correspondiendo a una doble serie de Fourier. Los coeficientes vienen dados por
Z a Z b
4
Anm = dx dy V (x, y) sin(n x) sin(m y) .
ab sinh(nm c) 0 0
=0
=V
0 a
(x, y) = eix ey ,
La condicion = 0 en x = 0 y x = a, da
nx
X(x) = sin .
a
La condicion = 0 para y da
n
Y (y) = ey = e a
y
.
Por lo tanto nx
n y
n = e a sin .
a
La solucion general es
nx
n
X
(x, y) = An e a
y
sin .
n=1
a
Los An son determinados imponiendo = V para y = 0, con 0 x a:
2 a
Z nx
An = (x, 0) sin ,
a 0 a
con (x, 0) = V . Es decir,
n
2V n
Z
2V 2V
An = sin u du = cos u = [(1)n+1 + 1]
n 0 n 0 n
4V 1 para n impar
An =
n 0 para n par
As, el potencial queda
4V X 1 n nx
(x, y) = e a y sin . (21.11)
n impar
n a
(Esto es un hecho bastante general. En variable compleja, las funciones analticas satis-
facen las condiciones de Cauchy-Riemann, que son equivalentes a una ecuacion de Laplace,
por tanto no es sorprendente que un potencial electrostatico se pueda escribir en terminos de
funciones analticas en el espacio complejo.)
1
Integrando (1 z) = (z)n , tenemos
P
2 3 4
ln(1 + z) = z z2 + z3 z4 +
2 3 4
ln(1 z) = z z2 z3 z4 +
21.2. COORDENADAS POLARES, DOS DIMENSIONES 233
es decir,
2V 1+z
(x, y) = Im ln .
1z
Por otro lado,
=V
1 2
1
+ 2 2 =0. (21.12)
Separando variables,
(, ) = R()() .
234 CAPITULO 21. APLICACIONES
Reemplazando en (21.12),
() d dR() R() d2 ()
+ 2 =0
d d d2
1 d2 ()
d dR()
+ =0.
R() d d () d2
1 d2 ()
d dR()
= 2 , = 2 ,
R() d d () d2
quedando las ecuaciones
d2 R dR d2
2 2
+ 2R = 0 , + 2 = 0 ,
d d d2
con soluciones
dR d2
= cte , =0,
d d2
con soluciones
R() = a0 + b0 ln , () = A0 + B0 . (21.14)
Si no hay restricciones sobre (i.e. 0 2) entonces por unicidad debemos imponer
que Z. Por la misma razon, cuando = 0 debe imponerse B0 = 0.
La solucion general en dos dimensiones es entonces
X
(, ) = a0 + b0 ln + (an n + bn n )(An cos n + Bn sin n) .
n=1
Notemos que:
2. Si excluimos el origen bn 6= 0.
3. El termino logartmico equivale al potencial generado por una lnea de carga infinita
sobre el eje z, con densidad lineal de carga = b0 /2.
(, 0) = (, ) = V .
21.2. COORDENADAS POLARES, DOS DIMENSIONES 235
Siendo el lado izquierdo independiente de , ambos terminos deben ser nulos. Como a0 A0 = V ,
se sigue que a0 6= 0, luego
B0 = 0 .
En el lado derecho, en tanto, como a 6= 0 (para preservar alguna dependencia en del
potencial), y B 6= 0 (para preservar dependencia en ), se concluye que
sin = 0 ,
es decir
m
= , m = 1, 2, 3, . . .
Queda entonces la solucion general
X
m/ m
(, ) = V + am sin .
m=1
Para suficientemente peque
no solo el primer termino es relevante:
/
(, ) ' V + a1 sin .
Las componentes del campo electrico son
a1 1
E = ' sin
1 a1 1
E = ' cos
La densidad de carga para = 0 y = es
E a1
() = ' 1 .
4 4
236 CAPITULO 21. APLICACIONES
21.3. Ecuaci
on de Laplace en coordenadas esf
ericas
La ecuacion a resolver es
1 2 2
1 1
(r) + 2 sin + =0
r r 2 r sin r2 sin2 2
Separando variables, suponemos (~r ) = r1 U (r)P ()Q(). Obtenemos
d2 U U P d2 Q
UQ d dP
PQ 2 + 2 sin + 2 2 =0.
dr r sin d d r sin d2
2
Si multiplicamos por r2 sin
UP Q
queda
1 d2 U 1 d2 Q
2 2 1 d dP
r sin + sin + =0.
U dr2 P r2 sin d d Q d2
El u
ltimo termino debe ser una constante:
1 d2 Q
= m2 ,
Q d2
es decir
Q = eim .
Para que Q sea univaluada para [0, 2], m debe ser entero.
Separando ahora las ecuaciones para P () y U (r), queda la ecuacion angular
m2
1 d dP
sin + l(l + 1) P =0,
sin d d sin2
donde l(l + 1) es otra constante real, y la ecuacion radial
d U (r)
2
U (r) l(l + 1) 2 = 0 .
dr r
La ecuacion radial es la ecuacion de Euler, con solucion
l a
un esta por determinar. Escribiendo x = cos , se observa que la ecuacion para P () es la
ecuacion generalizada de Legendre. Sus soluciones regulares en [1, 1] ( [0, 2]), son las
funciones asociadas de Legendre (Cap. 18):
dm
Plm (x) = (1 x2 )m/2 Pl (x) ,
dxm
si l es un entero, y m = l, l + 1, . . . , l 1, l.
La solucion general se puede escribir entonces,
X
X l
Aml Arl + Br(l+1) Plm (cos )eim ,
(r, , ) =
l=0 m=l
DE LAPLACE EN COORDENADAS ESFERICAS
21.3. ECUACION 237
Bl = 0 .
con Al Z
2l + 1
Al = V ()Pl (cos ) sin d .
2al 0
Particularicemos al caso en que el hemisferio superior e inferior estan a potenciales opues-
tos:
= V
= V
+V 0 /2
V () = .
V /2 <
Entonces, "Z #
/2 Z
2l + 1
Al = V Pl (cos ) sin d Pl (cos ) sin d .
2al 0 /2
238 CAPITULO 21. APLICACIONES
q
a
c
b
Pero
(1)k (2k 1)!!
P2k (0) = ,
2k k!
P2k+1 (0) = 0 ,
240 CAPITULO 21. APLICACIONES
luego
2k
2
X r< (2k 1)!!
(r) = q .
r2k+1
k=0 >
2k k!
Volviendo a los problemas sin simetra acimutal necesariamente, de modo que la solucion
de la ecuacion de Laplace puede ser escrita
X
X l
(r, , ) = [Alm rl + Blm r(l+1) ]Ylm (, ) ,
l=0 m=l
donde Z
1
Alm = l dR Ylm (, )V (, ) .
R
Finalmente, recordemos que hemos expresado |~x ~x0 |1 como una serie de potencias de
|~x| y |~x0 |, involucrando el coseno del angulo entre ambos vectores. A su vez, si ~x y ~x0 estan
determinados por los angulos = (, ), 0 = (0 , 0 ), conocemos una relacion entre Pl (cos )
y los armonicos esfericos evaluados en y 0 [(18.57)]. Esto da origen al Teorema de adicion
de los Arm onicos Esfericos:
X l
1 X 1 r<
0
= 4 l+1
Ylm (0 , 0 )Ylm (, ) .
|~x ~x | l=0 m=l
2l + 1 r>
Esta expresion nos permite escribir el potencial debido a una carga puntual, separando
entre s las coordenadas asociadas a ~x y a ~x0 . Esto resulta u til al integrar sobre una de
0
las variables, digamos ~x (que puede representar la posicion de la distribucion de carga),
manteniendo a la otra coordenada (~x) constante (punto de observacion).
En definitiva, esta formula de adicion no hace sino recordarnos que cualquier funcion angu-
lar (en particular la distancia entre dos puntos cualesquiera del espacio) puede ser expandida
en la base de armonicos esfericos.
21.4. Ecuaci
on de Laplace en coordenadas cilndricas
La ecuacion a resolver es:
2 1 1 2 2
+ + + 2 =0.
2 2 2 z
Separando variables:
(, , z) = R()Q()Z(z) ,
DE LAPLACE EN COORDENADAS CILINDRICAS
21.4. ECUACION 241
queda
d2 R QZ dR RZ d2 Q d2 Z
QZ + + + RQ = 0
d2 d 2 d2 dz 2
1 d2 R 1 dR 1 d2 Q 1 d2 Z
+ + + = 0
R d2 R d 2 Q d2 Z dz 2
La unica dependencia en z esta en el u
ltimo termino, y la u
nica dependencia en esta en
ultimo termino, por tanto deben ser iguales a una constante, que llamamos k 2 y 2 ,
el pen
respectivamente. Entonces quedan las ecuaciones:
d2 Z
k2Z = 0 ,
dz 2
d2 Q
+ 2Q = 0 ,
d2
d2 R 1 dR 2
2
+ + k 2 R=0.
d2 d
Las ecuaciones para z y tienen solucion:
Z = ekz , Q = ei .
Para que la funcion sea univaluada cuando 0 2 es permitido, debe ser entero.
k, por su parte, puede ser cualquier n umero real en principio.
Si x = k, la ecuacion radial queda
d2 R 1 dR 2
+ + 1 2 R=0 ,
dx2 x dx x
que es la ecuacion de Bessel, con soluciones J , J . Estas soluciones son linealmente inde-
pendientes solo si 6 Z. Si todos los angulos entre 0 y 2 son permitidos, que es lo usual,
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
J (x) cos J (x)
N (x) = ,
sin
o bien las funciones de Hankel:
Si las soluciones deben ser regulares en el origen, sin embargo, las soluciones a usar son
solamente las funciones de Bessel J (x). La sucesion { J (xn a )} con fijo, J (xn ) = 0,
n = 1, 2, 3. . . es un conjunto de funciones ortogonales en el intervalo 0 a, cumpliendose
que Z a a2
J xn 0 J xn d = [J+1 (xn )]2 nn0 .
0 a a 2
242 CAPITULO 21. APLICACIONES
Al escribir una funcion arbitraria de como combinacion lineal de esta base se obtiene la
llamada expansion en serie de Fourier Bessel:
X
f () = An J xn 0a,
n=1
a
con Z a
2
An = 2
f ()J xn d .
a2 J+1 (xn ) 0 a
De lo indicado en la seccion 19.9 se sigue que esta expansion es apropiada cuando la
funcion es nula en = 0, es decir, cuando las condiciones de borde sobre el manto del
cilindro son tipo Dirichlet. Si las condiciones de borde son tipo Neumann, de modo que la
derivada de la funcion se debe anular en = a, entonces es posible una expansion en la
base J (yn a ) donde yn es la n-esima raz de dJdx
(x)
.
Ejemplo Busquemos el potencial en el interior de un cilindro cuya tapa superior se encuentra
a potencial V (, ):
z
= V ( , )
=0
=a
Todos los angulos estan permitidos, por lo tanto podemos escribir las funciones en cada
variable en la forma:
Q() = A sin m + B cos m ,
Z(z) = sinh kz ,
R() = CJm (k) + DNm (k) .
La expresion para Z(z) satisface la condicion de borde Z(0) = 0. Como ademas es finito
en = 0, debe tenerse
xmn
k = kmn = , n = 1, 2, 3 ,
a
donde xmn es la raz n-esima de Jm i.e. Jm (xmn ) = 0. La solucion general se escribe entonces
X
X
(, , z) = Jm (kmn ) sinh(kmn z)[Amn sin(m) + Bmn cos(m)] .
m=0 n=1
Los coeficientes del potencial Amn , Bmn se encuentran invirtiendo esta doble serie de Fourier
Bessel. Usando las relaciones de ortogonalidad para senos, cosenos y las funciones de Bessel:
2 cosech(kmn L) 2
Z Z a
Amn = 2
d d V (, )Jm (kmn ) sin m ,
a2 Jm+1 (kmn a) 0 0
2 cosech(kmn L) 2
Z Z a
Bmn = 2
d d V (, )Jm (kmn ) cos m .
a2 Jm+1 (kmn a) 0 0
con
k = /v .
Al involucrar el operador Laplaciano, esperamos que sus soluciones (es decir, la amplitud
de los modos normales de oscilacion de un sistema general), se pueda escribir en terminos
de funciones sinusoidales, armonicos esfericos o funciones de Bessel, seg
un la simetra del
problema. Revisemos algunos ejemplos.
P ()Q() = Ylm (, ) .
244 CAPITULO 21. APLICACIONES
Como sus equivalentes cilndricos, jl (x) es regular en el origen y nl (x) es singular en el origen.
Estando interesados en el interior de una cavidad esferica, nos quedamos con jl (x). Al
imponer la condicion de borde de paredes fijas, es decir (r = a, , ) = 0, se obtiene
xln
k = kln = ,
a
con xln es n-esimo cero de jl (x).
Ahora bien, cada k corresponde a un modo normal (es decir, a un modo caracterizado
por una unica frecuencia, dada por = ck). Los modos normales de la cavidad esferica son
entonces r
nlm (~r ) = jl xln Ylm (, ) ,
a
asociados a frecuencias
xln
ln = vkln = v .
a
v es la velocidad del sonido en el gas. Observemos que la frecuencia no depende del ndice
azimutal m. Es decir, existen 2l + 1 (la cantidad de ms posibles para cada l) modos normales
con la misma frecuencia (el espectro es degenerado).
Finalmente, la solucion general entonces es una combinacion lineal sobre todos los modos
normales:
X X X l
(~r, t) = Anlm nlm (r, , )eiln t .
n=1 l=1 m=l
21.5. OTRAS APLICACIONES 245
Los coeficientes Anlm se obtienen al imponer una condicion inicial. Por ejemplo, si inicialmente
el gas al interior de la cavidad esferica esta dado por una funcion 0 (r, , ), los Anlm se
obtendran invirtiendo la serie de Fourier
X
X X
l r
0 (r, , ) = Anlm jl xln Ylm (, ) .
n=1 l=1 m=l
a
Membrana circular
Consideremos los modos de oscilacion de una membrana circular de radio a, densidad de
masa superficial , sometida a una tension T , con extremos fijos. En este caso, la ecuacion de
Helmholtz involucra el Laplaciano en dos dimensiones, conveniendo escribirlo en coordenadas
polares:
1 2
1 2
+ 2 2 + k (, ) = 0 .
La separacion de variables, (, ) = R()(), de modo analogo a lo realizado en la seccion
21.2, da las ecuaciones
d2 R 1 dR 2
2
+ + k 2 R=0,
d2 d
2
d
+ 2 = 0 .
d2
Dado que las frecuencias (21.15) son proporcionales a los ceros de las funciones de Bessel, es
posible conocer la razon entre las frecuencias de oscilacion de la membrana circular. Las seis
frecuencias mas bajas son:
01 ,
11 = 1,59301 ,
21 = 2,13601 ,
02 = 2,29501 ,
12 = 2,91701 ,
03 = 3,59801 .
Para dibujar estos modos normales, basta notar que su amplitud se puede reescribir en la
forma:
J xn cos( + ) ,
a
con una cierta fase, que podemos considerar nula si nos interesa solo un modo normal a
la vez. Entonces advertimos que la frecuencia n corresponde a un modo de oscilacion con
n nodos radiales contando el borde fijo como un nodo radial y nodos angulares. Los
primeros seis modos normales tienen la siguiente forma:
_ +
+ _ +
+ _
01 11 21
+ _ _
+ _ _ + + +
02 12 03
En esta figura, las lneas indican lneas nodales, el signo + indica regiones que en un tiempo
dado se desplazan saliendo del plano de la pagina, y el signo regiones que en el mismo
tiempo se desplazan entrando al plano de la pagina.
21.6. Ecuaci
on de difusi
on
Si u es una cantidad conservada, entonces uno puede afirmar que la variacion de u dentro
de un volumen solo es posible porque hay un flujo de esa cantidad a traves de las paredes del
volumen: Z Z
d ~ r, t) ,
d~r u(~r, t) = d~a J(~ (21.17)
dt V S[V ]
DE DIFUSION
21.6. ECUACION 247
donde J~ es una corriente asociada a u. Del teorema de la divergencia se sigue entonces que
~ J~ + u = 0 .
(21.18)
t
Puesto que se espera en procesos de difusion que exista corriente solo si hay gradientes de
concentracion, y que la direccion de la corriente sea tal que vaya de puntos de alta concen-
tracion a puntos de baja concentracion (tendiendo a homogeneizar el sistema), se supone
tpicamente que
J~ = u(~
~ r, t) , (21.19)
con alguna constante. Se tiene entonces
1 u
2 u =0. (21.20)
t
Por ejemplo, la ecuacion de difusion del calor es de la forma (21.19), con = K/, donde
K es la conductividad termica, el calor especfico y la densidad.
Consideremos entonces el problema de la difusion del calor en el interior de un parale-
leppedo de aristas a, b, c, cuyas paredes estan a temperatura cero, y que inicialmente tiene un
perfil de temperatura u0 (x, y, z). El dibujo es esencialmente el mismo que el de la pagina 230,
as que no lo repetiremos.
Al separar variables en (21.20), escribiendo u(~r, t) = R(~r )T (t), obtenemos
2 R 1 1 dT
= .
R T dt
Ambos terminos deben ser entonces igual a una constante, que llamaremos k 2 . Entonces
obtenemos, para la parte temporal,
dT
+ k 2 T = 0 ,
dt
que tiene por solucion
2
T (t) = ek t ,
lo que indica que, si k es real, un perfil inicial decaera exponencialmente hacia la situacion
de equilibrio. La parte espacial, en tanto, es
2 R + k 2 R = 0 ,
que no es sino la ecuacion de Helmholtz.
Dada la simetra del problema, la escribimos en coordenadas cartesianas y separamos
variables, R(~r) = X(x)Y (y)Z(z), obteniendose
X 00 Y 00 Z 00
+ + + k2 = 0 . (21.21)
X Y Z
Concluimos entonces que cada termino debe ser igual a una constante. En particular, podemos
escribir X 00 /X = 2 , Y 00 /Y = 2 , Z 00 /Z = 2 , de modo que
X 00 + 2 X = 0 ,
Y 00 + 2 Y = 0 ,
Z 00 + 2 Z = 0 .
248 CAPITULO 21. APLICACIONES
Notando que deben satisfacerse las condiciones de borde X(0) = Y (0) = Z(0) = X(a) =
Y (b) = Z(c) = 0, concluimos rapidamente que las soluciones son
X(x) = sen nx x ,
a
Y (y) = sen ny y ,
b
Z(z) = sen nz z ,
c
con nx , ny , nz enteros. Reemplazando estas soluciones en (21.21) encontramos que
r
n x 2 n y 2 n z 2
k = knx ,ny ,nz = + + . (21.22)
a b c
La base de soluciones de (21.20) es entonces
h 2 2 2
i
( nax ) +( nby ) +( ncz )
2 t
unx ,ny ,nz (x, y, z, t) = sen nx x sen ny y sen nz z e , (21.23)
a b c
y la solucion general es de la forma
X
u(x, y, z, t) = Anx ,ny ,nz unx ,ny ,nz (x, y, z, t) . (21.24)
nx ,ny ,nz =0
21.7. Difusi
on con creaci
on de partculas
Consideremos la evolucion de neutrones en material fisionable. Cuando un neutron im-
pactar sobre un n ucleo de U 235 por ejemplo, este se fisiona y se liberan nuevos neutrones,
que pueden continuar la reaccion en cadena. En principio, la densidad de neutrones es una
cantidad conservada, salvo por el hecho de que se estan generando nuevos neutrones continua-
mente. Si n(~r, t) es la densidad de neutrones, J~ su corriente, y si suponemos que la creacion
de neutrones ocurre a una tasa temporal 1/ , y es proporcional a la densidad de neutrones
CON CREACION
21.7. DIFUSION DE PARTICULAS 249
(es decir, se generan mas neutrones en regiones donde hay mayor cantidad de ellos), podemos
reescribir la ecuacion de conservacion (21.17) para los neutrones en la forma
Z Z Z
d ~ 1
d~r n(~r, t) = d~a J(~r, t) + d~r n(~r, t) . (21.28)
dt V S[V ] V
Al usar el teorema de la divergencia para el termino de superficie, y poner una ley para la
corriente de la forma (21.19), es claro que se obtendra la siguiente ecuacion para la densidad:
n 1
= 2 n + n ,
t
es decir,
1 n 1
2 n + n=0. (21.29)
t
Esta ecuacion de continuidad modificada describe el comportamiento de la densidad de neu-
trones en material fisionable, considerando creacion de neutrones a una tasa proporcional a
su densidad.
Separando variables en la forma n(~r, t) = R(~r )T (t), se tiene:
2 R 1 dT 1
= .
R T dt
Cada lado debe ser igual a una constante, que llamaremos k 2 , de modo que quedan las
ecuaciones
(2 + k 2 )R = 0 ,
dT 1
= (1 k 2 )T ,
dt
es decir nuevamente la ecuacion de Helmholtz para la parte espacial, y una parte temporal
de la forma
1 2
T (t) = e (1k )t .
Estudiemos ahora una geometra especfica: una esfera de radio a que contiene U 235 , que
impide el ingreso o fuga de neutrones por sus paredes, de modo que n(r = a, , , t) = 0.
Debido a la simetra esferica, el problema para la parte espacial es el mismo que para los
modos normales dentro de una cavidad esferica (Sec. 21.5.1), es decir,
xln
k = kln = (21.30)
a
y
r
R(~r ) = jl xln Ylm (, ) , (21.31)
a
con jl (x) la funcion de Bessel esferica e Ylm (, ) los armonicos esfericos. Con (21.30) y
(21.31), la base de soluciones de (21.29) es
x2
r 1
1 ln
a2
t
nlnm (~r, t) = jl xln Ylm (, )e , (21.32)
a
250 CAPITULO 21. APLICACIONES