Fourier y EDP PDF

Matemáticas IV (MAT024)
Ecuaciones en derivadas parciales, apuntes no oficiales
Análisis de Fourier y Ecuaciones Diferenciales Parciales
Introducción
El análisis de Fourier surgió históricamente en conexión con problemas de mecánica,
como la conducción del calor y el movimiento ondulatorio.
Como introducción consideremos el siguiente problema: Considere una cuerda de longitud
L con extremos fijos que se deja vibrar libremente después de pulsarse la posición de la cuerda la
representamos usando una función y(x, t) donde x ∈ [0, L] y t es el tiempo.
donde, en el tiempo t0 y y(x, t0 ) representa la forma o posición de la cuerda. Es posible

mostrar que para vibraciones pequeñas la función y satisface la ecuación de ondas
∂ 2y 2
2∂ y
= c
∂t2 ∂x2
donde c es una constante determinada por la naturaleza de la cuerda y su tensión. Como los
extremos son fijos podemos poner
y(0, t) = y(L, t) = 0
aplicando el método de separación de variables, supongamos que y(x, t) = X (x) T (t) esto es
buscamos una solución sencilla en la cual las variables aparezcan separadas, entonces
∂ 2y
(x, t) = X(x)T 00 (t)
∂t2
∂ 2y
(x, t) = X 00 (x)T (t)
∂x2
Apuntes de matemática
Primera versión
∂2y 2
∂ y
luego, si ∂t2
= c2 ∂x 2 entonces
X(x)T 00 (t) = c2 X 00 (x)T (t)
se sigue que
T 00 (t) X 00 (x)
= (1)
c2 T (t) X(x)
notemos que
T 00 (t) X 00 (x)

d d
= =0
dt c2 T (t) dt X(x)
luego
T 00 (t)
=λ λ constante
c2 T (t)
de manera similar
X 00 (x) T 00 (t)

d d
= =0
dx X(x) dx c2 T (t)
X 00 (x)
ası́ X(x)
= 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 ecuacio-
nes:
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 (2)
X(0) = X(L) = 0
y
T 00 = c2 λT
pues bien:
I) Si λ < 0 entonces la solución de la ecuación
X 00 = λX
es √ √
X (x) = c1 cos −λx + c2 sin −λx
2
Primera versión
como
X (0) = X (L) = 0
se sigue
√ √
0 = X (0) = c1 cos −λ0 + c2 sin −λ0
= c1
ası́ c1 = 0, √
0 = X (L) = c2 sin −λL
como queremos solución no nula, se debe tener
√
sin −λL = 0
(si c2 = 0 la solución serı́a X (x) = 0) ası́

√
−λL = kπ con k ∈ N
2
ası́, el problema (2) tiene solución no para λk = − kπL
con k ∈ N, estas soluciones son:

kπ
Xk (x) = ck sin x k∈N
L
II) Si λ = 0 entonces el problema (2) no tiene solución no nula, pues en este caso
X (x) = c1 + c2 x
si
0 = X (0) = c1
y
0 = X (L) = c2 L ⇒ c2 = 0
ası́
X≡0
no hay solución no nula.
III) Si λ > 0 entonces el problema (2) no tiene solución no nula, pues en este caso la solución
es de la forma
X (x) = c1 eλx + c2 e−λx
entonces
0 = X (0) = c1 + c2
y
0 = X (L) = c1 eλL + c2 e−λL
luego hay solución no nula si y solo si

1 1 −Lλ
λL −λL
e =e − eLλ = 2 sinh (Lλ)
e
esto es cero si y solo si
Lλ = 0
lo que no es posible, luego la única solución es X ≡ 0.
3
Primera versión
kπ 2

Reemplazando λk = − L
con k ∈ N en
T 00 = c2 λT
se sigue
2
00 kπc
T + T =0
L
si
kπc kπc
T (t) = Ak cos t + Bk sin t k∈N
L L
se sigue que el problema
∂ 2y 2
2∂ y
= c
∂t2 ∂x2
y(0, t) = y(L, t) = 0
tiene infinitas soluciones
yk (x, t) = Xk (x)Tk (t) k∈N

kπc kπx kπc kπx
= Ak cos t sin + Bk sin t sin
L L L L
note que estos soluciones cumplen:

kπx
yk (x, 0) = Ak sin
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 parábola f (x) =
x (L − x)entonces nos encontramos ante un problema, ninguna de las soluciones anteriores
podria cumplir lo pedido.
Es posible observar que si y1 e y2 son soluciones de la ecuación de ondas entonces αy1 +βy2
también es solución, en efecto
∂2 ∂ 2 y1 ∂ 2 y2
(αy 1 + βy 2 ) = α + β
∂t2 ∂t2 2
∂t 2
2

∂ y1 ∂ y2
= α 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:
+∞
X kπc kπx kπc kπx
y(x, t) = Ak cos t sin + Bk sin t sin
k=1
L L L L
luego, si queremos cumplir y(x, 0) = f (x) bastarı́a pedir
4
Primera versión
+∞
X kπx
f (x) = Ak sin
k=1
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? ¿Cómo se calcula su derivada?
kπx

Las funciones Xk (x) = sin L
son soluciones de
X 00 = λX
X(0) = X(L) = 0
estas funciones tienen cierta propiedad de ortogonalidad que analizaremos ahora.
Cuando trabajamos en Rn el producto punto es hx, yi = ni=1 xi yi donde x = (x1 , x2 , . . . , xn )

P
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
Observación 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 = hλ1 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 versión
+∞
X kπx
f (x) = Ak sin
k=1
L
+∞
X
f (x) = Ak Xk (x)
k=1
entonces para j ∈ N
+∞
X
f (x)Xj (x) = Ak Xk (x)Xj (x)
k=1
integrando
Z b +∞
X Z b
f (x)Xj (x)dx = Ak Xk (x)Xj (x)dx
a k=1 a
+∞
X
hf, Xj i = Ak hXk Xj i
k=1
= Aj hXj , Xj i
(los demás productos hXk Xj i para k 6= j son ceros), entonces
hf, Xj i
Aj = j = 1, ..., +∞
hXj , Xj i
esto es llamado Coeficiente de Fourier.
Ahora estudiaremos de manera más formal las Series de Fourier, convergencia,etc.
Series de Fourier
Definición 1.1. Sea V un espacio vectorial real. Diremos que la función h·, ·i : V × V −→ R
es un producto interior si cumple:
1. ∀f ∈ V , hf, f i ≥ 0, Además hf, f i = 0 ⇔ f = 0
2. ∀f, g ∈ V , hf, gi = hg, f i
3. ∀α ∈ R, ∀f ∈ V , hαf, gi = α hf, gi
4. ∀f, g, h ∈ V , hf + g, hi = hf, hi + hg, hi
Ejemplo 1.1. En V = Rn , la función h·, ·i : V × V −→ R definida por

n
X
< x, y >= x i yi
i=1
es un producto interior.
6
Primera versión
Ejemplo 1.2. En C[a, b] la función h·, ·i : C[a, b] × C[a, b] −→ R definida por

Z b
(f, g) → hf, gi = f (x)g(x) dx
a
Ejemplo 1.3. En C[a, b], si ρ ∈ C [a, b] es tal que ρ (x) > 0 para x ∈ [a, b] la función h·, ·i :
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 p
kf k = hf, f i
y esta a su vez, nos permite definir distancias en el espacio V por la función
d(f, g) = kf − gk
Ejemplo 1.4. Si f (x) = ex , g(x) = e−x 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
s
Z 1
= (ex − e−x )2 dx
0
√
= sinh 2 − 2
Proposición 1.1. Propiedades básicas 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 +
X m
X X n X m
αk f k , βj gj = αk βj hfk , gj i
k=1 j=1 k=1 j=1
7
Primera versión
Definición 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 }k∈I es un conjunto ortogonal si < fk , gj >= 0,k 6= j
3. Diremos que {fk }k∈I es un conjunto ortonormal si es ortogonal y la norma de cada

elemento es 1
kπx

Ejemplo 1.5. En C[0, L], la familia sin , k ∈ Z es ortogonal.
L

Ejemplo 1.6. En C[a, b] la familia {1, cos 2kπx
b−a
, sin 2kπx
b−a
, k ∈ N} es una familia ortogonal.
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
aproximación de un elemento en un espacio dado.
Teorema 1.1. Sea {fk }N

k=1 un conjunto ortogonal en V . Si λk ∈ R, ∀k = 1, . . . N entonces
2
XN N
X
λk fk = |λk |2 kfk k2

k=1 k=1
Demostración:
2 * N +
XN X N
X
λk fk = λk fk , λj fj

k=1 k=1 j=1
N X
X N
= λk λj hfk , fj i
k=1 j=1
N
X
= λ2k kfk k2
k=1
Sea f ∈ V dado, ¿Cuál es la mejor aproximación que podemos hacer en V mediante un

elemento de de la forma
XN
λ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 versión
N
!2 N
2
X X
d f, λk fk = f − λk fk

k=1 k=1
N
X N
X
2
= kf k − 2 λk hf, fk i + |λk |2 kfk k2
k=1 k=1
N
X N
X
= kf k2 − 2 λk hf, fk i + |λk |2
k=1 k=1
N
X N
X
= kf k2 − hf, fk i2 + (hf, fk i − λk )2
k=1 k=1
se sigue, independiente de los escalares λ1 , λ2 , . . . , λN
N
! v u N
X u 2
X
d f, λk fk ≥ kf k −
t hf, fk i2
k=1 k=1
luego el mı́nimo valor de esta distancia es

v
u
u N
X
tkf k2 − hf, fk i2
k=1
que se alcanza en la combinación lineal de la forma

N
X
hf, fk i fk
k=1
se sigue que
N
X
hf, fk i fk
k=1
es la mejor aproximación de f ∈ V en el espacio.
S = h{f1 , f2 , ..., fN }i
y
! v
N
X
u
u N
X
2
mı́n d f, λk f k = kf k −
t < f, fk >2
(λ1 ,...,λN )∈Rn
k=1 k=1
Teorema 1.2. Sea {fk }N

k=1 un conjunto ortonormal en un espacio con producto interior se tiene
N
! v u N
X u 2
X
mı́n n d f, λk fk = kf k −
t hf, fk i2
(λ1 ,...,λN )∈R
k=1 k=1
y se logra para λi = hf, fi i con i = 1, 2, . . . , N .
9
Primera versión
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
XN
hf, fk i2 ≤ kf k2
k=1
Definición 1.3. Diremos que {fk }∞

k=1 es una base ortonormal completa si ∀f ∈ V
∞
X
hf, fk i2 = kf k2
k=1
llamada identidad de Parseval.
Notemos que en tal caso

∞
X
hf, fk i fk = f
k=1
en el sentido que

N
X
lı́m f − hf, fk i fk = 0

