Professional Documents
Culture Documents
Introducción
El análisis de Fourier surgió históricamente en conexión con problemas de mecánica,
como la conducción del calor y el movimiento ondulatorio.
Como introducción consideremos el siguiente problema: Considere una cuerda de longitud
L con extremos fijos que se deja vibrar libremente después de pulsarse la posición de la cuerda la
representamos usando una función y(x, t) donde x ∈ [0, L] y t es el tiempo.
∂ 2y 2
2∂ y
= c
∂t2 ∂x2
donde c es una constante determinada por la naturaleza de la cuerda y su tensión. Como los
extremos son fijos podemos poner
y(0, t) = y(L, t) = 0
aplicando el método de separación de variables, supongamos que y(x, t) = X (x) T (t) esto es
buscamos una solució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 matemática
Primera versión
∂2y 2
∂ y
luego, si ∂t2
= c2 ∂x 2 entonces
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
X 00 = λX (2)
X(0) = X(L) = 0
y
T 00 = c2 λT
pues bien:
X 00 = λX
es √ √
X (x) = c1 cos −λx + c2 sin −λx
2
Apuntes de matemática
Primera versió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 solución no nula, se debe tener
√
sin −λL = 0
II) Si λ = 0 entonces el problema (2) no tiene solució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 solución no nula.
III) Si λ > 0 entonces el problema (2) no tiene solución no nula, pues en este caso la solució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 solució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 única solución es X ≡ 0.
3
Apuntes de matemática
Primera versió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
Si queremos que la forma inicial sea y(x, 0) = f (x) (por ejemplo una pará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 ecuación de ondas entonces αy1 +βy2
también es solució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
Apuntes de matemática
Primera versión
+∞
X kπx
f (x) = Ak sin
k=1
L
pero en tal caso:
kπx
Las funciones Xk (x) = sin L
son soluciones de
X 00 = λX
X(0) = X(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
Apuntes de matemática
Primera versió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 demá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.
Series de Fourier
Definición 1.1. Sea V un espacio vectorial real. Diremos que la función h·, ·i : V × V −→ R
es un producto interior si cumple:
1. ∀f ∈ V , hf, f i ≥ 0, Ademá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
es un producto interior.
6
Apuntes de matemática
Primera versión
es un producto interior.
Ejemplo 1.3. En C[a, b], si ρ ∈ C [a, b] es tal que ρ (x) > 0 para x ∈ [a, b] la funció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
es un producto interior.
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 funció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
Proposición 1.1. Propiedades básicas del producto interior h·, ·i en un espacio vectorial real V :
7
Apuntes de matemática
Primera versión
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
aproximación de un elemento en un espacio dado.
Demostració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
h{f1 , f2 , ..., fN }i
8
Apuntes de matemática
Primera versió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
N
! v u N
X u 2
X
d f, λk fk ≥ kf k −
t hf, fk i2
k=1 k=1
se sigue que
N
X
hf, fk i fk
k=1
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
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
9
Apuntes de matemática
Primera versión
∞
X
hf, fk i2 = kf k2
k=1
en el sentido que
N
X
lı́m
f − hf, fk i fk
= 0
N →∞
k=1
∞
X
hf, fk i fk
k=1
10
Apuntes de matemática
Primera versió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[
Notación
f x+
lı́m+ f (x) = 0
x→x0
Notación
f x−
lı́m− f (x) = 0
x→x0
Notación
existen (en los extremos los limites laterales correspondientes existen, esto es lı́mx→a+ f (x) =
Notación
f (a+ ) y lı́mx→b− f (x) = f (b− ) existen)
En este espacio se define la igualdad como una relación de equivalencia, dos funciones
son iguales si son iguales salvo quizás en un numero finito de puntos.
11
Apuntes de matemática
Primera versión
!
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
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
12
Apuntes de matemática
Primera versió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
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
Apuntes de matemática
Primera versión
Si bien hemos enunciado que la serie de Fourier converge en norma la función dada (para
la base ortonormal dada), se presenta la siguiente situación:
cuando N crece se va pareciendo más a la grá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
14
Apuntes de matemática
Primera versión
Teorema 1.4 (Convergencia puntual). Sea f ∈ SC [a, b] una funció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.
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
periódicas de periodo (b − a) se sigue que
∞ ∞
2kπ
2kπ
1 X cos b−a x X sin b−a x
g (x) = a0 √ + ak q + bk q
b − a k=1 b−a
k=1
b−a
2 2
es una función periodica de periodo (b − a) y ası́ g esta bien definida en todo R cumpliendo
g : R→R
x → g (x) = fe(x)
15
Apuntes de matemática
Primera versión
16
Apuntes de matemática
Primera versión
17
Apuntes de matemática
Primera versió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 funció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
Apuntes de matemática
Primera versió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 .
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 término a término una serie de Fourier
y asegurar que converge a la derivada de la función?, la respuesta es no, ya que 2 (−1)k+1 no
corresponde al coeficiente de Fourier de la función. Para que sea válida la derivación término
a té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 término a término es la serie de Fourier de la derivada.
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
Apuntes de matemática
Primera versió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 funció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
luego !
∞ n+1
X (−1) 2
x= sin (nx)
n=1
n
20
Apuntes de matemática
Primera versión
Ejericios propuestos
∂u ∂u
2 +5 =0
∂x ∂y
3. Suponga que u (x, y) tiene la forma X (x) + Y (y) para buscar soluciones de la ecuación
2
∂u ∂u
+ + x3 = 1
∂x ∂y
∂ 2u ∂ 2u
+ =0
∂x2 ∂y 2
d2 y dy
x2 2
+x + λy = 0
dx dx
donde x ∈ [1, e] y se debe cumplir y (1) = y (e) = 0.
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
Apuntes de matemática
Primera versió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.
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
¿Qué dicen estos cá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
22
Apuntes de matemática
Primera versió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 té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 −π π −π
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 función cualquiera.
G) x cos x − cos 2x
19. (Parte par e impar de una serie) En Mat021 se mostró que toda funció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
23
Apuntes de matemática
Primera versión
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
f (x) = a0 √ + ak cos + bk sin
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
24
Apuntes de matemática
Primera versión
24. (Ojo serie truncada) ¿Cuál es el desarrollo en serie de Fourier de f (x) = 2 + 5 cos (3x) −
4 sin (7x).
26. (Extensiones pares e impares) Encontrar las extensiones pares e impares de las siguien-
tes funciones y trazar su gráfica:
25
Apuntes de matemática
Primera versión
para x ∈ ]−π, π[? En otras palabras ¿es posible derivar término a término una serie de
Fourier y asegurar que converge a la derivada de la función?. (Obs: Para poder derivar
una serie de Fourier y garantizar convergencia basta que la funció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
f (x) = a0 √ + ak cos + bk sin
b − a n=1 b−a b−a b−a b−a
26
Apuntes de matemática
Primera versión
que contiene las variables independientes x, y, . . . una función incógnita u y sus derivadas
parciales ux , uy , uxy , etc.
Llamaremos orden de la EDP al mayor orden de las derivadas parciales que aparecen en
la ecuación.
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 matemática como son:
La ecuación de ondas
utt = c2 uxx
la ecuación del calor
ut = kuxx
y la ecuació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
27
Apuntes de matemática
Primera versión
1. Sabemos que en las EDO’s lineales de orden n la solución general tiene n constantes
libres, en el caso de las EDP. en lugar de constantes la solución depende de funciones
arbitrarias. Por ejemplo la ecuación
∂ 2u
=0
∂x∂y
tiene por solución u (x, y) = f (x) + g (y) con f y g funciones arbitrarias 2 veces de-
rivables., para obtener una solución particular necesitamos agregar condiciones que
determinen las funciones por ejemplo
∂ 2u
= 0
∂x∂y
u (x, 0) = x
u (0, y) = sin y
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
Apuntes de matemática
Primera versión
ası́
u (x, y) = f (x − y)
para f una funció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.
Clasificación de EDP
Considere la ecuació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 cónicas en R2 diremos que:
29
Apuntes de matemática
Primera versión
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 ecuació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
Apuntes de matemática
Primera versió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 separación, en los 3 problemas
M 00 (x) + λM (x) = 0
M (0) + h1 M 0 (0) = 0
M (α) + h2 M 0 (α) = 0
existen un conjunto a lo más numerable de valores λn para los cuales este problema tiene
solució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 solució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
Apuntes de matemática
Primera versión
1.
2.
3.
4.
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
ası́ Z l Z l
l
M100 (x) M2 (x) dx = M2 (x) M10 (x)|0 − M10 (x) M20 (x) dx
0 0
32
Apuntes de matemática
Primera versión
Z l
si hacemos integración por partes nuevamente para M10 (x) M20 (x) dx
0
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
33
Apuntes de matemática
Primera versión
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
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
con n ∈ N y funciones
nπ
Mn (x) = cn cos x
l
34
Apuntes de matemática
Primera versió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
con n ∈ N∪ {0} y funciones
(2n + 1) π
Mn (x) = cn cos x
2l
B) Si λ = 0 entonces
M (x) = c1 + xc2
Veamos que pasa en los distintos casos:
C) Si λ < 0 entonces √ √
−λx
M (x) = c1 e + c2 e− −λx
35
Apuntes de matemática
Primera versió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
0 = c1 + c2
√ √ √ √
0 = c1 −λe −λl + c1 −λe− −λl
√ √
−λl
√
− −λl
0 = c1 −λ e +e
⇒ c1 = c2 = 0
En resumen, en el problema
36
Apuntes de matemática
Primera versió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
con n ∈ N y funciones
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
con n ∈ N∪ {0} y funciones
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
Apuntes de matemática
Primera versión
Solució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 separación entonces
M 00 (x) + λM (x) = 0
N 0 (t) = − (2 + λ) N (t)
se sigue
M 00 (x) + λM (x) = 0
M 0 (0) = M (π) = 0
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
Apuntes de matemática
Primera versión
La ecuación de ondas
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
Apuntes de matemática
Primera versión
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
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
donde se deben determinar las funciones Nk (t), hacemos una expansión para la funció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
Apuntes de matemática
Primera versión
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 funció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
donde
U (x, t) = t + x (sin t − t)
41
Apuntes de matemática
Primera versión
es decir
vtt − vxx = 5 + x sin t
para los valores iniciales y de contorno se tiene
esto es
ası́
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
Apuntes de matemática
Primera versión
se sigue que
luego
(r2 M 00 (r) + rM 0 (r)) N 00 (θ)
− =
M (r) N (θ)
si λ es la constante de separación entonces
N 00 (θ) = λN (θ)
r2 M 00 (r) + rM 0 (r) + λM (r) = 0
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π)
λn = −n2
(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
Apuntes de matemática
Primera versión
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 función N0 (t) = 1. Es posible mostrar que no
hay más funciones no nulas, usar determinate)
De esto se tiene para la funció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 ecuació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
Apuntes de matemática
Primera versió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
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
5x = vtt − vxx
= utt − uxx − G00 (x)
ası́
utt − uxx = 5x + G00 (x)
46
Apuntes de matemática
Primera versión
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
47
Apuntes de matemática
Primera versió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 separació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 solució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
Apuntes de matemática
Primera versió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
es separable.
a)
b)
c)
1)
49
Apuntes de matemática
Primera versió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
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
Apuntes de matemática
Primera versión
6. Resolver la ecuació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 ecuació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
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
Apuntes de matemática
Primera versión
5)
6)
∂y
: velocidad de la cuerda
∂t
∂ 2y
: aceleración de la cuerda
∂t2
Si se considera el movimiento de un pequeñ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
Apuntes de matemática
Primera versión
Tx+∆x
β
y(x+∆x,t)
y(x,t) α
−Tx
x l
x+∆x
Sean Tx y Tx+∆x los vectores de tensió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-
mación. Como no hay movimiento en la dirección x, las componentes x de los vectores de
tensión deben coincidir:
∂ 2y
Tx+∆x sen β − Tx sen α = m∆x (7)
∂t2
dividiendo toda la ecuación (3) por T , se obtiene:
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 ecuación
∂ 2y m ∂ 2y
=
∂x2 T ∂t2
r
m T T
como es positivo, podemos tomar c2 = ⇒c= , quedando la ecuación:
T m m
53
Apuntes de matemática
Primera versión
∂ 2y ∂ 2y
c2 = (9)
∂x2 ∂t2
denominada con frecuencia ECUACIÓN DE ONDAS UNIDIMENSIONAL.
Hasta el momento no se ha usado el hecho de que la cuerda está fija en sus extremos. Se
puede escribir estas condiciones de contorno o frontera como
∂ 2y 1 ∂ 2y
c2 + F =
∂t2 ρ ∂x2
Nuevamente, tenemos una ecuación de ondas con condiciones de frontera e inicial.
En el espacio bidimensional la ecuación de onda es
∂ 2z
2
∂ z ∂ 2z
2
=c + .
∂t2 ∂x2 ∂y 2
Esta ecuación modela los desplazamientos verticales z(x, y, t) de la membrana cubriendo
una región especı́fica del plano (ejemplo: las vibraciones de la superficie de un tambor).
Las condiciones de frontera son,
u = x + ct, v = x − ct,
y transformando la ecuación de onda (9) en una que involucra las variables u y v. Por
regla de la cadena, tenemos
54
Apuntes de matemática
Primera versió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 ecuació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 ecuació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 ecuación, se obtiene la solución de
D’Alembert
55
Apuntes de matemática
Primera versión
integrando, se obtiene
Z x
1
−F (x) + G(x) = g(ε)dε − F (0) + G(0).
c 0
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
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
Apuntes de matemática
Primera versión
Ejemplo 5.2. Suponga que tiramos la cuerda de su centro una distancia de y 2l , 0 = y0
metros (y0 se supone peque ño). Podemos suponer que la distorsió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 está sujeta a una
tensión constante de dos Newtons, entonces obtenemos la solució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 posición exacta de un punto a un metro del extremo 0 despué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
57
Apuntes de matemática
Primera versión
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
58
Apuntes de matemática
Primera versión
Para resolverla usaremos el método de separación de variables, para ello suponemos una
solución de la forma:
∂ 2y 00 ∂ 2y
2
= U (x)V (t) y 2
= U (x)V 00 (t),
∂x ∂t
reemplazando en la ecuación (9), se obtiene:
c2 U 00 V = U V 00 con U y V 6= 0. (17)
Separando variables, la ecuació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 ecuació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 separación).
De estas igualdades obtenemos dos ecuaciones diferenciales ordinarias
U 00 + λU = 0, (19)
V 00 + c2 λV = 0. (20)
Observemos que:
U 00 + λU = 0
U (0) = 0
U (l) = 0
nπx n2 π 2
con solución Un = sen donde λn = .
l l2
Reemplazando este λ en la ecuación (20), se obtiene:
n2 π 2
V 00 + c2 V =0
l2
59
Apuntes de matemática
Primera versión
c n π c n π
cuya solució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
∞
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 funció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
Suponiendo una solució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 ecuación en t,
se obtiene
60
Apuntes de matemática
Primera versión
n2 π 2 c2
N 00 + l2
N =0
N (0) = 0
obteniendo como solució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 mú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 ecuación con respecto a t e imponiendo la condició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 solución está 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
l2 (−1)n
si n 6= 1
nπ(n2 − 1)
=
2
3l
si n = 1
4π
La solución para esta función de velocidad inicial es,
61
Apuntes de matemática
Primera versió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
y velocidad inicial
πx
g(x) = x 1 + cos
.
l
La solució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 solució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
πc 4π l l πc n=2 nπ(n2 − 1) l l
Por lo tanto, la solución con la posición inicial y velocidad inicial dada es,
62
Apuntes de matemática
Primera versión
x3
µ(x) = −A + Cx + D (21)
6
con C y D constantes.
Además
µ(0) = 0 y µ(l) = 0.
Al aplicar estas dos condiciones a la ecuació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 último la condición inicial y(x, 0) = u(x, 0)+µ(x) entraña que u(x, 0) = y(x, 0)−µ(x) =
−µ(x) = 16 Ax(x2 − l2 )
y
yt (x, 0) = ut (x, 0) = 1.
63
Apuntes de matemática
Primera versió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.
∞ 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 solució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)
Solución: utt = wtt y uxx = wxx + P 00 (x). Para que la ecuación sea homogénea, hacemos
2
P 00 (x) = −1 obteniendo P (x) = − x2 + cx + d.
Para determinar las constantes, usamos las condiciones de borde
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
Apuntes de matemática
Primera versión
M 00 (x) + λM (x) = 0
y N 00 (t) + λN (t) = 0
M (0) = M 0 ( π2 ) = 0
65
Apuntes de matemática
Primera versió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
Solución
Tenemos que c = 2 y l = 2. Consideremos las funciones
2
f (x) = (x − 2) , g(x) = (x + 1) .
[0,2] [0,2]
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
66
Apuntes de matemática
Primera versió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.
Solución
Aplicando el método de separación de variables con las condiciones de contorno u(0, t) =
0, u(π, t) = 0 se obtiene la solución d ela forma
∞
X
u(x, t) = (an cos nt + bn sen nt) sen nx.
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
Apuntes de matemática
Primera versión
y por tanto
1
bn = 0, si n 6= 2 y 2b2 = 1 ⇒ b2 = .
2
Luego la solució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.
Solución
Aplicando el método de separación de variables y las condiciones de contorno ho-
mogéneas que son:
u(x, 0) = 0; ux ((π, t) = 0,
se obtiene una solució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-
ción,
1
u(x, t) = 1 + cos t cos x + sen 3t cos 3x.
3
Ejercicios
∂ 2u ∂ 2u
1. Resolver la ecuació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 ecuación de ondas 2 = 16 2 en el intervalo [0, 1] con las condiciones de
∂t ∂x
contorno e iniciales que se indican
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
Apuntes de matemática
Primera versión
∂ 2u ∂ 2u
3. Resuelve la ecuación de ondas 2 = c2 2 en el intervalo [0, l] con las condiciones de
∂t ∂x
contorno e iniciales que se indican
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 función delta de Dirac. este modelo corresponde a un golpe seco sobre
un punto de la cuerda en reposo.
∂ 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.
∂ 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 ecuació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 está 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
Apuntes de matemática
Primera versión
Ecuación de Calor
Para establecer la ecuación del calor unidimensional necesitaremos los siguientes princi-
pios fı́sicos.
1. El calor se desplaza de las zonas calientes a las frias.
u = u(x, t)
Entonces la ecuación de calor unidimensional está dada por:
2
∂u 2∂ u k
=a con a2 = , ρ densidad de la varilla (22)
∂t ∂x2 cρ
con
U 00 1 V0
a2 U 00 V = U V 0 ⇒ = 2 = −λ : constante de separación (26)
U a V
de estas igualdades obtenemos dos ecuaciones diferenciales ordinarias
U 00 + λU = 0, (27)
V 00 + a2 λV = 0. (28)
70
Apuntes de matemática
Primera versión
U 00 + λU = 0
U (0) = 0
U (l) = 0
nπx n2 π 2
con solución Un = sen para n ≥ 1 cuyo autovalor es λn = .
l l2
Reemplazando λ en la ecuación (28), se obtiene:
n2 π 2
V 0 + a2 V =0
l2
−a2 n2 π 2
t
cuya solución es: Vn (t) = e l2 ; n ≥ 1.
Luego construimos la solució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 función f (x).
Con esto se tiene que la solución general está 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
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
función temperatura estará 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 solució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
Apuntes de matemática
Primera versión
nπx
Un (x) = cos .
l
Reemplazando este valor de λ en la ecuació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 solució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 ecuación de calor y las condiciones de aislamiento en la frontera.
Luego nuestra solució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 solució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 está 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.
72
Apuntes de matemática
Primera versión
Z l/2
2 nπ 2T nπ
cn = T cos dε = sen .
l 0 l nπ 2
Por lo tanto la solució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
uxx + uyy = 0
se llama ecuación de Laplace en dos dimensiones. En tres dimensiones esta ecuación es
∇2 u = uxx + uyy
y en tres dimensiones por
1. f (x, y) = xy
2. xy + 3x2 y − y 3
3. x2 − y 2
ut = k∇2 u.
En el caso de estado estacionario (el lı́mite cuando t ∞), la solución se vuelve indepen-
diente de t, ası́ ut = 0 y la ecuación de calor se convierte en la ecuación de Laplace.
En problemas que involucran la ecuación de Laplace no hay condiones iniciales. Sin
embargo, frcuentemente se encuentra el problema resolviendo
73
Apuntes de matemática
Primera versión
∇2 u(x, y) = 0
para (x, y) en alguna región Ω del plano, sujeta a la condición que
u(x, y) = f (x, y)
para (x, y) en la frontera de Ω, (∂Ω). Aquı́ f es una función que tiene valores en ∂Ω, que
frecuentemente es una curva o está compuesta por varias curvas. El problema de determinar
una función armónica conociendo su valor en la frontera, se llama un problema de Dirichlet, y
f se llama datos en la frontera del problema.
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 homogénea, pero, las condiciones de borde, aunque
lineales, no son homogenéas. Luego, no se puede aplicar el método de separación de variables
al problema tal como está. La razón de esto es que al separar variables, el problema a valores
de borde que determina las constantes de separación posibles o autovalores deben tener
74
Apuntes de matemática
Primera versión
condiciones de borde homogéneas. En este caso, todas las condiciones de borde son no
homogéneas. Para resolver este problema utilizaremos el principio de superposición, el
cual separa el problema inicial en cuatro problemas, cada uno de los cuales tiene sólo una
condición no-homogénea.
Escribimos
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
Apuntes de matemática
Primera versió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
Apuntes de matemática
Primera versión
u(x,k)=0
u(0,y)=g1 (y)
u(l,y)=0
0
l
u(x,0)=0
Haremos la resolución para encontrar u2 (x, y), usando separació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]
u(x,k)=0
u(0,y)=0
u(l,y)=g2 (y)
0
l
u(x,0)=0
77
Apuntes de matemática
Primera versión
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
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
o bien
nπx nπx
Mn (x) = 2An senh = cn senh
k k
Por lo tanto,
78
Apuntes de matemática
Primera versió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 condició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
Observación: De forma análoga se resuelven los otros tres casos. Luego, la solució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 solución de estado estacionario, el tiempo no influirá en este
problema y, por tanto, no se necesita ninguna condición inicial. Haciendo u(x, y) = X(x) Y (y),
encontamos que la ecuación (??) se vuelve,
X 00 Y + X Y 00 = 0,
que puede escribirse en forma separada como:
79
Apuntes de matemática
Primera versió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 ecuación diferencial para Y (y):
2 2
0 nπ
Y (y) + Y (y) = 0
l2
200
= nπ
[1 − (−1)n ].
En consecuencia, D2k = 0, mientras que
80
Apuntes de matemática
Primera versión
400
D2k+1 = ,
(2k+1)πk
π(2k + 1) senh l
(2n−1)πx
∞
X sen l
senh (2n−1)πy
l
400
= π
(2n−1)πk
n=1 (2n − 1) senh l
Solución
La figura muestra la regió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
X 00 Y 00
=− = −λ (34)
X Y
Obteniendo ası́ las ecuaciones,
81
Apuntes de matemática
Primera versión
X 00 + λX = 0,
(35)
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 ecuación diferencial para Y (y):
2 2
0 nπ
Y (y) − Y (y) = 0, Y (0) = 0.
l2
82
Apuntes de matemática
Primera versión
X 00 + λX = 0, Y 00 + µY = 0, Z 0 + (λ + µ)kZ = 0,
donde λ, µ son las constantes de separación.
Imponiendo las condiciones de frontera, se obtiene
λ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 solució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 ecuació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
83
Apuntes de matemática
Primera versió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 solució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
84
Apuntes de matemática
Primera versión
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 solución de la ecuació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 π
Solució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 ecuació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
85
Apuntes de matemática
Primera versión
λn = n2 π 2 − 1, Mn (x) = sen(nπx)
A su vez, la solución de la ecuación para N (t) es
√ √
Nn (t) = An cos( n2 π 2 − 1 t) + Bn sen( n2 π 2 − 1 t)
Por lo tanto la solución formal de la ecuación queda
∞
X √ √
u(x, t) = An cos( n2 π 2 − 1 t) + Bn sen( n2 π 2 − 1 t) sen(nπx)
n=1
∞
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
Apuntes de matemática
Primera versión
Solución: utt = wtt y uxx = wxx + P 00 (x). Para que la ecuación sea homogénea, hacemos
2
P 00 (x) = −1 obteniendo P (x) = − x2 + cx + d.
Para determinar las constantes, usamos las condiciones de borde
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 ecuación, obtenemos
M 00 (x) + λM (x) = 0
y N 00 (t) + λN (t) = 0
M (0) = M 0 ( π2 ) = 0
87
Apuntes de matemática
Primera versió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 solució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
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
Apuntes de matemática
Primera versión
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
Apuntes de matemática
Primera versión
3. Para λ = k 2 considere soluciones del tipo R(r) = rp e imponga la condición |R(0)| < +∞
para encontrar el Rk (r) correspondiente.
Solució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
√ √ √ √
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
Entonces
90
Apuntes de matemática
Primera versió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
∞
4S
X sen(2n + 1) θ
= π
,
n=0
(2n + 1)
∞ ∞
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 homogénea de 3 metros de longitud y difusibilidad 0.3, se saca de
un horno de modo que la distribución de temperatura de la barra es 4x + 5. Rápidamente
se aisla su manto y sus extremos se mantienen a 5◦ C. Hallar la distribución de temperatura
u(x, t) de la barra para cualquier instante t > 0 d cualquier punto x de ella.
Indicación: Haga un cambio de función de la forma u(x, t) = v(x, t) + A.
Solución
El problema queda modelado por la siguiente ecuación,
91
Apuntes de matemática
Primera versió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
4x + 5 = u(x, 0) = v(x, 0) + A.
Tomando A = 5 nos queda el problema,
n2 π 2 nπ
λn = , Mn (x) = sen x , n = 1, 2, 3, · · · .
32 3
Reemplazando este valor de λ en la ecuación en t, se obtiene,
n2 π 2
Nn0 (t) + N (t) = 0,
32
cuya solución general es
n2 π 2
Nn (t) = An e− 32
t
.
Luego nuestra solución formal está 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
Apuntes de matemática
Primera versió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 solució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 lámina cuadrada cuyos lados son de longitud L tiene ambas caras aisladas. El
borde horizontal superior se mantiene a 50◦ C, mientras que los demás bordes está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 están dadas por
T (x, L) = x(L − x)
3. Resuelva la ecuació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
Apuntes de matemática
Primera versión
u(x,π)=0
u(0,y)=0
u(π,y)=50
0 π
u(x,0)=0
h i
∂2u ∂2u
5. Resuelva la ecuació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
x = r cos θ,
y = r sen θ.
94
Apuntes de matemática
Primera versión
1 1
urr + ur + 2 uθθ = 0
r r
y además, debemos imponer las condiciones de periodicidad
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
95
Apuntes de matemática
Primera versió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
Además el problema debe satisfacer las condiciones de periodicidad
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 λθ
96
Apuntes de matemática
Primera versió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
autofunció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
Apuntes de matemática
Primera versión
M (r) = c rn + d r−n
Si λ = n2 :
Mn (r) = cn rn + dn r−n
La solución de la ecuación queda entonces:
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θ)
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
98
Apuntes de matemática
Primera versión
Para satisfacer la condició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 funció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ε.
−π
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
Apuntes de matemática
Primera versión
∞
1 2 X 4(−1)n r n
= π + cos(nθ).
3 n=1
n2 4
λ0 = 0, λn = 4n2
y respectivas autofunciones
100
Apuntes de matemática
Primera versión
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 )
101
Apuntes de matemática
Primera versión
λ0 = 0, λn = 4n2
y respectivas autofunciones
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
102
Apuntes de matemática
Primera versión
Solución: Para usar separació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 ecuación, obtenemos
N 00 (θ) + λN (θ) = 0
N (0) = N (2π), N 0 (0) = N 0 (2π)
∞ ∞
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
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
Apuntes de matemática
Primera versió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 última igualdad implica que Dn =
n
Por lo tanto, la solución buscada es
∞
X − 2n+1
u(r, θ) = π + r−n sen(nθ)
n=1
n
Ejercicios
2. Encuentre una solució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 solució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.
104
Apuntes de matemática
Primera versión
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.
Solución
Según los datos del problema la solución tendrá la forma,
∞
X
u(x, t) = Tn (t) sen nx,
n=1
∞
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
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
Apuntes de matemática
Primera versión
La solució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
Solución
El estudio del problema homogéneo asociado ut = uxx , 0 < x < 1; t > 0 junto con las
condiciones de contorno de Dirichlet nulas nos lleva a una solución del tipo
∞
X
u(x, t) = Tn (t) cos nx.
n=0
∞
X
[Tn0 (t) + n2 π 2 Tn (t)] cos nx = − cos x (de sustituir u(x, t) en la EDP inicial.
n=0
Ademá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.
106
Apuntes de matemática
Primera versión
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
Solución
Tomemos y(x, t) = M (x)N (t). Reemplazando en la ecuació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
1
h √ √ i
M (x) = x 2 c1 cos λ ln(x) + c2 sen λ ln(x) .
1
√
λn = n2 Mn (x) = x 2 sen λ ln(x) , n ≥ 1.
107
Apuntes de matemática
Primera versión
∞
1
X
y(x, t) = x 2 [an cos(nt) + bn sen(nt)] sen(n ln(x)).
n=1
∞
1
X
0 = y(x, 0) = x 2 an sen(n ln(x)),
n=1
∞
1 1
X
= ut (x, 0) = x 2 n bn sen(n ln(x).
x n=1
∞
− 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 solució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
u(0, t) = u(2, t) = 0, t > 0,
u(x, 0) = x(2 − x), ut (x, 0) = 0, 0 < x < 2,
108
Apuntes de matemática
Primera versión
Solución
Ponemos u(x, t) = M (x)N (t). Derivando y reemplazando, se obtiene
separando variables,
M 00 (x) + λM (x) = 0
M (0) = M (2)
n2 π 2 nπ
λn = ; Mn (x) = sen x , ∀n ≥ 1.
4 2
Reemplazando λ en la otra ecuación, se obtiene
n2 π 2
Nn00 (t) + 2Nn0 (t) + 1+9 Nn (t) = 0, ∀n ≥ 1
4
cuya solució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 solució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
∞
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
Apuntes de matemática
Primera versión
Luego,
2
an = bn
3nπ
donde bn es el n-ésimo coeficiente de Fourier de la extensió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
1 11
y calcule u ,
2 2
Solución
Tenemos que c = 2 y l = 2. Consideremos las funciones
f (x) = (x − 2) , g(x) = (x2 + 1) .
[0,2] [0,2]
110
Apuntes de matemática
Primera versión
Z x+ct
1 1
u(x, t) = [F (x + 2t) + F (x − 2t)] + G(ε)dε,
2 4 x−ct
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
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
Apuntes de matemática
Primera versió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
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
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.
Resolvemos ahora la ecuació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
,
∞ nπ
t n2 π 2
X
u(x, t) = e 4 An e− 9
t
cos x
n=0
3
112
Apuntes de matemática
Primera versión
P∞ nπ
La condició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 solució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
7. Resolver el problema:
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
Solución. Hacer
entonces
de donde
M 00 (x) 1 N 00 (t) + N 0 (t) + N (t)
= = −λ
M (x) 9 N (t)
113
Apuntes de matemática
Primera versió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
Resolvemos ahora la ecuación diferencial para N (t):
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
de donde
a3 = 5, an = 0, ∀ n 6= 3
114
Apuntes de matemática
Primera versión
∞ √ !
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
8. Resolver el problema:
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
Apuntes de matemática
Primera versión
Solución. Hacer
entonces
de donde
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
116
Apuntes de matemática
Primera versión
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
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
y entonces
√
3 + n2 π 2 2 6
Z
1 nπx
− an + b n = x sen dx
2 2 6 0 6
Tenemos, entonces
√
1 3 + n2 π 2 12(−1)n+1
− an + b n =
2 2 nπ
117
Apuntes de matemática
Primera versió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
24(−1)n+1
bn = √ ∀n ≥ 3
nπ 3 + n2 π 2
118
Apuntes de matemática
Primera versión
Solució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 ecuación
(2n−1)2 π 2
cuyos
autovalores
y autofunciones son, respectivamente λn = 4
+ 1, yn (x) =
(2n−1)π
sen 2
x .
Resolvemos ahora la ecuación N 00 (t) + 2N 0 (t) + λN (t) = 0.
√
La ecuación caracterı́stica es k 2 + 2k + λ√
= 0 y la solución de é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 tambié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
Apuntes de matemática
Primera versión
π
5π
Con la condició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
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
120
Apuntes de matemática
Primera versión
λ0 = 0, λn = 4n2
y respectivas autofunciones
∞
X
An r2n + Bn r−2n cos(2nθ)
u(r, θ) = A0 + B0 ln(r) +
n=1
∞
X
An r2n − r−2n cos(2nθ)
u(r, θ) = B0 ln(r) +
n=1
∞
B0 X
An 2nr2n−1 + 2nr−2n−1 cos(2nθ)
ur (r, θ) = +
r n=1
y entonces
121
Apuntes de matemática
Primera versión
∞
B0 X
An n22n + n2−2n cos(2nθ)
ur (2, θ) = θ =⇒ θ = +
2 n=1
donde
Z π/2
2 π
B0 = π θ dθ =
2 0 2
Z π/2
2n −2n
2
An n2 + n2 = π θ cos(2nθ) dθ
2 0
k 2 + 2k + (λ + 2) = 0
√
Las solución de esta ecuación de segundo grado es k = −1 ± −1 − λ
(i) Si −1 − λ < 0 (o sea, λ < −1) la solució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 condición
√ √
y(1) = 0 =⇒ Ae−1 e −1−λ − e −1−λ = 0
Si A 6= 0, entonces necesariamente λ = −1, lo cual es una contradicción. Por lo tanto, no
existen autovalores λ < −1.
(ii) Si λ = −1, entonces la ecuación tiene una raı́z de multiplicidad dos y la solucón de
la ecuación es
y(x) = Ae−x + Bxe−x
122
Apuntes de matemática
Primera versión
√
De y(0) = 0 se obtiene A = 0, y la solució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 ecuación.
Las autofunciones está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
−8 πx
La solución de esta ecuació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
ecuación nos queda M (x)N 0 (t) = M 00 (x) N (t).
123
Apuntes de matemática
Primera versión
M 00 (x) N 0 (t)
Entonces = = −λ, de donde se obtienen las dos ecuaciones diferenciales
M (x) N (t)
ordinarias
∞
!
(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 solución de la ecuació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