Edp PDF

Matematicas IV (MAT024)
Ecuaciones en derivadas parciales, apuntes no oficiales
Analisis
de Fourier y Ecuaciones Diferenciales Parciales
Introduccion
con problemas de mecanica,

El analisis de Fourier surgio historicamente
en conexion
del calor y el movimiento ondulatorio.
como la conduccion
consideremos el siguiente problema: Considere una cuerda de longitud
Como introduccion
L con extremos fijos que se deja vibrar libremente despues de pulsarse la posicion de la cuerda la
representamos usando una funcion y(x, t) donde x [0, L] y t es el tiempo.
de la cuerda. Es posible
donde, en el tiempo t0 y y(x, t0 ) representa la forma o posicion
la funcion
y satisface la ecuacion
de ondas
mostrar que para vibraciones pequenas
2
2y
2 y
=
c
t2
x2
Como los
donde c es una constante determinada por la naturaleza de la cuerda y su tension.
extremos son fijos podemos poner
y(0, t) = y(L, t) = 0
de variables, supongamos que y(x, t) = X (x) T (t) esto es
aplicando el metodo de separacion
sencilla en la cual las variables aparezcan separadas, entonces
buscamos una solucion
2y
(x, t) = X(x)T 00 (t)
t2
2y
(x, t) = X 00 (x)T (t)
x2

Apuntes de matematica
Primera version
luego, si
2y
t2
y
= c2 x
2 entonces
X(x)T 00 (t) = c2 X 00 (x)T (t)

se sigue que
T 00 (t)
X 00 (x)
=
c2 T (t)
X(x)
notemos que
d
dt
luego
X 00 (x)
X(x)
T 00 (t)
c2 T (t)
d
=
dt
T 00 (t)
=
c2 T (t)
de manera similar
as
d
dx
X 00 (x)
X(x)
X 00 (x)
X(x)
(1)

=0
constante
d
=
dx
T 00 (t)
c2 T (t)

=0
= k, k constante, pero por (3) se sigue que

T 00 (t)
=
c2 T (t)
X 00 (x)
=
X(x)
Las funciones X y T deben (las cuales queremos que sean no nulas) satisfacer las ecuaciones:
T 00 = c2 T
X 00 (x) = X(x)
vamos a buscar soluciones no nulas de estas ecuaciones pero antes notar que
y(0, t) = X(0)T (t) = 0 X(0) = 0
y(L, t) = X(L)T (t) = 0 X(L) = 0
as los problemas son:
X 00 = X
X(0) = X(L) = 0
(2)
y
T 00 = c2 T
pues bien:
de la ecuacion
I) Si < 0 entonces la solucion

X 00 = X
es
X (x) = c1 cos

x + c2 sin
x
2

Primera version
como
X (0) = X (L) = 0
se sigue
0 = X (0) = c1 cos
= c1

0 + c2 sin
0
as c1 = 0,
0 = X (L) = c2 sin

L
no nula, se debe tener

como queremos solucion

sin
L = 0
sera X (x) = 0) as
(si c2 = 0 la solucion
L = k con k N
2
no para k = k
as, el problema (2) tiene solucion
con k N, estas soluciones son:
L

k
Xk (x) = ck sin
x
kN
L
no nula, pues en este caso
II) Si = 0 entonces el problema (2) no tiene solucion
X (x) = c1 + c2 x
si
0 = X (0) = c1
y
0 = X (L) = c2 L c2 = 0
as
X0
no nula.
no hay solucion
no nula, pues en este caso la solucion
III) Si > 0 entonces el problema (2) no tiene solucion

es de la forma
X (x) = c1 ex + c2 ex
entonces
0 = X (0) = c1 + c2
y
0 = X (L) = c1 eL + c2 eL
no nula si y solo si
luego hay solucion

1
1
L
L L
eL = 2 sinh (L)
e
=e
e
esto es cero si y solo si
L = 0
es X 0.
lo que no es posible, luego la unica
solucion
3

Primera version
Reemplazando k =

k 2
L
con k N en
T 00 = c2 T
se sigue
00
T +
si

T (t) = Ak cos
kc
L
2
T =0

kc
kc
t + Bk sin
t
L
L
kN
se sigue que el problema

2
2y
2 y
=
c
t2
x2
y(0, t) = y(L, t) = 0
tiene infinitas soluciones

yk (x, t) = Xk (x)Tk (t)
kN

kx
kx
kc
kc
t sin
t sin
= Ak cos
+ Bk sin
L
L
L
L
note que estos soluciones cumplen:

yk (x, 0) = Ak sin
kx
L
luego responden a una cuerda inicial de una forma bastante particular.

Si queremos que la forma inicial sea y(x, 0) = f (x) (por ejemplo una parabola f (x) =
x (L x)entonces nos encontramos ante un problema, ninguna de las soluciones anteriores
podria cumplir lo pedido.
de ondas entonces y1 +y2
Es posible observar que si y1 e y2 son soluciones de la ecuacion
en efecto
tambien es solucion,
2
2 y1
2 y2
(y
+
y
)
=
1
2
2
t2
t2
t 2

2
y2
y1
= c2 2 + c2 2
x
x
2
= c2 2 (y1 + y2 )
x
as, como tenemos infinitas soluciones, podiamos pensar en formar combinaciones infinitas
(series) de la forma:
y(x, t) =
+
X
k=1

Ak cos

kc
kc
kx
kx
t sin
+ Bk sin
t sin
L
L
L
L
luego, si queremos cumplir y(x, 0) = f (x) bastara pedir

4

Primera version
f (x) =
+
X

Ak sin
k=1
kx
L
pero en tal caso:

1. Quienes deben ser los coeficientes Ak de modo que la serie converja a f ?
2. En que puntos converge la serie?
3. Es derivable? integrable? Como

se calcula su derivada?
Las funciones Xk (x) = sin
kx
L
son soluciones de
X 00 = X
X(0) = X(L) = 0
estas funciones tienen cierta propiedad de ortogonalidad que analizaremos ahora.

P
Cuando trabajamos en Rn el producto punto es hx, yi = ni=1 xi yi donde x = (x1 , x2 , . . . , xn )
y y = (y1 , y2 , . . . , yn ), es entonces razonable definir un producto entre funciones de la forma
Z b
hf, gi =
f (x)g(x)dx
a
Observacion
1.1. Si X1 , X2 son funciones tales que X100 = 1 X1 y X200 = 2 X2 con 1 6= 2 y
entonces hX1 , X2 i = 0. (X1 (0) = X2 (0) = X1 (L) = X2 (L) = 0)
En efecto
1 hX1 , X2 i = h1 X1 , X2 i
= hX100 , X2 i integrando por partes
Z L
=
X100 (x) X2 (x) dx
0
Z L
=
X10 (x) X20 (x) dx integrando por partes
0
Z L
=
X1 (x) X200 (x) dx
0
= hX1 , X200 i
= hX1 , 2 X2 i
= 2 hX1 , X2 i
se sigue
(1 2 ) hX1 , X2 i = 0 hX1 , X2 i = 0
(notar que 1 6= 2 ). Esta propiedad de ortogonalidad nos permite hacer lo siguiente: Si
5

Primera version
f (x) =
f (x) =
+
X
k=1
+
X

Ak sin
kx
L
Ak Xk (x)
k=1
entonces para j N
f (x)Xj (x) =
+
X
Ak Xk (x)Xj (x)
k=1
integrando
Z
f (x)Xj (x)dx =
a
+
X
Z
a
k=1
hf, Xj i =
+
X
Xk (x)Xj (x)dx
Ak
Ak hXk Xj i
k=1
= Aj hXj , Xj i
(los demas productos hXk Xj i para k 6= j son ceros), entonces
hf, Xj i
hXj , Xj i
esto es llamado Coeficiente de Fourier.
Aj =
j = 1, ..., +
Ahora estudiaremos de manera mas formal las Series de Fourier, convergencia,etc.
Series de Fourier
h, i : V V R
Definicion
1.1. Sea V un espacio vectorial real. Diremos que la funcion
es un producto interior si cumple:
1. f V , hf, f i 0, Ademas hf, f i = 0 f = 0
2. f, g V , hf, gi = hg, f i
3. R, f V , hf, gi = hf, gi
4. f, g, h V , hf + g, hi = hf, hi + hg, hi
h, i : V V R definida por
Ejemplo 1.1. En V = Rn , la funcion
< x, y >=
n
X
x i yi
i=1
es un producto interior.

Primera version
h, i : C[a, b] C[a, b] R definida por

Ejemplo 1.2. En C[a, b] la funcion
Z b
f (x)g(x) dx
(f, g) hf, gi =
a
h, i :
Ejemplo 1.3. En C[a, b], si C [a, b] es tal que (x) > 0 para x [a, b] la funcion
C[a, b] C[a, b] R definida por
Z b
(f, g) hf, gi =
(x) f (x)g(x) dx
a
En todo espacio vectorial con producto interior es posible definir una norma
k k : V R
definida por
kf k =
p
hf, f i
y esta a su vez, nos permite definir distancias en el espacio V por la funcion

d(f, g) = kf gk
Ejemplo 1.4. Si f (x) = ex , g(x) = ex son funciones en C [0, 1], calcular d (f, g). Tenemos
p
d (f, g) =
hf g, f gi
s
Z 1
=
(f (x) g (x))2 dx
0
(ex ex )2 dx
sinh 2 2
Proposicion
1.1. Propiedades basicas del producto interior h, i en un espacio vectorial real V :
1. f, g V, R, hf, gi = hf, gi
2. f, g, h V, hf, g + hi = hf, gi + hf, hi
3. fk , gj V, con k = 1, 2, . . . , n y j = 1, 2, . . . , m y k , j R, con k = 1, 2, . . . , n y
j = 1, 2, . . . , m
+
* n
n X
m
m
X
X
X
k f k ,
j gj =
k j hfk , gj i
k=1
j=1
k=1 j=1

Primera version
Definicion
1.2. Sea V un espacio con producto interior < , >.
1. Diremos que f y g en V son ortogonales si < f, g >= 0
2. Diremos que {fk }kI es un conjunto ortogonal si < fk , gj >= 0,k 6= j
3. Diremos que {fk }kI es un conjunto ortonormal si es ortogonal y la norma de cada
elemento es 1

Ejemplo 1.5. En C[0, L], la familia sin

, k Z es ortogonal.

2kx
,
sin
, k N} es una familia ortogonal.
Ejemplo 1.6. En C[a, b] la familia {1, cos 2kx
ba
ba
kx
L
Ejercicio 1.1. Calcular la norma de las funciones anteriores y mostrar una familia en C[, ]
Ahora vamos a analizar cuando tenemos familia ortonormales como se logra la mejor
de un elemento en un espacio dado.
aproximacion
Teorema 1.1. Sea {fk }N
k=1 un conjunto ortogonal en V . Si k R, k = 1, . . . N entonces

2
N
N
X

X

k fk =
|k |2 kfk k2

k=1
k=1
Demostracion:

2
* N
+
N
N
X

X
X

k fk =
k fk ,
j fj

k=1
j=1
k=1
N X
N
X
k j hfk , fj i
k=1 j=1
N
X
2k kfk k2
k=1
que podemos hacer en V mediante un

Sea f V dado, Cual es la mejor aproximacion
elemento de de la forma
N
X
k f k
k=1
esto es un elemento del subespacio generado por {f1 , f2 , ..., fN }

h{f1 , f2 , ..., fN }i
donde {fk } es un conjunto ortonormal.
8

Primera version
d f,
N
X
!2
k fk
k=1

2
N

X

= f
k fk

k=1
= kf k 2
= kf k2 2
= kf k2
N
X
k hf, fk i +
N
X
k=1
k=1
N
X
N
X
k hf, fk i +
k=1
N
X
N
X
k=1
k=1
|k |2 kfk k2
|k |2
k=1
hf, fk i2 +
(hf, fk i k )2
se sigue, independiente de los escalares 1 , 2 , . . . , N

! v
u
N
N
u
X
X
2
t
hf, fk i2
k fk kf k
d f,
k=1
k=1
luego el mnimo valor de esta distancia es

v
u
N
u
X
tkf k2
hf, fk i2
k=1
lineal de la forma
que se alcanza en la combinacion
N
X
hf, fk i fk
k=1
se sigue que
N
X
hf, fk i fk
k=1
de f V en el espacio.
es la mejor aproximacion
S = h{f1 , f2 , ..., fN }i
y
mn
(1 ,...,N )Rn
d f,
N
X
!
k f k
k=1
v
u
N
u
X
2
t
< f, fk >2
= kf k
k=1
Teorema 1.2. Sea {fk }N

k=1 un conjunto ortonormal en un espacio con producto interior se tiene
! v
u
N
N
u
X
X
2
t
hf, fk i2
mn n d f,
k fk = kf k
(1 ,...,N )R
k=1
k=1
y se logra para i = hf, fi i con i = 1, 2, . . . , N .

9

Primera version
de este resultado obtenemos el importante resultado:

Corolario 1.1 (Desigualdad de Bessel). Si {fk }N
k=1 es un conjunto ortonormal en V entonces
f V
N
X
hf, fk i2 kf k2
k=1
Definicion
1.3. Diremos que {fk }
k=1 es una base ortonormal completa si f V
hf, fk i2 = kf k2
k=1
llamada identidad de Parseval.

Notemos que en tal caso
hf, fk i fk = f
k=1
en el sentido que

N

X

lm f
hf, fk i fk = 0
N

k=1
(esto se debe a que

2

N
N

X
X

hf, fk i2
hf, fk i fk = kf k2
f

k=1
k=1
Definicion
1.4. Si {fk }
k=1 es una base ortonormal en V entonces
hf, fk i fk
k=1
es llamada Serie de Fourier generalizada de f , hf, fk i es llamado coeficiente de la serie de

Fourier y se cumple
X
hf, fk i fk = f
k=1
(en el sentido descrito anteriormente) y

v
u +
uX
t
hf, fk i2 = kf k
k=1
10

Primera version
El espacio SC[a, b]
Se define el espacio vectorial SC[a, b] como el conjunto de todas las funciones continuas
o trozos en [a, b], esto es, a lo mas tiene un numero finito de discontinuidades pero en los
puntos de discontinuidades x0 ]a, b[
lm+ f (x)
Notacion
f x+
0
Notacion
f x
0
xx0
lm f (x)
xx0
existen (en los extremos los limites laterales correspondientes existen, esto es lmxa+ f (x)
Notacion
f (a+ ) y lmxb f (x) = f (b ) existen)
Notacion
de equivalencia, dos funciones

En este espacio se define la igualdad como una relacion
son iguales si son iguales salvo quizas en un numero finito de puntos.
Ejemplo 1.7. Las funciones

f (x) =

0 x 0, 21 12 , 1
1
x = 12
y
g(x) = 0
son iguales en SC[0, 1].
h, i : SC[a, b] SC[a, b] R, tal que
En SC[a, b] se define la funcion
Z b
f (x)g(x)dx
hf, gi =
a
convierte a SC [a, b] en un espacio con producto interior

esta funcion,
Observacion
1.2. C[a, b] P C[a, b].
Teorema 1.3. El conjunto

(
B=
cos
1
,
k1k cos
2kx
ba
,
2kx
ba
sin

sin
2kx
ba

2kx
ba
con k N
es base ortonormal en P C[a, b], esto es

N

X

lm f
hf, fk i fk = 0
N

k=1
11

Primera version
Esta convergencia es llamada convergencia en norma: Notemos que

Z
1/2
dx
(b a)
cos2
2kx
ba
!
1 + cos 4kx
ba
dx
2
a

Z
ba
1 b
4kx
+
cos
dx
2
2 a
ba

b
ba
1
4kx
b a
+ sin
2
2
ba
4k a

ba
1
4kb
4ka
ba
+
sin
sin
2
2
ba
ba
4k

ba
2
dx =
=
=
=
=
donde hemos usado la formula

de prostaferesis

xy
x+y
sin (x) sin (y) = 2 sin
cos
2
2
para ver

sin
4kb
ba

sin
4ka
ba

=0
ahora bien
Z
sin
a
2kx
ba

Z b
2kx
2
dx =
dx
1 cos
ba
a

ba
= (b a)
2

ba
=
2
as
k1kSC[a,b] =
ba
r

ba
cos 2kx =

ba
2
r

ba
sin 2kx =

ba
2
notemos que en este contexto, la identidad de Parseval se ve como
Z
b
2
f (x) dx =
a
a20
X
k=1
a2k
b2k
k=1
12

Primera version
donde

2k
2k
X
X
x
x
cos ba
cos ba
1
f (x) = a0
+
+
ak q
bk q
ba
ba
b a k=1
k=1
2
(esta igualdad se debe entender en el sentido de la convergencia en norma) los coeficientes

de Fourier se obtienen como

Z b
1
1
a0 =
f (x)
dx = f,
ba
ba
a
*

+
Z b
2k
2k
cos ba
cos ba
x
x
dx = f, q
f (x) q
para k N
ak =
ba
2
f (x)
bk =
a
sin
q
2k
x
ba
ba
2
ba
2
*

+
2k
x
sin ba
dx = f, q
para k N
ba
2
lo que es lo mismo
a0
ak
bk
Z b
1
=
f (x) dx =
ba a
r

Z b
2
2k
f (x) cos
x dx
=
ba a
ba
r

Z b
2k
2
=
f (x) sin
x dx
ba a
ba
en los casos particulares [a, b] = [, ] la base ortonormal es

(
)

2kx
cos 2kx
sin
1
2
2
,
B =
, sin 2kx con k N
k1k cos 2kx
2
2

1 cos (kx) sin (kx)
,
,
con k N
=
2
luego f SC [, ] se escribe en la forma

X

X

1
cos (kx)
sin (kx)
f (x) = a0
ak
bk
+
+
2
k=1
k=1
y se cumple la convergencia en norma.
De manera similar en el intervalo [L, L] la base ortonormal toma la forma
(
)

2kx
cos 2kx
sin
1
2L
2L
B =
,
, sin 2kx con k N
k1k cos 2kx
2L
2L
(
)

kx
kx
sin L
1 cos L
,
=
,
con k N
2L
L
L
as f SC [L, L] se desarrolla en serie de Fourier en la forma
!

X
X
cos kx
1
L
f (x) = a0
+
ak
+
b
2L
L
k=1
k=1
sin kx
L
L
!
con convergencia en norma.

13

Primera version
Convergencia Puntual de series de Fourier

dada (para
Si bien hemos enunciado que la serie de Fourier converge en norma la funcion
la base ortonormal dada), se presenta la siguiente situacion:

Determinemos la serie de Fourier de

1 si x [0, ]
f (x) =
1 si x [, 0[
se tiene:
a0
an
bn
Z
1
es impar)
=
f (x) dx = 0 (la funcion
2
Z
1
f (x) cos (nx) es impar) para cada n N
f (x) cos (nx) dx = 0 (la funcion
=

Z
1
1
=
f (x) sin (nx) dx = (2 (1)n 2) para n N

n
se sigue que

X
sin (nx)
1
n
f (x) =
(2 (1) 2)
n
n=1

2X
1
=
((1)n 1) sin (nx)
n=1
n
es interesante notar que
f (0) = 1
pero si evaluamos
en x = 0 nos queda

2X
1
n
((1) 1) sin (nx)
n=1
n

2X
1
n
((1) 1) sin (n0) = 0
n=1
n
en el punto. Como se ve en
luego el valor al cual converge la serie no es el valor de la funcion
las siguiente graficas, los combinaciones trigonometricas

N
2X
1
n
((1) 1) sin (nx)
n=1
n
cuando N crece se va pareciendo mas a la grafica pero todos estas funciones pasan por el 0.
El siguiente teorema nos dice a que valor converge la serie de Fourier

2k
2k
X
X
cos ba
x
sin ba
x
1
a0
+
ak q
+
bk q
ba
ba
b a k=1
k=1
2
de f SC [a, b] cuando evaluamos en un x0 [a, b].
14

Primera version
Teorema 1.4 (Convergencia puntual). Sea f SC [a, b] una funcion, entonces para cada x0 [a, b]
la serie de Fourier converge puntualmente a

f x+
0 + f x0
2
si x0 ]a, b[ y a
f (b ) + f (a+ )
2
si x0 = a o x0 = b.
Por convergencia puntual se entiende

N
2k
2k
X
sin
cos
x
x
1
ak qba 0 + bk qba 0 =
+
lm a0
N
ba
ba
b a k=1
2
lm SN (x0 )

f x+
0 + f x0
=
2
(no es la convergencia en norma, la cual esta garantizada).
Note que si f SC [a, b] la serie de Fourier

2k
2k
X
X
cos ba
x
sin ba
x
1
+
ak q
a0
+
bk q
ba
ba
b a k=1
k=1
2
converge en cada punto del intervalo, si denotamos por

2k
2k
X
X
sin ba
cos ba
x
x
1
bk q
ak q
+
g (x) = a0
+
ba
ba
b a k=1
k=1
2
del resultado anterior se tiene que g (x0 ) = f (x0 ) en los puntos en los cuales
continua,
f es 2k

2k
pero se obtiene una propiedad adicional, dada que las funciones 1, cos ba x , sin ba x son
periodicas
de periodo (b a) se sigue que

2k
2k
X
X
cos ba
x
sin ba
x
1
g (x) = a0
+
ak q
+
bk q
ba
ba
b a k=1
k=1
2
periodica de periodo (b a) y as g esta bien definida en todo R cumpliendo

es una funcion
g : RR
x g (x) = fe(x)
periodica de periodo (b a) tal que
donde fe : R R es una funcion

+
f
x
+
f
x
0
0
fe(x0 ) =
para x0 ]a, b[
2
f (b ) + f (a+ )
=
para x0 = a, b
2
15

Primera version
Ejemplo 1.8. La serie de Fourier de

f (x) =
es
1 si x [0, ]
1 si x [, 0[

1
2X
n
((1) 1) sin (nx)
n=1
n
entonces

2X
1
n
1 =
((1) 1) sin (nx) para x ]0, [
n=1
n

2X
1
n
1 =
((1) 1) sin (nx) para x ], 0[
n=1
n
1 + (1)
= 0 para x = 0, ,
2
y por periodicidad podemos decir por ejemplo que

2X

1
n
((1) 1) sin n 2 +
n=1
n
4

n
2X
1
n
=
((1) 1) sin
n=1
n
4
= 1
Series de Fourier de senos y cosenos

en SC [0, L], llamaremos:
Definicion
1.5. Si f : [0, L] R es una funcion
par de f a la funcion
1. Extension

fp (x) =
impar de f a la funcion
2. Extension

fI (x) =
f (x) si x [0, L]
f (x) si x [L, 0]
f (x)
si x [0, L]
f (x) si x [L, 0[
par tal que

Observacion
1.3. fp SC [L, L] es una funcion
fp (x) = f (x) para x [0, L]
impar tal que
y fI (x) SC [L, L] es una funcion
fI (x) = f (x) para x [0, L]
16

Primera version
fp en [L, L] se tiene
Al desarrollar en serie de Fourier la funcion
!
!
X

kx
kx
X
cos
sin
1
L
L
+
+
fp (x) = a0
ak
b
2L
L
L
k=1
k=1
donde
Z L
1
a0 =
fp (x) dx
2L L

Z L
1
kx
ak =
dx para k N
fp (x) cos
L
L L

Z L
kx
1
fp (x) sin
dx para k N
bk =
L
L L

par fp (x) cos kx
notemos que al ser fp una funcion
es par y fp (x) sin
L
Z L
Z L
1
2
a0 =
fp (x) dx =
fp (x) dx
2L L
2L 0
Z L
2
f (x) dx
=
2L 0
y

Z L
kx
1
fp (x) cos
ak =
dx para k N
L
L L

Z L
2
kx
fp (x) cos
=
dx para k N
L
L 0

Z L
kx
2
f (x) cos
=
dx para k N
L
L 0
y

Z L
kx
1
bk =
fp (x) sin
dx para k N
L
L L
= 0
kx
L
es impar, luego
as la serie es de la forma

fp (x) = a0
2L

+
X
k=1
ak
cos kx
L
L
!
con
a0
ak
Z L
2
=
f (x) dx
2L 0

Z L
2
kx
=
f (x) cos
dx para k N
L
L 0
fI en [L, L] se tiene
de manera similar, si al desarrollar en serie de Fourier la funcion
!
!

X
kx
X
cos kx
sin
1
L
L
fp (x) = a0
+
ak
+
b
2L
L
L
k=1
k=1
17

Primera version
donde
Z L
1
a0 =
fI (x) dx
2L L

Z L
kx
1
fI (x) cos
dx para k N
ak =
L
L L

Z L
1
kx
bk =
fI (x) sin
dx para k N
L
L L

impar fI (x) cos kx
notemos que al ser fI una funcion
es impar y fI (x) sin
L
luego
Z L
1
a0 =
fI (x) dx = 0
2L L
y

Z L
1
kx
dx para k N
ak =
fI (x) cos
L
L L
= 0 para k N
kx
L
es par,
y
bk

Z L
1
kx
=
fI (x) sin
dx para k N
L
L L

Z L
kx
2
fI (x) sin
=
dx para k N
L
L 0

Z L
kx
2
f (x) sin
dx para k N
=
L
L 0
as la serie es de la forma
fp (x) =
ak
k=1
sin kx
L
L
!
con

Z L
2
kx
bk =
f (x) sin
dx para k N
L
L 0
como fp (x) = fI (x) = f (x) para x [0, L] se obtiene que es posible desarrollar f SC [0, L]
en series de la forma
!
X

cos kx
1
L
f (x) = a0
+
ak
2L
L
k=1
donde
a0
ak
Z L
2
=
f (x) dx
2L 0

Z L
2
kx
=
f (x) cos
dx para k N
L
L 0
llamada serie cosenoidal de f o serie de cosenos de f y

f (x) =
X
k=1
bk
sin kx
L
L
!
18

Primera version
donde

Z L
2
kx
bk =
dx para k N
f (x) sin
L
L 0
llamada serie senoidal de f o serie de senos de f .
e integracion
de Series de Fourier
Derivacion
Si para x ], [
x=
X
2 (1)k+1
k=1
es cierto que
1=
sin (kx)
2 (1)k+1 cos (kx)
k=1
para x ], [? En otras palabras es posible derivar termino a termino una serie de Fourier
y asegurar que converge a la derivada de la funcion?,

la respuesta es no, ya que 2 (1)k+1 no
Para que sea valida la derivacion
termino
corresponde al coeficiente de Fourier de la funcion.
a termino tenemos el siguiente resultado:
Teorema 1.5. Si f C [a, b] , f (a) = f (b) y f 0 , f 00 SC [a, b] entonces la derivada de la serie de
Fourier termino a termino es la serie de Fourier de la derivada.
de las series tenemos el siguiente resultado:
para la integracion
Teorema 1.6. Si f P C [a, b]
X
1
f (x) = a0
+
ak
b a n=1
2
cos
ba
2nx
ba

+ bk
2
sin
ba
2nx
ba
!
entonces
Z
a
(x a)
f (t) dt = a0
ba
r

Z x
X
2nt
2
ak
+
cos
dt
ba a
ba
n=1
r

Z x
X
2
2nt
+
bk
sin
dt
ba a
ba
n=1
(Esto es, es posible integrar la serie termino a termino)

Ejemplo 1.9. la serie de Fourier de f (x) = x2 para x [, ] esta dada por

Z 2
1
x
1 5
dx =
f,
=
2 2
3
2
2

Z 2
x cos (nx)
cos nx
n
f,
=
dx = 4 (1)
para n N
n2

Z 2
sin nx
x sin (nx)
f,
=
dx = 0 para n N
19

Primera version
esto es:

1 2 X
cos (nx)
n
x = +
4 (1)
2
3
n
n=1
2
notar que por la continuidad y f () = f () se sigue que la serie converge en todo el

as por ejemplo
intervalo [, ] a los valores que toma la funcion,

1 2 X
0 =
+
4 (1)n
3
n=1

1 2 X
=
+
4 (1)n
3
n=1
as

cos (n0)
2
n

1
n2
2 X (1)n1
=
12 n=1
n2
por otro lado utilizando parseval obtenemos

Z
x2
2
dx = a20 +
a2n
n=1

=
esto es
1
3
5
2
2
2

X
n
+
4 (1)
2
n
n=1
2 5 2 5 X 16
= +
5
9
n4
n=1
as
X
92 5
1
=
16
n4
n=1
2 5
X
1
4
=
90
n4
n=1
entonces
vale el teorema de derivacion,

n sin (nx)
n
2x =
4 (1)
2
n
n=1
!
X
4 (1)n+1
=
sin (nx)
n
n=1
luego
x=
X
n=1
n+1
(1)
n
!
sin (nx)
20

Primera version
Ejericios propuestos
u (x, y) tal que
1. Encontrar una funcion
2
u
u
+5
=0
x
y
de variables
aplicando la tecnica de separacion
2. Lo mismo del ejercicio anterior para
y
u
x
2
+ 4x
u
y
2
= (2xyu)2
3. Suponga que u (x, y) tiene la forma X (x) + Y (y) para buscar soluciones de la ecuacion

u
x
2
+
u
+ x3 = 1
y
Es la suma de soluciones una nueva solucion?

de variables buscar funciones u (x, y) para las cuales
4. Aplicando separacion
2u 2u
+
=0
x2 y 2
diferencial ordinaria
5. Considere la ecuacion
d2 y
+ y = 0
dx2
con x [0, ] donde y debe cumplir las siguientes condiciones en el extremo del
intervalo y (0) = 0, y 0 (0) = 0. Buscar los valores de R para los cuales existen
soluciones no nulas de este problema e identificar tales funciones.
6. Hacer lo mismo del ejercicio anterior para
x2
d2 y
dy
+x
+ y = 0
2
dx
dx
donde x [1, e] y se debe cumplir y (1) = y (e) = 0.

7. En C [a, b] hemos definido en producto interior
Z
hf, gi =
f (x) g (x) dx
a
Muestre que

2nx
2nx
C = 1, cos
, sin
con n N
ba
ba
es un conjunto ortogonal y calcular la norma de cada uno de los elementos de C.
21

Primera version
8. Suponga que
x (L x) =
X
k=1

ak sin
kx
L

para x [0, L]. Haciendo uso de la propiedad de ortogonalidad de la familia sin
en C [0, L] encontrar los coeficientes de la serie.
kx
L

kN
9. Resolver el problema
Z
mn
(a,b,c)R3
2
x2 (a sin (x) + b sin (2x) + c sin (3x)) dx
10. Muestre que si (V, h, i) es un espacio con producto interior entonces se cumple
a) x, y V
kx yk2 + kx + yk2 = 2 kxk2 + 2 kyk2
b) Si hx, yi = hx, vi para todo x V entonces y = v.

11. Muestre que para todo f C [, ]
Z
lm
sin (nx) f (x) dx = 0
n
12. Sea g (x) = x. Considere el subespacio S de C [0, L] de las funciones que son soluciones
de la EDO
d2 y
+y =0
dx2
resolver el problema
mn d (g, f )
f S
donde d (f, g) = kf gk es la distancia inducida por el producto interior en C [0, L].

13. (Calculando Productos) Calcular para n, m N
Z
Z
sin (mx) sin (nx) dx,
sin (nx) dx
Z
Z
cos (nx) dx,
cos (nx) cos (mx) dx
Z
cos (nx) sin (mx) dx
Que dicen estos calculos del conjunto B = {1, cos (nx) , sin (nx) con n N}?
14. (De lo general a lo particular) En P C [a, b] hemos definido en producto interior
Z b
hf, gi =
f (x) g (x) dx
a
y enunciado que el conjunto

(
)
r

r

1
2
2nx
2
2nx
C=
,
cos
,
sin
con n N
ba
ba
ba
ba
ba
es una base ortonormal. Escribir esta base ortonormal en los casos especiales P C [, ],
P C [L, L] y P C [0, L]
22

Primera version
15. (Calculando series de Fourier) Encontrar las series de Fourier para las funciones siguientes en P C [, ]
a) x + sin x
b) ex

1 si x 0
c)
x2 si x > 0
16. (La identidad de Parseval) Utilizar la serie de Fourier de f (x) = x en [, ] para
calcular el valor de
X
1
k2
k=1
n
o
17. (Quitando terminos) El conjunto sin(kx)

con
k
N
es ortonormal en P C [, ] Es
cierto que
2 Z
Z
X
sin (kx)
f (x)
dx =
f 2 (x) dx
k=1
para toda f P C [, ]?.
18. (Funciones pares e impares) Clasificar las siguientes funciones en par, impar o ninguna
de las anteriores
A) tan x
2
B) xex
x+1
C)
x1
D) ln |x|
E) arcsin x
cualquiera.
F) f (|x|) definida en [1, 1] donde f : R R es una funcion
G) x cos x cos 2x
f : [a, a] R
19. (Parte par e impar de una serie) En Mat021 se mostro que toda funcion
+
(donde a R ) se puede descomponer en su parte par mas su parte impar, esto es
f (x) = fp (x) + fi (x)
donde
f (x) + f (x)
2
f (x) f (x)
fi (x) =
2
fp (x) =
Suponiendo que no hay problemas de convergencia, encontrar las partes pares e impares
de
a0 X
+
(ak cos (kx) + bk sin (kx))
2
k=1
donde ak , bk son constantes.
23

