Apuntes 521236

1
Indice
Captulo 1: Espacio de Funciones y Series
Seccin pgina
1.1 Estructura de Espacio Euclidiano 4
1.1.1 Producto escalar 4
1.1.2 Norma 5
1.1.3 Distancia 6
1.1.4 Vectores ortogonales 7
1.1.5 Conjuntos ortogonales 8
1.2 Sucesiones de Funciones 8
1.2.1 Algunas propiedades de las sucesiones uniformemente convergentes 10
1.3 Series de Funciones 19
Captulo 2: Series de Fourier
Seccin pgina
2.1 El espacio T( [a, /] 26
2.1.1 Desarrollos Ortogonales 28
2.1.2 Ortogonalidad c/r a una Funcin Ponderadora 30
2.1.3 Aproximacin en Media Cuadrtica 33
2.2 Sistemas Trigonomtricos en T( [a, /] 33
2.2.1 Series de Senos y Cosenos 33
2.3 Cambio de intervalos 37
2.4 Condiciones de convergencia de las series de Fourier 37
2.5 Derivacin e integracin de series de Fourier 38
Captulo 3: Sistemas de Sturm - Liouville
Seccin pgina
3.1 Problemas con valores en la frontera 41
3.2 Problemas con valores en la frontera y desarrollos en serie 47
3.3 Ortogonalidad y funcin peso 48
Captulo 4: Ecuaciones en derivadas parciales
Seccin pgina
4.1 Introduccin 53
4.2 Conceptos fundamentales 53
4.3 Ecuaciones que surgen de la eliminacin de funciones arbitrarias 64
4.4 Clasicacin 65
4.5 Ecuacin de la onda 70
4.5.1 Solucin de DAlambert de la ecuacin de la onda 72
4.5.2 Propagacin de la onda unimensional de largo nito 73
4.6 Ecuacin de difusin del calor 75
4.6.1 Conduccin del calor en barra nita 75
4.6.2 Propagacin del calor en barra innita 77
4.7 Integral de Fourier 77
4.8 Ecuacin de Laplace en regiones rectangulares 80
2
4.8.1 Ecuacin de Laplace en una regin circular 82
4.9 Membrana rectangular ja en la frontera 84
4.10 Condiciones de contorno no homogneas 86
4.11 Ecuaciones no homogeneas 89
4.12 Ecuaciones homogeneas con condiciones de contorno homogeneas
y no constantes 90
3
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
1 Sucesiones y Series de Funciones
1.1 Repaso de Estructura de Espacio Euclidiano
Alrededor de 300 a.C., el matemtico griego Euclides estableci las leyes de lo
que vino a ser llamada Geometria euclidiana, que es el estudio de las rela-
ciones entre ngulos y distancias en el espacio. Euclides desarroll de entrada la
geometria plana que trata de la geometria de objetos bidimensionales en una
supercie plana. El entonces desarroll la geometria slida, con que analiz
la geometria de objetos tridimensionales. Todos los axiomas de Euclides fueron
codicados en un espacio matemtico abstrato conocido como espacio euclidi-
ano bi o tridimensional. Estos espacios matemticos pueden ser extendidos a
cualquier dimensin, y tal espacio es llamado espacio euclidiano n-dimensional
o un n-espacio. Esta seccin se reere la tales espacios matemticos.
Para desarrollar esos espacios euclidianos de dimensiones ms elevadas, las
propiedades de los espacios euclidianos conocidos deben ser expresas y entonces
extendidas a una dimensin arbitraria. Aunque la matemtica resultante sea
un tanto abstrata, ella captura la naturaleza esencial de los espacios euclidi-
anos con que todos nosotros estamos familiarizados. Los espacios eucldeos y
sus propiedades han servido de base para generar gran cantidad de conceptos
matemticos relacionados con la geometra, la topologa, el lgebra y el clculo.
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.
1.1.1 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
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
|=1
r
|
j
|
donde r = (r
1
, r
2
, ...., r
n
) ; j = (j
1
, j
2
, ...., j
n
)
2. ( [a, /] el espacio de las funciones continuas sobre [a, /] es un espacio
euclideo con el producto escalar:
), q =
_
b
o
) (r) q (r) dr
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].
1.1.2 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|
5
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, r j, j
o lo que es lo mismo
[r, j[ _ |r| |j|
Observacin.-
1. El alumno podr vericar que la igualdad se obtiene ssi r e j son lineal-
mente dependientes.
2. Para demostrar 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.
1.1.3 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
6
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)
1.1.4 Vectores ortogonales
Denicin.- Se dice que dos vectores r, j 1 son ortogonales si r, j = 0.
Notacin.- r l j
Nota.-
1. La relacin de ortogonalidad es simtrica.
2. (\r 1) r l r ==r = 0
3. Sean r, j
1
, j
2
, ........, j
1. si r l j
I
, con i = 1, 2, ....., j; entonces
r l j
1
, j
2
, ........, j
.
Teorema de Pitgoras.- r l j ==|r +j|
2
= |r|
2
+|j|
2
La demostracin queda como ejercicio.
7
1.1.5 Conjuntos ortogonales
Denicin.- Un conjunto de vectores de 1, r
I
I21
se dice ortogonal si:
(a) (\i 1) r
I
,= 0
(b) (\i, , 1; i ,= ,) r
I
l r
Se dice que un conjunto ortogonal es ortonormal si adems

(c) (\i 1) |r
I
| = 1
.
Notacin.- r
I
I21
es ortonormal==r
I
, r
= c
I
donde c
I
=
_
1 , i = ,
0 , i ,= ,
c
I
es conocido como "Delta de Kronecher".
Observacin.-
1. Todo conjunto ortogonal es linealmente independiente.
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
8
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)
(c) )
n
n2N
cv. uniformemente a ) ==la sucesin de nmeros reales
_
sup
r21
[)
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
r21
[)
n
(r) ) (r)[ _ c
== lim
n!+1
_
sup
r21
[)
n
(r) ) (r)[
_
= 0
9
1.2.1 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 diferencia-
ble que converge puntualmente a ) sobre [a, /] y si )
0
n
n2N
converge uniforme-
mente sobre [a, /], entonces ) es derivable, )
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
o
)
n
(r) dr =
_
b
o
) (r) dr
y (\r [a, /])
lim
n!+1
_
r
o
)
n
(t) dt =
_
r
o
) (t) dt
adems la convergencia es uniforme.
Observacin.-
1) El teorema 2 tambin puede ser presentado de la siguiente manera:
Teorema 4.- Si )
n
n2N
es una sucesin de funciones derivables que converge
uniformemente a ) sobre un intervalo 1 y si )
0
n
n2N
sobre 1, entonces ) es derivable, )
n
n2N
sobre 1 y
)
0
(r) = lim
n!+1
)
0
n
(r)
es decir
d
dr
_
lim
n!+1
)
n
(r)
_
= lim
n!+1
)
0
n
(r)
2) El teorema anterior tambin puede ser presentado en apariencia en forma
ms general como se aprecia en el siguiente resultado.
Teorema 5.- Si )
n
n2N
es una sucesin de funciones derivables sobre un in-
tervalo 1, que converge en un punto a 1 y si )
0
n
n2N
10
sobre 1, entonces la sucesin )
n
n2N
converge uniformemente sobre todo inter-
valo acotado contenido en 1.
Demostracin.- Sea J un intervalo acotado contenido en 1 y sea 1 la longitud
de J. Podemos suponer que a J (si es necesario ampliamos J para que
as sea). Como )
0
n
n2N
converge uniformemente sobre 1 tambin converge
uniformemente sobre J. Por tanto, dado c 0, existe :
0
N tal que para todo
:; : :
0
se verica que:
(\r J) [)
0
n
(r) )
0
n
(r)[ _
c
21
...... (1)
Como )
n
(a)
n2N
es convergente, podemos tomar tambin :
0
de forma que
para :; : :
0
se verica que:
[)
n
(a) )
n
(a)[ _
c
2
Aplicando el teorema del valor medio a la funcin denida por
/(t) = )
n
(t) )
n
(t) ()
n
(a) )
n
(a))
sobre un intervalo de extremos r y a con r J, se tiene que hay algn c entre
r y a, por lo que c J, tal que /(r) /(a) = /
0
(c) (r a), es decir:
)
n
(r) )
n
(r) ()
n
(a) )
n
(a)) = ()
0
n
(c) )
0
n
(c)) (r a)
Tomando valores absolutos en esta igualdad y teniendo en cuenta (1), resulta
que para :; : :
0
se tiene:
(\r J) [)
n
(r) )
n
(r) ()
n
(a) )
n
(a))[ = [()
0
n
(c) )
0
n
(c))[ [r a[ _
_
c
21
1 =
c
2
Conclumos que:
[)
n
(r) )
n
(r)[ _ [)
n
(r) )
n
(r) ()
n
(a) )
n
(a))[ +[)
n
(a) )
n
(a)[ _
_
c
2
+
c
2
= c
desigualdad que es vlida siempre que :; : :
0
y para todo r J. Hemos
probado as que la sucesin )
n
n2N
verica sobre J la condicin de Cauchy
para la convergencia uniforme.
Criterio de Cauchy.-
1) Una sucesin de nmeros reales a
n
n2N
converge sobre R ssi
(\- 0) ( N) :, : _ ==[a
n
a
n
[ < -
Observacin.- = (-)
11
2) Una sucesin de funciones reales )
n
n2N
converge puntualmente sobre
o _ R ssi dado que r o se tiene que
(\- 0) ( = (-, r) N) :, : _ ==[)
n
(r) )
n
(r)[ < -
3) Una sucesin de funciones reales )
n
n2N
converge uniformemente sobre
o _ R ssi
(\- 0) ( = (-) N) :, : _ == sup
r2S
[)
n
(r) )
n
(r)[ < -
Criterio de Weierstrass.-
Sea o _ R. Una sucesin de funciones reales )
n
n2N
converge uniforme-
mente sobre o a la funcin nula si existe una sucesin de nmeros reales (posi-
tivos) a
n
n2N
que converge a cero tal que
(\: N) [)
n
(r)[ _ a
n
Ejemplo.-
1. Estudiar la convergencia uniforme sobre R
+
0
y sobre todo intervalo del tipo
[a, +[, (a 0), de la sucesin de funciones denidas por
)
n
(r) = :
2
rc
nr
; r R
+
0
Solucin.-
lim
n!+1
)
n
(0) = 0
Para r 0
lim
n!+1
)
n
(r) = lim
n!+1
:
2
r
c
nr
J
0
1
= 2 lim
n!+1
:
c
nr
J
0
1
= 2 lim
n!+1
1
rc
nr
= 0;
Por lo tanto )
n
n2N
converge puntualmente a
) : R
+
0
R, ) (r) = 0
Por otra parte
[)
n
(r) ) (r)[ = )
n
(r)
)
0
n
(r) = 0 ==:
2
c
nr
:
3
rc
nr
= :
2
c
nr
(1 :r) = 0 ==r =
1
:
)
0
n
(r) 0 ==r <
1
:
y )
0
n
(r) < 0 ==r
1
:
Dado que ) es continua se tiene por el criterio de la primera derivada que
r =
1
:
es un punto de mximo relativo para )
n
. Puesto que r =
1
:
es el
nico punto crtico de )
n
sobre R
+
0
, se tiene que este tambin es un punto
de mximo absoluto sobre ese conjunto.
12
Ahora tenemos
sup
r2R
+
0
[)
n
(r) ) (r)[ = max
r2R
+
0
)
n
(r) = )
n
_
1
:
_
=
:
c
lim
n!+1
_
sup
r2R
+
0
[)
n
(r) ) (r)[
_
= lim
n!+1
:
c
no converge a cero, por lo tanto
)
n
n2N
no converge uniformemente sobre R
+
0
.
Ahora sobre el intervalo [a, +[, tenemos
[)
n
(r) ) (r)[ = )
n
(r) =
:
2
r
c
nr
=
:
2
r
+1
|=0
(:r)
|
/!
_
:
2
r
n
3
r
3
6
=
6
:r
2
ro
_
_
6
:a
2
n!+1
0
Por el criterio de Weierstrass la sucesin dada converge uniformemente a
) sobre el intervalo [a, +[.
Observacin.- Esta es una alternativa para probar la convergenvcia uni-
forme de la sucesin dada sobre [a, +[.
Por el teorema de Arquimides existe N, tal que
1
< a. Ahora si
: _ , entonces [a, +[ _
_
1
:
, +
_
. Puesto que )
n
es decreciente sobre
_
1
:
, +
_
se tiene que para : _ , )
n
(a) es el mximo valor que alcanza
)
n
sobre el intervalo [a, +[. De esta manera
lim
n!+1
_
sup
r2[o,+1[
[)
n
(r) ) (r)[
_
n
= lim
n!+1
)
n
(a) = a lim
n!+1
:
2
c
no
=
= a lim
n!+1
:
2
c
no
J
0
1
= 0
2. Estudiar la convergencia en intervalos de la forma R
+
0
y [a, +[, (a 0),
de la sucesin de funciones denida por
)
n
(r) =
2:r
2
1 +:
2
r
4
, r R
+
0
Indicacin.-
lim
n!+1
)
n
(r) = 0; r _ 0
)
0
n
(r) = 4:r
1 :
2
r
4
(1 +:
2
r
4
)
2
) es estrictamente creciente sobre
_
0,
1
_
:
_
13
) es estrictamente decreciente sobre
_
1
_
:
, +
_
) es continua en r =
1
_
:
r =
1
_
:
es un punto de mximo absoluto para )
n
sobre R
+
0
.
lim
n!+1
_
sup
r2R
+
0
[)
n
(r) ) (r)[
_
= lim
n!+1
)
n
_
1
_
:
_
= lim
n!+1
1 = 1
Por otra parte dado a 0 tenemos
[)
n
(r)[ =
2:r
2
1 +:
2
r
4
_
2
:r
2
_
2
:a
2
n!+1
0; r _ a
3. Sea )
n
(r) = :
2
r(1 r)
n
, r [0, 1]. Demuestre que )
n
n2N
converge
puntualmente sobre [0, 1].
Solucin.-
lim
n!+1
)
n
(0) = 0
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
J
0
1
=
2r
ln(1 r)
lim
n!+1
:
(1 r)
n
=
J
0
1
=
2r
[ln(1 r)]
2
lim
n!+1
(1 r)
n
= 0
Para r = 1.- )
n
(1) = 0
n!+1
0
Por lo tanto )
n
n2N
converge puntualmente a
) : [0, 1] R, ) (r) = 0
4. 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.-
(a) )
n
n2N
no converge uniformemente a ) ya que (\: N) )
n
es con-
tinua y ) no es continua.
14
(b) A pesar de que las funciones de la sucesin son continuas, la funcin
lmite no lo es. En la gura se puede observar la grca de las cinco
primeras funciones de la sucesin.
-5 5
0.5
1.0
x
y
(c) En este caso puede vericar que:
lim
n!+1
_
sup
r2R
[)
n
(r) ) (r)[
_
_ lim
n!+1
_
)
_
1 +
1
2:
_
)
n
_
1 +
1
2:
__
=
lim
n!+1
_
_
_
_
_
1
_
1 +
1
2:
_
2n
1 +
_
1 +
1
2:
_
2n
_
_
_
_
_
= 1
c
1 +c
=
1
1 +c
,= 0
La distancia entre la funcin )
n
y la funcin lmite ) no converge a
cero.
(d) Este ejemplo deja de maniesto que la convergencia puntual de )
n
n2N
a ) no proporciona una buena idea de la aproximacin entre las fun-
ciones )
n
y ). Adems la continuidad de cada )
n
no puede conser-
varse para la funcin lmite. Situaciones como esta es lo que motiva
la denicin de convergencia uniforme.
5. 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].
Solucin.-
)
n
(0) = 0
r 0 == N :
1
r
<
: _ ==r
1
_
1
:
Por lo tanto )
n
(r) = 0; r _
15
Esto prueba que )
n
converge puntualmente a ) : [0, 1] R, ) (r) = 0
Observacin.-
)
n
no es diferenciable
) es diferenciable
6. 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) [)
n
(r)[ =
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
r2[0,1]
[)
n
(r)[ = 1 para : _ 4
y adems lim
n!+1
_
sup
r2[0,1]
[)
n
(r)[
_
= 1 ,= 0 lo que signica que )
n
no
converge uniformemente (a la funcin nula).
16
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)
.
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
nr
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.
17
6) Sea )
n
: [0, 1] R, )
n
(r) =
:
2
r
1 +:
3
r
3
. Encuentre ) = lim
n!+1
)
n
.
Muestre que la convergencia es puntual pero no es uniforme. Se
verica que lim
n!+1
)
0
n
= )
0
?.
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
nr
2
, [r[ _ 1
b) )
n
(r) =
n
_
r, r [0, 1] e) )
n
(r) =
1
:
c
r
2
, r R
c) )
n
(r) =
c
r
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
r
+rc
r
: +r
, r [0, 1]
e) )
n
(r) =
_
r
_
:
_
n
, r [1, 2]
f) )
n
(r) =
sin:r
:r
, r ]0, [
g) )
n
(r) = c
nr
, r [1, 2]
h) )
n
(r) =
sin:r
:
, r [0, ]
18
1.3 Series de Funciones
Denicin.-
1. Sea )
n
n2N
una sucesin de funciones
)
n
: 1 _ R R
Sea 1
n
=
n
|=1
)
|
. Se llama serie de funciones a la sucesin de sumas par-
ciales 1
n
n2N
y se denota por
+1
n=1
)
n
.
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
|=1
)
|
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
r21
[) (r)[.
Indicacin.-
|)
n
| = sup
r21
[)
n
(r)[ = sup
r21
_
n
|=1
)
|
(r)
_
1 (r)
_
n1
|=1
[)
|
(r)] 1 (r)
_
_
_ sup
r21
|=1
[)
|
(r)] 1 (r)
+ sup
r21
n1
|=1
[)
|
(r)] 1 (r)
19
.
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.
Teorema 3.- Si )
n
n2N
es una sucesin de funciones continuamente diferen-
ciable tal que
+1
n=1
)
n
= 1 [puntualmente] y si
+1
n=1
)
0
n
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
o
1 (r) dr =
+1
n=1
_
b
o
)
n
(r) dr
y (\r [a, /])
_
r
o
1 (t) dt =
+1
n=1
_
r
o
)
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
.
+1
n=1
'
n
converge==
+1
n=1
)
n
converge uniforme y absolutamente sobre 1.
Demostracin.- Ejercicio
20
Corolario.- Una condicin necesaria para que la serie de funciones
+1
n=1
)
n
sea
uniformemente convergente sobre un conjunto es que la sucesin de funciones
)
n
n2N
conveja uniformemente a la funci nula sobre .
Ejemplos.-
1. Estudiar la convergencia de la sucesin de funciones denida por
)
n
(r) = r +
(1 +:r)
2
1 +:
2
r
2
Solucin.- Para r R:
lim
n!+1
)
n
(r) = lim
n!+1
_
r +
(1 +:r)
2
1 +:
2
r
2
_
= r + 1
2. Comprobar que la serie
+1
n=1
r
4n1
4: 1
converge uniformemente sobre todo
intervalo cerrado contenido en ]1, 1[. Aplicar este hecho para demostrar
que su suma vale
1
4
ln
1 +r
1 r

1
2
arctanr
Solucin.-
Considere )
n
(r) =
r
4n1
4: 1
; entonces se tiene que:
)
0
n
C
1
(]1, 1[)
+1
n=1
)
0
n
(r) =
+1
n=1
r
4n2
= r
2
+1
n=1
_
r
4
_
n1
. Esta es una serie geomtrica de
razn r = r
4
, la cual converge ssi [r[ < 1.
+1
n=1
)
0
n
(r) = r
2
1
1 r
4
, r ]1, 1[
Dado que una serie de potencias converge uniformemente sobre cualquier
intervalo cerrado contenido en su campo de convergencia se concluye que
+1
n=1
)
0
n
(r) converge uniformemente sobre cualquier intervalo cerrado con-
tenido en ]1, 1[.
Ahora de acuerdo al teorema 3 anterior hemos probado que la serie
+1
n=1
)
n
(r)
converge uniformemente sobre cualquier intervalo cerrado contenido en
21
]1, 1[. Adems aplicando el teorema 4 a la serie
+1
n=1
)
0
n
(t) dt (claramente
se verican las hiptesis) dado r ]1, 1[ :
+1
n=1
)
n
(r) =
+1
n=1
_
r
0
)
0
n
(t) dt
Teo4
=
_
r
0
+1
n=1
)
0
n
(t) dt =
_
r
0
t
2
1 t
4
dt =
=
_
r
0
_
1
4(|+1)