N →∞
k=1
(esto se debe a que

2
N
X N
X
f − hf, fk i fk = kf k2 − hf, fk i2

k=1 k=1
Definición 1.4. Si {fk }∞

k=1 es una base ortonormal en V entonces
∞
X
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 versión
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[
Notación
f x+

lı́m+ f (x) = 0
x→x0
Notación
f x−

lı́m− f (x) = 0
x→x0
Notación
existen (en los extremos los limites laterales correspondientes existen, esto es lı́mx→a+ f (x) =
Notación
f (a+ ) y lı́mx→b− f (x) = f (b− ) existen)
En este espacio se define la igualdad como una relación de equivalencia, dos funciones
son iguales si son iguales salvo quizás en un numero finito de puntos.
Ejemplo 1.7. Las funciones

0 x ∈ 0, 21 ∪ 12 , 1

f (x) =
1 x = 12
y
g(x) = 0
son iguales en SC[0, 1].
En SC[a, b] se define la función h·, ·i : SC[a, b] × SC[a, b] → R, tal que

Z b
hf, gi = f (x)g(x)dx
a
esta función, convierte a SC [a, b] en un espacio con producto interior
Observación 1.2. C[a, b] ≤ P C[a, b].
Teorema 1.3. El conjunto

( )
2kπx 2kπx
1 cos b−a
sin b−a
B= , ,
2kπx

2kπx
con k ∈ N
k1k cos b−a
sin
b−a
es base ortonormal en P C[a, b], esto es

N
X
lı́m f − hf, fk i fk = 0

N →∞
k=1
11
Primera versión
Esta convergencia es llamada convergencia en norma: Notemos que

Z b 1/2
p
dx = (b − a)
a
!
b b1 + cos 4kπx
Z Z
2kπx b−a
cos2 dx = dx
a b−a a 2
1 b

b−a
Z
4kπx
= + cos dx
2 2 a b−a
b
b−a 1 4kπx b − a
= + sin
2 2 b−a 4kπ a

b−a 1 4kπb 4kπa b−a
= + sin − sin
2 2 b−a b−a 4kπ

b−a
=
2
donde hemos usado la fórmula de prostaféresis

x−y x+y
sin (x) − sin (y) = −2 sin cos
2 2
para ver
4kπb 4kπa
sin − sin =0
b−a b−a
ahora bien
Z b Z b
2 2kπx 2 2kπx
sin dx = 1 − cos dx
a b−a a b−a

b−a
= (b − a) −
2

b−a
=
2
ası́
√
k1kSC[a,b] = b−a
r
cos 2kπx =
b−a
b−a 2
r
sin 2kπx =
b−a
b−a 2
notemos que en este contexto, la identidad de Parseval se ve como

Z b ∞
X ∞
X
2
f (x) dx = a20 + a2k + b2k
a k=1 k=1
12
Primera versión
donde
∞ ∞
2kπ
2kπ

1 X cos b−a x X cos b−a x
f (x) = a0 √ + ak q + bk q
b − a k=1 b−a
k=1
b−a
2 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, √
a b−a b−a
  * +
Z b 2kπ 2kπ
cos b−a x cos b−a x
ak = f (x)  q  dx = f, q para k ∈ N
a b−a b−a
2 2
  * +
b 2kπ 2kπ
sin x sin b−a x
Z
b−a
bk = f (x)  q  dx = f, q para k ∈ N
a b−a b−a
2 2
lo que es lo mismo
Z b
1
a0 = √ f (x) dx =
b−a a
r Z b
2 2kπ
ak = f (x) cos x dx
b−a a b−a
r Z b
2 2kπ
bk = f (x) sin x dx
b−a a b−a
en los casos particulares [a, b] = [−π, π] la base ortonormal es
( )
1 cos 2kπx
2π
sin 2kπx
2π
B = , , sin 2kπx con k ∈ N
k1k cos 2kπx2π 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
( )
1 cos 2kπx
2L
sin 2kπx
2L
B = , , sin 2kπx con k ∈ N
k1k cos 2kπx
2L 2L
( )
kπx kπx
1 cos L sin L
= √ , √ , √ con k ∈ N
2L L L
ası́ f ∈ SC [−L, L] se desarrolla en serie de Fourier en la forma
∞ ! ∞ !
cos kπx sin kπx
X
1 L
X
f (x) = a0 √ + ak √ + b √L
2L k=1
L k=1
L
con convergencia en norma.
13
Primera versión
Convergencia Puntual de series de Fourier
Si bien hemos enunciado que la serie de Fourier converge en norma la función dada (para
la base ortonormal dada), se presenta la siguiente situación:
Determinemos la serie de Fourier de

1 si x ∈ [0, π]
f (x) =
−1 si x ∈ [−π, 0[
se tiene:
Z π
1
a0 = √ f (x) dx = 0 (la función es impar)
2π −π
Z π
1
an = √ f (x) cos (nx) dx = 0 (la función f (x) cos (nx) es impar) para cada n ∈ N
π −π
Z π
1 1
bn = √ f (x) sin (nx) dx = − √ (2 (−1)n − 2) para n ∈ N
π −π πn
se sigue que
∞
X 1 n sin (nx)
f (x) = − √ (2 (−1) − 2) √
n=1
πn π
∞
2X 1
= − ((−1)n − 1) sin (nx)
π n=1 n
es interesante notar que

f (0) = 1
pero si evaluamos
∞
2X 1 n
− ((−1) − 1) sin (nx)
π n=1 n
en x = 0 nos queda
∞
2X 1 n
− ((−1) − 1) sin (n0) = 0
π n=1 n
luego el valor al cual converge la serie no es el valor de la función en el punto. Como se ve en
las siguiente gráficas, los combinaciones trigonométricas
N
2X 1 n
− ((−1) − 1) sin (nx)
π n=1 n
cuando N crece se va pareciendo más a la gráfica pero todos estas funciones pasan por el 0.
El siguiente teorema nos dice a que valor converge la serie de Fourier
∞ ∞
2kπ
2kπ

1 X cos b−a x X sin b−a x
a0 √ + ak q + bk q
b − a k=1 b−a
k=1
b−a
2 2
de f ∈ SC [a, b] cuando evaluamos en un x0 ∈ [a, b].
14
Primera versión
Teorema 1.4 (Convergencia puntual). Sea f ∈ SC [a, b] una función, 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π
1 cos x sin x
ak qb−a 0 + bk qb−a 0  =
X
lı́m a0 √ + lı́m SN (x0 )
N →∞ b − a k=1 b−a b−a N →∞
2 2
−
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π

a0 √ + ak q + bk q
b − a k=1 b−a
k=1
b−a
2 2
converge en cada punto del intervalo, si denotamos por

∞ ∞
2kπ
2kπ

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

2kπ
pero se obtiene una propiedad adicional, dada que las funciones 1, cos b−a x , sin b−a x son
periódicas de periodo (b − a) se sigue que
∞ ∞
2kπ
2kπ

g (x) = a0 √ + ak q + bk q
b − a k=1 b−a
k=1
b−a
2 2
es una función periodica de periodo (b − a) y ası́ g esta bien definida en todo R cumpliendo
g : R→R
x → g (x) = fe(x)
donde fe : R → R es una función periodica de periodo (b − a) tal que

+ −

f x 0 + f x 0
fe(x0 ) = para x0 ∈ ]a, b[
2
f (b− ) + f (a+ )
= para x0 = a, b
2
15
Primera versión
Ejemplo 1.8. La serie de Fourier de

1 si x ∈ [0, π]
f (x) =
−1 si x ∈ [−π, 0[
es ∞
2X 1 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
∞
2X 1 n
πn
= − ((−1) − 1) sin
π n=1 n 4
= 1
Series de Fourier de senos y cosenos
Definición 1.5. Si f : [0, L] → R es una función en SC [0, L], llamaremos:
1. Extensión par de f a la función

f (x) si x ∈ [0, L]
fp (x) =
f (−x) si x ∈ [−L, 0]
2. Extensión impar de f a la función

f (x) si x ∈ [0, L]
fI (x) =
−f (−x) si x ∈ [−L, 0[
Observación 1.3. fp ∈ SC [−L, L] es una función par tal que
fp (x) = f (x) para x ∈ [0, L]
y fI (x) ∈ SC [−L, L] es una función impar tal que
fI (x) = f (x) para x ∈ [0, L]
16
Primera versión
Al desarrollar en serie de Fourier la función fp en [−L, L] se tiene

X ∞ kπx
! ∞ kπx
!
1 cos X sin
fp (x) = a0 √ + ak √ L + b √L
2L k=1
L k=1
L
donde
Z L
1
a0 = √ fp (x) dx
2L −L
Z L
1 kπx
ak = √ fp (x) cos dx para k ∈ N
L −L L
Z L
1 kπx
bk = √ fp (x) sin dx para k ∈ N
L −L L

notemos que al ser fp una función par fp (x) cos kπx
L
es par y fp (x) sin kπx
L
es impar, luego
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
1 kπx
ak = √ fp (x) cos dx para k ∈ N
L −L L
Z L
2 kπx
= √ fp (x) cos dx para k ∈ N
L 0 L
Z L
2 kπx
= √ f (x) cos dx para k ∈ N
L 0 L
y
Z L
1 kπx
bk = √ fp (x) sin dx para k ∈ N
L −L L
= 0
ası́ la serie es de la forma
∞ !
cos kπx

1 X
fp (x) = a0 √ + ak √ L
2L k=1
L
con
Z L
2
a0 = √ f (x) dx
2L 0
Z L
2 kπx
ak = √ f (x) cos dx para k ∈ N
L 0 L
de manera similar, si al desarrollar en serie de Fourier la función fI en [−L, L] se tiene
∞ ! ∞ !
cos kπx kπx
X
1 X sin
fp (x) = a0 √ + ak √ L + b √L
2L k=1
L k=1
L
17
Primera versión
donde
Z L
1
a0 = √ fI (x) dx
2L −L
Z L
1 kπx
ak = √ fI (x) cos dx para k ∈ N
L −L L
Z L
1 kπx
bk = √ fI (x) sin dx para k ∈ N
L −L L

notemos que al ser fI una función impar fI (x) cos kπx L
es impar y fI (x) sin kπx
L
es par,
luego
Z L
1
a0 = √ fI (x) dx = 0
2L −L
y
Z L
1 kπx
ak = √ fI (x) cos dx para k ∈ N
L −L L
= 0 para k ∈ N
y
Z L
1 kπx
bk = √ fI (x) sin dx para k ∈ N
L −L L
Z L
2 kπx
= √ fI (x) sin dx para k ∈ N
L 0 L
Z L
2 kπx
= √ f (x) sin dx para k ∈ N
L 0 L
ası́ la serie es de la forma !
∞
X sin kπx
fp (x) = ak √L
k=1
L
con Z L
2 kπx
bk = √ f (x) sin dx para k ∈ N
L 0 L
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 !
∞
cos kπx
X
1
f (x) = a0 √ + ak √ L
2L k=1
L
donde
Z L
2
a0 = √ f (x) dx
2L 0
Z L
2 kπx
ak = √ f (x) cos dx para k ∈ N
L 0 L
llamada serie cosenoidal de f o serie de cosenos de f y
∞ !
X sin kπx
f (x) = bk √L
k=1
L
18
Primera versión
donde Z L
2 kπx
bk = √ f (x) sin dx para k ∈ N
L 0 L
llamada serie senoidal de f o serie de senos de f .
Derivación e integración de Series de Fourier
Si para x ∈ ]−π, π[
∞
X 2 (−1)k+1
x= sin (kx)
k=1
k
es cierto que
∞
X
1= 2 (−1)k+1 cos (kx)
k=1
para x ∈ ]−π, π[? En otras palabras ¿es posible derivar término a término una serie de Fourier
y asegurar que converge a la derivada de la función?, la respuesta es no, ya que 2 (−1)k+1 no
corresponde al coeficiente de Fourier de la función. Para que sea válida la derivación término
a término 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 término a término es la serie de Fourier de la derivada.
para la integración de las series tenemos el siguiente resultado:

Teorema 1.6. Si f ∈ P C [a, b]
∞ r r !
1 X 2 2nπx 2 2nπx
f (x) = a0 √ + ak cos + bk sin
b − a n=1 b−a b−a b−a b−a
entonces
x
(x − a)
Z
f (t) dt = a0 √
a b−a
∞ r Z x
X 2 2nπt
+ ak cos dt
n=1
b−a a b−a
∞ r Z x
X 2 2nπt
+ bk sin dt
n=1
b−a a b−a
(Esto es, es posible integrar la serie término a término)
Ejemplo 1.9. la serie de Fourier de f (x) = x2 para x ∈ [−π, π] esta dada por
1√ 5
Z π 2
1 x
f, √ = √ dx = 2π 2
2π −π 2π 3
Z π 2 √
cos nx x 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 versión
esto es: ∞ √
1 2 X
2 n π cos (nx)
x = π + 4 (−1) 2
√
3 n=1
n π
notar que por la continuidad y f (π) = f (−π) se sigue que la serie converge en todo el
intervalo [−π, π] a los valores que toma la función, ası́ por ejemplo
∞ √
1 2 X π cos (n0)
0 = π + 4 (−1)n 2
√
3 n=1
n π
∞
1 2 X 1
= π + 4 (−1)n
3 n=1
n2
ası́ ∞
π 2 X (−1)n−1
=
12 n=1 n2
por otro lado utilizando parseval obtenemos
Z π ∞
2 X
x2 dx = a20 + a2n
−π n=1
2 ∞ √ 2
1√

5
X n π
= 2π 2 + 4 (−1) 2
3 n=1
n
esto es ∞
2 5 2 5 X 16π
π = π +
5 9 n=1
n4
ası́
2 5 ∞
5
π− 92 π 5 X 1
=
16π n=1
n4
∞
π4 X 1
=
90 n=1
n4
vale el teorema de derivación, entonces

∞ √
X n π n sin (nx)
2x = − 4 (−1) 2
√
n=1
n π
∞
!
X 4 (−1)n+1
= sin (nx)
n=1
n
luego !
∞ n+1
X (−1) 2
x= sin (nx)
n=1
n
20
Primera versión
Ejericios propuestos
1. Encontrar una función u (x, y) tal que
∂u ∂u
2 +5 =0
∂x ∂y
aplicando la técnica de separación de variables
2. Lo mismo del ejercicio anterior para

2 2
∂u ∂u
y 2
+ 4x 2
= (2xyu)2
∂x ∂y
3. Suponga que u (x, y) tiene la forma X (x) + Y (y) para buscar soluciones de la ecuación
2
∂u ∂u
+ + x3 = 1
∂x ∂y
¿Es la suma de soluciones una nueva solución?
4. Aplicando separación de variables buscar funciones u (x, y) para las cuales
∂ 2u ∂ 2u
+ =0
∂x2 ∂y 2
5. Considere la ecuación diferencial ordinaria

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
d2 y dy
x2 2
+x + λy = 0
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 b
hf, gi = f (x) g (x) dx
a
Muestre que
2nπx 2nπx
C = 1, cos , sin con n ∈ N
b−a b−a
es un conjunto ortogonal y calcular la norma de cada uno de los elementos de C.
21
Primera versión
8. Suponga que
∞
X kπx
x (L − x) = ak sin
k=1
L
kπx

para x ∈ [0, L]. Haciendo uso de la propiedad de ortogonalidad de la familia sin L k∈N
en C [0, L] encontrar los coeficientes de la serie.
9. Resolver el problema
Z 1 2
mı́n x2 − (a sin (πx) + b sin (2πx) + c sin (3πx)) dx
(a,b,c)∈R3 0
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 π
lı́m 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
mı́n 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 cálculos 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 2nπx 2 2nπx
C= √ , cos , sin con n ∈ N
b−a b−a b−a b−a b−a
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 versión
15. (Calculando series de Fourier) Encontrar las series de Fourier para las funciones si-
guientes 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
k=1
k2
n o
17. (Quitando términos) El conjunto sin(kx)
√
π
con k ∈ N es ortonormal en P C [−π, π] ¿Es
cierto que
∞ Z π 2 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)
x−1
D) ln |x|
E) arcsin x
F) f (|x|) definida en [−1, 1] donde f : R → R es una función cualquiera.
G) x cos x − cos 2x
19. (Parte par e impar de una serie) En Mat021 se mostró que toda función f : [−a, a] → R
(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)
fp (x) =
2
f (x) − f (−x)
fi (x) =
2
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 versión
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 numéricas) Encontrar el desarrollo en serie de Fourier de la

función
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 !
1 X 2 2kπx 2 2kπx
b − a k=1 b−a b−a b−a b−a
y
∞ r r !
1 X 2 2kπx 2 2kπx
g (x) = A0 √ + Ak cos + Bk sin
b − a k=1 b−a b−a b−a b−a
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
y
∞
2 X (−1)k+1
sin (kx)
π k=1 k
24
Primera versión
son las series de Fourier de las funciones

0 −π < x < 0
f1 (x) =
1 0<x<π
y
x
f2 (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 < π
24. (Ojo serie truncada) ¿Cuál es el desarrollo en serie de Fourier de f (x) = 2 + 5 cos (3x) −
4 sin (7x).
25. (Para trigonométricas 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 siguien-
tes funciones y trazar su gráfica:
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 versión
29. (Derivando Series) Si para x ∈ ]−π, π[

∞
X 2 (−1)k+1
x= sin (kx)
k=1
k
¿Es cierto que

∞
X
1= 2 (−1)k+1 cos (kx)
k=1
para x ∈ ]−π, π[? En otras palabras ¿es posible derivar término a término una serie de
Fourier y asegurar que converge a la derivada de la función?. (Obs: Para poder derivar
una serie de Fourier y garantizar convergencia basta que la función sera continua
f (a) = f (b) y f 0 , f 00 ∈ 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 !
1 X 2 2nπx 2 2nπx
b − a n=1 b−a b−a b−a b−a
para x ∈ [a, b] entonces

Z x
(x − a)
f (t) dt = a0 √
a b−a
∞ r Z x
X 2 2nπt
+ ak cos dt
n=1
b−a a b−a
∞ r Z x
X 2 2nπt
+ bk sin dt
n=1
b − a a b − a
usando este resultado de integración, Encontrar las funciones representadas por la

nueva serie que es obtenida mediante integración término a término de las siguientes
series desde 0 a x:
∞
X (−1)k+1 x
A) para x ∈ ]−π, π[
sin (kx) =
k=1
k 2
∞
3 1 X 1 − (−1)k

1 −π < x < 0
B) + sin (kx) =
2 π k=1 k 2 0<x<π
∞
X k+1 cos (kx) x
C) (−1) = ln 2 cos para −π < x < π
k=1
k 2
∞
X sin ((2k − 1) x) π 2 x − πx2
D) = para 0 < x < 2π
k=1
(2k − 1)3 8
31. (¿Cuál serie usar?) Calcular el valor de

∞ ∞ ∞
X 1 X 1 X 1
, ,
k=1
k 2 k=1 k 4 k=1 k 6
usando series de Fourier adecuadas.
26
Primera versión
Ecuaciones en Derivadas Parciales
Una ecuación en derivadas parciales (E.D.P.) es cualquier expresión del tipo
F (x, y, . . . , u, ux , uy , . . . , uxx , uxy , uyy , . . . ) = 0 (3)
que contiene las variables independientes x, y, . . . una función incógnita u y sus derivadas
parciales ux , uy , uxy , etc.
Si n es el número de variables independientes diremos que la ecuación esta definida en

cierto dominio D ⊆ Rn .
Queremos encontrar funciones u (x, y, . . . ) que verifiquen (3) en D. Estas funciones, en

caso de existir serán llamadas soluciones de la E.D.P.
Llamaremos orden de la EDP al mayor orden de las derivadas parciales que aparecen en
la ecuación.
La ecuación es llamada lineal si es lineal en u y sus derivadas parciales.
En este curso nos concentraremos en las EDP lineales de segundo orden, a este grupo
especial de ecuaciones pertenecen las ecuaciones de la fı́sica matemática como son:
La ecuación de ondas
utt = c2 uxx
la ecuación del calor
ut = kuxx
y la ecuación de Laplace
uxx + uyy = 0
Si las variables independientes son x, y ∈ R2 las ecuaciones lineales en derivadas parciales
de segundo orden son de la forma
∂ 2u ∂ 2u ∂ 2u ∂u ∂u
A (x, y) 2
+ B (x, y) + C (x, y) 2
+ D (x, y) + E (x, y) + F (x, y) u = G (x, y)
∂x ∂x∂y ∂y ∂x ∂y
las funciones coeficientes A, B, C, D, E y F son funciones continuas y G es el término inde-

pendiente.
Si G ≡ 0 entonces la ecuación se dice homogénea, en caso contrario hablamos de una

ecuación no homogénea.
27
Primera versión
Algunas diferencias con las EDO’s
1. Sabemos que en las EDO’s lineales de orden n la solución general tiene n constantes
libres, en el caso de las EDP. en lugar de constantes la solución depende de funciones
arbitrarias. Por ejemplo la ecuación
∂ 2u
=0
∂x∂y
tiene por solución u (x, y) = f (x) + g (y) con f y g funciones arbitrarias 2 veces de-
rivables., para obtener una solución particular necesitamos agregar condiciones que
determinen las funciones por ejemplo
∂ 2u
= 0
∂x∂y
u (x, 0) = x
u (0, y) = sin y
luego la solución es u (x, y) = x + sin y.
2. Al considerar una EDO homogénea de grado n el conjunto solución es un subespacio

vectorial de dimensión n, en el caso de las EDP. también es un subespacio pero de
dimensión infinita. Por ejemplo, si consideramos la ecuación
∂u ∂u
+ =0
∂x ∂y
hacemos el cambio de variables
r = x−y
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 versión
ası́
u (x, y) = f (x − y)
para f una función arbitraria. De esta forma tenemos infinitas soluciones L.I
(x − y) , (x − y)2 , . . . , (x − y)n , . . .
sin (x − y) , cos (x − y) , ex−y
etc.
Clasificación de EDP
Considere la ecuación en U ⊆ R2
∂ 2u ∂ 2u ∂ 2u ∂u ∂u
A (x, y) 2
+B (x, y) +C (x, y) 2
+D (x, y) +E (x, y) +F (x, y) u = G (x, y) (4)
∂x ∂x∂y ∂y ∂x ∂y
haciendo una analogı́a con las cónicas en R2 diremos que:
1. La ecuación es Hiperbólica en U si B 2 − 4AC > 0 para (x, y) ∈ U

2. La ecuación es Parabólica en U si B 2 − 4AC = 0 para (x, y) ∈ U
3. La ecuación es Elı́ptica en U si B 2 − 4AC < 0 para (x, y) ∈ U
Es posible mostrar que realizando cambios de variables adecuados de la forma

r = r (x, y)
s = s (x, y)
es posible transformar la ecuación (4) en una de las siguientes formas canónicas (ver apunte
de la web):
En el caso hiperbólico a
∂ 2u ∂ 2u
− 2 + términos de orden inferior = 0
∂r2 ∂s
∂ 2u
+ términos de orden inferior = 0
∂r∂s
en el caso parabólico a
∂ 2u
∂r2
∂ 2u
∂s2
y en el caso elı́ptico a
∂ 2u ∂ 2u
+ 2 + términos de orden inferior = 0
∂r2 ∂s
por tal razón vamos a concentrar nuestros esfuerzos en resolver los siguientes problemas
representativos de las EDP lineales de segundo orden:
29
Primera versión
1. La ecuación hiperbólica (Ecuación de ondas)

∂ 2u 2∂ u 2
= c para t > 0, x ∈ ]0, l[
∂t2 ∂x2
u (0, t) + h1 ux (0, t) = 0 para t ≥ 0
u (l, t) + h2 ux (l, t) = 0 para t ≥ 0
u (x, 0) = f1 (x)
ut (x, 0) = f2 (x)
donde c > 0 es constante.
2. La ecuación parabólica (Ecuación del calor)
∂u ∂ 2u
= k para t > 0, x ∈ ]0, l[
∂t ∂x2
u (0, t) + h1 ux (0, t) = 0 para t ≥ 0
u (l, t) + h2 ux (l, t) = 0 para t ≥ 0
u (x, 0) = f (x)
donde k es constante.
3. La ecuación elı́ptica (Ecuación de Laplace)
∂ 2u ∂ 2u
+ = 0 para (x, y) ∈ ]0, a[ × ]0, b[
∂x2 ∂y 2
u (0, y) + h1 ux (0, y) = 0 para y ∈ ]0, b[
u (a, y) + h2 ux (a, y) = 0 para y ∈ ]0, b[
u (x, 0) = f1 (x) para x ∈ ]0, a[
u (x, b) = f2 (x) para x ∈ ]0, a[
donde k es constante.
El método de separación de variables
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)
para Laplace, reemplazando en la ecuación se obtiene:
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 versión
para ondas, calor y Laplace respectivamente, sabemos que esto implica que las funciones
deben ser constantes de esto se obtiene, si −λ es la constante de separación, en los 3 problemas
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.
Observación 2.1. La técnica de separación de variables no siempre permite determinar las

soluciones de una EDP, por ejemplo podrı́amos considerar la ecuación de Laplace en el disco
y pedir u (x, y)|x2 +y2 =a2 = f (x, y) esto no puede ser resuelto directamente por separación de
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 más numerable de valores λn para los cuales este problema tiene
solución no nula Mn (x), esta fanilia de funciones tiene la propiedad de ortogonalidad, luego,
de estos valores λn podemos resolver el problema asociado para las funciones N y ası́ postular
una solución del problema en la forma
X
u (x, t) = Cn Nn (t) Mn (x)
n
o X
u (x, y) = Cn Nn (y) Mn (x)
n
los valores de las constantes los debemos determinar de forma que se cumplan las condiciones
requeridas.
31
Primera versión
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 l
−λ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
hacemos integración por partes
u = M2 (x) ⇒ du = M20 (x) dx

dv = M100 (x) dx ⇒ v = M10 (x)
ası́ Z l Z l
l
M100 (x) M2 (x) dx = M2 (x) M10 (x)|0 − M10 (x) M20 (x) dx
0 0
32
Primera versión
Z l
si hacemos integración por partes nuevamente para M10 (x) M20 (x) dx
0
u = M20 (x) ⇒ du = M200 (x) dx

dv = M10 (x) dx ⇒ v = M1 (x)
ası́ Z l Z l
l
M10 (x) M20 (x) dx = M20 (x) M1 (x)|0 − M1 (x) M200 (x) dx
0 0
luego
Z l
l l
−λ1 hM1 , M2 i = M2 (x) M10 (x)|0 − M20 (x) M1 (x)|0 + M1 (x) M200 (x) dx
0
l
= [M2 (x) M10 (x) − M20 (x) M1 (x)]|0 − λ2 hM1 , M2 i
ası́
l
−λ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) M2 (0) M1 (0)
0 − 0 =0
M2 (l) M10 (l) M2 (0) M10 (0)
entonces las funciones son ortognonales
1. M (0) = M (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
= 00 0 − 00 0

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

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

M2 (l) M1 (l) M2 (0) M1 (0)
= M2 (l) M1 (l) − 00 0

M2 (l) M10 (l) − M20 (0) M10 (0)
0
0 0 M2 (0) M10 (0)
= 0
33
Primera versión
4. M 0 (0) = M (l) = 0 en este caso

M2 (l) M1 (l) M2 (0) M1 (0)
= 00 0
M2 (0) M1 (0)
M2 (l) M10 (l) − M20 (0) M10 (0)
0 −
M2 (l) M10 (l) 0 0
= 0
luego las familias resultantes de los problemas de Sturm-Liouville planteados son ortogo-
nales, 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
√
0 = M (l) = c2 sin λl
se sigue √
λl = nπ con n ∈ N
2
ası́ hay soluciones no nulas para λn = nπ l
con n ∈ N y funciones
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π
l
nπ
Mn (x) = cn cos x
l
34
Primera versión
0
√ 0
√ √ √
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
⇒ c1 = 0
0
√ √
0 = M (l) = c2 λ cos λl
se sigue
√ π
λl = + nπ con n ∈ N∪ {0}
2
2
ası́ hay soluciones no nulas para λn = (2n+1)π
2l
con n ∈ N∪ {0} y funciones

(2n + 1) π
Mn (x) = cn sin 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 λl
se sigue
√ π
λl = + nπ con n ∈ N∪ {0}
2
2
(2n+1)π
ası́ hay soluciones no nulas para λn = 2l

(2n + 1) π
Mn (x) = cn cos 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 solución

no nula.
2) M 0 (0) = M 0 (l) = 0: En este caso M (x) = 1 es solución no nula.
3) M (0) = M 0 (l) = 0: En este caso se sigue que c1 = c2 = 0, es decir, no hay solución
no nula.
4) M 0 (0) = M (l) = 0: En este caso se sigue que c1 = c2 = 0, es decir, no hay solución
no nula.
C) Si λ < 0 entonces √ √
−λx
M (x) = c1 e + c2 e− −λx
35
Primera versión
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 hay solución no nula.

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