Primera version
20. (Convergencia puntual) Encontrar el desarrollo en serie de Fourier de:

1 < x < 0
f (x) =
1
0<x<
y mostrar que la serie evaluada en x = 0 converge a 0. Utilizando esta serie mostrar
que
1 1 1
= 1 + +
4
3 5 7
21. (Series de Fourier en intervalos arbitrarios) Encontrar el desarrollo en serie de Fourier
para las siguientes funciones:
A) f (x) = x para x ], [
B) f (x) = ex para x ]0, 2[

1 < x < 0
C) f (x) =
1/2 0 < x <
D) f (x) = |sin x| para x ]2, 2[
E) f (x) = x (L x) para x ]0, L[
22. (Series de Fourier y series numericas) Encontrar el desarrollo en serie de Fourier de la
funcion
f (x) = cos (x) para x ], [
para todos los valores de R. Usar esta serie para demostrar que
!
1 1 X 2
cot () =
k=1 k 2 2
siempre que 6 Z.
23. (Combinaciones lineales de series) Si f, g P C [a, b] son tales que
r
r

!
X
2kx
2kx
1
2
2
f (x) = a0
+
ak
cos
+ bk
sin
ba
ba
ba
ba
b a k=1
y
X
1
g (x) = A0
+
Ak
b a k=1
2
cos
ba
2kx
ba

+ Bk
2
sin
ba
2kx
ba
!
A) Determinar la serie de Fourier de f + g.

B) Es posible mostrar que las series
1 2 X sin (2k 1) x
+
2 k=1
2k 1
2 X (1)k+1
sin (kx)
k=1
k
24

Primera version
son las series de Fourier de las funciones

0 < x < 0
f1 (x) =
1 0<x<
y
x
para x ], [
respectivamente, usar estas series y el la parte anterior del ejercicio para obtener
las series de las siguientes funciones:

1/2 < x < 0
1) f (x) =
1/2 0 < x <

x + < x < 0
2) f (x) =
x
0<x<

x
< x < 0
3) f (x) =
x + 2 0 < x <
f2 (x) =
24. (Ojo serie truncada) Cual es el desarrollo en serie de Fourier de f (x) = 2 + 5 cos (3x)
4 sin (7x).
25. (Para trigonometricas mejor identidades) Encontrar la serie de Fourier de f (x) =
cos4 x
26. (Extensiones pares e impares) Encontrar las extensiones pares e impares de las siguientes funciones y trazar su grafica:
A) f (x) = 1 definida en ]0, 5[
B) f (x) = x2 definida en ]0, [

C) f (x) = sin (x) definida en 0, 4
D) f (x) = ex definida en ]0, [
27. (Series de senos) Encontrar la serie de Fourier de senos de las funciones
A) f (x) = cos x para x ]0, [
B) f (x) = ex para x ]0, [
C) f (x) = x2 para x ]0, [
D) f (x) = x2 x para x ]0, 1[
28. (Series de cosenos) Encontrar la serie de Fourier de cosenos de las funciones
A) f (x) = sin x para x ]0, [
B) f (x) = ex para x ]0, [
C) f (x) = x2 para x ]0, [
D) f (x) = x x3 para x [0, 4]
25

Primera version
29. (Derivando Series) Si para x ], [

x=
X
2 (1)k+1
k=1
Es cierto que
1=
sin (kx)
2 (1)k+1 cos (kx)
k=1
para x ], [? En otras palabras es posible derivar termino a termino una serie de
Fourier y asegurar que converge a la derivada de la funcion?.

(Obs: Para poder derivar
sera continua
una serie de Fourier y garantizar convergencia basta que la funcion
0
00
f (a) = f (b) y f , f SC [a, b] derivar por ejemplo la serie de Fourier de |x| para
x ], [)
30. (Integrando Series) Es posible mostrar que si f P C [a, b]
r
r

!
X
2nx
2nx
1
2
2
cos
+ bk
sin
f (x) = a0
+
ak
ba
ba
ba
ba
b a n=1
para x [a, b] entonces
Z x
(x a)
f (t) dt = a0
ba
a
r

Z x
X
2nt
2
cos
+
ak
dt
ba a
ba
n=1
r

Z x
X
2nt
2
sin
+
bk
dt
b
a
b
a
a
n=1
Encontrar las funciones representadas por la
usando este resultado de integracion,
termino a termino de las siguientes
nueva serie que es obtenida mediante integracion
series desde 0 a x:
X
(1)k+1
x
para x ], [
k
2
k=1

3 1 X 1 (1)k
1 < x < 0
B) +
sin (kx) =
2 0<x<
2 k=1
k
A)
C)
D)
X
k=1
X
k=1
k+1
(1)
sin (kx) =

cos (kx)
x
= ln 2 cos
para < x <
k
2
sin ((2k 1) x)
2 x x2
=
para 0 < x < 2
8
(2k 1)3
31. (Cual serie usar?) Calcular el valor de
X
1 X 1 X 1
,
,
k 2 k=1 k 4 k=1 k 6
k=1
usando series de Fourier adecuadas.

26

Primera version
Ecuaciones en Derivadas Parciales

en derivadas parciales (E.D.P.) es cualquier expresion
del tipo
Una ecuacion
F (x, y, . . . , u, ux , uy , . . . , uxx , uxy , uyy , . . . ) = 0
(3)
incognita
que contiene las variables independientes x, y, . . . una funcion

u y sus derivadas
parciales ux , uy , uxy , etc.
esta definida en
Si n es el numero
de variables independientes diremos que la ecuacion
cierto dominio D Rn .
Queremos encontrar funciones u (x, y, . . . ) que verifiquen (3) en D. Estas funciones, en
caso de existir seran llamadas soluciones de la E.D.P.
Llamaremos orden de la EDP al mayor orden de las derivadas parciales que aparecen en
la ecuacion.
es llamada lineal si es lineal en u y sus derivadas parciales.
La ecuacion
En este curso nos concentraremos en las EDP lineales de segundo orden, a este grupo
especial de ecuaciones pertenecen las ecuaciones de la fsica matematica como son:
de ondas
La ecuacion
utt = c2 uxx
del calor
la ecuacion
ut = kuxx
de Laplace
y la ecuacion
uxx + uyy = 0
Si las variables independientes son x, y R2 las ecuaciones lineales en derivadas parciales
de segundo orden son de la forma
A (x, y)
2u
2u
2u
u
u
+
B
(x,
y)
+
C
(x,
y)
+ D (x, y)
+ E (x, y)
+ F (x, y) u = G (x, y)
2
2
x
xy
y
x
y
las funciones coeficientes A, B, C, D, E y F son funciones continuas y G es el termino independiente.

se dice homogenea, en caso contrario hablamos de una
Si G 0 entonces la ecuacion
no homogenea.
ecuacion
27

Primera version
Algunas diferencias con las EDOs

general tiene n constantes
1. Sabemos que en las EDOs lineales de orden n la solucion
depende de funciones
libres, en el caso de las EDP. en lugar de constantes la solucion
arbitrarias. Por ejemplo la ecuacion

2u
=0
xy
u (x, y) = f (x) + g (y) con f y g funciones arbitrarias 2 veces detiene por solucion
particular necesitamos agregar condiciones que
rivables., para obtener una solucion
determinen las funciones por ejemplo
2u
= 0
xy
u (x, 0) = x
u (0, y) = sin y
es u (x, y) = x + sin y.
luego la solucion
es un subespacio
2. Al considerar una EDO homogenea de grado n el conjunto solucion
n, en el caso de las EDP. tambien es un subespacio pero de
vectorial de dimension
infinita. Por ejemplo, si consideramos la ecuacion
dimension
u u
+
=0
x y
hacemos el cambio de variables
r = xy
s = x+y
luego
u
u r u s
=
+
x
r x s x
u
u r u s
=
+
y
r y s y
as
u
u u
=
+
x
r
s
u
u u
=
+
y
r
s
se sigue
u u
u
+
=2
=0
x y
s
entonces
u (r, s) = f (r)
28

Primera version
as
u (x, y) = f (x y)
arbitraria. De esta forma tenemos infinitas soluciones L.I
para f una funcion
(x y) , (x y)2 , . . . , (x y)n , . . .
sin (x y) , cos (x y) , exy
etc.
de EDP
Clasificacion
en U R2
Considere la ecuacion
A (x, y)
2u
2u
u
2u
u
+C
(x,
y)
+E (x, y)
+F (x, y) u = G (x, y) (4)
+B
(x,
y)
+D (x, y)
2
2
x
xy
y
x
y
haciendo una analoga con las conicas

en R2 diremos que:
es Hiperbolica
1. La ecuacion
en U si B 2 4AC > 0 para (x, y) U
es Parabolica
2. La ecuacion
en U si B 2 4AC = 0 para (x, y) U
es Elptica en U si B 2 4AC < 0 para (x, y) U
3. La ecuacion
Es posible mostrar que realizando cambios de variables adecuados de la forma
r = r (x, y)
s = s (x, y)
(4) en una de las siguientes formas canonicas
es posible transformar la ecuacion

(ver apunte
de la web):
En el caso hiperbolico
a
2u 2u
2 + terminos de orden inferior = 0
r2
s
2u
+ terminos de orden inferior = 0
rs
en el caso parabolico
a
2u
r2
2u
s2
y en el caso elptico a
2u 2u
+ 2 + terminos de orden inferior = 0
r2
s
vamos a concentrar nuestros esfuerzos en resolver los siguientes problemas
por tal razon
representativos de las EDP lineales de segundo orden:
29

Primera version
hiperbolica
1. La ecuacion
(Ecuacion
de ondas)
2u
t2
u (0, t) + h1 ux (0, t)
u (l, t) + h2 ux (l, t)
u (x, 0)
ut (x, 0)
=
=
=
=
u
para t > 0, x ]0, l[
x2
0 para t 0
0 para t 0
f1 (x)
f2 (x)
= c
donde c > 0 es constante.

parabolica
2. La ecuacion
(Ecuacion
del calor)
u
t
u (0, t) + h1 ux (0, t)
u (l, t) + h2 ux (l, t)
u (x, 0)
2u
para t > 0, x ]0, l[
x2
= 0 para t 0
= 0 para t 0
= f (x)
= k
donde k es constante.
elptica (Ecuacion
3. La ecuacion
de Laplace)
2u 2u
+
x2 y 2
u (0, y) + h1 ux (0, y)
u (a, y) + h2 ux (a, y)
u (x, 0)
u (x, b)
= 0 para (x, y) ]0, a[ ]0, b[

=
=
=
=
0 para y ]0, b[
0 para y ]0, b[
f1 (x) para x ]0, a[
f2 (x) para x ]0, a[
donde k es constante.
de variables
El metodo
de separacion
Como al comenzar el estudio de las series de Fourier supongamos que los problemas
anteriores tienen soluciones con variables separadas de la forma
u (x, t) = M (x) N (t)
para ondas y calor,
u (x, y) = M (x) N (y)
se obtiene:
para Laplace, reemplazando en la ecuacion
1 N 00 (t)
M 00 (x)
=
c2 N (t)
M (x)
0
1 N (t)
M 00 (x)
=
k N (t)
M (x)
00
N (y)
M 00 (x)
=
N (y)
M (x)
30

Primera version
para ondas, calor y Laplace respectivamente, sabemos que esto implica que las funciones
en los 3 problemas
deben ser constantes de esto se obtiene, si es la constante de separacion,
M 00 (x) + M (x) = 0
mirando las condiciones iniciales
M (0) + h1 M 0 (0) = 0
M () + h2 M 0 () = 0
donde = l para ondas y calor e igual a a para Laplace.
El problema
M 00 (x) + M (x) = 0 para x ]0, [
M (0) + h1 M 0 (0) = 0
M () + h2 M 0 () = 0
es llamado Problema de Sturm-Liouville regular.
de variables no siempre permite determinar las
Observacion
2.1. La tecnica de separacion
de Laplace en el disco
soluciones de una EDP, por ejemplo podramos considerar la ecuacion
de
y pedir u (x, y)|x2 +y2 =a2 = f (x, y) esto no puede ser resuelto directamente por separacion
variables.
Para los problemas de Sturm-Liouville
M 00 (x) + M (x) = 0 para x ]0, [
M (0) + h1 M 0 (0) = 0
M () + h2 M 0 () = 0
existen un conjunto a lo mas numerable de valores n para los cuales este problema tiene
no nula Mn (x), esta fanilia de funciones tiene la propiedad de ortogonalidad, luego,
solucion
de estos valores n podemos resolver el problema asociado para las funciones N y as postular
del problema en la forma
una solucion
X
u (x, t) =
Cn Nn (t) Mn (x)
n
o
u (x, y) =
Cn Nn (y) Mn (x)
los valores de las constantes los debemos determinar de forma que se cumplan las condiciones
requeridas.
31

Primera version
Problemas de Sturm-Liouville usuales

En esta parte buscaremos los valores n y las funciones no nulas Mn (x) para algunos de
los problemas de Sturm-Liouville usuales:
1.
M 00 (x) + M (x) = 0 para x ]0, l[
M (0) = M (l) = 0
2.
M 00 (x) + M (x) = 0 para x ]0, l[
M 0 (0) = M 0 (l) = 0
3.
M 00 (x) + M (x) = 0 para x ]0, l[
M (0) = M 0 (l) = 0
4.
M 00 (x) + M (x) = 0 para x ]0, l[
M 0 (0) = M (l) = 0
Primero vamos a mostrar que las familias de funciones resultantes de estos problemas
son ortogonales, esto es, sean M1 y M2 funciones tales que
M100 = 1 M1
M200 = 2 M2
con 1 6= 2 entonces
Z
1 hM1 , M2 i = 1
M1 (x) M2 (x) dx
0
Z l
=
(1 M1 (x)) M2 (x) dx
0
Z l
=
M100 (x) M2 (x) dx
0
por partes
hacemos integracion
u = M2 (x) du = M20 (x) dx
dv = M100 (x) dx v = M10 (x)
as
Z
0
M100
(x) M2 (x) dx =
M2 (x) M10
l
(x)|0
M10 (x) M20 (x) dx
32

Primera version
M10 (x) M20 (x) dx
por partes nuevamente para

si hacemos integracion
0
u = M20 (x) du = M200 (x) dx

dv = M10 (x) dx v = M1 (x)
as
M10
(x) M20
M20
(x) dx =
l
(x) M1 (x)|0
M1 (x) M200 (x) dx
luego
l
(x)|0
1 hM1 , M2 i =
M2 (x) M10
[M2 (x) M10
M20
l
(x) M1 (x)|0
Z
+
M1 (x) M200 (x) dx
(x)
M20
l
(x) M1 (x)]|0
2 hM1 , M2 i
as
1 hM1 , M2 i + 2 hM1 , M2 i = [M2 (x) M10 (x) M20 (x) M1 (x)]|0

o bien
l
(1 2 ) hM1 , M2 i = [M2 (x) M10 (x) M20 (x) M1 (x)]|0

M2 (x) M1 (x) l

= 0
M2 (x) M10 (x) 0

M2 (l) M1 (l) M2 (0) M1 (0)

= 0
M2 (l) M10 (l) M20 (0) M10 (0)
si

M2 (l) M1 (l)
0
M2 (l) M10 (l)

M2 (0) M1 (0)
0
M2 (0) M10 (0)

=0

entonces las funciones son ortognonales

1. M (0) = M (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
0

M2 (l) M10 (l) M20 (0) M10 (0)
2. M 0 (0) = M 0 (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
0

M2 (l) M10 (l) M20 (0) M10 (0)
3. M (0) = M 0 (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
0

M2 (l) M10 (l) M20 (0) M10 (0)

0
= 00

M2 (l) M10 (l)
= 0

0
00
M2 (0) M10 (0)

= M2 (l) M1 (l)

0
0
= 0

M2 (0) M1 (0)

0
0

= M2 (l) M1 (l)

0
0
= 0

0
00
M2 (0) M10 (0)
33

Primera version
4. M 0 (0) = M (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
0

M2 (l) M10 (l) M20 (0) M10 (0)

0
= 00

M2 (l) M10 (l)
= 0

M2 (0) M1 (0)

0
0
luego las familias resultantes de los problemas de Sturm-Liouville planteados son ortogonales, encotremos tales familias:
Las soluciones de
M 00 (x) + M (x) = 0
son de tres tipos
A) Si > 0 entonces
M (x) = c1 cos

x + c2 sin
x
Veamos que pasa en los distintos casos:

1) M (0) = M (l) = 0: En este caso tenemos

0 = M (0) = c1 cos
0 + c2 sin
0 = c1

l
0 = M (l) = c2 sin
se sigue
l = n con n N
2
as hay soluciones no nulas para n = n
con n N y funciones
l
n
Mn (x) = cn sin
x
l

2) M 0 (0) = M 0 (l) = 0: En este caso tenemos M 0 (x) = c1 sin

x +c2 cos
x
as

0 = M 0 (0) = c1 sin
0 + c2 cos
0 = c2
c2 = 0

0 = M 0 (l) = c1 sin
l
se sigue
l = n con n N
2
as hay soluciones no nulas para n = n
con n N y funciones
l
n
Mn (x) = cn cos
x
l
34

Primera version

3) M (0) = M (l) = 0: En este caso tenemos M (x) = c1 sin

x +c2 cos
x
as

0 = M (0) = c1 cos
0 + c2 sin
0 = c1
0
c1 = 0

0 = M (l) = c2 cos
l
0
se sigue
+ n con n N {0}
2

2
as hay soluciones no nulas para n = (2n+1)
con n N {0} y funciones
2l
l =

Mn (x) = cn sin
(2n + 1)
x
2l

4) M 0 (0) = M (l) = 0: En este caso tenemos M 0 (x) = c1 sin

