Apunte236 327

1
Indice
Captulo 1: Espacio de Funciones y Series
Seccin pgina
1.1 Estructura de Espacio Euclidiano 3
Producto escalar 3
Norma 4
Distancia 5
Vectores ortogonales 5
Conjuntos ortogonales 6
1.2 Sucesiones de Funciones 7
Algunas propiedades de las sucesiones uniformemente convergentes 8
1.3 Series de Funciones 12
1.4 El espacio T( [a, /] 17
1.4.1 Desarrollos Ortogonales 19
1.4.2 Ortogonalidad c/r a una Funcin Ponderadora 21
1.4.3 Aproximacin en Media Cuadrtica 22
1.5 Sistemas Trigonomtricos en T( [a, /] 24
1.5.1 Series de Senos y Cosenos 26
1.5 Cambio de intervalos 28
1.6 Condiciones de convergencia de las series de Fourier 28
1.7 Derivacin e integracin de series de Fourier 29
1.8 Problemas de Sturm - Lioville 31
1.8.1 Problemas con valores en la frontera y desarrollos en serie 37
1.9 Ortogonalidad y funcin peso 38
Captulo 2: Ecuaciones en derivadas parciales
Seccin pgina
2.1 Introduccin 44
2.2 Ecuacin de la onda 52
2.2.1 Solucin de DAlambert de la ecuacin de la onda 54
2.2.2 Propagacin de la onda unimensional de largo nito 55
2.3 Ecuacin de difusin del calor 57
2.3.1 Conduccin del calor en barra nita 57
2.3.2 Propagacin del calor en barra innita 59
2.3.3 Integral de Fourier 59
2.4 Ecuacin de Laplace en regiones rectangulares 62
2.4.1 Ecuacin de Laplace en una regin circular 64
2.5 Membrana rectangular ja en la frontera 65
2.6 Condiciones de contorno no homogneas 67
2.7 Ecuaciones no homogeneas 70
2.8 Ecuaciones homogeneas con condiciones de contorno homogeneas y no
constantes 72
2
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
1 Espacio de Funciones y Series
1.1 Estructura de Espacio Euclidiano(Repaso)
Denicin.- Se dice que un espacio vectorial 1 sobre el cuerpo de los nmeros
reales posee estructura de espacio euclidiano si sobre 1 est denida una forma
bilineal simtrica positiva no degenerada.
Producto escalar
Si una estructura de espacio euclidiano 1 est determinada por la forma bilineal
simtrica positiva ), entonces dicha forma recibe el nombre de producto escalar.
Notacin.- ) (r, j) = r, j
Dado que ) es bilineal tenemos que dados r, j, . 1 y c R :
1. cr, j = r, cj = cr, j
2. r, j +. = r, j +r, .
3. r +j, . = r, . +j, .
Dado que ) es simtrica:
4. r, j = j, r
Dado que ) es positiva no degenerada:
5. r, r 0 para r ,= 0
.
Ejemplos.-
1. R
n
es un espacio euclideo con el producto escalar:
r, j =
n
k=1
r
k
j
k
2. ( [a, /] el espacio de las funciones continuas sobre [a, /] es un espacio
euclideo con el producto escalar:
), q =
_
b
a
) (r) q (r) dr
3
3. ( [0, 1] es un espacio euclideo con el producto escalar:
), q =
_
1
0
j (r) ) (r) q (r) dr
En este caso se habla de de un "producto escalar ponderado" con "funcin
peso" j 0 sobre [0, 1].
.
Norma
En un espacio euclidiano se dene la norma de un vector de la manera siguiente:
Denicin.- Consideremos 1 un espacio vectorial euclidiano y r 1. Se llama
norma o longitud de r al nmero real no negativo
|r| =
_
r, r
Dado que el producto escalar es bilineal
(\c R) (\r 1) |cr| = [c[ |r|
y por ser no degenerado
|r| = 0 ==r = 0
Adems
|r +j| _ |r| +|j|
Esta es conocida como la desigualdad triangular y su demostracin se obtiene
(considerando el trmino |r +j|
2
) de la tambin conocida
Desigualdad de Schawrz.-
(\r, j 1) [r, j[ _ |r| |j|
Indicacin.- Para r ,= 0 y t R tenemos
0 _ tr +j, tr +j = r, r t
2
+ 2 r, j t +j, j
Escribiendo
= r, r , 1 = r, j , C = j, j
se obtiene
t
2
+ 21t +C _ 0
Dado que 0, eligiendo t =
1
, la desigualdad anterior se transforma en

1
2
C _ 0
es decir
r, j
2
_ r, j j, j
o lo que es lo mismo
[r, j[ _ |r| |j|
4
.
Observacin.-
1. El alumno podr vericar que la igualdad se obtiene ssi r e j son lineal-
mente dependientes.
2. Para demostra la desigualdad triangular es suciente con considerar el
desarrollo de |r +j|
2
y usar la desigualdad de Schawrz. (ejercicio).
3. (\r, j 1) [|r| |j|[ _ |r +j| (vericarlo)
4. ., . : 1 1 R
5. |.| : 1 R
6. r 1 se dice unitario si |r| = 1.
.
Distancia
La distancia entre dos puntos en 1 se dene como sigue:
Denicin.- En un espacio euclidiano 1 se llama distancia a la aplicacin
d : 1 1 R, d (r, j) = |r j|
La distancia tiene las siguientes propiedades:
1. (\r, j 1) d (r, j) _ 0
2. (\r, j 1) d (r, j) = 0 =r = j
3. (\r, j 1) d (r, j) = d (j, r)
4. (\r, j, . 1) d (r +., j +.) = d (r, j)
5. (\r, j 1) (\c R) d (cr, cj) = [c[ d (r, j)
.
Observacin.-
1. (\r, j 1) d (r, .) _ d (r, j) +d (j, .) (desigualdad triangular)
2. (\r, j, . 1) [d (r, .) d (j, .)[ _ d (r, j)
.
Vectores ortogonales
Denicin.- Se dice que dos vectores r, j 1 son ortogonales si r, j = 0.
Notacin.- r l j
5
.
Nota.-
1. La relacin de ortogonalidad es simtrica.
2. (\r 1) r l r ==r = 0
3. Sean r, j
1
, j
2
, ........, j
p
1. si r l j
i
, con i = 1, 2, ....., j; entonces
r l j
1
, j
2
, ........, j
p
.
Teorema de Pitgoras.- r l j ==|r +j|
2
= |r|
2
+|j|
2
La demostracin queda como ejercicio.
Conjuntos ortogonales
Denicin.- Un conjunto de vectores de 1, r
i
i2I
se dice ortogonal si:
1. (a) (\i 1) r
i
,= 0
(b) (\i, , 1; i ,= ,) r
i
l r
j
Se dice que un conjunto ortogonal es ortonormal si adems
(c) (\i 1) |r
i
| = 1
.
Notacin.- r
i
i2I
es ortonormal==r
i
, r
j
= c
ij
donde c
ij
=
_
1 , i = ,
0 , i ,= ,
c
ij
es conocido como "Delta de Kronecher".
Observacin.-
1. Todo conjunto ortogonal es linealmente independiente.
6
2. Un conjunto innito de vectores es linealmente independiente ssi cada uno
de sus subconjuntos nitos lo es.
3. Todo espacio euclidiano tiene una base ortonormal.
.
Ejemplo.-
1. El espacio de todos los polinomios tiene dimensin innita.
2. ( [a, /] tiene dimensin innita.
1.2 Sucesiones de Funciones
Denicin.- Sea )
n
n2N
una sucesin de funciones
)
n
: 1 _ R R
y considere ) : 1 _ R R.
1. Diremos que )
n
n2N
converge puntualmente a ) si dado r 1 se tiene
que la sucesin de nmeros reales )
n
(r)
n2N
converge a ) (r).
) se llama la funcin lmite de )
n
n2N
.
Notacin.- lim
n!+1
)
n
(r) = ) (r)
Nota.- )
n
n2N
converge puntualmente a ) si dado r 1, se tiene:
(\c 0) ( (r, c) N) : _ ==[)
n
(r) ) (r)[ < c
2. Diremos que )
n
n2N
converge uniformemente a ) si dado r 1, se tiene:
(\c 0) ( (c) N) : _ ==[)
n
(r) ) (r)[ < c
Notacin.- lim
n!+1
)
n
(r) = ) (r) [uniforme]
Nota.-
(a) )
n
n2N
cv. uniformemente a ) ==)
n
n2N
cv. puntualmente. a )
(b) Si )
n
n2N
cv. uniformemente a ), se puede elegir N tal que
(\: _ ) () (r) c _ )
n
(r) _ ) (r) +c)
7
(c) )
n
n2N
cv. uniformemente a ) ==la sucesin de nmeros reales
_
sup
x2D
[)
n
(r) ) (r)[
_
n2N
converge a 0.
Indicacin.-
)
n
n2N
cv. uniformemente a ) ==
==(\r 1) (\c 0) ( (c) N) : _ ==[)
n
(r) ) (r)[ < c
==(\c 0) ( (c) N) : _ == sup
x2D
[)
n
(r) ) (r)[ _ c
== lim
n!+1
_
sup
x2D
[)
n
(r) ) (r)[
_
= 0
.
Algunas propiedades de las sucesiones uniformemente convergentes
Las demostraciones de los teoremas quedan como ejercicios.
Teorema 1.- Si (\ N), )
n
: 1 _ R R es continua y )
n
n2N
converge
uniformemente a ), ) : 1 _ R R, entonces ) es continua.
Teorema 2.- Si )
n
n2N
es una sucesin de funciones continuamente diferen-
ciable que converge puntualmente a ) sobre [a, /] y si )
0
n
n2N
converge uni-
formemente sobre [a, /], entonces )
n
n2N
converge uniformemente sobre [a, /]
y
)
0
(r) = lim
n!+1
)
0
n
(r)
es decir
d
dr
_
lim
n!+1
)
n
(r)
_
= lim
n!+1
)
0
n
(r)
Teorema 3.- Si )
n
n2N
es una sucesin de funciones integrables sobre [a, /] que
converge uniformemente a ) sobre [a, /] y si ) es integrable, entonces
lim
n!+1
_
b
a
)
n
(r) dr =
_
b
a
) (r) dr
y (\r [a, /])
lim
n!+1
_
x
a
)
n
(t) dt =
_
x
a
) (t) dt
adems la convergencia es uniforme.
Ejemplo.-
1. Sea )
n
(r) = :
2
r(1 r)
n
, r [0, 1]. Demuestre que )
n
n2N
converge
puntualmente sobre [0, 1].
Solucin.-
8
r
n
n!+1
0, r [0, 1[
Para r [0, 1[.- lim
n!+1
)
n
(r) = lim
n!+1
%
+1
:
2
%
0
r(1 r)
n
=
= r lim
n!+1
:
2
(1 r)
n
L
0
H
= 2 lim
n!+1
r(1 r)
n+1
= 0
Para r = 1.- )
n
(1) = 0
n!+1
0
Por lo tanto )
n
n2N
converge puntualmente a
) : [0, 1] R, ) (r) = 0
2. Analizar la convergencia de la sucesin )
n
n2N
denida por
)
n
(r) =
r
2n
1 +r
2n
, r R
Indicacin.-
) (r) = lim
n!+1
)
n
(r) = lim
n!+1
1
1 +
1
r
2n
=
_
_
_
0 , [r[ < 1
1
2
, [r[ = 1
1 , [r[ 1
Nota.- )
n
n2N
no converge uniformemente a ) ya que (\: N) )
n
es
continua y ) no es continua.
3. Sea )
n
(r) =
_
_
r , 0 _ r _
1
2:
r +
1
:
,
1
2:
< r _
1
:
0 ,
1
:
< r _ 1
. Muestre que )
n
n2N
con-
verge puntualmente sobre [0, 1].
Indicacin.-
Para 0 _ r _
1
2:
; 0 _ lim
n!+1
)
n
(r) _ lim
n!+1
1
2:
= 0
Para
1
2:
< r _
1
:
; 0 _ lim
n!+1
)
n
(r) = lim
n!+1
_
r +
1
:
_
_
_ lim
n!+1
_
1
2:
+
1
:
_
_ lim
n!+1
1
2:
= 0
Para
1
:
< r _ 1; lim
n!+1
)
n
(r) = 0
Por lo tanto )
n
converge puntualmente a ) : [0, 1] R, ) (r) = 0
9
Observacin.-
)
n
no es diferenciable
) es diferenciable
4. Analizar la convergencia de la sucesin )
n
n2N
donde
(a) )
n
(r) =
sin:r
_
:
, r R
(b) )
n
(r) =
2:r
1 +:
2
r
2
, r [0, 1]
Indicacin.-
(a) sup
x2R
[)
n
(r)[ = sup
x2R
sin:r
_
:
=
1
_
:
n!+1
0
Por lo tanto:
lim
n!+1
)
n
(r) = ) (r) = 0 [uniforme]
(b) lim
n!+1
)
n
(r) = lim
n!+1
2:r
1 +:
2
r
2
= 0
Por lo tanto )
n
converge a ) : [0, 1] R, ) (r) = 0.
Por otra parte:
)
0
n
(r) = 0 ==r =
1
:
: punto crtico
)
n
_
1
:
_
= 1; )
n
(1) =
2:
1 +:
2
_
2:
:
2
=
2
:
; )
n
(0) = 0
Esto muestra que sup
x2[0;1]
[)
n
(r)[ = 1 para : _ 4
y adems lim
n!+1
_
sup
x2[0;1]
[)
n
(r)[
_
= 1 ,= 0 lo que signica que )
n
no
converge uniformemente (a la funcin nula).
Nota.- En el problema a) lim
n!+1
)
0
n
(r) = lim
n!+1
[
_
:cos :r] no existe. Por
lo tanto:
_
lim
n!+1
)
n
(r)
_
0
,= lim
n!+1
)
0
n
(r)
10
.
Ejercicios.-
I) 1) Estudie la continuidad de )
n
. Decida si lim
n!+1
)
n
es una funcin
continua, donde:
a) )
n
(r) =
_
_
_
0 , r < 0
r
n
, 0 _ r _ 1
1 , r 1
b) )
n
(r) =
_
_
1 , r _
1
:
:r ,
1
:
< r <
1
:
1 , r _
1
:
2) Demuestre que la sucesin )
n
n2N
denida por
) : [0, 1] R, ) (r) = :
2
rc
nx
2
converge a una funcin integrable y que sin embargo
lim
n!+1
_
1
0
)
n
(r) dr = +.
3) Decida si
_
1
0
_
lim
n!+1
)
n
(r)
_
dr = lim
n!+1
_
1
0
)
n
(r) dr, donde
a) )
n
(r) = :r
_
1 r
2
_
n
b) )
n
(r) =
_
_
2:
2
r , 0 _
1
2:
2: 2:
2
r ,
1
2:
< r <
1
:
0 ,
1
:
_ r _ 1
4) Sea )
n
: R R, )
n
(r) =
_
_
1 , r _
1
:
sin
:r
2
,
1
:
< r <
1
:
1 , r _
1
:
. Muestre
que )
n
es derivable para cada : N y que la sucesin )
n
n2N
converge a una funcin que no es continua.
5) Sea )
n
: R R, )
n
(r) =
sin
2
r
:
. Demuestre que Muestre que )
n
,
que )
n
n2N
converge uniformemente sobre R y que lim
n!+1
)
0
n
(0) no
existe.
6) Sea )
n
: [0, 1] R, )
n
(r) =
:
2
r
1 +:
3
r
3
. Encuentre ) = lim
n!+1
)
n
.
Muestre que la convergencia no es uniforme y que sin embargo se
tiene lim
n!+1
)
0
n
= )
0
.
11
7) Considere )
n
: R R, )
n
(r) =
r
1 +:r
2
, : N. Encontrar lim
n!+1
)
n
,
lim
n!+1
)
0
n
y determine en que intervalos la convergencia es uniforme.
II) 1) Encontrar ) = lim
n!+1
)
n
donde exista. En que casos la convergencia
es uniforme?.
a) )
n
(r) =
_
0 , r _ :
r : , r :
d) )
n
(r) = c
nx
2
, [r[ _ 1
b) )
n
(r) =
n
_
r, r [0, 1] e) )
n
(r) =
1
:
c
x
2
, r R
c) )
n
(r) =
c
x
r
n
, r 1
2) Estudie el lmite de las siguientes sucesiones:
a) )
n
(r) =
1
1 +r
2n
, r R d) )
n
(r) =
:r
:r + 1
, r _ 0
b) )
n
(r) =
: + 2r
: +r
, r [0, 1] e) )
n
(r) =
:
2
r
2
1 +:
2
r
2
, [r[ _ 1
c) )
n
(r) =
_
1 +
r
:
_
n
, r [0, 1]
3) estudie la convergencia puntual y uniforme de las siguientes suce-
siones.
a) )
n
(r) =
:r
3
1 +:r
, r [0, 1]
b) )
n
(r) = :rc
n
2
, r [0, 1]
c) )
n
(r) = :
2
r(1 +r)
n
, r [0, 1]
d) )
n
(r) =
:c
x
+rc
x
: +r
, r [0, 1]
e) )
n
(r) =
_
r
_
:
_
n
, r [1, 2]
f) )
n
(r) =
sin:r
:r
, r ]0, [
g) )
n
(r) = c
nx
, r [1, 2]
h) )
n
(r) =
sin:r
:
, r [0, ]
1.3 Series de Funciones
Denicin.-
1. Sea )
n
n2N
una sucesin de funciones
)
n
: 1 _ R R
Sea 1
n
=
n
k=1
)
k
. Se llama serie de funciones a la sucesin de sumas par-
ciales 1
n
n2N
y se denota por
+1
n=1
)
n
.
12
2. La serie
+1
n=1
)
n
converge (puntualmente) a 1 ==
==1
n
n2N
converge a 1 sobre 1
Notacin.- Si
+1
n=1
)
n
converge a 1, se escribe en notacin
+1
n=1
)
n
= 1; es
decir,
+1
n=1
)
n
= lim
n!+1
n
k=1
)
k
3. La serie
+1
n=1
)
n
converge uniformemente a 1 sobre 1 ==
==1
n
n2N
converge uniformemente a 1 sobre 1.
4. La serie
+1
n=1
)
n
converge absolutamente a 1 sobre 1 ==
La serie
+1
n=1
[)
n
[ converge puntualmente a 1 sobre 1
.
Proposicin.- Si
+1
n=1
)
n
converge uniformemente sobre 1, entonces
lim
n!+1
|)
n
| = 0, donde |)| = sup
x2D
[)
n
(r)[.
Indicacin.-
|)
n
| = sup
x2D
[)
n
(r)[ = sup
x2D
_
n
k=1
)
k
(r)
_
1 (r)
_
n1
k=1
[)
k
(r)] 1 (r)
_
_
_ sup
x2D
k=1
[)
k
(r)] 1 (r)
+ sup
x2D
n1
k=1
[)
k
(r)] 1 (r)
Los teorema siguientes son consecuencia inmediata de los dados para sucesiones
de funciones.
Teorema 1.- Si
+1
n=1
)
n
converge [uniforme], entonces
+1
n=1
)
n
converge [puntualmente]
Teorema 2.- Si (\ N), )
n
: 1 _ R R es continua y
+1
n=1
)
n
converge
uniformemente a 1 sobre 1, entonces 1 es continua sobre 1.
13
.
Teorema 3.- Si )
n
n2N
es una sucesin de funciones continuamente diferencia-
ble tal que
+1
n=1
)
n
= 1 [puntualmente] y si
+1
n=1
)
0
n
converge uniformemente sobre
[a, /], entonces
+1
n=1
)
n
= 1 [uniforme] sobre [a, /] y para cada r [a, /]
+1
n=1
)
0
n
(r) = 1
0
(r)
Teorema 4.- Si )
n
n2N
es una sucesin de funciones integrables sobre [a, /] tal
que
+1
n=1
)
n
= 1 [uniforme] sobre [a, /] y 1 es integrable, entonces
_
b
a
1 (r) dr =
+1
n=1
_
b
a
)
n
(r) dr
y (\r [a, /])
_
x
a
1 (t) dt =
+1
n=1
_
x
a
)
n
(t) dt
adems la convergencia es uniforme.
Un criterio de convergencia uniforme esta dado por el siguiente:
Teorema.- (Criterio de Weirstrass)
Considere
+1
n=1
)
n
una serie de funciones, )
n
: 1 _ R R. Suponga que
existen constantes '
n
_ 0 tales que
(\r 1) [)
n
(r)[ _ '
n
Si
+1
n=1
'
n
converge, entonces
+1
n=1
)
n
converge uniforme y absolutamente sobre
1.
Demostracin.- Ejercicio
Ejemplos.-
1. Estudiar la convergencia de la serie
+1
n=1
r
2
(1 +r
2
)
n1
Solucin.-
14
Para r ,= 0: ) (r) =
+1
n=1
r
2
(1 +r
2
)
n1
Serie Geom.
=
r
2
1
1
1 +r
2
= 1 +r
2
Para r = 0: ) (0) = 0
) no es continua en r = 0. Luego la convergencia no es uniforme (sobre
cualquier intervalo que contenga al cero).
Observacin.- La serie dada converge absolutamente sobre cualquier inter-
valo.
2. Muestre que la serie de funciones
+1
n=1
cos :r
:
2
converge uniformemente sobre
1 = [0, 2]
Indicacin.- (\r [0, 2]) [)
n
(r)[ _
1
:
2
= '
n
3. Demuestre que:
_

0
) (r) dr = 2
+1
n=1
1
(2: 1)
4
, si ) (r) =
+1
n=1
sin:r
:
3
Indicacin.- [)
n
(r)[ _
1
:
3
, r R
_

0
) (r) dr
Teo. 4
=
+1
n=1
1 cos :
:
4
= 2
+1
n=1
1
(2: 1)
4
.
Ejercicios.-
1. Muestre que
+1
n=1
r(1 r)
n
converge sobre [0, 2].
2. Estudie la convergencia uniforme de
+1
n=1
1
:
x
sobre [a, +[ con a 1.
(Indicacin.-
1
:
x
_
1
:
a
). Lo mismo para
+1
n=1
r
n
sin:r sobre
_
1
2
,
1
2
_
(Indicacin.- [)
n
(r)[ _
1
2
n
).
.
Criterio de Dirichlet.- Supongamos que dado:
r [a, /] :
n
(r)
n2N
es una sucesin decreciente de trminos positivos.
n
n!+1
0 [uniforme] sobre [a, /]
+1
n=1
n
n
(r) converge uniformemente o bien oscila nitamente sobre [a, /].
Entonces la serie
+1
n=1
n
(r) n
n
(r) converge uniformemente sobre [a, /].
15
Ejercicios.-
1. Muestre que la serie
+1
n=1
_
r
2n1
2: 1

r
n
2:
_
es convergente, pero no uni-
formemente convergente sobre [0, 1].
2. Demuestre que
+1
n=1
(1)
n
_
:
sin
_
1 +
r
:
_
converge uniformemente sobe R.
3. Estudie la convergencia y la convergencia uniforme de las siguientes series:
(a)
+1
n=1
r
(1 +r
2
)
n
(d)
+1
n=1
1
:
2
+r
2
(g)
+1
n=1
c
nx
sin:r
(b)
+1
n=1
r
:(1 +:r
2
)
(e)
+1
n=1
(1)
n
:
x
ln(: + 1)
(h)
+1
n=1
cos
n
rcos :r
(c)
+1
n=1
r
:
2
(f)
+1
n=1
ln:
:
2
4. Estudie la convergencia y la convergencia uniforme de

)
n
:
(a) )
n
(r) = (1)
n1
r
n
, [r[ _
1
2
(b) )
n
(r) =
1
2
n
_
1 r
2n
, [r[ < 1
(c) )
n
(r) =
r
(:r + 1) [(: + 2) r + 1]
, r _ 0
(d) )
n
(r) =
r
:
3
4
(1 +:r
2
)
, r ]0, 1[
(e) )
n
(r) =
cos :r
log
x
(: + 1)
, r ]0, 2[
5. Demuestre que:
(a)
1
1 2 3
+
1
3 4 5
+
1
5 6 7
+......... = ln 2
1
2
(b)
1
1 2 3

1
3 4 5
+
1
5 6 7
......... =
1
2
(1 ln2)
(c)
1
2 3 4

1
4 5 6
+
1
6 7 8
......... =
1
4
( 3)
(d)
1
1 2 3 4
+
1
5 6 7 8
+................ =
1
4
_
ln2

6
_
16
6. Muestre que
+1
n=1
_
r
2n1
2: 1

r
n
:
+
r
2n
2:
_
converge sobre [0, 1]. Determine
su suma y estudie si la convergencia es uniforme.
7. Demuestre que:
(a) 1
1
4
+
1
7

1
10
+........... =
_
1
0
dr
1 +r
3
=
1
3
_

_
3
+ ln2
_
(b)
1
2

1
5
+
1
8

1
11
+.......... =
_
1
0
rdr
(1 +r)
3
=
1
3
_
ln

_
3
ln2
_
1.4 El espacio T( [a; b]
Denicin.- Sea ) una funcin a valores reales. Se dice que ) es continua por
tramos (seccionalmente continua) sobre [a, /] si
1. ) est denida y es continua sobre [a, /] salvo quizs en un nmero nito
de puntos.
2. los lmites )
_
r
+
0
_
= lim
h!0
+
) (r
0
+/) y )
_
r
0
_
= lim
h!0
) (r
0
+/) existen
para r [a, /].
.
Observaciones.-
1. Las discontinuidades de ) son llamadas discontinuidades de salto. La
magnitud del salto es:

)
_
r
+
0
_
)
_
r
0
_
2. Si ) T( [a, /], entonces

_
b
a
) (r) dr existe y es independiente de los
valores que toma ) en los puntos de discontinuidad.
3. Dos funciones ), q T( [a, /] se dicen idnticas si sus imagenes dieren a
lo ms en un nmero nito de puntos. Decimos en este caso que ) y q son
iguales casi en todas partes (c.t.p.).
17
En notacin: ) = q ==) = q c.t.p.
De este modo:
_
b
a
) (r) dr = 0 ==) = 0.
.
Esto ltimo nos permite denir el producto interior de la siguiente manera:
Denicin.- Sean ), q T( [a, /], se dene el producto interior por:
), q =
_
b
a
) (r) q (r) dr
Ejercicio.- Vericar las propiedades del producto interior.
Denicin.- Sean ), q T( [a, /], se dene la norma por:
|)| =
_
), ) =
_
_
b
a
[) (r)]
2
dr
_1
2
y la distancia entre ) y q por:
d (), q) = |) q| =
_
_
b
a
[) (r) q (r)]
2
dr
_1
2
Ejemplo.-
En T( [0, ] para ) (r) = sinr se tiene |)| =
_
2
.
En T( [, ] para ) (r) = sinr se tiene |)| =
_
.
En el espacio mtrico T( [a, /] se introducen los conceptos de convergencia de
sucesiones y series en el sentido de la distancia dada en este espacio. La conver-
gencia en esta mtrica se llama convergencia en media o convergencia cuadrtica.
Denicin.- Sea )
n
n2N
una sucesin de elementos de T( [a, /]. Se dice que
)
n
n2N
converge en media a ), ) T( [a, /] si |)
n
)|
n!+1
0
Observacin.- |)
n
)|
n!+1
0 ==
_
b
a
[)
n
(r) ) (r)]
2
dr
n!+1
0
Teorema.- Considere ), )
n
T( [a, /] , : N. Si )
n
n2N
converge uniforme-
mente a ), entonces )
n
n2N
converge en media a ).
Demostracin.-(\r [a, /]) (\c 0) ( N) : _ ==
==[)
n
(r) ) (r)[ <
_
c
/ a
==[)
n
(r) ) (r)]
2
<
c
/ a
18
==
_
b
a
[)
n
(r) ) (r)]
2
dr _ c
por lo tanto
(\c 0) ( N) : _ ==
_
b
a
[)
n
(r) ) (r)]
2
dr _ c
lo que muestra que )
n
n2N
Nota.- No hay relacin entre la convergencia en media y la convergencia puntual.
Ejemplo.- La sucesin de polinomios denidos por j
n
(r) = r
n
, : N con-
verge en media a ) = 0 en T( [1, 1]. Sin embargo no converge puntualmente
a ) sobre [1, 1]
Indicacin.- j
n
(1) = 1
n!+1
1; j
n
(1) = (1)
n
diverge
Denicin.- Considere ), )
n
T( [a, /] , : N y 1
n
=
n
k=1
)
k
. Diremos que
la serie
+1
n=1
)
n
converge en media a ) si la sucesin de sumas parciales 1
n
n2N
Notacin.-
+1
n=1
)
n
~ ) (r) , r [a, /]
o
+1
n=1
)
n
= ) (r) [en media] , r [a, /]
Observacin.-
+1
n=1
)
n
~ ) (r) , r [a, /] ==
_
b
a
_
n
k=1
)
k
(r) ) (r)
_
2
dr
n!+1
0
1.4.1 Desarrollos Ortogonales
Denicin.- Sea o = ,
1
, ,
2
, ...., ,
k
, ..... un conjunto de funciones en T( [a, /].
Se dice que o es ortogonal si

,
i
, ,
j
_
= 0 para i ,= ,.
Si adems |,
i
| = 1 para cada i N, se dice que o es ortonormal.
Ejemplo.- o = sinr, cos r es ortogonal en T( [, ]
Solucin.- sinr, cos r =
_

sinrcos rdr = 0
Denicin.- Sea o = ,
1
, ,
2
, ....... Se dice que el conjunto o es linealmente
independiente (l.i.) si todo subconjunto nito de o tambin lo es.
19
Teorema.- Todo conjunto ortogonal en T( [a, /] que no contenga al vector nulo
es l.i.
Demostracin.- Sea o = ,
1
, ,
2
, ...... ortogonal en T( [a, /], considere al
subconjunto nito de o 1 =
_
,
i1
, ......, ,
in
_
y adems
c
1
,
i1
+c
2
,
i2
+...... +c
n
,
in
= 0
entonces
_
c
1
,
i1
+c
2
,
i2
+...... +c
n
,
in
, ,
ij
_
= c
j
_
_
_,
ij
_
_
_
2
. .
6=0
= 0
por lo tanto
c
j
= 0; , = 1, 2, ....., :
Esto prueba que 1 es l.i. y en consecuencia o es l.i.
Teorema.- Sea
_
,
j
_
j2N
un conjunto ortogonal innito en T( [a, /] y suponga-
mos que la serie
+1
k=1
c
k
,
k
(r) converge en media a una funcin ) T( [a, /]
sobre [a, /], entonces el /-simo coeciente est dado por
c
k
=
), ,
k
|,
k
|
2
es decir,
c
k
=
_
b
a
) (r) ,
k
(r) dr
_
b
a
[,
k
(r)]
2
dr
Idea de la demostracin.- Hace uso del concepto de mejor aproximacin en
media cuadrtica.
Idea intuitiva (solo para meditar).- c
n
|,
n
| = c
n
,
n
, ,
n
= c
n
,
n
, ,
n
=
=
_
p
i=1
c
ki
,
ki
, ,
n
_
donde /
j
= : para algn , = 1, 2, ...., j.
Observacin.-
1. La serie
+1
k=1
c
k
,
k
(r) se llama serie generalizada de Fourier de ) relativa al
sistema ortogonal o. Los nmeros c
1
, c
2
, ...., c
k
, .....se llaman coecientes
generalizados de Fourier de ) relativos a o.
2. Dada ) T( [a, /] existe una serie generalizada de Fourier asociada a ).
si dicha serie de Fourier converge en media a ) escribimos
+1
k=1
c
k
,
k
(r) ~ ) (r)
20
donde
c
k
=
), ,
k
|,
k
|
2
3.
+1
k=1
c
k
,
k
(r) ~ ) (r) sobre [a, /] == lim
n!+1
|o
n
)| = 0
con o
n
=
+1
k=1
c
k
,
k
== lim
n!+1
_
b
a
[o
n
(r) ) (r)]
2
dr = 0
1.4.2 Ortogonalidad c/r a una Funcin Ponderadora
Denicin.- Sea T = c
1
, c
2
, ...... _ T( [a, /]. Se dice que T es ortogonal en
T( [a, /] c/r a la funcin ponderadora j 0 si
_
b
a
j (r) c
i
(r) c
j
dr = 0; i ,= ,
Ejemplos.-
1. o = sin:r
+1
n=1
es ortogonal en T( [0, ]
Indicacin.- sincsin, =
1
2
[cos (c ,) cos (c +,)]
|sin:r| =
_
2
2. Sea T
n
(r) = cos [:arccos r] ; : = 1, 2, ........ El conjunto T
n
+1
n=0
llamado
de los polinomios de Tchebyshe es ortogonal en T( [1, 1] c/r a la funcin
ponderadora j (r) =
_
1 r
2
_
1
2
Indicacin.-
_
1
1
j (r) cos [:arccos r] dr
u=narccos x
=
1
:
_
0
n
cos ndn = 0
3. El conjunto T = 1, sinr, cos r, sin2r, cos 2r, .............. es ortogonal en
T( [, ] (o cualquier intervalo de longitud 2)
|1| =
_
2, |sin:r| =
_
, |cos :r| =
_
4. T =
_
1, sin
2
/ a
r, cos
2
/ a
r, ........., sin
2/
/ a
2r, cos
2/
/ a
2r, .........
_
es
ortogonal en T( [a, /].
21
.
Nota.-
1. Una funcin ) : [a, /] R se dice cuadrado integrable si
_
b
a
[) (r)]
2
dr < +
2. Para los clculos puede usar identidades trigonomtricas como:
cos :rcos :r =
1
2
[cos (: +:) + cos (: :)]
o
sin
2
c =
1
2
(1 cos 2c)
.
Ejercicios.-
1. Dado 1 0, o =
_
sin
:r
1
_
+1
n=1
es ortogonal sobre [0, 1]. Obtenga el
conjunto ortonormal asociado.
2. o =
_
1, sin
2:r
T
_
+1
n=1
es ortogonal sobre
_
2
,

2
_
.
3. o =
_
1, r,
1
2
_
3r
2
1
_
,
1
2
_
5r
3
3r
_
_
es ortogonal sobre [1, 1].
4. El conjunto o =
_
c
2x
sin:r
_
+1
n=1
es ortogonal c/r a la funcin pondera-
dora j (r) =
2
c
4x
.
1.4.3 Aproximacin en Media Cuadrtica
Teorema.- Sea o = ,
1
, ,
2
, ...... ortogonal en T( [a, /] y supongamos que
+1
n=1
c
n
,
n
(r) ~ ) (r) , ) T( [a, /]
Sean :
n
(r) =
n
k=1
c
k
,
k
(r) , : N; t
n
(r) =
n
k=1
/
k
,
k
(r) , : N y /
1
, /
2
, ......
constantes arbitrarias, entonces
_
b
a
[) (r) :
n
(r)]
2
dr _
_
b
a
[) (r) t
n
(r)]
2
dr
22
.
Observacin.-
1. |) t
n
|
2
=
_
b
a
[) (r) t
n
(r)]
2
dr
2. La integral
_
b
a
[) (r) t
n
(r)]
2
dr = |) t
n
|
2
mide el error medio cuadrtico
de esa aproximacin ( c.c.:. =
1
/ a
|) t
n
|
2
)
3. La suma parcial :
n
de la serie generalizada de Fourier de ) da origen a la
"mejor aproximacin" de ) (en el sentido que el error medio cuadrtico es
menor).
.
Denicin.- Sea o = ,
1
, ,
2
, ...... un conjunto ortogonal de funciones en T( [a, /].
Sea ) T( [a, /] y suponga que
+1
n=1
c
n
,
n
(r) es la serie generalizada de Fourier
de ) y sea :
n
(r) =
n
k=1
c
k
,
k
(r) , : = 1, 2, ...... Se dice que el conjunto ortogonal
o es completo si (\) T( [a, /]) se tiene que |:
n
)|
n!+1
0. (es decir, si la
serie generalizada de Fourier de ) converge en media a )).
Ejemplo.- Se puede probar que
o =
_
1, sin
2
/ a
r, cos
2
/ a
r, ........., sin
2/
/ a
2r, cos
2/
/ a
2r, .........
_
es completo en T( [a, /].
Indicacin.- Ver Introduccin al anlisis lineal Kreider-Kuller-Ostberg-Perkins,
pgina 392.
Teorema.- Sea o = ,
1
, ,
2
, ...... ortonornal en T( [a, /] y considere a cada
c
k
los coecientes generalizados de Fourier ) T( [a, /] relativos a o (es decir
c
k
= ), ,
k
), entonces:
1.
+1
n=1
(c
n
)
2
converge y
+1
n=1
(c
n
)
2
_
_
b
a
[) (r)]
2
dr (desigualdad de Bessel)
2. La igualdad en 1) vale (frmula de Parseval) ssi lim
n!+1
|) :
n
| = 0 (es
decir, si o es una base para T( [a, /] cuando ) es arbitraria). Ver Anlisis
Matemtico, Protter-Morrey, pg 458).
23
.
Observacin.- En T( [, ] la igualdad de Parseval queda
1
[) (r)]
2
dr =
a
2
0
2
+
+1
k=1
a
2
k
+/
2
k
donde a
k
y /
k
son los coeciente generalizados de Fourier de ).
Indicacin.- |)|
2
=
), 1
2
|1|
2
+
+1
k=1
_
), cos /r
2
|cos /r|
2
+
), sin/r
2
|sin/r|
2
_
con
), 1
2
|1|
=
a
2
0
2
;
), cos /r
2
|cos /r|
2
= a
2
k
;
), sin/r
2
|sin/r|
2
= /
2
k
(Ver Kreider-Kuller-Ostberg-Perkins, pgina 449)
1.5 Sistemas Trigonomtricos en T( [a; b]
En el espacio T( [, ] consideramos el sistema ortogonal completo
o = 1, sinr, cos r, ......, sin/r, cos /r, ........
llamado sistema trigonomtrico.
Si ) T( [, ], la serie generalizada de Fourir de ) c/r a o se denomina
serie trigonomtrica de Fourier o simplemente serie de Fourier y se escribe
) (r) ~
a
0
2
+
+1
n=1
a
n
cos :r +/
n
sin:r
donde los coecientes de Fourier estn dados por:
a
0
=
1
) (r) dr; a
n
=
1
) (r) cos :rdr; /