0 = c1 −λ e +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 versión
1.
M 00 (x) + λM (x) = 0 para x ∈ ]0, l[
M (0) = M (l) = 0
2
hay soluciones no nulas para λn = nπ 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

hay soluciones no nulas para λn = l
nπ
Mn (x) = cn cos x
l
3.
M 00 (x) + λM (x) = 0 para x ∈ ]0, l[
M (0) = M 0 (l) = 0
2
(2n+1)π
hay soluciones no nulas para λn = con n ∈ N∪ {0} y funciones
2l

(2n + 1) π
Mn (x) = cn sin x
2l
4.
M 00 (x) + λM (x) = 0 para x ∈ ]0, l[
M 0 (0) = M (l) = 0
2
(2n+1)π
hay soluciones no nulas para λn = con n ∈ N∪ {0} y funciones
2l

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

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

l
con n ∈ N∪ {0} cos l
x
2
(2n+1)π (2n+1)π
M (0) = M 0 (l) = 0 2l
con n ∈ N∪ {0} sin 2l
x
2
0 (2n+1)π (2n+1)π
M (0) = M (l) = 0 2l
con n ∈ N∪ {0} cos 2l
x
37
Primera versión
Ejercicio 2.1. Usando el método de separación de variables encontrar una solución de la

ecuación
∂u ∂ 2u
= − 2u
∂t ∂x2
u (x, 0) = 1 para x ∈ [0, π]
ux (0, t) = u (π, t) = 0 para t ≥ 0
Solución: 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
N 0 (t) + 2N (t) M 00 (x)
=
N (t) M (x)
suponemos que −λ es la constante de separación entonces
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

2
(2n + 1)
λn = con n ∈ N∪ {0}
2
con
(2n + 1)
Mn (x) = cos 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 versión
luego usando el principio de superposición la solución debe ser de la forma

∞
(2n+1) 2 (2n + 1)

− 2+( 2 ) t
X
u (x, t) = Cn e cos x
n=0
2
pero u (x, 0) = 1 se sigue
∞
X (2n + 1)
1 = u (x, 0) = Cn cos x
n=0
2
usamos la ortogonalidad para concluir
D E
(2n+1)
1, cos 2
x
Cn = D E
(2n+1) (2n+1)
cos 2
x
, cos 2
x
Rπ
(2n+1)
0
cos 2
x dx
= Rπ
0
cos2 (2n+1)
2
x dx
(−1)n
= 4
π (2n + 1)
ası́ ∞
(−1)n
X
4 (2n+1) 2 (2n + 1) x

− 2+( 2 ) t
u (x, t) = e cos
π n=0 2n + 1 2
La ecuación de ondas
En esta sección resolveremos el problema

utt − c2 uxx = h (x, t) para 0 < x < l, t > 0
u (x, 0) = f (x) para x ∈ [0, l]
ut (x, 0) = g (x) para x ∈ [0, l]
u (0, t) = p (t) para t ≥ 0
u (l, t) = q (t) para t ≥ 0
para ello vamos a utilizar el método de separación de variables mas cambios de variables.
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 h (x, t) − Utt − c2 Uxx

=
v (x, 0) = f (x) − U (x, 0)
vt (x, 0) = g (x) − Ut (x, 0)
v (0, t) = p (t) − U (0, t)
v (l, t) = q (t) − U (l, t)
39
Primera versión
entonces para hacer las condiciones homogéneas forzamos
p (t) − U (0, t) = 0 = q (t) − U (l, t)
esto se logra tomando

x
U (x, t) = p (t) + (q (t) − p (t))
l
esto nos lleva a una ecuación de la forma
vtt − c2 vxx = e
h (x, t)
x

v (x, 0) = f (x) − p (0) + (q (0) − p (0)) = fe(x)
l
x
vt (x, 0) = 0
g (x) − p (0) + (q 0 (0) − p0 (0)) = ge (x)
l
v (0, t) = 0
v (l, t) = 0
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
por las condiciones homogéneas en 0 y l la solución tendrá la forma

∞
X kπ
v (x, t) = Nk (t) sin x
k=1
l
donde se deben determinar las funciones Nk (t), hacemos una expansión para la función
h (x, t) y se tiene
e
∞
X kπ
h (x, t) =
e Jk (t) sin x
k=1
l
luego
∞ 2 !
X kπ kπ
2
vtt − c vxx = Nk00 (t) + Nk (t) sin x
k=1
l l
= e
h (x, t)
∞
X kπ
= Jk (t) sin x
k=1
l
se sigue !
2
kπ
Nk00 (t) + Nk (t) = Jk (t) para k ∈ N
l
40
Primera versión
las funciones Jk pueden ser determinadas mediante

Rl
h (x, t) sin kπl x dx
e
0
Jk (t) = R l 2 kπ para k ∈ N
0
sin l
x dx
esto permite determinar las funciones Nk (t) = Ak cos kπl t + Bk sin kπl t + fkp (x, t) pero

quedan dos contantes libres (para cada k ∈ N) y la función fkp (x, t) se puede escoger que
valga cero en 0 y tambien su derivada
esto es
∞
X kπ
v (x, t) = Nk (t) sin x
k=1
l
∞
X kπ kπ p kπ
= Ak cos t + Bk sin t + fk (x, t) sin x
k=1
l l l
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.
Ejercicio 3.1. Hacer lo mismo para la ecuación de ondas
ut − kuxx = h (x, t) para 0 < x < l y t > 0

u (x, 0) = f (x) para x ∈ [0, l]
u (0, t) = p (t) para t ≥ 0
u (l, t) = q (t) para t ≥ 0
Ejemplo 3.1. Encuentre la solución del problema
utt − uxx = 5 para 0 < x < 1 y t > 0

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
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 versión
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) = u (x, 0) = x (1 − x) para x ∈ [0, 1]

vt (x, 0) + Ut (x, 0) = ut (x, 0) = 0 para x ∈ [0, 1]
v (0, t) + U (0, t) = u (0, t) = t para t ≥ 0
v (1, t) + U (1, t) = u (1, t) = sin t para t ≥ 0
esto es
v (x, 0) = x (1 − x) − U (x, 0) para x ∈ [0, 1]

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

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
este problema tiene condiciones homogéneas, postulamos una solución de la forma

∞
X
v (x, t) = Nn (t) sin (nπx)
n=1
si ∞
X
5 + x sin t = hn (t) sin (nπx)
n=1
entonces
R1
(5 + x sin t) sin (nπx) dx
0
hn (t) = R1
0
sin (nπx) dx
2
= − ((−1)n sin t + 5 (−1)n − 5)
πn
42
Primera versión
se sigue que
vtt (x, t) − vxx (x, t)

X∞ ∞
X
00
= Nn (t) sin (nπx) + Nn (t) n2 π 2 sin (nπx)
n=1 n=1
X∞
Nn00 (t) + n2 π 2 Nn (t) sin (nπx)

=
n=1
∞
X 2 n n
= − ((−1) sin t + 5 (−1) − 5) sin (nπx)
n=1
πn
de donde se debe cumplir

2
Nn00 (t) + n2 π 2 Nn (t) = − ((−1)n sin t + 5 (−1)n − 5)
πn
al determinar la familia de soluciónes 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 ecuación de Laplace en el disco
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
por la periodicidad de la transformación se tienen las siguientes condiciones
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
lı́m u (r, θ) < ∞
r→0
u (r, 0) = u (r, 2π) para r ∈ [0, a]
uθ (r, 0) = uθ (r, 2π) para r ∈ [0, a]
u (a, θ) = f (θ)
ahora utilizamos separación de variables u (r, θ) = M (r) N (θ) se sigue

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 versión
luego
(r2 M 00 (r) + rM 0 (r)) N 00 (θ)
− =
M (r) N (θ)
si λ es la constante de separación entonces
N 00 (θ) = λN (θ)
r2 M 00 (r) + rM 0 (r) + λM (r) = 0
la condición en r no es homogénea vamos a utilizar la condición en θ. Se tiene
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 solución
λ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 −λ2π + c2 sin −λ2π
y como
0
√ √ √ √
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 versión
este sistema tiene solución no nula si y solo si

√ √
cos −λ2π − 1 sin √−λ2π
√ √ √

= 0
− −λ sin −λ2π −λ cos −λ2π − 1
√
cos 2π −λ − 1 = 0
esto es √
cos 2π −λ = 1
se sigue
√
2π −λ = 2πn 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
se sigue que λ = 0 tambien es un valor para la función N0 (t) = 1. Es posible mostrar que no
hay más funciones no nulas, usar determinate)
De esto se tiene para la función M :
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
resolvemos esta ecuación de Euler
M (r) = rα
da
α (α − 1) + α − n2 = 0
α2 = n2 ⇒ α = ±n
ası́
Mn (r) = En rn + Fn r−n
las soluciones son de la forma
∞
X
En rn + Fn r−n cos (nθ)

u (r, θ) = (A0 + A1 ln r) +
n=1
∞
X
Hn rn + Gn r−n sin (nθ)

+
n=1
45
Primera versión
si queremos
lı́m u (r, θ) < ∞
r→0
se deberı́a tener ∞ ∞
X X
n
u (r, θ) = A0 + En r cos (nθ) + Hn rn sin (nθ)
n=1 n=1
y ahora encontramos los valores de las contantes utilizando la condición

∞
X ∞
X
f (θ) = u (a, θ) = A0 + En an cos (nθ) + Hn an sin (nθ)
n=1 n=1
se sigue
Z 2π
f (θ) dθ
0
A0 =
2π
Z 2π
f (θ) cos (nθ) dθ Z 2π
n 0 1
En a = 2π = f (θ) cos (nθ) dθ
π
Z
2 0
cos (nθ) dθ
0
Z 2π
f (θ) sin (nθ) dθ Z 2π
n 0 1
Hn a = 2π = f (θ) sin (nθ) dθ
π
Z
2 0
sin (nθ) dθ
0
Ejercicios resueltos y propuestos
1. Resolver la Ecuación en derivadas parciales
vtt − vxx = 5x para 0 < x < 1 y t > 0

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
Desarrollo: La ecuación es no homogénea , pero la función solo depende de x plantea-

mos una sustitución de la forma
v (x, t) = u (x, t) + G (x)
donde G es una función a determinar. Notamos que
5x = vtt − vxx
= utt − uxx − G00 (x)
ası́
utt − uxx = 5x + G00 (x)
46
Primera versión
las condiciones son
u (x, 0) + G (x) = v (x, 0) = x (1 − x) para x ∈ [0, 1]

ut (x, 0) = vt (x, 0) = 1 para x ∈ [0, 1]
u (0, t) + G (0) = v (0, t) = 0 para t ≥ 0
u (1, t) + G (1) = v (1, t) = 0 para t ≥ 0
ası́
utt − uxx = 5x + G00 (x)

u (x, 0) = x (1 − x) − G (x) para x ∈ [0, 1]
ut (x, 0) = 1 para x ∈ [0, 1]
u (0, t) = −G (0) para t ≥ 0
u (1, t) = −G (1) para t ≥ 0
entonces la función G debe ser escogida de forma que
G00 (x) = −5x

−G (0) = 0
−G (1) = 0
−5x2
se tiene G0 (x) = 2
+ C y ası́
−5x3
G (x) = + Cx + D
6
como
G (0) = 0
G (1) = 0
se debe cumplir
D = 0
5
C =
6
ası́
5 3
G (x) = − x −x
6
ahora el problema a resolver es
utt − uxx = 0
1
x 5x2 − 6x + 1 para x ∈ [0, 1]

u (x, 0) =
6
ut (x, 0) = 1 para x ∈ [0, 1]
u (0, t) = 0 para t ≥ 0
u (1, t) = 0 para t ≥ 0
usamos separación de variables
u (x, t) = M (x) N (t)
47
Primera versión
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
donde −λ es la constante de separación, se sigue
Mn (x) = sin (nπx) 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 (nπt) + bn sin (nπt) para n ∈ N
se sigue que la solución es de la forma
∞
X
u (x, t) = (an cos (nπt) + bn sin (nπt)) sin (nπx)
n=1
nos queda por deteminar los valores de an y bn usando las condiciones inciales
∞
1 X
x 5x2 − 6x + 1 = u (x, 0) =

an sin (nπx)
6 n=1
∞
X
1 = ut (1, 0) = (bn nπ) sin (nπx)
n=1
ası́

1
x (5x2 − 6x + 1) , sin (nπx)
6
an =
hsin (nπx) , sin (nπx)i
R1 1
0 6
x (5x2 − 6x + 1) sin (nπx) dx
= R1 2
0
sin (nπx) dx
2
= 3 3
(3 (−1)n + 2)
π n
h1, sin (nπx)i
nπbn =
hsin (nπx) , sin (nπx)i
R1
sin (nπx) dx
= R 10 2
0
sin (nπx) dx
2
= − ((−1)n − 1)
πn
48
Primera versión
ası́
∞
2 (3 (−1)n + 2) 2 ((−1)n − 1)
X
u (x, t) = cos (nπt) − sin (nπt) sin (nπx)
n=1
π 3 n3 π 2 n2
Ejercicios propuestos
1. Muestre que si los coeficientes A, B, C, D, E y F son constantes, la ecuación
Auxx + Buxy + Cuyy + Dux + Euy + F u = 0
es separable.
2. Resolver informalmente los siguientes problemas: (Suponiendo convergencia, deriva-

bilidad, etc)
a)
utt = c2 uxx + H (x, t) para 0 < x < l, t > 0

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

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

u (x, 0) = f1 (x) para x ∈ [0, l]
u (x, b) = f2 (x) para x ∈ [0, l]
u (0, y) = p (y) para t ≥ 0
u (a, y) = q (y) para t ≥ 0
3. Resolver utilizando separación de variables:
1)
utt = 4uxx para 0 < x < 1 y t > 0

u (x, 0) = x (1 − x) para x ∈ [0, 1]
ut (x, 0) = 0 para x ∈ [0, 1]
u (0, t) = u (1, t) = 0 para t > 0
49
Primera versión
2)
utt = uxx para 0 < x < π y t > 0
u (x, 0) = 3 sin x para x ∈ [0, π]
ut (x, 0) = 0 para x ∈ [0, π]
u (0, t) = u (1, t) = 0 para t > 0
3)
utt = 16uxx para 0 < x < π y t > 0
u (x, 0) = 0 para x ∈ [0, π]
ut (x, 0) = 8 sin2 x para x ∈ [0, π]
u (0, t) = u (π, t) = 0 para t > 0
4)
utt = uxx para 0 < x < 1 y t > 0
u (x, 0) = 0 para x ∈ [0, 1]
ut (x, 0) = x sin (πx) para x ∈ [0, 1]
u (0, t) = 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 = 4uxx para 0 < x < π y t > 0
u (x, 0) = cos x para x ∈ [0, π]
ut (x, 0) = 0 para x ∈ [0, π]
ux (0, t) = ux (π, t) = 0 para t > 0
4. Resolver la ecuación del telegrafo:

utt + 2ut + 3u = uxx para 0 < x < 5, t > 0
u (x, 0) = x (5 − x) para x ∈ [0, 5]
ut (x, 0) = 0 para x ∈ [0, 5]
u (0, t) = u (5, t) = 0 para t > 0
5. Resolver
utt + 2ut = uxx para 0 < x < 5, t > 0
u (x, 0) = 0 para x ∈ [0, 5]
ut (x, 0) = x para x ∈ [0, 5]
u (0, t) = u (5, t) = 0 para t > 0
50
Primera versión
6. Resolver la ecuación:
x 2 ∂ 2 u

2 ∂ x 2 ∂u

1− =c 1− para 0 < x < l, t > 0
h ∂t2 ∂x h ∂x
los extremos estan fijos y el despazamiento inicial es
u (x, 0) = f (x)
7. Resolver la ecuación
utt = −α2 uxxxx para 0 < x < l, t > 0
u (x, 0) = f (x) para x ∈ [0, l]
ut (x, 0) = g (x) para x ∈ [0, l]
u (0, t) = u (0, l) = 0 para t > 0
uxx (0, t) = uxx (l, t) = 0 para t > 0
8. Resolver utilizando separación de variables:
1)
utt = 16uxx + sinh x para 0 < x < π y t > 0
u (x, 0) = 0 para x ∈ [0, π]
ut (x, 0) = 0 para x ∈ [0, π]
u (0, t) = h para t > 0
u (π, t) = k para t > 0
donde h, k son constantes.
2)
utt = 4uxx + x2 para 0 < x < 1 y t > 0
u (x, 0) = x para x ∈ [0, 1]
ut (x, 0) = 0 para x ∈ [0, 1]
u (0, t) = 0 para t > 0
u (1, t) = 1 para t > 0
3)
ut = 2uxx − 5u para 0 < x < 2 y t > 0
u (x, 0) = x para x ∈ [0, 2]
ux (0, t) = 0 para t > 0
ux (2, t) = 0 para t > 0
4)
ut = 4uxx para 0 < x < 1 y t > 0
u (x, 0) = x2 (1 − x) para x ∈ [0, 1]
u (0, t) = 0 para t > 0
u (π, t) = 0 para t > 0
51
Primera versión
5)
ut = 2uxx + e−5x para 0 < x < π y t > 0

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

u (x, 0) = sin (πx) para x ∈ [0, 1]
u (0, t) = t para t > 0
u (1, t) = t2 para t > 0
Ecuación de Ondas Unidimensional

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.
Hipótesis Adicionales:
La vibración subsiguiente es transversal, es decir, cada punto de la cuerda tiene coordena-
da x constante, de modo que su coordenada y depende solo de x y del tiempo. Por lo tanto, el
desplazamiento de la cuerda a partir de su posición de equilibrio viene dado por la función
y = y(x, t) y sus derivadas:
∂y
: velocidad de la cuerda
∂t
∂ 2y
: aceleración de la cuerda
∂t2
Si se considera el movimiento de un pequeño fragmento de cuerda de longitud ∆x. Si la
densidad de masa lineal es m = m(x), la masa de este fragmento es m∆x. Por la segunda ley
de Newton, tenemos:
∂ 2y
F = m∆x (5)
∂t2
52
Primera versión
Tx+∆x
β
y(x+∆x,t)
y(x,t) α
−Tx
x l
x+∆x
Sean Tx y Tx+∆x los vectores de tensión de los extremos del segmento dado. Estas fuerzas
se aplican tangencialmente (ver la fig. 1), ya que la cuerda no ofrece resistencia a la defor-
mación. Como no hay movimiento en la dirección x, las componentes x de los vectores de
tensión deben coincidir:
Tx+∆x cosβ = Tx cos α ≡ T (6)

Por lo tanto, T es constante, ya que x y ∆x son arbitrarias. Análogamente, la diferencia
entre las componentes y de los vectores de tensión debe ser igual a la fuerza total que actúa
sobre la cuerda. Entonces por la ecuación (5)
∂ 2y
Tx+∆x sen β − Tx sen α = m∆x (7)
∂t2
dividiendo toda la ecuación (3) por T , se obtiene:
Tx+∆x sen β Tx sen α m ∂ 2y Tx+∆x sen β Tx sen α m ∂ 2y

− = ∆x 2 ⇔ − = ∆x 2
T T T ∂t Tx+∆x cosβ Tx cos α T ∂t
luego
m ∂ 2y
tan β − tan α = ∆x 2 (8)
T ∂t
Como