x +c2 cos
x
as

0 = M 0 (0) = c1 sin
0 + c2 cos
0
c2 = 0
0 = M (l) = c1 cos
se sigue

l
+ n con n N {0}
2

2
(2n+1)
as hay soluciones no nulas para n =
2l
l =

Mn (x) = cn cos
(2n + 1)
x
2l
B) Si = 0 entonces
M (x) = c1 + xc2
1) M (0) = M (l) = 0: En este caso se sigue que c1 = c2 = 0, es decir, no hay solucion

no nula.
no nula.
2) M 0 (0) = M 0 (l) = 0: En este caso M (x) = 1 es solucion
3) M (0) = M 0 (l) = 0: En este caso se sigue que c1 = c2 = 0, es decir, no hay solucion

no nula.
4) M 0 (0) = M (l) = 0: En este caso se sigue que c1 = c2 = 0, es decir, no hay solucion

no nula.
C) Si < 0 entonces
M (x) = c1 e
+ c2 e

35

Primera version
1) M (0) = M (l) = 0
En este caso
0 = c1 + c2
0 = c1 e l + c2 e l
= c1 e l c1 e l

l
l
= c1 e
e

= 2c1 sinh
l
c1 = 0 c2 = 0
no nula.
no hay solucion
2) M 0 (0) = M 0 (l) = 0
En este caso
0 = c1 c2
0 = c1 e l c1 e l

0 = c1 e l e l
c1 = c2 = 0
no hay soluciones no nulas.
3) M (0) = M 0 (l) = 0
En este caso
0 = c1 + c2
0 = c1 e l + c1 e l

l
l
+e
0 = c1 e
c1 = c2 = 0
4) M 0 (0) = M (l) = 0
En este caso
0 = c1 c2
0 = c1 e l + c1 e l

0 = c1 e l + e l
c1 = c2 = 0
En resumen, en el problema
36

Primera version
1.
M 00 (x) + M (x) = 0 para x ]0, l[
M (0) = M (l) = 0
2
hay soluciones no nulas para n = n
con n N y funciones
l
n
Mn (x) = cn sin
x
l
2.
M 00 (x) + M (x) = 0 para x ]0, l[
M 0 (0) = M 0 (l) = 0

n 2
l

n
x
Mn (x) = cn cos
l
hay soluciones no nulas para n =
3.
M 00 (x) + M (x) = 0 para x ]0, l[
M (0) = M 0 (l) = 0

(2n+1)
2l
2

(2n + 1)
x
Mn (x) = cn sin
2l
4.
M 00 (x) + M (x) = 0 para x ]0, l[
M 0 (0) = M (l) = 0

(2n+1)
2l
2

(2n + 1)
Mn (x) = cn cos
x
2l
Se tiene la tabla:
n
Mn (x)
M (0) = M (l) = 0

n 2
l
con n N
sin
n
x
l
M 0 (0) = M 0 (l) = 0

n 2
l
con n N {0}
cos
n
x
l
M (0) = M 0 (l) = 0
0
M (0) = M (l) = 0
(2n+1)
2l
(2n+1)
2l
2
2
con n N {0}
con n N {0}
sin
cos

(2n+1)
x
2l
(2n+1)
x
2l

37

Primera version
de variables encontrar una solucion

de la
Ejercicio 2.1. Usando el metodo de separacion
ecuacion
u
2u
=
2u
t
x2
u (x, 0) = 1 para x [0, ]
ux (0, t) = u (, t) = 0 para t 0
Solucion:
Supongamos
u (x, t) = M (x) N (t)
entonces
M (x) N 0 (t) = M 00 (x) N (t) 2M (x) N (t)
as
M (x) (N 0 (t) + 2N (t)) = M 00 (x) N (t)
luego
M 00 (x)
N 0 (t) + 2N (t)
=
N (t)
M (x)
entonces
suponemos que es la constante de separacion
M 00 (x) + M (x) = 0
N 0 (t) = (2 + ) N (t)
ahora estudiamos las condiciones iniciales
u (, t) = M () N (t) = 0 M () = 0
ux (0, t) = M 0 (0) N (t) = 0 M 0 (0) = 0
se sigue
M 00 (x) + M (x) = 0
M 0 (0) = M () = 0
que corresponde al caso 4 con l = , los valores propios son

n =
(2n + 1)
2
2
con n N {0}
con

Mn (x) = cos
(2n + 1)
x
2
para estos valores de n se tiene

N 0 (t) = (2 + n ) N (t)
as
Nn (t) = Cn e(2+n )t

(2n+1) 2
2+( 2 ) t
= C e
n
38

Primera version
la solucion
debe ser de la forma
luego usando el principio de superposicion

X
(2n+1) 2
(2n + 1)
2+( 2 ) t
x
u (x, t) =
Cn e
cos
2
n=0
pero u (x, 0) = 1 se sigue
1 = u (x, 0) =

Cn cos
n=0
(2n + 1)
x
2
usamos la ortogonalidad para concluir

D
Cn = D
1, cos
(2n+1)
x
2

(2n+1)
x
2
cos
, cos

R
(2n+1)
x
dx
cos
2
0

= R
x dx
cos2 (2n+1)
2
0
E
(2n+1)
x
2
E
(1)n
= 4
(2n + 1)
as
X

(2n+1) 2
4
(2n + 1) x
(1)n
2+( 2 ) t
u (x, t) =
cos
e
n=0 2n + 1
2
de ondas
La ecuacion
resolveremos el problema
En esta seccion
utt c2 uxx
u (x, 0)
ut (x, 0)
u (0, t)
u (l, t)
=
=
=
=
=
h (x, t) para 0 < x < l, t > 0

f (x) para x [0, l]
g (x) para x [0, l]
p (t) para t 0
q (t) para t 0
de variables mas cambios de variables.

para ello vamos a utilizar el metodo de separacion
Supongamos que
u (x, t) = v (x, t) + U (x, t)
entonces

utt c2 uxx = vtt c2 vxx + Utt c2 Uxx = h (x, t)
luego
vtt c2 vxx
v (x, 0)
vt (x, 0)
v (0, t)
v (l, t)
=
=
=
=
=
h (x, t) Utt c2 Uxx

f (x) U (x, 0)
g (x) Ut (x, 0)
p (t) U (0, t)
q (t) U (l, t)
39

Primera version
entonces para hacer las condiciones homogeneas forzamos

p (t) U (0, t) = 0 = q (t) U (l, t)
esto se logra tomando
U (x, t) = p (t) +
x
(q (t) p (t))
l
de la forma
esto nos lleva a una ecuacion
vtt c2 vxx = e
h (x, t)

x
f (x) p (0) + (q (0) p (0)) = fe(x)
l

x
0
g (x) p (0) + (q 0 (0) p0 (0)) = ge (x)
l
0
0

v (x, 0) =
vt (x, 0) =
v (0, t) =
v (l, t) =
es decir, un problema de la forma

vtt c2 vxx = e
h (x, t)
v (x, 0) = fe(x)
vt (x, 0) = ge (x)
v (0, t) = 0
v (l, t) = 0
tendra la forma
por las condiciones homogeneas en 0 y l la solucion
v (x, t) =

Nk (t) sin
k=1
k
x
l
para la funcion
donde se deben determinar las funciones Nk (t), hacemos una expansion

e
h (x, t) y se tiene

X
k
e
x
h (x, t) =
Jk (t) sin
l
k=1
luego
2
vtt c vxx =
Nk00

(t) +
k=1
k
l
2
!
Nk (t) sin
k
x
l
= e
h (x, t)

X
k
=
Jk (t) sin
x
l
k=1
se sigue
Nk00 (t) +
k
l
2
Nk (t)
= Jk (t) para k N
40

Primera version
las funciones Jk pueden ser determinadas mediante

Rl

e
h (x, t) sin kl x dx
para k N
Jk (t) =
R l 2 k
x
dx
sin
l
0

esto permite determinar las funciones Nk (t) = Ak cos kl t + Bk sin kl t + fkp (x, t) pero
fkp (x, t) se puede escoger que
quedan dos contantes libres (para cada k N) y la funcion
valga cero en 0 y tambien su derivada
esto es

X
k
x
v (x, t) =
Nk (t) sin
l
k=1

X
k
k
k
p
=
Ak cos
t + Bk sin
t + fk (x, t) sin
x
l
l
l
k=1
0
finalmente los valores de Ak y Bk se obtienen con las condiciones

x
v (x, 0) = f (x) p (0) + (q (0) p (0)) = fe(x)
l

x
vt (x, 0) = g (x) p0 (0) + (q 0 (0) p0 (0)) = ge (x)
l
calculando los coeficientes de Fourier.
de ondas
Ejercicio 3.1. Hacer lo mismo para la ecuacion
ut kuxx
u (x, 0)
u (0, t)
u (l, t)
=
=
=
=
h (x, t) para 0 < x < l y t > 0

f (x) para x [0, l]
p (t) para t 0
q (t) para t 0
del problema
Ejemplo 3.1. Encuentre la solucion
utt uxx
u (x, 0)
ut (x, 0)
u (0, t)
u (1, t)
=
=
=
=
=
5 para 0 < x < 1 y t > 0

x (1 x) para x [0, 1]
0 para x [0, 1]
t para t 0
sin t para t 0
Desarrollo: Hacemos el cambio de variables

u (x, t) = v (x, t) + U (x, t)
donde
U (x, t) = t + x (sin t t)
41

Primera version
luego v debe cumplir

5 = utt (x, t) uxx (x, t)
= vtt (x, t) vxx (x, t) + Utt (x, t) Uxx (x, t)
= vtt (x, t) vxx (x, t) x sin t
es decir
vtt vxx = 5 + x sin t
para los valores iniciales y de contorno se tiene
v (x, 0) + U (x, 0)
vt (x, 0) + Ut (x, 0)
v (0, t) + U (0, t)
v (1, t) + U (1, t)
=
=
=
=
u (x, 0) = x (1 x) para x [0, 1]

ut (x, 0) = 0 para x [0, 1]
u (0, t) = t para t 0
u (1, t) = sin t para t 0
esto es
v (x, 0)
vt (x, 0)
v (0, t)
v (1, t)
=
=
=
=
x (1 x) U (x, 0) para x [0, 1]

Ut (x, 0) para x [0, 1]
t U (0, t) para t 0
sin t U (1, t) para t 0
as
vtt vxx
v (x, 0)
vt (x, 0)
v (0, t)
v (1, t)
=
=
=
=
=
5 + x sin t para 0 < x < 1 y t > 0

x (1 x) para x [0, 1]
1 para x [0, 1]
0 para t 0
0 para t 0
de la forma
este problema tiene condiciones homogeneas, postulamos una solucion
v (x, t) =
Nn (t) sin (nx)
n=1
si
5 + x sin t =
hn (t) sin (nx)
n=1
entonces
R1
(5 + x sin t) sin (nx) dx

R1
sin (nx) dx
0
2
=
((1)n sin t + 5 (1)n 5)
n
hn (t) =
42

Primera version
se sigue que
vtt (x, t) vxx (x, t)
X
X
00
=
Nn (t) sin (nx) +
Nn (t) n2 2 sin (nx)
=
n=1
n=1

Nn00 (t) + n2 2 Nn (t) sin (nx)
n=1

X
2
n
n
=
((1) sin t + 5 (1) 5) sin (nx)

n
n=1
de donde se debe cumplir
Nn00 (t) + n2 2 Nn (t) =
2
((1)n sin t + 5 (1)n 5)
n
al determinar la familia de soluciones

Nn (t) salen 2 constantes para cada n las cuales pueden
ser determinadas usando el desarrollo en serie de Fourier de las condiciones iniciales.
La ecuacion
Estamos interesados en resolver el problema
uxx + uyy = 0 para (x, y) B ((0, 0) ; a)
u (x, y) = f (x, y) para (x, y) S [(0, 0) ; a]
usando cambio de coordenadas polares podemos cambiar este problema a
1
1
urr + ur + 2 u = 0 para 0 < r < a, 0 < < 2
r
r
se tienen las siguientes condiciones
por la periodicidad de la transformacion
u (r, 0) = u (r, 2)
u (r, 0) = u (r, 2)
luego podemos plantear el problema como
1
1
urr + ur + 2 u = 0 para 0 < r < a, 0 < < 2
r
r
lm u (r, ) <
r0
u (r, 0) = u (r, 2) para r [0, a]

u (r, 0) = u (r, 2) para r [0, a]
u (a, ) = f ()
de variables u (r, ) = M (r) N () se sigue
ahora utilizamos separacion
1
1
1
1
urr + ur + 2 u = 0 = M 00 (r) N () + M 0 (r) N () + 2 M (r) N 00 ()
r
r
r
r
43

Primera version
luego
(r2 M 00 (r) + rM 0 (r))
N 00 ()
=
M (r)
N ()
entonces
si es la constante de separacion
N 00 () = N ()
r2 M 00 (r) + rM 0 (r) + M (r) = 0
en r no es homogenea vamos a utilizar la condicion
en . Se tiene
la condicion
N (0) = N (2)
N 0 (0) = N 0 (2)
tenemos el problema
N 00 () = N ()
N (0) = N (2)
N 0 (0) = N 0 (2)
este problema de Sturm-Liouville tiene por solucion

n = n2
para n N {0} y las funciones propias
{1, cos (n) , sin (n) con n N}
(En efecto
N 00 () N () = 0
se sigue:
I) si < 0 entonces > 0 as

N () = c1 cos
+ c2 sin
luego
N (0) = N (2)
implica
c1 = c1 cos
y como

2 + c2 sin
2

N () = c1 sin
+ c2 cos
se sigue

c2 = c1 sin
2 + c2 cos
2
tenemos el sistema

0 = c1 cos
2 1 + c2 sin
2

0 = c1 sin
2 + c2 cos
2 1
44

Primera version
no nula si y solo si
este sistema tiene solucion

cos 2 1

sin 2

= 0
sin 2
cos 2 1

cos 2 1 = 0
esto es
cos 2 = 1
se sigue
2 = 2n con n N
= n2 con n N
y en tal caso
Nn () = c1 cos (n) + c2 sin (n)
para n N (esto nos da la familia {cos (n) , sin (n) con n N}.
Si = 0 se sigue
N0 (t) = at + b
para cumplir las condiciones se debe tener
b = 2a + b a = 0
a = a
N0 (t) = 1. Es posible mostrar que no
se sigue que = 0 tambien es un valor para la funcion
hay mas funciones no nulas, usar determinate)
M:
De esto se tiene para la funcion
Para = 0
r2 M 00 (r) + rM 0 (r) = 0
esto es
M (r) = A0 + A1 ln r
para n N
r2 M 00 (r) + rM 0 (r) n2 M (r) = 0
de Euler
resolvemos esta ecuacion
M (r) = r
da
( 1) + n2 = 0
2 = n2 = n
as
Mn (r) = En rn + Fn rn
las soluciones son de la forma
u (r, ) = (A0 + A1 ln r) +

En rn + Fn rn cos (n)
n=1

Hn rn + Gn rn sin (n)
n=1
45

Primera version
si queremos
lm u (r, ) <
r0
se debera tener
u (r, ) = A0 +
En r cos (n) +
n=1
Hn rn sin (n)
n=1
y ahora encontramos los valores de las contantes utilizando la condicion

f () = u (a, ) = A0 +
En an cos (n) +
n=1
Hn an sin (n)
n=1
se sigue
2
f () d
A0 =
2
2
f () cos (n) d
En a
1
=
1
=
2
2
cos (n) d
f () sin (n) d
Hn a
f () cos (n) d
0
0
2
Z
n
2
2
sin (n) d
f () sin (n) d
0
Ejercicios resueltos y propuestos

en derivadas parciales
1. Resolver la Ecuacion
vtt vxx
v (x, 0)
vt (x, 0)
v (0, t)
v (1, t)
=
=
=
=
=
5x para 0 < x < 1 y t > 0

x (1 x) para x [0, 1]
1 para x [0, 1]
0 para t 0
0 para t 0
es no homogenea , pero la funcion

solo depende de x planteaDesarrollo: La ecuacion
de la forma
mos una sustitucion
v (x, t) = u (x, t) + G (x)
a determinar. Notamos que
donde G es una funcion
5x = vtt vxx
= utt uxx G00 (x)
as
utt uxx = 5x + G00 (x)
46

Primera version
las condiciones son

u (x, 0) + G (x)
ut (x, 0)
u (0, t) + G (0)
u (1, t) + G (1)
=
=
=
=
v (x, 0) = x (1 x) para x [0, 1]

vt (x, 0) = 1 para x [0, 1]
v (0, t) = 0 para t 0
v (1, t) = 0 para t 0
as
utt uxx
u (x, 0)
ut (x, 0)
u (0, t)
u (1, t)
=
=
=
=
=
5x + G00 (x)
x (1 x) G (x) para x [0, 1]
1 para x [0, 1]
G (0) para t 0
G (1) para t 0
G debe ser escogida de forma que

entonces la funcion
G00 (x) = 5x
G (0) = 0
G (1) = 0
se tiene G0 (x) =
5x2
2
+ C y as
G (x) =
5x3
+ Cx + D
6
como
G (0) = 0
G (1) = 0
se debe cumplir
D = 0
5
C =
6
as
G (x) =

5 3
x x
6
ahora el problema a resolver es

utt uxx = 0

1
u (x, 0) =
x 5x2 6x + 1 para x [0, 1]
6
ut (x, 0) = 1 para x [0, 1]
u (0, t) = 0 para t 0
u (1, t) = 0 para t 0
de variables
usamos separacion
u (x, t) = M (x) N (t)
47

Primera version
se tiene
N 00 (t)
M 00 (x)
=
N (t)
M (x)
con
u (0, t) = 0 = M (0) N (t)
u (1, t) = 0 = M (1) N (t)
as el problema de Sturm-Liouville asociado es
M 00 (x) + M (x) = 0
M (0) = M (1) = 0
se sigue
donde es la constante de separacion,
Mn (x) = sin (nx) para n N
donde
n = (n)2 con n N
las funciones Nn (t) correspondientes son las soluciones de

Nn00 (t) + (n)2 Nn (t) = 0
esto es
Nn (t) = an cos (nt) + bn sin (nt) para n N
es de la forma
se sigue que la solucion
u (x, t) =
(an cos (nt) + bn sin (nt)) sin (nx)
n=1
nos queda por deteminar los valores de an y bn usando las condiciones inciales
X

1
x 5x2 6x + 1 = u (x, 0) =
an sin (nx)
6
n=1
1 = ut (1, 0) =
(bn n) sin (nx)
n=1
as
an =
=
=
nbn =
=
=

x (5x2 6x + 1) , sin (nx)
hsin (nx) , sin (nx)i

R1 1
x (5x2 6x + 1) sin (nx) dx
0 6
R1 2
sin (nx) dx
0
2
(3 (1)n + 2)
3
3
n
h1, sin (nx)i
hsin (nx) , sin (nx)i
R1
sin (nx) dx
R 10 2
sin (nx) dx
0
2
((1)n 1)
n
6
48

Primera version
as
u (x, t) =

X
2 (3 (1)n + 2)
3 n3
n=1

2 ((1)n 1)
cos (nt)
sin (nt) sin (nx)
2 n2
Ejercicios propuestos
1. Muestre que si los coeficientes A, B, C, D, E y F son constantes, la ecuacion

Auxx + Buxy + Cuyy + Dux + Euy + F u = 0
es separable.
2. Resolver informalmente los siguientes problemas: (Suponiendo convergencia, derivabilidad, etc)
a)
utt
u (x, 0)
ut (x, 0)
u (0, t)
u (l, t)
=
=
=
=
=
c2 uxx + H (x, t) para 0 < x < l, t > 0

f1 (x) para x [0, l]
p (t) para t 0
q (t) para t 0
ut
u (x, 0)
u (0, t)
u (l, t)
=
=
=
=
kuxx + H (x, t) para 0 < x < l, t > 0

f (x) para x [0, l]
p (t) para t 0
q (t) para t 0
b)
c)
uxx + uyy
u (x, 0)
u (x, b)
u (0, y)
u (a, y)
=
=
=
=
=
H (x, y) para 0 < x < a, 0 < y < b

p (y) para t 0
q (y) para t 0
de variables:
3. Resolver utilizando separacion
1)
utt
u (x, 0)
ut (x, 0)
u (0, t)
=
=
=
=
4uxx para 0 < x < 1 y t > 0

x (1 x) para x [0, 1]
0 para x [0, 1]
u (1, t) = 0 para t > 0
49

Primera version
2)
utt
u (x, 0)
ut (x, 0)
u (0, t)
uxx para 0 < x < y t > 0

3 sin x para x [0, ]
0 para x [0, ]
u (1, t) = 0 para t > 0
=
=
=
=
3)
utt
u (x, 0)
ut (x, 0)
u (0, t)
16uxx para 0 < x < y t > 0

0 para x [0, ]
8 sin2 x para x [0, ]
u (, t) = 0 para t > 0
=
=
=
=
4)
utt
u (x, 0)
ut (x, 0)
u (0, t)
uxx para 0 < x < 1 y t > 0

0 para x [0, 1]
x sin (x) para x [0, 1]
u (1, t) = 0 para t > 0
=
=
=
=
5)
utt = 4uxx para 0 < x < 1 y t > 0
u (x, 0) = x (1 x) para x [0, 1]
x
ut (x, 0) = x tan
para x [0, 1]
4
u (0, t) = u (1, t) = 0 para t > 0
6)
utt
u (x, 0)
ut (x, 0)
ux (0, t)
4uxx para 0 < x < y t > 0