n
=
1
) (r) sin:rdr
Observacin.- La serie de Fourier de ) converge en media a ).
Ejemplos.-
1. Para /(r) = [r[ se tiene:
a
0
= ; a
n
=
_
0 , : par
4
:
2
, : impar
; /
n
= 0
/(r) = [r[ ~

2

4
+1
k=1
cos (2/ 1) r
(2/ 1)
2
2. Para ) (r) =
_
1 , < r < 0
1 , 0 < r <
, se tiene:
24
a
n
= 0; /
n
=
_
0 , : par
4
:
, : impar
) (r) ~
4
+1
k=1
sin(2/ 1) r
2/ 1
3. Para ) (r) = rsinr se tiene:
a
0
= 2; a
1
=
1
2
; a
n
=
2 (1)
n
:
2
1
; /
n
= 0
) (r) ~ 1
1
2
cos r 2
+1
n=2
(1)
n
:
2
1
cos :r
.
Nota.- Toda funcin ) : [a, a] R puede expresarse como la suma de una
funcin par ms otra impar: ) = )
E
+)
O
con
)
E
(r) =
) (r) +) (r)
2
; )
O
(r) =
) (r) ) (r)
2
Teorema.- Sea ) T( [, ] y supongamos que )
0
T( [, ], entonces la
serie de Fourier de ) converge puntualmente para cada r [, ] y tiene el
valor
)
_
r
+
0
_
+)
_
r
0
_
2
, en cada r
0
], [ y vale
) (
+
) +) (
)
2
en .
Observacin.- La demostracin de este teorema ser consecuencia de otro ms
general que veremos ms adelante.
Denicin.- Sea ) : [, ] R,se llama extensin peridica de ) a la fun-
cin que tambin denotaremos por ) tal que
) (r + 2) = ) (r) , r R
Teorema.- Supongamos que la serie de Fourier
a
0
2
+
+1
k=1
a
n
cos :r + /
n
sin:r,
converge puntualmente a ) T( [, ], entonces la serie de Fourier de )
converge puntualmente sobre R a la extensin peridica de ).
Demostracin.-
+1
k=1
a
n
cos :r +/
n
sin:r es peridica de perido 2.
Observacin.- En r = la serie de Fourier de ) converge a
) (
+
) +) (
)
2
.
Ejemplos.-
1. (a) Encontrar el desarrollo en serie de Fourier de la funcin denida por:
) (r) =
_
0 , < r < 0
r , 0 < r <
25
y diga a que valores converge para r = 0, r = , r =