1
4(|1)

1
2(|
2
+1)
_
dt =
1
4
ln
1 +r
1 r

1
2
arctanr
Observacin.- Directamente se puede demostrar la convervencia uniforme
de la serie
+1
n=1
)
n
(r) sobre cualquier intervalo cerrado contenido en ]1, 1[
de la siguiente manera:
Si escribimos a
n
=
r
4n1
4: 1
, tenemos que lim
n!+1
a
n+1
a
n
r
4
. Luego por
el criterio de la razn la serie dada converge para [r[ < 1 y diverge para
[r[ 1. Para r = 1 y r = 1 la serie diverge ("serie armnica"). Puesto
que
+1
n=1
)
n
(r) es una serie de potencias con intervalo de convergencia
1 = ]1, 1[ se tiene la conclusin esperada.
3. Estudiar la convergencia de la serie
+1
n=1
r
2
(1 +r
2
)
n1
Solucin.-
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.
4. 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
5. Demuestre que:
_
t
0
) (r) dr = 2
+1
n=1
1
(2: 1)
4
, si ) (r) =
+1
n=1
sin:r
:
3
22
Indicacin.- [)
n
(r)[ _
1
:
3
, r R
_
t
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
:
r
sobre [a, +[ con a 1.
(Indicacin.-
1
:
r
_
1
:
o
). Lo mismo para
+1
n=1
r
n
sin:r sobre
_
1
2
,
1
2
_
(Indicacin.- [)
n
(r)[ _
1
2
n
).
.
Denicin.- Se dice que:
a) la sucesin de funciones )
n
n2N
est uniformemente acotada sobre , si
existe ' 0 tal que (\r ) (\: N) [)
n
(r)[ _ '.
b) la serie
+1
n=1
)
n
(r) tiene sumas parciales uniformemente acotadas sobre , si
existe ' 0 tal que (\r ) (\: N)
|=1
)
|
(r)
_ '.
A continuacin mencionamos tambin otros criterios de convergencia uniforme.
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, /].
Criterio de Dirichlet.- (2
o
forma)
Supongamos que:
a) a
n
n2N
es una sucesin de nmeros reales montoma y convergente a cero.
b) La serie
+1
n=1
)
n
(r) tiene sumas parciales uniformemente acotadas sobre .
Entonces la serie de funciones
+1
n=1
a
n
)
n
(r) converge uniformemente sobre .
23
Criterio de Abel.- Supongamos que:
a) La serie
+1
n=1
a
n
es convergente.
b) Para cada r )
n
(r)
n2N
es una sucesin montoma de nmeros reales.
c) La sucesin de funciones )
n
n2N
est uniformemente acotada sobre .
Entonces la serie de funciones
+1
n=1
a
n
)
n
(r) converge uniformemente sobre .
Corolario.- (criterio de Leibniz) Sea q
n
n2N
una sucesin de funciones denidas
sobre tal que la sucesin )
n
(r)
n2N
es montona y convergente uniforme-
mente a la funcin nula sobre . Entonces la serie
+1
n=1
(1)
n
q
n
(r) converge
uniformemente sobre A.
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
nr
sin:r
(b)
+1
n=1
r
:(1 +:r
2
)
(e)
+1
n=1
(1)
n
:
r
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[
24
(e) )
n
(r) =
cos :r
log
r
(: + 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
_
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
_
.
Complementos de Clculo -521236
Ecuaciones Diferenciales Parciales - 521236
25 de Julio de 2012
JRC
25
2 Series de Fourier
2.1 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
|!0
+
) (r
0
+/) y )
_
r
0
_
= lim
|!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
o
) (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.).
En notacin: ) = q ==) = q c.t.p.
De este modo:
_
b
o
) (r) dr = 0
}0
==) = 0.
26
.
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
o
) (r) q (r) dr
Ejercicio.- Vericar las propiedades del producto interior.
Denicin.- Sean ), q T( [a, /], se dene la norma por:
|)| =
_
), ) =
_
_
b
o
[) (r)]
2
dr
_1
2
y la distancia entre ) y q por:
d (), q) = |) q| =
_
_
b
o
[) (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
o
[)
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
==
_
b
o
[)
n
(r) ) (r)]
2
dr _ c
por lo tanto
27
(\c 0) ( N) : _ ==
_
b
o
[)
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 converge
en media a ) = 0 sobre 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
|=1
)
|
. 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) , r [a, /]
o
+1
n=1
)
n
(r) = ) (r) [en media] , r [a, /]
Observacin.-
+1
n=1
)
n
(r) ~ ) (r) , r [a, /] ==
_
b
o
_
n
|=1
)
|
(r) ) (r)
_
2
dr
n!+1
0
2.1.1 Desarrollos Ortogonales
Denicin.- Sea o = ,
1
, ,
2
, ...., ,
|
, ..... un conjunto de funciones en T( [a, /].
Se dice que o es ortogonal si

,
I
, ,
_
= 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 =
_
t
t
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.
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
28
subconjunto nito de o
0
, 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
_
_
_,
Ij
_
_
_
2
. .
6=0
= 0
por lo tanto
c
= 0; , = 1, 2, ....., :
Esto prueba que 1 es l.i. y en consecuencia o es l.i.
Teorema.- Sea
_
,
_
2N
un conjunto ortogonal innito en T( [a, /] y suponga-
mos que la serie
+1
|=1
c
|
,
|
(r) converge en media a una funcin ) T( [a, /]
sobre [a, /], entonces el /-simo coeciente est dado por
c
|
=
), ,
|
|,
|
|
2
es decir,
c
|
=
_
b
o
) (r) ,
|
(r) dr
_
b
o
[,
|
(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
|
2
= c
n
,
n
, ,
n
= c
n
,
n
, ,
n
=
=
_

I=1
c
|i
,
|i
, ,
n
_
donde /
= : para algn , = 1, 2, ...., j.

Observacin.-
1. La serie
+1
|=1
c
|
,
|
(r) se llama serie generalizada de Fourier de ) relativa al
sistema ortogonal o. Los nmeros c
1
, c
2
, ...., c
|
, .....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
|=1
c
|
,
|
(r) ~ ) (r)
29
donde
c
|
=
), ,
|
|,
|
|
2
3.
+1
|=1
c
|
,
|
(r) ~ ) (r) sobre [a, /] == lim
n!+1
|o
n
)| = 0
con o
n
=
n
|=1
c
|
,
|
== lim
n!+1
_
b
o
[o
n
(r) ) (r)]
2
dr = 0
2.1.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
o
j (r) c
I
(r) c
(r) 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] cos [:arccos r] dr
u=arccos r
=
=
1
:
_
0
nt
cos :ncos :u = 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
r, cos
2/
/ a
r, .........
_
es or-
togonal en T( [a, /].
30
.
Nota.-
1. Una funcin ) : [a, /] R se dice cuadrado integrable si
_
b
o
[) (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
2r
sin:r
_
+1
n=1
es ortogonal c/r a la funcin pondera-
dora j (r) =
2
c
4r
.
2.1.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
|=1
c
|
,
|
(r) , : N; t
n
(r) =
n
|=1
/
|
,
|
(r) , : N y /
1
, /
2
, ......
constantes arbitrarias, entonces
_
b
o
[) (r) :
n
(r)]
2
dr _
_
b
o
[) (r) t
n
(r)]
2
dr
31
.
Observacin.-
1. |) t
n
|
2
=
_
b
o
[) (r) t
n
(r)]
2
dr
2. La integral
_
b
o
[) (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
|=1
c
|
,
|
(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
r, cos
2/
/ a
r, .........
_
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
|
los coecientes generalizados de Fourier ) T( [a, /] relativos a o (es decir
c
|
= ), ,
|
), entonces:
1.
+1
n=1
(c
n
)
2
converge y
+1
n=1
(c
n
)
2
_
_
b
o
[) (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).
32
.
Observacin.- En T( [, ] la igualdad de Parseval queda
1
_
t
t
[) (r)]
2
dr =
a
2
0
2
+
+1
|=1
a
2
|
+/
2
|
donde a
|
y /
|
son los coeciente generalizados de Fourier de ) relativos al
sistema ortogonal completo o = 1, cos r, sinr, cos 2r, ..........
Indicacin.- |)|
2
=
), 1
2
|1|
2
+
+1
|=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
|
;
), sin/r
2
|sin/r|
2
= /
2
|
(Ver Kreider-Kuller-Ostberg-Perkins, pgina 449)
2.2 Sistemas Trigonomtricos en T( [; ]
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
_
t
t
) (r) dr; a
n
=
1
_
t
t
) (r) cos :rdr; /
n
=
1
_
t
t
) (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
|=1
cos (2/ 1) r
(2/ 1)
2
2. Para ) (r) =
_
1 , < r < 0
1 , 0 < r <
, se tiene:
33
a
n
= 0; /
n
=
_
0 , : par
4
:
, : impar
) (r) ~
4
+1
|=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: ) = )
J
+)
O
con
)
J
(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
|=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
|=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. Considere ) (r) =
_
0 , < r < 0
r , 0 < r <
.
34
(a) Encontrar el desarrollo en serie de Fourier de ):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
:
sin:r
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 <
2.2.1 Series de Senos y Cosenos
Sea ) T( [0, ], entonces la extensin par y la extensin impar de ) estn
denidas respectivamente por:
1
}
(r) =
_
) (r) , 0 _ r _
) (r) , _ r _ 0
; O
}
(r) =
_
) (r) , 0 _ r _
) (r) , _ r _ 0
Puesto que 1
}
, O
}
T( [, ] se puede obtener el desarrollo en serie de Fourier
de de estas, los cuales estn denidos por:
1
}
(r) ~
a
0
2
+
+1
|=1
a
|
cos /r donde a
|
=
2
_
t
0
) (r) cos /rdr
O
}
(r) ~
+1
|=1
/
|
sin/r donde /
|
=
2
_
t
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
}
(r) =
_
cos r , 0 < r <
cos r , < r < 0
O
}
(r) ~ sinr
8
+1
n=1
:
4:
2
1
sin2:r; 1
}
(r) ~ cos r
35
.
Ejercicios.-
I) 1) Hallar el desarrollo en serie de Fourier de ). Trazar la grca.
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
|=1
sin(2/ 1) r
2/ 1
y
2
+1
|=1
(1)
k1
|
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
r
, 0 < r <
3) Hallar el desarrollo en serie de Fourier de senos de
) (r) = c
r
, 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
+..............
36
2.3 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
|=1
a
|
cos
2/
/ a
r +/
|
sin
2/
/ a
r
donde
a
|
=
_
), cos
2|t
bo
r
_
_
_
_cos
2|t
bo
r
_
_
_
2
=
2
/ a
_
b
o
) (r) cos
2/
/ a
rdr; / = 1, 2, , .........
/
|
=
_
), sin
2|t
bo
r
_
_
_
_sin
2|t
bo
r
_
_
_
2
=
2
/ a
_
b
o
) (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
|=1
_
(1)
|
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.
2.4 Condiciones de convergencia de las series de Fourier
Respecto de la convergencia de las series de Fourier podemos enunciar los si-
guientes resultados.
Teorema 1.- Sea ) una funcin continua por tramos sobre ], +[, peridica
37
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
:o
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).
2.5 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.
Teorema.- Sea ) una funcin continua por tramos sobre ], +[, peridica
con perido 21 y suponga que
38
) (r) s
a
0
2
+
+1
|=1
_
a
|
cos
/
1
r +/
|
sin
/
1
r
_
Entonces:
i) La serie puede ser integrada trmino a trmino y adems
_
J
J
) (r) dr =
_
J
J
a
0
2
dr +
+1
|=1
_
a
|
_
J
J
cos
:
1
rdr +/
|
_
J
J
sin
:
1
rdr
_
ii) La funcin denida por 1 (r) =
_
r
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
_
r
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
|=1
(1)
|
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 _
Solucin.-
39
(a) /(r) = [r[ =

2

4
+1
|=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
_
r
0
/(t) dt =
_
_
r
2
2
, 0 < r <
r
2
2
, < r < 0
=

2
t,
r
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
.
Complemento de Clculo -521236
Ecuaciones Diferenciales Parciales I - 521237
20 de Agosto de 2012
JRC
40
3 Sistemas de Sturm - Liouville
3.1 Problemas con valores en la frontera
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
|
=
d
|
dr
|
; / = 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
Jo
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
,
son constantes para i = 1, 2, 3, 4; , = 1, 2.

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, /]).
41
5. Las soluciones de un P.V.F. cuyo operador diferencial lineal es
1 : o ( [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
Xr
+c
2
c
p
Xr
j (0) = 0
j () = 0
c
1
= c
2
= 0 Solucin trivial
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
_
` = 0;
_
` = :, : 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
42
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
o
) (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)
Jr
; (r) =
a
0
(r)
a
2
(r)
j (r) ; a
2
(r) ,= 0
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)
43
.
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
o
= 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, 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
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. Ejemplos de condiciones no mixtas son
Condiciones de Dirichlet o de extremos jos: n(a) = n(/) = 0
44
Condiciones de Neumann o de extremos libres: n
0
(a) = n
0
(/) = 0
Condiciones de Nicoletti: n
0
(a) = n(/) = 0 o bien n(a) = n
0
(/) = 0
5. 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
0Jr
= 1; (r) = 0 j (r) = 0
1 = 1(1): 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
Ecuacin caracterstica: r
2
+` = 0
r =
_
`
Del ejemplo anterior:
` < 0.- solucin trivial
` = 0 no es un valor propio.
` 0.- Valores propios, `
n
= :
2
; : = 1, 2, 3, .........
j
n
(r) = c
n
sin:r.
45
.
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, .........
Denicin.- 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 diferen-
cial 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 asociadas a valores propios diferentes para el operador
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) = 0
j
0
(1) = 0
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, ........
46
3.2 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 el intervalo [a, /]. Sea
o _ (
2
[a, /] descrito 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, /] asociados 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 absolutamente 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
o
/(r) ,
n
(r) dr
_
b
o
,
2
n
(r) dr
y si hacemos
(6) j (r) =
+1
n=0
c
n
,
n
(r), con c
n
por determinar, entonces
Ahora si la serie en (6) puede ser derivada trmino a trmino, 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.
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
47
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+1
:
3
e j (r) = 2
+1
n=1
(1)
n+1
:
3
sin:r
Observacin.-
+1
n=1
c
n
,
n
(r) = 2
+1
n=1
(1)
n+1
:
2
cos :r converge uniformemente.
3.3 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
o
r (r) ) (r) q (r) dr
dene un producto interior (calculado c/r a la funcin peso)
2. ) y q son ortogonales c/r a la funcin peso en ( [a, /] ssi ), q = 0.
48
.
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
o
= 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)
Jr
= c
r
; (r) =
o0(r)
o2(r)
j (r) =
1
4
c
r
4j
00
4j
0
+ (1 `) j = 0
j
00
j
0
+
1
4
j =
`
4
j /j (r)
c
r
j
00
c
r
j
0
+
1
4
c
r
j =
`
4
c
r
j
d
dr
(c
r
j
0
) +
1
4
c
r
j =
`
4
c
r
j
d
dr
(4c
r
j
0
) +c
r
j = `c
r
j
Por lo tanto r (r) = c
r
Dado que las condiciones de frontera son no mixtas, las funciones propias
son ortogonales c/r a la funcin peso r (r) = c
r
en ( [0, 1].
49
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 +`) = 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
.
(2)(1) : j
2n
= c
1
2
x
cos :r es una funcin propia asociada al valor propio
`
2n
= 4:
2
Las funciones propias son ortogonales?.
Ejercicios.-
1. (a) Hallar la S.G. de F. para ) (r) = rc
2r
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
2r
j (0) = 0; j (1) = 0
2. Exprese cada uno de los siguientes operadores diferenciales lineales en
forma autoadjunta:
50
(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
?.
51
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
r=o
= 0,
_
/
1
j +a
2
(jj
00
)
0
r=b
= 0
_
c
1
j +c
2
(jj
00
)
0
r=o
= 0,
_
d
1
j +d
2
(jj
00
)
0
r=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
52
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
r
; j (0) = j
0
(1) = 0
(h) j
00
= sinr; j (0) = 0, j (1) + 2j
0
(1) = 0
.
Complemento de Clculo -521236
Ecuaciones Diferenciales Parciales I - 521327
18 de Septiembre de 2012
JRC
53
4 Ecuaciones en derivadas parciales
4.1 Introduccin
Con el uso de las ecuaciones diferenciales ordinarias para resolver problemas
aplicados se simplifca mucho el modelo de la realidad fsica que conduce a tales
problemas. Todo ello se debe a que en las frmulas matemticas aparece una
sola variable independiente sobre la que dependen todas las otras variables per-
tinentes Sin lugar a dudas utilizar este tipo de ecuaciones diferenciales es til
aunque limita las clases de problemas que podamos investigar, ya que en la
mayora de los casos se necesitan varias variables independientes.
Modelar un problema de la vida real desde el punto de vista matemtico en el
que se haga intervenir dos o ms variables independientes conduce a las Ecua-
ciones Diferenciales en Derivadas Parciales (La aparicin de varias variables
independientes hace que este tema resulte mucho ms complejo que el de las
ecuaciones diferenciales ordinarias).
En este captulo se pretende exponer conocimientos considerados bsicos para
que el pueda entender sin grandes problemas los tres ejemplos clsicos:
- Ecuaciones de tipo Hiperblico (problemas que reeren fenmenos oscila-
torios: vibraciones de cuerda, membranas, oscilaciones electromagnticas).
- Ecuaciones de tipo Parablico (problemas que se presentan al estudiar los
procesos de conductibilidad trmica y difusin).
- Ecuaciones de tipo Elptico (problemas que aparecen al estudiar procesos
estacionarios, o sea que no cambian con el tiempo).
El Mtodo de Separacin de Variables, tambin constituye un tema importante
que nos permitir resolver problemas de Sturm-Liouville y conocer sus autovalo-
res.
Los tres ejemplos anteriores, y con desarrollos de mayor sosticacin, nos per-
mitirn estudiar las ecuaciones diferenciales parciales de segundo orden lineales
e incluso algunos problemas no lineales.
4.2 Conceptos Fundamentales
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.)
Por su semejanza con una ecuacin diferencial ordinaria (E.D.O.), podemos
decir que una E.D.P. es una ecuacin donde una cierta funcin incgnita n
viene denida por una relacin entre sus derivadas parciales con respecto a las
variables independientes. Si n = n(r
1
, r
2
, ...., r
n
), una ecuacin diferencial en
54
derivadas parciales tiene la forma
1
_
r
1
, ...., r
n
, n,
0n
0r
1
, ....,
0n
0r
n
, .....,
0
n
n
0r
|1
1
0r
|2
2
...0r
|n
n
_
= 0
donde /
1
, /
2
, ...., /
n
, son nmeros enteros tales que /
1
+/
2
+......, /
n
= :.
Se llama orden de una E.D.P. al orden de la mayor derivada parcial que aparece
en la ecuacin.
Se llama solucin de una E.D.P. de orden : sobre una regin 1 _ R
n
a cualquier
funcin n (
n
(1) que verique la ecuacin dada.
Una ecuacin se dice homognea si cada trmino contiene la variable dependien-
te o bien una de sus derivadas.
Se dice que una E.D.P. es lineal si el operador correspondiente es lineal. Esto
es si la ecuacin es lineal respecto a la funcin incgnita y todas sus derivadas
que forman parte de esta ecuacin.
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.
0
2
n
0r
2
+
0
2
n
0j
2
= 0
es una E.D.P. de 2
o
orden lineal y homognea, mientras que
n
0n
0r
+
0n
0j
= 0
es una E.D.P. de 1
er
orden no lineal y homogenea.
2. 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 lineal (EDPL) de 2
o
orden
3. n
r
+rj
2
nn
= cos j es no lineal (de 1

t:
orden)
4. 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
55
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.
5. 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.
Es usual identicar a la variable independiente t con el tiempo y las otras
r
1
, r
2
, ......, r
n
como coordenadas espaciales.
6. 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, ....., :.
7. 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.
8. La ecuacin del calor:
0n
0t
= / n
con / una constante positiva.
9. 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.
10. La ecuacin de Airy:
0n
0t
+
0
4
n
0r
4
= 0
56
11. La ecuacin j-Laplaciana:
div
_
[\n[
2
\n
_
= 0
12. La ecuacin de Hamilton-Jacobi:
0n
0t
+H (\n, r) = 0
con H una funcin dada.
13. 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.
14. 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.
15. La ecuacin de Korteweg-de Vries (1d\ ):
0n
0t
+n
0n
0r
+
0
3
n
0r
3
= 0
.
Algunas propiedades de operadores lineales
Se sabe que si una ecuacin diferencial ordinaria es lineal y homognea, a partir
de soluciones conocidas pueden obtenerse, por superposicin, otras soluciones.
Para una ecuacin diferencial parcial lineal y homognea, la situacin es bas-
tante semejante. Debido al caracter de linealidad de un operador lineal 1 son
vlidos los siguientes teoremas y representan las propiedades de las soluciones
de la EDPL homogneas. La demostracin queda como ejercicio.
Teorema.- Si n es solucin de la EDPLH 1[n] = 0, entonces /n es tambin
solucin de la ecuacin homogenea para / R.
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
57
con c
1
y c
2
constantes (arbitrarias), tambin es una solucin de esa ecuacin,
en esa regin.
Teorema.- Si n
I
(con i = 1, 2, ...../) es solucin de la EDPLH 1[n] = 0, en-
tonces
|
I=1
c
I
n
I
es tambin solucin de la ecuacin homognea siendo c
I
R; i =
1, 2, .../.
Para una EDPL no homoga podemos dar el siguiente resultado:
Teorema.-
a) Si n es solucin de 1[n] = ) y es solucin de la ecuacin homogenea
1[n] = 0, entonces n = n + es solucin de 1[n] = ).
b) Si n
1
es solucin de 1[n] = )
1
y n
2
2
, entonces
n
1
+n
2
1
+)
2
(principio de superposicin)
Demostracion.- En ambos casos es inmediata debido al carcter de linealidad
del operador 1.
En analoga con las ecuaciones diferenciales ordinarias podemos dar los sigu-
ientes resultados:
Teorema.- La solucin de una EDPL 1[n] = ) es la suma de la solucin general
n
|
de la ecuacin homogenea 1[n] = 0 y cualquier solucin particular n
de la
ecuacin no homogenea. Esto es n = n
|
+n
.
Teorema.- Si n
1
, n
2
, ...., n
|
son soluciones de la EDPL 1[n] = ), entonces
n = n
1
+ n
2
+ .... + n
|
es tambin solucin de dicha ecuacin. (principio de
superposicin)
Observacion.-
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. En primer lugar nos interesa
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.
58
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.
.
Se podrin hacer algunas consideraciones acerca de las E.D.P. Mientras que el
nmero de constantes que hay que eliminar en una familia de curvas denen el
orden de la ecuacin diferencial ordinaria de la que es solucin, aqu la gnesis
se puede considerar vista de otro modo.
Ejemplos.-
1. Consideremos n(r, j) = ) (r +j) q (r j)
donde ) y q son funciones arbitrarias. Se tiene:
0n
0r
(r, j) = )
0
(r +j) q (r j) +) (r +j) q
0
(r j)
0n
0j
(r, j) = )
0
(r +j) q (r j) ) (r +j) q
0
(r j)
0
2
n
0r
2
(r, j) = )
00
(r +j) q (r j)+2)
0
(r +j) q
0
(r j)+) (r +j) q
00
(r j)
0
2
n
0j
2
(r, j) = )
00
(r +j) q (r j)2)
0
(r +j) q
0
(r j)+) (r +j) q
00
(r j)
0
2
n
0r0j
(r, j) = )
00
(r +j) q (r j))
0
(r +j) q
0
(r j)) (r +j) q
00
(r j) +
+)
0
(r +j) q
0
(r j) = )
00
(r +j) q (r j) ) (r +j) q
00
(r j)
de manera que
0
2
n
0r
2
(r, j)
0
2
n
0j
2
(r, j) = 4)
0
(r +j) q
0
(r j)
dado que
0n
0r
(r, j) +
0n
0j
(r, j) = 2)
0
(r +j) q (r j)
0n
0r
(r, j)
0n
0j
(r, j) = 2) (r +j) q
0
(r j)
_
0n
0r
(r, j)
_
2
_
0n
0j
(r, j)
_
2
= 4)
0
(r +j) q
0
(r j) n(r, j)
Se llega a una ecuacin diferencial parcial de 2
orden cuya solucin tiene

la forma
n(r, j) = ) (r +j) q (r j)
2. Considere n = r) (j). Se tiene:
0n
0r
= ) (j)
59
n = r
0n
0r
Esta ltima es la ecuacin diferencial parcial de primer orden cuya solucin
tiene la forma
n = r)(j)
donde f es una funcin arbitraria.
3. Para n = )
_
r
2
+j
2
_
, se tiene:
0n
0r
(r, j) = 2r)
0
_
r
2
+j
2
_
0n
0j
(r, j) = 2j)
0
_
r
2
+j
2
_
de manera que
j
0n
0r
r
0n
0j
= 0
es la ecuacin diferencial parcial de primer orden cuya solucin tiene la
forma
n = )
_
r
2
+j
2
_
4. En este caso considerando n = ) (r +j) +q (r j), tenemos:
0n
0r
= )
0
+q
0
0n
0j
= )
0
q
0
0
2
n
0r
2
= )
00
+q
00
0
2
n
0j
2
= )
00
+q
00
por lo que en este caso obtemos una ecuacin diferencial parcial de 2
orden cuya solucin tiene la forma

n = ) (r +j) +q (r j)
5. Hallar la solucin n = n(r, j) de la ecuacin
0n
0r
= 0
Solucin.- n no depende de r, pero puede ser una funcin cualquiera de
j, n = c(j), con c una funcin arbitraria (de clase (
1
).
6. Hallar la solucin n = n(r, j) de la ecuacin
0
2
n
0r0j
= 0
Solucin.- Podemos llamar =
0n
0j
, por lo que
0
0r
= 0. As = ,(j) y
luego
0n
0j
= ,(j). Integrando con respecto a j :
60
n(r, j) =
_
,(j) dj +q (r)
Si ) (j) =
_
,(j) dj, entonces la solucin de la ecuacin dada es:
n(r, j) = ) (j) +q (r), con ) y q funciones arbitrarias.
Observacin.-
(a) Los ejemplos anteriores ponen de maniesto que las Ecuaciones Diferen-
ciales Parciales tienen familias enteras de soluciones.
(b) Existen Ecuaciones Diferenciales Parciales que tienen conjuntos de
soluciones muy pequeos y en algunos casos se obtiene incluso el
conjunto vaco).
i. La ecuacin
_
0n
0r
_
2
+
_
0n
0j
_
2
= 0 tiene solucion n(r; j) = ctc.
En efecto si n = )(r, j) es solucin de la ecuacin, entonces
()
r
)
2
+ ()
)
2
= 0, por lo que )
r
= )
= 0, lo que es posible slo

con ) = ctc. ()
r
= 0 ==) (r, j) = ,(j): no depende de r).
ii. La ecuacin
_
0n
0r
_
2
+
_
0n
0j
_
2
+1 = 0 no tiene soluciones reales.
(c) Para una E.D.P. de orden :, una solucin que contenga : funciones
arbitrarias se llama la solucin general, y cualquier solucin obtenida
de esta solucin general por selecciones particulares de las funciones
arbitrarias se llama una solucin particular.
(d) Como en el caso de las Ecuaciones Diferenciales Ordinarias con fre-
cuencia necesitamos determinar soluciones de Ecuaciones Diferen-
ciales Parciales que satisfagan condiciones dadas. Ms adelante plan-
tearemos el problema de como hallar las soluciones particulares o par-
ciales haciendo intervenir condiciones adicionales que deben plantearse
a la funcin.
7. Resolver la ecuacin
0
2
n
0r0j
= r + j
3
si est sometida a las condiciones
siguientes:
n(1, j) = 2j
2
4j; n(r, 2) = r + 15
Solucin.- De la ecuacin dada
0
0r
_
0n
0j
_
= r +j
3
integrando c/r a r
0n
0j
=
r
2
2
+rj
3
+c(j)
integrando c/r a j
61
n(r, j) =
r
2
2
j +
1
4
rj
4
+
_
c(j) dj +,(r)
Si hacemos (j) =
_
c(j) dj, tenemos
n(r, j) =
r
2
2
j +
1
4
rj
4
+ (j) +,(r)
que es la solucin general de la ecuacin dada.
De n(1, j) = 2j
2
4j, se tiene (j) =
1
4
j
4
+ 2j
2
9
2
j ,(1)
De este modo
n(r, j) =
r
2
2
j +
1
4
rj
4
1
4
j
4
+ 2j
2
9
2
j ,(1) +,(r)
De n(r, 2) = r + 15: ,(r) = r
2
3r + 2 +,(1)
Sustituyendo en la solucin general nos queda:
n(r, j) =
1
2
r
2
j +
1
4
rj
4
1
4
j
4
+ 2j
2
9
2
j +r
2
3r + 2
.
Observacin.-
1. Represe que segn los resutados obtenidos existen innitas soluciones
posibles de una EDP. Pero ahora la arbitrariedad de la solucin general
viene dada en trminos de funciones, apareciendo tantas como el orden de
la ecuacin.
2. Desde el punto de vista de la Matemtica puede parecer ms preciso
obtener en cualquier caso la solucin general. En el campo de la Fsica
se buscar una solucin particular concreta. Estas soluciones particulares
van a satisfacer unas determinadas condiciones de contorno o de valor ini-
cial. Es decir, se va a tratar de obtener la solucin de una cierta E.D.P.
que verique unas condiciones de frontera del dominio en que est denida
(condiciones de contorno), y si adems una variable es el tiempo "t" las
condiciones en t = 0 se darn como dato (condiciones iniciales).
3. Algunos ejemplos tpicos de ecuaciones en derivadas parciales son:
.
Ecuacin de difusin:
0n
0t
= c
2
0
2
n
0r
2
Describe la temperatura en cada punto de una barra delgada. Es la clsica
ecuacin unidimensional de difusin del calor, de segundo orden, lineal, ho-
mognea y de coecientes constantes.
62
.
Ecuacin de onda:
0
2
n
0t
2
= c
2
0
2
n
0r
2
Mide las pequeas vibraciones transversales de una cuerda vibrante. Es la
clsica ecuacin de onda unidimensional, que describe fenmenos de tipo os-
cilatorios y es tambin de segundo orden, lineal, homognea y de coecientes
constantes.
Ecuacin de Laplace:
0
2
n
0r
2
+
0
2
n
0j
2
= 0
Esta es una ecuacin bidimensional, de segundo orden, lineal, homognea y de
coecientes constantes, describiendo potenciales elctricos o gravitatorios o pro-
cesos de difusin en los que se ha alcanzado un equilibrio trmico.
Ecuacin de Poisson:
0
2
n
0r
2
+
0
2
n
0r
2
= ) (r, j)
Modela diversos tipos de problemas estacionarios. Es tambin una ecuacin
bidimensional, de segundo orden, lineal, de coecientes constantes, pero no ho-
mognea.
Ejercicios.-
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
r
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
0j0r
= 0.
63
4.3 Ecuaciones que surgen de la eliminacin de funciones
arbitrarias
Ya que las soluciones de las Ecuaciones Diferenciales Parciales hacen intervenir
funciones arbitrarias, parece lgico que se obtengan E.D.P. por el proceso in-
verso de eliminar tales funciones. Veamos en forma prctica como se puede
resolver estos problemas.
Ejemplos.-
1. Consideramos n(r, j) = 3j
3
,(r) 6r +j con , una funcin arbitraria.
Encontrar una E.D.P. de primer orden para esa solucin general.
Solucin.-
n(r, j) = 3j
3
,(r) 6r +j
derivando c/r a j
0n
0j
(r, j) = 9j
2
,(r) + 1
eliminamos ,(r)
3j
3
,(r)
9j
2
,(r)
=
n(r, j) + 6r j
0n
0j
(r, j) 1
j
3
=
n(r, j) + 6r j
0n
0j
(r, j) 1
j
0n
0j
(r, j) j = 3n(r, j) + 18r 3j
por lo tanto
j
0n
0j
(r, j) 3n(r, j) = 18r 2j
es la ecuacin buscada. Puede sustituir para la comprobacin.
2. Encontrar una E.D.P. de segundo orden que tenga como solucin general
n(r, j) = rc(j) +j,(r) con c y , arbitrarias.
Solucin.-
n(r, j) = rc(j) +j,(r)
n(r, j)
r
= c(j) +
j
r
,(r)
derivando c/r a r
0
0r
_
n(r, j)
r
_
=
0
0r
_
c(j) +
j
r
,(r)
_
1
r
2
n(r, j) +
1
r
0n
0r
(r, j) = 0 +,
0
(r)
j
r

1
r
2
j,(r)
64
multiplicando por r
2
n(r, j) +r
0n
0r
(r, j) = rj,
0
(r) j,(r)
r
0n
0r
(r, j) n(r, j) = j [r,
0
(r) ,(r)]
0
0j
_
1
j
_
r
0n
0r
(r, j) n(r, j)
__
=
0
0j
[r,
0
(r) ,(r)] = 0
1
j
2
_
r
0n
0r
(r, j) n(r, j)
_
+
1
j
_
r
0
2
n
0r0j
(r, j)
0n
0j
(r, j)
_
= 0
multiplicando por j
2
_
r
0n
0r
(r, j) n(r, j)
_
+j
_
r
0
2
n
0r0j
(r, j)
0n
0j
(r, j)
_
= 0
obtenemos la ecuacin deseada
rj
0
2
n
0r0j
(r, j) r
0n
0j
(r, j) j
0n
0j
(r, j) +n = 0
.
Observacin.-
1. Al derivar las funciones arbitrarias admitimos que son diferenciables.
2. La E.D.P. obtenida en cada caso representa la E.D.P. de la familia repre-
sentada por la solucin general.
3. Si una solucin tiene un nmero dado : de funciones arbitrarias, es fre-
cuente escribir una ecuacin diferencial de orden mayor que : teniendo
esta solucin.
4.4 Clasicacin
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, j) = ) (r, j) , (r, j) _ R
2
65
es elptica en todo ya que /
2
ac = 1 < 0
esta ecuacin es la Ecuacin de Poisson que como est dicho 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
|
(r, t)
0
2
n
0r
2
(r, t) = ) (r, t) ; r , t _ 0
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
||
(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 es la ecuacin de onda que 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,=1
a
I
(r)
0
2
n
0r
I
0r
+' (r, n, \n)

donde ' incluye a todos los trminos diferenciales de orden inferior a dos.
Suponemos que los coecientes a
I
son continuos y que la matriz de los
coecientes de los trminos diferenciales de orden dos, (r) = (a
I
(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
+
66
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.
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, surgen en:
campos estacionarios elctricos, magneticos, gravitacionales. Es decir, con
problemas de la teora del potencial.
.
Ejemplos.-
1. La ecuacin n
rr
+ 2n
r
3n
+ 2n
r
+ 6n
= 0 es hiperblica en todo el
plano ya que /
2
ac = 4 0.
2. n
rr
+ 4n
r
+ 4n
+n = 0 es parablica ya que /
2
ac = 0.
3. La ecuacin n
rr
+ 2n
r
+ 6n
+ 10n
r
= 0 es elptica, /
2
ac = 5 < 0.
4. jn
rr
+ n
= 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
Jo
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).
67
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).
.
Ejemplos.-
1. Verique que n = r
2
j
2
, n = c
r
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
.
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
(c) n = c
r
sinj (g) n = r
4
6r
2
j
2
+j
4
68
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
2|
cos r (b) n = c
|
sin3r (c) n = c
4|
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
=. Trazar 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
rr
+ 4n = 0 (b) n
+ 2jn = 0 (c) n
r
= 2rjn
7. Haciendo n
r
= j resolver:
(a) n
r
= 0 (c) n
r
+n
r
= 0
(b) n
r
= n
r
(d) n
r
+n
r
r +j + 1 = 0
8. Resolver los siguientes sistemas de ecuaciones diferenciales parciales:
(a) n
rr
= 0, n
= 0 (c) n
rr
= 0, n
r
= 0
(b) n
r
= 0, n
= 0 (d) n
rr
= 0, n
r
= 0, n
= 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 .
r
= 0. Dar ejemplos.
.
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).
69
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)
4.5 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-
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
70
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
2)
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
_
r
y tan, =
_
0n
0r
_
r+4
Dividiendo en (2) por r
1
r
_
_
0n
0r
_
r+4
_
0n
0r
_
r
_
=
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:
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
71
n(r, 0) = ) (r)
;0 _ r _ 1
n
|
(r, 0) = 0
donde ) es una funcin que describe la distorsin inicial (debido al peso de la
cuerda) y n
|
(r, t) es la velocidad del punto r en el tiempo t. (As n
|
(r, 0) = q (r)
indica que la cuerda no est en reposo en t = 0).
4.5.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
u:
= 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
|
(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
|
(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
=
_
r
0
q (.) d...........(6)
De (4), (5) y (6):c(r) =
1
2
) (r)
/
0
2c
+
1
2c
_
r
0
q (.) d.
(r) =
1
2
) (r) +
/
0
2c

1
2c
_
r
0
q (.) d.
De (3) n(r, t) =
1
2
[) (r +ct) +) (r ct)] +
1
2c
_
r+c|
rc|
q (.) d.
72
.
Observacin.-
1. Si n
|
(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
6
n(2, 1) = 7, 5 10
4
4.5.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
n(0, t) = n(1, t) = 0
y las condiciones iniciales
73
n(r, 0) = ) (r) ; n
|
(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
_
J
0
) (r) sin
:
1
rdr; : = 1, 2, ......
Derivando (*) c/r a t y considerando que n
|
(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
_
J
0
q (r) sin
:
1
rdr
C
n
=
2
:c
_
J
0
q (r) sin
:
1
rdr
lo cual determina la solucin del PVI-C dado.
Observacin.- si n
|
(r, 0) = q (r) = 0, la solucin queda
74
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.
4.6 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
4.6.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
r
(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.
75
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
|
Luego
n
n
(r, t) = A
n
(r) T
n
(t) = C
n
c
:
1
2
|
sin
:
1
r
y la solucin general es
n(r, t) =
+1
n=1
C
n
c
:
1
2
|
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]
76
C
n
=
2
1
_
J
0
sin2rsin
:
1
rdr =
2
: 21
sin
_
:
1
2
_
1
2
: + 21
Lo que trmina con los clculos para encontrar la solucin general del problema
diferencial dado.
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
o
2
|
sin
:
1
r con C
n
=
2
1
_
J
0
) (r) sin
:
1
rdr
3. Lo mismo que en 1) con ) (r) =
_
_
r , 0 _ r <
1
2
1 r ,
1
2
< r < 1
4.6.2 Propagacin del calor en barra innita
Antes de considerar este problema daremos algunas nociones sobre
4.7 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
u
cos nr +/
u
sinnr) dn con
a
u
=
1
_
+1
1
) (t) cos ntdt
77
/
u
=
1
_
+1
1
) (t) sinntdt
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 ) 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
r
, r 0
SolucinAplicando la integral de Fourier a la extensin impar de
) (r) = c
r
; O
}
(r) =
_
c
r
, r 0
c
r
, r < 0
, entonces
/
= (j) =
2
_
+1
0
c
r
sinrjdr
_
O
}
(r) =
_
+1
0
/
sinrjdj; /
=
2
_
+1
0
O
}
(r) sinrjdr =
2
_
+1
0
c
r
sinrjdr
_
Integrando por partes dos veces
_
c
r
sinrjdr = c
r
sinrj +j cos rj
1 +j
2
+c (j)
Por lo tanto
(j) =
2
lim
b!+1
_
c
r
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
u
=
1
_
+1
1
) (t) cos ntdt =
2 sinn
n
/
u
=
1
_
+1
1
) (t) sinntdt = 0
Por lo tanto ) (r) =
2
_
+1
0
cos nrsinn
n
dn
78
Nota.- Para r = 1;
2
_
+1
0
cos nrsinn
n
dn =
) (1
+
) +) (1
)
2
=
1
2
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
|r
; r 0 y ) (r) = ) (r) (/ 0)
(b) Encontrar la integral de Fourier de
) (r) = c
|r
; r 0 y ) (r) = ) (r) (/ 0)
Nota.-
_
+1
0
cos nr
/
2
+n
2
dn =

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

2
c
|r
(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
u
(r) = 1
u
cos nr +C
u
sinnr
y
T
u
(t) =
u
c
o
2
u
2
|
por lo tanto
n
u
(r, t) = (a
u
cos nr +/
u
sinnr) c
o
2
u
2
|
Sea n(r, t) =
_
+1
0
(a
u
cos nr +/
u
sinnr) c
o
2
u
2
|
dn,
entonces
n(r, 0) =
_
+1
0
(a
u
cos nr +/
u
sinnr) dn = ) (r)
eligiendo los coecientes a
u
y /
u
como los coecientes de la integral de Fourier
de ):
a
u
=
1
_
+1
1
) () cos nd
79
/
u
=
1
_
+1
1
) () sinnd
podemos escribir la integral de Fourier
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
o
2
u
2
|
dn
Invirtiendo el orden de integracin (suponemos que se puede)
n(r, t) =
1
_
+1
1
) ()
_
+1
0
cos n(r ) c
o
2
u
2
|
dnd
pero
_
+1
0
c
o
2
:
2
cos /.d. =
_
2a
c
k
2
4a
2
(ver tablas)
Por lo tanto
n(r, t) =
1
_
+1
1
) ()
_
1
2
_
t
o
2
|
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
:
2
d.
_ x10
2a
p
t
0
c
:
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
:
2
d., t 0
4.8 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
80
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).
(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
_
J
0
) (r) sin
:
1
rdr
lo que nalmente permite encontrar la solucin del problema.
81
Observacin.-
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
|=1
n
|
(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)
4.8.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).
Adems el uso de coordenadas polares exige que la solucin verique condiciones
adicionales:
n(r, 0) = n(r, 2) ; n
0
(r, 0) = n
0
(r, 2)
(para 0 = 0 y 0 = 2 se obtienen los mismos puntos del dominio).
Sea n(r, 0) = 1(r) T (0), entonces de (2)
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
(3)
(4)
T
00
+`T = 0
r
2
1
00
+r1
0
`1 = 0
T (0) = T (2) ; T
0
(0) = T
0
(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 (3) se obtiene
Ecuacin caractrstica: r
2
+` = 0 (r =
_
`)
Para ` < 0.- T (0) = c
1
c
p
X0
+c
2
c
p
X0
82
T (0) = T (2)
T
0
(0) = T
0
(2)
c
1
_
1
1
c
2
p
Xt
_
+c
2
_
1 c
2
p
Xt
_
= 0
c
1
_
1
1
c
2
p
Xt
_
c
2
_
1 c
2
p
Xt
_
= 0
c
1
= c
2
= 0. Slo se obtiene la solucin trivial.
Para ` = 0.- T (0) = c
1
+c
2
0
T (0) = T (2)
T
0
(0) = T
0
(2)
c
1
= c
1
+ 2c
2
c
2
= 0
`
0
= 0 es un valor propio y las funciones propias asociadas son T
0
(0) =
0
,
con
0
una constante arbitraria.
Para ` 0.- T (0) = c
1
cos
_
`0 +c
2
sin
_
`0
T (0) = T (2)
T
0
(0) = T
0
(2)
c
1
= c
1
cos 2
_
` +c
2
sin2
_
`
c
2
= c
1
sin2
_
` +c
2
cos 2
_
`
c
1
_
1 cos 2
_
`
_
= c
2
sin2
_
`
c
2
_
1 cos 2
_
`
_
= c
1
sin2
_
`
, c
1
, c
2
c
2
1
_
1 cos 2
_
`
_
= c
1
c
2
sin2
_
`
c
2
2
_
1 cos 2
_
`
_
= c
1
c
2
sin2
_
`
_
c
2
1
+c
2
2
_
_
1 cos 2
_
`
_
= 0
cos 2
_
` = 1
2
_
` = 2:
`
n
= :
2
; : = 1, 2, .......
T
n
(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 lnr 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 lnr de manera que
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
_
t
t
) (0) cos :0d0
1
n
=
1
_
t
t
) (0) sin:0d0
y la solucin ser vlida siempre que ) sea sucientemente suave.
83
4.9 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
,
|0=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
rr
G+1
G)
de donde
G
00
(t)
c
2
G(t)
=
1
1 (r, j)
(1
rr
(r, j) +1
(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
rr
+1
+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
84
(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
n
(r) = sin
:
a
r es funcin propia asociada al valor propio
/
n
=
:
a
; : = 1, 2, .......
Q
n
(j) = sin
:
/
j es funcin propia asociada al valor propio
j
n
=
:
/
; : = 1, 2, .......
Luego
(11) 1
nn
(r, j) = H
n
(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) `
nn
= c
_
:
2
a
2
+
:
2
/
2
G
00
(t) +`
2
nn
G(t) = 0
cuya solucin general es:
G
nn
(t) = 1
nn
cos `
nn
t +
nn
sin`
nn
t
Luego las funciones dadas por
n
nn
(r, j, t) = 1
nn
(r, j) G
nn
(t) =
= (1
nn
cos `
nn
t +
nn
sin`
nn
t) sin
:
a
r sin
:
/
j; :, : = 1, 2, .........
son soluciones de (1) que satisfacen (2).
Observacin.- Los nmeros `
nn
son llamados valores propios de la menbrana
vibrante y las funciones propias n
nn
reciben el nombre de funciones propias de la
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
n=1
+1
n=1
n
nn
(r, j, t)
(15) n(r, j, 0) =
+1
n=1
+1
n=1
1
nn
sin
:j
/
sin
:r
a
= ) (r, j)
Observacin.- La serie (15) es llamada serie doble de Fourier de ) (r, j).
Hagamos
(16) 1
n
(j) =
+1
n=1
1
nn
sin
:
/
j
Reemplazando (16) en (15)
85
) (r, j) =
+1
n=1
1
n
(j) sin
:
a
r
de donde
(17) 1
n
(j) =
2
a
_
o
0
) (r, j) sin
:
a
rdr; j [0, /]
y puesto que (16) es la serie de Fourier (de senos) de 1
n
(j), entonces
(18) 1
nn
=
2
/
_
b
0
1
n
(j) sin
:
/
jdj
luego obtenemos
(19) 1
nn
=
2
/
_
b
0
_
2
a
_
o
0
) (r, j) sin
:
a
rdr
_
sin
:
/
jdj
=
4
a/
_
b
0
_
o
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
nn
diferenciamos (14) con respecto a t, usamos (4) y
se obtiene
`
n
nn
=
4
a/
_
b
0
_
o
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
4.10 Condiciones de contorno no homogneas
Resolver: (1)
0
2
n
0r
2
=
1
4
0n
0t
(2) n(0, t) = 1, t _ 0
(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
86
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
|
por lo tanto
n
n
(r, t) = C
n
c
4n
2
|
sin:r (satisface (8) y (9))
Ahora
n(r, t) =
+1
n=1
C
n
c
4n
2
|
sin:r
n(r, 0) =
+1
n=1
C
n
sin:r =
_
1
1
_
r 1 := ) (r)
De esta manera
C
n
=
2
_
t
0
) (r) sin:rdr =
2
_
t
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
|
sin:r
87
.
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
|
sin
:
1
r,
donde
C
n
=
2
1
_
J
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;) y 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)
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 cumple con tales requisitos es:
(r, t) = l
0
(t) +
r
1
[l
1
(t) l
0
(t)]
Con esto (4) se convierte en:
88
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. La ecuacin 1. es un caso particular de la ecuacin generalizada de la con-
ducin del calor. (proviene de las condiciones de contorno no homogeneas,
dependientes de t).
3. Ilustraremos tambin otra tcnica para resolver E.D.P. homogeneas con
condiciones de contorno no homogeneas (no constantes).
4.11 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)
De la propiedad de ortogonalidad de la funcin seno en T( [1, 1] obtenemos:
_
J
J
) (r, t) sin
:
1
dr = )
n
(t)
_
_
_sin
:
1
r
_
_
_
2
=
= )
n
(t)
/ a
2
(a = 1, / = 1)
por lo tanto
)
n
(t) =
2
1
_
J
0
) (r, t) sin
:
1
rdr.........(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
_
J
0
,(r) sin
:
1
dr...........(7)
y por otro lado (4) y (5) en (1)
89
+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
_
t
0
sin:rdr =
2t
:
[(1)
n
1] =
_
0 , : par
4t
:
, : impar
por (7)
n
n
(0) =
1
_
t
t
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 contantes; 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
|
+j
e j
= +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
|
n
n
(t) =
4
:
3

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

4
(2/ + 1)
3
t
4
(2/ + 1)
3
c
n
2
|
_
sin(2/ + 1) r
4.12 Ecuaciones homogeneas con condiciones de contorno
no homogeneas y no constantes
Resolver la ecuacin diferencial parcial
90
n
|
= 4n
rr
, 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
n(r, t) = (r, t) +q (r, t)
= (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
|
= 4
rr
_
1 +
r
2
_
y n
|
= 4n
rr
+ 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
|
= 4n
rr
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
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.-
91
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
|
= /n
rr
(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
||
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
_
J
0
(/(r) ,(r)) sin
:
1
rdr
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
1 de Noviembre de 2012
JRC
92

Apuntes 521236

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Apuntes 521236

Загружено:

Авторское право:

Доступные форматы

1

, la desigualdad anterior se transforma en

Se dice que un conjunto ortogonal es ortonormal si adems

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

= : para algn , = 1, 2, ...., j.

, < r < , son respectivamente:

)] para cada r R. Entonces para cada punto

orden a una ecuacin del tipo

son constantes para i = 1, 2, 3, 4; , = 1, 2.

= cos j es no lineal (de 1

orden cuya solucin tiene

orden cuya solucin tiene la forma

= 0, lo que es posible slo

+' (r, n, \n)

= 0 es elptica para j 0, parablica para j = 0, hiperblica

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

Вам также может понравиться