cos x para x [0, ]
0 para x [0, ]
ux (, t) = 0 para t > 0
=
=
=
=
del telegrafo:
4. Resolver la ecuacion
utt + 2ut + 3u
u (x, 0)
ut (x, 0)
u (0, t)
=
=
=
=
uxx para 0 < x < 5, t > 0

x (5 x) para x [0, 5]
0 para x [0, 5]
u (5, t) = 0 para t > 0
5. Resolver
utt + 2ut
u (x, 0)
ut (x, 0)
u (0, t)
=
=
=
=
uxx para 0 < x < 5, t > 0

0 para x [0, 5]
x para x [0, 5]
u (5, t) = 0 para t > 0
50

Primera version
6. Resolver la ecuacion:

x 2 2 u
x 2 u
2
1
1
para 0 < x < l, t > 0
=c
h t2
x
h x
los extremos estan fijos y el despazamiento inicial es
u (x, 0) = f (x)
utt
u (x, 0)
ut (x, 0)
u (0, t)
uxx (0, t)
2 uxxxx para 0 < x < l, t > 0

f (x) para x [0, l]
g (x) para x [0, l]
u (0, l) = 0 para t > 0
uxx (l, t) = 0 para t > 0
=
=
=
=
=
de variables:
8. Resolver utilizando separacion
1)
utt
u (x, 0)
ut (x, 0)
u (0, t)
u (, t)
16uxx + sinh x para 0 < x < y t > 0

0 para x [0, ]
0 para x [0, ]
h para t > 0
k para t > 0
=
=
=
=
=
donde h, k son constantes.

2)
utt
u (x, 0)
ut (x, 0)
u (0, t)
u (1, t)
=
=
=
=
=
4uxx + x2 para 0 < x < 1 y t > 0

x para x [0, 1]
0 para x [0, 1]
0 para t > 0
1 para t > 0
ut
u (x, 0)
ux (0, t)
ux (2, t)
=
=
=
=
2uxx 5u para 0 < x < 2 y t > 0

x para x [0, 2]
0 para t > 0
0 para t > 0
3)
4)
ut
u (x, 0)
u (0, t)
u (, t)
=
=
=
=
4uxx para 0 < x < 1 y t > 0

x2 (1 x) para x [0, 1]
0 para t > 0
0 para t > 0
51

Primera version
5)
ut
u (x, 0)
u (0, t)
u (, t)
2uxx + e5x para 0 < x < y t > 0

sin x para x [0, ]
0 para t > 0
0 para t > 0
=
=
=
=
6)
ut
u (x, 0)
u (0, t)
u (1, t)
=
=
=
=
uxx + xt para 0 < x < 1 y t > 0

sin (x) para x [0, 1]
t para t > 0
t2 para t > 0
de Ondas Unidimensional
Ecuacion
Suponemos que una cuerda flexible se tensa entre dos puntos del eje x, digamos x =
0 y x = l. La cuerda se deforma a una cierta curva y = f (x) en el plano xy y luego se suelta.
Problema: Determinar la curva y(x, t) en que se deforma la cuerda en un instante t
posterior.
Hipotesis
Adicionales:
subsiguiente es transversal, es decir, cada punto de la cuerda tiene coordenaLa vibracion
da x constante, de modo que su coordenada y depende solo de x y del tiempo. Por lo tanto, el
de equilibrio viene dado por la funcion
desplazamiento de la cuerda a partir de su posicion

y = y(x, t) y sus derivadas:
y
: velocidad de la cuerda
t
2y
de la cuerda
: aceleracion
t2
fragmento de cuerda de longitud x. Si la
Si se considera el movimiento de un pequeno
densidad de masa lineal es m = m(x), la masa de este fragmento es mx. Por la segunda ley
de Newton, tenemos:
F = mx
2y
t2
(5)
52

Primera version
Tx+x
y(x+x,t)
y(x,t)
Tx
x
x+x
de los extremos del segmento dado. Estas fuerzas

Sean Tx y Tx+x los vectores de tension
se aplican tangencialmente (ver la fig. 1), ya que la cuerda no ofrece resistencia a la defor Como no hay movimiento en la direccion
x, las componentes x de los vectores de
macion.
deben coincidir:
tension
Tx+x cos = Tx cos T
(6)
Por lo tanto, T es constante, ya que x y x son arbitrarias. Analogamente, la diferencia

debe ser igual a la fuerza total que actua
entre las componentes y de los vectores de tension

(5)
sobre la cuerda. Entonces por la ecuacion
Tx+x sen Tx sen = mx
2y
t2
(7)
(3) por T , se obtiene:

dividiendo toda la ecuacion
m
2y
Tx+x sen Tx sen
m
2y
Tx+x sen Tx sen
= x 2
= x 2
T
T
T
t
Tx+x cos
Tx cos
T
t
luego
tan tan =
m
2y
x 2
T
t
(8)
Como

y
tan =
x x+x

y
tan =
x x
se puede reescribir (8) en la forma:

1 y
y
m
2y
=
x
x x x+x x x
T
t2
Haciendo que x
0, obtenemos en el lmite la ecuacion

2y
m 2y
=
x2
T t2
m
T
como
es positivo, podemos tomar c2 =
c=
T
m
, quedando la ecuacion:
m
53

Primera version
2y
2y
=
(9)
x2
t2
DE ONDAS UNIDIMENSIONAL.
denominada con frecuencia ECUACION
Hasta el momento no se ha usado el hecho de que la cuerda esta fija en sus extremos. Se
puede escribir estas condiciones de contorno o frontera como
c2
y(0, t) = y(l, t) = 0, t 0.
(10)
inicial y la velocidad inicial (en el tiempo

Las condiciones inciales especifican la posicion
cero). Estas condiciones iniciales se puede escribir como,
y(x, 0) = f (x), 0 x l,

y
= g(x) 0 < x < l
t t=0
(11)
(12)
donde f y g son funciones dadas que satisfacen ciertas condiciones de compatibilidad.

de onda, junto con las condiciones iniciales y de frontera, constituyen un
La ecuacion
posicion
y(x, t) de la cuerda. Estas
problema con valores en la frontera para la funcion
dan
para determinar de manera unica
y(x, t).
suficiente informacion
la soluci on
Si hay una fuerza externa de magnitud F unidades de fuerza por unidad de longitud
vertical, entonces este desarrollo puede modificarse
actuando sobre la cuerda en la direccion
para obtener,
c2
2y
2y 1
+
F
=
t2
x2
de ondas con condiciones de frontera e inicial.

Nuevamente, tenemos una ecuacion
de onda es
En el espacio bidimensional la ecuacion
2

z 2z
2z
2
=c
+
.
t2
x2 y 2
modela los desplazamientos verticales z(x, y, t) de la membrana cubriendo
Esta ecuacion
especfica del plano (ejemplo: las vibraciones de la superficie de un tambor).
una region
Las condiciones de frontera son,
z(x, y, t) = 0
yt > 0
para (x, y) en la frontera de la region
y condiciones iniciales,
z(x, y, 0) = f (x, y),
z
(x, y, 0) = g(x, y)
t
con f y g dados.
El metodo directo que se usara para resolver este problema se debe a DAlembert.
Definamos las variables
u = x + ct,
v = x ct,
de onda (9) en una que involucra las variables u y v. Por

y transformando la ecuacion
regla de la cadena, tenemos
54

Primera version
y
y u y v
=
+
=c
t
u t
v t
y y
u v

,
(13)
(16) se obtiene
Si tomamos la derivada con respecto a t de la ecuacion

2y
y y u
y y v
y y
=c
= c
t2
t u v
u u v t
v u v t
(14)
= c2

y
y
2
u
uv
y
y
2
vu v

Luego,
2

2y
2y
2y
2 y
+
.
=c
2
t2
u2
uv v 2
De manera similar encontramos que
2

2y
y
2y
2y
=
+2
+
.
x2
u2
uv v 2
(9), se obtiene
Sustituyendo esto en la ecuacion
2y
= 0,
uv
Si integramos con respecto a u, obtenemos
y
= F 0 (v),
v
ahora integrando este resultado con respecto a v da
y = F (v) + G(u),
se obtiene la solucion
de
si se sustituye el cambio de variable original en esta ecuacion,
DAlembert
y(x, t) = F (x ct) + G(x + ct)
de onda (9)
de la ecuacion
inicial de la cuerda esta dada por y(x, 0) = F (x).
Si hacemos t = 0, entonces la distorcion
es y(x, t) = F (x ct). Por tanto, la forma de la cuerda
Un tiempo fijo t mas tarde su distorsion
F (x) moviendo hacia la derecha con velocidad c
puede obtenerse de la grafica de la funcion
en un intervalo de longitud l. De manera analoga G(x + ct) describe una curva identica
de DAlembert
a G, moviendose hacia la izquierda con velocidad c. Por tanto, la solucion
de dos ondas moviendose con velocidad c, hacia la izquierda y la
describe la superposicion
de ytt = c2 yxx debe tener esta forma.
otra hacia la derecha. Luego, toda solucion
Las funciones F y G pueden determinarse de las condiciones iniciales.
y(x, 0) = F (x) + G(x) = f (x)
(15)
y
yt (x, 0) = cF 0 (x) + cG0 (x) = g(x)
55

Primera version
integrando, se obtiene
Z
1
F (x) + G(x) =
c
g()d F (0) + G(0).

0
(18) se obtiene,
Si sumamos este resultado con la ecuacion
Z
1 x
g()d F (0) + G(0).
2G(x) = f (x) +
c 0
Por tanto,
1
1
G(x) = f (x) +
2
2c
1
1
g()d F (0) + G(0).
2
2
Luego,
1
1
F (x) = f (x) G(x) = f (x)
2
2c
Z
0
1
1
g()d + F (0) G(0).
2
2
de DAlembert es de la forma y(x, t) = F (xct)+G(x+ct),

Como sabemos que la solucion
entonces,
Z
1 xct
1
1
1
y(x, t) =
f (x ct)
g()d + F (0) G(0)
2
2c 0
2
2
1
1
+ f (x + ct) +
2
2c
x+ct
1
1
g()d F (0) + G(0)
2
2
1
1
y(x, t) =
(f (x ct) + f (x + ct)) +
2
2c
x+ct
g()d.
xct
se le denomina formula
del problema de
A esta ecuacion
de DAlembert para la solucion
de onda en toda la recta.
Cauchy para la ecuacion
Ejemplo 5.1. Resuelva el problema con valores en la frontera

ytt = 4yxx para < x < , t > 0
y(x, 0) = e|x| , yt (x, 0) = cos(4x) para < x <
Por la formula
de DAlembert, se tiene
1
1 |x2t|
y(x, t) =
e
+ e|x+2t| +
2
4
x+2t
cos(4)d
x2t

1 |x2t|
1
e
+ e|x+2t| + (sen(4(x + 2t)) sen(4(x 2t)))
2
16
1
1 |x2t|
e
+ e|x+2t| + cos(4x) sen(8t).
2
8
56

Primera version

Ejemplo 5.2. Suponga que tiramos la cuerda de su centro una distancia de y 2l , 0 = y0
consta de dos rectas de

metros (y0 se supone peque
Podemos suponer que la distorsion
no).
(0, 0) a 2l , y0 y de 2l , y0 a (l, 0). Por tanto,
2y0
l
x,
si
0
l
2
f (x) =
l
2y
0 (l x), si
xl
l
2
que tiene la derivada continua por tramos
l
2y0
,
si
0
x
<
l
2
f 0 (x) =
l
2y0
, si
<xl
l
2
Sin la cuerda mide cuatro metros, tiene una masa de 0.08 kilogramos y esta sujeta a una
constante de dos Newtons, entonces obtenemos la solucion
tension
1
y(x, t) = [f (x 10t) + f (x + 10t)],
2
ya que
c2 =
T
2
=
= 100 (m/s)2
m
0,08/4
exacta de un punto a un metro del extremo 0 despues de un segundo

Para saber la posicion
exactamente, hacemos x = t = 1. Entonces
1
y(1, 1) = [f (9) + f (11)],
2
y como f tiene perodo 2l = 8 y es impar, se obtiene
1
1
[f (1) + f (3)] = [f (3) f (1)]
2
2

1 2y0 2y0
=
=0
2
l
l
y(1, 1) =
Ejemplo 5.3. Suponga que f (x) = y0 sen x

. Entonces,
l
i
yo h
y(x, t) =
= sen (x ct) + sen (x + ct) .
2
l
l
y por trigonometra, se reduce a
x
ct
cos
.
l
l
Luego, si nos concentramos en el punto x0 unidades del extremo izquierdo, vemos que
oscila con periodo 2lc y con amplitud y0 sen xl 0
y(x, t) = y0 sen
57

Primera version
Ejemplo 5.4. Consideremos F = G con
x 4
F (x) =
x + 4
si |x| > 4
si 4 x 2
si 2 x < 2
si 2 x 4
Ejemplo 5.5. Dibuje y(x, t) para t = 0, t = 1, t = 1, t = 32 , t = 23 . Resolvemos el caso t = 0

de F = G.
y trazamos su grafica ayudados por la representacion
F (x) = G(x)
F (x) + G(x)
1
de onda
Soluciones en serie de Fourier de la ecuacion
Ahora consideraremos problemas que involucran el movimiento de ondas en un intervalo
acotado.
Cuerda vibrante con velocidad inicial cero

Considere una cuerda elaastica de longitud l, atada en los extremos en el eje x en x =
0 y x = l. La cuerda se desplaza para luego ser soltada desde el reposo para vibrar en el plano
desplazamiento y(x, t). El problema queda modelado por,
xy. Deseamos encontrar la funcion
ytt
= c2 yxx , para 0 < x < l, t > 0,
y(0, t) = y(l, t) = 0, para t 0,

y(x,
0) = f (x), para 0 x l,
yt (x, 0) = 0, para 0 x l.
58

Primera version
de variables, para ello suponemos una

Para resolverla usaremos el metodo de separacion
de la forma:
solucion
y(x, t) = U (x)V (t),
(16)
de x y V depende solo
de t.
donde U depende solo
(16), se obtiene:
Derivando la ecuacion
2y
2y
00
=
U
(x)V
(t)
y
= U (x)V 00 (t),
2
2
x
t
(9), se obtiene:
reemplazando en la ecuacion
c2 U 00 V = U V 00
con U y V 6= 0.
(17)
(17) queda:
Separando variables, la ecuacion
1 V 00
U 00
= 2
.
(18)
U
c V
Supongamos ahora que fijamos la variable t y permitimos que vare x. Como el lado
(18) es constante, el lado izquierdo debe ser constante para todos
derecho de de la ecuacion
los valores de x. En consecuencia, el lado derecho es constante para todos los valores de t, y
tenemos
U 00
1 V 00
= 2
= ,
U
c V
donde es constante (llamada constante de separacion).

De estas igualdades obtenemos dos ecuaciones diferenciales ordinarias
U 00 + U = 0,
V 00 + c2 V = 0.
(19)
(20)
Observemos que:
y(0, t) = 0 t U (0)V (t) = 0 U (0) = 0
y(l, t) = 0 t U (l)V (t) = 0 U (l) = 0
Esto se debe a que si T (t) = 0, entonces y = 0 y la cuerda esta permanentemente en reposo,
lo cual es imposible si f (x) 6= 0. Para f 6= 0, T debe ser diferente de cero para al menos un
valor de t, lo cual implica que U (0) = U (l) = 0.
(19) se transforma en el problema de Sturm-Liouville:
Con esto la ecuacion
U 00 + U = 0
U (0) = 0
U (l) = 0
n2 2
.
l
l2
(20), se obtiene:
Reemplazando este en la ecuacion
Un = sen
con solucion
nx
donde n =
V 00 + c2
n2 2
V =0
l2
59

Primera version
c n
c n
es: Vn (t) = An cos
cuya solucion
t + Bn sen
t ,
l
l

y
pero
= 0 U (x)V 0 (0) = 0 x V 0 (0) = 0,
t
t=0
de donde se obtiene:
Vn (t) = cos
c n
t .
l
general esta dada por:

Con esto se tiene que la solucion
y(x, t) =
Cn sen
n=1
n
c n
x cos
t ,
l
l
n
x , donde Cn corresponde a los coeficienl
n=1
f (x).
tes de Fourier de tipo senoidal de la funcion
Luego:
pero y(x, 0) = f (x) f (x) =
Cn sen
Z l
n
n x
c n
X
2
f () sen
d sen
cos
t
y(x, t) =
l 0
l
l
l
n=1
Cuerda vibrante con velocidad inicial dada y desplazamiento inicial

cero
horizontal
Ahora consideremos el caso en que la cuerda es soltada desde su posicion
(desplazamiento inicial cero), pero con una velocidad inicial dada por g(x).
El problema es,
ytt
= c2 yxx , para 0 < x < l, t > 0,
y(0, t) = y(l, t) = 0, para t 0,

y(x, 0) = 0, para 0 x l,
yt (x, 0) = g(x), para 0 x l.

de la forma y(x, t) = M (x)N (t). Derivando e imponiendo las
Suponiendo una solucion
condiciones de borde, se obtiene
M 00 + M = 0
M (0) = M (l) = 0,
con autovalores
n =
n2 2
l2
y autofunciones
Mn (x) = sen
n
.
l
en t,
Reemplazando este valor de e imponiendo las condiciones iniciales en la ecuacion
se obtiene
60

Primera version
N 00 +
n2 2 c2
N
l2
=0
N (0) = 0
general,
obteniendo como solucion

N (t) = A cos
nct
l

+ B sen
nct
l

.
Como N (0) = A = 0, las soluciones para N (t) son multiplos

constantes de sen
As para n = 1, 2, se obtienen las funciones

nx
nct
sen
,
yn (x, t) = cn sen
l
l
nct
l

.
luego
y(x, t) =
cn sen
nx
l
n=1

sen
nct
l

.
con respecto a t e imponiendo la condicion

de velocidad inicial
Derivando esta ecuacion
yt (x, 0) = g(x) se obtine,
yt (x, 0) =
cn
n=1
nx
nc
sen
= g(x).
l
l
Este es el desarrollo en serie de Fourier en senos de g(x) en [0, l]. Entonces,

Z l
n
nc
2
cn l = l
g() sen
d,
l
0
cn
2
nc
g() sen
n
l
d,
esta dada por:

Por lo tanto la solucion
2 X 1
y(x, t) =
c n=1 n
Z
g() sen
0
n
l

d
sen
nx
l

sen
nct
l
horizontal con una velociEjemplo 6.1. Suponga que la cuerda es soltada

desde su posicion