2
.
(b) Demuestre que
+1
n=1
1
(2: 1)
2
=

2
8
Solucin.-
(a) ) (r) ~

4
+
+1
n=1
(1)
n
1
:
2
cos :r +
(1)
n+1
:
sinr
La serie de Fourier de ) converge a: ) (0) = 0 para r = 0; )
_
2
_
=

2
para r =

2
;
) (
+
) +) (
)
2
=

2
para r = .
(b) Se obtiene tomando en particular r = 0.
2. Graque el desarrollo en serie de Fourier de ) (r) =
_
0 , < r < 0
cos r , 0 _ r <
1.5.1 Series de Senos y Cosenos
Sea ) T( [0, ], entonces la extensin par y la extensin impar de ) estn
denidas respectivamente por:
1
f
(r) =
_
) (r) , 0 _ r _
) (r) , _ r _ 0
; O
f
(r) =
_
) (r) , 0 _ r _
) (r) , _ r _ 0
Puesto que 1
f
, O
f
T( [, ] se puede obtener el desarrollo en serie de Fourier
de de estas, los cuales estn denidos por:
1
f
(r) ~
a
0
2
+
+1
k=1
a
k
cos /r donde a
k
=
2
_

0
) (r) cos /rdr
O
f
(r) ~
+1
k=1
/
k
sin/r donde /
k
=
2
_

0
) (r) sin/rdr
Estas son llamadas desarrollos en serie de Fourier de coseno y de seno de ) res-
pectivamente
Ejemplo.-Encontrar el desarrollo en serie de Fourier de seno y de coseno de
) (r) = cos r, 0 < r < .
Solucin.- O
f
(r) =
_
cos r , 0 < r <
cos r , < r < 0
O
f
(r) ~ sinr
4
+1
n=1
:
4:
2
1
sin2:r; 1
f
(r) ~ cos r
Ejercicios.-
I) 1) Hallar el desarrollo en serie de Fourier de ). Trazar la grca.
26
a) ) (r) =
_
1 , < r < 0
1
2
, 0 < r <
b) ) (r) =
_
r
1
2
, _ r _
1
2
0 ,
1
2
< r _
1
2
r
1
2
,
1
2
< r _
c) ) (r) = [sinr[ , _ r _
d) ) (r) = ( r) ( +r) , _ r _
2) a) Halle el desarrollo en serie de Fourier de
) (r) =
_
0 , < r _ 0
r
2
, 0 < r <
b) Demostrar que:

2
6
= 1 +
1
2
2
+
1
3
2
+
1
4
2
+...........
3) Considere las series de Fourier de las funciones ) y q. Averigue cual
es la serie de Fourier de la funcin denida por c) (r) + ,q (r) con
c, , R.
4) Pruebe que la serie de Fourier de ) (r) =
_
0 , < r < 0
1 , 0 < r <
y
q (r) =
r
, < r < , son respectivamente:

1
2
+
2
+1
k=1
sin(2/ 1) r
2/ 1
y
2
+1
k=1
(1)
k1
k
sin/r
II) 1) Hallar el desarrollo en serie de Fourier de cosenos de
) (r) = sinr, 0 < r <
2) Hallar el desarrollo en serie de Fourier de cosenos de
) (r) = c
x
, 0 < r <
3) Hallar el desarrollo en serie de Fourier de senos de
) (r) = c
x
, 0 < r <
4) Use el desarrollo en serie de Fourier de senos de ) (r) = cos r, para
mostrar que:
_
2
16
=
1
2
2
1

3
6
2
1
+
5
10
2
1

7
14
2
1
+..............
27
1.6 Cambio de intervalos
Consideremos ahora el sistema ortogonal completo en T( [a, /] ,
o =
_
1, sin
2
/ a
r, cos
2
/ a
r, ..........., sin
2/
/ a
r, cos
2/
/ a
r, ........
_
llamado sistema trigonomtrico.
Sea ) T( [a, /], entonces la serie generalizada de Fourier de ) c/r a o se
denomina serie trigonomtrica o simplemente serie de Fourier y se escribe:
) (r) s
a
0
2
+
+1
k=1
a
k
cos
2/
/ a
r +/
k
sin
2/
/ a
r
donde
a
k
=
_
), cos
2k
ba
r
_
_
_
_cos
2k
ba
r
_
_
_
2
=
2
/ a
_
b
a
) (r) cos
2/
/ a
rdr; / = 1, 2, , .........
/
k
=
_
), sin
2k
ba
r
_
_
_
_sin
2k
ba
r
_
_
_
2
=
2
/ a
_
b
a
) (r) sin
2/
/ a
rdr; / = 1, 2, , .........
Ejemplo.- Encontrar el desarrollo en serie de Fourier de
) (r) =
_
1 , 8 < r < 9
10 r , 9 < r < 10
Solucin.- ) (r) s
3
4
+
+1
k=1
_
(1)
k
1
/
2
2
cos /r +
1
/
sin/r
_
Ejercicios.-
1. Hallar el desarrollo en serie de Fourier de la funcin denida por
) (r) =
_
_
_
0 , 2 < r < 1
[r[ , 1 < r < 1
0 , 1 < r < 2
y trazar la grca a la cual la serie de Fourier converge sobre [8, 8].
2. Hallar la serie de Fourier que slo contenga trminos seno y que converja
puntualmente a la funcin denida por ) (r) = r 1 para 1 < r < 2.
1.7 Condiciones de convergencia de las series de Fourier
Respecto de la convergencia de las series de Fourier podemos enunciar los sigu-
ientes resultados.
28
.
Teorema 1.- Sea ) una funcin continua por tramos sobre ], +[, peridica
y sea ) (r) =
1
2
[) (r
+
+) (r
))] para cada r R. Entonces para cada punto

r
0
donde ) tenga derivada por la derecha y por la izquierda, ambas nitas, el
desarrollo en serie de Fourier de ) converge a ) (r
0
).
Teorema 2.- Sea ) una funcin continua sobre ], +[ peridica y suponga
que ) tiene una primera derivada continua por tramos, entonces la serie de
Fourier de ) converge uniformemente y absolutamente a ) sobre cada intervalo
cerrado del eje r.
Teorema 3.- Sea ) peridica sobre ], +[ con 1
ra
derivada continua por
tramos. Entonces la la serie de Fourier de ) converge uniformemente a ) sobre
cualquier intervalo cerrado del eje r que no contenga un punto de discontinuidad
de ).
Teorema 4.- Si ) T( (R) y peridica, entonces su serie de Fourier converge en
media a ) sobre R.
Ejemplo.- Dada la funcin peridica denida por:
) (r) =
_
3r , < r < 0
2r + 1 , 0 _ r <
, ) (r + 2) = ) (r)
Diga si la la serie de Fourier de ):
1. converge en media
2. converge puntualmente
3. converge uniformemente
Solucin.-
1. converge en media a )
2. converge puntualmente a
1
2
[) (r
+
) +) (r
)]
3. no converge uniformemente (a )) (ya que ) no es continua).
1.8 Derivacin e integracin de series de Fourier
Teorema.- Sea ) ( ], +[, peridica y supongamos que )
0
es continua por
tramos. Entonces la serie Fourier para )
0
puede obtenerse derivando trmino a
trmino la serie para ), y la serie derivada converge puntualmente a )
0
siempre
que )
00
exista.
29
Teorema.- Sea ) una funcin continua por tramos sobre ], +[, peridica
con perido 21 y suponga que
) (r) s
a
0
2
+
+1
k=1
_
a
k
cos
/
1
r +/
k
sin
/
1
r
_
Entonces:
i) La serie puede ser integrada trmino a trmino y adems
_
L
L
) (r) dr =
_
L
L
a
0
2
dr +
+1
k=1
_
a
k
_
L
L
cos
:
1
rdr +/
k
_
L
L
sin
:
1
rdr
_
ii) La funcin denida por 1 (r) =
_
x
0
) (t) dt, 1 < r < 1, tiene una serie
que converge por puntos para cada r [1, 1] y esta serie puede ser obtenida
integrando trmino a trmino.
Ejemplos.-
1. Encontrar el desarrollo en serie de Fourier de:
(a) ) (r) = r, < r <
(b) 1 (r) = r
2
, r [, ]
Solucin.-
(a) ) (r) = 2
+1
n=1
(1)
n
sin:r
:
, < r <
(b) La extensin peridica de ) es continua por tramos sobre ], +[,
con perido 2.
Por lo tanto
1 (r) = 2
_
x
0
) (t) dt = 4
+1
n=1
(1)
n
:
2
4
+1
n=1
(1)
n
:
2
cos :r
Para r =

2
; 1
_
2
_
=

2
4
= 4
+1
n=1
(1)
n
:
2
4
+1
k=1
(1)
k
4/
2
= 3
+1
n=1
(1)
n
:
2
Finalmente: 1 (r) =

2
3
+ 4
+1
n=1
(1)
n
:
2
cos :r
2. Encontrar el desarrollo en serie de Fourier de:
(a) /(r) = [r[
(b) ) (r) =
_
_
r
2
r
2
, 0 _ r _
r
2
r
2
, _ r < 0
(c) q (r) =
_
1 , _ r < 0
+1 , 0 < r _
30
Solucin.-
(a) /(r) = [r[ =

2

4
+1
k=1
cos (2/ 1) r
(2/ 1)
2
, _ r _
(b) La extensin peridica de / es continua (por tramos) sobre ], +[
con perido 2.
De esta manera
_
x
0
/(t) dt =
_
_
r
2
2
, 0 < r <
r
2
2
, < r < 0
=

2
t,
x
0
+1
n=1
sin(2/ 1) r
(2/ 1)
3
Por lo tanto
) (r) =
_
_
r
2
r
2
, 0 < r <
r
2
r
2
, < r < 0
=
4
+1
n=1
sin(2/ 1) r
(2/ 1)
3
(c) / es continua sobre ], +[ y /
0
es continua por tramos. Por lo
tanto
q (r) = /
0
(r) ~
4
+1
n=1
sin(2/ 1) r
2/ 1
1.9 Problemas de Sturm - Lioville
Denicin.- Una trasformacin lineal 1 : (
n
(1) ( (1) es un operador diferencial
lineal (O.D:L.) de orden : sobre un intervalo 1 si
1 = a
n
(r) 1
n
+a
n1
(r) 1
n1
+........... +a
1
(r) 1 +a
0
(r)
donde a
0
, a
1
, ......., a
n
( (1) y a
n
(r) no es identicamente nula sobre 1. En
notacin se escribe 1
k
=
d
k
dr
k
; / = 0, 1, 2, ......., : (1
0
= 1).
Observacin.- Si ) (
n
(1), entonces
1) (r) = a
n
(r)
d
n
) (r)
dr
n
+a
n1
(r)
d
n1
) (r)
dr
n1
+...........+a
1
(r)
d) (r)
dr
+a
0
(r) ) (r)
Denicin.- Se llama problema con valores en la frontera para ecuaciones diferen-
ciales lineales de 2
orden a una ecuacin del tipo