∂y ∂y
tan β = tan α =
∂x x+∆x ∂x x
se puede reescribir (8) en la forma:
∂ 2y

1 ∂y ∂y m
− = ∆x
∆x ∂x x+∆x ∂x x T ∂t2
Haciendo que ∆x 0, obtenemos en el lı́mite la ecuación
∂ 2y m ∂ 2y
=
∂x2 T ∂t2
r
m T T
como es positivo, podemos tomar c2 = ⇒c= , quedando la ecuación:
T m m
53
Primera versión
∂ 2y ∂ 2y
c2 = (9)
∂x2 ∂t2
denominada con frecuencia ECUACIÓN DE ONDAS UNIDIMENSIONAL.
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
y(0, t) = y(l, t) = 0, t ≥ 0. (10)

Las condiciones inciales especifican la posición inicial y la velocidad inicial (en el tiempo
cero). Estas condiciones iniciales se puede escribir como,
y(x, 0) = f (x), 0 ≤ x ≤ l, (11)

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

La ecuación de onda, junto con las condiciones iniciales y de frontera, constituyen un
problema con valores en la frontera para la función posición y(x, t) de la cuerda. Éstas dan
suficiente información para determinar de manera única la soluci ón y(x, t).
Si hay una fuerza externa de magnitud F unidades de fuerza por unidad de longitud
actuando sobre la cuerda en la dirección vertical, entonces este desarrollo puede modificarse
para obtener,
∂ 2y 1 ∂ 2y
c2 + F =
∂t2 ρ ∂x2
Nuevamente, tenemos una ecuación de ondas con condiciones de frontera e inicial.
En el espacio bidimensional la ecuación de onda es
∂ 2z
2
∂ z ∂ 2z

2
=c + .
∂t2 ∂x2 ∂y 2
Esta ecuación modela los desplazamientos verticales z(x, y, t) de la membrana cubriendo
una región especı́fica del plano (ejemplo: las vibraciones de la superficie de un tambor).
Las condiciones de frontera son,
z(x, y, t) = 0 para (x, y) en la frontera de la región y t > 0

y condiciones iniciales,
∂z
z(x, y, 0) = f (x, y), (x, y, 0) = g(x, y)
∂t
con f y g dados.
El método directo que se usará para resolver este problema se debe a D’Alembert.
Definamos las variables
u = x + ct, v = x − ct,
y transformando la ecuación de onda (9) en una que involucra las variables u y v. Por
regla de la cadena, tenemos
54
Primera versión

∂y ∂y ∂u ∂y ∂v ∂y ∂y
= + =c − , (13)
∂t ∂u ∂t ∂v ∂t ∂u ∂v
Si tomamos la derivada con respecto a t de la ecuación (16) se obtiene
∂ 2y

∂ ∂y ∂y ∂ ∂y ∂y ∂u ∂ ∂y ∂y ∂v
= c − =c − + −
∂t2 ∂t ∂u ∂v ∂u ∂u ∂v ∂t ∂v ∂u ∂v ∂t
(14)
2 2 2 2

∂ y ∂ y ∂ y ∂ y
= c2 2
− − − 2
∂u ∂u∂v ∂v∂u ∂v
Luego,
∂ 2y
2
∂ 2y ∂ 2y

2 ∂ y
=c −2 + .
∂t2 ∂u2 ∂u∂v ∂v 2
De manera similar encontramos que
∂ 2y
2
∂ 2y ∂ 2y

∂ y
= +2 + .
∂x2 ∂u2 ∂u∂v ∂v 2
Sustituyendo esto en la ecuación (9), se obtiene
∂ 2y
= 0,
∂u∂v
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),
si se sustituye el cambio de variable original en esta ecuación, se obtiene la solución de
D’Alembert
y(x, t) = F (x − ct) + G(x + ct)

de la ecuación de onda (9)
Si hacemos t = 0, entonces la distorción inicial de la cuerda está dada por y(x, 0) = F (x).
Un tiempo fijo t más tarde su distorsión es y(x, t) = F (x − ct). Por tanto, la forma de la cuerda
puede obtenerse de la gráfica de la función F (x) moviendo hacia la derecha con velocidad c
en un intervalo de longitud l. De manera análoga G(x + ct) describe una curva ¡¡idéntica¿¿
a G, moviéndose hacia la izquierda con velocidad c. Por tanto, la solución de D’Alembert
describe la superposición de dos ondas moviéndose con velocidad c, hacia la izquierda y la
otra hacia la derecha. Luego, toda solución de ytt = c2 yxx debe tener esta forma.
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 versión
integrando, se obtiene
Z x
1
−F (x) + G(x) = g(ε)dε − F (0) + G(0).
c 0
Si sumamos este resultado con la ecuación (18) se obtiene,

1 x
Z
2G(x) = f (x) + g(ε)dε − F (0) + G(0).
c 0
Por tanto,
Z x
1 1 1 1
G(x) = f (x) + g(ε)dε − F (0) + G(0).
2 2c 0 2 2
Luego,
Z x
1 1 1 1
F (x) = f (x) − G(x) = f (x) − g(ε)dε + F (0) − G(0).
2 2c 0 2 2
Como sabemos que la solución de D’Alembert es de la forma y(x, t) = F (x−ct)+G(x+ct),
entonces,
1 x−ct
Z
1 1 1
y(x, t) = f (x − ct) − g(ε)dε + F (0) − G(0)
2 2c 0 2 2
Z x+ct
1 1 1 1
+ f (x + ct) + g(ε)dε − F (0) + G(0)
2 2c 0 2 2
Z x+ct
1 1
y(x, t) = (f (x − ct) + f (x + ct)) + g(ε)dε.
2 2c x−ct
A esta ecuación se le denomina fórmula de D’Alembert para la solución del problema de

Cauchy para la ecuación de onda en toda la recta.
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 fórmula de D’Alembert, se tiene
Z x+2t
1 −|x−2t| 1
y(x, t) = e + e−|x+2t| + cos(4ε)dε
2 4 x−2t
1 −|x−2t| 1
+ e−|x+2t| + (sen(4(x + 2t)) − sen(4(x − 2t)))

= e
2 16
1 −|x−2t| 1
= e + e−|x+2t| + cos(4x) sen(8t).
2 8
56
Primera versión

Ejemplo 5.2. Suponga que tiramos la cuerda de su centro una distancia de y 2l , 0 = y0
metros (y0 se supone peque ño). Podemos suponer que la distorsión consta de dos rectas de
(0, 0) a 2l , y0 y de 2l , y0 a (l, 0). Por tanto,

2y0 l
x, si 0 ≤ x ≤


 l

2
f (x) =
 2y l
 0 (l − x), si

 ≤x≤l
l 2
que tiene la derivada continua por tramos

2y0 l
, si 0 ≤ x <


 l

2
f 0 (x) =

 −2y0 l

 , si <x≤l
l 2
Sin la cuerda mide cuatro metros, tiene una masa de 0.08 kilogramos y está sujeta a una
tensión constante de dos Newtons, entonces obtenemos la solución
1
y(x, t) = [f (x − 10t) + f (x + 10t)],
2
ya que
T 2
c2 = = = 100 (m/s)2
m 0,08/4
Para saber la posición exacta de un punto a un metro del extremo 0 después de un segundo
exactamente, hacemos x = t = 1. Entonces
1
y(1, 1) = [f (−9) + f (11)],
2
y como f tiene perı́odo 2l = 8 y es impar, se obtiene
1 1
y(1, 1) = [f (−1) + f (3)] = [f (3) − f (1)]
2 2

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

l
. Entonces,
yo h π π i
y(x, t) = = sen (x − ct) + sen (x + ct) .
2 l l
y por trigonometrı́a, se reduce a
πx πct
y(x, t) = y0 sen 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
57
Primera versión
Ejemplo 5.4. Consideremos F = G con



 0 si |x| > 4

 −x − 4 si − 4 ≤ x ≤ −2
F (x) =

 x si − 2 ≤ x < 2

−x + 4 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

y trazamos su grafica ayudados por la representación de F = G.
2
F (x) = G(x)
1
−5 −4 −3 −2 −1 0 1 2 3 4
−1
−2
F (x) + G(x)
1
−5 −4 −3 −2 −1 1 2 3 4
0
−1
−2
Soluciones en serie de Fourier de la ecuación de onda
Ahora consideraremos problemas que involucran el movimiento de ondas en un intervalo

acotado.
Cuerda vibrante con velocidad inicial cero

Considere una cuerda elaástica 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
xy. Deseamos encontrar la función desplazamiento y(x, t). El problema queda modelado por,


 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 versión
Para resolverla usaremos el método de separación de variables, para ello suponemos una
solución de la forma:
y(x, t) = U (x)V (t), (16)