x
dad inicial dada por g(x) = x(1 + cos l .
Debemos calcular
Z l
Z l
n

n
g() sen
d =
( 1 + cos
sen
d
l
l
l
0
0
l2 (1)n
si n 6= 1
n(n2 1)
3l
si n = 1
4
para esta funcion
de velocidad inicial es,
La solucion
61

Primera version
2
y(x, t) =
c
3l2
4

sen
x
l

sen
ct
l
nx
2 X l2 (1)n
+
sen
sen
c n=2 n(n2 1)
l
nct
l
falta mono
Cuerda vibrante con desplazamiento y velocidad inicial cero

Consideremos el movimiento de la cuerda con desplazamiento inicial f (x) y velocidad inicial g(x). Para resolverlo se puede plantear en dos problemas, el primero con desplazamiento
es y1 (x, t) y el segundo con desplazamiento
inicial f (x) y velocidad inicial cero, cuya solucion
y2 (x, t).
inicial cero y velocidad inicial g(x) con solucion
Si consideramos
y(x, t) = y1 (x, t) + y2 (x, t)
satisface la ecuacion
de onda y las condiciones de frontera. Mas
entonces esta funcion
aun,
y(x, 0) = y1 (x, 0) + y2 (x, 0) = f (x) + 0 = f (x)
y
y1
y2
y
(x, 0) =
(x, 0) +
(x, 0) = 0 + g(x) = g(x).
t
t
t
para el caso con funciones de desplazamiento inicial y velocidad
As y(x, t) es la solucion
inicial distintas de cero.
de desplazamiento
Ejemplo 6.2. Sea la funcion
si 0 x 2l
x
f (x) =
l x si 2l < x < l
y velocidad inicial

g(x) = x 1 + cos
x
.
l
y1 (x, t) con velocidad inicial cero y desplazamiento f (x) tiene la forma,
La solucion
y1 (x, t) =
X
n=1
n
n x
4l
sen
sen
cos
n2 2
2
l
c n t
l
y2 (t) con desplazamiento inicial cero y velocidad inicial g(x), es

y la solucion
2
y2 (x, t) =
c
3l2
4

sen
x
l

sen
ct
l
nx
2 X l2 (1)n
+
sen
sen
c n=2 n(n2 1)
l
nct
l
con la posicion
inicial y velocidad inicial dada es,
Por lo tanto, la solucion
62

Primera version
y(x, t) = y1 (x, t) + y2 (x, t)

n x
n
4l
c n t
=
sen
cos
sen
22
n
2
l
l
n=1

nx
2
X
2 3l
x
ct
2
l2 (1)n
nct
+
sen
sen
+
sen
sen
c 4
l
l
c n=2 n(n2 1)
l
l
de onda
Ecuaciones no homogeneas que involucran la ecuacion
Consideremos el problema con valores en la frontera
ytt
= yxx + Ax, para 0 < x < l, t > 0,
y(0, t) = y(l, t) = 0, para t 0,

y(x, 0) = 0, para 0 x l,
yt (x, 0) = 1, para 0 x l.
donde A es una constante positiva .
de la forma
Tomemos una solucion
y(x, t) = u(x, t) + (x)
se obtiene
Derivando y sustituyendo en la ecuacion,
utt = uxx + 00 (x) + Ax.
homogenea si pedimos que 00 (x) + Ax = 0.
Esta se reduce a una ecuacion
Integrando dos veces, se obtiene
(x) = A
x3
+ Cx + D
6
(21)
con C y D constantes.
Ademas
y(0, t) = u(0, t) + (0) = 0
.
y(l, t) = u(l, t) + (l) = 0
Tenemos que u(0, t) = 0, y que u(l, t) = 0 siempre que
(0) = 0 y (l) = 0.
(25), obtenemos D = 0 y C = 16 Al2 , as que
Al aplicar estas dos condiciones a la ecuacion
1
1
1
(x) = Ax3 + Al2 x = Ax(l2 x2 ).
6
6
6
inicial y(x, 0) = u(x, 0)+(x) entrana

que u(x, 0) = y(x, 0)(x) =
Por ultimo
la condicion
1
2
2
(x) = 6 Ax(x l )
y
yt (x, 0) = ut (x, 0) = 1.
63

Primera version
Entonces para determinar u(x, t), resolvemos el nuevo problema de valor en la frontera
= uxx , para 0 < x < l, t > 0,
utt
u(0, t) = u(l, t) = 0, para t > 0,

u(x, 0) = 61 Ax(x2 l2 ), para 0 < x < l,
ut (x, 0) = 1, para 0 < x < l.

de variables. En la forma acostumbrada se llega a
Por separacion

Z l
n
n x
X
2
1
n t
2
2
u(x, t) =
A( l ) sen
d sen
cos
l
6
l
l
l
0
n=1
Z l

n
n x
2X 1
n t
+
sen
d sen
sen
n=1 n
l
l
l
0

n x
2Al3 X (1)n
n t
=
cos
sen
3 n=1 n3
l
l

n x
2l X 1 (1)n
n t
+ 2
sen
sen
.
n=1
n2
l
l
al problema original sumando (x) y u(x, t):
Para terminar, obtenemos una solucion
1
y(x, t) = u(x, t) + Ax(l2 x2 )
6
Ejemplo 6.3. Resolver
Ayuda: use
Z
utt = uxx + 1,
0<x< , t>0
2

,t =
u(0, t) = 1, ux
2
2
u(x, 0) = x2 + 1 x,
ut (x, 0) = 0
2
u(x, t) = w(x, t) + p(x)
x sen(x)dx = sen(x) x cos(x)
x2 sen(x)dx = x2 cos(x) + 2 cos(x) + 2x sen(x)
sea homogenea, hacemos

Solucion:
utt = wtt y uxx = wxx + P 00 (x). Para que la ecuacion

x2
00
P (x) = 1 obteniendo P (x) = 2 + cx + d.
Para determinar las constantes, usamos las condiciones de borde
u(0, t) = w(0, t) + P (0) = 1 = P (0) = 1 = d = 1
y
ux ( , t) = wx ( , t) + P 0 ( ) = = P 0 ( ) = = c = 0
2
2
2
2
2
2
2
Concluimos que P (x) = x2 + 1.
64

Primera version
De las condiciones iniciales obtenemos

u(x, 0) = w(x, 0)
x2
x2
+ 1 = x2 + x = w(x, 0) = + x 1
2
2
2
2
y
ut (x, 0) = 0 = wt (x, 0) = 0
Ahora, usamos variables separadas para resolver
wtt = wxx ,
0<x<
,
2
t>0
w(0, t) = wx ( , t) = 0
2
2
x
w(x, 0) = + x 1, wt (x, 0) = 0
2
2
obtenemos
Sea w(x, t) = M (x)N (t), reemplazando en la ecuacion,
M 00 (x) + M (x) = 0
M (0) = M 0 ( 2 ) = 0
y N 00 (t) + N (t) = 0
Los autovalores y autofunciones del problema de Sturm-Liouville son

n = (2n + 1)2
y Mn (x) = sen(2n + 1)x,
n0
formal de la ecuacion
es
w(x, t) =
[an cos(2n + 1)t + bn sen(2n + 1)t] sen(2n + 1)x
n=0
Calculemos los coeficientes an y bn
X
x2
4
+ x 1 = w(x, 0) =
an sen(2n + 1)x = an =
2
2
n=0
(
0
x2
+ x 1) sen(2n + 1)x dx
2
2
Usando las formulas

dadas, obtenemos

Z
2
1
2
n
2
(1)
x sen(2n + 1)x dx =
2 (2n + 1)3
(2n + 1)2
0
Z
x sen(2n + 1)x dx = (1)n
sen(2n + 1)x dx =
0
Por lo tanto,
4
an =
(2n + 1)2
1
2n + 1
1
1
3
(2n + 1)
2n + 1
formal con respecto a t, obtenemos

Derivando la solucion
wt (x, t) =
[an (2n + 1) sen(2n + 1)t + bn (2n + 1) cos(2n + 1)t] sen(2n + 1)x
n=0
65

Primera version
Evaluando en t = 0, se tiene
wt (x, 0) =
bn (2n + 1) sen(2n + 1)x = 0 = bn = 0, n 0
n=0
de la ecuacion
es
Luego, la solucion

1
x2 X 4
1
+
cos(2n + 1)t sen(2n + 1)x
u(x, t) = 1
2
(2n + 1)3 2n + 1
n=0
de ondas
Ejemplo 6.4. Resuelva la ecuacion
utt 4uxx = 0, 0 x 2, t 0
ux (0, t) = u(2, t) = 0, t > 0
u(x, 0)
= x 2 ut (x, 0) = x2 + 1, 0 < x < 2

y calcule u 12 , 11
2
Solucion
Tenemos que c = 2 y l = 2. Consideremos las funciones

2
f (x) = (x 2) , g(x) = (x + 1)
[0,2]
.
[0,2]
general es
Entonces la solucion
1
1
u(x, t) = [F (x + 2t) + F (x 2t)] +
2
4
x+ct
G()d,
xct
donde F, G son las extenciones pares en 0 e impares en 2 de las funciones f, g respectivamente.

Por lo tanto,
f (4 + x) = x 2 si 4 x 2
f (x) = x 2
si 2 x 0
F (x) =
f (x) = x 2
si 0 x 2
f (4 x) = x 2 si 2 x 4
y
g(4 + x) = (4 + x)2 1 si 4 x 2
g(x) = x2 + 1
si 2 x 0
G(x) =
2
g(x)
=
x
+
1
si
0x2
2
g(4 x) = (4 x) 1 si 2 x 4
con
F (x + 8) = F (x) G(x + 8) = G(x),
x R.
Por otra parte
66

Primera version

u
1 11
,
2 2

Z 23
2
1
1
1
1
=
F
+ 11 + F
11 +
G()d,
2
2
2
4 212
pero,
1
2
F
1
2

+ 11 = F
1
2

11 = F
1
2

+3 =
1
2
+32=
3
2

3 = 12 + 3 2 =
1
2
y
Z
23
2
10
G()d =
23
2
G()d
G()d +
21
2
21
2
8+ 12
1
2
G()d =
G()d
6+ 21
1
2
32
(2 + 1) d =
32
1
3
19
2
+ 3 = .
3
2
2
Luego,

u
1 11
,
2 2

43
1 3 1
1 19
+
= .
=
+
2 2 2
4 6
24
Ejemplo 6.5. u(x, t) si utt = uxx ; 0 < x < , t > 0, con condiciones de contorno tipo Dirichlet
y condiciones iniciales u(x, 0) = 0 y ut (x, 0) = sen 2x.
Solucion
de variables con las condiciones de contorno u(0, t) =

Aplicando el metodo de separacion
d ela forma
0, u(, t) = 0 se obtiene la solucion
u(x, t) =
(an cos nt + bn sen nt) sen nx.
n=1
Por las condiciones iniciales:

u(x, 0) = 0 0 =
(an cos 0 + bn sen 0) sen nx =
n=1
an sen nx,
n=1
y por tanto
an = 0.
Por otro lado,
ut (x, 0) = sen 2x sen 2x =
(n bn cos 0) sen nx,
n=1
67

Primera version
y por tanto
1
bn = 0, si n 6= 2 y 2b2 = 1 b2 = .
2
es,
Luego la solucion
u(x, t) =
1
sen 2t sen 2x
2
Ejemplo 6.6. Resolver utt = uxx , 0 < x < ; t > 0, con condiciones de contorno tipo
Newmann y condiciones iniciales: u(x, 0) = 1 + cos x; y ux (, t) = cos 3x.
Solucion
de variables y las condiciones de contorno hoAplicando el metodo de separacion

mogeneas que son:
u(x, 0) = 0; ux ((, t) = 0,
de la forma,
se obtiene una solucion
a0 X
(an cos nt + bn sen nt) cos nx,
+
u(x, t) =
2
n=1
donde los coeficientes se obtienen mediante las condiciones iniciales, resultando la solu
cion,
u(x, t) = 1 + cos t cos x +
1
sen 3t cos 3x.
3
Ejercicios
2u
2u
de ondas 2 =
en el intervalo [0, ] con las condiciones de
t
x2
contorno e iniciales que se indican
u(0, t) = u(, t) = 0 para t 0,

u(x, 0) = sen 8x) 2 sen(3x) para 0 < x < ,
u
(x, 0) = 3 sen(2x) para 0 < x < .
t
2u
2u
de ondas 2 = 16 2 en el intervalo [0, 1] con las condiciones de
2. Resuelve la ecuacion
t
x
u(0, t)
u(x, 0)
0 si 0 x < 0,25,
u
1 si 0,25 x < 0,3,
(x, 0) =
t
0 si 0,3 x 1.
= u(1, t) = 0 para t 0,
= 0 para 0 < x < 1,
Este modelo corresponde al golpe del macillo de un piano contra una de las cuerdas.
68

Primera version
2u
2u
de ondas 2 = c2 2 en el intervalo [0, l] con las condiciones de
3. Resuelve la ecuacion
t
x
u(0, t)
u(x, 0)
= u(l, t) = 0 para t 0,
= 0 para 0 < x < l,
u
(x, 0)
t
= 0 x
l
4
para 0 < x < l.
delta de Dirac. este modelo corresponde a un golpe seco sobre

donde 0 es la funcion
un punto de la cuerda en reposo.
4. Resolver el problema de ecuacion
2u
t2
u(0, t)
u(x, 0)
= c2
2u
x2
para 0 < x < l y t > 0,
= u(l, t) = 0 para t > 0,

= sen(x/l) para 0 < x < l,
u
c si l/4 < x < 3l/4,
(x, 0) =
0 en otro caso.
t
de variables la ecuacion
de ondas en el
5. Resuelve, usando el metodo de separacion
intervalo [0, ] con las condiciones de contorno e iniciales que se indican
2u
t2
2u
x2
u
u
(0, t) =
(0, t) = 0 para t 0,
x
x
u(x, 0) = 0 para 0 < x < ,
u (x, 0) = ex para 0 < x < ,

t
6. La ecuacion
2u
2u
2
+
x
=
x2
t2
es una forma de la ecuacion de onda cuando se aplica a una cuerda una fuerza vertical
externa, proporcional al cuadrado de la distancia horizontal al extremo izquierdo. La
cuerda esta asegurada en x = 0, una unidad arriba del eje x, y en x = 1, en el eje x,
cuando t > 0. Halle el desplazamiento u(x, t) si la cuerda parte del reposo desde un
desplazamiento f (x).
69

Primera version
de Calor
Ecuacion
del calor unidimensional necesitaremos los siguientes princiPara establecer la ecuacion
pios fsicos.
1. El calor se desplaza de las zonas calientes a las frias.
2. El ritmo a que fluye el calor a traves de un a rea es proporcional al a rea y al ritmo de
perpendicular al a rea.
cambio de temperatura respecto de la distancia en una direccion
El factor de proporcionalidad k es llamado conductividad termica de la sustancia.
3. La cantidad de calor ganado o perdido por un cuerpo cuando su temperatura cambia, es
de energa termica, es proporcional a la masa del cuerpo y al cambio
decir, la variacion
de temperatura.
El factor de proporcionalidad c se llama calor especfico de la sustancia.
Consideremos una varilla cilndrica delgada de a rea transversal A, cuya superficie lateral
esta aislada termicamente.
dibujo
del tiempo y de la posicion
de dicha seccion,
es
Luego la temperatura u depende solo
decir
u = u(x, t)
Entonces la ecuacion
de calor unidimensional esta dada por:
2
u
2 u
=a
t
x2
con
a2 =
k
,
c
densidad de la varilla
(22)
con
u(x, 0) = f (x),
u(0, t) = u(l, t) = 0
(23)
(24)
de variables, suponemos una solucion

de la forma:
Usando el metodo de separacion
u(x, t) = U (x)V (t),
(25)
(25) y reemplazando en la ecuacion

(22) se obtiene:
Derivando la ecuacion
a2 U 00 V = U V 0
1 V0
U 00
= 2
= : constante de separacion
U
a V
(26)
de estas igualdades obtenemos dos ecuaciones diferenciales ordinarias

U 00 + U = 0,
V 00 + a2 V = 0.
(27)
(28)
con condiciones de frontera U (0) = U (l) = 0.

(27) se transforma en el problema de Sturm-Liouville:
Con esto la ecuacion
70

Primera version
U 00 + U = 0
U (0) = 0
U (l) = 0
Un = sen
con solucion
nx
para n 1 cuyo autovalor es n =
l
(28), se obtiene:
Reemplazando en la ecuacion
V 0 + a2
n2 2
.
l2
n2 2
V =0
l2
a2 n2 2
t
l2
es: Vn (t) = e
cuya solucion
; n 1.
formal
Luego construimos la solucion
u(x, t) =
wn (x, t) =
n=1
An e
a2 n2 2
t
l2
n=1
sen
n
x
l
n
x , donde An corresponde a los coeficienl
n=1
f (x).
tes de Fourier de tipo senoidal de la funcion
pero u(x, 0) = f (x) f (x) =
An sen
general esta dada por:

Con esto se tiene que la solucion
Z l
n
n a2 n2 2
X
2
u(x, t) =
f (x) sen
d sen
x e l2 t
l 0
l
l
n=1
Temperatura en una barra con extremos aislados

En este problema se considera una barra con extremos aislados, lo que implica que no
hay perdida de temperatura en los extremos. Si consideramos la temperatura inicial f (x), la
temperatura estara modelada por
funcion
2
u
= k t2u , para 0 < x < l, t > 0,
u
(0, t) = u
(l, t) = 0, para t > 0,
x
x
u(x, 0) = f (x), para 0 x l,

de la forma u(x, t) = U (x)V (t) e imponemos las condicones
Si consideramos una solucion
de frontera, se obtiene
U 00 + U = 0
U 0 (0) = U 0 (l) = 0,
con autovalores
n =
n2 2
l2
y autofunciones
71

Primera version
Un (x) = cos
nx
.
l
en t, se obtiene
Reemplazando este valor de en la ecuacion
V0+
n2 2 k
V = 0.
l2
Cuando n = 0, se obtiene
V0 (t) = constante.
Para n > 1, se obtiene como solucion

Vn (t) = cn en
2 2 kt/l2
Ahora tenemos funciones de la forma

nx
2 2
2
en kt/l para n 0
un (x, t) = cn cos
l
de calor y las condiciones de aislamiento en la frontera.
las cuales satisfacen la ecuacion
formal es
Luego nuestra solucion
nx
X
1
2 2
2
u(x, t) = c0 +
cn cos
en kt/l .
2
l
n=1
Imponiendo las condiciones iniciales, se tiene
nx
X
1
cn cos
,
u(x, 0) = f (x) = c0 +
2
l
n=1
donde cn es el coeficiente de Fourier en cosenos de f (x) en [0, l], luego

Z
n
2 l
cn =
f () cos
d.
l 0
l
al problema de calor es
Z l
n
nx
X
1
2
2 2
2
u(x, t) = c0 +
f () cos
d cos
en kt/l
2
l
l
l
0
n=1
Ejemplo 6.7. Supongamos que la mitad izquierda de la barra inicialmente esta a una temperatura T y la mitad derecha se mantiene a tempertura cero. As
T si 0 x 2l
f (x) =
0 si 2l < x l.
En este caso los coeficientes de Fourier son
2
c0 =
l
l/2
T d = T
0
y
72

Primera version
2
cn =
l
l/2
T cos
0
n
l
d =
n
2T
sen
.
n
2
es

1
2T X (1)n+1
(2n 1)x
2 2
2
u(x, t) = T +
cos
e(2n1) kt/l
2
n=1 2n 1
l
Las funciones armonicas

y el problema de Dirichlet
diferencial parcial
La ecuacion
uxx + uyy = 0
es
se llama ecuacion de Laplace en dos dimensiones. En tres dimensiones esta ecuacion
uxx + uyy + uzz = 0.
El laplaciano 2 esta definido en dos dimensiones por
2 u = uxx + uyy
y en tres dimensiones por
2 u = uxx + uyy + uzz .
que satisface la ecuacion
de Laplace es cierta region
se dice armonica en
Una funcion
Estas funciones tienen una propiedad muy util:
esa region.
bajo condiciones bien generales
alcanzan su maximo y su mnimo en la frontera de la region.

Las funciones
1. f (x, y) = xy
2. xy + 3x2 y y 3
3. x2 y 2
son armonicas
sobre todo el plano.
de Laplace se puede encontrar en problemas que involucran potenciales,
La ecuacion
tales como los potenciales para el campo de fuerza en mecanica o electromagnetismo o
de Laplace tambien es conocida como la ecuacion del
campos gravitacionales. La ecuacion
estado estacionario del calor.
de calor en el espacio en dos o tres dimensiones es
La ecuacion
ut = k2 u.
se vuelve indepenEn el caso de estado estacionario (el lmite cuando t
), la solucion
de calor se convierte en la ecuacion
de Laplace.
diente de t, as ut = 0 y la ecuacion
de Laplace no hay condiones iniciales. Sin
En problemas que involucran la ecuacion
embargo, frcuentemente se encuentra el problema resolviendo
73

Primera version
2 u(x, y) = 0
del plano, sujeta a la condicion
que
para (x, y) en alguna region
u(x, y) = f (x, y)
que tiene valores en , que
para (x, y) en la frontera de , (). Aqu f es una funcion
frecuentemente es una curva o esta compuesta por varias curvas. El problema de determinar
armonica
una funcion
conociendo su valor en la frontera, se llama un problema de Dirichlet, y
f se llama datos en la frontera del problema.
El problema de Dirichlet en un rectangulo

de Laplace en la region
= {(x, y) R2 : 0 x l, 0 y
Resolveremos la ecuacion
k}.
El caso general tiene la forma:
uxx + uyy = 0
u(x, 0) = f1 (x) u(x, k) = f2 (x)
u(0, y) = g1 (y) u(l, y) = g2 (y)
en
x [0, l]
y [0, k]
(29)
donde f1 , f2 C[0, l] y g1 , g2 C[0, k] son funciones dadas y satisfacen las condiciones de

compatibilidad.
Notar que este problema no depende del tiempo, es decir, la ecuaci on de Laplace describe
procesos estacionarios.
u(x,k)=f2 (x)
u(0,y)=g1 (y)
u(l,y)=g2 (y)
l
u(x,0)=f1 (x)
Tenemos que la EDP es lineal y homogenea, pero, las condiciones de borde, aunque
de variables
lineales, no son homogeneas. Luego, no se puede aplicar el metodo de separacion
de esto es que al separar variables, el problema a valores
al problema tal como esta. La razon
posibles o autovalores deben tener
de borde que determina las constantes de separacion
74

Primera version
condiciones de borde homogeneas. En este caso, todas las condiciones de borde son no
el
homogeneas. Para resolver este problema utilizaremos el principio de superposicion,
una
cual separa el problema inicial en cuatro problemas, cada uno de los cuales tiene solo
no-homogenea.
condicion
Escribimos
u(x, t) = u1 (x, t) + u2 (x, t) + u3 (x, t) + u4 (x, t),
de Laplace con
donde cada una de las funciones ui (x, t), i = 1, 2, 3, 4 satisface la ecuacion
de borde no-homogenea y las otras tres condiciones de borde homogeneas.
una condicion
Luego, los problemas resultantes son:
en = (0, l) (0, k)
uxx + uyy = 0
u1 (x, 0) = f1 (x) u1 (x, k) = 0 x [0, l]
i)
u1 (0, y) = 0 u1 (l, y) = 0
y [0, k]
u(x,k)=0
u(0,y)=0
u(l,y)=0
l
u(x,0)=f1 (x)
ii)
en = (0, l) (0, k)
uxx + uyy = 0
u2 (x, 0) = 0 u2 (x, k) = 0
x [0, l]
u2 (0, y) = 0 u2 (l, y) = g2 (y) y [0, k]
75

Primera version
u(x,k)=0
u(0,y)=0
u(l,y)=g2 (y)
l
u(x,0)=0
iii)
en = (0, l) (0, k)
uxx + uyy = 0
u3 (x, 0) = 0 u3 (x, k) = f2 (x) x [0, l]
u3 (0, y) = 0 u3 (l, y) = 0
y [0, k]
u(x,k)=f2 (x)
u(0,y)=0
u(l,y)=0
l
u(x,0)=0
iv)
en = (0, l) (0, k)
uxx + uyy = 0
u4 (x, 0) = 0 u4 (x, k) = 0
x [0, l]
u4 (0, y) = g1 (y) u4 (l, y) = 0 y [0, k]
76

Primera version
u(x,k)=0
u(0,y)=g1 (y)
u(l,y)=0
l
u(x,0)=0
para encontrar u2 (x, y), usando separacion

de variables y dejaremos
Haremos la resolucion
los otros tres casos como ejercicios.
Se tiene,
en (0, l) (0, k)
uxx + uyy = 0
u2 (x, 0) = u2 (x, k) = 0
x [0, l]
(30)
u2 (0, y) = 0 u2 (l, y) = g2 (y)

y [0, k]
donde g2 satisface g2 (0) = g2 (s) = 0 y g C[l, k]
u(x,k)=0
u(0,y)=0
u(l,y)=g2 (y)
l
u(x,0)=0
77

Primera version
Sea u2 (x, y) = M (x)N (y) tenemos:

u2x
u2xx
u2y
u2yy
=
=
=
=
M 0 (x)N (y)
M 00 (x)N (y)
M (x)N 0 (y)
M (x)N 00 (y)
Entonces se obtiene:
M 00 (x)N (y) + M (x)N 00 (y) = 0 M 00 (x)N (y) = M (x)N 00 (y)
N 00 (y)
M 00 (x)
=
=
M (x)
N (y)
y de esta forma
M 00 (x) M (x) = 0
N 00 (y) + N (y) = 0
Imponiendo las condiciones de frontera (u2 (x, 0) = u2 (x, k) = 0 y u2 (0, y) = 0) obtenemos:

M (x)N (0) = 0
N (0) = N (k) = 0
M (x)N (k) = 0
y
M (0)N (y) = 0 M (0) = 0
Con esto, encontramos los problemas siguientes:
M 00 (x) M (x) = 0
M (0) = 0
y el problema de SturmLiouville
N 00 (y) + N (y) = 0
N (0) = N (k) = 0
2 2
Los autovalores para este problema son n = nb2 y las autofunciones: Nn (y) = sen
2 2
Resolvemos ahora la EDO para M (x) con n = nk2
ny
k
Mn00 (x) n Mn (x) = 0,

esto implica que
Mn (x) = An enx/k + Bn enx/k
haciendo M (0) = 0, obtenemos
Mn (x) = An enx/k enx/k
o bien
Mn (x) = 2An senh
nx
k
= cn senh
nx
k
Por lo tanto,
78

Primera version
u2n (x, y) = cn senh
nx
k
sen
ny
k
Se tiene:
u2 (x, y) =
u2n (x, y) =
n=1
cn senh
nx
k
n=1
sen
ny
k
inicial u2 (l, y) = g2 (y)

Imponiendo ahora la condicion
g2 (y) =

cn senh
n=1
Si hacemos Dn = cn senh
nl
k
nl
k

sen
ny
k

, lo anterior queda:
g2 (y) =
Dn sen
ny
k
n=1
Aqu
2
Dn =
k
g2 (y) sen
ny
k
dy,
y
cn =
Dn
,
senh nl
k
luego
senh
u2 (x, y) =
Dn
senh
n=1
nx
k
nl
k
sen
ny
k
(31)
con
2
Dn =
k
g2 (y) sen
0
ny
k
dy.
del
Observacion:
De forma analoga se resuelven los otros tres casos. Luego, la solucion
problema general corresponde a la suma de las soluciones de los cuatro casos.
Ejemplo 7.1. Suponga que el borde horizontal superior se mantiene a 100 C, mientras que
los otros tres bordes se mantienen a 0 C. Podemos escribir estas condiciones de contorno
para u(x, y) como sigue:

u(0, y) = u(l, y) = 0,
0<y<k
u(x, 0) = 0, u(x, k) = 100, 0 < x < l.
de estado estacionario, el tiempo no influira en este
Como estamos buscando la solucion
inicial. Haciendo u(x, y) = X(x) Y (y),
problema y, por tanto, no se necesita ninguna condicion
(??) se vuelve,
encontamos que la ecuacion
X 00 Y + X Y 00 = 0,
que puede escribirse en forma separada como:
79

Primera version
X 00
Y 00
=
=
X
Y
(32)
X 00 + X = 0,
Y 00 Y = 0.
(33)
Obteniendo as las ecuaciones,
Con las condiciones de frontera obtenemos el problema de Sturm-Liouville

X 00 + X = 0,
X(0) = X(l) = 0,
2 2
cuyos autovalores son n = n l2 y autofunciones Xn (x) = A sen

diferencial para Y (y):
Resolvemos ahora la ecuacion
2 2
n
0
Y (y) +
Y (y) = 0
l2
nx
l
, n 1.
general es
cuya solucion
Yn (y) = Bn e(
ny
l
) + C e( ny
l ).
n
Como Y (0) = 0, se tiene que Bn = Cn y se puede reescribir Yn como

Yn (y) = B senh
ny
.
l
l
n=1
u(x, k) = 100, se obtiene:
Usando la condicion
Luego: u(x, y) =
Dn sen
100 =
nx
ny
.
l

X
senh
Dn sen
n=1
nx
l
senh
ny
,
l
0 < x < l,
de contorno
que es una serie de Fourier de senos, exigiendo que extendamos la condicion
periodica
u(x, k) al intervalo l < x < l como una funcion

impar de periodo 2l, continua por
tramos y con derivada continuapor tramos. Claramente la funcion