i) 1j = /
con 1 un O.D.L. de 2
do
orden denido sobre [a, /] y / ( [a, /]; junto a un par
de condiciones de puntos extremos de la forma
ii) c
1
j (a) +c
2
j (/) +c
3
j
0
(a) +c
4
j
0
(/) =
1
,
1
j (a) +,
2
j (/) +,
3
j
0
(a) +,
4
j
0
(/) =
2
,
donde c
i
, ,
i
,
j
son constantes para i = 1, 2, 3, 4; , = 1, 2.
31
.
Observacin.-
1. Para evitar soluciones triviales se exige que al menos uno de los c
i
y al
menos uno de los ,
i
sean distintos de cero.
2. Para tener un P.V.F. y un no P.V.I., ii) debe contener trminos no nulos
incluyendo a c/u de los extremos del intervalo.
3. Las condiciones de frontera se dicen homogeneas si
1
=
2
= 0.
4. El conjunto de las funciones 2 veces diferenciables sobre [a, /] que satisfacen
i) y ii) con / = 0 y
1
=
2
= 0 (homogeneas) es un subespacio de (
2
[a, /].
Denotamos por o a este conjunto. (o _ (
2
[a, /]).
5. Las soluciones de un P.V.F. cuyo operador diferencial lineal es
1 :( [a, /]
estn relacionadas con las soluciones de la ecuacin
1j = `j
donde ` es un parmetro desconocido.
6. Los valores de ` para los cuales la ecuacin 1j = `j tiene soluciones no
nulas se llaman valores propios o caractersticos. Para cada valor pro-
pio `
0
las funciones j o no nulas que satisfacen 1j = `
0
j se llaman
funciones propias o caractersticas de 1 correspondientes a `
0
.
7. El conjunto de todos los valores propios se llama espectro de 1.
8. Si 1 = a
2
(r) 1
2
+a
1
(r) 1 +a
0
(r), entonces:
1j = `j ==a
2
(r) j
00
+a
1
(r) j
0
+ [a
0
(r) `] j = 0
.
Ejemplo.- Resolver el P.V.C.
j
00
+`j = 0; j (0) = j () = 0
Solucin.-
Ecuacin caracterstica: r
2
+` = 0
r =
_
`
Para ` < 0.- j (r) = c
1
c
p
x
+c
2
c
p
x
j (0) = 0
j () = 0
c
1
= c
2
= 0 Solucin trivial
32
Para ` = 0.- j (r) = c
1
+c
2
r
j (0) = 0
j () = 0
c
1
= c
2
= 0 Solucin trivial
Para ` 0.- r = i
_
`
j (r) = c
1
cos
_
`r +c
2
sin
_
`r
j (0) = 0
j () = 0
j (0) = 0 ==c
1
= 0
j () = 0
c26=0
== sin
_
` = :, : N ==` = :
2
; : = 1, 2, 3, ........
Por lo tanto j (r) = c sin:r, c R.
Ejercicio.- Resolver: j
00
+ 2j
0
+`j = 0; j (0) = j () = 0
Denicin.- Sea 1 : o \ lineal, o _ \ y \ espacio euclidiano. Se dice
que 1 es simtrico c/r al producto interior de \ si
(\r, j o) 1r, j = r, 1j
Nota.- Si ), q ( [a, /] , ), q =
_
b
a
) (r) q (r) dr
Teorema.- Cada par de vectores propios correspondientes a valores propios dife-
rentes de una transformacin lineal simtrica 1 : o \ son ortogonales en \ .
Indicacin.- (caso real)
Sean `
1
y `
2
valores propios distintos de 1. Sean j
1
e j
2
funciones propias
asociadas a `
1
y `
2
rspectivamente.
1j
2
, j
1
= `
2
j
2
, j
1
= j
2
, 1j
1
= `
1
j
2
, j
1
= `
1
j
1
, j
2
Por lo tanto (`
1
`
2
) j
1
, j
2
= 0 con lo que se obtiene j
1
, j
2
= 0.
Observacin.- Todos los valores propios correspondientes a un operador diferen-
cial simtrico son reales.
Indicacin.- Suponemos 1j = `j.
1j, j = `|j|
2
= j, 1j = j, `j = `j, j = `|j|
2
.
Denicin.-Se dice que un operador diferencial lineal de 2
o
orden 1 denido
sobre [a, /] es autoadjunto si puede escribirse
1 = 1(j (r) 1) + (r)
donde j (
1
[a, /] es tal que (\r [a, /]) j (r) 0 (o j (r) < 0) y ( [a, /].
Observacin.- Si 1 = a
2
(r) 1
2
+ a
1
(r) 1 + a
0
(r), entonces 1 puede expre-
sarse en forma autoadjunta haciendo
j (r) = c
R
a
1
(x)
a
2
(x)
dx
; (r) =
a
0
(r)
a
2
(r)
j (r) ; a
2
(r) ,= 0
33
Ejercicios.-
1. Expresar en forma autoadjunta
a) 1
2
+
1
r
1 + 1, r 0 b) cos r1
2
+ sinr1 1,
2
< r <

2
2. Sean \ = T [0, 1] y j, =
_
1
0
j (r) (r) dr. Determine si 1 es simtrica.
a) 1j (r) = rj (r) b) 1j (r) =
j (r) j (r)
2
c) 1j (r) = j
0
(r)
.
Teorema.- Sea o _ (
2
[a, /] determinado por un par de condiciones de frontera
homogeneas
c
1
j (a) +c
2
j (/) +c
3
j
0
(a) +c
4
j
0
(/) = 0
,
1
j (a) +,
2
j (/) +,
3
j
0
(a) +,
4
j
0
(/) = 0
y sea 1 cualquier operador lineal autoadjunto de o en ( [a, /]. Entonces 1 es
simtrico (c/r al p.i. de ( [a, /]) ssi
* j (r) (j
1
j
0
2
j
0
1
j
2
) ,
b
a
= 0 para cada j
1
, j
2
o.
La demostracin del teorema se basa en el siguiente:
Lema (Identidad de Lagrange)
Suponiendo que 1 = 1(j (r) 1)+ (r) es un O.D.L. autoadjunto sobre [a, /]
y si j
1
, j
2
(
2
[a, /], entonces
j
1
1(j
2
) (1j
1
) j
2
= (j (j
1
j
0
2
j
0
1
j
2
))
0
Observacin.-
1. Si j (a) = j (/) = 0 (o j (a) = j (/) = 0), entonces se satisface (*) y
o = (
2
[a, /].
2. Sea o el conjunto de todas las j (
2
[a, /] tal que
c
1
j (a) +c
2
j
0
(a) = 0
,
1
j (/) +,
2
j
0
(/) = 0
_
con [c
1
[ +[c
2
[ , = 0, [,
1
[ +[,
2
[ , = 0
Entonces \j
1
, j
2
o se tiene:
j
1
(a) j
0
2
(a) j
2
(a) j
0
1
(a) = 0
j
1
(/) j
0
2
(/) j
2
(/) j
0
1
(/) = 0
y luego (*) se verica en o.
Demostracin.-
c
1
j
1
(a) +c
2
j
0
1
(a) = 0
c
1
j
2
(a) +c
2
j
0
2
(a) = 0
_
_
_
,
j
0
2
(a)
c
1
,
j
0
1
(a)
c
1
34
j
1
(a) j
0
2
(a) +
c
2
c
1
j
0
1
(a) j
0
2
(a) = 0
j
2
(a) j
0
1
(a) +
c
2
c
1
j
0
1
(a) j
0
2
(a) = 0
Por lo tanto: j
1
(a) j
0
2
(a) j
2
(a) j
0
1
(a) = 0
3. Una condicin de frontera de la forma
c
1
j (a) +c
2
j
0
(a) = 0
que involucra los valores de j e j
0
en un solo punto se denomina no mixta.
4. Supongamos que j (a) = j (/) y sea o el subespacio de (
2
[a, /] de las
funciones que verican
j (a) = j (/) . j
0
(a) = j
0
(/)
Entonces (*) se verica para cada j
1
, j
2
o. Estas condiciones se conocen
como condiciones peridicas.
.
Ejemplos.-
1. Sea 1 = 1
2
denido en el subespacio o de (
2
[0, 2] caracterizado por
las condiciones de frontera
j (0) = j (2)
j
0
(0) = j
0
(2)
Se tiene:
1 = 1
2
+ 0 1 + 0
j (r) = c
R
0dx
= 1; (r) = 0 j (r) = 0
1 = 1(1) = 0: Forma autoadjunta de 1.
j (0) = j (2) = 1 y las condiciones de de frontera son peridicas en o.
Por lo tanto 1 es simtrico.
Observacin.- Puesto que 1 es lineal, autoadjunto y simtrico, entonces
sus valores propios son reales y sus funciones propias asociadas a valores
propios diferentes son ortogonales.
2. Encuentre los valores propios y funciones propias de 1 = 1
2
en el subes-
pacio o =
_
j (
2
[0, ] : j (0) = 0, j () = 0
_
.
Solucin.- Las condiciones de frontera son no mixtas. 1 es simtrico y
los valores propios son reales. Las funciones propias asociadas a valores
propios diferentes son ortogonales.
1j = `j
j
00
= `j
j
00
+`j = 0
35
Ecuacin caracterstica: r
2
+` = 0
r =
_
`
Del ejemplo anterior:
` < 0.- solucin trivial
` = 0 es un valor propio, j
0
(r) = c, con c = ctc. (funciones propias)
` 0.- Valores propios, `
n
= :
2
; : = 1, 2, 3, .........
j
n
(r) = c
n
sin:r.
.
Ejercicio.- Sea 1 = 1
2
y o =
_
j (
2
[0, 2] : j (0) = j (2) , j
0
(0) = j
0
(2)
_
.
Encontrar los valores propios y las funciones propias de 1.
Indicacin.- j
00
+`j = 0; j (0) = j (2)
j
0
(0) = j
0
(2)
Se tiene: j (0) = j (2) y condiciones peridicas
` < 0.- solucin trivial
` = 0.- j
0
= c
0
; c
0
= ctc. (funcin propia asociada `
0
= 0)
` 0.- j
n
(r) = c
n1
sin:r + c
n2
cos :r. Funcin propia asociada al valor
propio `
n
= :
2
; : = 1, 2, 3, .........
Denicicin.- Los problemas con valores en la frontera que involucran operado-
res diferenciales lineales autoadjuntos con funciones propias mutuamente ortog-
onales se llaman problemas o sistemas de Sturm-Liouville.
Observacin.-
1. Los problemas anteriores son sistemas de Sturm-Liouville.
2. Ms generalmente un problema (o sistema) de S-L es una ecuacin difer-
encial lineal homogenea de 2
o
orden de la forma
1(j (r) 1) + [ (r) `] j = 0
j (
1
[a, /] es tal que (\r ]a, /[) j (r) ,= 0; ( [a, /]; y un par de
condiciones de frontera homogeneas escogidas de tal forma que las fun-
ciones propias correspondientes a valores propios diferentes para el oper-
ador 1 = 1(j (r) 1) + (r) sean ortogonales.
.
Ejercicio.- Resolver el S-S-L
1. j
00
+`j = 0; j (0) = 0
j (1) = 0
2. j
00
+`j = 0; j (0) = 0
j (1) = 0
36
Solucin.-
1. `
n
=
:
2
2
1
2
; : = 1, 2, 3, .........j
n
(r) = c
n
sin
:r
1
; : = 1, 2, 3, ........
2. `
n
=
:
2
2
1
2
; : = 0, 1, 2, .........j
n
(r) = c
n
cos
:r
1
; : = 0, 1, 2, ........
1.9.1 Problemas con valores en la frontera y desarrollos en serie
Antes de formular el problema daremos el siguiente
Teorema.- Sea 1 un O.D.L. de 2
o
orden denido sobre [a, /]. Sea o _ (
2
[a, /]
des-
crito por un par de condiciones no mixtas, entonces 1 tiene una sucesin innita
de valores propios reales `
n
tales que [`
0
[ < [`
1
[ < .......... y lim
n!+1
[`
n
[ = +.
Adems los subespacios de ( [a, /] asciados con cada `
n
son todos de dimensin
1, cualquier conjunto completo de funciones propias para 1 ( una por cada valor
propio) es una base para ( [a, /] y el desarrollo en serie de cualquier funcin "j"
seccionalmente suave sobre [a, /] relativa a tal base converge uniforme y absolu-
tamente a j en cualquier subintervalo cerrado en el cual j sea continua.
Supongamos ahora se requiere resolver el problema
(1) 1j = /; / ( [a, /] , j o _ (
2
[a, /]
con condiciones de frontera
c
1
j (a) +c
2
j (/) +c
3
j
0
(a) +c
4
j
0
(/) = 0
,
1
j (a) +,
2
j (/) +,
3
j
0
(a) +,
4
j
0
(/) = 0
Sean `
0
, `
1
, ............ los valores propios para 1. ...(2)
y sean ,
0
(r) , ,
1
(r) , ............ funciones propias correspondientes a cada `
n
.
Supongamos que cada conjunto es completo en ( [a, /]. Se tiene:
(4) /(r) =
+1
n=0
c
n
,
n
(r) (en media)
(5) c
n
=
/, ,
n
|,
n
|
2
=
_
b
a
/(r) ,
n
(r) dr
_
b
a
,
2
n
(r) dr
y si hacemos
(6) j (r) =
+1
n=0
c
n
,
n
(r), con c
n
por determinar, entonces j (r) ser solucin
de (1) cuando c
n
`
n
= c
n
( reemplazando (6) en (1) )
Observacin.- Con el valor de c
n
dado por (6), la serie
+1
n=0
c
n
,
n
(r) dene
una funcin en (
2
[a, /] cuya derivada puede calcularse trmino a trmino.
37
Ejemplo.- Determine sobre o =
_
j (
2
[0, ] : j (0) = j () = 0
_
_ (
2
[0, ]
las soluciones de la ecuacin
j
00
= r
Solucin.- 1 = 1
2
1j = `j ==j
00
+`j = 0
Se obtiene: `
n
= :
2
y ,
n
(r) = sin:r; : = 1, 2, .........
La solucin de la ecuacin j
00
= r sobre o es:
j (r) =
+1
n=1
c
n
,
n
(r)
[ya que o est determinado por un par de condiciones no mixtas], donde
c
n
=
c
n
`
n
y c
n
=
r, ,
n
(r)
|,
n
(r)|
2
= 2
(1)
n+1
:
Por lo tanto c
n
= 2
(1)
n
:
3
e j (r) = 2
+1
n=1
(1)
n
:
3
sin:r
1.10 Ortogonalidad y funcin peso
Esta es una generalizacin del problema con valores en la frontera. Considera-
mos ahora:
i) Una E.D.L. homogenea de 2
orden de la forma
d
dr
_
j (r)
dj
dr
_
+ [ (r) `r (r)] j = 0
denida sobre [a, /], y
ii) Un par de condiciones de frontera homogeneas que sirven para determi-
nar el espacio dominio para el O.D.L.denido por 1 = 1(j (r) 1) + (r), con
j (
1
[a, /] , ( [a, /] , j (r) ,= 0 sobre ]a, /[ , r es continua y r (r) = 0 a lo ms
en un nmero nito de puntos de [a, /].
Denicin.- Los valores de ` para los cuales el problema anterior tiene soluciones
no nulas asociadas se llaman valores propios, las funciones no nulas asociadas
se llaman funciones propias de 1.
Denicin.-
1. Si ), q ( [a, /], la expresin
), q =
_
b
a
r (r) ) (r) q (r) dr
dene un producto interior (calculado c/r a la funcin peso)
38
2. ) y q son ortogonales c/r a la funcin peso en ( [a, /] ssi ), q = 0.
.
Teorema.- Sea 1 un O.D.L. autoadjunto sobre [a, /] y r una funcin peso sobre
[a, /]. Sea o _ (
2
[a, /] tal que
\j
1
, j
2
o : j (r) [j
1
(r) j
0
2
(r) j
2
(r) j
0
1
(r)]
b
a
= 0
Entonces cualquier conjunto de funciones propias correspondiente a valores pro-
pios diferentes para el problema de S-L
1j = `rj
es ortogonal sobre ( [a, /] cuando el producto interior es calculado c/r a la fun-
cin peso r.
Observacin.-
1. En general 1 no es simtrico sobre o.
2. La ortogonalidad de las funciones propias est garantizada si se tiene una
de las condiciones siguientes:
i) j (a) = j (/) = 0
ii) condiciones de frontera no mixtas
iii) j (a) = j (/) y condiciones peridicas
3. Si (\:) `
n
,= 0 y (\r [a, /]) r (r) 0, entonces existe una base de fun-
ciones propias de 1 para ( [a, /].
.
Ejemplos.-
1. Muestre que el P.V.F. es un S-S-L.
4j
00
4j
0
+ (1 `) j = 0; j (0) = 0, j (1) = 0
Solucin.- j (r) = c
R
a
1
(x)
a
2
(x)
dx
= c
x
; (r) =
a0(x)
a2(x)
j (r) =
1
4
c
x
4j
00
4j
0
+ (1 +`) j = 0
j
00
j
0
+
1
4
j =
`
4
j /j (r)
c
x
j
00
c
x
j
0
+
1
4
c
x
j =
`
4
c
x
j
d
dr
(c
x
j
0
) +
1
4
c
x
j =
`
4
c
x
j
d
dr
(4c
x
j
0
) +c
x
j = `c
x
j
Por lo tanto r (r) = c
x
Dado que las condiciones de frontera son no mixtas, las funciones propias
son ortogonales c/r a la funcin peso r (r) = c
x
en ( [0, 1].
39
2. Encontrar los valores propios y las funciones propias para el S-S-L del
problema 1).
Indicacin.-
4j
00
4j
0
+ (1 +`) j = 0
Ecuacin caracterstica: 4r
2
4r + (1 +`) j = 0
r =
1
2

1
2
_
`
` < 0.- j (r) = c
1
c
1
2
+
1
2
p
!
x
+c
2
c
1
2
1
2
p
!
x
j (1) = j (1) = 0 == solucin trivial
` = 0.- j (r) = c
1
c
1
2
x
+c
2
rc
1
2
x
j (1) = j (1) = 0 == solucin trivial
` 0.- j (r) = c
1
2
x
_
c
1
cos
_
`
2
r +c
2
sin
_
`
2
r
_
j (1) = 0
j (1) = 0
c
1
cos
_
`
2
c
2
sin
_
`
2
= 0
c
1
cos
_
`
2
+c
2
sin
_
`
2
= 0
(1)
(2)
(1) + (2) : j
2n1
= c
1
2
x
sin(2: 1)

2
r es una funcin propia asociada al
valor propio `
2n1
= (2: 1)
2
.
(2)(1) : j
2n
= c
1
2
x
cos :r es una funcin propia asociada al valor propio
`
2n
= 2:
Las funciones propias son ortogonales?.
Ejercicios.-
1. (a) Hallar la S.G. de F. para ) (r) = rc
2x
en trminos de las funciones
propias del S-S-L:
j
00
+ 4j
0
+ (5 `) j = 0
j (0) = j (1) = 0
(b) Hallar la solucin del P.V.C.
j
00
+ 4j
0
+ 5j = rc
2x
j (0) = 0; j (1) = 0
2. Exprese cada uno de los siguientes operadores diferenciales lineales en
forma autoadjunta:
40
(a) 1
2
+
1
r
1 + 1; r 0
(b) (cos r) 1
2
+ (sinr) 1 1;
2
< r <

2
(c) r
2
1
2
+r1 +
_
r
2
j
2
_
; r 0, j R
(d)
_
1 r
2
_
1
2
2r1 +:(: + 1) ; 1 < r < 1 para : = 1, 2, 3, ..........
3. Hallar todos los valores propios y funciones propias de los S-S-L
(a) j
00
+`j = 0; j (0) = j () = 0
(b) j
00
+`j = 0; j (0) = j
0
(1) = 0
(c) j
00
+`j = 0; j
0
(0) = j
0
() = 0
(d) j
00
+`j = 0; j (1) = j (0) +j
0
(0)
(e) j
00
+`j = 0; j (1) = j (1) , j
0
(1) = j
0
(1)
(f) j
00
+`j = 0; j (0) = j (2) , j
0
(0) = j
0
(2)
(g) j
00
+`j = 0; j (0) = j () , j
0
(0) = j
0
()
(h) j
00
+j
0
+ (1 +`) j = 0; j (0) = j (1) = 0
(i) j
00
+ 2j
0
+ (1 `) j = 0; j (0) = j
0
(1) = 0
(j) j
00
3j
0
+ 3 (1 +`) j = 0;
(k) r
2
j
00
+ 3rj
0
+`j = 0; j (1) = 0, j (c) = 0
(l)
d
dr
_
(2 +r)
2
j
0
_
+ +`j = 0; j (1) = 0, j (1) = 0
(m)
_
1 +r
2
_
j
00
+ 2 (1 +r) j
0
+ 3`j = 0; j (0) = 0, j (1) = 0
4. Determinar todos los valores propios y las funciones propias de los S-S-L:
(a) r
2
j
00
+rj
0
+`j = 0; j (1) = 0, j e j
0
son acotadas en r = 0.
(b) j
00
+`j = 0; j (0) = 0, j e j
0
son acotadas en el innito.
5. (a) Probar que el PVC:
d
4
j
dr
4
n
2
j = 0; j (0) = j (1) = 0, j
0
(0) = j
0
(1) = 0
tiene soluciones no triviales ssi cos
_
n =
1
cosh
_
n
(b) Se pide usar la tcnica de hallar grcamente los valores propios
para demostrar que est PVC tiene innitos valores propios no nega-
tivos `
n
; : = 1, 2, 3, ......... Como se cpmportan estos valores propios
cuando : +?.
(c) Cul es la solucin general del PVC correspondiente al valor propio
`
n
?.
41
6. 1 = 1
4
y o es el subespacio de (
4
[a, /] que consiste de todas las funciones
"j" tales que: j (a) = j
00
(a) = j (/) = j
00
(/) = 0.
(a) Demostrar que: j
1
(1j
2
) j
2
(1j
1
) = [j
1
j
000
2
j
2
j
000
1
j
0
1
j
00
2
+j
0
2
j
00
1
]
0
para j
1
, j
2
o.
(b) Usar el resultado de la parte a) para probar que las funcione propias
correspondientes a diferentes valores propios para el PVC
1 : o ( [a, /]
son ortogonales.
7. Transforme cada una de las siguientes EDO en la forma autoadjunta equiv-
alente:
(a) La ecuacin de Laguerre: rj
00
+ (1 r) j
0
+:j = 0; : = 0, 1, 2, ........
(b) La ecuacin de Hermite: j
00
2rj
0
+ 2:j = 0; : = 0, 1, 2, ........
(c) La ecuacin de Tchebyche:
_
1 +r
2
_
j
00
rj
0
+:
2
j = 0 : : = 0, 1, 2, ........
8. Pruebe que: Si (r) y j (r) son continuas y j (r) es dos veces continua-
mente diferenciable sobre [a, /], entonces las soluciones del S-S-L de cuarto
orden
[j (r) j
00
(r)]
00
+ [ (r) +`j (r)] j (r) = 0
_
a
1
j +a
2
(jj
00
)
0
x=a
= 0,
_
/
1
j +a
2
(jj
00
)
0
x=b
= 0
_
c
1
j +c
2
(jj
00
)
0
x=a
= 0,
_
d
1
j +d
2
(jj
00
)
0
x=b
= 0
con a
2
1
+ a
2
2
,= 0, /
2
1
+ /
2
2
,= 0, c
2
1
+ c
2
2
,= 0 son ortogonales c/r a la funcin
peso j sobre [a, /].
9. En cada uno de los siguientes PVC hallar las funciones, los valores propios
y determinar en cada caso un subespacio euclidiano en el que un conjunto
completo de funciones propias para el problema dado sea un conjunto
ortogonal.
(a) j
00
+ (1 +`) j = 0; j (0) = j () = 0
(b) j
00
+ (1 `) j = 0; j
0
(0) = j
0
(1) = 0
(c) j
00
+ 2j
0
+ (1 `) j = 0; j (0) = j (1) = 0
(d) j
00
4j
0
+ (4 `) j = 0; j (0) = j () = 0
(e) 4j
00
4j
0
+ (1 `) j = 0; j (1) = j (1) = 0
(f) j
00
+ (1 `) j = 0; j (0) +j
0
(0) = 0, j (1) +j
0
(1) = 0
(g) j
00
+ 2j
0
+ (1 `) j = 0; j
0
(0) = j
0
(1) = 0
(h) j
00
3j
0
+ 2 (1 +`) j = 0; j (0) = j (1) = 0
(i) j
00
+ 4j
0
+ (4 9`) j = 0; j (0) = j (a) = 0
42
10. Hallar el desarrollo formal en serie de la solucin de los siguientes PVC en
trminos de las funciones propias del S-S-L asociado:
(a) j
00
= r(r 2) ; j (0) = 0, j
0
() = 0
(b) j
00
= r
2
2
; j
0
(0) = j () = 0
(c) j
00
= sin
:r
1
; j
0
(0) = 0, j
0
(1) = 0
(d) j
00
= sin
:r
1
; j (0) = 0, j
0
(1) = 0
(e) j
00
=
_
_
_
r , 0 _ r <

2
r

2
,
2
< r _
; j (0) = j () = 0
(f) j
00
+j = 1; j (0) = j (1) = 0
(g) j
00
+ 4j = c
x
; j (0) = j
0
(1) = 0
(h) j
00
= sinr; j (0) = 0, j (1) + 2j
0
(1) = 0
.
Complementos de Clculo -521236
28 de Julio de 2009
JRC
43
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
2 Ecuaciones en derivadas parciales
2.1 Introduccin
Una ecuacin que involucra una o ms derivadas parciales de una funcin (in-
cgnita) de dos o ms variables se llama Ecuacin Diferencial Parcial (E.D.P.)
El orden de una E.D.P. es el orden de la mayor derivada parcial que aparece en
la ecuacin.
Se dice que una E.D.P. es lineal si el operador correspondiente es lineal.
La mayora de las leyes de la Fsica son E.D.P. Las ecuaciones de Maxwell, la ley
de enfriamiento de Newton, las leyes de kepler, la ecuacin de Navier - Stokes, la
ecuacin del momentum de Newton, la ecuacin de Schdinger de la mecnica
cuntica, la ecuacin del telgrafo, la ecuacin de Helhmoltz, la ecuacin eikonal
de la ptica geomtrica, etc.
Ejemplos.-
1. 1 = (r, j)
0
2
0r
2
+1(r, j)
0
2
0r0j
+C (r, j)
0
2
0j
2
+1(r, j)
0
0r
+1 (r, j)
0
0j
+
+1 (r, j)
Es un operador diferencial de 2
o
orden
2. n
x
+rj
2
nn
y
= cos j es no lineal (de 1
er
orden)
3. La ecuacin de Laplace : dimensional:
0
2
n
0r
2
1
+
0
2
n
0r
2
2
+....... +
0
2
n
0r
2
n
= 0
con n = n(r
1
, r
2
, ......, r
n
).
Probablemente de las conocidas esta es la E.D.P. ms importante. Las
soluciones de la ecuacin de Laplace son conocidas con el nombre de
funciones armnicas.
=
0
2
0r
2
1
+
0
2
0r
2
2
+....... +
0
2
0r
2
n
es llamado el operador de Laplace y n = 0 la ecuacin de Laplace.
4. La ecuacin de ondas : dimensional:
0
2
n
0t
2
= c
2
n
con n = n(r
1
, r
2
, ......, r
n
, t) y c una constante positiva.
44
Es usual identicar a la variable independiente t con el tiempo y las otras
r
1
, r
2
, ......, r
n
como coordenadas espaciales.
5. La ecuacin lineal de transporte:
0n
0t
+/
1
0n
0r
1
+.... +/
n
0n
0r
n
= 0
con n = n(r
1
, r
2
, ......, r
n
, t) y /
i
una constante para i = 1, 2, ....., :.
6. Las ecuaciones de maxell en el vaco para el vector elctrico 1 = (1
1
, 1
2
, 1
3
)
y el vector magntico H = (H
1
, H
2
, H
3
) son
_
_
c
01
0t
= rotH
j
0H
0t
= rot1
div 1 = div H = 0
con c y j constantes.
7. La ecuacin del calor:
0n
0t
= / n
con / una constante positiva.
8. La ecuacin de Scrdinger en el espacio (: = 3) para una partcula de
masa : que se mueve en un campo de energa potencial \ = \ (r, j, .):
i/
0c
0t
=
/
2:
c +\ c
donde 2/ es la constante de Planck, c es una funcin compleja e i es la
unidad imaginaria.
9. La ecuacin de Airy:
0n
0t
+
0
4
n
0r
4
= 0
10. La ecuacin j-Laplaciana:
div
_
[\n[
p2
\n
_
= 0
11. La ecuacin de Hamilton-Jacobi:
0n
0t
+H (\n, r) = 0
con H una funcin dada.
45
12. Las ecuaciones de Euler para el ujo de un uido incompresible no viscoso
con vector de velocidad l y presin j:
_
_
_
0n
0t
+l \l =
1
j
\j
div l = 0
donde j es la densidad constante.
13. Las ecuaciones de Navier-Stokes para el ujo de un uido viscoso incom-
presible con vector de velocidad l y presin j:
_
_
_
0n
0t
+l \l l =
1
j
\j
div l = 0
donde j es la densidad constante y es la viscosidad cinemtica.
14. La ecuacin de Korteweg-de Vries (1d\ ):
0n
0t
+n
0n
0r
+
0
3
n
0r
3
= 0
.
Observaciones.-
1. Muchos problemas de la fsica matemtica se reducen a E.D.P. Sin duda
que no toda E.D.P. viene a travs de la modelizacin de algn problema
real, por lo tanto existen muchas E.D.P. que tienen algn inters solamente
del punto de vista terico y/o geomtrico y no estn asociadas (en este
momento) a ningn problema de la vida real. Nosotros estamos interesados
en clasicar aquellas E.D.P. que modelizan problemas del mundo real.
2. No existe una teora general que permita resolver todas las E.D.P. No es
posible pensar en que tal teora exista, debido a la amplia variedad de
fenmenos modelados por las E.D.P. Cada ecuacin tiene sus caracteristi-
cas propias y, como se aprecia en los ejemplos, cada una de ellas tiene un
nombre propio.
3. Las ecuaciones de Laplace, del calor y de ondas son de segundo orden. Las
ecuaciones de Maxwell y de transporte son de primer orden. La ecuacin
de Airy es de orden 4 y la ecuacin de (1d\ ) es de tercer orden.
4. Para el estudio de las E.D.P. es necesario un buen dominio del clculo en
varias variables. por ejemplo regla de la cadena, integrales, teorema de la
divergencia, regla de Leibniz, etc.
.
Ejercicios.-
46
1. Encuentre todas las soluciones de la ecuacin de Laplace de dimensin
: = 1.
2. Encuentre tres funciones armnicas n(r, j) denidas sobre R
2
.
3. Verique que si n(r
1
, r
2
, ......, r
n
) es una funcin armnica entonces la
funcin denida por (r
1
, r
2
, ......, r
n
, t) = n(r
1
, r
2
, ......, r
n
) es solucin
de las ecuaciones del calor y ondas. Note que esta solucin no depende
del tiempo.t
4. Demuestre que n(r, j) es solucin de la E.D.P.
0n
0r
= 0 ssi n(r, j) = 1 (j)
para alguna funcin de una variable 1.
5. Demuestre que n(r, j) es solucin de la E.D.P.
0n
0r
+n = 0 ssi
n(r, j) = c
x
1 (j) para alguna funcin de una variable 1.
6. Encuentre la forma de las soluciones n(r, j) de la E.D.P.
0
2
n
0r
2
= 0.
7. Encuentre la forma de las soluciones n(r, j) de la E.D.P.
0
2
n
0r0j
= 0.
.
Denicin.- Se dice que una ecuacin en derivadas parciales de la forma
(1) a (r, j)
0
2
n
0r
2
+ 2/ (r, j)
0
2
n
0r0j
+c (r, j)
0
2
n
0j
2
= 1
_
r, j, n,
0n
0r
,
0n
0j
_
es
Hiperblica si /
2
ac 0
Parablica si /
2
ac = 0
Elptica si /
2
ac < 0
para algn punto de (r, j) de su dominio.
Ejemplo.- Destacamos en este estudio tres ecuaciones fundamentales de la fsica
matemtica para el caso de dos variables independientes. Esta ecuaciones repre-
sentan a la vez el ejemplo ms sencillo de ecuaciones en derivadas parciales del
tipo elptico, parablico e hiperblico respectivamente:
1. La ecuacin
n(r) = ) (r) , r _ R
2
es elptica en todo ya que /
2
ac = 1 < 0
esta ecuacin se llama Ecuacin de poisson y modeliza diversos tipos de
problemas estacionarios y/o de equilibrio. Note que en el caso particular
n(r) = 0, se trata de ecuacin de Laplace.
2. La ecuacin
n
t
(r, t)
0
2
n
0r
2
(r, t) = ) (r, t) ; r , t _ 0
47
es parablica en todo [0, +[ ya que /
2
ac = 0.
Esta es la ecuacin del calor (no homognea, de dimensin) uno. Modeliza
una gran veriedad de problemas de difusin.
3. La ecuacin
n
tt
(r, t)
0
2
n
0r
2
(r, t) = ) (r, t) ; r , t _ 0
es hiperblica en todo [0, +[ ya que /
2
ac = 1 0.
Esta se llama ecuacin de la onda y modeliza la mayora de los problemas
oscilatorios y de vibraciones.
.
Observaciones.-
1. Una ecuacin del tipo (1) puede ser de diferentes formas para distintos
puntos de su dominio. Si a, / y c son constantes, slo es de una forma
para todos los valores de su dominio.
2. Si en la E.D.P. 1n = / se tiene / = 0, esta se llama homogenea.
3. La clasicacin de una E.D.P. (en general) est asociada con los valores
propios del operador 1 asociado con la ecuacin. Si _ R
n
y 1 es el
operador diferencial denido por
1n =
n
i;j=1
a
ij
(r)
0
2
n
0r
i
0r
j
+' (r, n, \n)
donde ' incluye a todos los trminos diferenciales de orden inferior a dos.
Suponemos que los coecientes a
ij
son continuos y que la matriz de los
coecientes de los trminos diferenciales de orden dos, (r) = (a
ij
(r))
es simtrica, por lo tanto en cualquier punto r
0
, todos sus valores
propios son reales.
Usaremos la siguiente notacin
+
(r
0
) = N
o
de valores propios positivos
0
(r
0
) = N
o
de valores propios nulos
(r
0
) = N
o
de valores propios negativos
_
_
_
=
+
+
0
+
Con esto se puede dar la siguiente denicin alternativa: Se dice que en

el punto r
0
el operador 1 es:
a) Elptico si
+
= (o bien
= )
b) Hiperblico si:
+
= 1 y
= 1 (o al revs)
c) Parablico si:
0
0
Ejercicio.- Vericar la equivalencia con : = 2.
48
4. Las ecuaciones parablicas rigen fenomenos de difusin: conduccin del
calor, propagacin de campos electromagnticos en medios conductores,
movimiento de uidos viscosos, cursos de aguas subterraneas, distribucin
de contaminantes en ros, ect.
Las ecuaciones hiprbolicas surgen en problemas de vibraciones en medios
continuos. En general, surgen en problemas de carcter dinmico en
la mecnica del medio continuo: acstica, hidrodinmica, aerodinmica,
teora de elasticidad, etc.
Las dos categoras anteriores pueden reducirse a problemas de evolucin,
es decir, se trata de modelos matemticos de fenomenos que transcurren
en el tiempo.
Las ecuaciones elpticas, que rigen problemas estacionarios, surge en: cam-
pos estacionarios elctricos, magneticos, gravitacionales. Es decir, con
problemas de la teora del potencial.
.
Ejemplos.-
1. La ecuacin n
xx
+ 2n
xy
3n
yy
+ 2n
x
+ 6n
y
= 0 es hiperblica en todo el
plano ya que /
2
ac = 4 0.
2. n
xx
+ 4n
xy
+ 4n
yy
+n = 0 es parablica ya que /
2
ac = 0.
3. La ecuacin n
xx
+ 2n
xy
+ 6n
yy
+ 10n
x
= 0 es elptica, /
2
ac = 5 < 0.
4. jn
xx
+ n
yy
= 0 es elptica para j 0, parablica para j = 0, hiperblica
para j < 0.
Esta se conoce con el nombre de ecuacin de Triconi y aparece en la
dinmica de gases, siendo el eje r la barrera del sonido, la regin elp-
tica corresponde a la zona subsnica, y la regin hiperblica, a la zona
supersnica de la propagacin de ondas de choque.
.
Observaciones.-
1. La solucin general de una E.D.P. no es nica. En el caso de las ecuaciones
diferenciales ordinarias de 2
do
orden intervienen dos constantes arbitrarias,
de manera que el espacio solucin de estas tiene dimensin dos. Este no es
el caso para las E.D.P. donde el espacio solucin tiene dimensin innita
(intervienen dos funciones arbitrarias).
2. La solucin nica de una ecuacin diferencial parcial correspondiente a
un problema fsico dado se obtiene mediante la aplicacin de informacin
adicional derivada de la situacin fsica. Por ejemplo, en algunos casos, se
dan los valores de la solucin requerida del problema sobre la frontera de
algn dominio (condiciones de frontera); en otros casos, cuando el tiempo
t es una de las variables, se indican los valores de la solucin en t = t
0
(condiciones iniciales).
49
.
Ejemplos.-
1. Verique que n = r
2
j
2
, n = c
x
cos j, n = ln
_
r
2
+j
2
_
son soluciones de
la ecuacin bidimensional de Laplace
0
2
n
0r
2
+
0
2
n
0j
2
= 0
2. Verique que n(r, t) = )
1
(r ct) + )
2
(r +ct), donde )
1
, )
2
(
2
y arbi-
trarias, es solucin de la ecuacin de la onda (unidimensional)
0
2
n
0t
2
= c
2
0
2
n
0r
2
Solucin.- Sean = r ct, n = r +ct, entonces n = )
1
() +)
2
(n)
0n
0r
=
0)
1
0

0
0r
+
0)
2
0n

0n
0r
=
0)
1
0
+
0)
2
0n
0
2
n
0r
2
=
0
2
)
1
0
2
+
0
2
)
2
0n
2
0n
0t
= c
0)
1
0
+c
0)
2
0n
;
0
2
n
0t
2
= c
2
0
2
)
1
0
2
+c
2
0
2
)
2
0n
2
Por lo tanto:
0
2
n
0t
2
= c
2
0
2
n
0r
2
.
Observacin.- Se sabe que si una ecuacin diferencial parcial ordinaria es lineal
y homognea, a partir de soluciones conocidas pueden obtenerse, por super-
posicin, otras soluciones. Para una ecuacin diferencial lineal y homognea, la
situacin es bastante semejante. En efecto se cumple ele siguiente:
Teorema.- Si n
1
y n
2
son soluciones cualquiera de una ecuacin diferencial par-
cial lineal y homogenea en alguna regin, entonces
n = c
1
n
1
+c
2
n
2
con c
1
y c
2
constantes (arbitrarias), tambin es una solucin de esa ecuacin,
en esa regin.
Ejercicios.-
1. Vericar que las siguientes funciones son soluciones de la ecuacin de
Laplace n = 0
(a) n = 2rj (e) n = sinrsinhj
(b) n = r
3
3rj
2
(f) n = arctan
j
r
50
(c) n = c
x
sinj (g) n = r
4
6r
2
j
2
+j
4
2. Comprobar que las siguientes funciones son soluciones de la ecuacin del
calor
0n
0t
= c
2
0
2
n
0r
2
, con un valor valor apropiado de c.
(a) n = c
2t
cos r (b) n = c
t
sin3r (c) n = c
4t
cos nr
3. Comprobar que las siguientes funciones son soluciones de la ecuacin de
onda
0
2
n
0t
2
= c
2
0
2
n
0r
2
, con un valor valor apropiado de c.
(a) n = r
2
+ 4t
2
(b) n = r
3
+ 3rt
2
(c) n = sinnct sinnr
4. Demostrar que n =
1
_
r
2
+j
2
+.
2
es una solucin de la ecuacin de
Laplace
0
2
n
0r
2
+
0
2
n
0j
2
+
0
2
n
0.
2
= 0 (tridimensional)
5. Comprobar que n(r, j) = a ln
_
r
2
+j
2
_
+/ satisface la ecuacin de Laplace
(bidimensional), determinar a y / de modo que n satisfaga las condiciones
de frontera n = 0 sobre el crculo r
2
+ j
2
=. Trzar un esquema de la
supercie representado por n.
6. Relaciones con las ecuaciones diferenciales ordinarias.- Si una ecuacin
diferencial parcial contiene derivadas slo c/r a una de las varibles in-
dependientes, puede resolverse como una ecuacin diferencial ordinaria,
tratando a las otras variables como parmetros. Resolver las ecuaciones
siguientes, donde n = n(r, j).
(a) n
xx
+ 4n = 0 (b) n
y
+ 2jn = 0 (c) n
x
= 2rjn
7. Haciendo n
x
= j resolver:
(a) n
xy
= 0 (c) n
xy
+n
x
= 0
(b) n
xy
= n
x
(d) n
xy
+n
x
r +j + 1 = 0
8. Resolver los siguientes sistemas de ecuaciones diferenciales parciales:
(a) n
xx
= 0, n
yy
= 0 (c) n
xx
= 0, n
xy
= 0
(b) n
x
= 0, n
y
= 0 (d) n
xx
= 0, n
xy
= 0, n
yy
= 0
9. Demostrar que, si las curvas de nivel . = ctc. de una supercie . = . (r, j)
son rectas paralelas al eje r, entonces . es una solucin de la ecuacin
diferencial .
x
= 0. Dar ejemplos.
51
.
Nota .- Entre los mtodos clsicos para resolver E.D.P. tenemos:
Mtodo de separacin de variables: Este es aplicable a cualquier ecuacin
en dominios acotados (en general).
Para dominios no acotados _ R
n
:
Mtodo de la transformada de Fourier
Mtodo de la transformada de Laplace
Mtodo de las caractersticas ( solucin de D Alambert)
2.2 Ecuacin de la onda
Como una primera ecuacin diferencial parcial importante, se obtiene la ecuacin
que rige las pequeas vibraciones transversales de una cuerda vibrante, la cual se
estira hasta tener la longitud 1 y a continuacin se ja en los puntos extremos.
Supngase que la cuerda se deforma y entonces, en un determinado momento
(t = 0), se suelta y se deja vibrar. El problema es determinar la vibraciones de la
cuerda, es decir, hallar su deexin n(r, t) en cualquier punto r y en cualquier
instante t _ 0.
Al deducir una ecuacin diferencial correspondiente a un problema fsico dado,
normalmente tienen que efectuarse simplicaciones para que la ecuacin resul-
tante no quede demasiado complicada. En el presente caso se hacen las siguien-
tes simplicaciones:
1. La masa de la cuerda por unidad de longitud es constante. ("cuerda
homogenea"). La cuerda es perfectamente elstica y no ofrece resistencia
alguna a la exin.
2. La tensin causada al estirar la cuerda antes de jarla en sus puntos ex-
tremos es tan grande que puede despreciarse la accin de la fuerza gravi-
tacional sobre la cuerda
3. La cuerda realiza un movimiento transversal pequeo en un plano vrtical,
es decir, toda partcula de la cuerda se mueve estrictamente en la direccin
vrtical, de modo que la deexin y la pendiente en todo punto de la misma
se mantienen con un valor absoluto pequeo.
Estas suposiciones son tales que puede expresarse que la solucin n(r, t)
de la ecuacin diferencial que va a obtenerse describir de manera razona-
52
ble las vibraciones pequeas de la cuerda fsica "no idealizada" de masa
pequea sobre la que acta una tensin grande.
Con el n de obtener la ecuacin diferencial se consideran las fuerzas que
actan sobre una porcin pequea de la cuerda (ver gura). Como est no
ofrece resistencia alguna en la exin, la tensin es tangencial a la curva
que describe la cuerda en cada punto. Sean T
1
y T
2
las tensiones en los
puntos 1 y Q de esta porcin. Puesto que no existe movimiento en la
direccin horizontal, las componentes horizontales de la tensin deben ser
constantes. De esta manera se obtiene
(1) T
1
cos c = T
2
cos , = T = ctc.
en la direccin vrtical se obtienen dos fuerzas, a saber, las componentes
vrticales T
1
sinc y T
2
sin, de T
1
y T
2
; aqu aparece el signo menos
debido a que la componente en 1 est dirigida hacia abajo. De acuerdo a
la segunda ley de Newton, la resultante de estas dos fuerzas es igual a la
masa jr de la porcin, multiplicada por la aceleracin
0
2
n
0t
2
evaluada en
algn punto entre r y r +r; aqu j es la masa de la cuerda no desviada
por unidad de longitud y r es la longitud de la cuerda no desviada. De
donde
T
2
sin, T
1
sinc = j r
0
2
n
0t
2
Al aplicar (1) se obtiene
82)
T
2
sin,
T
2
cos ,

