Professional Documents
Culture Documents
Parciales
Gabriel Lpez Garza
y
Fco. Hugo Martnez Ortiz
Campus Iztapalapa
El templete de este libro es una modificacin del templete que puede encontrarse en:
http://www.LaTeXTemplates.com cuyo autor original es Mathias Legrand Licencia: CC BY-
NC-SA 3.0 (http://creativecommons.org/licenses/by-nc-sa/3.0/)
El presente libro fue escrito estrictamente para propsitos educativos, sin intereses de lucro
ni comerciales algunos.
Copyright
c 2013 Gabriel Lpez
Prlogo
Es tal la influencia de las ecuaciones diferenciales parciales que se puede afirmar que no hay
rama de las ciencias que no las utilice. Una pequea muestra: las ecuaciones de Maxwell,
piedra angular de la teora electromagntica; las ecuaciones de Navier-Stokes, fundamento de
la hidrodinmica; la ecuacin de Schrdinger, nada menos que el sustento de la revolucin
cuntica en la fsica; adems, y para hablar de algo de moda por las crisis econmicas, la
ecuacin de Black-Scholes que es una ecuacin diferencial parcial estocstica en la cual se
basan los clculos de los derivados financieros cuyo abuso puso de cabeza la economa de
varios pases y al borde del derrumbe a la economa mundial al final de la primera dcada de
este siglo. El xito de las ecuaciones diferenciales parciales radica en su capacidad de modelar
una enorme diversidad de fenmenos fsicos, biolgicos, qumicos, de la ingeniera, de la
economa, etctera. Por si fuera poco, las ecuaciones diferenciales parciales tienen aplicacin
en diversas ramas de la Matemtica Terica como en la Geometra Diferencial y por que no
decirlo, fueron fundamentales para la demostracin de un Problema del milenio, la conjetura
de Poincar. Ms an, las ecuaciones diferenciales parciales no slo son importantes por sus
aplicaciones, sino que tienen importancia en s mismas y son objeto de extensa investigacin
cientfica hoy por hoy. En este libro trataremos las ecuaciones que modelan el problema de
calor, de onda y de Laplace, problemas clsicos de ecuaciones diferenciales parciales.
El Captulo 1, trata de una clasificacin elemental de las ecuaciones diferenciales parciales.
El Captulo 2 trata de las ecuaciones de primer orden. Consideramos recomendable comenzar
con las ecuaciones ms simples de resolver, adems de que no hay mejor introduccin al
estudio de las curvas caractersticas, las cuales aparecen naturalmente en la solucin de la
ecuacin de onda, por ejemplo. En el Captulo 3, se estudian los modelos clsicos de la
ecuacin de calor, de onda y de Laplace, sin embargo los interesados slo en los mtodos de
solucin pueden pasar directamente a ellos sin necesidad de leer los captulos mencionados.
La solucin y los mtodos de solucin de las ecuaciones lineales ocuparn la mayor parte
de este libro, se estudian ampliamente el mtodo de separacin de variables, el mtodo de
solucin por series y transformadas de Fourier y transformadas de Laplace (captulos 6 y 9
respectivamente). El captulo 8 est dedicado a la solucin numrica de las ecuaciones lineales
y se da un ejemplo de solucin de una ecuacin no lineal, la ecuacin de Burgers. En el ltimo
captulo se da una introduccin a las funciones de Green. En la seccin 10.3 de este ltimo
captulo se da una introduccin a la teora moderna de ecuaciones diferenciales parciales
definiendo el concepto de distribucin y dando el adecuado marco terico para la delta de
Dirac y las funciones de Green en su forma moderna.
Como ya hemos mencionado, los captulos de este libro pueden leerse de forma indepen-
diente por lo que se facilita que sea usado como libro de texto. Por ejemplo puede leerse
II
el captulo 6 sobre el mtodo de separacin de variables sin haber ledo el captulo de las
ecuaciones de calor, de Laplace y de onda. El libro cumple completamente el programa de
varias universidades, entre ellas el de la UAMI, pero contiene adems algunos temas comple-
mentarios, por ejemplo el captulo dedicado al problema de Sturm-Liouville, o bien como ya
se dijo, el captulo de ecuaciones de primer orden. Creemos que dar la posibilidad de tener
un panorama ms completo de las ecuaciones diferenciales de ninguna manera puede ir en
detrimento del estudiante.
La mayor dificultad para lograr un buen desempeo en este tipo de cursos es la cantidad
de conocimientos previos requeridos: clculo de varias variables, ecuaciones diferenciales
ordinarias, lgebra lineal. Sin estos conocimientos es imposible tener un mnimo avance en el
estudio de ecuaciones diferenciales parciales. Al final del libro se incluyen apndices con un
repaso en algunos temas esenciales de ecuaciones diferenciales ordinarias y del Clculo.
Este libro no hubiera sido escrito sin la colaboracin y conocimientos de Francisco Hugo
Martnez Ortiz a quien agradezco profundamente su buen nimo y paciencia.
Gabriel Lpez Garza.
Qu es una edp?
Clasificacin de las ecuacin lineales
Forma cannica de las ecuaciones
lineales
Forma cannica de las ecuaciones
hiperblicas
Forma cannica de las ecuaciones
parablicas
Forma cannica de las ecuaciones
elpticas
Resumen de las formas cannicas
edp con ms de dos variables
Problemas y ejercicios del Captulo 1
1 Introduccin
Ejercicio 1.1 Compruebe que las ecuaciones ut + uxx = 0 y ut + uxxx = 0, son de dos
variables independientes; que la ecuacin div(kuk p2 u) = 0, donde u = (ux , uy , uz ),
tiene tres variables; y que la ecuacin ut (u ) = 0, donde v = vxx + vyy + vzz , es de
cuatro variables.
Se recuerda del curso de ecuaciones diferenciales ordinarias, que dada una ecuacin
diferencial se le puede asociar un operador L, el cual est definido sobre un espacio de
funciones, por ejemplo, con la ecuacin:
d 2 u(t) du(t)
2
+3 5u(t) = t 2 + 1
dt dt
se asocia el operador
d 2 u(t) du(t)
L[u] =
2
+3 5u(t),
dt dt
el cual est definido sobre el espacio de funciones que tienen segunda derivada.
Una ecuacin diferencial ordinaria se dice lineal si el operador L correspondiente es lineal,
es decir, si se cumple
L[u + v] = L[u] + L[v]
para toda R y cualesquiera funciones u, v en el dominio1 de L. De manera similar a como
se hace en una variable, se puede definir un operador asociado a las ecuaciones en derivadas
parciales y se pueden distinguir los operadores lineales de los no lineales.
1 Para que un operador sea lineal se requiere que su dominio sea un espacio vectorial.
1.2 Clasificacin de las ecuacin lineales 3
u 2u u 2u
Ejemplo 1.3 Con la ecuacin, 2 = cos x, se asocia el operador L[u] = .
t x t x2
2u 2u 2u
Ejemplo 1.4 Con la ecuacin de Laplace, + + = 0, se asocia el operador
x2 y2 z2
2u 2u 2u
L[u] = + + .
x2 y2 z2
Ejemplo 1.5 La ecuacin de Burgers ut + uux = 0 tiene asociado el operador no lineal
L[u] = ut + uux .
u 2u 2u 2u 2u
Ejercicio 1.2 Verifique que las ecuaciones 2 = cos x, y 2 + 2 + 2 = 0,
t x x y z
son lineales y que la ecuacin ut + uux = 0, (como ya se mencion) no es lineal.
con A, B,C, D, E, F R, y A2 + B2 +C2 > 0. Como es sabido, (ver por ejemplo [22]) mediante
un cambio de coordenadas apropiado el discriminante B2 4AC permanece invariante respecto
al signo y la ecuacin (1.3) puede simplificarse, es decir, se tiene una propiedad intrnseca de
la ecuacin, la cual permite una clasificacin de las cnicas de acuerdo al signo de B2 4AC.
Para la ecuacin (1.2) ocurre algo similar a la ecuacin (1.3) lo que permitir clasificar las
ecuaciones en derivadas parciales, lineales, de segundo orden en dos variables. Pero antes de
establecer esta clasificacin se requiere de la definicin y lema siguientes:
4 Introduccin
Definicin 1.2 Se define el discriminante (o indicador) I de la ecuacin en derivadas
parciales (1.2) como
I = B2 4AC.
N Debe subrayarse que si el cambio de coordenadas (1.4) es una rotacin, (en particular
el determinate es igual a uno), entonces no slo el signo del discriminante es invariante,
sino tambin la cantidad B2 4AC. As, para las rotaciones en particular, tenemos un
resultado idntico al de las cnicas.
Una vez que se tiene la invariabilidad del signo del discriminante I bajo el cambio de
coordenadas, tiene sentido clasificar de acuerdo con tal signo a las ecuaciones en derivadas
parciales lineales de segundo orden con coeficientes constantes. Se tiene la siguiente definicin:
Definicin 1.3 Se dice que la ecuacin (1.2) es:
(I) Parablica, si I = 0;
(II) Elptica, si I < 0;
(III) Hiperblica, si I > 0.
N De hecho, el lema 1.1 puede demostrarse [28, C. I sec. 1], para el caso ms general en
el que los coeficientes dependan de x, y. En tal caso se considera una transformacin,
(, )
en general no lineal, = (x, y), = (x, y) con jacobiano distinto de cero.
(x, y)
Cabe mencionar que para tal tipo de ecuaciones, dependiendo del dominio, se tienen
ecuaciones de uno u otro tipo de acuerdo al discriminante. Considrese por ejemplo,
xuxx + uyy = 0. En este caso I = B2 4AC = 4x, tenemos que la ecuacin es parablica,
si x = 0; la ecuacin es elptica, si x > 0; y la ecuacin es hiperblica, si x < 0. Dado que
en este texto se estudian slo ecuaciones con coeficientes constantes no requerimos ms
que el lema demostrado.
A 2 + B +C = 0,
a11 a21
donde = = . Por lo que en cualquiera de los dos casos
a12 a22
B B2 4AC
= .
2A
Puesto que B2 4AC > 0, el razonamiento anterior nos lleva a definir nuevas coordenadas
( , ) como: p
= (B + B2 4AC)x + 2Ay
p (1.8)
= (B B2 4AC)x + 2Ay.
a11 a12
Observe que la condicin 6= 0 se cumple, dado que
a21 a22
a11 a12 (B + B2 4AC) 2A p
= = 4A B2 4AC 6= 0.
a21 a22 (B B2 4AC) 2A
se tiene
B0 = 4A(B2 4AC) 6= 0.
En las nuevas coordenadas ( , ) la ecuacin (1.2) adopta la forma
B0 u + F = 0. (1.9)
u = G. (1.10)
u 0 0 u 0 0 = F 0 . (1.11)
= Bx + 2Ay
(1.12)
= x,
donde se ha elegido de manera que
a11 a12 B 2A
= 2A 6= 0.
a21 a22 = 1
0
Sustituyendo en (1.7) los valores de a11 = B, a12 = 2A, a21 = 1, a22 = 0 se tiene
A0 = 0, B0 = 0, C0 = A. (1.13)
8 Introduccin
De donde al dividir la ecuacin (1.6) por C0 , la ecuacin que queda es la forma cannica de
las ecuaciones parablicas:
u = F 0 , (1.14)
Cuyy = F,
donde el trmino F contiene a lo ms derivadas parciales de orden uno. Se tiene entonces que
(1.2) puede llevarse fcilmente a la forma cannica de la ecuacin parablica (1.14), si se
divide por C, con lo que la discusin del caso parablico queda concluida.
Ejemplo 1.10 Reduzca la ecuacin 2uxx + 4uxy + 2uyy = 0 a la forma cannica.
Solucin: En este caso A = C = 2, B = 4, por lo tanto B2 4AC = 0, as, la ecuacin es
parablica. Al usar las ecuaciones (1.12) encontramos las nuevas coordenadas:
= 4x + 4y
= x.
2u = 0 u = 0,
+ 0
0 = , = (1.16)
2 2i
se obtienen las variables reales:
0 = Bx + 2Ay
p (1.17)
0 = 4AC B2 x,
1.4 Resumen de las formas cannicas 9
I>0 hiperblica u = F 0 (u , u , , ) u u = F 0
I=0 parablica u = G0 (u , u , , )
I<0 elptica u + u = H 0 (u , u , , )
con ai j R.
A toda matriz simtrica, es decir, toda matriz A que satisface A = At , donde At es la transpuesta
de A, le corresponde una forma cuadrtica y recprocamente, a toda forma cuadrtica se le
puede asociar una matriz simtrica. En lo sucesivo supondremos que este ser el caso. Por
ejemplo, a la forma cuadrtica H(x, y) = Ax2 + Bxy +Cy2 le corresponde la matriz simtrica
A 21 B
M= 1 ,
2B C
observe que
1
A 2B x
H(x, y) = (x, y) 1 .
2B C y
Ahora con la parte principal Auxx + Buxy +Cuyy de la ecuacin (1.2) se le asociar la forma
cuadrtica Ax2 + Bxy +Cy2 y la matriz asociada de esta forma cuadrtica es la correspondiente
a la parte principal de la ecuacin (1.2). As M es la matriz simtrica de la parte principal
Auxx + Buxy +Cuyy de la ecuacin (1.2). Sean 1 , 2 los valores propios de M, es decir, 1 , 2
son races de la ecuacin det( I M) = 2 (A +C) (B2 4AC)/4 = 0. Se deja como
ejercicio verificar que 1 y 2 son nmeros reales y que 1 2 = (B2 4AC)/4 = I/4. De
donde,
I > 0 1 y 2 son distintos de cero y tienen signos opuestos.
I = 0 al menos uno de los i , i = 1, 2, es cero.
I < 0 1 y 2 son distintos de cero y tienen el mismo signo.
De esta manera el signo de I se puede caracterizar por el signo de los valores propios de M.
1.5 edp con ms de dos variables 11
Para las matrices simtricas sobre R se sabe que son similares a una matriz diagonal2 ,
[11][Th. 6.20 p. 384], adems se tiene el siguiente teorema
Teorema 1.1 Silvester. [11][Th. 6.38 p. 443] Sea M una matriz real simtrica entonces
el nmero de entradas positivas y negativas de cualquier matriz diagonal similar a M es
independiente de la eleccin de la matriz diagonal.
As este teorema proporciona una propiedad intrnseca de la ecuacin (1.20) la cual permite
una clasificacin de dicha ecuacin.
Definicin 1.5 Sean 1 , . . . , N los valores propios de la matriz de la parte principal de la
ecuacin (1.20)
( I ) Si 1 , . . . , N son distintos de cero y al menos uno de ellos tiene signo distinto de los
dems la ecuacin se llama hiperblica.
( II ) Si al menos uno de los 1 , . . . , N es cero la ecuacin se llama parablica
( III ) Si 1 , . . . , N son distintos de cero y tienen el mismo signo la ecuacin se llama
elptica.
det( I A) = 0 (1.22)
son todos positivos o todos negativos. Se dice que H es indefinida si la ecuacin (1.22)
tiene races que cambian de signo. Se dice que H es degenerada si la ecuacin (1.22) tiene
como solucin = 0.
0 12
H( , ) = ( , ) 1 .
2 0
Sea
1
0 2
A1 = 1 ,
2 0
la matriz correspondiente a la forma cannica de la ecuacin hiperblica. De manera a-
nloga, sea A2 la matriz asociada con la forma cannica de la ecuacin parablica u =
2 Es decir, si M es una matriz simtrica, existen matrices D, diagonal, y B, no singular, tales que D = BMB1 .
12 Introduccin
F 0 (u , u , , ), es decir,
0 0
A2 = .
0 1
Finalmente, sea A3 la matriz asociada con la forma cannica de las ecuaciones elpticas
u + u = F 0 (u , u , , ), es decir,
1 0
A3 = .
0 1
De esta forma, la ecuacin p1 ( ) = 0 tiene dos soluciones (valores propios) con signo distinto
= 1/2, la ecuacin p2 ( ) = 0 tiene las soluciones = 0, = 1 y la ecuacin p3 ( ) = 0
tiene una raz doble = 1.
En particular, la ecuacin de Laplace u = uxx + uyy + uzz = 0 tiene asociada la forma cuadr-
tica:
1 0 0 x
H(x, y, z) = (x, y, z) 0 1 0 y .
0 0 1 z
As, el polinomio caracterstico (1.22) correspondiente es ( 1)3 = 0 por lo que el operador
de Laplace es elptico.
Para la ecuacin Lu = uxx + uyy uzz = 0 se tiene la forma cuadrtica:
1 0 0 x
H(x, y, z) = (x, y, z) 0
1 0 y ,
0 0 1 z
N Los coeficientes en las formas cuadrticas pueden ser variables y los resultados de esta
seccin se aplican de manera puntual, sin embargo, los valores propios de la matriz
asociada dependen tambin de las variables independientes por lo que un operador puede
ser elptico, hiperblico o parablico en la regin donde se est considerando la ecuacin.
14 Introduccin
en las ecuaciones
A0 = Aa211 + Ba11 a12 +Ca212 ,
B0 = 2Aa11 a21 + B(a11 a22 + a21 a12 ) + 2Ca12 a22 ,
C0 = Aa221 + Ba21 a22 +Ca222 ,
se obtiene A0 = 0, B0 = 0, C0 = A.
8. Determine la forma cannica de las siguientes ecuaciones:
a) uxx 2uxy + uyy + 9ux + 9uy 9u = 0.
b) 2uxx + 3uxy + uyy + 7ux + 4uy 2u = 0.
c) uxx + uxy 2uyy 3ux 15uy + 27x = 0.
d) 9uxx 6uxy + uyy + 10ux 15uy 50u + x 2y = 0.
e) uxx + 4uxy + 10uyy 24ux + 42uy 2(x + y) = 0.
f ) uxx + 4uxy + 13uyy + 3ux + 24uy 9u + 9(x + y) = 0.
Solucin: a), u + 18u + 9u 9u = 0; b), u + 3u u + 2u = 0; c), u + u
2u + + = 0; d), 27u 105u + 30u 150u 2 + 5 = 0; e), u + u +
15u 4 6u + 1/3 + 1/ 6 = 0; f ), u + u 2u + u u + = 0;
9. Compruebe que si se sustituyen
en
A0 = Aa211 + Ba11 a12 +Ca212 ,
B0 = 2Aa11 a21 + B(a11 a22 + a21 a12 ) + 2Ca12 a22 ,
C0 = Aa221 + Ba21 a22 +Ca222 ,
se obtiene A0 = C0 = A(4AC B2 ), B0 = 0.
10. Lleve las siguientes ecuaciones a la forma cannica
a) uxx + 2uyy + u = 0.
b) uxx + 2uxy + 5uyy 32u = 0.
Nota. Los problemas 1, 2, 3, 4, 8 fueron tomados del libro de problemas de editorial Mir [4],
el cual ya no se edita.
Introduccin
Esquema general de las leyes de
conservacin
Solucin de la ecuacin de primer
orden
Ecuaciones con coeficientes no
constantes
Ecuacin no homognea
La ecuacin de Burgers
Problemas y ejercicios del Captulo 2
2.1 Introduccin
Las ecuaciones de primer orden aparecen en diversas aplicaciones, por ejemplo, para modelar
el trnsito de vehculos en una avenida muy concurrida; para modelar el flujo de sangre a
travs de una arteria o como casos especiales de teoras generales de dinmica de gases; para
modelar la probabilidad de encontrar errores en las pruebas de un texto despus de una revisin
de rutina [23]. En este captulo estudiaremos las ecuaciones de primer orden ms simples y
algunos mtodos tanto geomtricos como analticos para resolverlas.
tiempos t1 y t2 debe igualar el flujo total a travs de la frontera b entre los tiempos t1 y t2 y
el incremento o decremento de la cantidad u producido por la fuente f , dentro de b en el
mismo intervalo de tiempo. En forma matemtica esto queda expresado como
Z Z Zt2 Z Zt2 Z
u(x,t2 )dx u(x,t1 )dx = = (x,t) n dSdt + f (x,t)dxdt. (2.1)
b b t1 b t1 b
Si se supone que u tiene primera derivada continua respecto de t, por medio del teorema
fundamental del clculo y del teorema de Fubini se obtiene
Z Z Z
u(x,t) dx = (x,t) n dS + f (x,t) dx. (2.2)
t
b b b
esto significa que el vector gradiente de u es ortogonal al vector (a, b) en cada punto (x, y),
pero sabemos tambin que u es ortogonal a las curvas de nivel de u, luego esas curvas de
nivel son las rectas
(
x(t) = x0 + ta,
(2.7)
y(t) = y0 + tb, < t < ,
donde x0 , y0 son fijos. Aplicando la regla de la cadena para funciones de varias variables se
tiene
d
0 = aux + buy = x0 (t)ux (x(t), y(t)) + y0 (t)uy (x(t), y(t)) = u(x(t), y(t)).
dt
d
Dado que u(x(t), y(t)) = 0 se sabe del clculo diferencial que u(x(t), y(t)) = , donde
dt
es una constante. Cabe aclarar que posiblemente se requiera una constante diferente para
diferentes valores x0 , y0 . Resumiendo, la funcin u es constante sobre cada recta paralela a (2.7).
La ecuacin cartesiana de la recta parametrizada (2.7) es bx ay = c, donde c = bx0 ay0
por lo que u es constante cuando bx ay es constante, es decir,
para alguna funcin diferenciable f . Las rectas (2.7) se conocen como ecuaciones caracte-
rsticas de la ecuacin homognea de primer orden con coeficientes constantes (2.6) y a la
funcin f (bx ay) se le llama solucin general de la ecuacin (2.6). Al mtodo desarrollado
se le llama mtodo de las carctersticas.
Ejemplo 2.2 Encuentre la solucin de la ecuacin 2ux + uy = 0, la cual satisface la
condicin inicial u(0, y) = cos y.
Solucin. Usamos directamente la frmula (2.8) con lo cual tenemos u(x, y) = f (x 2y)
donde f es una funcin por determinar a partir de la condicin inicial u(0, y) = cos y. Te-
nemos u(0, y) = f (2y) = cos y. Si ponemos w = 2y, entonces y = w/2 y as f (w) =
cos(w/2) = cos(w/2), dado que la funcin coseno es funcin par. De donde se obtiene la
solucin
x 2y
u(x, y) = f (x 2y) = cos ,
2
El lector debe verificar derivando directamente que la u obtenida satisface la ecuacin 2ux +
uy = 0 y tambin que u satisface la condicin inicial u(0, y) = cos y.
Ejercicio 2.1 Encuentre la solucin de la edp del ejemplo anterior la cual satisface la
condicin inicial u(x, 0) = ex .
y x
y x
De esta forma puede definirse G(x, y) = yex = c como las curvas caractersticas de la ecuacin
(2.11). Por lo tanto,
u(x, y) = f (yex ),
donde f es una funcin por determinar a partir de la condicin u(0, y) = y3 , es decir f (y) = y3 .
Finalmente se llega a la solucin del problema: u(x, y) = (yex )3 = y3 e3x .
dx a(x, y)
= .
dy b(x, y)
Solucin. En este caso la ecuacin cartesiana de las caractersticas puede encontrarse directa-
mente integrando la ecuacin
dx
= yx3 .
dy
22 Ecuaciones de primer orden
Supngase que a(x, y), b(x, y), c(x, y) son de clase C 1 () con R2 el cual contiene
el punto (x0 , y0 ) = (x0 (s0 ), y0 (s0 )) para algn s0 [s1 , s2 ] y supngase que se cumple la
condicin
dy0 (s0 ) dx0 (s0 )
a(x0 , y0 ) b(x0 , y0 ) 6= 0. (2.24)
ds ds
Entonces en una vecindad U de (x0 , y0 ) existe una solucin nica del problema (2.23).
Una demostracin de una versin ms general del teorema 2.1 para ecuaciones llamadas
cuasilineales
a(x, y, u)ux + b(x, y, u)uy = c(x, y, u)
24 Ecuaciones de primer orden
puede encontrarse en [30]. Resulta interesante que el problema cuasilineal pueda resolverse
por el mtodo de caractersticas descrito en este captulo como se muestra en el siguiente
ejemplo.
Ejemplo 2.6 Considere la ecuacin cuasilineal
(y + u)ux + yuy = x y
Sea la curva dada por y = 1, < x < , u| = 1 + x. Encuentre la solucin u(x, y) que
satisface la condicin inicial sobre .
Solucin. Primero parametrizamos la curva para obtener la condicin inicial en una forma
manejable: x(s) = s, y(s) = 1, u(s) = 1 + s, < s < . Por otra parte, de la edp tenemos el
sistema
dx
= y + u,
dt
dy
= y, (2.25)
dt
du
= xy
dt
La segunda ecuacin en (2.25) se resuelve fcilmente para obtener y(s,t) = c1 (s)et lo cual,
con la condicin sobre : y(s, 0) = 1 implica c1 (s) 1. Las soluciones para u y x resultan un
tanto laboriosas, lo cual es natural a medida que las ecuaciones se complican. Si se resta la
primera ecuacin de la tercera en (2.25) se tiene
du dx
= (u x) 2y = (u x) 2et .
dt dt
La cual es una ecuacin ordinaria lineal de primer orden no homognea, en la funcin u x.
Mediante el factor integrante et se tiene
d t
(e (u x)) = 2e2t .
dt
y as
et (u x) = e2t + c2 (s),
u x = y + c2 (s)y1 .
Con la condicin de frontera x(s) = s, u(s) = 1 + s, y(s) = 1 tenemos 1 = 1 + c2 (s), es decir,
c2 (s) = 2 y por lo tanto u = x y + 2/y.
Al integrar se obtiene
t(s, ) = ,
(
0, s < 0,
u(s, ) = u(s, 0) =
1, s > 0.
(
0, s < 0,
x(s, ) = s + .
1, s > 0.
Las caractersticas pueden construirse ahora partiendo de las condiciones iniciales por ejemplo
la caracterstica que pasa por el punto (2, 0) es x = 2 y la caracterstica que pasa por (2, 0)
es x = 2 + t. Entonces tenemos u(2,t) = 0 y u(2 + t,t) = 1, para t > 0. De esta manera se
ha obtenido la solucin del problema en forma paramtrica.
De la figura 2.3 el lector puede darse cuenta que no hay solucin dada por este mtodo en
la cua 0 < x < t. Esta situacin inquietante puede resolverse adentrndose en el estudio de
las ondas de choque (shocks) y puede consultarse por ejemplo en el artculo clsico de Lax
[21]. El siguiente ejemplo tomado del mismo artculo de Lax da la pauta para el estudio de
soluciones generalizadas, las cuales pueden ser discontinuas, pero cuyo estudio va ms all de
los objetivos de este libro.
Ejemplo 2.8 Choques en la ecuacin de Burgers . (Ejemplo tomado de [21].)
Estudiamos la misma ecuacin del ejemplo anterior, pero con condicin inicial diferente
ut + uux = 0 (2.31)
1,
x 6 0,
u(x, 0) = 1 x, 0<x<1 (2.32)
0, 1 6 x.
Solucin. Para este caso denotamos los puntos iniciales con (x0 , 0) y separamos los casos en
los que x0 6 0, 0 < x0 < 1 y 1 6 x0 . Al integrar el sistema (2.30) y mediante la condicin
2.6 La ecuacin de Burgers 27
inicial se obtiene
x0 < 0 : x = x0 + t
0 < x0 < 1 : x = x0 + (1 x0 )t (2.33)
1 6 x0 : x = x0 .
(
xx0
1 si t = x x0 , x0 < 0 y t = 1x0 , 0 < x0 < 1
u(x,t) = (2.34)
0 si x = x0 , 1 6 x0 .
En la figura 2.4, notamos que la solucin es univaluada para 0 6 t < 1 y bivaluada para
t > 1, y, peor an, la solucin u es discontinua, es decir, no puede tener derivadas de orden
uno en todo el semiplano (x,t) R R+ . Surgen ahora varias preguntas esenciales:
Si la funcin u no es continua, se puede generalizar el concepto de solucin de una edp
para que tenga sentido la solucin encontrada?
Para t > 1, cul de las soluciones u = 0 y u = 1 escoger?
Cul es la curva apropiada para que ocurra la discontinuidad de la solucin?
En la solucin del ejemplo 2.7 es posible encontrar una solucin para cubrir el hueco
en la cua (ver figura 2.3) 0 < x < t?
La respuesta a la primera pregunta es que efectivamente el concepto de solucin puede
generalizarse para dar sentido a las soluciones encontradas en el segundo ejemplo. Para ello
se introduce el concepto de derivada dbil la cual generaliza el concepto clsico de derivada.
Sobre este tema puede consultarse por ejemplo, [25]. Para responder a las otras preguntas
debe hacerse un anlisis heurstico de las leyes de conservacin, lo que da pauta al concepto
de onda de choque y solucin de abanico, una introduccin a estos conceptos se encuentra en
28 Ecuaciones de primer orden
el ya mencionado artculo de Lax [21]. Para finalizar nuestro anlisis agregamos solamente
que puede demostrarse que la solucin del ejemplo 2.8, est dada para t > 1 por
(
1, si x < (1 + t)2,
u(x,t) = (2.35)
0, si (1 + t)/2 < x.
Para entrever como es que se obtiene esta solucin notamos que la discontinuidad comienza
en el punto (1, 1) y puede demostrarse que se propaga a velocidad 1/2, se concluye en [21]
que la discontinuidad se propaga por la lnea t = 2x 1, t > 1. Para el ejemplo 2.7 puede
argumentarse que adems de la solucin encontrada, se tiene u(x,t) = x/t, para 0 < x < t. El
lector puede verificar derivando directamente que para t > 0 efectivamente u = x/t es solucin
de la ecuacin ut + uux = 0.
Ejemplo 2.9 Encuentre la solucin del problema
(
ut + uux = 0
(2.36)
u(x, 0) = x.
se obtiene
t = ,
u(s, ) = u(s, 0) = s, (2.37)
x(s, ) = s + s.
pero en este caso no es posible encontrar una expresin explcita para s en trminos de x y
de t. De cualquier manera es posible graficar la superficie definida paramtricamente por las
ecuaciones (2.38), la grfica se muestra en la figura 2.6. Puede observarse que la solucin
parece como el pliegue de una sbana que se inclina a la derecha, tal pliegue implica que u es
mutivaluada y por lo tanto desarrollar un choque a partir de cierto tiempo to ..
N Suele pensarse que las ecuaciones diferenciales parciales de primer orden siempre tienen
solucin, esto es cierto para ecuaciones lineales de la forma L[u] = F(u) donde L es un
operador lineal en derivadas parciales con coeficientes en C y F es una funcin analtica
en la variable u, este hecho es una consecuencia del teorema de Cauchy-Kowalevski. Sin
embargo, Lewey construy un ejemplo de una ecuacin de la forma L[u] = F(x, y, z) con
F C (R3 ), que no tiene solucin en R3 . Dicho ejemplo muestra la extrema comple-
jidad que se puede presentar en las edp, an en las de primer orden, a diferencia de la
simplicidad de las ecuaciones diferenciales ordinarias de primer orden. El teorema de
Cauchy-Kowalevski, as como el ejemplo de Lewey, pueden consultarse en el libro de
John [16].
2.7 Problemas y ejercicios del Captulo 2 31
3 Ecuacin de calor
por lo que el total del flujo de a travs de en el intervalo [t1 ,t2 ], est dado por
Zt2ZZ Zt2ZZZ
(x,t) n dS dt = div( ) dV,
t1 t1
donde la ltima igualdad se cumple por el teorema de la divergencia de Gauss (teorema A.1,
p. 190). La densidad de energa por unidad de volumen en el tiempo t en la regin est
dada por cu donde c denota el calor especfico del cuerpo ; , la densidad de masa (, c se
suponen constantes) y u = u(x,t) es la temperatura en x en el tiempo t. Por lo que la energa
total en en el intervalo [t1 ,t2 ] est dada por
Zt2ZZZ
u
ZZZ ZZZ
cu(x,t2 ) dV cu(x,t1 ) dV = c dV dt.
t
t1
Donde para que se cumpla la igualdad se ha supuesto que u tiene derivada parcial continua
con respecto a t en y se ha hecho uso del teorema fundamental del clculo para escribir
Z t2
u(x,t2 ) u(x,t1 ) = u(x,t) dt
t1 t
y, finalmente, se ha hecho uso del teorema de Fubini para intercambiar el orden de integracin.
Se considera adems una funcin escalar f = f (x,t) que proporciona la densidad de energa
por unidad de volumen producida (o disminuida) por una fuente (o por un pozo) por lo que el
total de energa producida (o reducida) por una fuente en en el intervalo [t1 ,t2 ] es
Zt2ZZZ
f (x,t) dV dt.
t1
o bien
Zt2ZZZ
u
c Kdiv(u) f = 0. (3.2)
t
t1
Esta ecuacin se denomina ecuacin de calor en la forma integral o forma global de la ecuacin
de calor. Si suponemos continuidad en el integrando sobre la regin y observamos que la
integral se cumple sobre cualquier subregin B y sobre cualquier subintervalo [t1 ,t2 ]
contenido en [0, T ], obtenemos la ecuacin de calor en su forma diferencial o local
u(x,t) = 2 div(u(x,t)) + F(x,t), (3.3)
t
K
donde 2 = es llamada difusividad trmica y F = f /(c). Por ltimo, recordando que el
c
laplaciano de u en coordenadas cartesianas est dado por:
u(x,t) = 2 u(x,t) + F(x,t). (3.4)
t
Las ecuaciones (3.2) y (3.4) son casos particulares de un esquema general discutido en
el Captulo 2, el cual abarca una gran cantidad de fenmenos, fsicos, qumicos, etctera, los
cuales evolucionan con el transcurso del tiempo. En la siguiente seccin analizaremos cmo
usar los esquemas de conservacin estudiados en las ecuaciones de primer orden, para modelar
fenmenos de difusin.
u(x,t) k div (u(x,t)) f (x,t) = 0
t
36 Ecuacin de calor
o bien,
u(x,t) = ku(x,t) + f (x,t)
t
la cual tiene la misma forma que la ecuacin de calor.
ut = 2 uxx . (3.6)
Seccin
transversal
f((x+y)/2)<f(x)/2+f(y)/2
c 2c
= D 2.
t x
En [23], captulo 6, de donde fue tomado el ejemplo anterior puede consultarse una
deduccin de la ecuacin de Black-Scholes para los derivados financieros, la cual tambin es
una ecuacin de difusin.
ut = 2 uxx
en la regin 0 < x < l, 0 < t 6 To entonces la funcin u alcanza sus valores mximo y
mnimo ya sea en t = 0, o bien en los puntos x = 0 o x = l, si 0 < t 6 To .
La desigualdad en (3.8) se cumple dado que v(x2 ,t2 ) es un mximo. La desigualdad (3.9) se
cumple dado que en un mximo el gradiente de v se anula si (x2 ,t2 ) es un punto interior de
0 < x < l, 0 < t < To , as por la definicin de v tenemos 0 = ut (x2 ,t2 ) k de donde se sigue
(3.9).
b) Para t2 = To , se tiene vt (x2 , To ) > 0 por lo que tambin se cumple (3.9).
Por lo tanto en cualquiera de los casos a) o b) se cumple que
ut (x2 ,t2 ) 2 uxx (x2 ,t2 ) = vt (x2 ,t2 ) + k 2 vxx (x2 ,t2 ) > k > 0,
es decir, la ecuacin ut = 2 uxx no se cumple en (x2 ,t2 ), lo cual es una contradiccin. Por lo
tanto el mximo de u se alcanza en la frontera.
Demuestre que f debe ser idnticamente cero en . Sugerencia: suponga f (xo ) > 0 en
algn punto xo y use la continuidad de f .
3. En el tiempo t = 0, la temperatura u(x, 0) de un alambre de cobre delgado con constante
2 = 1,14 y de dos unidades de longitud es g(x) = x + x3 , 0 6 x 6 2. Si los extremos del
alambre se mantienen a 0 C. Plante el problema de calor asociado con la temperatura
de la barra en todo tiempo t > 0.
4. Para una lmina metlica circular conviene escribir la ecuacin de calor en coordenadas
polares. Mediante el cambio de variables apropiado demuestre que la ecuacin de calor
puede escribirse como
2 1 1
ut = urr + ur + 2 u .
r r
5. Dada la ecuacin diferencial ut = uxx + sen( x) para 0 < x < 1 t > 0 y con condicin
inicial u(x, 0) = 0 para 0 < x < 1, describa lo que ocurre en cada tiempo t > 0 dadas las
condiciones de frontera siguientes:
a) u(0,t) = u(1,t) = 0
b) u(0,t) = ux (1,t) = 0
6. Muestre que la ecuacin de calor retrgrada
u 2u
= k 2
t x
con las condiciones de frontera u(0,t) = u(l,t) = 0 y con condicin inicial u(x, 0) = f (x)
no est bien condicionada, es decir, muestre que si se perturban las condiciones por
una pequea cantidad, por ejemplo f (x) se reemplaza por f (x) + 1/n sen (nx/l) para
n grande, entonces la solucin u(x,t) cambia en una gran magnitud.
7. Derive bajo el signo de integral para verificar que
1
Z
2 /4t
u(x,t) = F(y)e(xy) dy
4t
8. Sea m N y sea
m
2 2
um = (x,t) = cne(n t)sen nx, 0 < x < 1, t > 0
n=1
muestre que um satisface la ecuacin de calor con = 1, 0 < x < 1, t > 0, con condi-
ciones de frontera u(0,t) = u(1,t) = 0, t > 0, y para cualesquiera constantes cn .
9. Considere un alambre metlico delgado cuya temperatura u(x,t) satisface la ecuacin
de calor
ut = 3uxx
con condiciones de frontera idnticamente cero y u(x, 0) = f (x), para 0 6 x 6 0,
a) Cul es la energa total en la barra como funcin del tiempo?
b) Cul es el flujo de de energa fuera del alambre en x = 0?
10. Sea u(x,t) solucin positiva de la ecuacin de calor
ut = uxx
t + x = xx .
4 La ecuacin de Laplace
Si u(Po ) < 0, u(Po ) es mayor que el promedio de sus vecinos en una bola B con centro
en Po y radio suficientemente pequeo .
Si u(Po ) = 0, u(Po ) es igual al promedio de sus vecinos en una bola B con centro en
Po y radio suficientemente pequeo .
Una buena ilustracin de las consideraciones anteriores resulta al tomar el caso de u =
u(x, y) vese la figura 4.1.
La descripcin de esta seccin ilustra la importancia del laplaciano en la modelacin
matemtica ya que esta asociado con los procesos en los que ocurre una difusin, es decir el
paso de una mayor concentracin a una menor concentracin de una sustancia dada, pero eso
no es todo, el laplaciano tiene una gran cantidad de aplicaciones en la matemtica terica, por
ejemplo, en el estudio de funciones armnicas en la variable compleja (ver por ejemplo [1]
pag. 162).
Podemos ahora dar una descripcin de la ecuacin de calor o de difusin en RN [0, ),
la cual generaliza la interpretacin para una sola variable espacial. Sea u : [0, T ] R,
donde RN es un conjunto abierto y acotado. Supongamos que u tiene segundas derivadas
continuas en (0, T ] y que satisface la ecuacin
u
= 2 u. (4.1)
t
u
Entonces si u(Po ,to ) > 0, tenemos (Po ,to ) > 0 es decir u tiende a crecer en una vecindad
t
de Po para t > to . Por otro lado, si u(Po ,to ) < 0, entonces u tiende a decrecer en una vecindad
de Po para t > to . Si u representa la concentracin de una sustancia en el punto Po al tiempo t
entonces la ecuacin (4.1) representa la tendencia de la sustancia a pasar de una concentracin
mayor a una menor.
Para la ecuacin de onda, en R2 , si U representa la altura de una membrana definida en ,
se tiene la ecuacin
2u
= 2 u, (4.2)
t 2
4.1 Descripcin intuitiva del laplaciano 47
2u
si u(Po ,to ) > 0, tenemos (Po ,to ) > 0, es decir, la fuerza de tensin en la membrana tiene
t 2
componente en el eje z = u(x,t) que apunta en la direccin positiva y su magnitud es menor en
cuanto menor es la curvatura del perfil u en promedio, en una vecindad de Po . Si u(Po ,to ) < 0,
2u
tenemos 2 (Po ,to ) < 0, y en este caso, la componente en el eje z de la tensin tiene direccin
t
negativa en una vecindad de Po .
Para el mnimo se toma u y dado que max (u(x0 )) = mn (u(x0 )), al sustituir en la
x0 x0
desigualdad anterior, la demostracin queda terminada.
Una vez que queda establecido el principio del mximo la unicidad de soluciones para el
problema de Dirichlet asociado a la ecuacin de Poisson se sigue fcilmente.
48 La ecuacin de Laplace
entonces u = v en = .
Demostracin: Sea w = u v entonces w = 0 en y w = 0 en . El Teorema 4.1 implica
que w 0 en = , de donde se sigue la unicidad.
Ejercicio 4.1 Una sencilla modificacin de las demostraciones de los teoremas 4.1, 4.2
anteriores las hace vlidas para R2 . Son vlidas en RN ?
Ejercicio 4.2 Verifique que el principio del mximo no se cumple para la ecuacin de
Poisson, por ejemplo la solucin del problema
u00 (x) = 1
x = r cos ,
y = r sen ;
p
r = x2 + y2 ,
y
= arctan .
x
Al usar la regla de la cadena se tiene
sen
ux = ur rx + u x = ur cos u ,
r
cos
uy = ur ry + u y = ur sen + u .
r
Al usar nuevamente la regla de la cadena (problema 4) se llega a
1 1
u = uxx + uyy = urr + ur + 2 u . (4.5)
r r
Para las coordenadas esfricas:
x = r cos sen ,
y = r sen sen ;
z = r cos ,
p
r = x2 + y2 + z2 ,
y
= arctan ,
x
z
= arc cos p
x2 + y2 + z2
2 1 cot 1
u = urr + ur + 2 u + 2 u + 2 2 u . (4.6)
r r r r sen
50 La ecuacin de Laplace
u
u = f en , = g en ,
n
donde es una regin abierta conexa y acotada de R3 , entonces u = v + c con c R.
2. Muestre que u(x, y) = ex cos y es armnica en R2 cul es el mximo de u en el disco
D = {x2 + y2 6 r2 }?
3. Compruebe que la solucin del problema u00 (x) = 1 para x (0, 1), u(0) = u(1) = 0,
no satisface el principio del mximo.
4. Demuestre la frmula (4.5).
5. Demuestre la frmula (4.6).
6. Verifique que la siguientes funciones son armnicas en R2 :
a) u(x, y) = ex sen x.
b) u(x, y) = x2 y2 .
c) u(x, y) = 2xy. RR
7. Use el teorema de la divergencia para encontrar una expresin para uudxdydz. Una
vez calculada dicha expresin muestre que la solucin de la ecuacin de Laplace es
nica.
8. Muestre que si u satisface
entonces u es constante.
9. Muestre que para z C si f (z) = f (x + iy) = u(x, y) + iv(x, y) tiene derivadas continuas
entonces u, v satisfacen las ecuaciones de Cauchy-Riemann ux = vy , uy = vx . Muestre
que si u, v tienen segundas derivadas continuas y satisfacen las ecuaciones de Cauchy-
Riemann entonces u, v son armnicas.
10. Considere el operador de Laplace en coordenadas esfricas en dimensin tres para
demostrar que una de las soluciones que dependen slo de r de la ecuacin
u + u = 0
5 La ecuacin de onda
5.1 Introduccin.
El prototipo de las ecuaciones hiperblicas es la ecuacin de onda la cual modela diversos
fenmenos fsicos, ya sea el movimiento de una cuerda o de una membrana en un instrumento
musical, o bien el comportamiento de la luz. Se presentar una deduccin de la ecuacin de
onda a partir de las ecuaciones de Maxwell y otra a partir de un modelo simplificado del
movimiento de una cuerda. Comenzamos con este ltimo.
tensin, es decir
Z Z b
(x,t)dx = (x,t)dx = (sen ( (b,t)) sen ( (a,t))). (5.2)
a
Donde la ltima integral es consecuencia del teorema fundamental del clculo. Tomando en
cuenta la ecuacin (5.4) se llega a
Z b Z b
o (x)utt (x,t)dx = T (t) uxx (x,t)dx. (5.7)
a a
N La ecuacin (5.9) puede modificarse para incluir los efectos de la friccin ut , la respuesta
elstica del medio ku as como la presencia de una fuerza externa f (x,t) con lo cual
puede obtenerse el siguiente modelo dado para el movimiento de una cuerda
Se puede intuir que si no se toman en cuenta fuerzas de friccin ni las fuerzas externas, u
satisface la ecuacin
2 u(x,t) 2 u(x,t)
= (5.11)
t 2 x2
Donde es una constante que depende del material del cual est hecha la cuerda.
Ejercicio 5.1 Se deja como ejercicio de clculo comprobar que rot(rotB) = (divB)
B, donde el laplaciano B del campo vectorial B se define como:
B = (Bx , By , Bz ).
B = o rotJ + o o (rotE). (5.17)
t
Si consideramos la ecuacin (5.14) se tiene que
2B
(rotE) = 2 . (5.18)
t t
5.4 Solucin de DAlembert 55
u = 0. (5.22)
Ejercicio 5.3 Verifique que con el cambio de variable dado en (5.21) la ecuacin de onda
se convierte en la ecuacin (5.22).
Ahora la ecuacin (5.22) puede integrarse por ejemplo con respecto a la variable :
u ( , ) = ()
u( , ) = () + ( ), (5.23)
donde las funciones , con 0 = deben determinarse a partir de las condiciones iniciales
(ci) en (5.20). Primero, se restituyen las variables originales por medio de las frmulas (5.21)
para obtener
u(x,t) = (x ct) + (x + ct). (5.24)
Dado que u(x, 0) = f (x), ut (x, 0) = g(x), tenemos al derivar (5.24) y poniendo t = 0:
Ejercicio 5.4 Considere las condiciones iniciales u(x, 0) = cos x, ut (x, 0) = 0. Verifique
que la solucin del problema (5.20) es u(x,t) = 21 (cos(x ct) + cos(x + ct)).
Ejemplo 5.1 Considrese el problema de la cuerda infinita con desplazamiento inicial cero
y velocidad inicial dada por
(
1, si |x| 6 a
g(x) =
0, si |x| > a,
donde a > 0.
Este ejemplo corresponde al comportamiento de una cuerda infinita despus de ser golpeada
por un martillo de longitud 2a. Claramente, la velocidad inicial tiene singularidades en x = a.
Por la frmula de DAlembert se tiene la solucin
Z x+ct
1 1
u(x,t) = g()d = |{(a, a) (x ct, x + ct)}|
2c xct 2c
donde |{(a, a) (x ct, x + ct)}| es la longitud del conjunto resultante. Por ejemplo si
t = a/2c :
0, si x (, 32 a],
1 3 3 1
2c (x + 2 a), si x ( 2 a, 2 a)
Z x+ct
1
g()d = 2c a
, si x ( 12 a, 12 a) (5.32)
2c xct 1 3 1 3
2c (x + 2 a), si x ( 2 a, 2 a)
si x [ 32 a, ).
0,
El lector debe ser capaz de encontrar soluciones de esta integral en casos especficos por s
mismo.
58 La ecuacin de onda
Ejercicio 5.5 Compruebe que la solucin al problema del ejemplo 5.1 est dada explci-
tamente, para t = a/c, por
0, si x [, 2a],
1 (x + 2a), si x [2a, 0]
u(x, a/c) = 2c
1 (5.33)
(x + 2a), si x [0, 2a]
2c
0, si x (2a, ).
tambin puede ser resuelto por el mtodo de DAlembert si se usan las extensiones impares de
las condiciones iniciales. Considere las funciones
(
f (x), x > 0,
fe(x) = (5.35)
f (x), x < 0.
(
g(x), x > 0,
ge(x) = (5.36)
g(x), x < 0.
1 1 x+ct
Z
v(x,t) = ( fe(x ct) + fe(x + ct)) + ge()d.
2 2c xct
La solucin u del problema en la semirecta se obtendr a partir de la solucin v restringin-
dola a valores x > 0. En la regin x ct > 0 se tiene obviamente x > ct > 0 y en esta regin
fe = f y ge = g. Por lo tanto
5.5 Frmula de Kirchhoff-Poisson 59
Z x+ct
1 1
u(x,t) = ( f (x ct) + f (x + ct)) + g()d, si x > ct. (5.38)
2 2c xct
Z x+ct Z 0
1 1
u(x,t) = ( f (x + ct) f (ct x)) + g()d + g()d
2 2c 0 xct
La solucin completa del problema (5.34) est dada por las dos soluciones (5.38), (5.39) las
cuales estn definidas, por supuesto, en regiones disjuntas del plano x,t.
El lector debe observar que las integrales en la frmula (5.41) son integrales de superficie de
las funciones escalares f , g, tomadas sobre la esfera con centro en xo y radio ct.
1
ZZ
u(r,t) = u(x,t)dS
4r2 kxxo k=r
60 La ecuacin de onda
No es difcil verificar por medio de la frmula (4.6) que u satisface la ecuacin de onda en
coordenadas esfricas
2
utt = c2 (urr + ur ) (5.45)
r
si u es solucin de la ecuacin de onda y adems es uniformemente continua en cada bola3 .
Con la sustitucin
v(r,t) = ru(r,t)
se llega a la ecuacin de onda del problema (5.20) como se muestra a continuacin. Dado que
vtt = rutt , vr = rur + u y vrr = rurr + 2ur , la ecuacin (5.45) se convierte en
con 0 < t < , 0 < r < . Sin prdida de generalidad podemos suponer que u(0,t) < y por
lo tanto
v(0,t) = 0. (5.47)
Adems como u es solucin de problema (5.40), v debe satisfacer las condiciones
Las ecuaciones (5.46), (5.47) y (5.48) constituyen un problema de onda en una dimensin
espacial y puede ser resuelto por el mtodo de DAlembert en la semirecta 0 < r, la solucin
dada en la seccin 5.4.1 frmula (5.39) para este problema con 0 6 r 6 ct da
Z ct+r
1 1
v(r,t) = [(ct + r) f (ct + r) (ct r) f (ct r)] + sg(s)ds
2 2c ctr
El primer trmino del lado derecho puede ser reescrito mediante el teorema fundamental del
clculo para obtener
1 ct+r
Z Z ct+r
v(r,t) = s f (s)ds + sg(s)ds (5.49)
2c t ctr ctr
para 0 6 r 6 ct.
Claramente u(r, , ,t) = u(xo + r cos sen , yo + rsen sen , zo + cos ,t) de esta forma
3 La continuidad uniforme se requiere para el intercambio de derivadas parciales e integrales.
5.5 Frmula de Kirchhoff-Poisson 61
xo-ct xo+ct
( )
0 a xo
Para N = 1 claramente kxk = |x| y este problema puede pensarse como la perturbacin
producida en una cuerda infinita al ser golpeada por un martillo de longitud 2a. Recordamos
62 La ecuacin de onda
xo
rea de influencia:
2E
2
= c2 E.
t
3. Compruebe derivando directamente que la solucin del problema con valores iniciales
utt = c2 uxx , u(x, 0) = f (x), ut (x, 0) = g(x), est dada por la frmula
Z x+ct
1 1
u(x,t) = ( f (x ct) + f (x + ct)) + g()d.
2 2c xct
4. Una cuerda de una guitarra de longitud 1 m se jala por la mitad una distancia de 5 cm y
entonces se suelta. Escriba el problema de onda asociado a esta situacin si c = 1.
5. Sea u(x,t) una funcin con derivadas parciales de tercer orden continuas la cual satisface
la ecuacin uxx utt = 0. Compruebe que la funcin v(x,t) = ux ut tambin satisface
la misma ecuacin.
6. Use la solucin de DAlembert para la solucin del problema
para demostrar que si las funciones , son simultneamente impares entonces u(0,t) =
0 y si son simultneamente pares ux (0,t) = 0.
7. Muestre que si la funcin f (x,t) en el problema
u = utt
6 Separacin de variables
6.1 Introduccin
Dada una edp
G(t, x1 , x2 , . . . , xn , u, ut , utt , . . . , ux1 , . . . , uxn , . . . , uxm1 xm2 ...,xnmk ) = 0, (6.1)
1 2
u u
= (6.3)
t y
por medio del mtodo de separacin de variables.
Solucin. Se propone una solucin u de la forma u = T (t)Y (y). Entonces al sustituir la
expresin anterior en la ecuacin (6.3) se obtiene
dT (t) dY (y)
Y (y) = T (t) . (6.4)
dt dy
De donde, al separar variables y suponiendo que T (t)Y (y) no es idnticamente cero se
tiene
1 dT (t) 1 dY (y)
= .
T (t) dt Y (y) dy
66 Separacin de variables
Note ahora que el lado izquierdo de la ecuacin anterior es una funcin que slo depende de t
mientras que el lado derecho slo depende de y, sean
1 dT (t)
H(t) =
T (t) dt
y
1 dY (y)
G(y) = .
Y (y) dy
Recuerde que las variables t y y son independientes, por lo que podemos usar el siguiente
lema 6.1 el cual implica que
1 dT (t) 1 dY (y)
k= =
T (t) dt Y (y) dy
donde k es un nmero real. De esta forma se obtienen dos ecuaciones diferenciales ordinarias
de primer orden.
dT (t)
kT (t) = 0 (6.5)
dt
dY (y)
kY (y) = 0. (6.6)
dy
N Generalmente los estudiantes tienden a creer que el lema anterior no es del todo correcto,
por ejemplo los cilindros parablicos z = H(y) = y2 , z = G(x) = x2 se intersecan en
las curvas x = t, y = t, z = t 2 y x = t, y = t, z = t 2 (ver figura 6.1). Obviamente
G(x) = H(y) 6= k, sobre las curvas, pero lo que requiere el lema es que la igualdad
H(y) = G(x) se cumpla para toda x, y.
(ed p)n ut = 2 uxx , 0 < x < l, 0 < t < ,
(ci) u(x, 0) = g(x), 0 6 x 6 l,
(PCo ) (
u(0,t) = 0, t >0
(c f )
u(l,t) = 0.
Hemos visto en el captulo 3 que este problema modela la difusin de calor en una barra sin
fuentes de calor internas, con temperatura inicial u(x, 0) = g(x) y temperatura cero en sus
extremos. Para resolver este problema se aplica la tcnica de separacin de variables la cual
consiste en buscar soluciones no triviales u de la forma
Es decir, se propone u como un producto de dos funciones incgnitas X, T, las cuales slo
dependen cada una de las variables x,t respectivamente. De esta manera:
u(x,t) dT (t)
= X(x) , (6.9)
t dt
2 u(x,t) d 2 X(x)
= T (t) . (6.10)
x2 dx2
Si se sustituyen las ecuaciones (6.9), (6.10) en la edp se obtiene
dT (t) d 2 X(x)
X(x) = 2 T (t) . (6.11)
dt dx2
Si dividimos (6.11) por 2 X(x)T (t) se tiene
1 dT (t) 1 d 2 X(x)
= . (6.12)
2 T (t) dt X(x) dx2
Observe que la expresin del lado izquierdo de la igualdad slo depende de t, mientras que el
lado derecho slo depende de x. Esta situacin slo puede ocurrir cuando ambas expresiones
son iguales a una constante k R, como se vio en el lema 6.1, es decir:
1 dT (t) 1 d 2 X(x)
= = k. (6.13)
2 T (t) dt X(x) dx2
De acuerdo a la ecuacin (6.13) se llega al siguiente par de ecuaciones diferenciales ordinarias:
dT (t)
k 2 T (t) = 0 (6.14)
dt
d 2 X(x)
kX(x) = 0. (6.15)
dx2
Al resolver cada una de las ecuaciones se obtienen soluciones cuyo producto satisface la edp.
Para que el producto de soluciones satisfaga las condiciones de frontera u(0,t) = u(l,t) = 0
se deben satisfacer las condiciones siguientes
X(0)T (t) = X(l)T (t) = 0, para toda t > 0. (6.16)
Lo que lleva a los siguientes problemas en ecuaciones diferenciales ordinarias:
dT (t)
k 2 T (t) = 0 (6.17)
2 dt
d X(x)
kX(x) = 0,
dx2 (6.18)
X(0) = X(l) = 0.
d 2 X(x)
=0
dx2
de donde
dX(x)
= c1
dx
y as
X(x) = c1 x + c2 ,
donde, c1 , c2 son constantes, las cuales se determinan de las condiciones en (6.18).
Entonces X(0) = c2 = 0 y X(l) = c1 l = 0, como l 6= 0 tenemos la solucin trivial
X(x) 0 con la cual u(x,t) = X(x)T (t) es idnticamente cero. Se concluye, por lo tanto,
que no puede ocurrir el caso k = 0, ya que, claramente, la solucin u(x,t) 0 no puede
satisfacer la condicin inicial u(x, 0) = g(x) para una funcin arbitraria g.
2. Caso k > 0. Se tiene el problema:
d 2 X(x)
kX(x) = 0, X(0) = X(l) = 0. (6.19)
dx2
El cual tiene una solucin de la forma X(x) = eax sustituyendo en (6.19) se obtiene
2
la ecuacin caracterstica a k = 0, as a = k. Entonces la forma general de las
soluciones de la ecuacin diferencial es
kx kx
X(x) = c1 e + c2 e
c1 + c2 = 0
c1 ekl
+ c2 e kl
=0
dT (t) n 2
+ T (t) = 0
dt l
cuya soluciones estn dadas (ver apndice B) por:
2
Tn (t) = An e(n/l) t .
Por lo tanto (escribiendo el producto de constantes como una constante) tenemos una familia
infinita de soluciones de la edp que satisfacen las condiciones de frontera (c f ) las cuales son
de la forma:
2
n
un (x,t) = Xn (x)Tn (t) = An e(n/l) t sen x , n N. (6.21)
l
Por el momento, ha quedado parcialmente resuelto el problema (PCo ). Cada una de las
funciones (6.21) satisfacen la edp y las condiciones de frontera (c f ). Para satisfacer la
condicin inicial (ci) con g una funcin arbitraria se requiere del uso de las llamadas series de
Fourier, pero antes enunciamos el siguiente principio bsico.
n
u(x, 0) = g(x) = An sen x , (6.22)
n=1 l
Z l
(
n m 0, si m 6= n
sen x sen x dx = (6.23)
0 l l l/2, si m = n,
72 Separacin de variables
2 l n
Z
An = g(x) sen x dx n > 1. (6.24)
l 0 l
A los coeficientes (6.24) se les llama coeficientes de Fourier de la funcin g, y a la serie
(6.22) con estos coeficientes se le llama serie de Fourier asociada a g. De esta manera, hemos
obtenido una solucin formal al problema (PCo ), a saber:
n
2
u(x,t) = Ane(n/l) t sen l
x , (6.25)
n=0
1 Para
poder intercambiar la integral y suma infinita se requiere convergencia uniforme de la serie, en el
apndice A se da la definicin A.3 de tal convergencia.
2 Para ver la definicin de convergencia puntual ver la definicin A.2 en el apndice A Hechos bsicos del
Clculo.
6.2 Solucin de la ecuacin de calor 73
Solucin. El mtodo de separacin de variables indica que la solucin debe ser de la forma
(6.25) con los coeficientes An dados por (6.24). Si se recuerdan la condiciones de ortogonalidad
(6.23) se tiene An = 0 si n 6= 3 y A3 = 1/5. por lo tanto la solucin del problema es
1 2
u(x,t) = e9 t sen (3x).
5
Obsrvese que en este caso la funcin g(x) = 15 sen (3x), ya se encuentra desarrollada en
series de Fourier lo que facilit la solucin del problema.
Ejercicio 6.2 Argumente porqu la solucin del ejemplo anterior ya est desarrollada en
series de Fourier.
Ejemplo 6.3 Como un ejemplo ms, considrese el problema de flujo de calor en una barra
cuya superficie lateral est aislada y que en el instante t = 0 tiene una temperatura dada por
u(x, 0) = x; adems supngase que = 1, que no hay fuentes de calor y que mediante algn
dispositivo se consigue poner los extremos de la barra a 0 grados para todo t > 0. Encuentre la
temperatura de la barra para todo t > 0.
Solucin. El problema puede escribirse en forma matemtica como
ut = uxx , 0 < x < 1, 0 < t < ,
u(x, 0) = x, 0 < x < 1
u(0,t) = 0, t > 0
u(1,t) = 0.
2(1)n+1
Z 1
donde An = 2 x sen (nx) dx = .
0 n
74 Separacin de variables
1
u
0.8
t =0
0.6
t = 0,01
0.4
t = 0,1
0.2
t = 0,2
0 0.2 0.4 0.6 0.8 1 x
1
1
Fenmeno de Gibbs
0.8 0.8
0.6 0.6
0.4 0.4
0.2 n = 20 0.2 n = 50
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
20
2(1)n+1
x n sen (nx) , y en la grfica de la derecha una suma con cincuenta trminos
n=0
50
2(1)n+1
x n sen (nx).
n=0
d 2 f (x)
uxx = = 0.
dx2
Al integrar dos veces se obtiene u(x,t) = f (x) = ax + b donde las constantes a, b se deben
determinar de las (c f ). Por lo tanto la solucin estacionaria (t ) es una recta. Tomando en
cuenta que u(0,t) = f (0) = b, ux (0,t) = ux (l,t) = f 0 (x) = a y u(l,t) = f (l) = al + b se tiene
el siguiente sistema de ecuaciones cuyas incgnitas son a y b.
(
a11 b + a12 a = h1
(6.27)
a21 b + (a21 l + a22 )a = h2 .
76 Separacin de variables
si
a11 a12
a21 a21 l + a22 6= 0.
como el lector puede verificar simplemente sustituyendo la definicin de u(x,t). Este problema
ya ha sido analizado y, como sabemos, tiene la solucin
2
u(x,t) = ane(n/l) t sen(nx/l),
n=1
donde Z l
2
an = (x)sen(nx/l)dx,
l 0
es decir, lo nico que cambi fue la funcin . De esta manera, u(x,t) = f (x) + u(x,t)
proporcionan la solucin del problema (6.26) en el caso de que h1 y h2 son constantes.
Para el problema (6.26) con (c f ) generales se propone una solucin de la forma
En este caso se pone E(x,t) = a(t)x + b(t) con a(t), b(t) de la forma como en (6.28), (6.29),
pero con h1 = h1 (t), h2 = h2 (t), es decir, en este caso h1 y h2 no son constantes sino dependen
6.2 Solucin de la ecuacin de calor 77
de t. Obsrvese que E(x,t) satisface las condiciones de frontera de la ecuacin (6.26), como
puede verificarse fcilmente. As, la funcin u = u E debe ser solucin del problema
ut (x,t) = 2 uxx (x,t) Et (x,t), 0 < x < l, 0 < t < ,
u(x, 0) = (x) E(x, 0) = (x)
( (6.32)
u(0,t) = 0
(c f ) u(l,t) = 0, t > 0.
En este caso la edp del problema (6.32) es no homognea dado que aparece la funcin Et (x,t).
Hasta ahora las tcnicas estudiadas no nos permiten resolver este tipo de ecuaciones pero se
tratarn en la seccin prxima.
Para finalizar esta seccin se presenta un ejemplo
Ejemplo 6.4 Resuelva el problema con (c f ) no homogneas
ut = 2 uxx , 0 < x < 1, 0 < t < ,
u(x, 0) = sen(2x)
( (6.33)
u(0,t) = 3
(c f ) u(1,t) + 2u (1,t) = t, t > 0.
x
Solucin. Se busca una funcin de la forma E(x,t) = a(t)x + b(t), donde a, b, se calculan de
la siguiente manera
3 0
t 2
b = =3 (6.34)
1 0
1 2
1 3
1 t t 3
a = = , (6.35)
1 0
2
1 2
por lo tanto E(x,t) = (t 3)x/2 + 3. Fcilmente se verifica que E(x,t) satisface las (c f ) de
(6.33). Notando que Et (x,t) = x/2, se busca ahora una funcin u que sea solucin de
ut (x,t) = 2 uxx (x,t) 3x , 0 < x < l, 0 < t < ,
u(x, 0) = sen(2x) (t 3)x/2 + 3 = (x)
( (6.36)
u(0,t) = 0
(c f ) u(l,t) = 0, t > 0.
La solucin u del problema anterior puede resolverse con el mtodo de la seccin 6.6. Final-
mente, la solucin del problema (6.33) dada por u(x,t) = u + (t 3)x/2 + 3.
78 Separacin de variables
Obsrvese que el problema (6.38) coincide con el problema (6.18) de donde se obtiene
n 2
k= , n N, (6.39)
l
y n
Xn (x) = cn sen x . (6.40)
l
Donde las cn son constantes por determinar. Si se sustituye (6.39) en (6.37) se tiene
d 2 T (t) n 2
+ T (t) = 0 (6.41)
dt 2 l
Al resolver (6.41) (ver apndice B, seccin B.2.1, ecuacin (B.4)) se obtiene la familia de
soluciones: n n
Tn (t) = an cos t + bn sen t , nN (6.42)
l l
por lo tanto la familia
h n n i n
un (x,t) = an cos t + bn sen t sen x , nN (6.43)
l l l
donde, cn ha quedado asimilada a las constantes an , bn , son soluciones de la ecuacin edp del
problema (POo ) que satisfacen las (c f ). Para encontrar la solucin que satisfaga las (ci) :
(
u(x, 0) = g(x), 0 6 x 6 l,
(ci)
ut (x, 0) = h(x).
6.3 Solucin de la ecuacin de onda 79
2 l n
Z
an = g(x) sen x dx, n = 1, 2 . . . . (6.45)
l 0 l
Para obtener las constantes bn suponemos que la serie (6.44) se puede derivar trmino a
trmino y si la serie derivada converge a ut (x,t) entonces se llega a 3
n n
h(x) = ut (x, 0) = bn sen x . (6.46)
n=0 l l
Interpretacin de la solucin
Sea
2 (1)n
un (x,t) = sen [(2n + 1)x] cos[(2n + 1)t]
2 (2n + 1)2
entonces la solucin del ejemplo 6.5 puede escribirse como
u(x,t) = un(x,t).
n=0
Como hemos explicado, u(x,t) es la superposicin de las funciones un (x,t) llamadas armnicos
n-simos o n-simos modos de vibracin. Estas vibraciones fundamentales de una cuerda
pueden percibirse con claridad, por ejemplo en una guitarra, poniendo un dedo a la mitad de
una cuerda sin presionar despus de hacerla sonar y retirando el dedo inmediatamente. Este
curioso sonido resulta de los n-simos armnicos que no tienen crestas a la mitad de la cuerda.
En este ejemplo se produce un sonido a una octava mas alta que el de la cuerda sin perturbar,
por lo cual se les llama armnicos octavados. A continuacin mostramos dos maneras de
visualizar geomtricamente la solucin de la ecuacin de onda para este problema
En el caso general de la ecuacin (6.44) las ecuaciones de los n-simos armnicos son
h n n i n
un (x,t) = an cos t + bn sen t sen x
l l l
los cuales, por medio de una identidad trigonomtrica bsica, pueden escribirse como
r2 00 r 0 00 ( )
R (r) + R (r) = = k,
R(r) R(r) ( )
d 2 R(t) dR(r)
r2 + r kR(r) = 0, (6.50)
dr2 dr
d 2 ( )
+ k( ) = 0. (6.51)
d 2
Para que u sea univaluada en , las soluciones de la ecuacin (6.51) deben ser peridicas de
periodo 2, es decir, ( ) = ( + 2). En tal caso los valores permisibles de k son cuando
k = n2 > 0. Si k = 0 las nicas soluciones peridicas son ( ) = c ya que los casos k = 0,
82 Separacin de variables
d 2 R(t) dR(r)
r2 2
+r n2 R(r) = 0 (6.53)
dr dr
la cual es una ecuacin de Euler. En el apndice B, ejemplo B.1, pgina 192, se muestra que la
solucin general est dada por
Rn (r) = 1 rn + 2 rn (6.54)
Note que la solucin anterior puede escribirse en la forma
n n
r r
Rn (r) = 1 + 2 , (6.55)
r0 r0
n
r
un (r, ) = Rn (r)n ( ) = (cn cos(n ) + dn sen (n )), n = 0, 1, 2, 3, . . .
r0
ser una solucin formal de la (ed p). Finalmente, para que (6.57) satisfaga la (c f ) en el
problema (PLo ), debe tenerse
g( ) = u(r0 , ) = (cn cos(n ) + dn sen (n )). (6.58)
n=0
De esta forma el problema queda resuelto al calcular los coeficientes de Fourier de g( ), los
cuales estn dados por
1 2
Z
c0 = g( )d , (6.59)
2 0
1 2
Z
cn = g( ) cos(n )d , (6.60)
0
1 2
Z
dn = g( )sen (n )d , (6.61)
0
los cuales se obtienen usando las relaciones de ortogonalidad de las funciones trigonomtricas.
Por lo tanto la solucin formal del problema (PL0 ) est dada por (6.61), (6.60), (6.59) y (6.57).
Ejemplo 6.6 Resuelva el problema
(
(ed p) u = 0, 0 < r < 1,
(PL1 )
(c f ) u(1, ) = g( ) = cos(3 ) sen( ), 0 6 6 2.
Solucin. En este caso g( ) est ya, desarrollada en series de Fourier con cn = 0 para n 6= 3 y
dn = 0 para n 6= 1, as, la solucin es u(r, ) = r3 cos(3 ) r sen( ).
frmula para la solucin que no involucra sumas infinitas sino solamente una integral, llamada
frmula integral de Poisson. En efecto, poniendo r0 = R en las frmulas correspondientes
1 2
Z
u(r, ) = g()d
2 0
1 r n 2
Z
+ g()[cos(n) cos(n ) + sen(n)sen(n )]d,
n=1 R 0
Recordamos que el intercambio entre suma infinita e integral de Riemann puede hacerse slo
suponiendo la convergencia uniforme de la serie involucrada, es decir, aqu hemos supuesto
que el intercambio de integracin y suma infinita puede aplicarse. Utilizamos ahora, la frmula
eit + eit
de variable compleja cost = , donde i = 1,
2
!
1 2 n
r
Z
u(r, ) = 1+ (ein( ) + ein( ) ) g()d.
2 0 n=1 R
1
Se tiene la frmula para la serie geomtrica n = 1 , cuando || < 1 y dado que
n=0
claramente |ein( ) | = |ein( ) | = 1, si notamos adems que () = () 1 se tiene
n=1 n=0
que
r n 1 R
ein( ) = 1 = 1
n=1 R 1 Rr ei( ) R rei( )
y
r n 1 R
ein( ) = r i( ) 1 = 1.
n=1 R 1 Re R rei( )
Finalmente, mediante simplificaciones algebraicas se llega a
R2 r2
Z 2
1
u(r, ) = g()d. (6.62)
2 0 R2 2rR cos( ) + r2
La ecuacin (6.62) se conoce como la frmula integral de Poisson.
punto en la frontera con coordenadas (R, ), de esta forma r = kxk, R = kx0 k. Aplicando
la ley de los cosenos al tringulo Oxx0 de la figura 6.6, se tiene la frmula kx x0 k2 =
R2 + r2 2Rr cos( ). Adems, puesto que el elemento de arco est dado por ds = Rd y
que la funcin u evaluada sobre la circunferencia es g, es decir, u(x0 ) = g(). Se tiene que la
frmula de Poisson puede escribirse como
R2 kxk2 u(x0 )
Z
u(x) = 0 2
ds (6.63)
2R kx0 k=R kx x k
Teorema 6.2 Sea g() una funcin continua en el crculo D = {x : kxk = R}. La frmula
de Poisson (6.63) proporciona una funcin armnica en el disco D = {x : kxk < R} con la
propiedad
lm0 u(x) = g(),
xx
donde es el ngulo correspondiente al punto x0 D.
Considrese el problema
ut = ( 2 uxx + f (x,t), 0 < x < 1, 0 < t <
u(0,t) = 0,
(c f ) (6.64)
u(1,t) = 0, 0 < t <
(ci) u(x, 0) = (x), 0 6 x 6 1.
Las condiciones de frontera consideradas, por supuesto, pueden ser modificadas y se han
escogido las ms elementales para simplificar la exposicin.
La idea bsica del mtodo de expansin en funciones propias consiste en desarrollar la
funcin f como la superposicin de funciones propias, es decir, se considera que f puede
escribirse como f (x,t) =
n=0 f n (t)Xn (x) donde Xn (x) son las funciones propias del problema
homogneo asociado ( f (x,t) 0):
ut = ( 2 uxx , 0 < x < 1, 0 < t <
u(0,t) = 0,
(c f ) (6.65)
u(1,t) = 0, 0 < t <
(ci) u(x, 0) = (x), 0 6 x 6 1.
donde las funciones fn (t), n > 1, se determinarn al usar las propiedades de ortogonalidad de
las funciones propias sen nx. Suponiendo que se cumplen las hiptesis para el intercambio
de suma infinita e integral, se tiene que
Z 1 Z 1
f (x,t) sen(mx)dx = fn (t) sen(nx) sen(mx)dx (6.69)
0 n=0 0
1
= fm (t), (6.70)
2
6.6 El mtodo de expansin en funciones propias 87
de donde Z 1
fm (t) = 2 f (x,t) sen(mx)dx. (6.71)
0
Se obtienen as los coeficientes de Fourier de la funcin f en trminos de las funciones propias
del problema (6.65), con la particularidad de que en este caso no son constantes sino que
dependen de la variable t.
Para encontrar u, suponemos que es de la forma
u(x,t) = Tn(t)Xn(x) = Tn(t) sen(nx). (6.72)
n=1 n=1
As, las nicas incgnitas de este problema son las funciones Tn (t), n > 1, las cuales pue-
den calcularse al sustituir (6.72), (6.68), en la edp del problema (6.64). Note que ut =
0 2
n=1 Tn (t) sen(nx), uxx = n=1 (n) Tn (t) sen(nx), de donde la edp de (6.64) puede
escribirse como
Tn0(t) sen(nx) = 2 (n)2Tn(t) sen(nx) + fn(t) sen(nx), (6.73)
n=1 n=1 n=1
o equivalentemente
[Tn0(t) + (n)2Tn(t) fn(t)] sen(nx) = 0. (6.74)
n=1
Observe que la ecuacin (6.74) se cumple para toda x [0, 1] por lo que
lo cual quiere decir que Tn (0) son los coeficientes de Fourier de la funcin (x) es decir,
Z 1
Tn (0) = 2 (x) sen(nx)dx. (6.77)
0
Con la informacin de las ecuaciones (6.77) y (6.75) se obtiene una familia infinita
de problemas de valor inicial en ecuaciones diferenciales ordinarias de primer orden de
coeficientes constantes no homogneas, a saber:
(
Tn0 (t) + (n)2 Tn (t) = fn (t),
(6.78)
Tn (0) = 2 01 (x) sen(nx)dx = an R.
R
Z t
(n)2 t 2 (t)
Tn (t) = an e + e(n) fn ()d, (6.79)
0
donde se ha usado un factor de integracin4 .
Por lo tanto, la solucin del problema (6.64) est dada por
Z t
(n)2 t (n)2 (t)
u(x,t) = an e + e fn ()d sen(nx). (6.80)
n=1 0
debe notarse que la primera suma de (6.80) tiende a cero cuando t y se llama parte
transitoria de la solucin. La segunda suma de la solucin se llama parte estacionaria y se
debe su aparicin a la influencia de la funcin f (x,t). Para finalizar esta parte, se analiza un
ejemplo con una funcin fuente cuya serie de Fourier es simple.
Ejemplo 6.7 Encuentre la solucin del problema
ut = ( 2 uxx + sen(4x), 0 < x < 1, 0 < t <
u(0,t) = 0,
(c f ) (6.81)
u(1,t) = 0, 0 < t <
(ci) u(x, 0) = sen(x), 0 6 x 6 1.
Solucin. En este caso se tiene f (x,t) = f (x) = sen(4x) y la condicin de inicial (x) =
sen(x). Con estos datos se obtiene la siguiente familia de ecuaciones diferenciales corres-
pondientes (6.75):
2
Caso n = 1. Se tiene T1 (t) = Ce() t y como T1 (0) = 1, C = 1, es decir,
2
T1 (t) = e() t .
Caso n = 4. Note que este caso da la nica ecuacin no homognea de la familia. El factor
2
integrante es (t) = e(4) t con lo cual se obtiene
(4)2 t 1 (4)2 t
T4 (t) = e e +C
(4)2
()2 t 1 (4)2 t
u(x,t) = e sen(x) + 1e sen(4x),
(4)2
la cual es la solucin del problema (6.81).
1 l nx
Z
an = f (x) cos dx, n = 0, 1, 2, . . . (6.87)
l l l
1 l nx
Z
bn = f (x)sen dx, n = 1, 2, 3, . . .
l l l
entonces la serie
a0 x x a0 nx nx
+ a1 cos + b1 sen + = + an cos + bn sen (6.88)
2 l l 2 n=1 l l
converge a f (x).
Los trminos funcin y converge eran un tanto ambiguos en tiempos de Fourier y tuvo
que pasar algn tiempo para que fueran establecidos en la manera en que ahora se conocen y
aplican. Por supuesto, en trminos modernos lo anunciado por Fourier expresado lneas arriba,
no se cumple para un gran nmero de funciones y para sus contemporneos an era difcil de
ver el que se cumpliera para las funciones ms elementales. No obstante el tiempo le dio la
razn en parte a Fourier ya que existe un resultado que cubre la mayora de aplicaciones de la
Fsica y la Ingeniera:
N Para una demostracin de este hecho puede verse [7, sec. 41, pag. 91].
Este tipo de resultados pueden parecer excesivos para los estudiantes quienes solamente
desean aplicar las matemticas, sin embargo se debe tener cuidado con la convergencia de las
series ya que, por ejemplo, en 1873 Du Bois y Reymond demostraron que existe una funcin
continua cuya serie de Fourier diverge en un punto (ver por ejemplo [24] p. 73) y aunque el
ejemplo no ocurre casi seguramente en la prctica, slo la continuidad a trozos de la funcin y
de la derivada de la funcin garantizan la convergencia de la serie.
En este captulo hemos visto que al resolver ciertos problemas asociados a las ecuaciones
de calor, de onda y de Laplace es fundamental encontrar la serie de Fourier de una funcin dada
(x). Nos centraremos ahora en el estudio de estas series para funciones como las enunciadas
en el teorema 6.3.
Escribimos lmxx f (x) = f (xi 0) = f (xi ), lo cual es notacin estndar en la literatura
i
de series de Fourier. En los puntos interiores donde f es continua tenemos
!
1 1
lm f (x) + lm f (x) = ( f (xi + 0) + f (xi 0)) = f (xi ),
2 xxi+ xxi 2
ya que los lmites por la izquierda y por la derecha son iguales en estos puntos. Por otra parte,
hemos estudiado series de Fourier de funciones definidas slo en el intervalo [l, l], pero el
estudio ms general se desarrolla en funciones peridicas definidas en todo R. En esta seccin
definiremos la extensin peridica de funciones definidas en [l, l] con lo cual se establecer
el teorema de Fourier en el contexto ms amplio con el mnimo de formalismos. Podemos
ahora formular el teorema principal de este captulo en la forma siguiente:
Teorema 6.4 Fourier. Sea f una funcin continua a trozos en el intervalo [l, l] y
peridica de periodo 2l. Entonces:
(i) La serie de Fourier (6.88) converge al valor
1
( f (xi + 0) + f (xi 0))
2
en cada punto xi R donde existen ambas derivadas f 0 (xi + 0) y f 0 (xi 0).
(ii) Si f es continua en R y f 0 continua a trozos, entonces la serie de Fourier de f converge
a f uniformemente en R. Adems la serie de Fourier de f 0 se obtiene diferenciando
la serie de Fourier de f trmino a trmino.
El enunciado de la parte (i) de este teorema es exactamente el formulado en [7] y como hemos
dicho, all puede encontrarse una demostracin; la demostracin de la parte (ii) puede verse
en [13] teorema 5.3.1, debemos recalcar que la funcin debe ser peridica. La parte (ii) es
importante, por ejemplo, si el lector desea confirmar derivando directamente que la serie de
Fourier que ha obtenido de un problema de separacin de variables, realmente satisface la
ecuacin de la cual supuestamente es solucin, como en el problema 19 de este captulo. En la
siguiente seccin se discutirn ms detalladamente algunos ejemplos de esta situacin. Note
92 Separacin de variables
a) La serie de Fourier de una funcin integrable impar definida en [l, l] slo contiene
trminos de la forma sen(nx/l).
b) La serie de Fourier de una funcin integrable par definida en [l, l] slo contiene
trminos de la forma cos(nx/l).
Con una funcin f definida solamente en el intervalo [0, l] (como las utilizadas en los
problemas de la ecuacin de calor) se puede construir una funcin par P o bien una impar I en
el intervalo [l, l] por medio de las siguientes reglas
(
f (x), 06x6l
P(x) = (6.93)
f (x), l 6 x 6 0.
(
f (x), 06x6l
I(x) = (6.94)
f (x), l 6 x 6 0.
Se obtiene de las frmulas (6.93), (6.94), del ejercicio 21 al final de este captulo y de los
teoremas de la seccin anterior que una funcin definida slo en un intervalo [0, l] tiene tanto
una extensin impar como una par en todo R y por lo tanto tiene una serie de Fourier de slo
senos
nx
b n sen
0 l
o de slo cosenos
a0 nx
+ an cos
2 n=1 l
respectivamente, con coeficientes de Fourier dados por
Z l
2 nx
an = f (x) cos dx, n = 0, 1, 2, . . . ,
l 0 l
Z l
2 nx
bn = f (x) sen dx, n = 1, 2, . . . ,
l 0 l
94 Separacin de variables
Ejemplo 6.10 Una barra de metal con conductividad constante k y longitud l se encuentra
a 1 grado centgrado en el instante t = 0. Suponemos que la barra se encuentra aislada excepto
en los extremos y que no hay fuentes de calor. Cul es la temperatura de la barra para t > 0,
si los extremos estn a 0 en todo t 0.
Solucin. Sea u(x,t) la temperatura de la barra para x [0, l], t > 0. Entonces u satisface el
problema de calor
ut = k2 uxx , 0 < x < l, 0 < t < ,
u(x, 0) = 1, 06x6l
( (6.95)
u(0,t) = 0
(c f ) u(l,t) = 0,
t > 0.
es decir, si los coeficientes bn son los coeficientes encontrados en el ejemplo 6.9. Al escribir
los nmeros impares de la forma 2n + 1 con n > 0, se obtiene la solucin formal del problema
(6.95):
1 (2n + 1)x ((2n+1)k/l)2t
u(x,t) = 4 sen e ,
n=0 (2n + 1) l
lo cual debe verificar el lector.
aproximacin de la solucin refleja el fenmeno de Gibbs de una manera clara. Para t > 0
no se presenta el fenmeno de Gibbs en absoluto, obviamente, ya que entonces la funcin
solucin no es discontinua. Por supuesto, este modelo no es exacto ya que en una vecindad de
x = 0 y de x = 1 la temperatura u pas de uno a cero con rapidez infinita, lo cual no modela
ninguna situacin fsica real. Sin embargo, como aproximacin a la realidad el modelado con
series de Fourier suele ser bastante bueno para predecir el comportamiento de la solucin para
t > 0, an en este caso.
Ejercicio 6.6 Describa con sus propias palabras en que consiste el fenmeno de Gibbs.
donde
2 2 2
Z Z
bn = F(x)sen(nx)dx = x sen(nx)dx = (1)n+1 .
0 0 n
De esta forma
sen(nx)
x = 2 (1)n+1 ,
n=1 n
es la serie buscada.
Ejercicio 6.7 Realice los clculos del ejercicio anterior para comprobar que la expresin
para bn es correcta.
N Note que la igualdad de la serie slo tiene sentido para x (, ). Para x = la serie
converge a cero que es el punto de discontinuidad para la extensin impar F(x) de la
96 Separacin de variables
Figura 6.9: Serie de Fourier con 10 trminos de la extensin par de f (x) = x, x [0, ]
La extensin par de f (x) = x donde x [0, ] se comporta mejor que la extensin impar de la
misma funcin respecto a las derivadas como se muestra en el siguiente ejemplo.
Ejemplo 6.12 Encuentre la serie de Fourier de la extensin par de la funcin f (x) = x,
x [0, ] y calcule la derivada de la serie
Solucin. La extensin par de f que se denota por F tiene la serie de Fourier
ao
F(x) = + an cos(nx).
2 n=1
R
donde a0 = 2/ 0 F(x)dx =
2 2 2
Z Z
an = F(x)cos(nx)dx = x cos(nx)dx = [(1)n 1], n > 0.
0 0 n2
De esta forma
cos((2n + 1)x)
x= 4 2
,
2 n=0 (2n + 1)
para x [0, ].
Figura 6.10: Serie de Fourier con 100 trminos de la derivada de la extensin par de f (x) = 1,
x [0, ]
Lo cual coincide con la serie de Fourier de senos de la funcin g(x) = 1 en [0, ], g(x) = 1
en [, 0), como era de esperarse debido al teorema 6.4. Debe notarse la inamovible presencia
del fenmeno de Gibbs en los puntos de discontinuidad.
98 Separacin de variables
ut = uxx + uyy .
Suponga que u(x, y,t) = X(x)Y (y)T (t) y encuentre las ecuaciones diferenciales ordina-
rias que deben satisfacer X(x), Y (y), T (t).
3. Verifique que las soluciones un (x,t) en (6.21) satisfacen la ecuacin ut = 2 uxx y las
condiciones u(0,t) = u(l,t) = 0.
4. Muestre que
Z l
(
n m 0 si m 6= n
sen x sen x dx =
0 l l l/2 si m = n.
b)
ut = 2 uxx , 0 < x < 1, 0 < t < ,
u(x, 0) = x2
(
u(0,t) 2ux (0,t) = 3t
(c f ) u(1,t) + 2u (1,t) = 5t 2 , t > 0.
x
7. Resuelva el problema
ut = 2 uxx , 0 < x < 1, 0 < t < ,
u(x, 0) = sen(2x)
(
u(0,t) = 3
(c f )
u(1,t) = 5, t > 0.
Ecuacin de onda:
8. Desarrolle la frmula cos[n(t n )/l] para obtener Rn , n , en trminos de an , bn .
9. Cul es la solucin del problema (POo ) cuyas (ci) son u(x, 0) = 0, ut (x, 0) = sen (5x)?
Frmula integral de Poisson:
10. Verifique que si k = 0 o k < 0 en la ecuacin (6.51) no se obtienen soluciones peridicas,
excepto = constante.
11. Usando las relaciones de ortogonalidad de las funciones trigonomtricas demuestre las
ecuaciones (6.59), (6.60) y (6.61).
Series de Fourier:
12. Demuestre que los coeficientes de Fourier de una funcin son nicos. Utilice este hecho
para demostrar que los coeficientes de Fourier de la serie de cosenos de f (x) = cos(2x)
es finita. Encuentre los coeficientes sin realizar ninguna integracin.
13. Resuelva los siguientes problemas (k y R)
a)
ut = k2 uxx , 0 < x < l, 0 < t < ,
u(x, 0) = x2 , 0 < x < l,
(
u(0,t) = 0
(c f ) u(l,t) = 0, t > 0.
b)
ut = k2 uxx , 0 < x < l, 0 < t < ,
u(x, 0) = cos(2x), 0 < x < l,
(
u(0,t) = 0
(c f ) u(l,t) = 0, t > 0.
100 Separacin de variables
c)
= 2 uxx , 0 < x < l, 0 < t < ,
utt (
(ci) u(x, 0) = cos x, 0 < x < l,
u (x, 0) = sen x
(t
u(0,t) = 0
(c f )
u(l,t) = 0, t > 0.
uxx + uyy = 0, 0 < x < 1, 0 < y < 1,
u(x, 0) = 0
u(x, 1) = 0, 0 < x < 1,
u(0, y) = 0
u(1, y) = y y2 , 0 < y < 1.
Mtodo de expansin en funciones propias:
15. Resuelva el problema
ut = ( 2 uxx + sen(x) + sen(2x), 0 < x < 1, 0 < t <
u(0,t) = 0,
(c f ) (6.96)
u(1,t) = 0, 0 < t <
(ci) u(x, 0) = 2, 0 6 x 6 1.
Use una solucin peridica de un problema de calor unidimensional para demostrar que
n2 > .
e
Problema 18 tomado de [23].
Series de Fourier trigonomtricas:
19. Muestre que wt diverge para w definida por la serie
(1)n (n)2t
w(x,t) = x + e sen(nx),
n=1 n
para algn t.
20. Explique si la funcin w del ejercicio anterior satisface el siguiente problema
(ed p)( wt = wxx , 0 < x < 1, 0 < t < ,
w(0,t) = 0, 0 6 t 6 ,
(c f )
w(1,t) = 1
n
(ci) w(x, 0) = x, 0 6 x 6 1.
7 Problema de Sturm-Liouville
7.1 Introduccin
En los problemas asociados a la ecuacin de calor y la ecuacin de onda analizados hasta
ahora, cuando se aplica el mtodo de separacin de variables se ha obtenido una ecuacin
diferencial ordinaria de la forma
d2y
+ y = 0. (7.1)
dx2
En esta ecuacin se busca encontrar tanto las funciones y como los valores del parmetro ,
para los cuales las soluciones no triviales de (7.1) satisfacen las condiciones de frontera
En general los problemas asociados a las (edp) de orden dos para las cuales se aplica el mtodo
de separacin de variables con frecuencia dan lugar a encontrar los valores de y las funciones
y no triviales que satisfacen el problema de valores en la frontera
00 0
p(x)y((x) + q(x)y (x) + r(x)y(x) + s(x)y(x) = 0,
< x < ,
(PSL) a1 y() + b1 y0 () = 0, a21 + b21 6= 0 (7.3)
(c f )
a2 y( ) + b2 y0 ( ) = 0,
a22 + b22 6= 0,
Ejemplo 7.1 Encuentre los valores reales de para los cuales el problema
00 y = 0,
y + (
0 < x < l,
y(0) = 0 (7.4)
(c f )
y(l) = 0,
A los valores de y a las funciones no triviales que son solucin del problema (7.3) de
valores en la frontera se les conoce como valores propios y funciones propias respectivamente.
Ejemplo 7.2 Encuentre los valores propios reales y las funciones propias de valor real
correspondientes al problema
00 y = 0,
y + (
0 < x < l,
y(0) + y0 (0) = 0 (7.5)
(c f )
y(l) = 0,
donde l 6= 1.
Solucin. Caso = 0. Al sustituir = 0 en (7.5) Se tiene la ecuacin y00 = 0, la cual tiene
solucin y(x) = c1 x + c2 . Aplicando las condiciones (cf) se tiene el sistema
c2 + c1 = 0
c2 + c1 l = 0.
(
c1 (1+ ) +c2 (1 ) = 0
(7.6)
c1 e + c2 e = 0.
es decir, si senh( l) + cosh( l) = 0, la cual no tiene solucin si < 0 ya que
l > 0, de donde c1 = c2 = 0, por lo tanto, y(x) 0.
Caso > 0. La solucin de y00 + y = 0 es
y(x) = c1 cos( x) + c2 sen( x).
La ecuacin anterior puede resolverse por mtodos numricos, por ejemplo con el mtodo de
Newton, pero podemos darnos una idea de las soluciones haciendo la sustitucin = l y
observando la grfica de y = tan , y de la recta y = /l. Las intersecciones de las grficas
se encuentran en la figura 7.1 en los puntos cuyas abscisas son 1 , 2 , 3 , . . . . Por lo tanto los
valores propios estn dados por n = (n /l)2 y las funciones propias correspondientes por
mltiplos distintos de cero de
n n n
yn (x) = cos x + sen x ,
l l l
donde n = 1, 2, . . . .
1 1.571 2.468
2 4.493 20.187
3 7.725 59.675
Cuadro 7.1: Primeros ceros de la ecuacin tan = .
Usando el hecho de que las funciones propias son ortogonales, un pequeo clculo demuestra
que los coeficientes de Fourier an en la ecuacin anterior estn dados por
1 1
Z p p p
an = f (x) n cos n x + sen n x dx, (7.13)
n 0
7.1 Introduccin 107
Z 1 p p p 2
donde n = n cos n x + sen n x dx.
0
donde > 0. Obsrvese que las (c f ) no son como las definidas antes. Este es un ejemplo de
los llamados problema de Sturm-Liouville singular. Para resolver esta ecuacin se utiliza el
mtodo de Frobenius descrito en el apndice B.2.4. Recordamos que el mtodo de Frobenius
consiste en proponer una solucin de la forma
R(r) = anrn+s, a0 6= 0
n=0
y
R00 (r) = (n + s)(n + s 1)anrn+s2
n=0
en la ecuacin de Bessel para obtener:
r2 (n + s)(n + s 1)anrn+s2 + r (n + s)anrn+s1 + 2r2 anrn+s = 0.
n=0 n=0 n=0
Debe observarse que el lmite inferior de la segunda suma en (7.15) es n = 2 el cual se obtuvo
con un cambio de ndice. Escribimos la identidad anterior como una sola suma, para lo cual
quitamos los dos primeros trminos de la primera suma.
s2 a0 rs + (s + 1)2 a1 rs+1 + [(n + s)2 an + 2 an2 ]rn+s = 0. (7.16)
n=2
108 Problema de Sturm-Liouville
0 2.404825558
1 5.520078110
2 8.653727913
3 11.79153444
4 14.93091771
5 18.07106397
6 21.21163663
7 24.35247153
8 27.49347913
Figura 7.3: Grfica de funciones propias para la funciones de Bessel de orden cero.
Para las funciones de Bessel de orden cero, se conoce la siguiente relacin de ortogonalidad,
la cual ser clarificada cuando se traten las series de Fourier en general.
Z 1
(
0 i 6= j
rJ0 (i r)J0 ( j r)dr = 1 2 (7.24)
0 2 J1 (i ), i = j.
Ejemplo 7.4 Como una aplicacin de las funciones de Bessel podemos resolver el problema
de una membrana circular en un tambor, cuando se supone que las vibraciones de la membrana
no dependen del ngulo, sino slo del radio y del tiempo. La ecuacin de movimiento de la
membrana circular es semejante a la ecuacin de la cuerda vibrante y en coordenadas polares
tiene la forma.
2 1 1
utt = c urr + ur + 2 u . (7.25)
r r
Donde u(t, r, ) es el desplazamiento de la membrana en cada punto (r, ) en el instante t. Para
simplificar suponemos que la solucin no depende de (lo cual no es demasiado descabellado
si la membrana del tambor es simtrica). En este caso la ecuacin se reduce a
2 1
utt = c urr + ur . (7.26)
r
Se desea entonces resolver el problema siguiente para una membrana circular de radio uno.
2 1
utt = c urr + ur , 0 < r < 1, (7.27)
r
(c f )( u(1,t) = 0,
0 < t < ,
u(r, 0) = f (r), 0 < r < 1, (7.28)
(ci)
ut (r, 0) = 0.
7.1 Introduccin 111
T 00 R00 R0
= + =k (7.29)
c2 T R rR
Donde J0 es la funcin de Bessel de orden cero de primer tipo y n son los ceros de dicha
funcin en el intervalo (0, ). De acuerdo a las condiciones de ortogonalidad (7.24) y las
(c f ), (ci) (7.28) se llega a la solucin
u(r,t) = anJ0(nr) cos(cnt), (7.31)
n=1
con Z 1
2
an = 2 r f (r)J0 (n r)dr, n = 1, 2, . . . .
J1 (n ) 0
De esta forma queda resuelto el problema del movimiento de una membrana circular.
d 2 (x) d(x)
(1 x2 ) 2
2x + (x) = 0, 1 < x < 1. (7.32)
dx dx
La ecuacin de Legendre (7.32) aparece, como veremos, al aplicar el mtodo de separacin de
variables a la ecuacin de Laplace en coordenadas esfricas. Esta ecuacin aparece tambin
en muchas reas de matemticas y fsica. El mtodo de series de potencias (ver B.2.4) dar
como solucin, los famosos polinomios de Legendre. Supongamos que (x) = n
n=0 an x , al
sustituir esta serie y sus primeras y segundas derivadas en (7.32) se llega a
[an( n(n + 1)) + (n + 2)(n + 1)an+2]xn = 0. (7.33)
n=0
112 Problema de Sturm-Liouville
Z 1
(
0, n 6= m,
Pn (x)Pm (x)dx = 2 (7.35)
1 2n+1 , n = m.
De la relacion (7.35), notamos que los polinomios P1 , P2 , P3 de los ejemplos anteriores son
ortonormales (ortogonales y de norma uno) si c1 = 1, c2 = 1/2 y c3 = 3/2. De hecho
existe una frmula recursiva simple para generar los polinomios de Legendre normalizados, la
llamada frmula de Rodrigues para el n-simo polinomio
1 dn 2
Pn (x) = n [(x 1)n ]. (7.36)
2 n! dxn
En el cuadro 7.3 mostramos los primeros polinomios de Legendre.
Ejemplo 7.5 Ahora podemos resolver la ecuacin de Laplace en la esfera cuando la funcin
u, slo depende del ngulo acimutal , con condiciones de frontera tipo Dirichlet. En este
caso en coordenadas esfricas el problema puede escribirse como
1
(r2 ur )r + [sen u ] = 0, 0<r<1 (7.37)
sen
u(1, ) = g( ), 0 6 6 . (7.38)
7.1 Introduccin 113
n Polinomio de Legendre
0 P0 (x) = 1
1 P1 (x) = x
2 P2 (x) = 12 (3x2 1)
1 6 4 2
6 P6 (x) = 16 (231x 315x + 105x 5)
El lector puede reconocer la ecuacin (7.39) como la ecuacin de Euler. La ecuacin (7.40)
puede transformarse en la ecuacin de Legendre (7.32) va el cambio de variable x = cos y la
sustitucin k = n(n + 1) como se puede comprobar y se deja como ejercicio. Con k = n(n + 1)
(ver el apndice B.2.2) se tiene la solucin de la ecuacin de Euler de la forma
R(r) = c1 rn + c2 r(n+1) .
Para calcular las constantes an se usa la condicin de frontera (7.38) y las condiciones de
ortogonalidad de los polinomios de Legendre (7.35). De donde se obtiene que
2m + 1
Z
an = g( )Pm (cos )sen d .
2 0
Ejercicio 7.2 Mediante la regla de la cadena para la derivada compruebe que la ecuacin
(7.40) puede transformarse en la ecuacin de Legendre (7.32) va el cambio de variable
x = cos y la sustitucin k = n(n + 1).
1
(r2 ur )r + [sen u ] = 0, 0<r<1 (7.41)
sen
u(1, ) = cos(2 ), 0 6 6 . (7.42)
cos(2 ) = 2 cos2 1
7.1 Introduccin 115
con lo que
2 1
2 cos2 1 = (3 cos2 1)
3 3
1 4
= P0 (cos ) + P2 (cos ).
3 3
1 4r2
As la solucin del problema (7.41) es u(r, ) = P0 (cos ) + P2 (cos ).
3 3
Definicin 7.1 Sea V un espacio vectorial con producto interior. Se dice que dos vectores
u, v V son ortogonales si (u, v) = 0.
Otro concepto que se requiere del lgebra lineal es el de operador lineal, el cual se introdujo
en la pgina 2. Se requiere tambin la definicin de operador formalmente autoadjunto, al que
llamaremos autoadjunto solamente.
Definicin 7.2 Un operador L : V V se dice autoadjunto si (Lu, v) = (u, Lv) para toda
u, v V.
Consideramos ahora el operador lineal asociado a la ecuacin del problema (7.3). Sea
L[y] = p(x)y00 (x) + q(x)y0 (x) + r(x)y(x), < x < . (7.43)
El problema de Sturm-Liouville (7.3) puede reescribirse en la forma
L[y](x)
( = s(x)y(x)
a1 y() + b1 y0 () = 0, a21 + b21 6= 0 (7.44)
(c f )
a2 y( ) + b2 y0 ( ) = 0,
a22 + b22 6= 0.
y(0) = y(l) = 0.
Ecuacin de Bessel:
y(0) = 1, y(1) = 0.
Ecuacin de Legendre:
1 < x < 1.
Ecuacin de Hermite:
< x < .
Ecuacin de Tchevicheff:
1 < x < 1.
L[y] = (py0 )0 + ry
Antes de establecer el teorema que unifica y generaliza el esquema del cuadro 7.4 requeri-
mos otra definicin.
Definicin 7.3 S-L regular. Un problema de Sturm-Liouville (7.44) se dice regular si
L es autoadjunto y se cumplen las siguientes condiciones:
i) p(x), s(x) > 0 para toda x [, ].
ii) p(x), p0 (x), r(x), s(x) C 0 [, ].
iii) El intervalo [, ] es finito.
La existencia de soluciones ( , y) del problema (7.44) as como el teorema 7.2 son demostrados
en el contexto ms general de operadores autoadjuntos en espacios de Hilbert por ejemplo
en [10]. Una demostracin que slo requiere de edo se encuentra en [6]. Slo para dar una
idea de la generalidad de los resultados demostramos la propiedad b) de ortogonalidad de las
funciones propias y en la propiedad e) se muestra como se determinan los coeficientes.
Demostracin. Propiedad b). Sean yn , ym funciones propias correspondientes a valores propios
distintos n , m . Entonces
Z
(L[yn ], ym ) = (n yn , ym )s = n s(x)yn (x)ym (x)dx. (7.45)
Por lo tanto
( f , y j )s
aj =
(y j , y j )s
que es la forma en la que se determinan los coeficientes.
7.1 Introduccin 119
N Algunas de las ecuaciones mostradas en el cuadro 7.4 en la forma en que estn escritas no
definen un operador autoadjunto. En algunos casos esta dificultad se resuelve fcilmente.
Por ejemplo en los casos en los que el coeficiente de y0 no es la derivada del coeficiente de
y00 , a veces puede multiplicarse por un factor integrante adecuado, as en la ecuacin de
2
Hermite se puede multiplicar la ecuacin por el factor ex /2 . En el caso de la ecuacin
de Hermite adems el intervalo no es finito.
120 Problema de Sturm-Liouville
8 Mtodos numricos
Los mtodos numricos son una herramienta fundamental en la solucin de ecuaciones diferen-
ciales parciales. En este captulo presentaremos una introduccin a algunos de estos mtodos
y desarrollaremos a manera de ilustracin, la solucin numrica de los problemas de calor,
de onda y de Laplace, cuya solucin analtica ya conocemos, lo cual nos servir para darnos
cuenta de la efectividad de tales mtodos. Por supuesto, los mtodos numricos se aplican
con gran precisin en la solucin de ecuaciones mucho ms complicadas que las presentadas
aqu, pero las tcnicas que utilizaremos pueden adaptarse con facilidad a una gran cantidad de
ecuaciones no homogneas, incluso no lineales.
xi+1 = xi + h, xi1 = xi h,
t j+1 = t j + k, t j1 = t j k.
Con dicha notacin en las ecuaciones (8.7), (8.8), la ecuacin (8.4) puede escribirse como
ui, j+1 2ui, j + ui, j1 ui+1, j 2ui, j + ui1, j
2
c2 . (8.9)
k h2
8.2 Mtodo de las diferencias finitas 123
tj+1
tj
tj-1
xi-1 xi xi+1
El lector debe observar que hemos omitido los trminos o(h2 ), o(k2 ) por lo que el signo de
igualdad en la ecuacin anterior fue sustituido por . Se introduce la notacin r = ck/h con
lo cual se tiene
ui, j+1 2ui, j + ui, j1 r2 (ui+1, j 2ui, j + ui1, j ).
Ahora pueden obtenerse los puntos en la fila j + 1 al reordenar la relacin anterior si se
conocen las aproximaciones en las filas anteriores, es decir, en las filas j y j 1. Con lo cual
se tiene
ui, j+1 (2 2r2 )ui, j + r2 (ui+1, j + ui1, j ) ui, j1 .
Una vez que se ha comprendido que las frmulas de los mtodos numricos son slo aproxi-
madas, podemos establecer la convencin de utilizar el signo = en lugar de con lo cual se
obtiene la frmula en diferencias finitas para la ecuacin de onda:
ck
r= 6 1.
h
Si no se cumple la condicin anterior la frmula (8.10) no es estable y la solucin numrica
obtenida no aproxima bien a la solucin real. Existen otros esquemas llamados mtodos
implcitos los cuales no imponen restricciones sobre r para que se tenga estabilidad, pero se
encuentran fuera de los objetivos de este libro.
Regresando a la ecuacin (8.10) notamos que se necesita saber el valor de u en dos
tiempos anteriores t j ,t j1 , pero al comenzar solo conocemos los valores en t1 = 0, es decir,
124 Mtodos numricos
ui,1 = f (xi ) = fi , pero no conocemos los valores de u en t2 = k. Para cubrir este requerimiento
se utiliza la frmula de Taylor de orden 1, como sigue
ui,2 = fi + kgi , i = 2, 3, . . . , n 1.
El error introducido al usar la frmula anterior se propaga sin atenuarse a lo largo del procedi-
miento computacional, por ello se recomienda utilizar un valor pequeo de k.
A continuacin presentamos un programa en QtOctave (que utiliza la frmula (8.10) para
resolver el problema de calor.
function U = eccal(f,g,a,b,c,n,m)
h=a/(n-1);
k=b/(m-1);
r=c*k/h;
r2=r2;
r22=r2/2;
d1=1-r2;
d2=2-2*r2;
U=zeros(n,m);
% Clculo de las primeras dos filas
for i=2:n-1
U(i,1)=feval(f,h*(i-1));
U(i,2)=d1*feval(f,h*(i-1))+k*feval(g,h*(i-1))
+r22*(feval(f,h*i)+feval(f,h*(i-2))); end
% clculo de las dems filas
for j=3:m
for i=2:(n-1),
U(i,j)= d2*U(i,j-1)+r2*(U(i-1,j-1)+U(i+1,j-1))-U(i,j-2);
end
end U= U;
surf(U)
Ejercicio 8.1 Indique lo que hace el programa paso a paso. Dnde y cmo se calculan
ui,1 y ui,2 .
8.3 Frmulas en diferencias finitas 125
0.5
0.5
60
1
60 40
40 20
20
0 0
tj+1
tj
xi-1 xi xi+1
hacernos pensar que debe ser ampliamente utilizada, sin embargo, la frmula no siempre es
estable. Puede demostrarse que la frmula es estable si 0 6 r 6 1/2, es decir si k 6 h2 /2c2 .
A continuacin presentamos un programa en GNU Octave el cual usa la frmula (8.13)
para calcular las aproximaciones del problema de calor (8.12).
function U=eccal(f,c1,c2,a,b,c,n,m)
Figura 8.4: Grficas de las soluciones numricas estable y no estable del ejemplo 8.1.
de tal forma que h = 0.2 y k = 0.02 con lo cual debe ponerse n = 6 y m = 11 como argumentos
en eccal. La solucin se muestra en la figura 8.4. Como una muestra de lo delicado del
mtodo de diferencias se muestra una grfica de la solucin numrica pero con r > 1/2, por
ejemplo con h = 0.2 y k = 0.03, es decir n = 6, m = 7 con lo cual se obtiene una solucin
inestable, cuya grfica puede verse en la figura 8.4.
f (x + h) f (x h) = 2h f 0 (x) + o(h2 )
128 Mtodos numricos
o bien
f (x + h) f (x h)
f 0 (x) = + o(h2 ).
2h
Tenemos entonces para ut en t + k/2 :
u(x,t + k) u(x,t)
ut (x,t + k/2) = + o(k2 ).
k
Para uxx (x,t + k/2) se usa el promedio de las aproximaciones a uxx (x,t) y uxx (x,t + k) las
cuales son de orden o(h2 ). De esta manera
1
uxx (x,t + k/2) = (u(x h,t + k) 2u(x,t + k) + u(x + h,t + k)
2h2
+u(x h,t) 2u(x,t) + u(x + h,t)) + o(h2 ).
Sustituyendo las dos ltimas ecuaciones en la ecuacin de calor
ut (x,t + k/2) = c2 uxx (x,t + k/2),
de donde se obtiene el esquema numrico siguiente:
ui, j+1 ui, j ui1, j+1 2ui, j+1 + ui+1, j+1 + ui1, j 2ui, j + ui+1, j
= c2 .
k 2h2
Se toma r = c2 k/h2 y se despejan los tres valores con subndices j + 1 para obtener:
rui1, j+1 + (2 + 2r)ui, j+1 rui+1, j+1 = (2 2r)ui, j + r(ui1, j + ui+1, j ). (8.15)
Es decir, conocidos los valores de u para i = 2, 3, . . . , n 1 en j, se pueden conocer los valores
de u en j + 1. Al trabajar con la ecuacin (8.15) es costumbre tomar r = 1, con lo que se
obtiene una reformulacin ms simple
ui1, j+1 + 4ui, j+1 ui+1, j+1 = ui1, j + ui+1, j . (8.16)
8.4 El mtodo de Crank-Nicholson 129
4 1
u2, j+1 2c1 + u3, j
1 4 1 0 u3, j+1 u2, j + u4, j
...
.. ..
. .
1 4 1 ui, j+1 = ui1, j + ui+1, j . (8.18)
.. .. ..
.
.
.
0 1 4 1 un2, j+1 un3, j + un1, j
1 4 un1, j+1 un2, j + 2c2
AU j+1 = B j ,
4 1
u2,2 2c1 + f3
1 4 1 0 u3,2 f2 + f4
. ..
...
.
. .
1 4 1 u = f + f i+1 . (8.19)
i,2 i1
. ..
.
..
.
..
0 1 4 1 un2,2 fn3 + fn1
1 4 un1,2 fn2 + 2c2
Una vez conocido el vector [u2,2 , u3,2 , . . . , un2,2 , un1,2 ]t , ( j = 2), se forma la matriz B3 como
en el sistema (8.18), y se procede a calcular el vector [u2,3 , u3,3 , . . . , un2,3 , un1,3 ]t , ( j = 3),
etctera. Claramente el sistema (8.18) puede resolverse por cualquier mtodo, como el mtodo
de Gauss-Seidel, pero dada la simplicidad de la estructura se aconseja disear un algoritmo
especifico para este tipo de matrices con eliminacin gausiana. A continuacin mostramos un
ejemplo de un programa que utiliza el mtodo de Crank-Nicholson.
function X=tridiag(A,D,C,B)
N=length(B);
for k=2:N
130 Mtodos numricos
m=A(k-1)/D(k-1);
D(k)=D(k)-m*C(k-1);
B(k)=B(k)-m*B(k-1);
end X(N)=B(N)/D(N); for k=N-1:-1:1
X(k)=(B(k)-C(k)*X(k+1))/D(k);
end
function U=cranich(f,c1,c2,a,b,c,n,m)
h=a/(n-1);
k=b/(m-1);
r=c 2*k/h 2;
s1=2+2/r; s2=2/r-2;
U=zeros(n,m);
U(1,1:m)=c1; U(n,1:m)=c2;
U(2:n-1,1)=feval(f,h:h:(n-2)*h);
D(1,1:n)=s1*ones(1,n);D(1)=1; D(n)=1; A=-ones(1,n-1);
A(n-1)=0; C=-ones(1,n-1); C(1)=0; B(1)=c1; B(n)=c2;
for j=2:m
for i=2:n-1
B(i)=U(i-1,j-1)+U(i+1,j-1)+s2*U(i,j-1);
end
X=tridiag(A,D,C,B);
U(1:n,j)=X;
end U=U;
surf(U)
En este programa la condicin inicial es f = f (x) = u(x, 0), las condiciones de frontera son
c1 = u(0,t) y c2 = u(a,t); a y b son los extremos derechos de [0, a] y [0, b]; c es la constante
de la ecuacin de calor; n y m son el nmero de nodos en [0, a] y [0, b]. Como resultado se
obtiene la matriz U la cual es la matriz de las aproximaciones a la solucin en los nodos. El
lector debe observar que el programa utiliza la ecuacin (8.15) y no la versin con r = 1, lo
cual, por supuesto, es ms general, tambin debe notarse que se requiere el programa tridiag
o bien recurrir a un algoritmo para resolver la matriz tridiagonal.
Ejemplo 8.2En la figura 8.5 se muestra la grfica de la solucin numrica para
cranich(f,0,0,2,.5,1,30,30) con f=@(x)(sin(pi*x)).
8.5 Diferencias finitas. Ecuacin de Laplace 131
0.5
0.5
1
30
20 30
20
10 10
0 0
llamada frmula de diferencias con cinco puntos para la ecuacin de Laplace. Consideremos
el problema de Dirichlet en el rectngulo
donde la frmula (8.22) corresponde al lado derecho del rectngulo, la frmula (8.23) corres-
ponde al lado inferior del rectngulo, (8.24) corresponde al lado derecho y (8.25) al lado de
arriba. Para simplificar, denotaremos a los puntos interiores p1 , p2 , ..., pk partiendo de abajo
hacia arriba y de izquierda a derecha. Se aplica la frmula (8.21) para obtener un sistema
de (n 2) (m 2) ecuaciones y el mismo nmero de incgnitas cuyas soluciones son las
aproximaciones a u en los puntos interiores de la malla. Por ejemplo, con n = m = 4 se
obtiene un sistema de cuatro ecuaciones con cuatro incgnitas, cuyo sistema mostramos a
continuacin, basados en la figura 8.7:
4p1 + p2 + p4 = u1,2 u2,1
p1 4p2 + p3 = u3,1 u4,2
p1 4p3 + p4 = u2,4 u1,3
p2 + p3 4p4 = u3,4 u4,3
La clave es recordar que cada vez que se usa la frmula (8.20) el punto central lleva como
coeficiente 4 y que los nmeros conocidos ui, j se ponen del lado derecho de la igualdad
con signo negativo, por ejemplo, para la primera ecuacin se considera el esquema mostrado
en la figura 8.8. Finalmente, recurdese que para cada punto interior se debe disear un
esquema como el de la figura 8.8 con el punto en cuestin en el centro tomando como base
la figura 8.7. En este momento puede resolverse el sistema (8.26) por cualquier mtodo, sin
embargo debemos hacer una reflexin sobre la eficiencia de este procedimiento. Es claro
que para obtener buenas aproximaciones se debe tener h pequeo, pero si por ejemplo el
nmero de nodos en cada lado de R es n = m = 1000, entonces tendramos un sistema de
9998 9998 = 99960004 ecuaciones con el mismo nmero de incgnitas, por lo que los
8.5 Diferencias finitas. Ecuacin de Laplace 133
p3
p1
p2
u1,2
u2,1
Obsrvese que la ecuacin para yn+1 usa xn+1 la cual se calcul en la primera ecuacin.
Partiendo de un vector inicial (x(0) , y(0) ) y determinadas condiciones de la matriz asociada
al sistema de ecuaciones los mtodos de Jacobi y Gauss-Seidel convergen a la solucin del
sistema tras cierto nmero de iteraciones. La estimacin del error de los mtodos iterativos
puede consultarse por ejemplo en [3]. Por supuesto l mtodo de Gauss-Seidel es mucho ms
eficiente que los mtodos directos, para sistemas con gran nmero de ecuaciones.
Volviendo a nuestro problema, claramente puede introducirse el mtodo de Gauss-Seidel
si se desea, pero existe otra alternativa. Si despejamos ui, j de la ecuacin (8.20) se obtiene
ui+1, j + ui1, j + ui, j+1 + ui, j1
ui, j = .
4
As
ui+1, j + ui1, j + ui, j+1 + ui, j1 4ui, j
ui, j = ui, j + .
4
Lo cual nos lleva al esquema numrico iterativo
(n) (n) (n) (n) (n)
(n+1) (n) ui+1, j + ui1, j + ui, j+1 + ui, j1 4ui, j
ui, j = ui, j + .
4
Se define
(n) (n) (n) (n) (n)
(n) ui+1, j + ui1, j + ui, j+1 + ui, j1 4ui, j
ri, j = .
4
(n) (n)
Ahora, si ui, j aproxima a la solucin, se espera que ri, j se aproxime a cero para n suficiente-
mente grande, por lo que un esquema iterativo adecuado es
(n+1) (n) (n)
ui, j = ui, j + ri, j . (8.30)
Para iniciar se requieren valores iniciales en los puntos iniciales de la malla, para ello puede
tomarse el promedio de los valores en la frontera del rectngulo en cada uno de lo puntos inter-
(n)
medios. Finalmente, se itera hasta que |ri, j | < , donde es un valor pequeo predeterminado
que se desee. Incluimos un programa que resuelve la ecuacin de Laplace usando este mtodo.
function u=laplacenum(f1,f2,f3,f4,a,b,h,e,maxit)
n=fix(a/h)+1; m=fix(b/h)+1;
prom=(a*(feval(f1,0)+feval(f2,0))
+b*(feval(f3,0)+feval(f4,0)))/(2*a+2*b);
u=prom*ones(n,m);
u(1,1:m)=feval(f3,0:h:(m-1)*h);
u(n,1:m)=feval(f4,0:h:(m-1)*h);
u(1:n,1)=feval(f1,0:h:(n-1)*h);
u(1:n,m)=feval(f2,0:h:(n-1)*h);
u(1,1)=(u(1,2)+u(2,1))/2;
8.5 Diferencias finitas. Ecuacin de Laplace 135
u(1,m)=(u(1,m-1)+u(2,m))/2;
u(n,1)=(u(n-1,1)+u(n,2))/2;
u(n,m)=(u(n-1,m)+u(n,m-1))/2;
err=1; cont=0; while((err>e)&(cont<=maxit))
err=0;
for j=2:m-1
for i=2:n-1
rij=(u(i,j+1)+u(i,j-1)+u(i+1,j)+u(i-1,j)-4*u(i,j))/4;
u(i,j)=u(i,j)+rij;
if(err<=abs(rij))
err=abs(rij);
end
end
end
cont=cont+1;
end
surf(u)
En este programa f1, f2, f3 y f4 son las condiciones de frontera dadas por funciones
evaluadas en el contorno, almacenadas como cadenas de caracteres; a y b son los extremos
superiores de los intervalos [0, a], [0, b]; h es el incremento; e es la tolerancia. El programa
iterar hasta que el error sea menor que e o bien el nmero de iteraciones sea mayor que
maxit.
Ejemplo 8.3 Encuentre la superficie mnima definida sobre el rectngulo [0, 1] [0, 1]
cuya altura sobre la frontera est dada por:
0.5
0.5
1
40
20 0
10
20
0 30
t
donde r = . Se recomienda para obtener una frmula estable tomar r < 1/2. Presentamos
x
un programa en GNU Octave el cual puede incorporar cualesquiera condiciones iniciales
dadas por u(x, 0) = g(x).
function burgers1(dx,dt,a,b,N,g)
r=dt/dx; M=(b-a)/dx; t=N*dt;
for j=1:M+1;
xo(j)=a+(j-1)*dx; end
%EJEMPlO: burgersf(.01,.004,-8,8,600,g),g=@(x)(exp(-x. 2));
uo=feval(g,xo) %condicin inicial
8.6 Ecuaciones no lineales 137
0.8
0.6
0.4
0.2
0
0 200 400 600 800 1000 1200
for h=1:M,
u(h)=uo(h)+r*((uo(h+1)) 2/2-(uo(h)) 2/2);
end
%loop principal
for l=1:N;
for h=N:M-N;
u(h)=u(h)+r*((u(h+1)) 2/2-(u(h)) 2/2);
end
plot(u)
pause(.01)
end
2
La figura 8.10 presenta la corrida del programa con la condicin inicial u(x, 0) = ex con
la cual fue resuelta analticamente la ecuacin de Burgers en el ejemplo 2.10, justo antes de
que se presente la multivalucin de u. La frmula en diferencias finitas aqu desarrollada no
presenta el choque sino como discontinuidad de salto representada por una lnea vertical.
138 Mtodos numricos
9 Mtodos de Transformadas
1
Z
F[u]( ,t) = U( ,t) = u(x,t)ei x dx, (9.1)
2
donde i = 1, siempre que la integral exista.
La transformada inversa de Fourier F1 [U] se define por la frmula
1
Z
1
F [U](x,t) = u(x,t) = U( ,t)ei x d , (9.2)
2
N Los siguientes puntos son muy importantes para comparar nuestro enfoque con el de
140 Mtodos de Transformadas
otros libros:
i) Algunos autores y programas de computacin suelen omitir el factor 1/ 2 en la
integral de la definicin 9.1 por lo que es importante que se consulte la definicin
de Transformada de Fourier, antes de usar tablas o comparar con otros enfoques,
por ejemplo, existe la normalizacin alternativa con 1/(2).
ii) Claramente, en general la transformada de Fourier es una funcin con valores
en C, por lo que se requieren los elementos de Anlisis Complejo para entender
cabalmente la transformada de Fourier.
1 c
Z Z
F[ f ]( ) = F( ) = f (x)ei x dx = ei x dx,
2 2
2
Ejemplo 9.3 Calcule la transformada de Fourier de f (x) = ex .
9.2 Propiedades de la Transformada de Fourier 141
R r2 dr
Ejercicio 9.1 Verifique que e = .
En general, el clculo de las transformadas de Fourier puede ser difcil o muy laborioso y de
algunos aos a la fecha el uso de transformadas suele hacerse por medio de tablas o programas
de computadora tales como MATLAB, Mathematica, Maple, GNU Octave y un nmero cada
vez ms grande de software libre. Dado que deseamos hacer nfasis en los mtodos de edp
y no en la teora de integracin compleja, pediremos que los estudiantes utilicen tablas de
transformadas. En el cuadro 9.1 se muestran algunos ejemplos.
Teorema 9.1 Sea u : R R+ R tal que u(x,t) L1 (R) para toda t entonces:
i) La funcin 7 F[u] = U( ,t) definida por (9.1) es una funcin uniformemente
continua en . Si adems,
u es derivable a trozos con respecto a x y existen cons-
u(x,t)
tantes N, M tales que x < N y |u(x,t)| < M para toda (x,t) R R+ entonces
F1 [F[u]( )] = u(x,t).
ii) La transformada de Fourier es lineal, es decir F[cu + v] = cF[u] + F[v] para toda c C
y para cualesquiera u, v L1 (R).
(n1) n
iii) Supngase que x(n1)u es continua y derivable a trozos y esta derivada junto con xun
k1 u(x,t)
h n i
estn en L1 (R), entonces F xun = (i )n F[u], si lmx xk1 = 0, para toda k
con 1 6 k 6 n. Si la n-sima h derivada
i parcial de u en t es una funcin uniformemente
nu n
continua en R, entonces F t n = t n F[u].
142 Mtodos de Transformadas
iv) Se define la convolucin de u con v mediante la frmula
1
Z
(u v)(x,t) = u(x ,t)v( ,t)d .
2
sen(L(x y))
Z
[uL (x,t) u(x,t)] = [u(y,t) u(x,t)] dy. (9.3)
xy
Subdividimos R como R = A B donde A = {y : |x y| < } y B = {y : |x y| > }, con
> 0, por determinarse ms adelante, de esta forma
sen(L(x y))
Z
[uL (x,t) u(x,t)] = [u(y,t) u(x,t)] dy
AB xy
[u(y,t) u(x,t)]
Z
= sen(L(x y))dy
{y:|xy|< } xy
sen(L(x y))
Z
+ [u(y,t) u(x,t)] dy (9.4)
{y:|xy|> } xy
u(x,t)
de la condicin
< N se deduce que |u(y,t) u(x,t)| < N|y x|, para toda x, y R,
x
adems, dado que sen(L(x y)) 6 1 se tiene
Z
[u(y,t) u(x,t)]
sen(L(x y))dy 6 N . (9.5)
{y:|xy|< } xy
9.2 Propiedades de la Transformada de Fourier 143
u(y,t)
Z
sen(L(x y))dy.
{y:|xy|> } x y
Dado que u L1 (R) para toda t, existe un nmero yo > 0 tal que si |y| > yo
Z
|u(y,t)|dy < , (9.7)
|y|>yo 4
para > 0 arbitrario. Se toma y0 suficientemente grande en (9.7) para que los conjuntos
{|x y| > } {|y| > yo } y {|x y| > } {|y| 6 yo } no sean vacos. Por (9.7) sabemos que
u(y,t)
Z
sen(L(x y))dy < /4. (9.8)
{|xy|> }{|y|>yo } x y
u(y,t)
Z
Para estimar la integral sen(L(x y))dy se utiliza integracin por
{|xy|> }{|y|6yo } x y
partes para llegar a la siguiente expresin:
1 1
Dado que |ux (x,t)| < N, |u(x,t)| < M y < se tiene que la integral en (9.9) tiende a
|x y|
cero si L , en particular, existe L tal que
u(y,t)
Z
sen(L(x y))dy < /4.
{|xy|> }{|y|6yo } x y
El lector no debe tener dificultad para encontrar las expresiones precisas para , con
x, y {|x y| > } {|y| 6 yo }.
Para terminar, se escoge < /2N, con lo que se tiene que la expresin del lado izquierdo
de (9.5) es menor que /2. Se concluye que |uL (x,t) u(y,t)| < para L suficientemente
grande independiente de x,t.
144 Mtodos de Transformadas
Para el clculo de la derivada n-sima se usa induccin matemtica. Por otra parte, para la
derivada con respecto a t se deriva bajo el signo de integral, dada la hiptesis de continuidad
uniforme de u.
iv) De la definicin de F[u v] y por medio del teorema de Fubini se obtiene
1 1
Z Z
i x
F[u v]( ) = e u(x y,t)v(y,t)dy dx
2 2
1 1
Z Z
i y i (xy)
= e v(y,t) e u(x y,t)dx dy
2 2
Z Z
1 i y 1 i z
= e v(y,t)dy e u(z,t)dz
2 2
= F[v]( ) F[u]( ).
Con lo cual se termina la demostracin.
N Por supuesto las hiptesis en el teorema 9.1 no son las ms generales posibles, pero
pueden aplicarse en una gran cantidad de ejemplos. Hiptesis ms generales se encuentran
en el contexto de la integral de Lebesgue la cual se encuentra fuera del alcance de este
libro. El lector interesado puede consultar por ejemplo [12].
La afirmacin iv) del teorema anterior suele emplearse en la forma
(u v)(t) = F1 [F[u]( ) F[v]( )](t). (9.10)
N Supondremos que el problema (9.11) tiene una solucin u la cual tiene la propiedad de
que u, ut , ux y uxx estn en L1 (R) y que u y ux tienden a cero cuando |x| , tambin
suponemos que f L1 (R).
Aplicando la transformada de Fourier a la (ci) y usando la propiedad iii) del teorema 9.1 en la
edp del problema (9.11) se obtiene
U( ,t)
2 2U( ,t) = , < < , (9.12)
t
U( , 0) = F[ f ]( ) = F( ).
Ahora, el problema (9.12) puede resolverse como una ecuacin diferencial ordinaria lineal
en la variable t con lo cual se obtiene
2 2t
U( ,t) = F( )e . (9.13)
El ejercicio 1 de la seccin de problemas de este captulo nos permite ver que
2 2 t 1 x2 /(4 2 t)
e =F e .
2 t
Por lo tanto U( ,t) es el producto de transformadas de Fourier por lo que, al aplicar la
transformada inversa, podemos usar la convolucin (teorema 9.1, iv) para obtener
2
Z
2 2
u(x,t) = e(xy) /(4 t) f (y)dy, (9.14)
4 t
la cual es solucin formal del problema (9.11).
1 2 2
La funcin G(x,t) = e(xy) /(4 t) , la cual est implcita en (9.14) es de gran
2 t
importancia en la solucin de edp y se llama solucin fundamental o funcin de Green
asociada a la ecuacin de calor en (, ), t > 0. Puede demostrarse que si f es continua y
acotada en R entonces la funcin u definida por (9.14) es continua y tiene derivadas continuas
respecto a x,t y que u(x,t) f (x) cuando t 0 uniformemente en todo intervalo finito.
Ejercicio 9.2 Resuelva el problema (9.12).
| |
(1 + x2 )1 e
r2
a a| |
2 2
e
x +a 2
1
(x a) eia
2
2sen (a )
H(x + a) H(x a)
Cuadro 9.1: Ejemplos de transformadas de Fourier.
Definicin 9.2 Consideramos una funcin u = u(x,t) con 0 < t < . Se define la trans-
formada de Laplace L[u], siempre que la integral exista, por medio de la frmula
Z
L[u](x, s) = U(x, s) = u(x,t)est dt. (9.15)
0
N Los clculos anteriores se hicieron para s real, pero tambin son vlidos para s C. De
hecho los nmeros complejos son el marco natural para las transformadas inversas, por
lo cual el siguiente teorema se formula en C.
ii) Supongamos que u(x,t) y todas sus derivadas parciales con respecto a t hasta de
orden (n 1) son funciones continuas para t > 0 y de orden O(et ). Supongamos
n u(x,t)
que t n es seccionalmente continua en cada intervalo 0 < t < T. Entonces la
transformada de Laplace de la n-sima derivada de u con respecto a t existe para
Re(s) > y est dada por la frmula
h n
n1 u(x,0)
i
u(x,t)
L t n = snU(x, s) sn1 u(x, 0) sn2 u(x,0)
t t n1
. (9.16)
h i
Finalmente, si u es derivable con respecto a x, L u(x,t)
x = x L[u].
iii) Supongamos que la transformada de Laplace de u(x,t) dada por L[u](x, s) = U(x, s)
es analtica en la variable s en el plano Re(s) > y O(sk ) con k > 1. Entonces
a lo largo de la lnea x = , para > , se cumple la frmula de inversin para la
transformada de Laplace
1
Z +i
1
u(x,t) = L [U(x, s)] = etzU(x, z)dz. (9.17)
2i i
Demostracin. i) Demostramos esta parte para s R. Notamos que como |u(x,t)| 6 Met y
dado que s > tenemos
Z T
st
|L[u]| = lm
u(x,t)e dt
T 0
Z T
6 M lm e(s)t dt
T 0
= M/(s ), (9.18)
El lector debe observar que la condicin U(x, s) = O(sk ) se utiliza para garantizar la existen-
cia de las integrales que se aparecen en las primeras lneas en la demostracin. Tambin debe
notarse que se us el teorema de Fubini en la tercera integral y la frmula integral de Cauchy
en la ltima igualdad (la integral de Cauchy se puede consultar en [1]).
iv) Sean U(x, s) = L[u] y V (x, s) = L[v]. Tenemos as
Z
U(x, s)V (x, s) = V (x, s) es u(x, )d
Z 0
Solucin. Supongamos que el problema (9.21) tiene una solucin u la cual tiene la propiedad
de que u, ut son O(et ) para alguna > 0. Al aplicar la transformada de Laplace a la edp, as
como a las (c f ) y a las (ci), se tiene
ya que u(x, 0) = 0. Adems U(0, s) = L[0] = 0 y U(1, s) = L[a] = a/s, esta ltima transfor-
mada, se sigue fcilmente del ejemplo 9.4. De esta manera el problema transformado est
dado por
Uxx (x, s) sU(x, s) = 0
U(0, s) = 0, (9.22)
U(1, s) = a/s,
donde s > 0. Observamos que la ecuacin (9.22) es una ecuacin diferencial ordinaria de
segundo orden con coeficientes constantes en la variable x, la cual tiene como solucin general
U(x, s) = c1 esx
+ c2 esx
.
Queremos advertir al lector que evite calcular esta transformada inversa mediante una
integral. Sin embargo, recordando que la solucin de la ecuacin de calor es nica y que ya
hemos resuelto el problema (9.21) por separacin de variables. As concluimos que
2 (1)n (n)2t
1 senh(x s)
L = x+ e sen(nx),
s senh( s) n=1 n
lo cual nos provee de un mtodo adicional para calcular transformadas de Laplace inversas.
El mtodo de la transformada de Laplace tambin puede utilizarse para resolver el problema
de la ecuacin de onda no homogneo en un medio semi infinito, como se muestra en el
siguiente ejemplo.
Ejemplo 9.6 Vibraciones forzadas. Resuelva el problema asociado a la ecuacin de
onda no homognea
utt = uxx + f (t),
x > 0, t > 0,
u(0,t) = 0, (9.23)
u(x, 0) = ut (x, 0) = 0,
u(x,t) acotada.
Solucin. Al aplicar la transformada de Laplace en la variable t a la edp en (9.23) se tiene
Uxx (x, s) + s2U(x, s) = F(s),
donde F(s) = L[ f (t)]. Como debe recordar el lector (ver apndice B B.2) la solucin de la
ecuacin anterior es la suma de la solucin de la ecuacin homognea asociada
A(s)esx + B(s)esx ,
mas una solucin particular, F(s)/s2 , es decir,
F(s)
U(x, s) = A(s)esx + B(s)esx + .
s2
Ahora se desea calcular las funciones A(s), B(s). La condicin de acotamiento de u(x,t)
implica acotamiento para U(x, s). Efectivamente, si |u(x,t)| < M para toda x,t > 0 se tiene
M
Z
|U(x, s)| 6 M est dt = ,
0 s
por lo tanto U es acotada para s > so > 0. Comprobado el acotamiento de U se tiene que
B(s) 0. Por otra parte L[u(0,t)] = U(0, s) = 0 as A(s) = F(s)/s2 . Por lo tanto
1 esx
U(x, s) = F(s) .
s2
La solucin del problema (9.23) est dada por
1 esx
1
u(x,t) = L F(s) .
s2
9.5 Aplicaciones de la Transformada de Laplace 151
u(x,t) acotada.
Solucin. Al aplicar la transformada de Laplace en la variable t obtenemos el problema
(
Uxx sU(x, s) = To
(9.27)
Ux (0, s) = U(0, s),
donde To es una temperatura inicial que suponemos constante. Para encontrar la solucin
al problema, tenemos que resolver una ecuacin diferencial ordinaria de segundo orden,
no homognea. Recordamos que la forma de resolver tal ecuacin puede encontrarse en el
apndice B de este libro, seccin B.2. El lector debe verificar que la solucin del problema
(9.27) est dada por
To
U(x, s) = c1 e sx + c2 e sx + .
s
Para el clculo de las constantes, como suponemos que la solucin u es acotada cuando
x se tiene que U debe ser acotada, es decir, c1 = 0. De esta manera, la condicin
To To
Ux (0, s) = U(0, s) se traduce en c2 s = c2 + , o bien c2 = . As
s s( s + 1)
To e sx To
U(x, s) = +
s( s + 1) s
152 Mtodos de Transformadas
y por lo tanto
" #
To e sx To
u(x,t) = L1 + .
s( s + 1) s
Dado que L1 es lineal, y dado que se tienen las siguientes transformadas (las cuales se
obtienen por medio de tablas o paquetes de computadora matemticos)
1 1 t
= L e erfc( t) (9.28)
s+1 t
e sx
x
= L erfc (9.29)
s 2 t
To
= L[To ], (9.30)
s
2
Z
2
donde erfc(u) = e d , es la funcin error complementaria, se concluye que
u
1 1 t x
u(x,t) = To L L e erfc( t) L erfc + To .
t 2 t
1 x t x
u(x,t) = To erfc + (e erfc( t)) erfc + 1 .
t 2 t 2 t
y sea
(
n
2, |x| < 1/n,
n (x) = (9.32)
0, |x| > 1/n,
del valor medio para las integrales con lo cual se tiene para algn [0, 1],
2
= e1/(1(1/n+ (2/n)) ) ,
R
n (x) (x)dx
Dado el carcter especial del funcional delta, el cual no es una funcin en el sentido clsico,
es de esperarse que su aparicin en ecuaciones diferenciales tenga un sentido especial, as
es, en efecto, el funcional delta es una distribucin y se debe definir su derivada en cierta
forma, lo cual se hace en la definicin 10.5. De aqu en adelante, siempre que se tenga una
n n1
ecuacin diferencial an ddxgn + an1 ddxn1g + + a0 g = (x xo ) entenderemos una relacin
de la forma integral dada en la definicin siguiente.
Definicin 9.5 Por una solucin dbil g de la ecuacin
dng d n1 g
an + an1 + + a0 g = (x xo ) (9.36)
dxn dxn1
se entiende una funcin g localmente integrable que satisface
dn d n1
Z
d
a0 + (1) an n + (1) an1 n1 + + (1)1 a1
n n1
g(x)dx
dx dx dx
Z
= lm n (x xo ) (x)dx, (9.37)
n
Al usar las propiedades de las funciones de prueba se tiene que la integral del lado izquierdo
de (9.37) se puede obtener al integrar por partes,
dng d n1 g
Z Z
an n + an1 n1 + + a0 g (x)dx = lm n (x xo ) (x)dx, (9.38)
dx dx n
A pesar del carcter especial de las ecuaciones diferenciales que incluyen la delta de Dirac,
suele drseles un tratamiento totalmente operacional a tales ecuaciones. Tal procedimiento es
correcto en un contexto adecuado, el cual, sin embargo, no suele mencionarse al estudiante
en los libros bsicos. En este libro, en el captulo 10, seccin 10.3, se da una introduccin al
espacio de distribuciones en el cual todos los clculos que se hacen en los cursos elementales
de edo estn justificados. A continuacin presentamos un ejemplo puramente operativo de
cmo se usa la transformada de Laplace para resolver tales ecuaciones.
Ejemplo 9.9 Resuelva el problema
donde f (t) es una funcin dada, a partir del siguiente problema cuya solucin se supone
conocida explcitamente:
vt = (2 v, x , t > 0,
v(x,t) = 0, x 1
(c f ) (9.42)
v(x,t) = 1, x 2 ,
(ci) v(x, 0) = 0, x .
Donde suponemos que la transformada de Laplace existe para las funciones consideradas en
este problema. Por otra parte, la transformada de Laplace de la solucin v del problema (9.42)
dada por L[v] = V (x, y, z, s) satisface
Notamos que la funcin W (x, y, z, s) = F(s)sV (x, y, z, s) satisface la edp en (9.43) ya que
la ecuacin es lineal y sF(s) es slo un parmetro que sale del laplaciano como constan-
te. Ms an, W satisface las condiciones de frontera y la condicin inicial del problema
9.7 Frmulas de Duhamel 157
Aplicamos ahora la transformada inversa va el teorema 9.2 parte iv) con lo cual se obtiene
el cual fue resuelto en el ejemplo 9.5. Procedemos a resolver el problema (9.47) aplicando la
transformada de Laplace tanto en la edp como en las (ci) y (c f ). Se llega as a
Uxx (x, s) sU(x, s) = 0
U(0, s) = 0, (9.49)
U(1, s) = L[ f (t)] = F(s).
158 Mtodos de Transformadas
Notamos que si definimos W (x, s) = sF(s)V (x, s), entonces W satisface la ecuacin diferencial
en (9.49) ya que la ecuacin es lineal y sF(s) es slo un parmetro. Ms an W (0, s) =
sF(s)V (0, s) = 0 y W (1, s) = sF(s)1/s = F(s) por lo tanto, debido a la unicidad de la solucin
del problema (9.49) se tiene
U(x, s) = W (x, s) = sF(s)V (x, s).
Recordamos adems que L[vt (x,t)] = sV (x, s) v(x, 0) = sV (x, s). Por lo tanto por medio del
teorema 9.2 parte iv) se llega a
Z t
v(x,t)
u(x,t) = L1 [F(s) (sV (x, s))] = f (t) = f ()v (x,t )d
t 0
Z t
= f 0 ()v(x, y, z,t )d + f (0)v(x, y, z,t).
0
(1) (n) t n 2
En el ejemplo 9.5 se obtuvo que v(x,t) = x + 2
n=1 n e sen(nx), por lo que
sustituyendo, queda resuelto el ejemplo.
(
utt (x,t) = u(x,t) + F(x,t), x RN , t > 0,
(9.51)
u(x, 0) = ut (x, 0) = 0, x RN ,
9.7 Frmulas de Duhamel 159
Utt (x,t, s) = U(x,t, s),
x RN , t s,
U(x, s, s) = 0, x RN , t = s, (9.52)
Ut (x, s, s) = F(x, s), x RN , t = s,
para obtener
Z t
u(x,t) = Ut (x,t, s)ds +U(x,t,t) (9.55)
t 0
Z t
= Ut (x,t, s)ds (9.56)
0
donde (9.56) se sigue de la condicin U(x,t,t) = 0 de (9.52). Derivando otra vez, se tiene
2
Z t
u(x,t) = Utt (x,t, s)ds +Ut (x,t,t) (9.57)
t 2 0
Z t
= U(x,t, s)ds + F(x,t)
0
= u(x,t) + F(x,t).
Por supuesto, se puede intercambiar con la integral bajo nuestra hiptesis de que U(x,t, s)
C 2.
(
ut (x,t) = u(x,t) + F(x,t), x RN , t > 0,
(9.58)
u(x, 0) = 0, x RN ,
(
Ut (x,t, s) = U(x,t, s), x RN , t s,
(9.59)
U(x, s, s) = F(x, s), x RN , t = s.
Sea Z t
u(x,t) = U(x,t, s)ds
0
donde U(x,t, s) es solucin de (9.59). De la frmula (9.55) se obtiene
Z t
u(x,t) = Ut (x,t, s)ds +U(x,t,t) (9.60)
t 0
Z t
= U(x,t, s)ds + F(x,t)
0
= u(x,t) + F(x,t),
Rt
lo cual implica que u(x,t) = 0 U(x,t, s)ds es solucin de (9.58).
y puesto que Z t Z t
u(x,t) = U(x,t, s) ds = v(x,t s, s) ds
0 0
se tiene otra forma de expresar el principio de Duhamel para la ecuacin de calor, la cual
utilizaremos en el captulo siguiente.
9.8 Problemas y ejercicios del captulo 9 161
c)
(
1, 1 6 x 6 1,
f (x) =
0, en otro caso.
u 2u
= , < x < , 0 < t, (9.61)
t x2
u(x, 0) = 1, si 1 < x < 1, y 0 en otro caso.
u 2u u
= + , < x < , 0 < t, (9.62)
t x2 x
u(x, 0) = f (x).
2u 2u
= , < x < , 0 < t, (9.63)
t 2 x2
u(x, 0) = 0,
1
ut (x, 0) = .
1 + x2
d) El problema linealizado de la ecuacin de Korteg de Vries
Tome = 2/ao para dar una razn de porqu el da ms caliente (fro) del ao se
espera que ocurra alrededor de seis semanas despus del da ms largo (corto) del ao.
Solucin del problema 8. Use el mtodo de la transformada de Laplace para obtener
q qsx
k k
Q c e c
s
To
L[T ](s,t) = 2 2
+ ,
k s s + s
9.8 Problemas y ejercicios del captulo 9 163
b)
utt = (uxx , 0 < x < 1, t > 0,
u(0,t) = 0,
(c f ) (9.70)
u(1,t) = f (t),
(ci) u(x, 0) = u (x, 0) = 0.
t
10 Funciones de Green
10.1 Introduccin
El mtodo de la funcin de Green nos permite analizar problemas asociados a las ecuaciones
diferenciales lineales tanto edo como edp. Esencialmente consiste en hallar una expresin
matemtica para ciertas funciones, llamadas funciones de Green y a partir de ellas construir
soluciones de ciertas edp. El contexto adecuado para las funciones de Green es el del espacio
de las distribuciones cuya teora requiere un tratamiento riguroso fuera del alcance de este
libro, no obstante introducimos la teora de las distribuciones de una forma elemental en
la seccin 10.3. Cabe mencionar que nuestra aproximacin a la teora de distribuciones, a
pesar de ser simplificada, es, sin embargo, de una mayor dificultad que el resto del libro y
puede omitirse en un primer curso. Por otra parte, se acostumbra en los textos elementales de
ecuaciones diferenciales parciales tener un acercamiento operacional a las funciones de Green,
nosotros seguiremos la tradicin. Comenzamos con algunos ejemplos.
Ejemplo 10.1 Considere el problema
00
y = f (x),
x (0, b), f C [0, b]
y(0) = 0, (10.1)
0
y (0) = 0.
Al resolver este problema se obtiene que
Z x
y(x) = (x ) f ( )d , 06x6b
0
es la solucin, lo cual puede verificar el lector derivando directamente.
Definamos la siguiente funcin:
(
x , si 0 6 6 x,
G(x, ) = (10.2)
0 si x 6 6 b,
166 Funciones de Green
donde x se considera como un parmetro. De esta manera podemos expresar la solucin como
Z b
y(x) = G(x, ) f ( )d .
0
donde
(
(xa)( b)
ba , si a 6 x 6 ,
G(x, ) = (xb)( a) (10.4)
ba si 6 x 6 b.
De esta forma y es la solucin del problema.
Ejercicio 10.1 Verifique que las soluciones dadas de los ejemplos 10.1, 10.2, son efecti-
vamente soluciones.
1 1
urr + ur + 2 u = q(r, ), 0 < r < 1 (10.5)
r r
u(1, ) = 0, 0 6 6 2,
donde q(r, ) tiene derivadas continuas. Definamos la siguiente funcin
1 1 1
G(r, , , ) = ln R ln R ln , (10.6)
2 2 2
1 R
= ln (10.7)
2 R
s
p r 1
donde R = r2 2r cos( ) + 2 , R = r2 2 cos( ) + 2 . Puede verificarse
que
Z 2 Z 1
u(r, ) = G(r, , , )q(, ) d d ,
0 0
es la solucin de la ecuacin (10.5).
10.1 Introduccin 167
Z tZ
v(x,t) = K(x,t; y, ) f (y)dyd,
0
donde
1 2
K(x,t, y, ) = p e(xy) /(4(t)) .
2 (t )
168 Funciones de Green
operador L. Se tienen conclusiones similares para los otros problemas. De aqu se sigue que
resolver los problemas en los ejemplos anteriores se reduce a determinar la funcin de Green
del problema correspondiente.
Definicin 10.1 Definicin de la funcin de Green. Sea RN con frontera .
Se considera el problema
donde L[u] es un operador lineal el cual esta asociado con una ecuacin diferencial parcial
lineal y B[u] representa condiciones de frontera e iniciales lineales, tales que para cada f
definida en el problema (10.14), (10.15) tiene solucin nica. Se dice que una funcin
G(x, ) es una funcin de Green de la ecuacin (10.14), con condiciones de frontera (10.15)
si la solucin nica est dada por
Z
u(x) = G(x; ) f ( )d
De acuerdo con esta definicin las funciones G definidas en los ejemplos de la seccin
10.1 son funciones de Green de los problemas correspondientes.
Las funciones de Green pueden tener una singularidad, es decir, puede ser que sean
discontinuas o bien que alguna de sus derivadas sean discontinuas. Este hecho, se debe a
que las funciones de Green son soluciones de una ecuacin que involucra el funcional delta
de Dirac como se explica en la seccin 10.3. En la seccin de ejercicios de este captulo
podrn encontrarse ejemplos de cmo calcular funciones de Green asociadas a problemas
con ecuaciones diferenciales ordinarias. Debe observarse que para los problemas en edo
mencionados y de la seccin de ejercicios del captulo las funciones de Green son continuas,
pero no as sus primeras derivadas.
10.2 Mtodos para encontrar funciones de Green 169
N Observe que las (c f ) del problema (10.16) deben ser las mismas que las del problema
(10.17).
Para construir la funcin de Green del problema (10.17), sean n (x), n las funciones
propias y valores propios del problema asociado (10.16). Se propone una solucin de (10.17)
de la forma
y(x) = ann(x). (10.18)
n=1
Dada la linealidad de L y dado que las funciones y, n satisfacen las mismas condiciones de
frontera homogneas se obtiene que
anL(n(x)) = annn(x) = f (x).
n=1 n=1
Ejemplo 10.5 Resolveremos uno de los problemas con los que iniciamos el presente
captulo por medio de la tcnica de expansin en funciones propias. Es decir, resolveremos el
problema
00
y = f (x),
x (0, b), f C [0, b]
y(0) = 0,
y(b) = 0.
El cual, como se sabe por la teora desarrollada en el captulo 7, tiene valores propios
n = (n/b)2 , n = 1, 2, . . . y funciones propias correspondientes sen (n/b). Por lo tanto la
solucin del problema est dada por
Z b
y(x) = f ( )G(x, )d ,
0
donde
2 sen (nx/b)sen (n /b)
G(x, ) =
b n=1 (n/b)2
est desarrollada como una serie de Fourier.
10.2 Mtodos para encontrar funciones de Green 171
Z b Z
de f
y(x) = G(x, ) ( xo )d = lm n ( xo )G(x, )d = G(x, x0 ). (10.23)
a n
De esta manera, al menos intuitivamente y(x) = G(x, x0 ) es solucin de (10.17). Lo cual quiere
decir que G(x, ) es solucin del problema
L[G(x,
)] = (x )
)
(
a1 G(, ) + b1 dG(x,
dx x=
=0 (10.24)
(c f )
dG(x, )
a2 G( , ) + b2 dx = 0.
x=
d 2 G(x, )
= 0,
dx2
172 Funciones de Green
Solucin. Notamos que las condiciones y(0) = 0, y0 (0) = 0 son apropiadas para aplicar la
transformada de Laplace. Aplicando la transformada de Laplace en el problema asociado
d 2 G(x, )
dx2 = (x ),
x (0, ),
G(0, ) = 0,
dG(x, )
dx = 0,
x=0
se tiene
d 2 G(x, )
L = L[ (x )]
dx2
s2 L[G](s, ) = es
es
L[G](s, ) = = L[(x )H(x )].
s2
Al tomar transformada inversa se obtiene la funcin de Green G(x, ) = (x )H(x ). Por
otro lado la solucin del problema es
Z
y(x) = f ( )(x )H(x )d ,
0
lm G(x, ) = lm G(x, ),
x + x
d d 1
lm G(x, ) lm G(x, ) = .
x + dx x dx p( )
Pero debe mencionarse que la funcin de Green no siempre existe, por lo que se debe tener
cuidado al verificar que una funcin propuesta verifique todas y cada una de las condiciones
anteriores.
174 Funciones de Green
vez de considerar f (x) como una funcin fuente continua, la aproximamos por medio de
un conjunto discreto de funciones fuente f (s1 ), f (s2 ), . . . , f (sn ) que actan en los puntos
x = s1 , x = s2 , . . . , x = sn , todos en el interior de [0, 1]. Definimos la funcin G(x; sk ) como
la solucin fundamental de la ecuacin (10.30) debida a la fuente puntual unitaria que acta
en sk , es decir (x sk ). La solucin debida a un solo efecto f (sk )sk es por consiguiente
G(x; sk ) f (sk )sk . Sumando todas estas soluciones para los n trminos de las fuentes puntuales
que actan en [0, 1] la solucin adquiere la forma siguiente:
n
G(x; sk ) f (sk )sk . (10.31)
k=1
(x , y ) = (x ) (y ).
Establecido lo anterior se pueden extender los mtodos usados para resolver ecuaciones
ordinarias para resolver ecuaciones diferenciales parciales. Por ejemplo, para resolver el
problema de Poisson con condiciones de frontera homogneas suponiendo que tiene una nica
solucin,
(
u(x, y) = f (x, y)
(10.33)
u(0, y) = u(a, y) = u(x, 0) = u(x, b) = 0,
son mn (x, y) = sen (nx/a)sen (my/b), con valores propios correspondientes mn = (n/a)2 +
(m/b)2 , m, n = 1, 2, 3, .... En este caso, para obtener la funcin de Green, podemos aplicar
las mismas frmulas que en la seccin 10.2.1 cambiando solamente la integral por una integral
doble, as, por ejemplo ZZ
mn (x, y)2 dxdy = ab/4.
R
De esta manera, con las frmulas de la seccin 10.2.1 se tiene que
4 sen (nx/a)sen (my/b)sen (n /a)sen (m/b)
G(x, y, , ) = .
ab n=1 m=1 (n/a)2 + (m/b)2
2 2
2
G(x,t, , ) c G(x,t, , ) = c2 (x ) (t ),
t 2 x2
G(0,t, , ) = 0 y G(x,t, , )x=0 = 0.
t
Solucin. Aplicando la transformada de Laplace a la edp, con las condiciones iniciales nulas
se obtiene
d 2 G s2
G = (x )es ,
dx2 c2
donde L[G(x,t, )] = G(x, s, , ). Ahora tomamos la transformada de Fourier en la ecuacin
anterior para obtener
1 exp(i s)
G(, s, , ) = ,
2 2 + s2 /c2
donde F[G(x, s, , )] = G(, s, , ). Al tomar la transformada de Fourier inversa se tiene que
es ei(x )
Z
G(x, s, , ) = 2 2 2
d.
2 + s /c
La integral compleja en la igualdad anterior puede evaluarse mediante el teorema del residuo
(ver [1] o [29], por ejemplo) con lo que se obtiene
c
G(x,t, , ) = H(t |x |/c),
2
2 2
2
Ejercicio 10.2 Verifique que la solucin del problema u c u = f (x,t) con
Z tZ t 2 x2
u(x, 0) = 0, ut (x, 0) = 0, est dada por G(x,t, , ) f ( , )d d.
0
10.3 Distribuciones y funciones de Green 177
Ejemplo 10.10 Se sabe del clculo diferencial (ver por ejemplo [26]) que la funcin
( 2
e1/x , x > 0,
f (x) =
0, x60
la cual puede demostrarse que pertenece a D(R) con sop ( ) = [a, a].
Definicin 10.3 Una sucesin de funciones {n } contenida en D(R) se dice que converge
a cero, si existe un conjunto compacto K R tal que sop (n ) K para toda n y si n y
D(R)
todas sus derivadas convergen uniformemente a cero en K, lo cual se denota por n 0.
No es difcil demostrar que T es una transformacin lineal. Supongamos que (n ) es tal que
D(R)
n 0 cuando n . Entonces existe un compacto K R, tal que el supxK n (x) 0,
cuando n , por lo tanto
Z Z
f (x)n (x)dx 6 sup n (x) | f (x)|dx 0,
K K
xK
xo ( ) = (xo ), D(R).
Claramente xo es una transformacin lineal, efectivamente
xo ( + ) = ( + )(x0 ) = (xo ) + (xo ) = xo ( ) + xo ().
D(R)
Supongamos que n 0. Puesto que n (xo ) 0 cuando n se tiene que xo (n ) 0.
Por lo tanto xo es una distribucin en R.
Lema 10.1 NoRexiste funcin localmente integrable f tal que la distribucin inducida
cumpla T f ( ) = R f (x) (x)dx = ( )
Ahora demostraremos que T 0 es una distribucin. Dado que la derivacin sobre es lineal, la
D(R) D(R)
derivada T 0 es lineal. Sea n una sucesin tal que n 0, se tiene n0 0, dado que T es
distribucin T (n0 ) 0 y por lo tanto T 0 (n ) tambin converge a cero cuando n , es decir,
dT
T 0 es una distribucin. Se usa tambin la notacin T 0 = .
dx
Ejemplo 10.13 De la definicin de la delta de Dirac
d
( ) = 0 (0).
dx
As la derivada distribucional de la delta es el negativo del funcional dipolo D definido por
D( ) = 0 (0).
[
(x u) = x (b
u) (10.37)
x y = x+y . (10.38)
T = T = T
y
T (n) = (n) T.
Demostracin. Sea D(R) entonces
Por lo tanto = . Por otra parte, en el lema 10.2 se demuestra que es conmutativa y
asociativa para distribuciones, de este hecho se sigue que
( T ) = (T ) = T ( ) = T .
y por lo tanto S 0.
Para las derivadas demostramos primero dos cosas:
i) (T )(n) = (T (n) ) = T ( (n) ).
(n) (n)
ii) (T1 T2 )(n) = (T1 ) T2 = T1 (T2 ).
182 Funciones de Green
T1 T2 = T2 T1 .
T1 (T2 T3 ) = (T1 T2 ) T3 .
L(T ) = S, (10.39)
L(T ) = , (10.40)
(TH +C)0 = .
u = 0
u = (r)
donde r
r= (xi i)2
i
184 Funciones de Green
es decir, soluciones que son invariantes bajo rotaciones alrededor del punto = (1 , . . . , N ).
Puede demostrarse por medio de la regla de la cadena (como se hizo en la seccin 4.2 para
N = 2, 3) que en stas condiciones la ecuacin de Laplace se reduce a
N 1 0
u = 00 (r) + (r) = 0,
r
as satisface una ecuacin diferencial ordinaria, la cual al integrarse se obtiene
0 (r) = Cr1N
y finalmente
2N
Cr
, si N > 2
(r) = 2 N (10.41)
C log r si N = 2
N Puede demostrarse que para cierta constante C la funcin u(x) = (r) es solucin
fundamental del operador , es decir, la solucin u del ejercicio anterior, satisface la
ecuacin simblica
u = .
Observe que la funcin G satisface las condiciones de frontera. Para demostrar que G satisface
la ecuacin (10.42) se escribe G en trminos de la funcin de Heaviside como sigue:
1
G(x, ) = [H(x )(x b)( a) + H( x)(x a)( b)]
ba
y se calcula
G 1
(x, ) = (x )[(x b)( a) (x a)( b)]
x ba
1
+ [H(x )( a) + H( x)( b)].
ba
Notemos que (x )[(x b)( a) (x a)( b)] = 0 y por lo tanto
2G 1
2
(x, ) = [ (x )( a) (x )( b)] = (x )
x ba
inversamente, si G satisface (10.42) y (10.43) entonces G es la funcin de Green del problema,
como puede verificarse.
b) Dada la funcin de Green del inciso anterior muestre que la solucin del problema
(10.46) est dada por
Z 1
y(x) = G(x, ) d .
0
Demuestre lo anterior dividiendo la integral en los intervalos
0 6 x 6 y 6 x 6 1.
y00 y = x (10.50)
y(0) = y(1) = 0, (10.51)
10.4 Problemas y ejercicios del Captulo 10 187
4. (Tomado de [20].) Use el problema anterior para determinar la funcin de Green asociada
al problema
yiv = 1; y(0) = y0 (0) = y00 (1) = y000 (1) = 0
y resulvalo.
Solucin. G(x, ) = x2 /6(3 x), 0 6 x 6 ; 2 /6(3x ), 6 x 6 1, y = x2 /24(x2
4x + 6).
5. Resuelva mediante la funcin de Green, el problema y00 + y = x2 ; y(0) = y(/2) = 0.
6. Resuelva el problema siguiente por el mtodo de expansin en funciones propias
d2y
+ y = f (x), y(0) = 0, y(l) = 0.
dx2
7. Derive con respecto a la funcin G definida en el ejemplo 10.3 en la seccin 10.1 para
obtener la frmula integral de Poisson.
8. Utilice las funciones definidas en 10.35 para construir las funciones usadas en la
demostracin del lema 10.1.
9. Complete la parte i) en la demostracin del teorema 10.1 , es decir, demuestre la igualdad
que falta y proceda por induccin a completar la demostracin.
10. Considere la ecuacin de calor unidimensional con las condiciones iniciales y de frontera
u 2u
= 2
t x
u(0,t) = 0
u(L,t) = 0
u(x, 0) = g(x).
A.1 Concavidad
Definicin A.1 Se dice que una funcin f es cncava hacia arriba (convexa) en un
intervalo (a, b) si y slo si para todo x, y del intervalo se cumple
Similarmente, se dice que f es cncava hacia abajo si f es cncava hacia arriba, en este
caso se cumple que
El lector debe notar que tomando t = 1/2 en la definicin A.1 se tiene la relacin
x+y f (x) + f (y)
f < , (A.3)
2 2
dado de acuerdo con (3.7). Por otra parte, si f es cncava hacia abajo
x+y f (x) + f (y)
f > . (A.4)
2 2
d 2 f (x)
As que puede demostrarse que si < 0, entonces la funcin f en un punto cualquiera
dx2
del intervalo ser mayor que el promedio de la funcin evaluada en puntos vecinos que
circunden al punto dado de acuerdo a (A.4).
Definicin A.3 Se dice que la serie cn n (x) converge uniformemente a f (x), es decir,
n=0
> 0 existe N = N() tal que para toda x [a, b] si
[a, b], si para cada
en cada punto x de
N
n > N, entonces f (x) cn n (x) < .
n=0
Ecuaciones diferenciales lineales ordi-
narias
de primer orden
Ecuaciones de primer orden no
homogneas
Apndice. Ecuaciones de segundo
orden
Ecuaciones homogneas
Ecuacin de Euler
Ecuaciones no homogneas
Mtodo de Frobenius
B Ecuaciones diferenciales
Los aspectos bsicos de las ecuaciones diferenciales ordinarias son prerrequisito de cualquier
curso de ecuaciones diferenciales parciales. Para un estudio detallado de los temas tratados en
este apndice se recomienda [5].
donde A, B,C son constantes reales dadas. Para resolverla se propone y(t) = et . Al derivar y
al sustituir en (B.2) se obtiene despus de dividir por et la ecuacin caracterstica dada por:
A 2 + B +C = 0, (B.3)
la cual es una ecuacin cuadrtica que se puede resolver para . Se tienen las siguientes
soluciones generales de la ecuacin ordinaria de segundo orden con coeficientes constantes:
1/(2A)(B+ B2 4AC)t + c e1/(2A)(B B2 4AC)t , I > 0
c1 e
2
y(t) = eB/(2A)t [c1 cos((4AC B2 )t) + c2 sen ((4AC B2 )t)], I < 0, (B.4)
B/(2A)t
B/(2A)t
c1 e + c2 t e , I = 0,
donde I = B2 4AC.
a( 1) + b + c = 0
o bien
a 2 + (b a) + c = 0,
la cual es llamada ecuacin caracterstica de la ecuacin de Euler. Si 1 , 2 son races distintas
de la ecuacin anterior se tiene la solucin general
R(r) = c1 r1 + c2 r2 . (B.5)
Ejemplo B.1 La ecuacin r2 R00 (r) + rR0 (r) n2 R(r) = 0 tiene ecuacin caracterstica
2 n2 = 0, de donde = n y as R(r) = c1 rn + c2 rn .
La solucin de esta ecuacin (ver por ejemplo [5]) est dada por la suma de la solucin general
de la ecuacin homognea asociada Ay00 (t) + By0 (t) +Cy(t) = 0, mas una solucin particular
(t), es decir satisface A 00 (t) + B 0 (t) +C(t) = g(t).
Ejemplo B.2 Resuelva la ecuacin y00 + y = 3.
Solucin. Una solucin particular es (t) = 3. La solucin de la ecuacin homognea asociada
y00 + y = 0 es y(t) = c1 cost + c2 sent. Por lo tanto la solucin general de la ecuacin y00 + y = 3
es y(t) = c1 cost + c2 sent + 3.
B.2 Apndice. Ecuaciones de segundo orden 193
se propone a de la forma
n
A0 + A1t + + Ant , C 6= 0,
(t) = t(A0 + A1t + + Ant n ), C = 0, n 6= 0, (B.7)
2
t (A0 + A1t + + Ant n ), C = B = 0.
[1] Ahlfors, L. V., Complex Analysis, Third Edition, Mc Graw Hill 1979.
[2] Anderson, J. D., Computational Fluid Dynamics: The Basics with Applications, McGraw
Hill 1994.
[3] Atkinson, K., E., An introduction to Numerical Analysis, John Wiley & Sons, Inc. 1989.
[5] Braun, M., Differential Equations and Their Applications, Springer Verlag 1993.
[6] Churchil, R. V., Operational Mathematics Third Edition, McGraw Hill, 1972.
[7] Churchil, R. V., Brown J. W., Fourier Series and Boundary value Problems Third Edition,
McGraw-Hill, 1978.
[8] Courant R., John F., Introduccin al Clculo y al Anlisis Matemtico Vol. 2, Limusa
Noriega editores 2004.
[9] Drabek, P., Hulova. G., Elements of Partial Differential Equations, de Gruyter, 2007.
[10] Friedman, A., Foundation of Modern Analysis, Dover Publications, Inc New York 1982.
[11] Friedberg S. H., Insel A. J., Spence L. E., Linear Algebra, Prentice Hall 2005.
[12] Folland G. B., Real Analysis: Modern Techniques and Applications, Johnn Wiley and
Sons, Inc. 1984.
196 BIBLIOGRAFA
[13] Gasquet, C., Witomski, P. Fourier Analysis and applications, Springer-Verlag New York
1999.
[14] Heaviside, O., Electromagnetic Theory, V.II, London, the electrician printing and publis-
hing, 1899.
[15] Isaacson, E., Keller, H. B., Analysis of Numerical Methods Jhonn Wiley, New York,
1966.
[17] Katznelson Y., An introduction to Harmonic Analysis, Dover Publication, Inc, New York
1968.
[18] Kesavan S., Topics in Functional Analysis and Applications, John Wiley and Sons, Inc.
1989.
[19] Keane M. K., A Very Applied First Course in Partial Differential Equations, Prentice
Hall 2002.
[20] Krasnov M., Kisielov A., Makarenko G.m Ecuaciones integrales, Editorial Mir. 1982.
[21] Lax P. D., The Formation and Decay of Shock Waves, The American Mathematical
Monthlty, Vol 79, No. 3 (1972) p 227-241.
[23] Ockendon J., Howison S., Lacey A., Movchan A., Applied Partial Differential Equations
Oxford University Press 1999.
[24] Pinsky, M. A., Introduccin al anlisis de Fourier y las ondoletas, International Thomson
Editores 2003.
[25] Renardy M., Rogers C. R., An Introduction to Partial Differential Equations, second
edition, Springer-Verlag New York 2004.
[27] Strauss, W. A., Partial Differential Equations: An Introduction, John Wiley & Sons, Inc.,
New York, 1992.
[28] Tijonov, A., Samarsky, A., Ecuaciones de la fsica matemtica ed. MIR Mosc 1980.
[29] Weinberg, H. F., Ecuaciones diferenciales en derivadas parciales con mtodos de varia-
ble compleja y de transformaciones integrales, Ed. Revert, Barcelona 1992.
[30] Zachmanoglou E. C., Thoe D. W., Introduction to Partial Differential Equations, Dover
Publications, Inc., New York, 1986.
BIBLIOGRAFA 197
[31] Zill D. G., Cullen M.R., Ecuaciones diferenciales con problemas de valores en la frontera,
8a edicin, Cengage Learning, 2008.
ndice alfabtico
Laplaciano,
en coordenadas polares y esfricas, 49
200 NDICE ALFABTICO
M mtodo de DAlembert, 55
de laplace
Mtodo de las caractersticas 19 mediante separacin de variables, 81
Mtodos numricos, 121 solucin fundamental, 145
diferencias finitas, 122 distribucional, 183
para ecuacin Laplace, 131 Sturm-Liouville, problema de 103
Crank-Nicholson, 127 sumidero, 45
N T
n-simos armnicos, 80 Tcnica de separacin de variables, 65
O Teorema
de unicidad
Operador para la ecuacin de calor, 40
lineal, 2 para la ecuacin de Poison, 48
autoadjunto, 115 Principio del mximo
Ortogonales, vectores, 115 para la ecuacin de calor, 40
para la ecuacin de Laplace, 47
P Transformada
de Fourier, 139
Polinomios de
de Laplace, 145
Legendre, 112
Hermite, Thevychevff, 120 U
principio de Duhamel, 155
principio de Huygens, 61 Unicidad de las soluciones de las ecuaciones
principio del mximo, parablicas, 40
para la ecuacin de calor 39
para la ecuacin de Laplace 47 V
principio de superposicin 66, 70
problema de calor (PC), 36 valores propios,
problema de Sturm-Liouville asociados con una forma cuadrtica, 10,
regular, 117 del problema de Sturm-Liouville 104, 11
singular, 107
serie de Fourier,
para la ecuacin de calor 71
para la ecuacin de onda 79
trigonomtricas 90
solucin de la ecuacin
de calor
mediante separacin de variables, 65
de onda
mediante separacin de variables, 78