100
si 0 < x < l,
f (x) =
100 si l < x < 0,
con f (x + 2l) = f (x) satisface estas condiciones. Por tanto, Dn senh nk
debe ser igual al
l
n-esimo coeficiente de Fourier de f (x):
Z l
nx
nk
1
Dn senh l = l
f (x) sen
dx
l
l Z
Z
nx
nx
0
100 l
100
= l
sen
dx +
sen
dx
l
l 0
l
l
= 200
(1 cos n)
n
=
200
[1
n
(1)n ].
En consecuencia, D2k = 0, mientras que

80

Primera version
400
D2k+1 =
(2k + 1) senh
esta dada por
as que la solucion

sen( x
senh( y
400
l )
l )
+
u(x, y) =
senh( k
)
l
400
X
n=1
(2k+1)k
l
,
sen( 3x
senh( 3y
l )
l )
3 senh( 3k
l )

+

senh (2n1)y
l

(2n1)k
(2n 1) senh
l
sen
(2n1)x
l
Ejemplo 7.2. Considere el problema de Dirichlet
uxx + uyy = 0
para
u(x, 0) = 0
para
u(0, y) = u(l, y) = 0
para
u(x, k = (l x) sen(x) para
0 < x < l, 0 < y < k,

0 x l,
0 y k,
0 x l.
Solucion
y los valores en la frontera

La figura muestra la region
u(x,k)=(lk) sin(x)
u(0,y)=0
u(l,y)=0
l
u(x,0)=0
de Laplace obtenemos
Tomemos u(x, y) = X(x)Y (y), sustituyendo en la ecuacion
X 00
Y 00
=
=
X
Y
(34)
Obteniendo as las ecuaciones,

81

Primera version
X 00 + X = 0,
Y 00 Y = 0.
(35)

X 00 + X = 0,
X(0) = X(l) = 0,
2 2
cuyos autovalores son n = n l2 y autofunciones Xn (x) = A sen

diferencial para Y (y):
2 2
n
0
Y (y) = 0, Y (0) = 0.
Y (y)
l2
nx
l
, n 1.
La soluciones de este problema son multiplos

constantes de senh(ny/l).
Para cada entero positivo n = 1, 2, ahora tiene funciones
nx
ny
un (x, y) = Bn sen
senh
,
l
l
de que valen cero en los

que son armonicas
en el rectangulo y satisfacen la condicion
en la frontera
lados izquierdo, inferior y derecho del rectangulo. Para satisfacer la condicion
en el lado y = k, debe usar la superposicion

u(x, y) =
Bn sen
nx
n=1
senh
ny
l
Los coeficientes se elijen de manera que

u(x, k) =
Bn sen
nx
n=1

senh
nk
l

= (l x) sen(x).
Esto es un desarrollo en serie de Fourier en senos de (l x) sen(x) en [0, l], de manera que
debe elegir todo el coeficiente como el coeficiente de seno:
Z l
n

nk
2
Bn senh l
= l
(l ) sen() sen
d
l
0
=
4l2
n[1 (1)n cos(l)]

.
l4 2l2 n2 2 + n4 4
Entonces
Bn =
4l2
n[1 (1)n cos(l)]
.
senh(nk/l)
(l2 n2 2 )2
es
La solucion
u(x, y) =
X
n=1
nx
ny
4l2
n[1 (1)n cos(l)]
sen
senh
senh(nk/l)
(l2 n2 2 )2
l
l
82

Primera version
de temperatura u(x, y, t) en una placa rectangular,

Ejemplo 7.3. Considere la distribucion
0 x 1, 0 y 1 en el plano. Los lados se
plana homogenea que cubre la region
mantienen a temperatura cero y la temperatura interior en el tiempo cero en (x, y) esta dada
por
f (x, y) = x(1 x2 )y(1 y).
Luego el problema para u es
i
h 2
1 u
u
2u
para 0 x 1, 0 y 1, t > 0,
= x2 + y2
t
u(x, 0, t) = u(x, 1, t) = 0 para 0 < x < 1, t > 0,
u(0, y, t) = u(1, y, t) = 0 para 0 < y < 1, t > 0,
u(x, y, 0) = x(1 x2 )y(1 y).

Si tomamos u(x, y, t) = X(x)Y (y)Z(t) obtenemos
X 00 + X = 0,
Y 00 + Y = 0,
Z 0 + ( + )kZ = 0,
donde , son las constantes de separacion.

Imponiendo las condiciones de frontera, se obtiene
X(0) = X(1) = 0,
Y (0) = Y (1) = 0.
Los autovalores y autofunciones son

n = n2 2 ,
Xn (x) = sen(nx),
m = m2 2 ,
Ym (y) = sen(my),
n 1,
y
n 1.
El problema para Z es
Z 0 + (n2 + m2 ) 2 kZ = 0
general
con solucion
Znm (t) = cnm e(n
2 +m2 ) 2 kt
Para cada entero positivo n y cada entero positivivo m, ahora tiene las funciones
2 +m2 ) 2 kt
unm (x, y, t) = cnm sen(nx) sen(my)e(n
de calor y las condiciones de frontera. Luego

que satisface la ecuacion
u(x, y, t) =
2 +m2 ) 2 kt
cnm sen(nx) sen(my)e(n
n=1 m=1
Se debe elegir los coeficientes de manera que

2
u(x, y, 0) = x(1 x )y(1 y) =
cnm sen(nx) sen(my).
n=1 m=1
Donde cnm es de la forma,

83

Primera version
x(1 x2 )y(1 y) sen(nx) sen(my)
cnm = 4
0
0
1
Z
Z
x(1 x ) sen(nx) dx
= 4
= 48

y(1 y) sen(my) dy
(1)n
n3 3

(1)m 1
m3 3

.
es:
48 X X
u(x, y, t) = 6
n=1 m=1
(1)n
n3

(1)m 1
m3
2 +m2 ) 2 kt
sen(nx) sen(my)e(n

Ejemplo 7.4. Calcule u 21 , 4 , donde u(x, t) satisface
x
ut = uxx 2 sen
, 0 < x < 1, t > 0
2
u(0, t) = 0, u
= 0,
t>0
x (1, t)
3x
,
0<x<1
u(x, 0) = 4 sen
2
Solucion:
Hacemos u(x, t) = v(x, t) + q(x). Entonces vt = ut , ux (x, t) = vx (x, t) + q 0 (x)

y uxx (x, t) = vxx (x, t) + q 00 (x).
tenemos
x
00
vt = vxx + q (x) 2 sen
, 0 < x < 1, t > 0
2
v(0, t) + q(0) = 0, vx(1, t)
+ q 0 (1) = 0,
t>0
3x
v(x, 0) + q(x) = 4 sen
,
0<x<1
2
diferencial
Para que el problema quede homogeneo, q(x) debe satisfacer la ecuacion
ordinaria de segundo orden
x
q 00 (x) = 2 sen
,
q(0) = 0,
q 0 (1) = 0
2
x
8
de esta ecuacion
es q(x) = 2 sen
La solucion
2
El problema que debemos resolver queda
vt = vxx , 0 < x < 1, t > 0
v(0, t) = 0, vx (1, t) = 0,
0
t >

8
x
3x
v(x, 0) = 2 sen
+ 4 sen
,
0<x<1
2
2
Hacemos v(x, t) = M (x) N (t), de donde vt = M N 0 y vxx = M 00 N ; reemplazando en la
nos queda M (x)N 0 (t) = M 00 (x) N (t).
ecuacion
M 00 (x)
N 0 (t)
=
= , de donde se obtienen las dos ecuaciones diferenciales
Entonces
M (x)
N (t)
ordinarias
84

Primera version
M 00 (x) + M (x) = 0
N 0 (t) + N (t) = 0
De las condiciones de borde, se obtiene el problema de Sturm-Liouville

M 00 (x) + M (x) = 0
M (0) = M 0 (1) = 0

(2n 1)2 2
(2n 1)
y autofunciones Mn (x) = sen
x .
cuyos autovalores son n =
4
2
!
de la ecuacion
para N (t) es Nn (t) = Cn e
Por otra parte, la solucion
Por lo tanto
v(x, t) =
Cn e
(2n1)2 2
4
(2n1)2 2
4
!
t
sen ( (2n1)
x)
2
n=1

X

x
(2n 1)
8
3x
+ 4 sen
=
Cn sen
x
se tiene
Como v(x, 0) = 2 sen
2
2
2
n=1
8
C1 = 2 , C2 = 4, Cn = 0 para todo n 3.

x
8 2 t/4
3x
9 2 t/4
Por tanto v(x, t) = 2 e
sen
+ 4e
sen
2
2
de la ecuacion
original queda
La solucion

x
x
8 2 t/4
3x
8
9 2 t/4
u(x, t) = 2 e
sen
+ 4e
sen
2 sen
2
2
2
Por lo tanto

u

1
2 8 2
8
9 2
,4 =
e
+ 4e
2
2
2
2
Ejemplo 7.5. Resuelva
0 < x < 1, t > 0

uxx + u = utt ,
u(0, t) = u(1, t) = 0,
t>0
u(x, 0) = 1, ux (x, 1) = 1,
0<x<1
Solucion:
Hacemos u(x, t) = M (x)N (t), se tiene uxx = M 00 (x)N (t), utt = M (x)N 00 (t).
M 00 (x) + M (x)
N 00 (t)
M 00 (x)N (t) + M (x)N (t) = M (x)N 00 (t) =
=
=
M (x)
N (t)
y se obtienen las dos ecuaciones diferenciales ordinarias
M 00 (x) + ( + 1)M (x) = 0,
N 00 (t) + N (t) = 0
A partir de las condiciones de borde se obtiene el problema de Sturm-Liouville

M 00 (x) + ( + 1)M = 0
M (0) = M (1) = 0
cuyos autovalores y autofunciones son, respectivamente
85

Primera version
n = n2 2 1,
Mn (x) = sen(nx)
de la ecuacion
para N (t) es
A su vez, la solucion
Nn (t) = An cos( n2 2 1 t) + Bn sen( n2 2 1 t)

queda
u(x, t) =

X
An cos( n2 2 1 t) + Bn sen( n2 2 1 t) sen(nx)
n=1
Solo nos resta calcular An y Bn . Ocupando las condiciones iniciales:

u(x, 0) = 1 =
sen(nx)dx =
An sen(nx) = An = 2
0
n=1
2((1)n+1 + 1)
n
Por otro lado

X
ut (x, t) =
n2 2 1 An sen( n2 2 1 t) + n2 2 1 Bn cos( n2 2 1 t) sen(nx)
n=1
y entonces

X
2
2
2
2
2
2
2
2
ut (x, 1) = 1 =
n 1 An sen( n 1) + n 1 Bn cos( n 1) sen(nx)
n=1
2
2
2
2
2
2
2
2
= n 1 An sen( n 1)+ n 1 Bn cos( n 1) = 2
Problema 5:
Ayuda: use
Z
sen(nx)dx =
2((1)n+1 + 1)
n
Esto implica que
1
Bn =
n2 2 1 cos( n2 2 1)
2((1)n+1 + 1) 2 2
+ n 1 An sen( n2 2 1)
n
Resolver
utt = uxx + 1,
0<x< , t>0
2

u(0, t) = 1, ux
,t =
2
2
ut (x, 0) = 0
u(x, 0) = x + x,
2
u(x, t) = w(x, t) + p(x)
x sen(x)dx = sen(x) x cos(x)

Z
x2 sen(x)dx = x2 cos(x) + 2 cos(x) + 2x sen(x)
86

Primera version
sea homogenea, hacemos

Solucion:
utt = wtt y uxx = wxx + P 00 (x). Para que la ecuacion

x2
00
P (x) = 1 obteniendo P (x) = 2 + cx + d.
Para determinar las constantes, usamos las condiciones de borde
u(0, t) = w(0, t) + P (0) = 1 = P (0) = 1 = d = 1
y
ux ( , t) = wx ( , t) + P 0 ( ) = = P 0 ( ) = = c = 0
2
2
2
2
2
2
2
Concluimos que P (x) = x2 + 1.

De las condiciones iniciales obtenemos
u(x, 0) = w(x, 0)
x2
x2
+ 1 = x2 + x = w(x, 0) = + x 1
2
2
2
2
y
ut (x, 0) = 0 = wt (x, 0) = 0
Ahora, usamos variables separadas para resolver
wtt = wxx ,
0<x<
,
2
t>0
w(0, t) = wx ( , t) = 0
2
2
x
w(x, 0) = + x 1, wt (x, 0) = 0
2
2
obtenemos
Sea w(x, t) = M (x)N (t), reemplazando en la ecuacion,
M 00 (x) + M (x) = 0
M (0) = M 0 ( 2 ) = 0
y N 00 (t) + N (t) = 0
Los autovalores y autofunciones del problema de Sturm-Liouville son

n = (2n + 1)2
y Mn (x) = sen(2n + 1)x,
n0
es
w(x, t) =
[an cos(2n + 1)t + bn sen(2n + 1)t] sen(2n + 1)x
n=0
Calculemos los coeficientes an y bn
X
4
x2
an sen(2n + 1)x = an =
+ x 1 = w(x, 0) =
2
2
n=0
Z
0
x2
( + x 1) sen(2n + 1)x dx
2
2
Usando las formulas

dadas, obtenemos

Z
2
1
2
n
2
x sen(2n + 1)x dx =
(1)
2 (2n + 1)3
(2n + 1)2
0
Z
0
x sen(2n + 1)x dx = (1)n
(2n + 1)2
87

Primera version
sen(2n + 1)x dx =
0
Por lo tanto,
4
an =
1
2n + 1
1
1
3
(2n + 1)
2n + 1
formal con respecto a t, obtenemos

Derivando la solucion
wt (x, t) =
[an (2n + 1) sen(2n + 1)t + bn (2n + 1) cos(2n + 1)t] sen(2n + 1)x
n=0
Evaluando en t = 0, se tiene
wt (x, 0) =
bn (2n + 1) sen(2n + 1)x = 0 = bn = 0, n 0
n=0
de la ecuacion
es
Luego, la solucion

x2 X 4
1
1
u(x, t) = 1
+
cos(2n + 1)t sen(2n + 1)x

2
(2n + 1)3 2n + 1
n=0
Ejemplo 7.6. Resolver el problema:
0 x 3, t 0
ut = uxx + 14 u
ux (0, t) = ux (3, t) = 0, t 0
u(x, 0) = 1 + 9x2 2x3 , 0 x 3
Solucion.
Tomando u(x, t) = M (x) N (t). Derivando y luego reemplazando en la ecuacion
se obtiene
M (x) N 0 (t) = M 00 (x) N (t) +
1
M (x) N (t)
4
de donde
M 00 (x)
N 0 (t) 1
=
=
M (x)
N (t)
4
Se obtienen as las ecuaciones
M 00 (x) + M (x)
=0
.
1
0
N (t) + 4 N (t) = 0
Con las condiciones de frontera obtenemos el problema de Sturm-Liouville,
M 00 (x) + M (x) = 0
M 0 (0) = M 0 (3) = 0
n2 2
9
y autofunciones Mn (x) = cos
nx
3
n 0.
88

Primera version
diferencial para N (t):

2 2

n
1
0
N (t) +
N (t) = 0
9
4
general es
cuya solucion

Nn (t) = An e
2 2
1
n 9
4
de la ecuacion
queda entonces:
La solucion
u(x, t) = e
t
4
X
n=0
An e
2 2
t
9
n
x
cos
3

P
n
inicial u(x, 0) = 1 + 9x2 2x3 =
La condicion
A
cos
x
n
n=0
3
de donde
Z 3
n
(1 + 9x2 2x3 ) cos
x dx
An =
3
0 "
#
3
Z 3
n

3
=
(3x x2 ) sen
(1 + 9x2 2x3 ) sen n3 x 6
x dx
n
3
0
0
"
#
3 Z 3
n

54
(3 2x) cos
= 2 2 (3x x2 ) cos n3 x
x dx
n
3
0
0

3
972
n
= 4 4 cos 3 x
n
0
972
n
= 4 4 [(1) 1].
n
es:
Luego la solucion
n
972 t X (1)n 1 n2 2 t
9
u(x, t) = 4 e 4
e
cos
x
4
n
3
n=0
Ejemplo 7.7. Resuelva el problema de Dirichlet en un disco plano
= 0 0 < r < R, < <

u
u(R, ) = S, 0 < <
u(R, ) = S, < < 0.

de variables u(r, ) = R(r)S(), pruebe que
1. Usando se paracion
r
S 00
(rR0 ) =
= cte.
R r
S
2. Imponga las condiciones de periodicidad S() = S() y S 0 () = S 0 (), para encontrar una familia numerable de soluciones k = ak cos(k)+bk sen(k), k = 0, 1, 2, (con =
k 2 ).
89

Primera version
|R(0)| < +
3. Para = k 2 considere soluciones del tipo R(r) = rp e imponga la condicion
para encontrar el Rk (r) correspondiente.
4. Imponga las condiciones de borde u(R, ) = S para encontrar u.
Solucion
1. Tenemos que
1
r r

u
1 2u
r
+ 2 2 =0
r
r
Tomando u = R S, se obtiene
1
1
(r R0 S) + 2 R S 00 = 0 r (r R0 S) = R S 00
r r
r
r
r
S 00
(rR0 ) =
= cte
R r
S
diferencial
2. Del item anterior se obtuvo la ecuacion
S 00 = S S = A ei
+ B ei
S() = S() A ei + B
ei = A ei
+ B ei
(A B) ei = (A B) ei
(A B) (e2i 1) = 0
i
i
i
S 0 () = S 0 () i A ei
i
B
e
=
i
A
e
i
B
e
(A + B) ei = (A + B) ei
(A + B) (e2i 1) = 0
Luego, la familia de soluciones es:

a) e2i
b) e2i
1 = 0 = k2 k N
1 6= 0
AB =0
A+B =0
trivial
A = B = 0 solucion
Entonces
Sk = Ak ei k + B ei k = Ak cos k + Bk sen k,
k = 0, 1, 2,
90

Primera version
3. Se tiene:
R(r) = rp
1
p2 rp1
r
p
p1
(r
p
r
)
=
(r
)
=
p
= = k 2 p = k,
p
p1
p1
r r
r
r
r
luego, R(r) = rk rk ,
|R(0)| < + p = k Rk (r) = rk .
imponiendo la condicion
Luego,
uk (r, ) = rk [Ak cos k + Bk sen k]
4. Imponiendo las condiciones de borde
u(R, ) =
S si (, 0)
si (0, )
4S

4 si (, 0)
4S
si (0, )
X
sen(2n + 1)
,
(2n + 1)
n=0
es,
luego, nuestra solucion
u(r, ) =
X
n=0
4 S X sen(2n + 1)
r [Ak cos k + Bk sen k] =
,
n=0 (2n + 1)
k
obteniendo,
Ak = 0 k N
Bk = 0 k par
Rk = 4 Sk k impar
Por lo tanto,

X
r 2n+1 4S sen(2n + 1)
u(r, ) =
R
(2n + 1)
n=0
Ejemplo 7.8. Una barra homogenea de 3 metros de longitud y difusibilidad 0.3, se saca de
de temperatura de la barra es 4x + 5. Rapidamente
un horno de modo que la distribucion
de temperatura
se aisla su manto y sus extremos se mantienen a 5 C. Hallar la distribucion
u(x, t) de la barra para cualquier instante t > 0 d cualquier punto x de ella.
de la forma u(x, t) = v(x, t) + A.
Indicacion:
Haga un cambio de funcion
Solucion
El problema queda modelado por la siguiente ecuacion,

91

Primera version
ut = 0,3uxx , 0 < x < 3, t > 0

u(0, t) = u(3, t) = 5, t > 0
u(x, 0) = 4x + 5, 0 < x < 5

Haciendo u(x, t) = v(x, t) + A, se obtiene,
5 = u(0, t) = v(0, t) + A = u(3, t) = v(3, t) + A,
y
4x + 5 = u(x, 0) = v(x, 0) + A.
Tomando A = 5 nos queda el problema,
vt = 0,3vxx , 0 < x < 3, t > 0
v(0, t) = v(3, t) = 5, t > 0
v(x, 0) = 4x + 5, 0 < x < 5
se obtienen las
Luego, tomando v(x, t) = M (x)N (t), y reemplazando en la ecuacion
siguientes ecuaciones diferenciales ordinarias,
00
M (x) + M (x) = 0
N 0 (t) + 0,3N (t) = 0
M (0) = M (3) = 0
con autovalores y autofunciones,
n
n2 2
,
M
(x)
=
sen
x , n = 1, 2, 3, .
n
32
3
en t, se obtiene,
Reemplazando este valor de en la ecuacion
n =
Nn0 (t) +
n2 2
N (t) = 0,
32
general es
cuya solucion
Nn (t) = An e
n2 2
t
32
formal esta dada por,

Luego nuestra solucion
v(x, t) =
An e
n=1
n2 2
t
32
sen
n
x .
3
Imponiendo las condiciones iniciales,

4x = v(x, 0) =
X
n=1
n
An sen
x .
3
lo que implica
92

Primera version
2
=
3
An
4 sen
0
n
d
3
n
n 3
8
3
9

=
cos
+ 2 2 sen

3
n
3
n
3
0
=
24
(1)n .
n
Luego,
n
24 X (1)n n222 t
3
sen
v(x, t) =
e
x .
n=1 n
3
es:
Por lo tanto nuestra solucion
u(x, t) = 5
n
24 X (1)n n222 t
e 3 sen
x .
n=1 n
3
Ejercicios
1. Una lamina cuadrada cuyos lados son de longitud L tiene ambas caras aisladas. El
borde horizontal superior se mantiene a 50 C, mientras que los demas bordes estan a
0 C. Halle las temperaturas de estado estacionario en los puntos ( L2 , L2 ) y ( L4 , L4 ).
2. Si en el ejercicio anterior las temperaturas a lo largo del borde y = L estan dadas por
T (x, L) = x(L x)
con las demas condiciones iguales, que sera T (x, y)?.
de Laplace para una placa rectangular con las condiciones en la
3. Resuelva la ecuacion
frontera dadas.
a)
u(0, y) = 0, u(a, y) = 0
u(x, 0) = 0, u(x, b) = f (x)
b)
u(0, y) = 0, u(a, y) = 0
uy (x, 0) = 0, u(x, b) = f (x)
c)
u(0, y) = 0, u(a, y) = 0
u(x, 0) = f (x), u(x, b) = 0
d)
u(0, y) = 0, u(1, y) = 1 y
uy (x, 0) = 0, uy (x, 1) = 0
e)
u(0, y) = 0, u(1, y) = 0
uy (x, 0) = u(x, 0), u(x, 1) = f (x)
f)
u(0, y) = 0,
u(x, 0) = 100,
u(1, y) = 0
u(x, 1) = 200
93

Primera version
4. Describa la temperatura u(x, y) de estado estable en la placa cuadrada de la figura:
u(x,)=0
u(0,y)=0
u(,y)=50
0
u(x,0)=0
del calor 1 u
=
t
problemas
u(0, y, t) = 0, u(, y, t) = 0
u(x, 0, t) = 0, u(x, , t) = 0
a)
u(x, y, 0) = u0

u
u
= 0, x
=0
x=0
x=1

b)
u
u
= 0, y
=0
y=0
y=1
u(x, y, 0) = xy
2u
x2
2u
y 2
sujeta a las condiciones dadas en los
Ecuacion
Resolvemos ahora el problema
u C 2 () C()
u = 0
u| = f, f C()
donde = {(x, y) : x2 + y 2 < 1}
de variables pues aqu la
No podemos usar inmediatamente el metodo de separacion
no se puede escribir como producto I J de intervalos I, J R.
region
Para evitar esta dificultad escribimos las coordenadas x e y de manera polar:
x = r cos ,
y = r sen .
94

Primera version
Haciendo v(r, ) = u(x, y) obtenemos, cuando r 6= 0:

u = vrr +
1
1
vr + 2 v .
r
r
El problema queda entonces

urr +
1
1
ur + 2 u = 0
r
r
y ademas, debemos imponer las condiciones de periodicidad