T
1
sinc
T
1
cos c
= tan, tanc =
j r
T
0
2
n
0t
2
.
Ahora bien, tanc y tan, son las pendientes de la curva descrita por la
cuerda, en r y r +r :
tanc =
_
0n
0r
_
x
y tan, =
_
0n
0r
_
x+4
Dividiendo en (2) por r
1
r
_
_
0n
0r
_
x+4
_
0n
0r
_
x
_
=
j
T
0
2
n
0t
2
.
Haciendo tender r a cero, se obtiene
(3)
0
2
n
0t
2
= c
2
0
2
n
0r
2
(con c
2
=
T
j
).
Esta se llama ecuacin unidimensional de onda la cual rige el problema
planteado (homognea y de segundo orden). Se ha elegido la notacin c
2
(en lugar de c) para la constante fsica
T
j
con el n de indicar que tal
nmero es positivo.
.
Observacin.- Dado que la cuerda est ja en sus extremos nos permite escribir
las condiciones de contorno:
53
n(0, t) = n(1, t) = 0; t _ 0
si adems consideramos la distorsin inicial de la cuerda y el hecho que la cuerda
estaba en reposo cuando se solt podemos escribir las condiciones iniciales
n(r, 0) = ) (r)
;0 _ r _ 1
n
t
(r, 0) = 0
donde ) es una funcin que describe la distorsin inicial (debido al peso de la
cuerda) y n
t
(r, t) es la velocidad del punto r en el tiempo t. (As n
t
(r, 0) = q (r)
indica que la cuerda no est en reposo en t = 0).
2.2.1 Solucin de DAlambert de la ecuacin de la onda
Consideremos el problema de la ecuacin de la onda
0
2
n
0t
2
= c
2
0
2
n
0r
2
...........(1)
sujeta a condiciones iniciales, velocidad inicial cero y deexin inicial dada por
n(r, 0) = ) (r).
Hacemos el cambio de variables
= r +ct; . = r ct..........(2)
el cual transforma a (1) en
n
vz
= 0.
Integrando c/r a . primero y luego c/r a obtenemos
n = c() + (.)
De (2) n(r, t) = c(r +ct) + (r ct)...........(3)
Esta se conoce como solucin de DAlambert de la ecuacin de la onda.
Por otra parte de (3)
0n
0t
= cc
0
(r +ct) c
0
(r ct)
De las condiciones iniciales se obtiene
n(r, 0) = c(r) + (r) = ) (r)
n
t
(r, 0) = cc
0
(r) c
0
(r) = 0
De aqu
0
= c
0
, luego = c + / (/ = ctc.) y de la primera ecuacin tenemos
c =
1
2
() /). De este modo la solucin (3) queda
n(r, t) =
1
2
[) (r +ct) +) (r ct)]
Ahora si la cuerda no est en reposo en el instante inicial, es decir si ocurre que
n
t
(r, 0) = q (r) ,= 0, se tiene:
c(r) + (r) = ) (r)............(4)
cc
0
(r) c
0
(r) = q (r)...........(5)
Integrando (5) c/r a r: cc(r) c(r) +/
0
=
_
x
0
q (.) d...........(6)
De (4), (5) y (6):c(r) =
1
2
) (r)
/
0
2c
+
1
2c
_
x
0
q (.) d.
(r) =
1
2
) (r) +
/
0
2c

