Capítulo 3

Ecuaciones en derivadas parciales

Sumario. Deniciones básicas. Ecuaciones lineales de segundo orden: clasicación.

Método de separación de variables. Series de Fourier. Resolución de las ecuaciones
canónicas: calor, ondas y Laplace.

3.1. Introducción a las EDP

Por una ecuación en derivadas parciales entederemos una expresión de la forma

I (|1 > ===|q > x> x|1 > ===x|q > ===x|l1 ===|ln ) = 0>

donde |1 > ===> |q son q variables independientes, x = x(|1 > ===> |q ) es una variable dependiente (incógnita
de la ecuación) y x|l1 ===|lm son las derivadas parciales de x de orden m, 1  m  n, respecto de las
variables |l1 ===|lm . La derivada de mayor orden indica el orden de la ecuación. Por ejemplo

x + x{ + x| = 0

es una ecuación de orden uno, mientras que

|  x{ + x · x{| = {x

es una ecuación de orden dos, que será el orden máximo que estdiaremos en este curso.
Las ecuaciones en derivadas parciales (EDP) se utilizan para modelar procesos que además de ten-
er una variación temporal, tienen una variación de tipo espacial. Ejemplos conocidos son la variación
de calor con el tiempo en un sólido, la distribución de poblaciones en un cierto habitat o la propa-
gación del sonido de las cuerdas de una guitarra.
En general, las EDP van a ser bastante difíciles de resolver. De hecho, no existe un teorema
de existencia y unicidad "sencilloçomo el que se estudiaba para problemas de condiciones iniciales
de sistemas de ecuaciones diferenciales ordinarias. Por todo ello, las EDP son fuente de estudio
en la actualidad para muchos matemáticos siendo una de las áreas de la matemáticas con mayor
investigación en la actualidad.
Como ocurre con las ecuaciones diferenciales, normalmente se suelen asociar varios tipos de condi-
ciones a una EDP. Según se trate, hablaremos de ellas como condiciones iniciales o condiciones de

63
Ecuaciones en derivadas parciales

contorno. Consideremos por ejemplo el problema siguiente


 xw = x|| > w A 0> |  (0> 1)>
xw (0> |) = i (|)> |  [0> 1]>

x(w> 0) = x(w> 1) = 0> w  0>
que, como veremos posteriormente modela la varición temperatura x de una varilla unidimensional
de longitud 1 a lo largo del tiempo. La ecuación de segundo orden xw = x2|| se conoce como ecuación
del calor, que en este problema tiene asociados dos tipos de condiciones. La condición xw (0> |) = i(|)
establece la temperatura inicial de la varilla para todo punto de ésta |  [0> 1], por lo que hablamos
de ella como una condición inicial. Sin embargo, la condición x(w> 0) = x(w> 1) = 0 nos indica que los
valores de la temperatura en los extremos de la varilla son jos para cada instante de tiempo. Estas
condiciones se llaman de frontera o contorno.

3.2. Ecuaciones lineales de orden 2

Una ecuación lineal de segundo orden es de la forma
d(w> |)xww + e(w> |)xw| + f(w> |)x|| + g(w> |)xw + h(w> |)x| + i (w> |)x = j(w> |)> (3.1)
donde d> e> f> g> h> i> j :   R2  R son funciones de regularidad suciente para cada problema que
vayamos a estudiar. Es fácil comprobar que si x1 (w> |) y x2 (w> |) son soluciones de (3.1), entonces una
combinación lineal de ellas
x1 (w> |) + x2 (w> |)>
>   R es también solución de la ecuación, por lo que ésta recibe el calicativo de lineal. Dicha
ecuación se dirá de coecientes constantes si las funciones d> e> f> g> h> i son constantes. En este caso,
se pueden introducir nuevas variables independientes v y {, y una nueva variable dependiente y de
manera que la ecuación (3.1) se escribe de una de las siguientes formas:
yvv + y{{ + y = *(v> {)> (3.2)
yvv  y{{ + y = *(v> {)> (3.3)
y{{  yv = *(v> {)> (3.4)
yvv + y = *(v> {)> (3.5)
donde  es una constante que toma los valores 1, 0 y 1. Si la ecuación original verica que
e2  df ? 0 esta se dirá elíptica y se reducirá a una ecuación del tipo (3.2). Si verica que e2  df A 0
se dirá hiperbólica y puede reducirse a una ecuación de la forma (3.3). Finalmente, si e2  df = 0 la
ecuación puede reducirse a la forma (3.3) y se dirá parabólica o a la forma (3.5) que se conoce con
el nombre de degenerada.
Veamos por ejemplo cómo transformar la ecuación
3xww  2xw| + 6x||  12xw  9x|  5x = 0
en una de las formas anteriores. En primer lugar, démonos cuenta que
e2  df = 14 ? 0
por lo que se trata de una ecuación elíptica. La transformación se hace en tres etapas.

64
 Ecuaciones en derivadas parciales

Cambio en las variables independientes para eliminar el término xw| . Para ello consideramos
una rotación en el plano de ángulo  que tendrá la forma
½
v = w cos  + | sin >
{ = w sin  + | cos >
y cuya transformación inversa es
½
w = v cos   { sin >
| = v sin  + { cos =
Por la regla de la cadena, tenemos que
C C Cv C C{ C C
= + = cos   sin >
Cw Cv Cw C{ Cw Cv C{
C C Cv C C{ C C
= + = sin  + cos =
C| Cv C| C{ C| Cv C{
De este modo
μ ¶μ ¶
C2 C C C C C C
= = cos   sin  cos   sin 
Cw2 Cw Cw Cv C{ Cv C{
C2 2 C2 2 C2
= cos  + sin   2 cos  sin >
Cv2 C{2 CwC{
μ ¶μ ¶
C2 C C C C C C
= = sin  + cos  sin  + cos 
C| 2 C| C| Cv C{ Cv C{
C2 2 C2 2 C2
= sin  + cos  + 2 cos  sin >
Cv2 C{2 CwC{
μ ¶μ ¶
C2 C C C C C C
= = cos   sin  sin  + cos 
CwC| Cw C| Cv C{ Cv C{
C2 C2 C2
= cos  sin   cos  sin  + 2 (cos2   sin2 )>
Cv2 C{2 CwC{
y sustituyendo en la ecuación original tenemos

0 = 3xww  2xw| + 6x||  12xw  9x|  5x

¡ ¢
= 3 xvv cos2  + x{{ sin2   2xw{ cos  sin 
¡ ¢
2 xvv cos  sin   x{{ cos  sin  + 2xwv (cos2   sin2 )
¡ ¢
+6 xvv sin2  + x{{ cos2  + 2xwv cos  sin 
12 (xv cos   x{ sin )  9 (xv sin  + x{ cos )  5x
¡ ¢
= 3 cos2   2 cos  sin  + 6 sin2  xvv
¡ ¢
+ 3 sin2  + 2 cos  sin  + 6 cos2  x{{
¡ ¢
+ 6 cos  sin   4(cos2   sin2 ) xv{
 (12 cos  + 9 sin ) xv + (12 sin   9 cos ) x{  5x=

65
Ecuaciones en derivadas parciales

Si buscamos que el coeciente que multiplica a xv{ sea 0, debe vericarse que

6 cos  sin   4(cos2   sin2 ) = 0>

o equivalentemente
4 tan2  + 6 tan   4 = 0>
de donde obtenemos que, considerando  en el primer cuadrante,
1
tan  = >
2
con lo que  
2 5 5
cos  = > sin  = >
5 5
quedando la ecuación original como
 
14 31 33 5 6 5
xvv + x{{  xv  x{  5x = 0>
5 5 5 5
o equivalentemente  
14xvv + 31x{{  33 5xv  6 5x{  25x = 0= (3.6)

La siguiente etapa consiste en la eliminación de los términos de xv y x{ , en dos pasos. En primer

lugar eliminaremos el término de xv introduciendo la variable dependiente

z = hv x>

y calculamos  para que el término que acompaña a zv sea cero. Para ello tenemos en cuenta
que x = hv z y derivamos

xv = hv z + hv zv >

x{ = hv z{ >
xvv =  2 hv z  2hv zv + hv zvv >
x{{ = hv z{{ >

y sustituimos en la ecuación (3.6) teniéndose

 
0 = 14xvv + 31x{{  33 5xv  6 5x{  25x = 0
= 14( 2 hv z  2hv zv + hv zvv ) + 31hv z{{
 
33 5(hv z + hv zv )  6 5hv z{  25hv z
³    ´
v 2
= h 14zvv + 31z{{  [28 + 33 5]zv  6 5z{ + [14 + 33 5  25]z >

de donde obtenemos la condición 

28 + 33 5 = 0>
de donde 
33 5
= >
28
66
 Ecuaciones en derivadas parciales

y teniendo en cuenta que hv 6= 0, la ecuación se simplica a

 6854
14zvv + 31z{{  6 5z{  z = 0= (3.7)
56

Procediendo del mismo modo con la variable {, introduciendo la variable dependiente

t = h{ z>

la ecuación (3.7) se reduce a

95737
14tvv + 31t{{  t = 0= (3.8)
868

Finalmente, introducimos la variables dependiente e independientes para reescalar la ecuación

(3.8) de la siguiente forma. En primer lugar introducimos la variable dependiente

95737
y= t>
868
y como

868
tvv = yvv >
95737
868
t{{ = y{{ >
95737

la ecuación (3.8) se reduce a

12152 26908
yvv + y{{  y = 0=
95737 95737

Finalemente, los cambios de variables independientes

 q
  = v@ 12152 >
q 95737
  = {@ 26908 >
95737

hacen que teniendo en cuenta que

95737
yvv = y  >
12152
95737
y{{ = y >
26908

nos quede la ecuación reducida

y  + y  y = 0=

67
Ecuaciones en derivadas parciales

3.3. Ecuación del calor. Método de separación de variables.

Partamos del problema 
 xw = 2 x|| > w A 0> |  (0> O)>
x(0> |) = i(|)> 0 ? | ? O>

x(w> 0) = x(w> O) = 0> w A 0>
que es la ecuación del calor en una varilla unidimensional de longitud O con temperatura inicial i(|).
La incógnita x(w> |) mide la temperatura en cada instante de tiempo y en cada punto de la barra.
Una manera de resolver el problema anterior es intentar reducirlo a un problema de ecuaciones
diferenciales ordinarias. Para ello suponemos que la solución puede expresarse de la forma

x(w> |) = W (w)\ (|)>

es decir, como el producto de dos funciones reales de variable real W (w) e \ (|). Derivando obtenemos

xw (w> |) = W 0 (w)\ (|)>

x|| (w> |) = W (w)\ 00 (|)=

Sustituyendo en la ecuación original tenemos

W 0 (w)\ (|) = 2 W (w)\ 00 (|)>

y suponiendo que las fuciones no se anulan rescribimos la ecuación como

W 0 (w) \ 00 (|)
= =
W (w)2 \ (|)
Un lado de la igualdad solo depende de w , mientras que el contrario lo hace solo respecto de |, por
lo que necesariamente ambos deben ser constantes, es decir
W 0 (w) \ 00 (|)
= = >
W (w)2 \ (|)
de donde obtenemos las ecuaciones diferenciales

W 0 + 2 W = 0>
\ 00 + \ = 0=

Por otra parte, las condiciones de contorno se escriben como

W (w)\ (0) = x(0> |) = 0>

W (w)\ (O) = x(O> |) = 0>

por lo que debe vericarse que \ (0) = \ (O) = 0. Si escribimos el problema para la función \
tenemos lo que se conoce como un problema de contorno
½ 00
\ + \ = 0>
\ (0) = \ (O) = 0=
Como sabemos, las solución general de la ecuación \ 00 +\ = 0 es de una de las siguientes formas

68
 Ecuaciones en derivadas parciales

Si  = 0, entonces \ (|) = f1 + f2 |, donde f1 y f2 son dos constantes arbitrarias.

 
|
Si  ? 0, la solución es \ (|) = f1 h + f2 h | , donde f1 y f2 son dos constantes arbitrarias.
 
Si  A 0, la solución es \ (|) = f1 cos( |) + f2 sin( |), donde f1 y f2 son dos constantes
arbitrarias.

El problema se presenta a lo hora de calcular las constantes anteriores. En el primer caso ten-
dríamos que
\ (0) = f1 = 0>
e
\ (O) = f1 + f2 O = 0>
de donde f1 = f2 = 0 y la solución sería nula. En el segundo caso, las condiciones de contorno se
escriben como
\ (0) = f1 + f2 = 0>
e  
O
\ (O) = f1 h + f2 hO
= 0>
que da lugar al sistema lineal ½
f1 + f = 0> 
 2
O
f1 h + f2 h O = 0>
y dado que el determinante de la matriz asociada
¯ ¯
¯ 1 1 ¯¯  
¯   = h O
 h O
6= 0>
¯ h O h O ¯

tenemos que la única solución posible es f1 = f2 = 0 y la solución sería nuevamente nula. Finalmente,
en el tercer caso
\ (0) = f1 = 0>
e  
\ (O) = f1 cos( O) + f2 sin( O) = 0>
de donde 
f2 sin( O) = 0=

Como las soluciones de la ecuación sin( O) = 0 son

q2  2
= , q  N= (3.9)
O2
Si denimos
q2  2
q = >
O2
tenemos que el problema de condiciones de contorno tiene soluciones no nulas de la forma
p ³ q ´
\q (|) = f sin( q |) = f sin |
O
69
Ecuaciones en derivadas parciales

para los valores de q dados en (3.9).

Para estos valores, la ecuación para la función W queda de la forma
q2  2 2
W0 +  W = 0>
O2
que para cada valor de q proporciona la solución
2 q2  2
Wq (w) = Fh O2
w
>

lo que da lugar a la solución ³ q ´ 2 q2 2

xq (w> |) = fq sin| h O2 w =
O
La linealidad de la ecuación nos lleva a plantear como posible solución
X
 ³ q ´ 2 q2 2
x(w> |) = fq sin | h O2 w >
q=1
O

y utilizando la condición inicial

X
 ³ q ´
x(0> |) = fq sin | = i(|)> (3.10)
q=1
O

lo que nos lleva a plantearnos si cualquier función i (|) puede desarrollarse como en (3.10). La solución
a esta cuestión será el desarrollo en serie de Fourier.

3.4. Series de Fourier

Consideremos una función real de variable real i(|) que sea 2O periódica, es decir, para todo |
se verica la expresión
i (|) = i (| + 2O)=
Por ejemplo, las funciones seno y coseno son 2 periódicas. Denimos los coecientes de Fourier
Z ³ q ´
1 O
dq = i (|) cos | g|> q = 0> 1> 2> ===
O O O
y Z
1 O ³ q ´
eq = i(|) sin | g|> q = 1> 2> ===
O O O
La serie
d0 X ³ ³ q ´ ³ q ´´

+ dq cos | + eq sin |
2 q=1
O O
se conoce como serie de Fourier asociado a i(|). Por ejemplo, consideremos la función i(|) tal que
½
0 vl {  [1> 0)>
i (|) =
1 vl {  [0> 1)>

70
 Ecuaciones en derivadas parciales

y es 2 periódica. Para dicha función tenemos que los coecientes de Fourier son
Z Z 1
1 1 1
d0 = i(|)g| = 1g| = >
2 1 0 2
y para q  1
Z 1 Z
1 1 1
dq = i(|) cos (q|) g| = cos (q|) g|
2 1 2 0
 ¸1
1 1 1
= sin (q|) = (sin (q)  sin (0)) = 0>
2 q 0 2q
Z 1 Z
1 1 1
eq = i(|) sin (q|) g| = sin (q|) g|
2 1 2 0
 ¸1
1 1 1
= cos (q|) = (cos (q)  cos (0))
2 q 0 2q
½
0 vl q hv sdu>
= 1
q
vl q hv lpsdu>
por lo que la serie de Fourier asociada a i (|) será
1 X

1
+ sin ((2q  1)|) =
4 q=1 (2q  1)
La cuestión radica en saber si la igualdad
1 X

1
i(|) = + sin ((2q  1)|) (3.11)
4 q=1 (2q  1)

se verica, es decir, si i(|) puede aproximarse en forma de la serie anteriormente calculada.

La respuesta a esta pregunta es armativa para una familia notable de funciones, que precisa de
unas deniciones previas para su compresión. Recordemos que una función es continua en |0 si
l´m i(|) = i(|0 )
||0

y i(|) es continua si es continua en todos sus puntos. Si i(|) no es continua en |0 pueden existir sus
límites laterales
i(|0 ) = ||
l´m i(|)
0
|?|0
y
i(|0+ ) = ||
l´m i(|)
0
|A|0

y la discontinuidad se tipo salto nito si

i (|0 )  i (|0+ )
es nito. Finalmente, i(|) se dice continua a trozos en [O> O] si es continua salvo en una cantidad
nita de puntos y las discontinuidades son de tipo salto nito. Se verica entonces el siguiente
resultado.

71
Ecuaciones en derivadas parciales

Teorema 31 Sea i : R  R una función 2O periódica de manera que i y su derivada i 0 son de

continuas a trozos. Entonces la serie de Fourier de i dada por

d0 X ³ ³ q ´ ³ q ´´

+ dq cos | + eq sin |
2 q=1
O O

converge a i(|) en los puntos de continuidad de i, a 12 [i (|0 )i (|0+ )] en los puntos de discontinuidad
y a 12 [i(O )  i (O+ )] cuando | = ±O.

El teorema anterior garantiza que la igualdad a la que hacíamos alusión en (3.11) se verica para
|  (1> 1) \ {0} es igual a 1@2 para ±1 y 0.

3.4.1. Funciones pares e impares

La series de Fourier tienen expresiones particulares cuando las funciones son pares o impares.
Recordemos que i es par si se cumple que

i (|) = i (|)

para todo |  R. Se dice que la función es impar si por el contrario la relación que se cumple es

i(|) = i(|)=

Veamos cómo se obtiene la serie de Fourier para cada una de estas funciones.

Si i es par, se verica que

Z O
1
d0 = i(|)g|
O O
Z Z
1 O 1 O
= {{=|} i({)g{ + i(|)g|
O 0 O 0
Z
2 O
= i(|)g|>
O 0

Z ³ q ´
1 O
dq = i(|) cos | g|
O O O
Z ³ q ´ Z ³ q ´
1 0 1 O
= i(|) cos | g| + i(|) cos | g|
O O O O 0 O
Z ³ q ´ Z ³ q ´
1 O 1 O
= {{=|} i({) cos { g{ + i(|) cos | g|
O 0 O O 0 O
Z ³ q ´
2 O
= i(|) cos | g|>
O 0 O

72
 Ecuaciones en derivadas parciales

mientras que
Z ³ q ´
1 O
eq = i(|) sin | g|
O O O
Z ³ q ´ Z ³ q ´
1 0 1 O
= i(|) sin | g| + i(|) sin | g|
O O O O 0 O
Z ³ q ´ Z ³ q ´
1 O 1 O
= {{=|}  i ({) sin { g{ + i(|) sin | g|
O 0 O O 0 O
= 0>
por lo que para una función par tendremos que
d0 X
 ³ q ´
i (|) = + dq cos | =
2 q=1
O

Si i es impar
Z O
1
d0 = i (|)g|
O O
Z Z
1 O 1 O
= {{=|}  i ({)g{ + i(|)g|
O 0 O 0
= 0>
Z ³ q ´
1 O
dq = i (|) cos | g|
O O O
Z ³ q ´ Z ³ q ´
1 0 1 O
= i (|) cos | g| + i (|) cos | g|
O O O O 0 O
Z ³ q ´ Z ³ q ´
1 O 1 O
= {{=|}  i ({) cos { g{ + i (|) cos | g|
O 0 O O 0 O
= 0>
mientras que
Z ³ q ´
1 O
eq = i(|) sin | g|
O O O
Z ³ q ´ Z ³ q ´
1 0 1 O
= i(|) sin | g| + i(|) sin | g|
O O O O 0 O
Z ³ q ´ Z ³ q ´
1 O 1 O
= {{=|}  i ({) sin { g{ + i(|) sin | g|
O 0 O O 0 O
Z ³ q ´
2 O
= i(|) sin | g|>
O 0 O
por lo que para una función par tendremos que
X
 ³ q ´
i(|) = eq sin | =
q=1
O

73
Ecuaciones en derivadas parciales

3.4.2. Aplicación a ecuaciones diferenciales

Supongamos una ecuación diferencial lineal con coecientes constantes con función de transfer-
encia W (}). Supongamos que el sistema es asintóticamente estable, de tal manera que si i (w) =
D sin($w + !) es la entrada del sistema, se verica que su salida para tiempos sucientemente grandes
viene dada por
{(w) = D|W (l$)| sin($w + ! + arg W (l$))=
Supongamos ahora que la señal es periódica de periodo 2O. Dicha función puede expresarse en su
serie de Fourier
d0 X ³ ³ q ´ ³ q ´´

i(w) = + dq cos w + eq sin w
2 q=1
O O
d0 X

= + (dq cos (q$w) + eq sin (q$w)) >
2 q=1

donde $ = @O. Por otra parte, si escribimos (eq > dq ) en coordenadas polares mediante la expresión
½
eq = Dq cos !q >
dq = Dq sin !q >
podemos reescribir la expresión anterior como

d0 X

i (w) = + (dq cos (q$w) + eq sin (q$w))
2 q=1

d0 X

= + (Dq sin !q cos (q$w) + Dq cos !q sin (q$w))
2 q=1

d0 X

= + Dq sin(q$w + !q )=
2 q=1

Si ahora i (w) es la entrada al sistema anterior, entonces su salida para tiempos sucientemente
grandes vendrá dada por

d0 X
{(w) = W (0) + Dq |W (lq$)| sin(q$w + !q + arg W (lq$))=
2 q=1

Dado que para casos prácticos l´m{ |W (l{)| = 0, por lo que l´mq |W (lq$)| = 0, como con-
secuencia la series de Fourier de {(w) converge a cero más rápidamente que la serie de Fourier de la
señal inicial i(w).

3.4.3. Aplicación a la ecuación del calor

Si retomamos la ecuación del calor

 xw = 2 x|| > w A 0> |  (0> O)>
x(0> |) = i(|)> 0 ? | ? O>

x(w> 0) = x(w> O) = 0> w A 0>

74
 Ecuaciones en derivadas parciales

la teoría de Fourier nos dice que su solución formal es

X
 ³ q ´ 2 q2 2
x(w> |) = fq sin | h O2 w >
q=1
O

donde
X
 ³ q ´
x(0> |) = fq sin | = i(|)=
q=1
O

Ahora bien, si pensamos en i (|) como una función impar 2O periódica tendremos que
Z O ³ q ´
2
fq = i(|) sin | g|>
O 0 O

y por tanto dicha solución formal será

 
X Z O ³ q ´ ¸ ³ q ´ 2 q2 2
2
x(w> |) = i({) sin { g{ sin | h O2 w = (3.12)
q=1
O 0 O O

Hablamos de solución formal ya que no podemos asegurar que la expresión dada en (3.12) sea
una solución. Por una parte, aunque la linealidad garantiza que una combinación lineal nita de
soluciones sea solución, nuestra combinación lineal es innita, por lo que tendríamos que comprobar
que efectivamente es solución, es decir que es dos veces derivable y cumple la ecuación del calor. En
general comprobar que las soluciones formales son soluciones es un problema bastante dícil, que en
2 q2  2
el caso de la ecuación del calor se garantiza por el término h O2 w . Cualitativamente hablamos de
un proceso de difusión, en el que la barra va disipando calor convergiendo muy rápidamente a 0 y
suavizando cualquier irregularidad que la función i(|) pudiera presentar.
Por ejemplo, si nuestra barra es de aluminio (con un coeciente 2 = 0>86) y mide 10 cm., y la
tempreartura inicial en la barra es de 100 r C, la evolución de la tempreatura con el tiempo vendrá
determinada por la expresión

X  Z ³ q ´ ¸ ³ q ´ 0>86q2 2
2 10
x(w> |) = 100 sin { g{ sin | h 100 w >
q=1
10 0 10 10

y como
Z 10 ³ q ´ h q ³ q ´i10
100 sin { g{ = 100 cos {
0 10 10 10 0
= 10q (cos(q)  cos 0)
½
0 vl q hv sdu>
=
20q vl q hv lpsdu>

tenemos ¶ μ
X

(2q  1) 0>86(2q31)2  2
x(w> |) = 4(2q  1) sin | h 100
w
=
q=1
10

75
Ecuaciones en derivadas parciales

Hemos de destacar que en el desarrollo anterior tienen una gran importancia que las condiciones
de contorno sean nulas. En general esto no tiene porqué ser así, es decir la ecuación del calor sería

 xw = 2 x|| > w A 0> |  (0> O)>
x(0> |) = i (|)> 0 ? | ? O>

x(w> 0) = j1 (w); x(w> O) = j2 (w)> w A 0>

donde j1 (w) y j2 (w) son las funciones que miden la temperatura de la varilla. Un cambio de variable
en la variable dependiente permite llevar condiciones de contorno no nulas a un problema que sí las
tenga mediante la nueva función
|
y(w> |) = x(w> |)  j1 (w)  (j2 (w)  j1 (w))=
O
Es fácil ver que ahora
y(w> 0) = x(w> 0)  j1 (w) = j1 (w)  j1 (w) = 0>
mientras que

y(w> O) = x(w> O)  j1 (w)  (j2 (w)  j1 (w))

= j2 (w)  j1 (w)  (j2 (w)  j1 (w)) = 0>

por lo que tendremos condiciones de contorno nulas. La ecuación original se reescribe

| 0
0 = xw  2 x|| = yw + j10 (w) + (j2 (w)  j10 (w))  2 y|| >
O
por lo que tendríamos el problema
 |
 yw  2 y|| = j10 (w)  O (j20 (w)  j10 (w))> w A 0> |  (0> O)>
y(0> |) = i (|)  j1 (0)  O| (j2 (0)  j1 (0))> 0 ? | ? O>

y(w> 0) = y(w> O) = 0> w A 0=

Si la temperatura en los extremos de la varilla permanece constante, esto es, j1 (w) = W1 y j2 (w) = W2 ,
el problema anterior se reduce a

 yw = 2 y|| > w A 0> |  (0> O)>
y(0> |) = i(|)  W1  O| (W2  W1 )> 0 ? | ? O>

y(w> 0) = y(w> O) = 0> w A 0=

3.5. Ecuación de ondas

Consideremos el problema hiperbólico


 xww = f2 x|| > w A 0> |  (0> O)>

x(0> |) = i(|)> 0 ? | ? O>

 x (0> |) = j(|)> 0 ? | ? O>
 w
x(w> 0) = x(w> O) = 0> w A 0>

que modela la vibración mecánica de una cuerda, donde x(w> |) mide el desplazamiento respecto de
la horizontal en cada instante de tiempo y en cada posición de la cuerda.

76
 Ecuaciones en derivadas parciales

Con el método de separación de variable planteamos soluciones de la forma x(w> |) = W (w)\ (|),
que nos da lugar a los problemas de ecuaciones diferencales
W 00 + f2 W = 0>
y el problema de contorno ½
\ 00 + \ = 0>
\ (0) = \ (O) = 0>
¡ q ¢2
que como sabemos tiene una familia de soluciones no nulas para los valores q = O
, q  N, dadas
por ³ q ´
\q (|) = sin | =
O
Para dichos valores q tenemos las ecuaciones
W 00 + q f2 W = 0>
que tendrá por solución general
³ qf ´ ³ qf ´
Wq (w) = dq cos w + eq sin w >
O O
pudiendo entonces plantear la solución formal
X

x(w> |) = Wq (w)\q (|)
q=1
X h ³ qf ´ ³ qf ´i ³ q ´
= dq cos w + eq sin w sin | =
q=1
O O O
De la condición inicial
X
 ³ q ´
x(0> |) = i (|) = dq sin | =
q=1
O
Derivando formalmente x(w> |) respecto a w obtenemos
X h ³ qf ´ ³ qf ´i ³ q ´
qf qf
xw (w> |) = dq sin w + eq cos w sin | >
q=1
O O O O O
que aplicada a la otra condición inicial
X

qf ³ q ´
xw (0> |) = j(|) = eq sin | =
q=1
O O

Considerando de nuevo i y j como funciones impares 2O periódicas, concluimos que

Z ³ q ´
2 O
dq = i({) sin { g{
O 0 O
y Z O
2 ³ q ´
eq = j({) sin { g{
qf 0 O
para todo q  1.

77
Ecuaciones en derivadas parciales

3.6. Ecuación de Laplace

Al contrario que las ecuaciones del calor y ondas, la ecuación de Laplace es estática y representa
una condición de equilibrio en, por ejemplo, la temperatura de una sección plana. La ecuación del
calor en dos dimensiones espaciales tiene la forma

xw = 2 (x{{ + x|| )

y si suponemos un equilibrio de esta función invariante respecto al tiempo, obtendríamos

x{{ + x|| = 0> (3.13)

que es la ecuación de Laplace. Estas ecuaciones se plantean sólo con condiciones de contorno sobre
la frontera del recinto, que para los calculos prácticos tiene que tener alguna regularidad. Estas
condiciones de contorno son en general de dos tipos. Si U es el recinto donde se verica la ecuación
(3.13), podemos suponer conocido x({> |) para todo ({> |) en la frontera de U en cuyo caso estaríamos
hablando de una condición tipo Dirichlet. Si por el contrario suponemos que el vector normal a U
Cx
en la frontera Cq es conocido, se trata de una condición de Neumann. En cualquiera de los casos, la
geometría del conjunto U es muy importante y sólo podemos calcular soluciones cuando ésta cumple
adecuadas condiciones de regularidad.
Supongamos por ejemplo que U es el rectángulo [0> d] × [0> e] y tenemos el problema


 x{{ + x|| = 0> ({> |)  (0> d) × (0> e)>

x({> 0) = x({> e) = 0> 0  {  d>

 x(0> |) = 0> 0  |  e>

x(d> |) = i(|)> 0  |  e>
que es de tipo Dirichlet.
Si planteamos una solución de la forma x({> |) = [({)\ (|), construimos las ecuaciones diferen-
ciales

[ 00  [ = 0>
\ 00 + \ = 0=

La segunda ecuaición da lugar al problema de contorno

½ 00
\ + \ = 0>
\ (0) = \ (e) = 0>
que como sabemos tiene por soluciones no nulas las funciones
³ q ´
\q (|) = sin |
e
¡ ¢2
para los valores q = q
e
, q  N. La primera ecuación se reescribe entonces

[ 00  q [ = 0>

que tiene por solución general

q q
[q ({) = F1 h e
{
+ F2 h e
{
=

78
 Ecuaciones en derivadas parciales

De la condición x(0> |) = 0 obtenemos que [(0) = 0, por lo que

[(0) = 0 = F1 + F2 >

por lo que F2 = F1 = fq @2, por lo que para todo natural q obtenemos la solución

h
q
q
e
{
 h e { ³ q ´
xq ({> |) = fq sin |
³2q ´ ³ qe ´
= fq sinh { sin | =
e e
Planteamos entonces la solución formal
X
 ³ q ´ ³ q ´
x({> |) = fq sinh { sin | =
q=1
e e

Utilizando la condición de contorno que nos queda

x(d> |) = i (|)

tenemos que
X
 ³ qd ´ ³ q ´
i (|) = fq sinh sin |
q=1
e e
y considerando i como 2e periódica e impar, tenemos que
³ qd ´ 2 Z e ³ q ´
fq sinh = i(|) sin | g|=
e e 0 e

3.7. Ejercicios
1. Encontrar las soluciones de los siguientes problemas de contorno:

a) | 00 + | = 0> |(0) = 0> | 0 (O) = 0=

b) | 00 + | = 0> | 0 (0) = 0> | 0 (O) = 0=
c) | 00 + | = 0> | 0 (0) = 0> |(O) = 0=
d) | 00 + | = 0> |(0) = 0> |()  | 0 () = 0=
e) | 00 + | = 0> |(0)  | 0 (0) = 0> |(1) = 0=
f ) | 00 + | = 0> |(0)  | 0 (0) = 0> |()  | 0 () = 0=

2. Para qué valores de  tienen soluciones no triviales los siguientes problemas de contorno:

a) | 00  2| 0 + (1 + )| = 0> |(0) = 0> |(1) = 0=

b) | 00 + | = 0> |(0) = |(2)> | 0 (0) = | 0 (2)=

3. Clasicar las siguientes EDP y encontrar su forma canónica:

79
Ecuaciones en derivadas parciales

a) 3x{{ + 4x||  x = 0=
b) 4x{{ + x{| + 4x|| + x = 0=
c) x{{ + x|| + 3x{  4x| + 25x = 0=
d) x{{  3x|| + 2x{  x| + x = 0=
e) x{{  2x{| + x|| + 3x = 0=

4. Encontrar los desarrollos en serie de Fourier de las siguientes funciones periódicas (se da su
valor en el intervalo [o> o] con 2o el periodo).
½
1 {  [1> 0)>
a) i({) =
1 {  [0> 1]=
½
{ {  [2> 0)>
b) i({) =
0 {  [0> 2]=
c) i({) = {> {  [1> 1]=
½
{ {  [1> 0)>
d) i({) =
{ {  [0> 1]=

 1 {  [2> 0)>
e) i({) = 0 {  [0> 1)>

1 {  [1> 2]=
½
0 {  [2> 1)>
f ) i({) =
1 {  [1> 2]=
½
0 {  [O> 0)>
g) i({) =
h{ {  [0> O]=
½ {
h {  [O> 0)>
h) i({) = {
h {  [0> O]=

5. Los extremos de una barra de aluminio (2 = 0>86) de longitud 10 metros se mantienen a
temperatura de 0r F. Encontrar la expresión de la temperatura de la barra para las siguientes
condiciones iniciales

a) x(0> |) = 70, 0  |  10.

b) x(0> |) = 70 cos |, 0  |  10.
½
10| |  [0> 5)>
c) x(0> |) =
10(10  |) |  [5> 10]=
½
0 |  [0> 3)>
d) x(0> |) =
65 |  [3> 10]=

6. Los extremos de una barra de cobre (2 = 1>14) de longitud 2 metros se mantienen a tem-
peratura de 0r F. Encontrar la expresión de la temperatura de la barra para las siguientes
condiciones iniciales

80
 Ecuaciones en derivadas parciales

a) x(0> |) = 65 cos2 (|), 0  |  2.

b) x(0> |) = 70 sin |, 0  |  2.
½
60{ {  [0> 1)>
c) x(0> |) =
60(2  {) {  [1> 2]=
½
0 {  [0> 1)>
d) x(0> |) =
75 {  [1> 2]=

7. Un estado de equilibrio para la ecuación del calor xw = 2 x{{ es aquella que no varía con el
tiempo. Demostrar

a) Todos los equilibrios de la ecuación del calor son de la forma x(|) = D + E|=
b) Encontrar los estados de equilibrio de la ecuación del calor que cumplen x(w> 0) = W1 y
x(w> O) = W2 .
c) Resolver el problema 
 xw = 2 x|| > w A 0> |  (0> 1)>
x(0> |) = 75> 0 ? | ? 1>

x(w> 0) = 20> x(w> O) = 60> w A 0=
Ayuda: Calcularla como x(w> |) = y(|) + z(w> |) donde y(|) es el estado de equilibrio
asociado a las condiciones de contorno x(w> 0) = 20> x(w> O) = 60, y z(w> |) es la solución
del problema con condiciones de contorno nulas.

8. Los extremos de una barra de cobre (2 = 1>14) de longitud 10 centímetros se mantienen a
temperatura de 0r F mientras que el centro de la barra es mantenido a 100r F mediante una
fuente de calor externa. Encontrar la temperatura de la barra con el tiempo para la condición
inicial ½
50 {  [0> 5)>
x(0> |) =
100 {  [5> 10]=
Ayuda: Descomponer el problema en dos problemas de contorno con uno de los estremos en
la mitad de la barra.
9. Resolver el problema 
 xw = x|| + x> w A 0> |  (0> 1)>
x(0> |) = cos |> 0 ? | ? 1>

x(w> 0) = 0> x(w> O) = 0> w A 0=
10. Resolver los siguientes problemas


 xww = f2 x|| > w A 0> |  (0> 2)>

x(0> |) = cos |  1> 0 ? | ? 2>
a)

 xw (0> |) = 0> 0 ? | ? 2>

x(w> 0) = 0> x(w> 2) = 0> w A 0=


 xww = f2 x|| > w A 0> |  (0> 1)>

x(0> |) = 0> 0 ? | ? 1>
b)

 xw (0> |) = 1> 0 ? | ? 1>

x(w> 0) = 0> x(w> 1) = 0> w A 0=

81
Ecuaciones en derivadas parciales


 xww = f2 x|| > w A 0> |  (0> 3)> 

  { {  [0> 1)>
x(0> |) = i (|)> 0 ? | ? 3>
c) donde i(|) = 1 {  [1> 2)>

 xw (0> |) = 0> 0 ? | ? 3> 
 2  { {  [2> 3]=
x(w> 0) = 0> x(w> 3) = 0> w A 0=

11. Una cuerda de 10 metros jada en sus extremos se levanta por el medio hasta la distancia de
un metro y se suelta. Describe su movimiento suponiendo que f2 = 1.

12. Demuestra que el cambio de coordenadas

½
 = | + fw>
 = |  fw>

transforma la ecuación de ondas xww = f2 x|| en la ecuación x  = 0. Concluir que la solución

general de la ecuación será de la forma

x(w> |) = I (|  fw) + J(| + fw)

para funciones apropiadas I y J.

13. Demostrar que la solución del problema



 xww = f2 x|| > w A 0> |  (0> O)>

x(0> |) = i(|)> 0 ? | ? O>

 x (0> |) = j(|)> 0 ? | ? O>
 w
x(w> 0) = 0> x(w> 3) = 0> w A 0>

es de la forma Z |+fw
1 1
x(w> |) = (I (|  fw) + I (| + fw)) + j({)g{>
2 2f |fw

donde I es la extensión 2o periódica e impar de i .

14. Resolver el problema 


 xww = f2 x|| + x> w A 0> |  (0> O)>

x(0> |) = i(|)> 0 ? | ? O>
 xw (0> |) = 0> 0 ? | ? O>


x(w> 0) = 0> x(w> 3) = 0> w A 0>

15. Resolver los problemas



 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>

x({> 0) = 0> 0 ? { ? d>
a)

 x({> e) = j({)> 0 ? { ? d>

x(0> |) = x(d> |) = 0> 0 ? | ? e=


 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>

x({> 0) = x({> e) = 0> 0 ? { ? d>
b)

 x(0> |) = j(|)> 0 ? | ? e>

x(d> |) = 0> 0 ? | ? e=

82
 Ecuaciones en derivadas parciales



 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>


 x({> 0) = i({)> 0 ? { ? d>
c) x({> e) = 0> 0 ? { ? d>



 x(0> |) = j(|)> 0 ? | ? e>

x(d> |) = 0> 0 ? | ? e=

16. Resolver los problemas de Neuman



 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>

x| ({> 0) = x| ({> e) = 0> 0 ? { ? d>
a)

 x{ (0> |) = i(|)> 0 ? | ? e>

x{ (d> |) = 0> 0 ? | ? e=


 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>

x{ (0> |) = x{ (e> |) = 0> 0 ? | ? e>
b)

 x ({> 0) = i ({)> 0 ? { ? d>
 {
x{ ({> e) = 0> 0 ? { ? d=


 x{ + x|| = 0> ({> |)  (0> d) × (0> e)>


 x{ (0> |) = 1> 0 ? | ? e>
c) x{ (e> |) = 0> 0 ? | ? e>



 x ({> 0) = 1> 0 ? { ? d>
 {
x{ ({> e) = 0> 0 ? { ? d=

17. Resolver el problema 


 x{ + x|| = x> ({> |)  (0> 1)2 >

x({> 0) = x({> 1) = 0> 0 ? { ? 1>

 x(0> |) = i(|)> 0 ? | ? 1>

x(1> |) = 0> 0 ? | ? 1=

83
Ecuaciones en derivadas parciales

84