donde U depende sólo de x y V depende sólo de t.
Derivando la ecuación (16), se obtiene:
∂ 2y 00 ∂ 2y
2
= U (x)V (t) y 2
= U (x)V 00 (t),
∂x ∂t
reemplazando en la ecuación (9), se obtiene:
c2 U 00 V = U V 00 con U y V 6= 0. (17)
Separando variables, la ecuación (17) queda:
U 00 1 V 00
= 2 . (18)
U c V
Supongamos ahora que fijamos la variable t y permitimos que varı́e x. Como el lado
derecho de de la ecuación (18) es constante, el lado izquierdo debe ser constante para todos
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 separación).
De estas igualdades obtenemos dos ecuaciones diferenciales ordinarias
U 00 + λU = 0, (19)
V 00 + c2 λV = 0. (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.
Con esto la ecuación (19) se transforma en el problema de Sturm-Liouville:
U 00 + λU = 0
U (0) = 0
U (l) = 0
nπx n2 π 2
con solución Un = sen donde λn = .
l l2
Reemplazando este λ en la ecuación (20), se obtiene:
n2 π 2
V 00 + c2 V =0
l2
59
Primera versión
c n π c n π
cuya solución es: Vn (t) = An cos 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: c n π
Vn (t) = cos t .
l
Con esto se tiene que la solución general está dada por:

∞
X n π c n π
y(x, t) = Cn sen x cos t ,
n=1
l l
∞
X n π
pero y(x, 0) = f (x) ⇔ f (x) = Cn sen x , donde Cn corresponde a los coeficien-
n=1
l
tes de Fourier de tipo senoidal de la función f (x).
Luego:
∞ Z l n π ε
X 2 n πx c n π
y(x, t) = f (ε) sen dε sen cos t
n=1
l 0 l l l
Cuerda vibrante con velocidad inicial dada y desplazamiento inicial

cero
Ahora consideremos el caso en que la cuerda es soltada desde su posición horizontal
(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.

Suponiendo una solución de la forma y(x, t) = M (x)N (t). Derivando e imponiendo las
condiciones de borde, se obtiene
M 00 + λM = 0
M (0) = M (l) = 0,
con autovalores
n2 π 2
λn =
l2
y autofunciones
nπ
Mn (x) = sen .
l
Reemplazando este valor de λ e imponiendo las condiciones iniciales en la ecuación en t,
se obtiene
60
Primera versión
n2 π 2 c2
N 00 + l2
N =0
N (0) = 0
obteniendo como solución general,

nπct nπct
N (t) = A cos + B sen .
l l
nπct

Como N (0) = A = 0, las soluciones para N (t) son múltiplos constantes de sen l
.
Ası́ para n = 1, 2, · · · se obtienen las funciones
nπx
nπct
yn (x, t) = cn sen sen ,
l l
luego
∞ nπx
X nπct
y(x, t) = cn sen sen .
n=1
l l
Derivando esta ecuación con respecto a t e imponiendo la condición de velocidad inicial
yt (x, 0) = g(x) se obtine,
∞
X nπc nπx
yt (x, 0) = cn sen = g(x).
n=1
l l
Este es el desarrollo en serie de Fourier en senos de g(x) en [0, l]. Entonces,
Z l nπε
nπc 2
cn l = l g(ε) sen dε,
0 l
Z l nπε
2
cn = nπc
g(ε) sen dε,
0 l
Por lo tanto la solución está dada por:
∞ Z l
2 X 1 nπε nπx nπct
y(x, t) = g(ε) sen dε sen sen
πc n=1 n 0 l l l
Ejemplo 6.1. Suponga que la cuerda es soltada

desde su posición horizontal con una veloci-
πx
dad inicial dada por g(x) = x(1 + cos l .
Debemos calcular
Z l nπε Z l πε nπε
g(ε) sen dε = ε( 1 + cos sen dε
0 l 0 l l
l2 (−1)n


 si n 6= 1
 nπ(n2 − 1)

=
2
 3l



si n = 1
4π
La solución para esta función de velocidad inicial es,
61
Primera versión
∞
3l2 2 X l2 (−1)n

2 πx πct nπx nπct
y(x, t) = sen sen + sen sen
πc 4π l l πc n=2 nπ(n2 − 1) l l
falta mono
Cuerda vibrante con desplazamiento y velocidad inicial cero
Consideremos el movimiento de la cuerda con desplazamiento inicial f (x) y velocidad ini-

cial g(x). Para resolverlo se puede plantear en dos problemas, el primero con desplazamiento
inicial f (x) y velocidad inicial cero, cuya solución es y1 (x, t) y el segundo con desplazamiento
inicial cero y velocidad inicial g(x) con solución y2 (x, t).
Si consideramos
y(x, t) = y1 (x, t) + y2 (x, t)

entonces esta función satisface la ecuación de onda y las condiciones de frontera. Más
aún,
y(x, 0) = y1 (x, 0) + y2 (x, 0) = f (x) + 0 = f (x)

y
∂y ∂y1 ∂y2
(x, 0) = (x, 0) + (x, 0) = 0 + g(x) = g(x).
∂t ∂t ∂t
Ası́ y(x, t) es la solución para el caso con funciones de desplazamiento inicial y velocidad
inicial distintas de cero.
Ejemplo 6.2. Sea la función de desplazamiento


 x si 0 ≤ x ≤ 2l
f (x) =
l − x si 2l < x < l

y velocidad inicial
πx
g(x) = x 1 + cos
.
l
La solución y1 (x, t) con velocidad inicial cero y desplazamiento f (x) tiene la forma,
∞
X 4l n π n πx c n πt
y1 (x, t) = sen sen cos
n=1
n2 π 2 2 l l
y la solución y2 (t) con desplazamiento inicial cero y velocidad inicial g(x), es
∞
3l2 2 X l2 (−1)n

2 πx πct nπx nπct
y2 (x, t) = sen sen + sen sen
Por lo tanto, la solución con la posición inicial y velocidad inicial dada es,
62
Primera versión
y(x, t) = y1 (x, t) + y2 (x, t)

∞
X 4l n π n πx c n πt
= 2π2
sen sen cos
n
n=1
2 l l
2 ∞
l2 (−1)n

2 3l πx πct 2 X nπx nπct
+ sen sen + sen sen
Ecuaciones no homogeneas que involucran la ecuación de onda
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 .

Tomemos una solución de la forma
y(x, t) = u(x, t) + µ(x)

Derivando y sustituyendo en la ecuación, se obtiene
utt = uxx + µ00 (x) + Ax.

Esta se reduce a una ecuación homogenea si pedimos que µ00 (x) + Ax = 0.
Integrando dos veces, se obtiene
x3
µ(x) = −A + Cx + D (21)
6
con C y D constantes.
Además
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.
Al aplicar estas dos condiciones a la ecuación (25), obtenemos D = 0 y C = 16 Al2 , ası́ que
1 1 1
µ(x) = − Ax3 + Al2 x = Ax(l2 − x2 ).
6 6 6
Por último la condición inicial y(x, 0) = u(x, 0)+µ(x) entraña que u(x, 0) = y(x, 0)−µ(x) =
−µ(x) = 16 Ax(x2 − l2 )
y
yt (x, 0) = ut (x, 0) = 1.
63
Primera versión
Entonces para determinar u(x, t), resolvemos el nuevo problema de valor en la frontera

 utt
 = uxx , para 0 < x < l, t > 0,
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.

Por separación de variables. En la forma acostumbrada se llega a

∞ Z l n π ε
X 2 1 2 2
n πx n πt
u(x, t) = Aε(ε − l ) sen dε sen cos
n=1
l 0 6 l l l
∞ Z l n π ε
2X 1 n πx n πt
+ sen dε sen sen
π n=1 n 0 l l l
∞
2Al3 X (−1)n n πx
n πt
= sen cos
π 3 n=1 n3 l l
∞
2l X 1 − (−1)n n πx
n πt
+ 2 sen sen .
π n=1 n2 l l
Para terminar, obtenemos una solución al problema original sumando µ(x) y u(x, t):
1
y(x, t) = u(x, t) + Ax(l2 − x2 )
6
Ejemplo 6.3. Resolver
 π
 utt = uxx + 1, 0<x< , t>0


 π 2π
u(0, t) = 1, ux ,t = −
2 2
 u(x, 0) = −x2 + 1 πx,


ut (x, 0) = 0

2
Ayuda: use
Z 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)
Solución: utt = wtt y uxx = wxx + P 00 (x). Para que la ecuación sea homogénea, hacemos
2
P 00 (x) = −1 obteniendo P (x) = − x2 + 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 versión
De las condiciones iniciales obtenemos

x2 π x2 π
u(x, 0) = w(x, 0) − + 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< , t>0
2
π
w(0, t) = wx ( , t) = 0
2
2
x π
w(x, 0) = − + x − 1, wt (x, 0) = 0
2 2
Sea w(x, t) = M (x)N (t), reemplazando en la ecuación, obtenemos
M 00 (x) + λM (x) = 0
y N 00 (t) + λN (t) = 0
M (0) = M 0 ( π2 ) = 0
Los autovalores y autofunciones del problema de Sturm-Liouville son
λn = (2n + 1)2 y Mn (x) = sen(2n + 1)x, ∀n≥0
Por lo tanto, la solución formal de la ecuación es

∞
X
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

∞ π
x2 π x2 π
Z
X 4 2
− + x − 1 = w(x, 0) = an sen(2n + 1)x =⇒ an = (− + x − 1) sen(2n + 1)x dx
2 2 n=0
π 0 2 2
Usando las fórmulas dadas, obtenemos

Z π
2
2 1 2 n π
−x sen(2n + 1)x dx = − (−1)
0 2 (2n + 1)3 (2n + 1)2
Z π
2 π
πx sen(2n + 1)x dx = (−1)n
0 (2n + 1)2
Z π
2 1
sen(2n + 1)x dx =
0 2n + 1
Por lo tanto,
4 1 1
an = 3
−
π (2n + 1) 2n + 1
Derivando la solución formal con respecto a t, obtenemos
∞
X
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 versión
Evaluando en t = 0, se tiene
∞
X
wt (x, 0) = bn (2n + 1) sen(2n + 1)x = 0 =⇒ bn = 0, ∀ n ≥ 0
n=0
Luego, la solución de la ecuación es

∞
x2 X 4

1 1
u(x, t) = 1 − + − cos(2n + 1)t sen(2n + 1)x
2 n=0
π (2n + 1)3 2n + 1
Ejemplo 6.4. Resuelva la ecuación de ondas


 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
Solución
Tenemos que c = 2 y l = 2. Consideremos las funciones

2
f (x) = (x − 2) , g(x) = (x + 1) .

[0,2] [0,2]
Entonces la solución general es

Z x+ct
1 1
u(x, t) = [F (x + 2t) + F (x − 2t)] + G(ε)dε,
2 4 x−ct
donde F, G son las extenciones pares en 0 e impares en 2 de las funciones f, g respectiva-

mente.
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 0≤x≤2
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 versión
Z 23
1 11 1 1 1 1 2
u , = F + 11 + F − 11 + G(ε)dε,
2 2 2 2 2 4 − 212
pero,
1
1
1 3
F 2
+ 11 = F 2
+3 = 2
+3−2= 2
1
1

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

1 11 1 3 1 1 19 43
u , = + + = .
2 2 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.
Solución
Aplicando el método de separación de variables con las condiciones de contorno u(0, t) =
0, u(π, t) = 0 se obtiene la solución d ela forma
∞
X
u(x, t) = (an cos nt + bn sen nt) sen nx.
n=1
Por las condiciones iniciales:

∞
X ∞
X
u(x, 0) = 0 ⇒ 0 = (an cos 0 + bn sen 0) sen nx = an sen nx,
n=1 n=1
y por tanto
an = 0.
Por otro lado,
∞
X
ut (x, 0) = sen 2x ⇒ sen 2x = (n bn cos 0) sen nx,
n=1
67
Primera versión
y por tanto
1
bn = 0, si n 6= 2 y 2b2 = 1 ⇒ b2 = .
2
Luego la solución es,
1
u(x, t) = 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.
Solución
Aplicando el método de separación de variables y las condiciones de contorno ho-
mogéneas que son:
u(x, 0) = 0; ux ((π, t) = 0,
se obtiene una solución de la forma,
∞
a0 X
u(x, t) = + (an cos nt + bn sen nt) cos nx,
2 n=1
donde los coeficientes se obtienen mediante las condiciones iniciales, resultando la solu-
ción,
1
u(x, t) = 1 + cos t cos x + sen 3t cos 3x.
3
Ejercicios
∂ 2u ∂ 2u
1. Resolver la ecuación 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
∂t
(x, 0) = 3 sen(2x) para 0 < x < π.
∂ 2u ∂ 2u
2. Resuelve la ecuación de ondas 2 = 16 2 en el intervalo [0, 1] con las condiciones de
∂t ∂x


 u(0, t) = u(1, t) = 0 para t ≥ 0,
u(x, 0) = 0 para 0 < x < 1,







  0 si 0 ≤ x < 0,25,
∂u
(x, 0) = 1 si 0,25 ≤ x < 0,3,



 ∂t
0 si 0,3 ≤ x ≤ 1.
 
Este modelo corresponde al golpe del macillo de un piano contra una de las cuerdas.
68
Primera versión
∂ 2u ∂ 2u
3. Resuelve la ecuación de ondas 2 = c2 2 en el intervalo [0, l] con las condiciones de
∂t ∂x


 u(0, t) = u(l, t) = 0 para t ≥ 0,
u(x, 0) = 0 para 0 < x < l,



∂u l
(x, 0) = δ0 x − para 0 < x < l.

∂t 4
donde δ0 es la función delta de Dirac. este modelo corresponde a un golpe seco sobre
un punto de la cuerda en reposo.
4. Resolver el problema de ecuación en derivadas parciales
∂ 2u ∂ 2u


 = c2 para 0 < x < l y t > 0,



 ∂t2 ∂x2



 u(0, t) = u(l, t) = 0 para t > 0,

 u(x, 0) = sen(πx/l) para 0 < x < l,





 ∂u c si l/4 < x < 3l/4,

 (x, 0) =
∂t 0 en otro caso.
5. Resuelve, usando el método de separación de variables la ecuación de ondas en el

intervalo [0, π] con las condiciones de contorno e iniciales que se indican
∂ 2u ∂ 2u


 =
∂t2 ∂x2






∂u ∂u


(0, t) = 0 para t ≥ 0,


 (0, t) =
∂x ∂x





 u(x, 0) = 0 para 0 < x < π,



 ∂u (x, 0) = ex para 0 < x < π,



∂t
6. La ecuación en derivadas parciales
∂ 2u 2 ∂ 2u
+ x =
∂x2 ∂t2
es una forma de la ecuaci”on 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 versión
Ecuación de Calor
Para establecer la ecuación del calor unidimensional necesitaremos los siguientes princi-
pios fı́sicos.
1. El calor se desplaza de las zonas calientes a las frias.
2. El ritmo a que fluye el calor a través de un área es proporcional al área y al ritmo de

cambio de temperatura respecto de la distancia en una dirección perpendicular al área.
El factor de proporcionalidad k es llamado conductividad térmica de la sustancia.
3. La cantidad de calor ganado o perdido por un cuerpo cuando su temperatura cambia, es

decir, la variación de energı́a térmica, es proporcional a la masa del cuerpo y al cambio
de temperatura.
El factor de proporcionalidad c se llama calor especı́fico de la sustancia.
Consideremos una varilla cilı́ndrica delgada de área transversal A, cuya superficie lateral
está aislada térmicamente.
dibujo
Luego la temperatura u depende sólo del tiempo y de la posición de dicha sección, es
decir
u = u(x, t)
Entonces la ecuación de calor unidimensional está dada por:
2
∂u 2∂ u k
=a con a2 = , ρ densidad de la varilla (22)
∂t ∂x2 cρ
con
u(x, 0) = f (x), (23)

u(0, t) = u(l, t) = 0 (24)
Usando el método de separación de variables, suponemos una solución de la forma:
u(x, t) = U (x)V (t), (25)

Derivando la ecuación (25) y reemplazando en la ecuación (22) se obtiene:
U 00 1 V0
a2 U 00 V = U V 0 ⇒ = 2 = −λ : constante de separación (26)
U a V
de estas igualdades obtenemos dos ecuaciones diferenciales ordinarias
U 00 + λU = 0, (27)
V 00 + a2 λV = 0. (28)
con condiciones de frontera U (0) = U (l) = 0.

Con esto la ecuación (27) se transforma en el problema de Sturm-Liouville:
70
Primera versión
U 00 + λU = 0
U (0) = 0
U (l) = 0
nπx n2 π 2
con solución Un = sen para n ≥ 1 cuyo autovalor es λn = .
l l2
Reemplazando λ en la ecuación (28), se obtiene:
n2 π 2
V 0 + a2 V =0
l2
−a2 n2 π 2
t
cuya solución es: Vn (t) = e l2 ; n ≥ 1.
Luego construimos la solución formal
∞ ∞ nπ
X X −a2 n2 π 2
t
u(x, t) = wn (x, t) = An e l2 sen x
n=1 n=1
l
∞
X n π
pero u(x, 0) = f (x) ⇔ f (x) = An sen x , donde An corresponde a los coeficien-
n=1
l
tes de Fourier de tipo senoidal de la función f (x).
Con esto se tiene que la solución general está dada por:
∞ Z l n π ε
X 2 n π −a2 n2 π2
u(x, t) = f (x) sen dε sen x e l2 t
n=1
l 0 l l
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
función temperatura estará modelada por
 ∂u 2

 ∂t
= k ∂∂t2u , para 0 < x < l, t > 0,



∂u
∂x
(0, t) = ∂u
∂x
(l, t) = 0, para t > 0,




u(x, 0) = f (x), para 0 ≤ x ≤ l,

Si consideramos una solución de la forma u(x, t) = U (x)V (t) e imponemos las condicones
de frontera, se obtiene
U 00 + λU = 0
U 0 (0) = U 0 (l) = 0,
con autovalores
n2 π 2
λn =
l2
y autofunciones
71
Primera versión
nπx
Un (x) = cos .
l
Reemplazando este valor de λ en la ecuación en t, se obtiene
n2 π 2 k
V0+ V = 0.
l2
Cuando n = 0, se obtiene
V0 (t) = constante.
Para n > 1, se obtiene como solución
2 π 2 kt/l2
Vn (t) = cn e−n .
Ahora tenemos funciones de la forma
nπx 2 2 2
un (x, t) = cn cos e−n π kt/l para n ≥ 0
l
las cuales satisfacen la ecuación de calor y las condiciones de aislamiento en la frontera.
Luego nuestra solución formal es
∞
1 X nπx 2 2 2
u(x, t) = c0 + cn cos e−n π kt/l .
2 n=1
l
Imponiendo las condiciones iniciales, se tiene
∞
1 X nπx
u(x, 0) = f (x) = c0 + cn cos ,
2 n=1
l
donde cn es el coeficiente de Fourier en cosenos de f (x) en [0, l], luego
2 l
Z nπε
cn = f (ε) cos dε.
l 0 l
Por lo tanto, la solución al problema de calor es
∞ Z l nπε
1 X 2 nπx 2 2 2
u(x, t) = c0 + f (ε) cos dε cos e−n π kt/l
2 n=1
l 0 l l
Ejemplo 6.7. Supongamos que la mitad izquierda de la barra inicialmente está a una tempe-
ratura 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

Z l/2
2
c0 = T dε = T
l 0
y
72
Primera versión
Z l/2
2 nπ 2T nπ
cn = T cos dε = sen .
l 0 l nπ 2
Por lo tanto la solución es
∞
2T X (−1)n+1

1 (2n − 1)πx 2 2 2
u(x, t) = T + cos e−(2n−1) π kt/l
2 π n=1 2n − 1 l
Las funciones armónicas y el problema de Dirichlet
La ecuación diferencial parcial
uxx + uyy = 0
se llama ecuación de Laplace en dos dimensiones. En tres dimensiones esta ecuación es
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 .

Una función que satisface la ecuación de Laplace es cierta región se dice armónica en
esa región. Estas funciones tienen una propiedad muy útil: bajo condiciones bien generales
alcanzan su máximo y su mı́nimo en la frontera de la región.
Las funciones
1. f (x, y) = xy
2. xy + 3x2 y − y 3
3. x2 − y 2
son armónicas sobre todo el plano.

La ecuación de Laplace se puede encontrar en problemas que involucran potenciales,
tales como los potenciales para el campo de fuerza en mecánica o electromagnetismo o
campos gravitacionales. La ecuación de Laplace también es conocida como la ecuación del
estado estacionario del calor.
La ecuación de calor en el espacio en dos o tres dimensiones es
ut = k∇2 u.
En el caso de estado estacionario (el lı́mite cuando t ∞), la solución se vuelve indepen-
diente de t, ası́ ut = 0 y la ecuación de calor se convierte en la ecuación de Laplace.
En problemas que involucran la ecuación de Laplace no hay condiones iniciales. Sin
embargo, frcuentemente se encuentra el problema resolviendo
73
Primera versión
∇2 u(x, y) = 0
para (x, y) en alguna región Ω del plano, sujeta a la condición que
u(x, y) = f (x, y)
para (x, y) en la frontera de Ω, (∂Ω). Aquı́ f es una función que tiene valores en ∂Ω, que
frecuentemente es una curva o está compuesta por varias curvas. El problema de determinar
una función armónica 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 rectángulo
Resolveremos la ecuación de Laplace en la región Ω = {(x, y) ∈ R2 : 0 ≤ x ≤ l, 0 ≤ y ≤

k}.
El caso general tiene la forma:

 uxx + uyy = 0 en Ω
u(x, 0) = f1 (x) u(x, k) = f2 (x) x ∈ [0, l] (29)
u(0, y) = g1 (y) u(l, y) = g2 (y) y ∈ [0, k]

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)
0
l
u(x,0)=f1 (x)
Tenemos que la EDP es lineal y homogénea, pero, las condiciones de borde, aunque
lineales, no son homogenéas. Luego, no se puede aplicar el método de separación de variables
al problema tal como está. La razón de esto es que al separar variables, el problema a valores
de borde que determina las constantes de separación posibles o autovalores deben tener
74
Primera versión
condiciones de borde homogéneas. En este caso, todas las condiciones de borde son no
homogéneas. Para resolver este problema utilizaremos el principio de superposición, el
cual separa el problema inicial en cuatro problemas, cada uno de los cuales tiene sólo una
condición no-homogénea.
Escribimos
u(x, t) = u1 (x, t) + u2 (x, t) + u3 (x, t) + u4 (x, t),

donde cada una de las funciones ui (x, t), i = 1, 2, 3, 4 satisface la ecuación de Laplace con
una condición de borde no-homogénea y las otras tres condiciones de borde homogéneas.
Luego, los problemas resultantes son:

 uxx + uyy = 0 en Ω = (0, l) × (0, k)
i) u1 (x, 0) = f1 (x) u1 (x, k) = 0 x ∈ [0, l]
u1 (0, y) = 0 u1 (l, y) = 0 y ∈ [0, k]

u(x,k)=0
u(0,y)=0
u(l,y)=0
0
l
u(x,0)=f1 (x)

 uxx + uyy = 0 en Ω = (0, l) × (0, k)
ii) 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 versión
u(x,k)=0
u(0,y)=0
u(l,y)=g2 (y)
0
l
u(x,0)=0

 uxx + uyy = 0 en Ω = (0, l) × (0, k)
iii) 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
0
l
u(x,0)=0

 uxx + uyy = 0 en Ω = (0, l) × (0, k)
iv) 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 versión
u(x,k)=0
u(0,y)=g1 (y)
u(l,y)=0
0
l
u(x,0)=0
Haremos la resolución para encontrar u2 (x, y), usando separación de variables y dejaremos
los otros tres casos como ejercicios.
Se tiene,

 uxx + uyy = 0 en (0, l) × (0, k)
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)
0
l
u(x,0)=0
77
Primera versión
Sea u2 (x, y) = M (x)N (y) tenemos:
u2x = M 0 (x)N (y)

u2xx = M 00 (x)N (y)
u2y = M (x)N 0 (y)
u2yy = M (x)N 00 (y)
Entonces se obtiene:
M 00 (x) N 00 (y)
M 00 (x)N (y) + M (x)N 00 (y) = 0 ⇒ M 00 (x)N (y) = −M (x)N 00 (y) ⇒ =− =λ
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 Sturm–Liouville
N 00 (y) + λN (y) = 0
N (0) = N (k) = 0
2 2 nπy

Los autovalores para este problema son λn = nb2π y las autofunciones: Nn (y) = sen k
.
2 2
Resolvemos ahora la EDO para M (x) con λn = nkπ2
Mn00 (x) − λn Mn (x) = 0,

esto implica que
Mn (x) = An enπx/k + Bn e−nπx/k

haciendo M (0) = 0, obtenemos
Mn (x) = An enπx/k − e−nπx/k

o bien
nπx nπx
Mn (x) = 2An senh = cn senh
k k
Por lo tanto,
78
Primera versión
nπx nπy
u2n (x, y) = cn senh sen
k k
Se tiene:
∞
X ∞
X nπx nπy
u2 (x, y) = u2n (x, y) = cn senh sen .
n=1 n=1
k k
Imponiendo ahora la condición inicial u2 (l, y) = g2 (y)
∞
X nπl nπy
g2 (y) = cn senh sen .
n=1
k k
nπl

Si hacemos Dn = cn senh k
, lo anterior queda:
∞
X nπy
g2 (y) = Dn sen .
n=1
k
Aquı́
Z b
2 nπy
Dn = g2 (y) sen dy,
k 0 k
y
Dn
cn = ,
senh nπl
k
luego
∞ nπx

X senh k
nπy
u2 (x, y) = Dn nπl
sen (31)
n=1
senh k
k
con
Z k
2 nπy
Dn = g2 (y) sen dy.
k 0 k
Observación: De forma análoga se resuelven los otros tres casos. Luego, la solución del
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.
Como estamos buscando la solución de estado estacionario, el tiempo no influirá en este
problema y, por tanto, no se necesita ninguna condición inicial. Haciendo u(x, y) = X(x) Y (y),
encontamos que la ecuación (??) se vuelve,
X 00 Y + X Y 00 = 0,
que puede escribirse en forma separada como:
79
Primera versión
X 00 Y 00
=− = −λ (32)
X Y
Obteniendo ası́ las ecuaciones,
X 00 + λX = 0,
(33)
Y 00 − λY = 0.
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 nπx
l
, n ≥ 1.
Resolvemos ahora la ecuación diferencial para Y (y):
2 2
0 nπ
Y (y) + Y (y) = 0
l2
cuya solución general es

nπy
Yn (y) = Bn e( l ) + C e(− nπy
l ).
n
Como Y (0) = 0, se tiene que Bn = −Cn y se puede reescribir Yn como

nπy
Yn (y) = B senh .
l
∞ nπx
X nπy
Luego: u(x, y) = Dn sen .
senh
n=1
l l
Usando la condición u(x, k) = 100, se obtiene:
∞ nπx
X nπy
100 = Dn sen senh , 0 < x < l,
n=1
l l
que es una serie de Fourier de senos, exigiendo que extendamos la condición de contorno
u(x, k) al intervalo −l < x < l como una función periódica impar de periodo 2l, continua por
tramos y con derivada continuapor tramos. Claramente la función

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 nπkl
debe ser igual al
n-ésimo coeficiente de Fourier de f (x):
Z l nπx
nπk 1
Dn senh l = l f (x) sen dx
−l Z l
0
100 l
nπx Z nπx
100
= − l sen dx + sen dx
−l l l 0 l
= 200nπ
(1 − cos nπ)
200
= nπ
[1 − (−1)n ].
En consecuencia, D2k = 0, mientras que
80
Primera versión
400
D2k+1 = ,
(2k+1)πk
π(2k + 1) senh l
ası́ que la solución está dada por

400 sen( πx
l )
senh( πy
l )
sen( 3πx
l )
senh( 3πy
l )
u(x, y) = π senh( πk
+ 3 senh( 3πk
+ ···
l ) l )

(2n−1)πx
∞
X sen l
senh (2n−1)πy
l
400
= π

(2n−1)πk
n=1 (2n − 1) senh l
Ejemplo 7.2. Considere el problema de Dirichlet



 uxx + uyy = 0 para 0 < x < l, 0 < y < k,
u(x, 0) = 0 para 0 ≤ x ≤ l,


 u(0, y) = u(l, y) = 0 para 0 ≤ y ≤ k,