1
2c
_
x
0
q (.) d.
54
De (3) n(r, t) =
1
2
[) (r +ct) +) (r ct)] +
1
2c
_
x+ct
xct
q (.) d.
Observacin.-
1. Si n
t
(r, 0) = 0, entonces n(r, t) =
1
2
[) (r +ct) +) (r ct)]
Si adems n(0, t) = n(1, t) = 0, entonces
n(0, t) =
1
2
[) (ct) +) (ct)] = 0
Por lo tanto ) (ct) = ) (ct)
De esta manera, si extendemos el dominio de ) a 1 _ r _ 1, entonces
deniendo ) (r) = ) (r) para 1 _ r _ 0, se tiene que ) es impar.
Dado que n(1, t) =
1
2
[) (1 +ct) +) (1 ct)] = 0, entonces
) (ct +1) = ) (1 ct) = ) (ct 1) o
) (r + 21) = ) (r) si el dominio de ) es R.
Luego ) es peridica de periodo 21.
2. De acuerdo a lo anterior si en la solucin de DAlambert se pone r R,
quiere decir que la cuerda tiene dimensin innita, siendo ) peridica de
perido 21.
.
Ejemplo.- Use la solucin de DAlambert para determinar el desplazamiento
n(r, t) sabiendo que la cuerda estaba en reposo cuando se solt, c = 5, 1 = 6
para la funcin denida por ) (r) = 0, 01 sin

1
r, para r = 2, t = 1.
Solucin.-
n(r, t) =
1
2
[) (r ct) +) (r +ct)]
=
0, 01
2
_
sin

6
(r 5t) + sin

6
(r + 5t)
_
= 0, 01 sin

6
rcos
5
6
t
Por lo tanto
n(2, 1) = 0, 01 sin