u(r, 0) = u(r, 2)
u (r, 0) = u (r, 2)
El problema queda finalmente:
u = 0
u r < a, 0 < < 2
u(a, ) = f ()
lmr0 u(r, ) <
u(r, ) = u(r, 2)
u (r, 0) = u (r, 2)
de variables u(r, ) = M (r)N (). Se obtiene entonces
Usaremos separacion
M 00 (r)N () +
1
1 0
M (r)N () + 2 M (r)N 00 () = 0
r
r
luego,

M 0 (r)
M (r) +
r
00
r2
N 00 ()
1
=
M (r)
N ()
,
r2 M 00 (r) + rM 0 (r)
M (r)
N 00 ()
=
=
N ()
obtenemos de esta forma

r2 M 00 (r) + rM 0 (r) M (r) = 0
N 00 () + N ()
=0
Imponiendo las condiciones de periodicidad, se obtiene el problema de SturmLiouville
00
N () + N () = 0
N (0) = N (2)
0
N (0) = N 0 (2)
Calcular autovalores y autofunciones de este problema y tambien encontrar la solucion

de la ecuacion de Euler:
r2 M 00 (r) + rM 0 (r) M (r) = 0.

u = 0,
0 r < a,
u(a, ) = f ()
0 2
Si tomamos,
95

Primera version
x = r cos ,
y = r sen
se obtiene
ux = ur rx + u x
uxx = (urr rx + ur x )rx + ur rxx (ur rx + u x )x + u xx

uy = ur ry + u y
uyy = (urr + ry + ur y )ry + ur ryy + (ur ry + u y )y + u yy

Simplificando se obtiene
1
1
ur + 2 u
r
r
Ademas el problema debe satisfacer las condiciones de periodicidad
uxx + uyy = urr +
u(r, 0) = u(r, 2)
u (r, 0) = u (r, 2)
As, el problema queda entonces:
urr + 1r ur + r12 u = 0, 0 < r < a,
u(a, ) = f ()
u(r, 0) = u(r, 2)
u (r, 0) = u (r, 2)
0 < < 2
de variables: u(r, ) = M (r)N ()

Usamos separacion
urr = M 00 (r)N ()
ur = M 0 (r)N ()
u = M (r)N 00 ()
se obtiene
Reemplazando en la ecuacion,
r2 M 00 (r) + rM 0 (r) M (r) = 0
N 00 () + N ()
=0
Imponiendo las condiciones de periodicidad, se obtiene:
u(r, 0) = u(r, 2) M (r)N (0) = M (r)N (2) N (0) = N (2)
u (r, 0) = u (r, 2) M (r)N 0 (0) = M (r)N 0 (2) N 0 (0) = N 0 (2)
De esta manera, el problema de autovalores queda,
N 00 () + N () = 0
N (0)
= N (2)
0
N (0)
= N 0 (2)
Cuyas autofunciones son de la forma:

N () = a cos
+ b sen
imponiendo condiciones de borde,

96

Primera version
N (0) = a,

N (2) = a cos 2 + b sen 2

luego

a = a cos 2 + b sen 2 .

Por otro lado,

N 0 () = a sen
+ b cos
donde
N 0 (0) = b ,

N 0 (2) = a sen 2 + b cos 2
luego

b = a sen 2 + b cos 2
Notemos que = 0 satisface ambas igualdades, por lo tanto, = 0 es autovalor y su
asociada,
autofuncion
N0 () = 1.
Si 6= 0, tenemos el sistema siguiente:

a = a cos 2 + b sen 2

b = a sen 2 + b cos 2
()

/ sen 2

/ cos 2
obteniendo,

a sen 2 = a cos 2 sen 2 + b sen2 2

b cos 2 = a cos 2 sen 2 + b cos2 2

a sen 2 + b cos 2 = b
()
Comparando () con (), se tiene

a sen 2 + b cos 2 = a sen 2 + b cos 2
o sea,

a sen 2 = a sen 2 sen 2 = 0 2 = k, k N
Ahora, si reemplazamos esta valor de 2 en cualquiera de las igualdades del sistema,

nos damos cuenta que k = 2n.

2 = 2n,
nN
= n = n2
o sea, los autovalores son n = n2 , n N {0} y las autofunciones

N0 () = 1
(1)
Nn () = cos(n)
(2)
Nn () = sen(n).
97

Primera version
Resolvamos ahora el problema para M (r):

r2 M 00 (r) + rM 0 (r) M (r) = 0
M0 = A0 ln(r) + B0
Si = 0 : r2 M 00 (r) + rM 0 (r) = 0 cuya solucion
2
00
0
de Euler, cuya solucion
es:
Si 6= 0 : r M (r) + rM (r) M (r) = 0 que es una ecuacion
M (r) = c rn + d rn
Si = n2 :
Mn (r) = cn rn + dn rn
de la ecuacion
queda entonces:
La solucion
u(r, ) =
n=0
un (r, )
= u0 (r, ) +
n=1
= An ln r + B0 +
un (r, )
n=1
(cn rn + dn rn ) cos(n) +
(en rn + fn rn ) sen(n)
n=1
Ahora, el problema dice que lm u(r, ) < , entonces

r0
A0 = 0,
X
B0 X
dn = 0, de donde u(r, ) =
en rn sen(n)
cn rn cos(n) +
+
2
n=1
n=1
fn = 0
inicial
Imponiendo la condicion
X
B0 X
n
u(a, ) = f () =
+
cn a cos(n) +
en an sen(n)
2
n=1
n=1
donde
Z
1
B0 =
an
f (s) dscn =
an
f (s) cos(ns) dsen =
f (s) sen(ns) ds
0
Obtenemos, finalmente:
1
u(r, ) =
2
f (s) ds +
0
Z
X
r n
n=1

f (s) cos(ns) ds cos(n)
Z
X
r n
n=1

f (s) sen(ns) ds sen(n).
Ejemplo 7.9. Resuelva el problema de Dirichlet para un disco de radio R centrado en el

origen. En coordenadas polares, el problema es
2
u(r, ) = 0 para 0 r R, ,
u(r, ) = f () para .
98

Primera version
de Laplace en coordenadas polares es

La ecuacion
1
1
ur + 2 u ,
r
r
urr +
que tiene soluciones de la forma
X
1
an rn cos(n)bn rn sen(n).
u(r, ) = a0 +
2
n=1
de frontera, se necesita elegir los coeficientes de manera que

Para satisfacer la condicion
X
1
u(r, ) = f () = a0 +
an Rn cos(n)bn Rn sen(n),
2
n=1
f () en el intervalo [, ],
donde a0 , an y bn son los coeficientes de Fourier de la funcion
luego
Z
1
f () d
a0
=
an R
bn R
f () cos(n) d
bn 1
f () sen(n) d.
Entonces
an =
bn =
1
Rn
1
Rn
f () cos(n) d
f () sen(n) d.
es:
Luego, la solucion
u(r, ) =
1
2
+ 1
f () d

Z
Z
X
r n
f () cos(n) d cos(n) +
f () sen(n) d sen(n) .
R
n=1
o
1
u(r, ) =
2
"
#

X
r n
1+2
cos(n( )) f () d.
R
n=1
99

Primera version
Ejemplo 7.10. Resuelva el problema de Dirichlet

2
u(r, ) = 0 para 0 r 4, ,
u(4, ) = f () = 2 para .
del ejercicio anterior, se obtiene
Tomando la solucion
1
u(r, ) =
2
1 X r n 2
d +
cos(n( )) d
n=1 4
1 2 X 4(1)n r n
+
=
cos(n).
3
n2
4
n=1
Ejemplo 7.11. Resuelva
urr + ur +
r
u (r, 0) = u
u(1, ) = 0,
Solucion:
1
u = 0,
1 < r < 2,
r2
1<r<2
r, 2 = 0,
ur (2, ) = ,
0
0<<
Sea u(r, ) = M (r) N (). Entonces

ur = M 0 (r) N (),
u = M (r) N 0 (),
urr = M 00 (r) N ()
u = M (r) N 00 ()
se obtiene
r2 M 00 (r)N () + rM 0 (r)N () + M (r)N () = 0
r2 M 00 (r) + rM 0 (r)
N 00 ()
=
= .
M (r)
N ()
Se obtienen de este modo dos ecuaciones diferenciales ordinarias
N 00 () + N () = 0
r2 M 00 (r) + rM 0 (r) M (r) =0
A partir de las condiciones de frontera u (r, 0) = u r,

= 0 se obtiene el problema de
2
Sturm-Liouville
N 00 () + N () = 0
N 0 (0) = N 0 2 = 0
cuyos autovalores son
de donde
0 = 0,
n = 4n2
y respectivas autofunciones
N0 () = 1,
Nn () = cos(2n)
diferencial para M (r):

Resolvemos la ecuacion
(i) para = 0,
M0 (r) = A0 + B0 ln(r)
100

Primera version
(ii) para = 4n2 ,

Mn (r) = An r2n + Bn r2n
queda entonces
La solucion
u(r, ) = A0 + B0 ln(r) +

An r2n + Bn r2n cos(2n)
n=1
Usamos ahora las condiciones

P iniciales para encontrar los coeficientes:
u(1, ) = 0 = 0 = A0 + n=1 (An + Bn ) cos(2n)
implica que A0 = 0 y Bn = An para todo n.
De esta manera
u(r, ) = B0 ln(r) +

An r2n r2n cos(2n)
n=1
A partir de esta ultima
ur (r, ) =
y entonces

B0 X
+
An 2nr2n1 + 2nr2n1 cos(2n)
r
n=1

B0 X
ur (2, ) = = =
+
An n22n + n22n cos(2n)
2
n=1
donde Z
2 /2
d =
B0 =
2
2 0
Z
2 /2
2n
2n
cos(2n) d
An n2 + n2
=
2
Resolviendo esta integral nos queda

0
1
n
An = 3
((1)
1)
=
2
n (22n + 22n )
n3 (22n +22n )
Finalmente
si n par
si n impar
2X
1
u(r, ) = ln(r)
r4n2 r4n+2 cos((4n 2))
3
4n2
4n+2
2
n=1 (2n 1) (2
+2
)
del problema
Ejemplo 7.12. Encontrar la solucion
2
r urr + r ur +
1 < r < 2, 0
u = 0,
= 0,
1<r<2
u (r, 0) = u r,
2
u(1, ) = 0,
ur (2, ) = ,
0
2
Solucion:

ur = M 0 (r) N (),
u = M (r) N 0 (),
urr = M 00 (r) N ()
u = M (r) N 00 ()
101

Primera version
se obtiene
r2 M 00 (r)N () + rM 0 (r)N () + M (r)N () = 0
r2 M 00 (r) + rM 0 (r)
N 00 ()
=
= .
M (r)
N ()
N 00 () + N () = 0
r2 M 00 (r) + rM 0 (r) M (r) =0

= 0 se obtiene el problema de
2
Sturm-Liouville
N 00 () + N () = 0
N 0 (0) = N 0 2 = 0
de donde
n = 4n2
0 = 0,
N0 () = 1,
Nn () = cos(2n)

(i) para = 0,
M0 (r) = A0 + B0 ln(r)
(ii) para = 4n2 ,
queda entonces
La solucion
u(r, ) = A0 + B0 ln(r) +

n=1
Usamos ahora las condiciones

P iniciales para encontrar los coeficientes:
u(1, ) = 0 = 0 = A0 + n=1 (An + Bn ) cos(2n)
De esta manera
u(r, ) = B0 ln(r) +

An r2n r2n cos(2n)
n=1
ur (r, ) =
y entonces

B0 X
+
r
n=1

B0 X
ur (2, ) = = =
+
2
n=1
donde Z
2 /2
B0 =
d =
2
2 0
Z
2 /2
2n
2n
An n2 + n2
=
cos(2n) d
2
102

Primera version

0
1
((1)n 1) =
An = 3
2
2n
2n
n (2 + 2 )
n3 (22n +22n )
Finalmente
si n par
si n impar

2X
1
r4n2 r4n+2 cos((4n 2))

u(r, ) = ln(r)
3
4n2
4n+2
2
n=1 (2n 1) (2
+2
)
u(r, ) de la ecuacion
de Laplace
Ejemplo 7.13. Encuentre la solucion
0 2, r > 2
r2 urr + rur + u = 0,
u(r, 0) = u(r, 2), u (r, 0) = u (r, 2)
r>2
u(2, ) = ,
lmr u(r, ) <
de variables, hacemos u(r, ) = M (r) N (), de donde
Para usar separacion
Solucion:
0
00
ur = M (r) N (), urr = M (r) N (), U = M (r) N 0 (), u = M (r) N 00 ().
obtenemos
r2 M 00 (r) N () + r M 0 (r) N () + M (r) N () = 0
N 00 ()
r2 M (r) + r M (r)
=
= .
M (r)
N ()
A partir de las condiciones de periodicidad se obtiene el problema de Sturm-Liouville
Esto implica que
N 00 () + N () = 0
N (0) = N (2), N 0 (0) = N 0 (2)
cuyos autovalores son 0 = 0 y n = n2 y autofunciones son N0 () = 1 y

cos(n), n 1
para M (r):
sen(n), n 1
B0
(i) Con 0 = 0, M0 (r) =
+ A0 ln(r)
2
(ii) Con n = n2 , Mn (r) = an rn + bn rn
Por lo tanto
Nn () =
X
X

B0
n
n
u(r, ) =
+ A0 ln(r) +
An r + Bn r
cos(n) +
Cn rn + Dn rn sen(n)
2
n=1
n=1
Como lm u(r, ) < , se debe cumplir que A0 = 0, An = 0, Cn = 0, y entonces

r
u(r, ) =
B0 X
+
Bn rn cos(n) + Dn rn sen(n)
2
n=1
Usamos ahora la condicion inicial u(2, ) = para calcular los coeficientes de esta serie:
B0 X
=
+
Bn 2n cos(n) + Dn 2n sen(n)
2
n=1
103

Primera version
donde
Z 2
2
d = 2
B0 =
2 0
Z 2
2
n
Bn 2 =
cos(n) d = 0
2 0
Z 2
2
2
n
Dn 2 =
sen(n) d =
2 0
2n
Esta ultima
igualdad implica que Dn =
buscada es
u(r, ) = +
2n+1
n
X
2n+1
n=1
rn sen(n)
Ejercicios
1. Considere el problema de flujo de calor de estado estacionario en el disco unitario y
suponga que f () = sen2 . Halle la temperatura en el punto ( 12 , 0).
en serie para el problema de Dirichlet para un disco de radio
2. Encuentre una solucion
dado, con los datos en la frontera:
a) R = 3, f () = 1
b) R = 3, f () = cos(4)
c) R = 8, f () = 1 3
d) R = 4, f () = e2
para cada uno de los siguientes problemas de Dirichlet
3. Escriba una solucion
a)

2 u(x, y) = 0 para x2 + y 2 < 16,

u(x, y) = x2 para x2 + y 2 = 16.
2 u(x, y) = 0 para x2 + y 2 < 9,

u(x, y) = x2 para x2 + y 2 = 9.
b)
4.
tridimensional de Laplace puede escribirse en coordea) Demuestre que la ecuacion

nadas esfericas en la forma:
2
1
cot
1
Trr + Tr + 2 T + 2 T + 2
T = 0
r
r
r
r sen2
anterior para obtener las ecuaciones diferenciales
b) Separe variables en la ecuacion
ordinarias

2
k2
k2 sen + k1
00
00
0
0 0
+ k1 = 0, R +
R +
R = 0, [(sen ) ]
= 0.
r
r2
sen
104

Primera version
5. Determine la temperatura de estado estable u(r, ) en una placa circular de radio r = 1,

si la temperatura en la circunferencia es la que se especifica.

u0 , 0 < <
a) u(1, ) =
0, < < 2.

, 0 < <
b) u(1, ) =
, < < 2.
c) u(1, ) = 2 2
6. Resuelva el problema exterior de Dirichlet para un disco circular de radio c, si u(c, ) =
f (), 0 < < 2. En otras palabras, determine la temperatura de estado estable u(r, )
en una placa que coincide con todo el plano xy en el que se ha hecho un agujero circular
de radio c, alrededor del origen, y la temperatura de la circunferencia del agujero es
f (). [Sugerencia: suponga que la temperatura esta acotada cuando r ].
Ejercicios Varios
1. Resolver utt = uxx + xt; 0 < x < ; t > 0, si las autofunciones del problema son:
u(x, 0) = sen x, ut (x, 0) = sen 3x.
Solucion
los datos del problema la solucion

tendra la forma,
Segun
u(x, t) =
Tn (t) sen nx,
n=1
donde las funciones de t se obtienen sustituyendo

u(x, t) =
Tn (t) sen nx
n=1
en la EDP inicial y teniendo en cuenta las condiciones iniciales. Esto nos lleva a las
ecuaciones diferenciales ordinarias
Tn00 (t) + n2 Tn (t) = tAn
de donde,

1 si n = 1
1 si n = 3
0
Tn (t) =
Tn (t) =
0 si n 6= 1;
0 si n =
6 3;
Z
2
2
donde los coeficientes An =
x sen nx dx = (1)n+1 .
n
0

105

Primera version
resulta
La solucion
u(x, t) = (2 sen t 2 cos t + 2t) sen x +
25
81
sen 3t +
2
t
27
sen 3x

X
2(1)n
2(1)n
+
sen nt +
t sen nx
4
3
n
n
n=2
n6=3
de variables el siguiente problema: ut = uxx