u(x, k = (l − x) sen(x) para 0 ≤ x ≤ l.

Solución
La figura muestra la región y los valores en la frontera
u(x,k)=(l−k) sin(x)
u(0,y)=0
u(l,y)=0
0
l
u(x,0)=0
Tomemos u(x, y) = X(x)Y (y), sustituyendo en la ecuación de Laplace obtenemos
X 00 Y 00
=− = −λ (34)
X Y
Obteniendo ası́ las ecuaciones,
81
Primera versión
X 00 + λX = 0,
(35)
Y 00 − λY = 0.
X 00 + λX = 0,
X(0) = X(l) = 0,
2 2
cuyos autovalores son λn = n l2π y autofunciones Xn (x) = A sen nπx
l
, n ≥ 1.
Resolvemos ahora la ecuación diferencial para Y (y):
2 2
0 nπ
Y (y) − Y (y) = 0, Y (0) = 0.
l2
La soluciones de este problema son múltiplos constantes de senh(nπy/l).

Para cada entero positivo n = 1, 2, · · · ahora tiene funciones
nπx nπy
un (x, y) = Bn sen senh ,
l l
que son armónicas en el rectángulo y satisfacen la condición de que valen cero en los
lados izquierdo, inferior y derecho del rectángulo. Para satisfacer la condición en la frontera
en el lado y = k, debe usar la superposición
∞
X nπx nπy
u(x, y) = Bn sen senh .
n=1
l l
Los coeficientes se elijen de manera que
∞ nπx
X nπk
u(x, k) = Bn sen senh = (l − x) sen(x).
n=1
l l
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πε
nπk
2
Bn senh l = l (l − ε) sen(ε) sen dε
0 l
nπ[1 − (−1)n cos(l)]

= 4l2 .
l4 − 2l2 n2 π 2 + n4 π 4
Entonces
4l2 nπ[1 − (−1)n cos(l)]

Bn = .
senh(nπk/l) (l2 − n2 π 2 )2
La solución es
∞
X 4l2 nπ[1 − (−1)n cos(l)] nπx nπy
u(x, y) = sen senh
n=1
senh(nπk/l) (l2 − n2 π 2 )2 l l
82
Primera versión
Ejemplo 7.3. Considere la distribución de temperatura u(x, y, t) en una placa rectángular,

plana homogénea que cubre la región 0 ≤ x ≤ 1, 0 ≤ y ≤ 1 en el plano. Los lados se
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
 h 2 i
1 ∂u ∂ u ∂2u
 = ∂x2 + ∂y2 para 0 ≤ x ≤ 1, 0 ≤ y ≤ 1, t > 0,
 ϕ ∂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 separación.
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(nπx), n ≥ 1,
y
µm = m2 π 2 , Ym (y) = sen(mπy), n ≥ 1.
El problema para Z es
Z 0 + (n2 + m2 )π 2 kZ = 0
con solución general
2 +m2 )π 2 kt
Znm (t) = cnm e−(n .
Para cada entero positivo n y cada entero positivivo m, ahora tiene las funciones
2 +m2 )π 2 kt
unm (x, y, t) = cnm sen(nπx) sen(mπy)e−(n
que satisface la ecuación de calor y las condiciones de frontera. Luego
∞ X
X ∞
2 +m2 )π 2 kt
u(x, y, t) = cnm sen(nπx) sen(mπy)e−(n .
n=1 m=1
Se debe elegir los coeficientes de manera que

∞ X
X ∞
2
u(x, y, 0) = x(1 − x )y(1 − y) = cnm sen(nπx) sen(mπy).
n=1 m=1
Donde cnm es de la forma,
83
Primera versión
Z 1 Z 1
cnm = 4 x(1 − x2 )y(1 − y) sen(nπx) sen(mπy)
0 0
Z 1 Z 1
2
= 4 x(1 − x ) sen(nπx) dx y(1 − y) sen(mπy) dy
0 0
(−1)n (−1)m − 1

= 48 .
n3 π 3 m3 π 3
Por lo tanto la solución es:
∞ ∞
(−1)n (−1)m − 1

48 X X 2 +m2 )π 2 kt
u(x, y, t) = 6 sen(nπx) sen(mπy)e−(n
π n=1 m=1 n3 m3

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 x (1, t)
= 0, t>0
 3πx
 u(x, 0) = 4 sen , 0<x<1


2
Solución: 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).
Reemplazando en la ecuación 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
3πx
v(x, 0) + q(x) = 4 sen , 0<x<1
2
Para que el problema quede homogéneo, q(x) debe satisfacer la ecuación diferencial
ordinaria de segundo orden
πx
q 00 (x) = 2 sen , q(0) = 0, q 0 (1) = 0
2
−8 πx
La solución de esta ecuación es q(x) = 2 sen
π 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 3πx
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
ecuación nos queda M (x)N 0 (t) = M 00 (x) N (t).
M 00 (x) N 0 (t)
Entonces = = −λ, de donde se obtienen las dos ecuaciones diferenciales
M (x) N (t)
ordinarias
84
Primera versión
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)π
cuyos autovalores son λn = y autofunciones Mn (x) = sen x .
4 2
!
(2n−1)2 π 2
− 4 t
Por otra parte, la solución de la ecuación para N (t) es Nn (t) = Cn e
Por lo tanto
∞
!
(2n−1)2 π 2
X − 4 t
v(x, t) = Cn e sen ( (2n−1)π
2 x)
n=1
X ∞
8 πx 3πx (2n − 1)π
Como v(x, 0) = 2 sen + 4 sen = Cn sen x se tiene
π 2 2 n=1
2
8
C1 = 2 , C2 = 4, Cn = 0 para todo n ≥ 3.
π
8 −π2 t/4 πx
−9π 2 t/4 3πx
Por tanto v(x, t) = 2 e sen + 4e sen
π 2 2
La solución de la ecuación original queda

8 −π2 t/4 πx
−9π 2 t/4 3πx 8 πx
u(x, t) = 2 e sen + 4e sen − 2 sen
π 2 2 π 2
Por lo tanto
√
1 2 8 −π2 −9π 2 8
u ,4 = e + 4e − 2
2 2 π2 π
Ejemplo 7.5. Resuelva


 uxx + u = utt , 0 < x < 1, t > 0
u(0, t) = u(1, t) = 0, t>0
u(x, 0) = 1, ux (x, 1) = 1, 0<x<1

Solución: Hacemos u(x, t) = M (x)N (t), se tiene uxx = M 00 (x)N (t), utt = M (x)N 00 (t).
Reemplazando en la ecuación
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 versión
λn = n2 π 2 − 1, Mn (x) = sen(nπx)
A su vez, la solución de la ecuación para N (t) es
√ √
Nn (t) = An cos( n2 π 2 − 1 t) + Bn sen( n2 π 2 − 1 t)
Por lo tanto la solución formal de la ecuación queda
∞
X √ √
u(x, t) = An cos( n2 π 2 − 1 t) + Bn sen( n2 π 2 − 1 t) sen(nπx)
n=1
Solo nos resta calcular An y Bn . Ocupando las condiciones iniciales:

∞ 1
2((−1)n+1 + 1)
X Z
u(x, 0) = 1 = An sen(nπx) =⇒ An = 2 sen(nπx)dx =
n=1 0 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(nπx)
n=1
y entonces
∞
X √ √ √ √
ut (x, 1) = 1 = 2 2 2 2 2 2 2 2
− n π − 1 An sen( n π − 1) + n π − 1 Bn cos( n π − 1) sen(nπx)
n=1
√ √ √ √ Z 1
2 2 2 2 2 2 2 2
=⇒ − n π − 1 An sen( n π − 1)+ n π − 1 Bn cos( n π − 1) = 2 sen(nπx)dx =
0
2((−1)n+1 + 1)
nπ
Esto implica que
2((−1)n+1 + 1) √ 2 2 √

1
Bn = √ √ + n π − 1 An sen( n2 π 2 − 1)
n2 π 2 − 1 cos( n2 π 2 − 1) nπ
Problema 5: Resolver
 π
 utt = uxx + 1, 0<x< , t>0


 π 2π
u(0, t) = 1, ux ,t = −
2 2
1


2
u(x, 0) = −x + πx, ut (x, 0) = 0


2
Ayuda: use
Z 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 versión
Solución: utt = wtt y uxx = wxx + P 00 (x). Para que la ecuación sea homogénea, hacemos
2
P 00 (x) = −1 obteniendo P (x) = − x2 + 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
x2 π x2 π
u(x, 0) = w(x, 0) − + 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< , t>0
2
π
w(0, t) = wx ( , t) = 0
2
2
x π
w(x, 0) = − + x − 1, wt (x, 0) = 0
2 2
Sea w(x, t) = M (x)N (t), reemplazando en la ecuación, obtenemos
M 00 (x) + λM (x) = 0
y N 00 (t) + λN (t) = 0
M (0) = M 0 ( π2 ) = 0
Los autovalores y autofunciones del problema de Sturm-Liouville son
λn = (2n + 1)2 y Mn (x) = sen(2n + 1)x, ∀n≥0
Por lo tanto, la solución formal de la ecuación es

∞
X
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

∞ π
x2 π x2 π
Z
X 4 2
− + x − 1 = w(x, 0) = an sen(2n + 1)x =⇒ an = (− + x − 1) sen(2n + 1)x dx
2 2 n=0
π 0 2 2
Usando las fórmulas dadas, obtenemos

Z π
2
2 1 2 n π
−x sen(2n + 1)x dx = − (−1)
0 2 (2n + 1)3 (2n + 1)2
Z π
2 π
πx sen(2n + 1)x dx = (−1)n
0 (2n + 1)2
87
Primera versión
Z π
2 1
sen(2n + 1)x dx =
0 2n + 1
Por lo tanto,
4 1 1
an = 3
−
π (2n + 1) 2n + 1
Derivando la solución formal con respecto a t, obtenemos
∞
X
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
∞
X
wt (x, 0) = bn (2n + 1) sen(2n + 1)x = 0 =⇒ bn = 0, ∀ n ≥ 0
n=0
Luego, la solución de la ecuación es

∞
x2 X 4

1 1
u(x, t) = 1 − + − cos(2n + 1)t sen(2n + 1)x
2 n=0
π (2n + 1)3 2n + 1
Ejemplo 7.6. Resolver el problema:


 ut = uxx + 14 u 0 ≤ x ≤ 3, t ≥ 0
ux (0, t) = ux (3, t) = 0, t ≥ 0
u(x, 0) = 1 + 9x2 − 2x3 , 0 ≤ x ≤ 3

Solución. Tomando u(x, t) = M (x) N (t). Derivando y luego reemplazando en la ecuación

se obtiene
1
M (x) N 0 (t) = M 00 (x) N (t) + 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
0 1 .
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 nπx

cuyos autovalores son λn = 9
y autofunciones Mn (x) = cos 3
n ≥ 0.
88
Primera versión
Resolvemos ahora la ecuación diferencial para N (t):

2 2
0 nπ 1
N (t) + − N (t) = 0
9 4

2 2

1
− n 9π t
Nn (t) = An e 4
,
La solución de la ecuación queda entonces:
∞ nπ
t 2 π2
−n
X
t
u(x, t) = e 4 An e 9 cos x
n=0
3
La condición inicial u(x, 0) = 1 + 9x2 − 2x3 = ∞

P nπ

n=0 A n cos 3
x
de donde
Z 3 n π
An = (1 + 9x2 − 2x3 ) cos x dx
0 " 3 #
3 Z 3
3 n π
(3x − x2 ) sen

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

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


 ∆u = 0 0 < r < R, −π < θ < πθ
u(R, θ) = S, 0 < θ < π
u(R, θ) = S, −π < θ < 0.

1. Usando se paración de variables u(r, θ) = R(r)S(θ), pruebe que
r ∂ S 00
(rR0 ) = − = λ ≡ cte.
R ∂r S
2. Imponga las condiciones de periodicidad S(−π) = S(π) y S 0 (−π) = S 0 (π), para encon-
trar una familia numerable de soluciones Θk = ak cos(kθ)+bk sen(kθ), k = 0, 1, 2, · · · (conλ =
k 2 ).
89
Primera versión
3. Para λ = k 2 considere soluciones del tipo R(r) = rp e imponga la condición |R(0)| < +∞
para encontrar el Rk (r) correspondiente.
4. Imponga las condiciones de borde u(R, θ) = ±S para encontrar u.
Solución
1. Tenemos que
1 ∂ 2u

1 ∂ ∂u
r + 2 2 =0
r ∂r ∂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
2. Del item anterior se obtuvo la ecuación diferencial

√ √
S 00 = −λS ⇒ S = A ei λθ
+ B e−i λθ
√ √ √ √
S(π) = S(−π) ⇒ A ei λπ + B
√
e−i λπ = A e−i λπ√
+ B ei λπ
⇒ (A − B) ei λ π =√ (A − B) e−i λ π
⇒ (A − B) ⇒ (e2i λ π − 1) = 0
√ √ √ √ √ √ √ √
S 0 (π) = S 0 (−π) ⇒ i λA ei λπ√
− i λB e −i λπ
=
√
i λA e−i λπ
− i λB e i λπ
⇒ (A + B) ei λ√π = (A + B) e−i λ π
⇒ (A + B) (e2i λ π − 1) = 0
Luego, la familia de soluciones es:

√
a) e2i λπ
− 1 = 0 ⇒ λ = k2 k ∈ N
√ A−B =0
b) e2i λπ
− 1 6= 0 ⇒ ⇒ A = B = 0 ⇒ solución trivial
A+B =0
Entonces
Sk = Ak ei k θ + B e−i k θ = Ak cos kθ + Bk sen kθ, k = 0, 1, 2, · · · θ
90
Primera versión
3. Se tiene:
r ∂ 1 ∂ p p2 rp−1
R(r) = rp ⇒ p
(r p r p−1
) = p−1
p (r ) = p−1
= λ = k 2 ⇒ p = ±k,
r ∂r r ∂r r
luego, R(r) = rk ∨ r−k ,

imponiendo la condición |R(0)| < +∞ ⇒ p = k ⇒ Rk (r) = rk .
Luego,
uk (r, θ) = rk [Ak cos kθ + Bk sen kθ]
4. Imponiendo las condiciones de borde

  π
 −S si θ ∈ (−π, 0)  − 4 si θ ∈ (−π, 0)
4S
u(R, θ) = = π
π
S si θ ∈ (0, π) si θ ∈ (0, π)
 
4
∞
4S
X sen(2n + 1) θ
= π
,
n=0
(2n + 1)
luego, nuestra solución es,
∞ ∞
X
k 4 S X sen(2n + 1) θ
u(r, θ) = r [Ak cos kθ + Bk sen kθ] = ,
n=0
π n=0 (2n + 1)
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, θ) =
n=0
R π (2n + 1)
Ejemplo 7.8. Una barra homogénea de 3 metros de longitud y difusibilidad 0.3, se saca de
un horno de modo que la distribución de temperatura de la barra es 4x + 5. Rápidamente
se aisla su manto y sus extremos se mantienen a 5◦ C. Hallar la distribución de temperatura
u(x, t) de la barra para cualquier instante t > 0 d cualquier punto x de ella.
Indicación: Haga un cambio de función de la forma u(x, t) = v(x, t) + A.
Solución
El problema queda modelado por la siguiente ecuación,
91
Primera versión

 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
Luego, tomando v(x, t) = M (x)N (t), y reemplazando en la ecuación se obtienen las
siguientes ecuaciones diferenciales ordinarias,
00
M (x) + λM (x) = 0
N 0 (t) + 0,3λN (t) = 0
M (0) = M (3) = 0
con autovalores y autofunciones,
n2 π 2 nπ
λn = , Mn (x) = sen x , n = 1, 2, 3, · · · .
32 3
Reemplazando este valor de λ en la ecuación en t, se obtiene,
n2 π 2
Nn0 (t) + N (t) = 0,
32
n2 π 2
Nn (t) = An e− 32
t
.
Luego nuestra solución formal está dada por,
∞ nπ
X n2 π 2
v(x, t) = An e− 32
t
sen x .
n=1
3
Imponiendo las condiciones iniciales,
∞
X nπ
4x = v(x, 0) = An sen x .
n=1
3
lo que implica
92
Primera versión
Z 3
2 nπ
An = 4ε sen ε dε
3 0 3
nπ 3
8 3ε nπ 9
= − cos ε + 2 2 sen ε

3 nπ 3 nπ 3 0
24
= − (−1)n .
nπ
Luego,
∞
24 X (−1)n − n22π2 t nπ
v(x, t) = − e 3 sen x .
π n=1 n 3
Por lo tanto nuestra solución es:
∞
24 X (−1)n − n22π2 t nπ
u(x, t) = 5 − e 3 sen x .
π n=1 n 3
Ejercicios
1. Una lámina cuadrada cuyos lados son de longitud L tiene ambas caras aisladas. El
borde horizontal superior se mantiene a 50◦ C, mientras que los demás bordes están 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 están dadas por
T (x, L) = x(L − x)
con las demás condiciones iguales, ¿qué será T (x, y)?.
3. Resuelva la ecuación de Laplace para una placa rectangular con las condiciones en la
frontera dadas.
u(0, y) = 0, u(a, y) = 0
a)
u(x, 0) = 0, u(x, b) = f (x)
u(0, y) = 0, u(a, y) = 0
b)
uy (x, 0) = 0, u(x, b) = f (x)
u(0, y) = 0, u(a, y) = 0
c)
u(x, 0) = f (x), u(x, b) = 0
u(0, y) = 0, u(1, y) = 1 − y
d)
uy (x, 0) = 0, uy (x, 1) = 0
u(0, y) = 0, u(1, y) = 0
e)
uy (x, 0) = u(x, 0), u(x, 1) = f (x)
u(0, y) = 0, u(1, y) = 0
f)
u(x, 0) = 100, u(x, 1) = 200
93
Primera versión
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
h i
∂2u ∂2u
5. Resuelva la ecuación del calor ϕ1 ∂u
∂t
= ∂x2
+ ∂y 2
sujeta a las condiciones dadas en los
problemas

 u(0, y, t) = 0, u(π, y, t) = 0
a) u(x, 0, t) = 0, u(x, π, t) = 0
u(x, y, 0) = u0


∂u ∂u

 ∂x
= 0, ∂x =0

 x=0 x=1

b)
∂u

∂u

 ∂y
= 0, ∂y =0


 y=0 y=1
u(x, y, 0) = xy
Ecuación de Laplace en el disco
Resolvemos ahora el problema


 u ∈ C 2 (Ω) ∩ C(Ω)
∆u = 0
u|∂Ω = f, f ∈ C(∂Ω)

donde Ω = {(x, y) : x2 + y 2 < 1}

No podemos usar inmediatamente el método de separación de variables pues aquı́ la
región Ω no se puede escribir como producto I × J de intervalos I, J ⊆ R.
Para evitar esta dificultad escribimos las coordenadas x e y de manera polar:
x = r cos θ,
y = r sen θ.
94
Primera versión
Haciendo v(r, θ) = u(x, y) obtenemos, cuando r 6= 0:

1 1
∆u = vrr + vr + 2 vθθ .
r r
El problema queda entonces
1 1
urr + ur + 2 uθθ = 0
r r
y además, 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 (θ) lı́mr→0 u(r, θ) < ∞


 u(r, θ) = u(r, 2π)
uθ (r, 0) = uθ (r, 2π)

Usaremos separación de variables u(r, θ) = M (r)N (θ). Se obtiene entonces

1 0 1
M 00 (r)N (θ) + M (r)N (θ) + 2 M (r)N 00 (θ) = 0
r r
luego,
M 0 (r) N 00 (θ)

00 1
M (r) + r2 = −
r M (r) N (θ)
,
r2 M 00 (r) + rM 0 (r) N 00 (θ)
= − =λ
M (r) 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 Sturm–Liouville
 00
 N (θ) + λN (θ) = 0
N (0) = N (2π)
 0
N (0) = N 0 (2π)
Calcular autovalores y autofunciones de este problema y también encontrar la solución
de la ecuación de Euler:
r2 M 00 (r) + rM 0 (r) − λM (r) = 0.

∆u = 0, 0 ≤ r < a, 0 ≤ θ ≤ 2π
u(a, θ) = f (θ)
Si tomamos,
95
Primera versión
x = r cos θ, y = r sen θ
se obtiene


 ux = ur rx + uθ θx
uxx = (urr rx + urθ θx )rx + ur rxx (uθr rx + uθθ θx )θx + uθ θxx


 uy = ur ry + uθ θy
uyy = (urr + ry + urθ θy )ry + ur ryy + (uθr ry + uθθ θy )θy + uθ θyy

Simplificando se obtiene
1 1
ur + 2 uθθ
uxx + uyy = urr +
r r
Además el problema debe satisfacer las condiciones de periodicidad
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, 0 < θ < 2π
u(a, θ) = f (θ)


 u(r, 0) = u(r, 2π)
uθ (r, 0) = uθ (r, 2π)

Usamos separación de variables: u(r, θ) = M (r)N (θ)
urr = M 00 (r)N (θ)

ur = M 0 (r)N (θ)
uθθ = M (r)N 00 (θ)
Reemplazando en la ecuación, se obtiene
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 versión
√ √
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
autofunción asociada,
N0 (θ) = 1.
Si λ 6= 0, tenemos el sistema siguiente:
√ √ √
a = a cos 2π λ + b sen 2π λ / sen 2π λ
√ √ √
b = −a sen 2π λ + b cos 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π, n∈N⇒ λ = 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 versión
Resolvamos ahora el problema para M (r):
r2 M 00 (r) + rM 0 (r) − λM (r) = 0
Si λ = 0 : r2 M 00 (r) + rM 0 (r) = 0 cuya solución M0 = A0 ln(r) + B0