3
cos
5
3
n(2, 1) = 7, 5 10
4
2.2.2 Propagacin de la onda unimensional de largo nito
Para resolver este problema aplicamos el mtodo de separacin de variables el
que ilustramos aplicandolo a la ecuacin de la onda
0
2
n
0t
2
= c
2
0
2
n
0r
2
sujeta a las condiciones de frontera
55
n(0, t) = n(1, t) = 0
y las condiciones iniciales
n(r, 0) = ) (r) ; n
t
(r, 0) = q (r), con ) y q conocidas.
Se supone
n(r, t) = A (r) T (t)
reemplazando en la ecuacin
0
2
n
0t
2
= c
2
0
2
n
0r
2
, se obtiene
A
00
(r)
A (r)
=
1
c
2
T
00
(t)
T (t)
= `
por lo tanto
A
00
À = 0
T
00
`c
2
T = 0
Ahora de n(0, t) = n(1, t) = 0, resulta que
A (0) = A (1) = 0
Resolviendo el S-S-L
A
00
À = 0; A (0) = A (1) = 0, obtenemos
A
n
(r) = c
n
sin
:
1
r es funcin propia asociada al valor propio `
n
=
_
:
1
_
2
;
: = 1, 2, .........
Resolviendo
T
00
`c
2
T = 0 con ` = `
n
, obtenemos
T
n
(t) = /
n
sin
:
1
ct+a
n
cos
:
1
ct (ecuacin caracterstica: r
2
+
_
:
1
_
2
c
2
).
Luego
n
n
(r, t) = A
n
(r) T
n
(t) =
_
C
n
sin
:c
1
t +1
n
cos
:c
1
t
_
sin
:
1
r
y la solucin general es:
n(r, t) =
+1
n=1
n
n
(r, t) =
+1
n=1
_
C
n
sin
:c
1
t +1
n
cos
:c
1
t
_
sin
:
1
r........(*)
Ahora
n(r, 0) =
+1
n=1
1
n
sin
:
1
r = ) (r)
Si ) C
1
, entonces su serie de Fourier converge puntualmente a ), por lo tanto
1
n
=
2
1
_
L
0
) (r) sin
:
1
rdr; : = 1, 2, ......
Derivando (*) c/r a t y considerando que n
t
(r, 0) = q (r) se obtiene
+1
n=1
:c
1
C
n
sin
:
1
r = q (r)
Si q C
1
, se tiene:
:c
1
C
n
=
2
1
_
L
0
q (r) sin
:
1
rdr
C
n
=
2
:c
_
L
0
q (r) sin
:
1
rdr
lo cual determina la solucin del PVI-C dado.
56
Observacin.- si n
t
(r, 0) = q (r) = 0, la solucin queda
n(r, t) =
+1
n=1
1
n
cos
:c
1
t sin
:
1
r
=
1
2
+1
n=1
1
n
_
sin
:
1
(r +ct) + sin
:
1
(r ct)
_
_
sinccos , =
1
2
[sin(c +,) + sin(c ,)]
_
n(r, 0) =
1
2
+1
n=1
21
n
sin
:
1
r =
+1
n=1
1
n
sin
:
1
r = ) (r)
Por lo tanto n(r, t) =
1
2
[) (r +ct) +) (r ct)]
que es precisamente el resultado obtenido anteriormente para la ecuacin de la
onda.
2.3 Ecuacin de difusin del calor
La ecuacin general es:
/
0
2
n
0r
2
+cj
0n
0t
= 1 (r, t), donde
/: coeciente de conductividad del calor
c: calor especco del material
j: densidad de masa
1 (r, t): caracteriza las fuentes trmicas que pueden emitir o absorver calor
Si no hay fuentes trmicas, 1 (r, t) = 0, adems si la barra es homogenea /, c, j
pueden considerarse constantes y la ecuacin tiene la forma
0n
0t
= a
2
0
2
n
0r
2
; a
2
=
/
cj
2.3.1 Conduccin del calor en barra nita
Se desea encontrar la solucin de la ecuacin del calor
0n
0t
= a
2
0
2
n
0r
2
; 0 _ r _ 1, t _ 0
que satisfaga la ecuacin inicial (temperatura inicial) n(r, 0) = ) (r) y las condi-
ciones de frontera n(0, t) = n(1, t) = 0
Observacin.-
1. Fsicamente estas ecuaciones describen una barra delgada de longitud 1,
con distribucin de temperatura inicial ) (r) y cuyos extremos se mantienen
a 0
o
.
2. Si en lugar de n(1, t) = 0, escribimos n
x
(1, t) = cn(1, t), con c una
constante, signica que el extremo derecho pierde (o gana) calor en relacin
proporcional a la temperatura en ese extremo.
57
3. Para resolver el problema utilizamos el "mtodo de separacin de varia-
bles".
.
Ejemplo.- Considere una varilla de longitud 1 cuyos extremos se mantienen a
0
o
y la temperatura inicial es ) (r) = sin2r y sea a = 1. Determine la solucin
de la ecuacin del calor.
Solucin.-
0n
0t
=
0
2
n
0r
2
n(0, t) = n(1, t) = 0
n(r, 0) = ) (r)
Sea n(r, t) = A (r) T (t), entonces de la ecuacin
0n
0t
=
0
2
n
0r
2
se obtiene
A
00
(r)
A (r)
=
T
0
(t)
T (t)
= `
por lo tanto
A
00
+À = 0
T
0
+`T = 0
De n(0, t) = n(1, t) = 0, resulta A (0) = A (1) = 0
Resolviendo el S-S-L
A
00
+À = 0
A (0) = A (1) = 0
A
n
(r) =
n
sin
:
1
r es funcin propia asociada al valor propio
`
n
=
_
:
1
_
2
; : = 1, 2, 3, .......
Resolviendo T
0
+`T = 0 con ` = `
n
se tiene
dT
T
=
_
:
1
_
2
dt
por lo tanto
lnT =
_
:
1
_
2
t + ln1
n
o
T (t) = 1
n
c
:
1
2
t
Luego
n
n
(r, t) = A
n
(r) T
n
(t) = C
n
c
:
1
2
t
sin
:
1
r
y la solucin general es
n(r, t) =
+1
n=1
C
n
c
:
1
2
t
sin
:
1
r
Ahora de la condicin inicial se tiene:
n(r, 0) =
+1
n=1
C
n
sin
:
1
r = ) (r) = sin 2r
del desarrollo en serie de Fourier de la extensin impar de ) en T( [1, 1]
58
C
n
=
2
1
_
L
0
sin2rsin
:
1
rdr =
2
: 21
sin
_
:
1
2
_
1
2
: + 21
Lo que trmina con los clculos para encontrar la solucin general.
Ejercicios.-
1. Repita lo mismo con ) (r) = sin

1
r
2. Use el mtodo de separacin de variables para resolver
0n
0t
= a
2
0
2
n
0r
2
; 0 _ r _ 1, t _ 0
n(r, 0) = ) (r)
n(0, t) = n(1, t) = 0
Solucin.-
n(r, t) =
+1
n=1
C
n
c
:
1
2
a
2
t
sin
:
1
r con C
n
=
2
1
_
L
0
) (r) sin
:
1
rdr
3. Lo mismo que en 1) con ) (r) =
_
_
r , 0 _ r <
1
2
1 r ,
1
2
< r < 1
2.3.2 Propagacin del calor en barra innita
Antes de considerar este problema daremos algunas nociones sobre
2.3.3 Integral de Fourier
.
Se dene la integral de Fourier de la funcin ) por la relacin
) (r) =
1
_
+1
0
_
+1
1
) (t) cos n(t r) dtdn
siempre que la integral del 2
o
miembro exista.
Observacin.-
1. A partir de cos n(t r) = cos nt cos nr + sinnt sinnr puede escribirse
la integral de Fourier de ) en la forma
) (r) =
_
+1
0
(a
w
cos nr +/
w
sinnr) dr conw
a
w
=
1
_
+1
1
) (t) cos ntdt
/
w
=
1
_
+1
1
) (t) sinntdt
59
2. ) es mdulo integrable ssi
_
+1
1
[) (r)[ dr < +
.
Teorema.- Si ) es seccionalmente continua sobre todo intervalo nito, tiene
derivadas laterales en todo punto y es mdulo integrable, entonces ) puede
representarse por medio de una integral de Fourier. En los puntos donde ) es
discontinua el valor de la intgral de 1 es igual al promedio de los lmites laterales
de ) en ese punto;
) (r
+
) ) (r
)
2
.
Ejemplo.- Encuentre una funcin tal que
_
+1
0
(j) sinrjdj = c
x
, r 0
SolucinAplicando la integral de Fourier a la extensin impar de
) (r) = c
x
; O
f
(r) =
_
c
x
, r 0
c
x
, r < 0
, entonces
/
y
= (j) =
2
_
+1
0
c
x
sinrjdr
_
O
f
(r) =
_
+1
0
/
y
sinrjdj; /
y
=
2
_
+1
0
O
f
(r) sinrjdr =
2
_
+1
0
c
x
sinrjdr
_
Integrando por partes dos veces
_
+1
0
c
x
sinrjdr = c
x
sinrj +j cos rj
1 +j
2
Por lo tanto
(j) =
2
lim
b!+1
_
c
x
sinrj +j cos rj
1 +j
2
_
b
0
=
=
1

2
1 +j
2
lim
b!+1
_
c
b
(sin/ +j cos /j) +j
=
2j
(1 +j
2
)
Ejercicios.-
1. Encontrar la representacin como integral de Fourier de la funcin denida
por
) (r) =
_
1 , [r[ < 1
0 , [r[ 1
Solucin.- a
w
=
1
_
+1
1
) (t) cos ntdt =
2 sinn
n
/
w
=
1
_
+1
1
) (t) sinntdt = 0
Por lo tanto ) (r) =
2
_
+1
0
cos nrsinn
n
dn
Nota.- Para r = 1;
2
_
+1
0
cos nrsinn
n
dn =
) (1
+
) +) (1
)
2
=
1
2
60
Ms an
_
+1
0
cos nrsinn
n
dn =
_
2
, [r[ < 1
4
, [r[ = 1
0 , [r[ 1
(a) Encontrar la integral de Fourier de
) (r) = c
kx
; r 0 y ) (r) = ) (r) (/ 0)
(b) Encontrar la integral de Fourier de
) (r) = c
kx
; r 0 y ) (r) = ) (r) (/ 0)
Nota.-
_
+1
0
cos nr
/
2
+n
2
dn =

2/
c
kx
y
_
+1
0
nsinnr
/
2
+n
2
dn =

2
c
kx
(r 0, / 0)
.
Veamos ahora el problema de propagacin del calor en barra innita.
En este caso no hay condiciones de frontera, solo la condicin inicial
n(r, 0) = ) (r) , < r < +, t _ 0
Utilizaremos el mtodo de separacin de variables. Sea
n(r, t) = A (r) T (t)
reemplazando en la ecuacin
0n
0t
= a
2
0
2
n
0r
2
Obtenemos
A
00
+À = 0
T
0
+a
2
`T = 0
Si ` _ 0, la funcin n(r, t) no es acotada y el problema no tiene signicado
fsico (` < 0, n no es acotada en t; ` = 0 no es acotada en r. Vericarlo!).
Si ` 0, (con w=
_
`)
A
w
(r) = 1
w
cos nr +C
w
sinnr
y
T
w
(r) =
w
c
a
2
w
2
t
por lo tanto
n
w
(r, t) = (a
w
cos nr +/
w
sinnr) c
a
2
w
2
t
Sea n(r, t) =
_
+1
0
(a
w
cos nr +/
w
sinnr) c
a
2
w
2
t
dn,
entonces
n(r, 0) =
_
+1
0
(a
w
cos nr +/
w
sinnr) dn = ) (r)
eligiendo los coecientes a
w
y /
w
como los coecientes de la integral de Fourier
de ):
a
w
=
1
_
+1
1
) () cos nd
/
w
=
1
_
+1
1
) () sinnd
podemos escribir la integral de Fourier
61
n(r, 0) =
1
_
+1
0
_
+1
1
) () cos n(r ) ddn
y adems
n(r, t) =
1
_
+1
0
__
+1
1
) () cos n(r ) d
_
c
a
2
w
2
t
dn
Invirtiendo el orden de integracin (suponemos que se puede)
n(r, t) =
1
_
+1
1
) ()
_
+1
0
cos n(r ) c
a
2
w
2
t
dnd
pero
_
+1
0
c
a
2
z
2
cos /.d. =
_
2a
c
k
2
4a
2
(ver tablas)
Por lo tanto
n(r, t) =
1
_
+1
1
) ()
_
1
2
_

a
2
t
c
(xv)
2
4a
2
t
_
d, a
2
n
2
t =
_
a
_
t
_
2
n
2
=
1
2a
_
t
_
+1
1
) () c
(xv)
2
4a
2
t
d, t 0
puesto que si la integral converge se tiene que n = n(r, t) es continua si ) es
continua.
Ejercicio.- Determine la temperatura de una barra innita si la temperatura
inicial es
a) ) (r) =
_
0 , r < 0 . r 10
1 , 0 < r < 10
Solucin.- n(r, t) =
1
_
_ x
2a
p
t
0
c
z
2
d.
_ x10
2a
p
t
0
c
z
2
d.
_
b) ) (r) =
_
l
0
, [r[ < 1
0 , [r[ 1
, l
0
=cte.
n(r, t) =
l
0
_
_ 1x
2c
p
t
1+x
2c
p
t
c
z
2
d., t 0
2.4 Ecuacin de Laplace en regiones rectangulares
Consideremos la ecuacin de Laplace
0
2
n
0r
2
+
0
2
n
0j
2
= 0
denida en una regin rectangular
1 = (r, j) : r [0, 1] , j [0, ']
sujeta a las condiciones de frontera
n(0, j) = 0; n(1, j) = 0
n(r, ') = 0; n(r, 0) = ) (r)
Fsicamente este problema supone una placa rectangular delgada, trmicamente
aislada, tres de cuyos lados se mantienen a 0
o
y el cuarto a temperatura ) (r).
62
(El calor no se gana ni se pierde a travs de sus caras).
Para resolverlo aplicamos el mtodo de separacin de variables:
Indicacin.- n(r, j) = A (r) 1 (j)
De
0
2
n
0r
2
+
0
2
n
0j
2
= 0, se obtiene
1
00
1
=
A
00
A
= `
por lo tanto
A
00
+À = 0
1
00
`1 = 0
A (0) = A (1) = 0
.
.....(1)
.....(2)
Para (1).- ` _ 0. Solucin trivial
` 0. A
n
(r) =
n
sin
:
1
r es funcin propia asociada al valor
propio `
n
=
_
:
1
_
2
, : N
en (2)
1
00
:
2
2
1
2
j = 0
La solucin general es: 1
n
(j) = 1
n
sinh
:
1
j +C
n
cosh
:
1
j......(*)
(se preere usar funciones hiperblicas en lugar de exponenciales por ser ms
convenientes).
De n(r, ') = 0, se tiene 1 (') = 0
Por lo tanto
1
n
sinh
:'
1
+C
n
cosh
:'
1
= 0; 1
n
y C
n
constantes arbitrarias
Hacemos
1
n
= cosh
:
1
', C
n
= sinh
:
1
'
Reemplazamos en (*) y usamos la identidad
sinh(c ,) = sinhccosh, coshcsinh,
Para obtener
1
n
(j) = sinh
:
1
(' j)
De esta manera tenemos que
n
n
(r, j) = A
n
(r) 1
n
(j) =
n
sin
:
1
rsinh
:
1
(' j) ; : N
satisface
n
n
(0, j) = n
n
(1, j) = n
n
(r, ') = 0
Por lo tanto
n(r, j) =
+1
n=1
n
n
(r, j) =
+1
n=1
n
sin
:
1
rsinh
:
1
(' j) (solucin general)
n(r, 0) =
+1
n=1
n
sin
:
1
rsinh
:
1
' = ) (r)
Considerando el desarrollo de la extensin impar de ) en [1, 1]
n
sin
:'
1
=
2
1
_
L
0
) (r) sin
:
1
rdr
lo que nalmente permite encontrar la solucin del problema.
Observacin.-
63
1. La solucin obtenida es vlida siempre que ) sea sucientemente suave y
la solucin se anule en tres lados del rectangulo.
2. Si n
1
, n
2
, n
3
, n
4
indican las soluciones correspondientes a los cuatro casos
posibles con una condicin de frontera no nula, entonces la funcin
n(r, j) =
4
k=1
n
k
(r, j)
ser una solucin que asume valores no nulos en los cuatro lados del rectn-
gulo. Esto dice que se pueden resolver todos los problemas que involucran
a la ecuacin de Laplace con condiciones de frontera de la forma
n(0, j) = )
1
(j) ; n(1, j) = )
2
(j)
n(r, 0) = )
3
(r) ; n(r, ') = )
4
(r)
2.4.1 Ecuacin de Laplace en una regin circular
0
2
n
0r
2
+
0
2
n
0j
2
= 0
en coordenadas polares ( r = r cos 0, j = r sin0) se escribe:
0
2
n
0r
2
+
1
r
0n
0r
+
1
r
2
0
2
n
00
2
= 0............(1)
si trabajamos en el crculo unitario con centro en el origen podemos imponer la
siguiente condicin de frontera
n(1, 0) = ) (0)
donde ) es una funcin continua tal que ) (0 + 2) = ) (0).
Sea n(r, 0) = 1(r) T (0), entonces de (1)
1
00
T +
1
r
1
0
T +
1
r
2
1T
00
= 0
y se tiene
r
2
1
00
+r1
0
1
=
T
00
T
= `
Por lo tanto
(1)
(2)
T
00
+`T = 0
r
2
1
00
+r1
0
`1 = 0
T (0) = T (2)
.
(ya que n(1, 0) = ) (0) = 1(1) T (0) = ) (0 + 2) = 1(1) T (0 + 2); escoge-
mos 0 = 0)
Resolviendo el S-S-L (1) se obtiene
T (0) =
n
cos :0 + 1
n
sin:0 es funcin propia asociada al valor propio
`
n
= :
2
; : = 0, 1, 2, ........
Resolviendo
r
2
1
00
+r1
0
`1 = 0
que es una ecuacin de Euler cuyo espacio de soluciones est generado por
funciones r
n
y r
n
cuando : ,= 0; 1 y r cuando : = 0 (ver seccin 4.8 de
Introduccin al Anlisis Lineal. Krfeider-Kuller-Ostberg-Perkins). Ahora se
rechaza por discontinuidad en el origen r
n
y as
64
1
n
(r) = r
n
; : = 0, 1, 2, .......
Sea n
n
(r, 0) = r
n
(
n
cos :0 +1
n
sin:0) (satisface la ecuacin de Laplace y es
peridica en 0 con perido 2)
Sea
n(r, 0) =

0
2
+
+1
n=1
r
n
(
n
cos :0 +1
n
sin:0), entonces
n(1, 0) =

0
2
+
+1
n=1
(
n
cos :0 +1
n
sin:0) = ) (0)
por lo tanto
n
=
1
) (0) cos :0d0

1
n
=
1
) (0) sin:0d0
y la solucin ser vlida siempre que ) sea sucientemente suave.
2.5 Membrana rectangular ja en la frontera
La ecuacin de la onda en dos dimensiones es
c
2
_
0
2
n
0r
2
+
0
2
n
0j
2
_
=
0
2
n
0t
2
y se origina, por ejemplo, si se considera el movimiento de una membrana
1 : 0 _ r _ a
0 _ j _ /
Determinar el problema de la membrana vibrando, es determinar una solucin
n(r, j, t) de la ecuacin bidimensional de la onda
(1)
0
2
n
0t
2
= c
2
_
0
2
n
0r
2
+
0
2
n
0j
2
_
que satisface la condicin de frontera
(2) n(r, j, t) = 0, para cada (r, j) 1r1 y cada t _ 0 y las condiciones
iniciales
(3) n(r, j, 0) = ) (r, j) (posicin inicial)
(4)
0n
0t
,
t0=0
= q (r, j) (velocidad inicial)
Usaremos el mtodo de separacin de variables.
Primero encontraremos una solucin de (1) que satisfaga (2).
Sea n(r, j, t) = 1 (r, j) G(t) .......... (5)
reemplazando en (1)
1G
00
= c
2
(1
xx
G+1
yy
G)
de donde
65
G
00
(t)
c
2
G(t)
=
1
1 (r, j)
(1
xx
(r, j) +1
yy
(r, j)) = i
2
, i 0
(una constante menor o igual a 0 solo conduce a la solucin trivial). Por lo tanto
G
00
(t) +`
2
G(t) = 0; `
2
= c
2
i
2
, ` 0....... (6)
1
xx
+1
yy
+i
2
1 = 0......(7)
Aplicamos nuevamente el mtodo de separacin de variables a (7). Hacemos
(8) 1 (r, j) = H (r) Q(j), donde por (2) 1 (r, j) = 0,
para cada (r, j) 1r (1)
reemplazando (8) en (7)
H
00
(r) Q(j) +H (r) Q
00
(j) +i
2
H (r) Q(j) = 0
H
00
(r) Q(j) +H (r)
_
Q
00
(j) +i
2
Q(j)
_
= 0
por lo tanto
H
00
H
=
1
Q
_
Q
00
+i
2
Q
_
= /
2
(una constante mayor o igual a cero slo conduce a la solucin trivial)
Luego
(9)
(10)
H
00
(r) +/
2
H (r) = 0
Q
00
+j
2
Q(j) = 0
.
j
2
= i
2
/
2
De 1 (r, j) = 0, para cada (r, j) 1r (1),
H (0) = H (a) = 0
Q(0) = Q(/) = 0
La solucin para (9) y (10) es (vericarlo)
H
m
(r) = sin
:
a
r es funcin propia asociada al valor propio
/
m
=
:
a
; : = 1, 2, .......
Q
n
(j) = sin
:
/
j es funcin propia asociada al valor propio
j
n
=
:
a
; : = 1, 2, .......
Luego
(11) 1
mn
(r, j) = H
m
(r) Q
n
(j) = sin
:
a
r sin
:
/
j; :, : = 1, 2, .........
son soluciones de (7) que se anulan en la frontera de 1.
Puesto que j
2
= i
2
/
2
y ` = ci se tiene ` = c
_
j
2
+/
2
y
(12) `
mn
= c
_
:
2
a
2
+
:
2
/
2
G
00
(t) +`
2
mn
G(t) = 0
cuya solucin general es:
G
mn
(t) = 1
mn
cos `
mn
t +
mn
sin`
mn
t
Luego las funciones dadas por
n
mn
(r, j, t) = 1
mn
(r, j) G
mn
(t) =
= (1
mn
cos `
mn
t +
mn
sin`
mn
t) sin
:
a
r sin
:
/
j; :, : = 1, 2, .........
son soluciones de (1) que satisfacen (2).
Observacin.- Los nmeros `
mn
son llamados valores propios de la menbrana
vibrante y las funciones propias n
mn
reciben el nombre de funciones propias de la
66
membrana.
Para obtener la solucin de (1) que satisfaga las condiciones (3) y (4) considera-
mos la serie doble
(14) n(r, j, t) =
+1
m=1
+1
n=1
n
mn
(r, j, t)
(15) n(r, j, 0) =
+1
m=1
+1
n=1
1
mn
sin
:j
/
sin
:r
a
= ) (r, j)
Observacin.- La serie (15) es llamada serie doble de Fourier de ) (r, j).
Hagamos
(16) 1
m
(j) =
+1
n=1
1
mn
sin
:
/
j
Reemplazando (16) en (15)
) (r, j) =
+1
m=1
1
m
(j) sin
:
a
r
de donde
(17) 1
m
(j) =
2
a
_
a
0
) (r, j) sin
:
a
rdr; j [0, /]
y puesto que (16) es la serie de Fourier (de senos) de 1
m
(j), entonces
(18) 1
mn
=
2
/
_
b
0
1
m
(j) sin
:
/
jdj
luego obtenemos
(19) 1
mn
=
2
/
_
b
0
_
2
a
_
a
0
) (r, j) sin
:
a
rdr
_
sin
:
/
jdj
=
4
a/
_
b
0
_
a
0
) (r, j) sin
:
a
rsin
:
/
jdrdj
que es llamada Frmula Generalizada de Euler para los coecientes de Fourier
de ) (r, j) en la serie doble (15).
Ahora para determinar
mn
diferenciamos (14) con respecto a t, usamos (4) y
se obtiene
`
m
mn
=
4
a/
_
b
0
_
a
0
q (r, j) sin
:
a
rsin
:
/
jdrdj
que termina por resolver el problema (1) , (2) , (3) y (4).
Ejercicio.- Encontrar la deexin n(r, j, t) de la menbrana rectangular a =
/ = 1; c = 1, si la velocidad inicial es cero y la deexin es
) (r, j) = sinrsin2j
2.6 Condiciones de contorno no homogneas
Resolver: (1)
0
2
n
0r
2
=
1
4
0n
0t
(2) n(0, t) = 1, t _ 0
67
(3) n(, t) = 2, t _ 0
(4) n(r, 0) = r, 0 _ r _
Solucin.- Sea n(r, t) = (r) +n(r, t),
donde (r) representa la solucin "estado estacionario" (no depende del tiempo)
y n(r, t) representa la desviacin respecto del estado estacionario. Con esto se
tiene
d
2
dr
2
=
1
4
0
0t
= 0 y reemplazando en (1)
d
2
dr
2
=
1
4
0n
0t

0
2
n
0r
2
= 0
por lo tanto
1
4
0n
0t
=
0
2
n
0r
2
junto con la condiciones de frontera
(0) = 1, () = 2
n(0, t) = 0, n(, t) = 0, t _ 0
n(r, 0) = r (r) , 0 _ r _
es decir, resolvemos
(5)
(6)
(7)
d
2
dr
2
= 0
(0) = 1
() = 2
y
.
.
(8)
(9)
(10)
1
4
0n
0t
=
0
2
n
0r
2
n(0, t) = n(, t) = 0 ; t _ 0
n(r, 0) = r (r) ; 0 _ r _
Para (5) , (6) y (7) : (r) = 1 +
r
Para (8) , (9) y (10) hacemos n(r, t) = A (r) T (t) y se tiene:

A
00
A
=
1
4
T
0
T
= `
(11)
(12)
A
00
À = 0
T
0
4`T = 0
A (0) = A () = 0
.
Para
(11) se tiene r =
_
`
` _ 0. Solucin trivial
` < 0. A
n
(r) = sin:r es funcin propia asociada al valor propio
`
n
= :
2
; : = 1, 2, ........
Para (12) con `
n
= :
2
; : = 1, 2, .......
T
0
+ 4:
2
T = 0; : = 1, 2, .......
_
r = 4:
2
_
T
n
(t) = C
n
c
4n
2
t
por lo tanto
n
n
(r, t) = C
n
c
4n
2
t
sin:r (satisface (8) y (9))
Ahora
n(r, t) =
+1
n=1
C
n
c
4n
2
t
sin:r
68
n(r, 0) =
+1
n=1
C
n
sin:r =
_
1
1
_
r 1 := ) (r)
De esta manera
C
n
=
2
_