2. Resolver por el metodo de separacion
cos x, 0 < x < ; t > 0, con condiciones de contorno Newmann nulas y condicion
inicial: u(x, 0) = 3 cos 4x; 0 < x < .
Solucion
El estudio del problema homogeneo asociado ut = uxx , 0 < x < 1; t > 0 junto con las
del tipo
condiciones de contorno de Dirichlet nulas nos lleva a una solucion
u(x, t) =
Tn (t) cos nx.
n=0
inicial. Es decir,
Para hallar Tn (t) imponemos la EDP inicial y la condicion
[Tn0 (t) + n2 2 Tn (t)] cos nx = cos x
(de sustituir u(x, t) en la EDP inicial.
n=0
De donde, igualando coeficientes en ambos desarrollos de Fourier se tiene:

Tn0 (t)
2 2
+ n Tn (t) =
1 si n = 1
0
si n 6= 1.
Ademas,
u(x, 0) =
Tn (0) cos nx = 3 cos 4x,
n=0
de donde

Tn (0) =
3 si n = 4
0
si n 6= 4.
De donde se obtiene la solucion,

u(x, t) = (1 + et ) cos x 3e16t cos 4x.
106

Primera version
de variables, resuelva el problema

3. Usando el metodo de separacion
2
1
x uxx + 4 u = utt, 1 x e t 0,
u(1, t) = u(e , t) = 0, t 0,
u(x, 0) = 0, ut (x, 0) = 1 1 x e .
x
Indicaciones.
2
l
Z
1
1
sen
x
n
l
ln(x) sen
0 si n 6= k
k
ln(x) =
l
1 si n = k
y
Z
es sen(s) ds =
e sen() + 2
[1 e cos()].
2
+
+ 2
Solucion
separando variables e
Tomemos y(x, t) = M (x)N (t). Reemplazando en la ecuacion,
imponiendo las condiciones de borde, se obtienen las ecuaciones

x2 M 00 (x) + 41 + M (x) = 0
M (1) = M (e ) = 0
N 00 (t) + N (t) = 0.
para la variable x es una ecuacion

de Euler con ecuacion
caracterstica
La ecuacion

2
1
= .
m
2
general es
Como es positivo, la solucion

i
h

1
M (x) = x 2 c1 cos
ln(x) + c2 sen
ln(x) .
Imponiendo las condiciones de borde se obtienen los autovalores y autofunciones
n = n2
Mn (x) = x 2 sen

ln(x) ,
n 1.
en t obtenemos
Luego, reemplazando en la ecuacion
Nn00 (t) + n2 Nn (t) = 0,
general es
cuya solucion
Nn (t) = an cos(nt) + bn sen(nt),
n 1.
formal es
Luego la solucion
107

Primera version
y(x, t) = x 2
[an cos(nt) + bn sen(nt)] sen(n ln(x)).
n=1
se obtienen
Imponiendo las condiciones iniciales a esta solucion,
0 = y(x, 0) = x
1
2
an sen(n ln(x)),
n=1
n 1.
lo que implica que an = 0,

y
X
1
1
= ut (x, 0) = x 2
n bn sen(n ln(x).
x
n=1
la que se puede escribir como

x
52
=x
n bn sen(n ln(x),
n=1
y luego
k bk =
x 2 sen(k ln(x))dx
i
2 4k h
32
k
.
1
e
(1)
9 + 4k 2
Por lo tanto
h
i
8
1
32
k
bk =
1e
(1) ,
9 + 4k 2
como
quedando la solucion
y(x, t) =
h
i
8 1 X
1
32
n
x2
1
e
(1)
sen(nt) sen(n ln(x)).
2
9
+
4n
n=1
de variables para obtener una solucion

de
4. Utilice el metodo de separacion
2
u
u
2u
+
2
+
u
=
9
,
t
t
x2
0 < x < 2, t > 0,
u(0, t) = u(2, t) = 0, t > 0,
u(x, 0) = x(2 x), ut (x, 0) = 0,
0 < x < 2,
108

Primera version
Solucion
Ponemos u(x, t) = M (x)N (t). Derivando y reemplazando, se obtiene

M (x)N 00 (t) + 2M (x)N 0 (t) + M (x)N (t) = 9M 00 (x)N (t),
separando variables,

N 0 (t)
M 00 (x)
1 N 00 (t)
+2
+1 =
= .
9 N (t)
N (t)
M (x)
imponiendo las condiciones de frontera, se obtiene el problema de Sturm-Liouville
M 00 (x) + M (x) = 0
M (0) = M (2)
cuyos autovalores y autofunciones son:
n2 2
;
4
n =
Mn (x) = sen
n
x ,
2
n 1.
se obtiene
Reemplazando en la otra ecuacion,
Nn00 (t)
2Nn0 (t)
n2 2
+ 1+9
4

Nn (t) = 0,
n 1
general es,
cuya solucion
t
Nn (t) = e

3n
3n
t + bn cos
t ,
an sen
2
2
n 1.
Luego,
un (x, t) = e

an sen

n
3n
3n
t + bn cos
t sen
x .
2
2
2
formal es,
u(x, t) = e

n
X
3n
3n
an sen
t + bn cos
t sen
x .
2
2
2
n=1
Ahora imponemos las condiciones iniciales, de donde se obtiene

x(2 x) = u(x, 0) =
cn sen
n=1
n
x ,
2
y
0 = ut (x, 0) =

X
3n
n=1

an bn sen
n
x .
2
109

Primera version
Luego,
an =
2
bn
3n
impar de f (x) = x(2 x)

donde bn es el n-esimo coeficiente de Fourier de la extension
al intervalo [1, 1]. Por lo tanto,
2
(2 ) sen
bn =
0
n
d
2

n
n 2 Z 2
2

(2 2) cos
=
(2 ) cos
+
d
n
2
2
0
0
4
=
2
n 2
=
Z 2
n
n 2

(2 2) sen
+2
sen
d
2
2
0
0
n 2
16
16

cos
= 3 3 [1 (1)n ],
3
3
n
2
n
0
donde
an =
32
[1 (1)n ].
4
4
3n
Por lo tanto,

n
16 t X 1
2
3n
3n
n
u(x, t) = 3 e
(1
(1)
)
sen
t
+
cos
t
sen
x .
n3
3n
2
2
2
n=1
de ondas
y calcule u
utt 4uxx = 0, 0 x 2, t 0
ux (0, t) = u(2, t) = 0, t > 0
u(x, 0)
= x 2 ut (x, 0) = x2 + 1, 0 < x < 2

11
1
,
2 2
Solucion
Tenemos que c = 2 y l = 2. Consideremos las funciones

f (x) = (x 2)
[0,2]

, g(x) = (x2 + 1)
.
[0,2]
general es
110

Primera version
1
1
u(x, t) = [F (x + 2t) + F (x 2t)] +
2
4
x+ct
G()d,
xct
donde F, G son las extenciones pares en 0 e impares en 2 de las funciones f, g respectivamente.

Por lo tanto,
f (4 + x) = x 2
f (x) = x 2
F (x) =
f (x) = x 2
f (4 x) = x 2
4 x 2
2 x 0
0x2
2x4
si
si
si
si
g(4 + x) = (4 + x)2 1
g(x) = x2 + 1
G(x) =
g(x) = x2 + 1
g(4 x) = (4 x)2 1
4 x 2
2 x 0
0x2
2x4
si
si
si
si
con
F (x + 8) = F (x) G(x + 8) = G(x),
x R.
Por otra parte

u
1 11
,
2 2

Z 23
2
1
1
1
1
+ 11 + F
11 +
=
F
G()d,
2
2
2
4 212
pero,
1
2
F
F
1
2

+ 11 = F
1
2

11 = F
1
2

+3 =
1
2
+32=
3
2

3 = 12 + 3 2 =
1
2
y
Z
23
2
10
G()d =
21
2
23
2
Z
G()d +
21
2
G()d
6
8+ 21
1
2
G()d =
=
6+ 12
1
2
=
23
G()d
32
1
3
19
2
( + 1) d =
+ 3 = .
3
2
2
2
Luego,
111

Primera version

u
1 11
,
2 2

1 3 1
1 19
43
=
+
+
= .
2 2 2
4 6
24
6. Resolver el problema:
0 x 3, t 0
ut = uxx + 41 u
ux (0, t) = ux (3, t) = 0, t 0
u(x, 0) = 1 + 9x2 2x3 , 0 x 3

Solucion.
Tomando u(x, t) = M (x) N (t). Derivando y luego reemplazando en la ecua se obtiene
cion
M (x) N 0 (t) = M 00 (x) N (t) +
1
M (x) N (t)
4
de donde
N 0 (t) 1
M 00 (x)
=
=
M (x)
N (t)
4
M 00 (x) + M (x)
=0
.
1
0
N (t) + 4 N (t) = 0
Con las condiciones de frontera obtenemos el problema de Sturm-Liouville,
M 00 (x) + M (x) = 0
M 0 (0) = M 0 (3) = 0
n2 2
9
y autofunciones Mn (x) = cos
nx
3
n 0.

2 2

n
1
0
N (t) = 0
N (t) +
9
4
general es
cuya solucion

Nn (t) = An e
2 2
1
n 9
4
de la ecuacion
queda entonces:
La solucion
t
u(x, t) = e 4
X
n=0
An e
n2 2
t
9
cos
n
x
3
112

Primera version
inicial u(x, 0) = 1 + 9x2 2x3 =

La condicion
n=0
An cos
n
x
3
de donde
Z
An =
=
=
=
=
n
x dx
3
0
#
3
Z 3
n

3
(3x x2 ) sen
(1 + 9x2 2x3 ) sen n3 x 6
x dx
n
3
0
0
"
#
3 Z 3
n

54
(3x x2 ) cos n3 x
(3 2x) cos
x dx
n2 2
3
0
0

3
972
n
cos 3 x
n4 4
0
972
n
[(1) 1].
n4 4
(1 + 9x2 2x3 ) cos
"
es:
Luego la solucion
n
972 t X (1)n 1 n2 2 t
4
9
u(x, t) = 4 e
cos
e
x
n4
3
n=0
utt + ut + u = 9uxx
0 < x < 6,
u(0, t) = u(6, t) = 0
x
u(x,
0)
=
5
sen
ut (x, 0) = 0
t>0
Solucion.
Hacer
u(x, t) = M (x) N (t)
entonces
ux = M 0 (x) N (t)
ut = M (x) N 0 (t)
uxx = M 00 (x) N (t)

utt = M (x) N 00 (t)
obtenemos
M (x) N 00 (t) + M (x) N 0 (t) + M (x) N (t) = 9M 00 (x) N (t)
de donde
M 00 (x)
1 N 00 (t) + N 0 (t) + N (t)
=
=
M (x)
9
N (t)
113

Primera version

M 00 (x) + M (x) = 0
N 00 (t) + N 0 (t) + (1 + 9)N (t) = 0
M 00 (x) + M (x) = 0
M (0) = M (6) = 0
n2 2
,
36
n =
n1
y autofunciones
Mn (x) = sen
nx
6
n1

N 00 (t) + N 0 (t) + (1 + 9)N (t) = 0
general es
cuya solucion
21 t
N (t) = e
Nn (t) = e 2 t

3 + 36
3 + 36
t + b sen
t
a cos
2
2
!
!!
3 + n2 2
3 + n2 2
an cos
t + bn sen
t
2
2
de la ecuacion
queda entonces:
La solucion
u(x, t) =
Mn (x) Nn (t)
n=1
o sea,
u(x, t) =
X
n=1
12 t
an cos
!
3 + n2 2
t + bn sen
2
!!!
nx
3 + n2 2
t
sen
2
6
Para calcular los coeficientes an y bn usamos las condiciones iniciales.

u(x, 0) = 5 sen
x
2
an sen
n=1
nx
6
de donde
a3 = 5,
an = 0, n 6= 3
114

Primera version
Por otro lado

!
!!
1 1t
3 + n2 2
3 + n2 2
t + bn sen
t
ut (x, t) =
e 2 an cos
2
2
2
n=1
!
!!#
nx
22
22
22
22
1
3
+
n
3
+
n
3
+
n
3
+
n
+ e 2 t an
sen
t + bn
cos
t
sen
2
2
2
2
6
"
Usando ut (x, 0) = 0 se obtiene

0=
X
n=1
n
3 + n2 2
1
sen
an + b n
2
2
6
y entonces
1
3 + n2 2
an + b n
= 0 n 1
2
2
de donde,
an
bn =
3 + n2 2
Reemplazando n = 3
b3 =
5
3 + 9 2
Para n 6= 3, bn = 0
es:
Finalmente, la solucion
21 t
u(x, t) = 5 e
cos
3 + 9 2
1
t +
sen
2
3 + 9 2
!!
x
3 + 9 2
t
sen
2
2
utt + ut + u = 9uxx
0 < x < 6, t > 0
u(0, t) = u(6, t) = 0
x 12
x
24
u(x,
0)
=
sen
+
sen
ut (x, 0) = x
115

Primera version
Solucion.
Hacer
u(x, t) = M (x) N (t)
entonces
ux = M 0 (x) N (t)
ut = M (x) N 0 (t)
uxx = M 00 (x) N (t)

utt = M (x) N 00 (t)
obtenemos
M (x) N 00 (t) + M (x) N 0 (t) + M (x) N (t) = 9M 00 (x) N (t)
de donde
1 N 00 (t) + N 0 (t) + N (t)
M 00 (x)
=
=
M (x)
9
N (t)
M 00 (x) + M (x) = 0
N 00 (t) + N 0 (t) + (1 + 9)N (t) = 0
M 00 (x) + M (x) = 0
M (0) = M (6) = 0
n =
n2 2
,
36
n1
y autofunciones
Mn (x) = sen
nx
6
n1

N 00 (t) + N 0 (t) + (1 + 9)N (t) = 0
general es
cuya solucion
21 t
N (t) = e
Nn (t) = e 2 t

3 + 36
3 + 36
a cos
t + b sen
t
2
2
!
!!
3 + n2 2
3 + n2 2
an cos
t + bn sen
t
2
2
116

Primera version
de la ecuacion
queda entonces:
La solucion
u(x, t) =
Mn (x) Nn (t)
n=1
o sea,
u(x, t) =
21 t
an cos
n=1
!
3 + n2 2
t + bn sen
2
!!!
nx
3 + n2 2
t
sen
2
6
Para calcular los coeficientes an y bn usamos las condiciones iniciales.
x 12
x X
nx
24
u(x, 0) = sen
+
sen
=
an sen
3
6
n=1
de donde
a1 =
24
,
a2 =
12
,
an = 0, n 3
Por otro lado

!
!!
1 1t
3 + n2 2
3 + n2 2
e 2 an cos
ut (x, t) =
t + bn sen
t
2
2
2
n=1
!
!!#
nx
22
22
22
22
1
3
+
n
3
+
n
3
+
n
3
+
n
2t
+e
an
sen
t + bn
cos
t
sen
2
2
2
2
6
"
Usando ut (x, 0) = x se obtiene

x=
X
n=1
n
1
3 + n2 2
an + b n
sen
2
2
6
y entonces
Z
nx
1
3 + n2 2
2 6
an + b n
=
x sen
dx
2
2
6 0
6
Integrando por partes

Z 6
nx 6
nx
1
3 + n2 2
1
6x
6

an + b n
=
cos
cos
dx
+
2
2
3
n
6
n 0
6
0

nx 6
1
36
36
12

=
cos (n) + 2 2 sen

(1)n+1
=
3
n
n
6
n
0
Tenemos, entonces
1
3 + n2 2
12(1)n+1
an + b n
=
2
2
n
117

Primera version
lo que implica
3 + n2 2
12(1)n+1 1
=
+ an
bn
2
n
2
Entonces
2
bn =
3 + n2 2
12(1)n+1 1
+ an
n
2
es decir,
bn =
24(1)n+1
an
+
n 3 + n2 2
3 + n2 2
Reemplazando n = 1 y n = 2
24
24

=0
b1 =
2
3+
3 + 2
b2 =
24
a2
12
12
+
=
+
=0
2
2
2
2 3 + 4
3 + 4
3 + 4
3 + 4 2
Para n 3 (recuerde que an = 0 para n 3) se obtiene

bn =
24(1)n+1
n 3 + n2 2
n 3
es:
Finalmente, la solucion
u(x, t) = e
21 t
!
!
!
x 12
x
3 + 2
3 + 4 2
t sen
+
cos
t sen
+
2
6
2
3
!
nx
n+1
22
X
1
24(1)
3
+
n
+
e 2 t
sen
t sen
2
6
n 3 + n2 2
n=3
24
cos
9. Se sabe que los autovalores y autofunciones del problema de Sturm-Liouville siguiente

(2n1)2 2
0
y 00 + ( 1)y
+ 1,
4
= 0, y(0)
= 0, y (1) = 0, son, respectivamente n =
yn (x) = sen
(2n1)
2
para resolver
x . Use esa informacion
utt + 2ut = uxx u
u(0, t) = 0, ux (1, t) = 0

u(x, 0) = 4 sen
x + 2 sen
x
2
2

3
3
7
7
sen
x +
sen
x
ut (x, 0) =
2
2
2
2
,
,
0 < x < 1, t > 0

t>0
t>0
t>0
118

Primera version
Solucion:
Hacemos u(x, t) = M (x)N (t). Entonces ux = M 0 (x) N (t),
ut = M (x) N 0 (t) y utt = M (x) N 00 (t). Reemplazando en la ecuacion
uxx = M 00 (x) N (t),
M (x) N 00 (t) + 2M (x) N 0 (t) = M 00 (x) N (t) M (x) N (t)

De aqu se sigue que
N 00 (t) + 2N 0 (t)
M 00 (x) M (x)
=
=
M (x)
N (t)
y se obtienen las ecuaciones diferenciales

M 00 (x) + ( 1)M (x) = 0

N 00 (t) + 2N 0 (t) + N (t) = 0
A partir de las condiciones de frontera obtenemos M (0) = 0 y M 0 (1) = 0 y con ello

formamos el problema de Sturm-Liouville
M 00 (x) + ( 1)M (x) = 0
M (0) = M 0 (1) = 0
cuyos
y autofunciones son, respectivamente n =
autovalores

(2n1)
sen
x .
2
(2n1)2 2
4
+ 1,
N 00 (t) + 2N 0 (t) + N (t) = 0.

caracterstica es k 2 + 2k +
de e sta es k = 1
La ecuacion
= 0 y la solucion
como > 1, las soluciones son k = 1 i 1.
yn (x) =
1 ;
Por lo tanto

N (t) = et A cos( 1 t) + B sen( 1 t)

y entonces
Nn (t) = e

(2n 1)
(2n 1)
An cos
t + Bn sen
t
2
2
De este modo
u(x, t) =
X
n=1

(2n 1)
(2n 1)
(2n 1)
An cos
t + Bn sen
t
sen
x
2
2
2
y tambien
h

P
(2n1)
(2n1)
t
ut (x, t) =
e
A
cos
t
+
B
sen
t
+
n
n
n=1
2
2

i

(2n1)
(2n1)
(2n1)
(2n1)
et An (2n1)
sen
t
+
B
cos
t
sen
x
n
2
2
2
2
2
119

Primera version

5
inicial u(x, 0) = 4 sen
Con la condicion
x + 2 sen
x obtenemos
2
2

X

5
(2n 1)
u(x, 0) = 4 sen
x + 2 sen
x =
An sen
x
2
2
2
n=1
A3 = 2 y An = 0 para todo n N {1, 3}

3
3
7
7
Considerando la condicion inicial , ut (x, 0) =
sen
x +
sen
x tenemos
2
2
2
2
de donde A1 = 4,
3
sen
2

X

3
7
7
(2n 1)
(2n 1)
x +
sen
x =
An + Bn
sen
x
2
2
2
2
2
n=1
Esto es equivalente a
7
3
3
sen
x
+ 2 sen
2
2
7
x
2

= A1 + 2 B1 sen

x
sen 3
2

X

(2n 1)
5
7
5
7
+ A3 + 2 B3 sen 2 x + A4 + 2 B4 sen 2 x +
Bn sen
x
2
n=5
7
x
2

= 4 + 2 B1 sen

x + A2 +
3
B2
2
es decir
3
2
sen
3
x
2
7
2
+ 2 +
sen
5
B3
2
sen
5
2
x +
7
B4
2
sen
7
2

x +
x +
3
B2
2
sen
Bn sen
n=5
3
2
(2n 1)
x
2
Se obtienen las relaciones siguientes

4 +
2 +
B1 = 0 = B1 = 8 ,
2
5
4
B3 = 0 = B3 = 5
,
2
3
B2 = 3
= B2 = 1,
2
2
7
B4 = 7
= B4 = 1
2
2
y Bn = 0 para todo n 5.
Finalmente
u(x, t) = et

3
4 cos 2 t + 8 sen 2 t sen 2 x + sen 3
t
sen
x
+

2
2
5
4
5
7
7
2 cos 2 t + 5 sen 2 t sen 2 x + sen 2 t sen 2 x
del problema
10. Encontrar la solucion
2
r urr + r ur +
1 < r < 2, 0
u = 0,
u (r, 0) = u r,
= 0,
1<r<2
2
u(1, ) = 0,
ur (2, ) = ,
0
2
Solucion:

ur = M 0 (r) N (),
u = M (r) N 0 (),
urr = M 00 (r) N ()
u = M (r) N 00 ()
120

Primera version
se obtiene
r2 M 00 (r)N () + rM 0 (r)N () + M (r)N () = 0
N 00 ()
r2 M 00 (r) + rM 0 (r)
=
= .
M (r)
N ()
de donde
N 00 () + N () = 0
r2 M 00 (r) + rM 0 (r) M (r) = 0

= 0 se obtiene el problema
2
de Sturm-Liouville
N 00 () + N () = 0

N 0 (0) = N 0 2 = 0
n = 4n2
0 = 0,
N0 () = 1,
Nn () = cos(2n)

(i) para = 0,
M0 (r) = A0 + B0 ln(r)
(ii) para = 4n2 ,
queda entonces
La solucion
u(r, ) = A0 + B0 ln(r) +

n=1
Usamos ahora las condiciones iniciales para encontrar los coeficientes:

P
u(1, ) = 0 = 0 = A0 +
n=1 (An + Bn ) cos(2n)
De esta manera
u(r, ) = B0 ln(r) +

An r2n r2n cos(2n)
n=1
ur (r, ) =

B0 X
+
r
n=1
y entonces
121

Primera version

B0 X
+
ur (2, ) = = =
2
n=1
donde
Z
2
B0 =
2
2n
An n2
/2
d =
0
2n
+ n2
/2
cos(2n) d
0

1
An = 3
((1)n 1) =
2n
n (2 + 22n )
0
2
n3 (22n +22n )
si n par
si n impar
Finalmente
2X
1
4n2
4n+2
u(r, ) = ln(r)
cos((4n 2))
r
r
2
n=1 (2n 1)3 (24n2 + 24n+2 )
11. Encontrar los autovalores y autofunciones del problema

y 00 + 2y 0 + ( + 2)y = 0,
Solucion:
y(0) = 0, y(1) = 0
es de coeficientes constantes y su ecuacion

caracterstica es
La ecuacion
k 2 + 2k + ( + 2) = 0
de esta ecuacion
de segundo grado es k = 1
Las solucion
es de la forma
(i) Si 1 < 0 (o sea, < 1) la solucion
y(x) = A e1+
+ Be1

1+ 1
1+ 1
Ahora, y(0) = 0 = A+B = 0 = B = A; de este modo y(x) = A e
e
.
Usando la segunda condicion

y(1) = 0 = Ae1 e 1 e 1 = 0
Por lo tanto, no
Si A 6= 0, entonces necesariamente = 1, lo cual es una contradiccion.
existen autovalores < 1.
tiene una raz de multiplicidad dos y la solucon
de
(ii) Si = 1, entonces la ecuacion
es
la ecuacion
y(x) = Aex + Bxex
tiene la forma y(x) = Bxex . Ahora,
De y(0) = 0 se obtiene A = 0 y la solucion
y(1) = 0 = B = 0 y por lo tanto = 1 no es autovalor.
122

Primera version
(iii)
de la ecuacion
queda
Si 1 < 0 (es decir > 1), la solucion

x
y(x) = e
A cos
+ 1x + B sen
+ 1x
es de la forma y(x) = Bex sen

De y(0) = 0 se obtiene A = 0, y la solucion
Ahora,
y(1) = 0 = Be1 sen

+1 =0
y esto implica (suponiendo que B 6= 0) que
los autovalores de la ecuacion.

+ 1x
+ 1 = n, de donde = n2 2 1 son
Las autofunciones estan dadas por yn (x) = ex sen (nx)
12. Calcule u
1
,4
2
, donde u(x, t) satisface
x
u
=
u
2
sen
, 0 < x < 1, t > 0
t
xx
2
u(0, t) = 0, u
= 0,
t>0
x (1, t)
3x
,
0<x<1
u(x, 0) = 4 sen
2
Solucion:
Hacemos u(x, t) = v(x, t) + q(x). Entonces vt = ut , ux (x, t) = vx (x, t) + q 0 (x)

y uxx (x, t) = vxx (x, t) + q 00 (x).
tenemos
x
vt = vxx + q 00 (x) 2 sen
, 0 < x < 1, t > 0
2
v(0, t) + q(0) = 0, vx (1, t) + q 0 (1) = 0,
t>0

3x
v(x, 0) + q(x) = 4 sen
,
0<x<1
2
diferencial
Para que el problema quede homogeneo, q(x) debe satisfacer la ecuacion
ordinaria de segundo orden
x
q 00 (x) = 2 sen
,
q(0) = 0,
q 0 (1) = 0
2
x
8
de esta ecuacion
es q(x) = 2 sen
La solucion
2
El problema que debemos resolver queda
vt = vxx ,
0 < x < 1,
t>0
v(0, t) = 0,
vx (1, t) = 0,
t>0

8
x
3x
v(x, 0) = 2 sen
+ 4 sen
,
2
2
0<x<1
Hacemos v(x, t) = M (x) N (t), de donde vt = M N 0 y vxx = M 00 N ; reemplazando en la

nos queda M (x)N 0 (t) = M 00 (x) N (t).
ecuacion
123

Primera version
M 00 (x)
N 0 (t)
=
= , de donde se obtienen las dos ecuaciones diferenciales
M (x)
N (t)
ordinarias
Entonces
M 00 (x) + M (x) = 0
N 0 (t) + N (t) = 0
De las condiciones de borde, se obtiene el problema de Sturm-Liouville

M 00 (x) + M (x) = 0
M (0) = M 0 (1) = 0
(2n 1)2 2
y autofunciones Mn (x) = sen
4
de la ecuacion
para N (t) es Nn (t) = Cn e
Por otra parte, la solucion

(2n 1)
x .
2
(2n1)2 2
4
!
t
Por lo tanto
v(x, t) =
Cn e
(2n1)2 2
4
!
t
sen ( (2n1)
x)
2
n=1
x
8
Como v(x, 0) = 2 sen
+ 4 sen
2
C1 =
8
,
2
C2 = 4,
3x
2

=

Cn sen
n=1
(2n 1)
x
2

se tiene
Cn = 0 para todo n 3.

x
8 2 t/4
3x
9 2 t/4
Por tanto v(x, t) = 2 e
sen
+ 4e
sen
2
2
de la ecuacion
original queda
La solucion
x
8 2 t/4
2
sen
+ 4e9 t/4 sen
u(x, t) = 2 e
3x
2
x
8
2 sen
Por lo tanto

u

1
2 8 2
8
9 2
,4 =
e
+ 4e
2
2
2
2
124

Edp PDF

Загружено:

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

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

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

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

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

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

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

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

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

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

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

Edp PDF

Загружено:

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

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

Matematicas IV (MAT024)

Ecuaciones en derivadas parciales, apuntes no oficiales

con problemas de mecanica,

X(x)T 00 (t) = c2 X 00 (x)T (t)

= k, k constante, pero por (3) se sigue que

I) Si < 0 entonces la solucion

no nula, se debe tener

III) Si > 0 entonces el problema (2) no tiene solucion

se sigue que el problema

tiene infinitas soluciones

luego responden a una cuerda inicial de una forma bastante particular.

luego, si queremos cumplir y(x, 0) = f (x) bastara pedir

pero en tal caso:

3. Es derivable? integrable? Como

estas funciones tienen cierta propiedad de ortogonalidad que analizaremos ahora.

Ahora estudiaremos de manera mas formal las Series de Fourier, convergencia,etc.

h, i : C[a, b] C[a, b] R definida por

y esta a su vez, nos permite definir distancias en el espacio V por la funcion

que podemos hacer en V mediante un

esto es un elemento del subespacio generado por {f1 , f2 , ..., fN }

se sigue, independiente de los escalares 1 , 2 , . . . , N

luego el mnimo valor de esta distancia es

Teorema 1.2. Sea {fk }N

y se logra para i = hf, fi i con i = 1, 2, . . . , N .

de este resultado obtenemos el importante resultado:

llamada identidad de Parseval.

(esto se debe a que

es llamada Serie de Fourier generalizada de f , hf, fk i es llamado coeficiente de la serie de

(en el sentido descrito anteriormente) y

de equivalencia, dos funciones

convierte a SC [a, b] en un espacio con producto interior

Teorema 1.3. El conjunto

es base ortonormal en P C[a, b], esto es

Esta convergencia es llamada convergencia en norma: Notemos que

donde hemos usado la formula

(esta igualdad se debe entender en el sentido de la convergencia en norma) los coeficientes

en los casos particulares [a, b] = [, ] la base ortonormal es

con convergencia en norma.

Convergencia Puntual de series de Fourier

la base ortonormal dada), se presenta la siguiente situacion:

de f SC [a, b] cuando evaluamos en un x0 [a, b].

converge en cada punto del intervalo, si denotamos por

periodica de periodo (b a) y as g esta bien definida en todo R cumpliendo

Ejemplo 1.8. La serie de Fourier de

Series de Fourier de senos y cosenos

par tal que

llamada serie cosenoidal de f o serie de cosenos de f y

2 (1)k+1 cos (kx)

y asegurar que converge a la derivada de la funcion?,

(Esto es, es posible integrar la serie termino a termino)

notar que por la continuidad y f () = f () se sigue que la serie converge en todo el

por otro lado utilizando parseval obtenemos

Es la suma de soluciones una nueva solucion?

donde x [1, e] y se debe cumplir y (1) = y (e) = 0.

kx yk2 + kx + yk2 = 2 kxk2 + 2 kyk2

b) Si hx, yi = hx, vi para todo x V entonces y = v.

donde d (f, g) = kf gk es la distancia inducida por el producto interior en C [0, L].

y enunciado que el conjunto

17. (Quitando terminos) El conjunto sin(kx)

20. (Convergencia puntual) Encontrar el desarrollo en serie de Fourier de:

A) Determinar la serie de Fourier de f + g.

son las series de Fourier de las funciones

29. (Derivando Series) Si para x ], [