Si λ 6= 0 : r2 M 00 (r) + rM 0 (r) − λM (r) = 0 que es una ecuación de Euler, cuya solución es:
M (r) = c rn + d r−n
Si λ = n2 :
Mn (r) = cn rn + dn r−n
P∞
u(r, θ) = n=0 un (r, θ)
P∞
= u0 (r, θ) + n=1 un (r, θ)
P∞ P∞
= An ln r + B0 + n=1 (cn rn + dn r−n ) cos(nθ) + n=1 (en rn + fn r−n ) sen(nθ)
Ahora, el problema dice que lı́m u(r, θ) < ∞, entonces

r→0

 A0 = 0, B0 X
∞ X∞
dn = 0, de donde u(r, θ) = + cn rn cos(nθ) + en rn sen(nθ)
2
fn = 0

n=1 n=1
Imponiendo la condición inicial

∞ ∞
B0 X n
X
u(a, θ) = f (θ) = + cn a cos(nθ) + en an sen(nθ)
2 n=1 n=1
donde
2π 2π 2π
a−n a−n
Z Z Z
1
B0 = f (s) dscn = f (s) cos(ns) dsen = f (s) sen(ns) ds
π 0 π 0 π 0
Obtenemos, finalmente:
Z 2π ∞ Z 2π
1 X r n
u(r, θ) = f (s) ds + f (s) cos(ns) ds cos(nθ)
2π 0 n=1
a 0
∞ Z 2π
X r n
+ f (s) sen(ns) ds sen(nθ).
n=1
a 0
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 versión
La ecuación de Laplace en coordenadas polares es

1 1
urr + ur + 2 uθθ ,
r r
que tiene soluciones de la forma
∞
1 X
u(r, θ) = a0 + an rn cos(nθ)bn rn sen(nθ).
2 n=1
Para satisfacer la condición de frontera, se necesita elegir los coeficientes de manera que
∞
1 X
u(r, θ) = f (θ) = a0 + an Rn cos(nθ)bn Rn sen(nθ),
2 n=1
donde a0 , an y bn son los coeficientes de Fourier de la función f (θ) en el intervalo [−π, π],
luego
Z π
1
a0 = π f (ε) dε
−π
Z π
n 1
an R = π
f (ε) cos(nε) dε
−π
Z π
bn R n
= bn π1 f (ε) sen(nε) dε.
−π
Entonces
Z π
1
an = πRn
f (ε) cos(nε) dε
−π
Z π
1
bn = πRn
f (ε) sen(nε) dε.
−π
Luego, la solución es:
Z π
1
u(r, θ) = 2π
f (ε) dε
−π
∞ Z π Z π
X r n
+ π1 f (ε) cos(nε) dε cos(nθ) + f (ε) sen(nε) dε sen(nθ) .
n=1
R −π −π
o
" ∞
#
Z π
1 X r n
u(r, θ) = 1+2 cos(n(ε − θ)) f (ε) dε.
2π −π n=1
R
99
Primera versión
Ejemplo 7.10. Resuelva el problema de Dirichlet

2
∇ u(r, θ) = 0 para 0 ≤ r ≤ 4, −π ≤ θ ≤ π,
u(4, θ) = f (θ) = θ2 para − π ≤ θ ≤ π.
Tomando la solución del ejercicio anterior, se obtiene

π ∞
1 X r n π 2
Z Z
1 2
u(r, θ) = ε dε + ε cos(n(ε − θ)) dε
2π −π π n=1 4 −π
∞
1 2 X 4(−1)n r n
= π + cos(nθ).
3 n=1
n2 4
Ejemplo 7.11. Resuelva

1 1

π
 urr + ur +
 uθθ = 0, 1 < r < 2, 0<θ< 2
r r2 π
 uθ (r, 0) = uθ r, 2 = 0, 1<r<2
π
0≤θ≤

u(1, θ) = 0, ur (2, θ) = θ, 2
Solución: Sea u(r, θ) = M (r) N (θ). Entonces
ur = M 0 (r) N (θ), urr = M 00 (r) N (θ)

uθ = M (r) N 0 (θ), uθθ = M (r) N 00 (θ)
reemplazando en la ecuación se obtiene
r2 M 00 (r)N (θ) + rM 0 (r)N (θ) + M (r)N (θ) = 0
r2 M 00 (r) + rM 0 (r) N 00 (θ)

de donde = = −λ.
−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
λ0 = 0, λn = 4n2
y respectivas autofunciones
N0 (θ) = 1, Nn (θ) = cos(2nθ)
Resolvemos la ecuación diferencial para M (r):

(i) para λ = 0, M0 (r) = A0 + B0 ln(r)
100
Primera versión
(ii) para λ = 4n2 , Mn (r) = An r2n + Bn r−2n

La solución formal de la ecuación queda entonces
∞
X
An r2n + Bn r−2n cos(2nθ)

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θ)
implica que A0 = 0 y Bn = −An para todo n.
De esta manera
∞
X
An r2n − r−2n cos(2nθ)

u(r, θ) = B0 ln(r) +
n=1
A partir de esta última

∞
B0 X
An 2nr2n−1 + 2nr−2n−1 cos(2nθ)

ur (r, θ) = +
r n=1
y entonces
∞
B0 X
An n22n + n2−2n cos(2nθ)

ur (2, θ) = θ =⇒ θ = +
2 n=1
donde Z
2 π/2 π
B0 = π θ dθ =
2 0
2
2 π/2
Z
2n −2n
An n2 + n2 = π θ cos(2nθ) dθ
2 0
Resolviendo esta integral nos queda
1 n 0 si n par
An = 3 ((−1) − 1) = −2
n π (22n + 2−2n ) n3 π(22n +2−2n )
si n impar
Finalmente
∞
π 2X 1
r4n−2 − r−4n+2 cos((4n − 2)θ)

u(r, θ) = ln(r) − 3 4n−2 −4n+2
2 π n=1 (2n − 1) (2 +2 )
Ejemplo 7.12. Encontrar la solución del problema

 2 π

 r urr + r ur + uθθπ = 0, 1 < r < 2, 0 ≤ θ ≤ 2

uθ (r, 0) = uθ r, = 0, 1<r<2
 2 π
 u(1, θ) = 0, ur (2, θ) = θ, 0≤θ≤

2
ur = M 0 (r) N (θ), urr = M 00 (r) N (θ)

uθ = M (r) N 0 (θ), uθθ = M (r) N 00 (θ)
101
Primera versión
r2 M 00 (r)N (θ) + rM 0 (r)N (θ) + M (r)N (θ) = 0
r2 M 00 (r) + rM 0 (r) N 00 (θ)

de donde = = −λ.
−M (r) N (θ)
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
λ0 = 0, λn = 4n2
N0 (θ) = 1, Nn (θ) = cos(2nθ)

(i) para λ = 0, M0 (r) = A0 + B0 ln(r)
∞
X

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
∞
X

u(r, θ) = B0 ln(r) +
n=1

∞
B0 X

ur (r, θ) = +
r n=1
y entonces
∞
B0 X

ur (2, θ) = θ =⇒ θ = +
2 n=1
donde Z
2 π/2 π
B0 = π θ dθ =
2 0
2
2 π/2
Z
2n −2n
2 0
102
Primera versión

1 0 si n par
An = 3 ((−1)n − 1) = −2
2n
n π (2 + 2 )−2n
n3 π(22n +2−2n )
si n impar
Finalmente
∞
π 2X 1
r4n−2 − r−4n+2 cos((4n − 2)θ)

u(r, θ) = ln(r) − 3 4n−2 −4n+2
2 π n=1 (2n − 1) (2 +2 )
Ejemplo 7.13. Encuentre la solución u(r, θ) de la ecuación de Laplace


 r2 urr + rur + uθθ = 0, 0 ≤ θ ≤ 2π, r > 2
u(r, 0) = u(r, 2π), uθ (r, 0) = uθ (r, 2π) r>2
u(2, θ) = θ, lı́mr→∞ u(r, θ) < ∞

Solución: Para usar separación de variables, hacemos u(r, θ) = M (r) N (θ), de donde
ur = M 0 (r) N (θ), urr = M 00 (r) N (θ), Uθ = M (r) N 0 (θ), uθθ = M (r) N 00 (θ).
Reemplazando en la ecuación, obtenemos
r2 M 00 (r) N (θ) + r M 0 (r) N (θ) + M (r) N (θ) = 0
r2 M (r) + r M (r) N 00 (θ)

Esto implica que = = −λ.
−M (r) N (θ)
A partir de las condiciones de periodicidad se obtiene el problema de Sturm-Liouville
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

Nn (θ) =
cos(nθ), ∀n ≥ 1
Resolvemos ahora la ecuación 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 r−n
Por lo tanto
∞ ∞
B0 X
−n
X
n
Cn rn + Dn r−n sen(nθ)

u(r, θ) = + A0 ln(r) + An r + Bn r cos(nθ) +
2 n=1 n=1
Como lı́m u(r, θ) < ∞, se debe cumplir que A0 = 0, An = 0, Cn = 0, y entonces

r→∞
∞
B0 X
u(r, θ) = + Bn r−n cos(nθ) + Dn r−n sen(nθ)
2 n=1
Usamos ahora la condicion inicial u(2, θ) = θ para calcular los coeficientes de esta serie:
∞
B0 X
θ= + Bn 2−n cos(nθ) + Dn 2−n sen(nθ)
2 n=1
103
Primera versión
donde Z 2π
2
B0 = θ dθ = 2π
2π 0
Z 2π
−n 2
Bn 2 = θ cos(nθ) dθ = 0
2π 0
Z 2π
−n 2 −2
Dn 2 = θ sen(nθ) dθ =
2π 0 2n
− 2n+1
Esta última igualdad implica que Dn =
n
Por lo tanto, la solución buscada es
∞
X − 2n+1
u(r, θ) = π + r−n sen(nθ)
n=1
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).
2. Encuentre una solución en serie para el problema de Dirichlet para un disco de radio
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θ
3. Escriba una solución para cada uno de los siguientes problemas de Dirichlet
a)
∇2 u(x, y) = 0 para x2 + y 2 < 16,
u(x, y) = x2 para x2 + y 2 = 16.
b)
∇2 u(x, y) = 0 para x2 + y 2 < 9,
u(x, y) = x2 para x2 + y 2 = 9.
4. a) Demuestre que la ecuación tridimensional de Laplace puede escribirse en coorde-

nadas esféricas en la forma:
2 1 cot ϕ 1
Trr + Tr + 2 Tϕϕ + 2 Tϕ + 2 Tθθ = 0
r r r r sen2 ϕ
b) Separe variables en la ecuación anterior para obtener las ecuaciones diferenciales

ordinarias

00 00 2 0 k2 0 0 k2 sen ϕ + k1
Θ + k1 Θ = 0, R + R + R = 0, [(sen ϕ)Φ ] − Φ = 0.
r r2 sen ϕ
104
Primera versión
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.
Solución
Según los datos del problema la solución tendrá la forma,
∞
X
u(x, t) = Tn (t) sen nx,
n=1
donde las funciones de t se obtienen sustituyendo
∞
X
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 0 1 si n = 3
Tn (t) = Tn (t) =
0 si n 6= 1; 6 3;
0 si n =
Z π
2
2
donde los coeficientes An = π x sen nx dx = (−1)n+1 .
0 n
105
Primera versión
La solución resulta
25 2

u(x, t) = (−2 sen t − 2 cos t + 2t) sen x + 81
sen 3t + 27
t sen 3x
∞
2(−1)n 2(−1)n
X
+ 4
sen nt + 3
t sen nx
n=2
n n
n6=3
2. Resolver por el método de separación de variables el siguiente problema: ut = uxx −