0
) (r) sin:rdr =
2
_

0
__
1
1
_
r 1
_
sin:rdr =
=
2
:
[(1)
n
(2 ) 1] =
_
_
2
:
(1 ) , : par
2
:
( 3) , : impar
Luego la solucin de (1) , (2) y(3) es:
n(r, t) = 1 +
r
+
2
+1
n=1
(1)
n
(2 ) 1
:
c
4n
2
t
sin:r
Ejercicios.- Resolver
1.
0
2
n
0r
2
=
1
/
0n
0t
n(0, t) = l
0
, t _ 0
n(1, t) = l
1
, t _ 0
n(r, 0) = ) (r) , 0 _ r _ 1
donde l
0
, l
1
, / y 1 son constantes y ) una funcin dada.
Indicacin.-
n(r, t) = l
0
+
r
1
(l
1
l
0
) +
+1
n=1
C
n
c
n
2
2
L
2
t
sin
:
1
r,
donde
C
n
=
2
1
_
L
0
) (r) sin
:
1
rdr +
2
:
[(1)
n
l
1
l
0
] ; : = 1, 2, .......
2. Resolver
(1)
0
2
n
0r
2
=
1
c
2
0
2
n
0t
2
(2) n(0, t) = l
0
, n(1, t) = l
1
; t _ 0
(3) n(r, 0) = ) (r) ,
0n
0t
(r, 0) = q (r) ; 0 _ r _ 1
donde l
0
, l
1
, 1 y c son constantes;) q son funciones dadas.
3. Resolver
(1)
0
2
n
0r
2
=
1
/
0n
0t
(2) n(0, t) = l
0
(t) , n(1, t) = l
1
(t) ; t _ 0
(3) n(r, 0) = ) (r)
Indicacin.-
Sea n(r, t) = (r, t) +n(r, t), en (1)
69
0
2
n
0r
2

1
/
0n
0t
=
_
0
2
0r
2

1
/
0
0t
_
........ (4)
por (2) y (3) : n(0, t) = l
0
(t) (0, t) ; t _ 0
n(1, t) = l
1
(t) (1, t) ; t _ 0
n(r, 0) = ) (r) (r, 0) ; 0 _ r _ 1
Elegimos: (0, t) = l
0
(t)
(1, t) = l
1
(t)
y una funcin que cumole con tales requisitos es:
(r, t) = l
0
(t) +
r
1
[l
1
(t) l
0
(t)]
Con esto (4) se convierte en:
0
2
n
0r
2

1
/
0n
0t
=
1
/
_
l
0
0
(t) +
r
1
(l
0
1
(t) l
0
0
(t))
_
......... (5)
.
Observacin.-
1. El resultado obtenido conduce a la necesidad de resolver ecuaciones no
homogeneas.
2. (5) es un caso particular de la ecuacin generalizada de la conducin del
calor. (proviene de las condiciones de contorno no homogeneas, dependien-
tes de t).
3. Ilustraremos tambin otra tcnica para resolver E.D.P. homogeneas con
condiciones de contorno no homogeneas (no constantes).
2.7 Ecuaciones no homogeneas
Ejemplo.- Resolver
(1)
0n
0t
=
1
/
0
2
n
0r
2
+) (r, t)
(2) n(0, t) = n(1, t) = 0
(3) n(r, 0) = ,(r)
Solucin.- Hacemos:
n(r, t) =
+1
n=1
n
n
(t) sin
:
1
r......... (4)
(solo verica las condiciones de contorno)
y
) (r, t) =
+1
n=1
)
n
(t) sin
:
1
r............ (5)
Usando la propiedad de ortogonalidad de la funcin seno en T( [1, 1] obten-
emos:
_
L
L
) (r, t) sin
:
1
dr = )
m
(t)
_
_
_sin
:
1
r
_
_
_
2
=
70
= )
m
(t)
/ a
2
(a = 1, / = 1)
por lo tanto
)
m
(t) =
2
1
_
L
0
) (r, t) sin
:
1
dr.........(6)
Por otra parte (de (4)),
n(r, 0) =
+1
n=1
n
n
(0) sin
:
1
r := ,(r)
De esta manera
n
n
(0) =
2
1
_
L
0
,(r) sin
:
1
dr...........(7)
y por otro lado (4) y (5) en (1)
+1
n=1
_
n
0
n
(t) +
1
/
_
:
1
_
2
n
n
(t) )
n
(t)
_
sin
:
1
r = 0
por lo que
n
0
n
(t) +
1
/
_
:
1
_
2
n
n
(t) = )
n
(t)..........(8)
donde )
n
(t) es conocida por (6).
Con esto el problema se reduce a resolver (8) sujetro a la condicin inicial (7).
Caso particular.-
Resolver:
(1)
0n
0t
=
0
2
n
0r
2
+t
(2) n(r, 0) = n(, t) = 0
(3) n(r, 0) = sinr
Solucin.- En este caso se tiene; / = 1, 1 = , ) (r, t) = t, ,(r) = sinr.
por (1)
)
n
(t) =
2
_

0
sin:rdr =
2t
:
[(1)
n
1] =
_
0 , : par
4t
:
, : impar
por (7)
n
n
(0) =
1
sinrsin:rdr =
_
1
|sinr|
2
, : = 1
0 , : ,= 1
=
_
1 , : = 1
0 , : ,= 1
La ecuacin (8) queda
: par.- n
0
n
(t) +:
2
n
n
(t) = 0; n
n
(0) = 0,
(coecientes indeterminados; r = :
2
)
Por lo tanto n
n
(t) = 0
: impar.- n
0
n
(t) +:
2
n
n
(t) =
4
:
t; n
n
(0) =
_
1 , : = 1
0 , : ,= 1
(coecientes indeterminados; j = j
h
+j
p
e j
p
=+1t)
De n
1
(0) = 1, se obtiene c
1
= 1
4
y de n
n
(0) = 0, c
n
=
4
:
5
; : ,= 1
Por lo tanto
n
1
(t) =
4
t +
_
1
4
_
c
t
71
n
n
(t) =
4
:
5

4
:
3
t
4
:
5
c
n
2
t
; : ,= 1
Luego: n(r, t) =
_
4
t +
_
1
4
_
c
t
_
sinr+
+
+1
k=1
_
4
(2/ + 1)
5

4
(2/ + 1)
3
t
4
(2/ + 1)
5
c
n
2
t
_
sin(2/ + 1) r
2.8 Ecuaciones homogeneas con condiciones de contorno
homogeneas y no constantes
Resolver la ecuacin diferencial parcial
n
t
= 4n
xx
, 0 < r < 2, t 0
n(0, t) = t , n(2, t) = 2t
n(r, 0) = 0 , 0 < r < 2
Solucin.-
Hacemos q (r, t) t =
t
2
r o
q (r, t) = t +
t
2
r
= (r, t) + (t+)
t
2
r
luego, de n(0, t) = t, (0, t) = 0
n(2, t) = 2t, (2, t) = 0
n(r, 0) = 0, (r, 0) = 0
Sea (r, t) = n(r, t) +,(r), entonces
t
= 4
xx
_
1 +
r
2
_
y n
t
= 4n
xx
+ 4,
00
(r)
_
1 +
r
2
_
(0, t) = n(0, t) +,(0) = 0
(2, t) = n(2, t) +,(2) = 0
(r, 0) = n(r, 0) +,(r) = 0
Elegimos ,(r) tal que ,
00
(r) =
1 +
r
2
4
con
,(0) = 0
,(2) = 0
_
(+)
para obtener n(r, t) satisfaciendo el PVI-F:
n
t
= 4n
xx
n(0, t) = 0
n(2, t) = 0
n(r, 0) = ,(r)
De ,(r) =
r
3
48
+
1
8
r
2
+c
1
r +c
2
,(0) = c
2
= 0
,(2) =
2
3
48
+
2
3
8
+ 2c
1
= 0; c
1
=
2
2
48
2
8
=
1
3
72
Ejercicio.- Resolver:
(1)
0
2
n
0r
2
=
1
/
0n
0t
(2) n(0, t) = l
0
(t) ; n(1, t) =, t _ 0
(3) n(r, 0) = ) (r) ; 0 _ r _ 1
Indicacin.-
q (r, t) = l
0
(t) +
l
1
(t) l
0
(t)
1
r
Hacemos n(r, t) = (r, t) +q (r, t),
entonces
(0, t) = 0, (1, t) = 0
(r, 0) =
= ) (r) l
0
(0)
l
1
(t) l
0
(t)
1
r
:= /(r)
Sea (r, t)
(5)
= n(r, t) +,(r), entonces
0
0t
= /
0
2
0r
2

_
l
0
0
(t) +
l
0
1
(t) l
0
0
(t)
1
r
_
........(6)
0n
0t
= /
0
2
n
0r
2
+/,
00
(r)
_
l
00
0
(t) +
l
00
1
(t) l
00
0
(t)
1
r
_
n(0, t) +,(0) = 0, n(1, t) +,(1) = 0, n(r, 0) +,(r) = /(r)
Elegimos , de manera que:
,
00
(r) = /
_
l
0
0
(t) +
l
0
1
(t) l
0
0
(t)
1
r
_
,(0) = ,(1) = 0
para obtener que n(r, t) satisface el PVI-F
(7) n
t
= /n
xx
(8) n(0, t) = n(1, t) = 0
(9) n(r, 0) = /(r) ,(r), donde
,(r) = /
_
1
2
l
0
0
(t) r
2
+
1
6
l
0
1
(t) l
0
0
(t)
1
r
3
_
+c (t), con c (t) =
/
6
[2l
0
0
(t) l
0
1
(t)]
Ahora n(r, t) = A (r) T (t), entonces
(10)
(11)
A
00
À = 0
T
0
`/T = 0
A (0) = A (1) = 0
.
su solucin n
n
(r, t) = A
n
(r) T
n
(t) = c
n
c
(
n
L
)
2
kt
sin
:
1
r; : = 1, 2, 3, .......
satisface (7) y (8).
Sea n
n
(r, t) =
+1
n=1
n
n
(r, t), entonces de (9) se obtiene que los coecientes c
n
son los de Fourier de la extensin impar de /(r) ,(r) en T( [1, 1]. Luego
c
n
=
2
_
L
0
(/(r) ,(r)) sin
:
1
rdr
73
lo que soluciona (7), (8) y (9). Haciendo los reemplazos correspondientes en-
contramos la solucin de (1), (2) y (3).
.
Complementos de Clculo - 521236
Ecuaciones Diferenciales Parciales - 521237
9 de Octubre de 2009
JRC
74

Apunte236 327

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Apunte236 327

Transféré par

Droits d'auteur :

Formats disponibles

1

, la desigualdad anterior se transforma en

2. Si ) T( [a, /], entonces

) (r) cos :rdr; /

, < r < , son respectivamente:

))] para cada r R. Entonces para cada punto

orden a una ecuacin del tipo

Con esto se puede dar la siguiente denicin alternativa: Se dice que en

) (0) cos :0d0

Para (8) , (9) y (10) hacemos n(r, t) = A (r) T (t) y se tiene:

Vous aimerez peut-être aussi