cos x, 0 < x < π; t > 0, con condiciones de contorno Newmann nulas y condición
inicial: u(x, 0) = −3 cos 4x; 0 < x < π.
Solución
El estudio del problema homogéneo asociado ut = uxx , 0 < x < 1; t > 0 junto con las
condiciones de contorno de Dirichlet nulas nos lleva a una solución del tipo
∞
X
u(x, t) = Tn (t) cos nx.
n=0
Para hallar Tn (t) imponemos la EDP inicial y la condición inicial. Es decir,
∞
X
[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:

−1 si n = 1
Tn0 (t) 2 2
+ n π Tn (t) =
0 si n 6= 1.
Además,
∞
X
u(x, 0) = Tn (0) cos nx = −3 cos 4x,
n=0
de donde

−3 si n = 4
Tn (0) =
0 si n 6= 4.
De donde se obtiene la solución,
u(x, t) = (−1 + e−t ) cos x − 3e−16t cos 4x.
106
Primera versión
3. Usando el método de separación de variables, resuelva el problema
1
 2 π
 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.

Z l  0 si n 6= k
2 1 nπ kπ
sen ln(x) sen ln(x) =
l 1 x l l
1 si n = k

y
Z l
α β
eαs sen(βs) ds = eα sen(β) + 2 [1 − eα cos(β)].
0 α2 +β 2 α + β2
Solución
Tomemos y(x, t) = M (x)N (t). Reemplazando en la ecuación, separando variables e
imponiendo las condiciones de borde, se obtienen las ecuaciones
x2 M 00 (x) + 41 + λ M (x) = 0

N 00 (t) + λN (t) = 0.
M (1) = M (eπ ) = 0
La ecuación para la variable x es una ecuación de Euler con ecuación caracterı́stica

2
1
m− = −λ.
2
Como λ es positivo, la solución general es
1
h √ √ i
M (x) = x 2 c1 cos λ ln(x) + c2 sen λ ln(x) .
Imponiendo las condiciones de borde se obtienen los autovalores y autofunciones
1
√
λn = n2 Mn (x) = x 2 sen λ ln(x) , n ≥ 1.
Luego, reemplazando en la ecuación en t obtenemos
Nn00 (t) + n2 Nn (t) = 0,
Nn (t) = an cos(nt) + bn sen(nt), ∀n ≥ 1.
Luego la solución formal es
107
Primera versión
∞
1
X
y(x, t) = x 2 [an cos(nt) + bn sen(nt)] sen(n ln(x)).
n=1
Imponiendo las condiciones iniciales a esta solución, se obtienen
∞
1
X
0 = y(x, 0) = x 2 an sen(n ln(x)),
n=1
lo que implica que an = 0, ∀n ≥ 1.

y
∞
1 1
X
= ut (x, 0) = x 2 n bn sen(n ln(x).
x n=1
la que se puede escribir como
∞
− 52
X
−1
x =x n bn sen(n ln(x),
n=1
y luego
Z eπ
2 5
k bk = x− 2 sen(k ln(x))dx
π 1
2 4k h − 32 π k
i
= 1 − e (−1) .
π 9 + 4k 2
Por lo tanto
8 1 h
− 32 π k
i
bk = 1−e (−1) ,
π 9 + 4k 2
quedando la solución como
∞
8 1 X 1 h
− 32 π n
i
y(x, t) = x2 2
1 − e (−1) sen(nt) sen(n ln(x)).
π n=1
9 + 4n
4. Utilice el método de separación de variables para obtener una solución de

 2
∂ u ∂u ∂ 2u

 2
+ 2 + u = 9 , 0 < x < 2, t > 0,



 ∂t ∂t ∂x2

 u(0, t) = u(2, t) = 0, t > 0,




u(x, 0) = x(2 − x), ut (x, 0) = 0, 0 < x < 2,
108
Primera versión
Solución
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,
1 N 00 (t) N 0 (t) M 00 (x)

+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 nπ
λn = ; Mn (x) = sen x , ∀n ≥ 1.
4 2
Reemplazando λ en la otra ecuación, se obtiene
n2 π 2

Nn00 (t) + 2Nn0 (t) + 1+9 Nn (t) = 0, ∀n ≥ 1
4
cuya solución general es,

−t 3nπ 3nπ
Nn (t) = e an sen t + bn cos t , n ≥ 1.
2 2
Luego,

−t 3nπ 3nπ nπ
un (x, t) = e an sen t + bn cos t sen x .
2 2 2
Entonces la solución formal es,
∞
−t
X 3nπ 3nπ nπ
u(x, t) = e an sen t + bn cos t sen x .
n=1
2 2 2
Ahora imponemos las condiciones iniciales, de donde se obtiene
∞
X nπ
x(2 − x) = u(x, 0) = cn sen x ,
n=1
2
∞
X 3nπ nπ
0 = ut (x, 0) = an − bn sen x .
n=1
2 2
109
Primera versión
Luego,
2
an = bn
3nπ
donde bn es el n-ésimo coeficiente de Fourier de la extensión impar de f (x) = x(2 − x)
al intervalo [−1, 1]. Por lo tanto,
Z 2 nπ
bn = ε(2 − ε) sen ε dε
0 2
2
nπ 2 Z 2 nπ
= −ε(2 − ε) cos ε + (2 − 2ε) cos ε dε

nπ 2 0 0 2
Z 2 nπ
4 nπ 2
= (2 − 2ε) sen ε +2 sen ε dε

n π2
2 2 0 0 2
16 nπ 2 16
= − cos ε = 3 3 [1 − (−1)n ],

3
nπ 3 2 0 nπ
donde
32
an = 4 4
[1 − (−1)n ].
3n π
Por lo tanto,
∞
16 −t X 1 n 2 3nπ 3nπ nπ
u(x, t) = 3 e (1 − (−1) ) sen t + cos t sen x .
π n=1
n3 3nπ 2 2 2
5. Resuelva la ecuación de ondas


 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

1 11

y calcule u ,
2 2
Solución
Tenemos que c = 2 y l = 2. Consideremos las funciones

f (x) = (x − 2) , g(x) = (x2 + 1) .

[0,2] [0,2]
Entonces la solución general es
110
Primera versión
Z x+ct
1 1
u(x, t) = [F (x + 2t) + F (x − 2t)] + G(ε)dε,
2 4 x−ct
donde F, G son las extenciones pares en 0 e impares en 2 de las funciones f, g respecti-

vamente.
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) =

 g(x) = x2 + 1 si 0≤x≤2
−g(4 − x) = −(4 − x)2 − 1 si 2≤x≤4

con
F (x + 8) = F (x) G(x + 8) = G(x), ∀x ∈ R.
Por otra parte

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

F 2
− 11 = F 2
− 3 = − 12 + 3 − 2 = 1
2
23 23
Z
2
Z −10 Z
2
G(ε)dε = G(ε)dε + G(ε)dε
− 21
2
− 21
2
6
Z 8+ 21 Z 1
2
= G(ε)dε = G(ε)dε
6+ 12 − 32
1 1
ε3
Z
2
2 2 19
= (ε + 1) dε = + ε 3 = .
− 23 3 −2 2
Luego,
111
Primera versión

1 11 1 3 1 1 19 43
u , = + + = .
2 2 2 2 2 4 6 24
6. Resolver el problema:

 ut = uxx + 41 u 0 ≤ x ≤ 3, t ≥ 0
ux (0, t) = ux (3, t) = 0, t ≥ 0
u(x, 0) = 1 + 9x2 − 2x3 , 0 ≤ x ≤ 3

Solución. Tomando u(x, t) = M (x) N (t). Derivando y luego reemplazando en la ecua-

ción se obtiene
1
M (x) N 0 (t) = M 00 (x) N (t) + M (x) N (t)
4
de donde
M 00 (x) N 0 (t) 1
= − = −λ
M (x) N (t) 4
M 00 (x) + λM (x)
=0
0 1 .
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 nπx

cuyos autovalores son λn = 9
y autofunciones Mn (x) = cos 3
n ≥ 0.
2 2
0 nπ 1
N (t) + − N (t) = 0
9 4
2 2

1
− n 9π t
Nn (t) = An e 4
,
∞ nπ
t n2 π 2
X
u(x, t) = e 4 An e− 9
t
cos x
n=0
3
112
Primera versión
P∞ nπ

La condición inicial u(x, 0) = 1 + 9x2 − 2x3 = n=0 An cos 3
x
de donde
Z 3 n π
An = (1 + 9x2 − 2x3 ) cos x dx
0 " 3 #
3 Z 3
3 n π
(3x − x2 ) sen

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

972 nπ
= cos 3 x
n4 π 4 0
972 n
= [(−1) − 1].
n4 π 4
Luego la solución es:
∞
972 t X (−1)n − 1 − n2 π2 t n π
u(x, t) = 4 e 4 e 9 cos x
π n=0
n4 3


 utt + ut + u = 9uxx 0 < x < 6, t>0
 u(0, t) = u(6, t) = 0

πx
u(x, 0) = 5 sen
2



ut (x, 0) = 0

Solución. Hacer
u(x, t) = M (x) N (t)
entonces
ux = M 0 (x) N (t) uxx = M 00 (x) N (t)

ut = M (x) N 0 (t) utt = M (x) N 00 (t)
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 versión
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
λn = , n≥1
36
y autofunciones
nπx
Mn (x) = sen n≥1
6
N 00 (t) + N 0 (t) + (1 + 9λ)N (t) = 0

√ √
− 21 t 3 + 36λ 3 + 36λ
N (t) = e a cos t + b sen t
2 2
√ ! √ !!
1 3 + n2 π 2 3 + n2 π 2
∴ Nn (t) = e− 2 t an cos t + bn sen t
2 2

∞
X
u(x, t) = Mn (x) Nn (t)
n=1
o sea,
∞ √ ! √ !!!
X
− 12 t 3 + n2 π 2 3 + n2 π 2 nπx
u(x, t) = e an cos t + bn sen t sen
n=1
2 2 6
Para calcular los coeficientes an y bn usamos las condiciones iniciales.

πx ∞
X nπx
u(x, 0) = 5 sen = an sen
2 n=1
6
de donde
a3 = 5, an = 0, ∀ n 6= 3
114
Primera versión
Por otro lado

∞
" √ ! √ !!
X 1 −1t 3 + n2 π 2 3 + n2 π 2
ut (x, t) = − e 2 an cos t + bn sen t
n=1
2 2 2
√ √ ! √ √ !!#
1 3 + n2π2 3 + n2π2 3 + n2π2 3 + n 2π2 nπx
+ e− 2 t −an sen t + bn cos t sen
2 2 2 2 6
Usando ut (x, 0) = 0 se obtiene
∞ √ !
X 1 3 + n2 π 2 nπ
0= − an + b n sen
n=1
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
5
b3 = √
3 + 9π 2
Para n 6= 3, bn = 0
Finalmente, la solución es:

√ ! √ !!
− 21 t 3 + 9π 2 1 3 + 9π 2 πx
u(x, t) = 5 e cos t +√ sen t sen
2 3 + 9π 2 2 2


 utt + ut + u = 9uxx 0 < x < 6, t > 0
 u(0, t) = u(6, t) = 0

24 πx 12 πx
 u(x, 0) = − sen + sen


 π 6 π 3
ut (x, 0) = x
115
Primera versión
Solución. Hacer
u(x, t) = M (x) N (t)
entonces
ux = M 0 (x) N (t) uxx = M 00 (x) N (t)

ut = M (x) N 0 (t) utt = M (x) N 00 (t)
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)
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
λn = , n≥1
36
y autofunciones
nπx
Mn (x) = sen n≥1
6
N 00 (t) + N 0 (t) + (1 + 9λ)N (t) = 0

√ √
− 21 t 3 + 36λ 3 + 36λ
N (t) = e a cos t + b sen t
2 2
√ ! √ !!
1 3 + n2 π 2 3 + n2 π 2
∴ Nn (t) = e− 2 t an cos t + bn sen t
2 2
116
Primera versión

∞
X
u(x, t) = Mn (x) Nn (t)
n=1
o sea,
∞ √ ! √ !!!
X
− 21 t 3 + n2 π 2 3 + n2 π 2 nπx
u(x, t) = e an cos t + bn sen t sen
n=1
2 2 6
Para calcular los coeficientes an y bn usamos las condiciones iniciales.

∞
24 πx 12 πx X nπx
u(x, 0) = − sen + sen = an sen
π 6 π 3 n=1
6
de donde
24 12
a1 = − , a2 = , an = 0, ∀ n ≥ 3
π π
Por otro lado
∞
" √ ! √ !!
X 1 −1t 3 + n2 π 2 3 + n2 π 2
ut (x, t) = − e 2 an cos t + bn sen t
n=1
2 2 2
√ √ ! √ √ !!#
1 3 + n2π2 3 + n2π2 3 + n2π2 3 + n 2π2 nπx
−2t
+e −an sen t + bn cos t sen
2 2 2 2 6
Usando ut (x, 0) = x se obtiene

∞ √ !
X 1 3 + n2 π 2 nπ
x= − an + b n sen
n=1
2 2 6
y entonces
√
3 + n2 π 2 2 6
Z
1 nπx
− an + b n = x sen dx
2 2 6 0 6
Integrando por partes

√ Z 6 nπx
1 3 + n2 π 2 1 6x nπx 6 6
− an + b n = − cos + cos dx

2 2 3 nπ 6 0 nπ 0 6
nπx 6
1 36 36 12
= − cos (nπ) + 2 2 sen = (−1)n+1

3 nπ nπ 6 0 nπ
Tenemos, entonces
√
1 3 + n2 π 2 12(−1)n+1
− an + b n =
2 2 nπ
117
Primera versión
lo que implica
√
3 + n2 π 2 12(−1)n+1 1
bn = + an
2 nπ 2
Entonces
12(−1)n+1 1

2
bn = √ + an
3 + n2 π 2 nπ 2
es decir,
24(−1)n+1 an
bn = √ +√
nπ 3 + n2 π 2 3 + n2 π 2
Reemplazando n = 1 y n = 2
24 24
b1 = √ − √ =0
π 3+π 2 π 3 + π2
24 a2 12 12
b2 = − √ +√ =− √ + √ =0
2π 3 + 4π 2 3 + 4π 2 π 3 + 4π 2 π 3 + 4π 2
Para n ≥ 3 (recuerde que an = 0 para n ≥ 3) se obtiene
24(−1)n+1
bn = √ ∀n ≥ 3
nπ 3 + n2 π 2
Finalmente, la solución es:

√ ! √ ! !
− 21 t 24 3 + π2 πx 12 3 + 4π 2 πx
u(x, t) = e cos t sen + cos t sen +
π 2 6 π 2 3
∞ n+1
√ !
X 1 24(−1) 3 + n 2π2 nπx
+ e− 2 t √ sen t sen
n=3
nπ 3 + n2 π 2 2 6
9. Se sabe que los autovalores y autofunciones del problema de Sturm-Liouville siguiente

(2n−1)2 π 2
y 00 + (λ − 1)y
= 0, y(0)
0
= 0, y (1) = 0, son, respectivamente λn = 4
+ 1,
(2n−1)π
yn (x) = sen 2
x . Use esa información para resolver


 utt + 2ut = uxx − u , 0 < x < 1, t > 0
u(0, t) = 0, ux (1, t) = 0 , t>0





 π 5π
u(x, 0) = 4 sen x + 2 sen x , t>0

2 2





 3π 3π 7π 7π
 ut (x, 0) = sen x + sen x , t>0


2 2 2 2
118
Primera versión
Solución: Hacemos u(x, t) = M (x)N (t). Entonces ux = M 0 (x) N (t), uxx = M 00 (x) N (t),
ut = M (x) N 0 (t) y utt = M (x) N 00 (t). Reemplazando en la ecuación
M (x) N 00 (t) + 2M (x) N 0 (t) = M 00 (x) N (t) − M (x) N (t)
De aquı́ se sigue que
M 00 (x) − M (x) N 00 (t) + 2N 0 (t)

= = −λ
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
(2n−1)2 π 2
cuyos
autovalores
y autofunciones son, respectivamente λn = 4
+ 1, yn (x) =
(2n−1)π
sen 2
x .
Resolvemos ahora la ecuación N 00 (t) + 2N 0 (t) + λN (t) = 0.
√
La ecuación caracterı́stica es k 2 + 2k + λ√
= 0 y la solución de ésta es k = −1 ± 1 − λ;
como λ > 1, las soluciones son k = 1 ± i λ − 1.
Por lo tanto
√ √
N (t) = e−t A cos( λ − 1 t) + B sen( λ − 1 t)
y entonces

−t (2n − 1)π (2n − 1)π
Nn (t) = e An cos t + Bn sen t
2 2
De este modo
∞
X
−t (2n − 1)π (2n − 1)π (2n − 1)π
u(x, t) = e An cos t + Bn sen t sen x
n=1
2 2 2
y también
h
ut (x, t) = ∞ −t (2n−1)π (2n−1)π
P
n=1 −e A n cos 2
t + B n sen 2
t +
i
e−t An −(2n−1)π
2
sen (2n−1)π
2
t + B n
(2n−1)π
2
cos (2n−1)π
2
t sen (2n−1)π
2
x
119
Primera versión
π
5π
Con la condición inicial u(x, 0) = 4 sen 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 n=1
2
de donde A1 = 4, 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
X ∞
3π 3π 7π 7π (2n − 1)π (2n − 1)π
sen x + sen x = −An + Bn sen x
2 2 2 2 n=1
2 2
Esto es equivalente a
3π 3π
7π 7π

2
sen 2
x + 2 sen 2
x = −A1 + π2 B1 sen
sen 3π
2
x π
2
x + −A2 + 3π
2
B2
∞
5π
5π
7π
7π
X (2n − 1)π
+ −A3 + 2 B3 sen 2 x + −A4 + 2 B4 sen 2 x + Bn sen x
n=5
2
es decir
3π 3π
7π 7π

2
sen 2
x + 2
sen 2
x = −4 + π2 B1 sen π
2
x + 3π
2
B2 sen 3π
2
x
∞
5π
5π
7π 7π
X (2n − 1)π
+ −2 + 2
B3 sen 2
x + 2
B4 sen 2
x + Bn sen x
n=5
2
Se obtienen las relaciones siguientes
π
−4 + 2
B1 = 0 =⇒ B1 = π8 , 3π
2
B2 = 3π
2
=⇒ B2 = 1,
5π 4 7π
−2 + 2
B3 = 0 =⇒ B3 = 5π , 2
B4 = 7π
2
=⇒ B4 = 1
y Bn = 0 para todo n ≥ 5.
Finalmente
u(x, t) = e−t

4 cos π2 t + π8 sen π2 t sen π2 x + sen 3π t sen 3π
x +
5π
4 π
5π
7π
2 7π
2
2 cos 2 t + 5π sen 2 t sen 2 x + sen 2 t sen 2 x
10. Encontrar la solución del problema

 2 π

 r urr + r ur + uθθπ = 0, 1 < r < 2, 0 ≤ θ ≤ 2

uθ (r, 0) = uθ r, = 0, 1<r<2
 2 π
u(1, θ) = 0, ur (2, θ) = θ, 0≤θ≤


2
ur = M 0 (r) N (θ), urr = M 00 (r) N (θ)

uθ = M (r) N 0 (θ), uθθ = M (r) N 00 (θ)
120
Primera versión
r2 M 00 (r)N (θ) + rM 0 (r)N (θ) + M (r)N (θ) = 0
r2 M 00 (r) + rM 0 (r) N 00 (θ)

de donde = = −λ.
−M (r) N (θ)
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
2
de Sturm-Liouville
N 00 (θ) + λN (θ) = 0
N 0 (0) = N 0 π2 = 0

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

(i) para λ = 0, M0 (r) = A0 + B0 ln(r)
∞
X

u(r, θ) = A0 + B0 ln(r) +
n=1
Usamos ahora las condiciones iniciales para encontrar los coeficientes:

u(1, θ) = 0 =⇒ 0 = A0 + ∞
P
n=1 (An + Bn ) cos(2nθ)
De esta manera
∞
X

u(r, θ) = B0 ln(r) +
n=1
∞
B0 X

ur (r, θ) = +
r n=1
y entonces
121
Primera versión
∞
B0 X

ur (2, θ) = θ =⇒ θ = +
2 n=1
donde
Z π/2
2 π
B0 = π θ dθ =
2 0 2
Z π/2
2n −2n
2
2 0

1 0 si n par
An = 3 ((−1)n − 1) = −2
n π (2 + 2−2n )
2n
n3 π(22n +2−2n )
si n impar
Finalmente
∞
π 2X 1 4n−2 −4n+2

u(r, θ) = ln(r) − r − r cos((4n − 2)θ)
2 π n=1 (2n − 1)3 (24n−2 + 2−4n+2 )
11. Encontrar los autovalores y autofunciones del problema
y 00 + 2y 0 + (λ + 2)y = 0, y(0) = 0, y(1) = 0
Solución: La ecuación es de coeficientes constantes y su ecuación caracterı́stica es
k 2 + 2k + (λ + 2) = 0
√
Las solución de esta ecuación de segundo grado es k = −1 ± −1 − λ
(i) Si −1 − λ < 0 (o sea, λ < −1) la solución es de la forma
√ √
y(x) = A e−1+ −1−λ
+ Be−1− −1−λ
√ √
−1+ −1−λ −1+ −1−λ
Ahora, y(0) = 0 =⇒ A+B = 0 =⇒ B = −A; de este modo y(x) = A e −e .
Usando la segunda condición
√ √
y(1) = 0 =⇒ Ae−1 e −1−λ − e −1−λ = 0
Si A 6= 0, entonces necesariamente λ = −1, lo cual es una contradicción. Por lo tanto, no
existen autovalores λ < −1.
(ii) Si λ = −1, entonces la ecuación tiene una raı́z de multiplicidad dos y la solucón de
la ecuación es
y(x) = Ae−x + Bxe−x
De y(0) = 0 se obtiene A = 0 y la solución tiene la forma y(x) = Bxe−x . Ahora,

y(1) = 0 =⇒ B = 0 y por lo tanto λ = −1 no es autovalor.
122
Primera versión
(iii) Si −1 − λ < 0 (es decir λ > −1), la solución de la ecuación queda

√ √
−x
y(x) = e A cos λ + 1x + B sen λ + 1x
√
De y(0) = 0 se obtiene A = 0, y la solución es de la forma y(x) = Be−x sen

λ + 1x
Ahora,
√
y(1) = 0 =⇒ Be−1 sen

λ+1 =0
√
y esto implica (suponiendo que B 6= 0) que λ + 1 = nπ, de donde λ = n2 π 2 − 1 son
los autovalores de la ecuación.
Las autofunciones están dadas por yn (x) = e−x sen (nπx)
1

12. Calcule u 2
,4 , donde u(x, t) satisface
 πx
 u t = u xx − 2 sen , 0 < x < 1, t > 0
2



u(0, t) = 0, u x (1, t)
= 0, t>0
 3πx
 u(x, 0) = 4 sen , 0<x<1


2
Solución: 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).
Reemplazando en la ecuación 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

3πx
v(x, 0) + q(x) = 4 sen , 0<x<1
2
Para que el problema quede homogéneo, q(x) debe satisfacer la ecuación diferencial
ordinaria de segundo orden
πx
q 00 (x) = 2 sen , q(0) = 0, q 0 (1) = 0
2
−8 πx
La solución de esta ecuación es q(x) = 2 sen
π 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 3πx
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
ecuación nos queda M (x)N 0 (t) = M 00 (x) N (t).
123
Primera versión
M 00 (x) N 0 (t)
Entonces = = −λ, de donde se obtienen las dos ecuaciones diferenciales
M (x) N (t)
ordinarias
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)π
cuyos autovalores son λn = y autofunciones Mn (x) = sen x .
4 2
!
(2n−1)2 π 2
− 4 t
Por otra parte, la solución de la ecuación para N (t) es Nn (t) = Cn e
Por lo tanto
∞
!
(2n−1)2 π 2
X − 4 t
v(x, t) = Cn e sen ( (2n−1)π
2 x)
n=1
∞
8 πx 3πx X (2n − 1)π
Como v(x, 0) = 2 sen + 4 sen = Cn sen x se tiene
π 2 2 n=1
2
8
C1 = , C2 = 4, Cn = 0 para todo n ≥ 3.
π2

8 −π2 t/4 πx
−9π 2 t/4 3πx
Por tanto v(x, t) = 2 e sen + 4e sen
π 2 2
La solución de la ecuación original queda

8 −π2 t/4 πx 2 3πx 8 πx
u(x, t) = 2 e sen + 4e−9π t/4 sen − 2 sen
π 2 2 π 2
Por lo tanto
√
1 2 8 −π2 −9π 2 8
u ,4 = e + 4e − 2
2 2 π2 π
124

Fourier y EDP PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Fourier y EDP PDF

Cargado por

Copyright:

Formatos disponibles

Matemáticas IV (MAT024)

Ecuaciones en derivadas parciales, apuntes no oficiales

Análisis de Fourier y Ecuaciones Diferenciales Parciales

donde, en el tiempo t0 y y(x, t0 ) representa la forma o posición de la cuerda. Es posible

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

y(0, t) = X(0)T (t) = 0 ⇒ X(0) = 0

ası́ los problemas son:

I) Si λ < 0 entonces la solución de la ecuación

(si c2 = 0 la solución serı́a X (x) = 0) ası́

tiene infinitas soluciones

yk (x, t) = Xk (x)Tk (t) k∈N

note que estos soluciones cumplen:

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

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? ¿Cómo se calcula su derivada?

estas funciones tienen cierta propiedad de ortogonalidad que analizaremos ahora.

Cuando trabajamos en Rn el producto punto es hx, yi = ni=1 xi yi donde x = (x1 , x2 , . . . , xn )

Observación 1.1. Si X1 , X2 son funciones tales que X100 = λ1 X1 y X200 = λ2 X2 con λ1 6= λ2 y

Ahora estudiaremos de manera más formal las Series de Fourier, convergencia,etc.

Ejemplo 1.1. En V = Rn , la función h·, ·i : V × V −→ R definida por

Ejemplo 1.2. En C[a, b] la función h·, ·i : C[a, b] × C[a, b] −→ R definida por

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

Definición 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 }k∈I es un conjunto ortogonal si < fk , gj >= 0,k 6= j

3. Diremos que {fk }k∈I es un conjunto ortonormal si es ortogonal y la norma de cada

Teorema 1.1. Sea {fk }N

Sea f ∈ V dado, ¿Cuál es la mejor aproximación que podemos hacer en V mediante un

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

donde {fk } es un conjunto ortonormal.

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

luego el mı́nimo valor de esta distancia es

que se alcanza en la combinación lineal de la forma

es la mejor aproximación de f ∈ V en el espacio.

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:

Corolario 1.1 (Desigualdad de Bessel). Si {fk }N k=1 es un conjunto ortonormal en V entonces

Definición 1.3. Diremos que {fk }∞

llamada identidad de Parseval.

Notemos que en tal caso

(esto se debe a que

Definición 1.4. Si {fk }∞

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

(en el sentido descrito anteriormente) y

Ejemplo 1.7. Las funciones

En SC[a, b] se define la función h·, ·i : SC[a, b] × SC[a, b] → R, tal que

esta función, convierte a SC [a, b] en un espacio con producto interior

Observación 1.2. C[a, b] ≤ P C[a, b].

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 fórmula de prostaféresis

notemos que en este contexto, la identidad de Parseval se ve como

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

Convergencia Puntual de series de Fourier

Determinemos la serie de Fourier de

es interesante notar que

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

Por convergencia puntual se entiende