Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Definición 4.2 El orden de la EDP está indicado por la derivada de mayor orden dentro de la
ecuación.
=
1 = 1 1
1··· | {z } | {z }
1
⎧
⎨ ( ) Para problemas espaciales
= ⇒ (1 2 3 ) =
⎩
( ) Para problemas espacio-temporales
1
2 Capítulo 4. Ecuaciones en Derivadas Parciales
Ejemplo 4.1 En la siguiente tabla se presentan algunas EDP junto con su correspondiente orden:
Las EDP se utilizan, por ejemplo, para modelar procesos que además de tener una variación
temporal, tienen una variación espacial tales como la variación del calor con el tiempo en un sólido,
la distribución de poblaciones en un determinado habitat con el tiempo o la propagación del sonido
de las cuerdas de una guitarra.
En general las EDP son bastante difíciles de resolver de forma analítica, de hecho, no existen
teoremas de existencia y unicidad tan “sencillos” como los estudiados en los problemas de valor
inicial asociados a las EDO, nosotros trataremos de resolver las EDP correspondientes a los problemas
clásicos.
Observación 4.3 Generalmente se exigirá que sea continua o diferenciable en Ω, la frontera
del conjunto Ω, que tenga todas las derivadas parciales continuas en Ω y que se cumpla la ecuación
en el interior de Ω.
= +
Solución: Como la EDP es de primer orden y sólo incluye a la primera derivada respecto de , una
de las variables, buscaremos una función que sea de clase C 1 , integrando respecto de esa variable
°c
SPH
4.1. Introducción a las ecuaciones en derivadas parciales 3
Z Z
2
= = ( + ) + + ()
= 2
°c
SPH
Ejemplo 4.3 Resuelve la siguiente EDP de segundo orden
= 0
Solución: Buscamos una función que sea de clase C 2 . En primer lugar Integramos la ecuación
respecto a
= 0
R R⇓
= 0
⇓
= 0
()
ya que cualquier función que sólo dependa de es constante respecto a .
Ahora integramos respecto de la otra variable
= 0
()
R ⇓R
= 0 ()
⇓
= 1 () + 2
()
donde 1 () es una primitiva cualquiera de 0 (). Por tanto la solución de la EDP viene dada
por cualquier función de la forma
( ) = 1 () + 2
()
con 1 y 2 funciones arbirtrarias de una variable y que sean derivables dos veces. Por ejemplo,
serían solución de esta EDP las siguientes funciones:
( ) = +
( ) = + sen
()
( ) = 2 +
+ =
0
Solución: Si nos acordamos de la teoría de variable compleja vemos que las soluciones de esta
EDP son funciones armónicas, es decir, son la parte real o imaginaria de funciones holomorfas () =
( + )
( ) = Re (
())
( ) = Im (
())
Por ejemplo, tendremos como posibles soluciones las siguientes funciones:
( ) = 2 −
2
( ) =
2
( ) = cos
()
Cambio de variable
Mediante un cambio de variable, algunas EDP se pueden transformar en otras que se pueden
integrar de forma directa, como en el siguiente ejemplo.
− = 0
= + = +
⎬
⎫
= + = −
⎭
o bien
= 0
( ) = ( +
)
de donde se deduce que la solución será cualquier función derivable de una variable pero evaluada en
+ , como por ejemplo
( ) = sen ( +
)
( ) = ( +
2
)
( + ) = + =
Método de separación de variables
En dos dimensiones y haciendo cierta suposición sobre sus soluciones es posible resolver algunas
clases de EDP. Este procedimiiento es el llamado método de separación de variables donde se
supone que la función buscada ( ) es de la forma
( ) = ()
()
( ) = 0 ()
()
( ) = () 0
()
Sustituyendo estas expresiones en la EDP, en algunas ocasiones es posible reducir una EDP a un
sistema de EDO con dos ecuaciones que puede resolverse con los métodos habituales.
Ejemplo 4.6 Resuelve la siguiente EDP de segundo orden por el método de separación de
variables
= 4
( ) = ()
()
por tanto
Igualando cada fracción a la constante de separación obtenemos dos ecuaciones diferenciales ordi-
narias
00 ()
= ⇒ 00 () − () = 0
()
40 ()
= ⇒ 40 () − () = 0
()
1. Caso = 0
Si = 0, las ecuaciones resultantes son
() =⎫1 + 2
⎬
() = 3
⎭
1 =
1 3
1 =
2 3
2. Caso 0
Si es positivo entonces podemos suponer que es de la forma
= 2
0
La función ( )
será
¡ 2¢
( ) = () () = 1 + 2 − 3 4
= 2 + 4
+ 2 −+
2 2
4
2 =
1 3
2 =
2 3
3. Caso 0
Si ahora suponemos que es negativo entonces podemos poner
= −2
0
Como en el caso anterior, la primera de estas ecuaciones es de segundo orden, en este caso, como
el polinomio característico tiene raíces complejas ± su solución general es de la forma
4
sen ()
3 =
1 3
3 =
2 3
En estos ejemplos se ha visto que de forma similar a lo que ocurre con las ecuaciones diferenciales
ordinarias (EDO) para las que la solución general implicaba la existencia de constantes arbitrarias,
en este caso las soluciones de una EDP suele implicar a funciones arbitrarias. En general al resolver
una EDP podemos obtener una cantidad infinita de soluciones que dependerán de esas funciones
arbitrarias. Para obtener una solución única para problemas de EDP y tal y como ocurre con las
EDO, estos problemas deben llevar asociadas unas condiciones o restricciones que pueden ser de dos
tipos: condiciones iniciales y/o condiciones de contorno. Veamos esta diferencia con un ejemplo.
Ejemplo 4.7 La siguiente EDP modela la variación de temperatura con el tiempo en una varilla de
longitud 1. Si ( ) es la temperatura de la varilla en el instante en la posición de la
varilla, entonces, podemos plantear el problema como
⎫
= 0 ∈ (0 ⎪ 1)
⎪
⎬
(0 ) = () ∈ [0
1]
⎪
( 0) = ( 1) = 0 ≥ ⎭
0
4.2. Clasificación de
EDP
Las EDP, al igual que las EDO, se pueden clasificar en lineales y no lineales.
Definición 4.4 Una EDP es lineal, sí y sólo si, , la variable dependiente y sus correspondientes
derivadas parciales aparecen sólo en primera potencia.
≡ (1
)
≡ (1
)
≡ (1
)
son funciones de las variables independientes y donde se supone además que = .
Si la función es idénticamente nula
≡0
la ecuación lineal se dice homogénea, siendo no homogénea en caso contrario.
Si las funciones , , y son constantes, la EDP 4.2 sería lineal con coeficientes
constantes.
+ =
0
− =
siendo la primera de ellas homogénea y la segunda no homogénea.
4.2. Clasificación de EDP 9
Teorema 4.1 Si 1 son soluciones de una EDP lineal homogénea, entonces cualquier
combi- nación lineal de ellas de la forma
= 1 1 + · · · +
La solución general de una EDP lineal de orden es una familia de funciones que depende de
funciones arbitrarias.
∆ = 2 −
4
Elíptica ⇔ 2 − 4
0
Hiperbólica ⇔ 2 − 4
0
Parabólica ⇔ 2 − 4 =
0
La clasificación de las EDP de segundo orden lineales está basada en la posibilidad de reducir
la ecuación general, mediante cambios de variable tanto en las variables dependientes como en las
independientes, a una ecuación del tipo siguiente
− = ( )
(4.6)
+ = ( )
(4.7)
donde es una constante que puede tomar los valores −1, 0 o 1 y ( ) es una función
cualquiera en las nuevas variables ( ).
4.2. Clasificación de EDP 1
1
Paso a la forma canónica (*)
En esta sección veremos como transformar una EDP lineal de segundo orden de tipo genereal a
una de las formas anteriores (esto no es posible, en general, para más de dos variables). Veremos el
proceso con un ejemplo.
°c
SPH
12 Capítulo 4. Ecuaciones en Derivadas Parciales
=3 ⎫ ⎬
= −2 2
⇒ 2 − 4 = (−4) − 4 · (3) · (6) = 16 − 72 0
=6 ⎭
µ ¶ µ ¶µ ¶ = cos + sen
cos sen
= ⇒
− sen cos
= − sen + cos
y se elegirá el valor para que en las nuevas variables ( ) no aparezca el término
. Utilizando la regla de la cadena y teniendo en cuenta que ≡ ( ( ) ( )),
tendremos
= +
= +
siendo
⎧
⎨ = cos
⎩
= sen
⎧
⎨ = − sen
⎩
= cos
por tanto
= cos − sen
= sen + cos
°c
SPH
4.2. Clasificación de EDP 11
11
y para las segundas derivadas
= ( cos − sen ) cos − ( cos − sen ) sen
¡ ¢ ¡
= + cos − +
¢
sen
= ( sen + cos ) cos − ( sen + cos ) sen
¡ ¢
= sen cos + cos2 − sen2 − sen cos
¡ ¢ ¡
= + sen + +
¢
cos
= ( sen + cos ) sen + ( sen + cos ) cos
¡ ¢
= 3 cos2 − 2 sen cos + sen2
¡ ¡ ¢ ¢
−4 sen cos + cos2 − sen2 − sen cos
¡ ¢
+6 sen2 + 2 sen cos + cos2
−12 ( cos − sen ) − 9 ( sen + cos ) − 5
¡ ¢
= 3 cos2 − 4 sen cos + 6 sen2
¡ ¢
+ 6 sen cos − 4 cos2 + 4 sen2
¡ ¢
3 sen2 + 6 cos2 + 4 sen cos
− (12 cos + 9 sen ) + (12 sen − 9 cos ) − 5
Como queremos que el término desaparezca de esta ecuación tendremos que elegir tal
que el coeficiente asociado a esta derivada debe ser cero
dividiendo por cos2 (para ello hay que suponer que cos2 = 0):
6 tan − 4 + 4 tan2 = 0
que es una ecuación de segundo grado en la variable tan y cuyas soluciones son
⎧ 4 1
⎪ =
−6 ± 10 ⎨ 8 2
tan = =
8 ⎪
⎩ 16
− = −2
8
Cualquiera de las dos soluciones sería adecuada para hacer el cambio, pero tomaremos la positiva
por comodidad. Para encontrar el valor de sen y cos utilizaremos las relaciones trigonométri-
cas
tan = sen = 1 ⇒ cos = 2 sen
cos 2
y
1
sen2 + cos2 = 1 ⇒ sen2 + 4 sen2 = 1 ⇒ sen2 =
5
Elegiremos en el primer cuadrante para que las razones trigonométricas sen y cos
sean positivas (aunque también sería válida la elección del tercer cuadrante), por tanto
√
5
sen =
5
√
2 5
cos =
5
De este modo para estos valores, podemos obtener todos los coeficientes en la nueva ecuación:
à √ !2 Ã√ !à √ à √ !2
3 cos2 − 4 sen cos + 6 sen2 = 3
2 5 ! 5 5
+6
5
=2
−4 2
5 5 5 5
Ã√ !à √ ! à √ !2 à √ !2
2 25 5 5 5
6 sen cos − 4 cos + 4 sen = 6 2 −4 2 +4 =0
5 5 5 5
à √ !2 à √ !2 Ã√ !à √ !
2 2 5 2 5 5 2 5
3 sen + 6 cos + 4 sen cos = 3 +6 +4 =7
5 5 5 5
à √ ! Ã√ !
2 5 5 33 √
12 cos + 9 sen = 12 +9 = 5
5 5 5
Ã√ ! à √ !
5 2 5 6√
12 sen − 9 cos = 12 −9 =− 5
5 5
Y la ecuación será 5
6√
33 √
2 + 7 − 5 − 5 − 5 = 0
5
o multiplicando por 5 5
√ √
10 + 35 −
33 56 − 5 − 25 = 0
Una vez eliminado el término , el siguiente paso es eliminar los términos correspondientes a
las derivadas primeras. En ambos casos se hace el mismo tipo de cambio en la variable
dependiente,
por ejemplo, supongamos que queremos eliminar el término correspondiente a haremos
el cambio
=
donde es un parámetro que se elegirá para que el término correspondiente sea 0. Con este
cambio las derivadas serán
= + ⇒ = + 2
+ 2
¡ ¢ ´
− 33
10 + 2 + 2 + 35 5 − 25 =
5 ( + ) − 0
6
³ √ √
√
√ 33 5
20 − 33 5 = 0 ⇒ =
20
tendremos
³ √ ´ Ã √ !2 Ã √ !
33 5 √ 33 5 1289
10 2 − 33 5 − 25 = 10 − 33 5 − 25 = −
20 20 8
y la edp será
√ 1289
10 + 35 − 5 = 0
6 − 8
Para eliminar el término correspondiente a haremos un cambio similar:
=
y de nuevo es un parámetro que debemos elegir para que el término sea 0. Con este
cambio las correspondientes derivadas serán
= ⇒ =
9095
10 + 35 − =0
56
Si introducimos ahora el cambio
⎧ 9095
⇒ = 9095
⎨ = 56 56
9095
= ⇒
56 9095 56
⎩ =
56 ⇒ = 9095
y la ecuación queda
9095 56 56 112 392
10 + 35 = 0 10 + 35 = 0 + =
− 0 ⇒ − ⇒
56 − 9095 9095 1819 1819
Finalmente hacemos los siguientes cambios en las variables independientes
r
1819
=
112
r
1819
=
392
que nos dará
1819
=
112
1819
=
392
y la ecuación queda finalmente como
+ − = 0
Aunque el cambio empleado para eliminar la componente es válido para cualquier ecuación,
se puede hacer uno específico para cada tipo de ecuación, que se resume en la siguiente tabla:
Tipo Discriminante Cambio Forma Canónica
⎧ ³ √
+ 2 −4
´
⎪⎨ = − 2
= (
)
Si = 0 ⇒
2 ⎪⎩ ´√³ −
Hiperbólica − 4 −4
= − 2 ⇓
2
0 ( = + = −
)
⇓
⎧
⎨ = − = (
Si = 0 ⇒
⎧ )
⎨ = −2
Parabólica 2 − 4 = = ( )
⎩
0 = −
⎧
⎨ = −2
2 + = (
Elíptica − 4 √
⎩
0 =− 2
2
4 − )
Ejemplo 4.10 Utilizando las transformaciones indicadas en la tabla anterior, expresa en forma canónica
la siguiente EDP lineal de 2 orden:
Solución: Hemos comprobado que la ecuación es elíptica, por tanto debemos realizar el siguiente
cambio de variable
⎧
=
2
⎨
2 3
= − ⇒ = +
2 3 = 1
⇒
⎩ ⎧ √
√ √ ⎨ = − 14
4 − 14 3
= − ⇒
2 3
⇒ =
2 − ⎩
= 0
por tanto
√
2 14
= + = −
3 3
= + =
y para las segundas derivadas
√ Ã √ ! √ Ã √ !
2 14 2 2 14 14 2 14
( + ( + ) −
= 3 = 3 3− 3
) − 3 3 3
−
3
√
4 4 14 14
=
9 9 + 9
−
√ √
2¡ 14 ¡ ¢2 14
+ + =
3 ¢ 3 3
= − 3 −
√
2 14
=
3 3
−
¡ ¢
= + =
Sustituyendo en la EDP
y la EDP sería
√
14 14 12 14
− 17 − 5 = 0
3 3 3
+ +
3
Si multiplicamos por 1 toda la ecuación
4
51 12
+ − + √ − 5
14 14
=0
Ahora podemos simplificar la edp eliminando los términos y como antes mediante cambios
de tipo exponencial. En primer lugar eliminaremos el término mediante el cambio
=
= +
⎫
⎪
⎪
= ⎬
⎪
⎪
= + 2 + 2⎪
⎪
= ⎭
Sustituyendo en la ecuación
51 12
+ − + √ − 5 = 0
14 14
⇔
Para que se anule el término en y teniendo en cuenta que = 0, debe ocurrir
µ ¶
51 51
2 − = 0 ⇔=
14 28
por tanto
µ ¶2
2 51 51 51 51 6521
− −5= − −5=−
14 28 14 28 784
y la EDP quedaría como
12 6521
+ + √ =0
14 784
−
=
=
⎫
⎪
⎪
= + ⎬ ⎪
12 6521
+ + √ = 0⇔
14 784
−
= √ 28
8537
= √ 28
8537
y obtendremos la ecuación en las forma usual, puesto que
28
=
√ ⎫
8537 ⎪
⎪
= 28
⎪
√ ⎬
8537
784
⎪
=
8537 ⎪⎪
⎪⎭
=8537
y entonces
784 784
− = 0 ⇒ + − = 0
8537 + 8537
= 0 ()
()
= () 0
()
(0) = () =
0
Tendremos el problema de contorno
⎧ 00
⎨ () + () = 0
(0) = 0
⎩
() = 0
cuya solución dependerá del valor del parámetro de separación . Distinguimos tres casos:
() = +
(0) = 0⇒=0
() = 0 ⇒ · + =
0
2. Caso 0. Supongamos
p ahora que es negativo, y por tanto lo podemos poner de la forma
= −2 , con = | |. La ecuación diferencial sería
(0) = 0⇒+=
0
y puesto que = 0 es no nulo, la única solución del sistema es la trivial = = 0, que nos
da para el problema de contorno de nuevo la solución nula.
4.3. Ecuaciones en derivadas parciales clásicas 21
21
3. Caso 0. Supongamos ahora que es positivo, y por tanto lo podemos poner de la forma
22 √ Capítulo 4. Ecuaciones en Derivadas Parciales
= 2 , con = . La ecuación diferencial sería
(0) = 0⇒=0
sen = 0
Como no queremos la solución nula debe ocurrir = 0 y
luego
=
y el valor de = 2
es 2 2
= ∈N
2
recordemos que era una constante arbitraria, luego para cada valor de ∈ N, tendremos
una posible solución de la EDO,
2 2 ³ ´
= ⇒ () = sen
2
Notar que para = 0 se obtendría de nuevo la nula, luego supondremos ≥
1. Los únicos valores que proporciona soluciones distintas de la solución nula son
2 2
=
2
Para estos valores y utilizando la otra ecuación diferencial
2 2
0 () + 2 2 () = 0 ⇒ 0 () + () = 0
2 2
Se dice que la expresión 4.9 es la solución formal porque no podemos asegurar que sea una verdadera
solución, es decir, que () pueda representarse mediante una serie trigonométrica.
Por otra parte, aunque la linealidad garantiza que una combinación lineal finita de soluciones, es
solución, nuestra combinación lineal es infinita, por lo que tendríamos que comprobar que efectivamente
es solución (derivando 2 veces y sustituyendo en la ecuación correspondiente), y este es un proceso
difícil, aunque en nuestro caso se garantiza por la presencia del término exponencial en la solución
2 2
2
formal, ya que si → ∞, entonces 2
→ 0.
−
Cualitativamente la ecuación describe un proceso de difusión del calor a través de la barra, la barra
disipa calor convergiendo a 0 y suavizando cualquier irregularidad que () pueda tener. Aplicamos
este análisis a un ejemplo concreto.
¡ ¢
Ejemplo 4.11 Los extremos de una barra de cobre 2 = 114 de longitud 2 metros se mantienen
a temperatura de 0 . Encuentre la expresión de la temperatura de la barra para las siguientes
condi- ciones iniciales:
b) (0 ) = 70 sen 0 ≤ ≤
2
½
60 ∈ [0 1)
c) (0 )
= 60 (2 − ) ∈ [1 2]
½
0 ∈ [0 1)
d) (0 )
= 75 ∈ [1 2]
Solución: En todos los apartados se trata de la ecuación del calor pero con diferentes condiciones
iniciales, por tanto lo que debemos calcular son los valores de los coeficientes de Fourier de la extensión
impar de (). En todos los casos = 2
entonces para =
2
y = 2
Z ³ ½Z 2 ³ ³ ´ ³ ´´ ¾
1 2 1 1
cos (2) ´ sen + + sen − 2
sen 2
=
2 0 2 2 0 2 2 2
½Z 2 µ µ ¶ ¾
1 ( + 4) ( − 4)
= sen
¶
+ sen
4 0 2 2
½Z 2 µ Z 2
µ ¶ ¾
1 ( + 4) ( − 4)
= sen sen
¶ +
4 0 2 0 2
que son integrales inmediatas
Z2 µ µ ¶¯=2
2 ( + 4) ¯¯ 2 (1 − cos ( + 4) 2 (1 − (−1) )
sen ( + 4) = − cos = ) =
¶
0 2 ( + 4) 2 ¯ ( + 4) ( + 4)
=0
=
Z µ µ ¯¶¯=2 2 (1 − cos ( − 4)
2
( − 4) 2 (− 4) ¯ 2 (1 − (−1) )
sen ¶ = − cos = )
0 2 ( − 4) 2 ¯ ( − 4) ( − 4)
=0
+4 −4
donde hemos empleado que (−1) = (−1) = (−1) La suma total
Z
1 2 ³ 1 ½ (1 − (−1) )
cos (2) ´ = 2
sen
³ ´
2¾
2 0
+ = 2(1 − (−1)
4 ) ( + 4) ( − 4) (2 −16)
Y finalmente obtendremos el valor del coeficiente
½ µ ¶¾ (
1 130 2 − 8 260 2− 8
2
= (1 − ( 1) ) + (1 − (−1) ) = (1 − (−1) ) =
65 − − 16) 2 −
0
( 2 16
La solución formal de la EDP para esta condición inicial sería
à ! µ
X∞ 2
260 (2 − 1) − 8 (2 − 1) 114(2−1)2 2
( ) = sen ¶ −
=1 4
(2 − 1) (2 − 1)2 − 16 2
b) () = 70 sen (). En este caso no es necesario calcular el desarrollo de Fourier de la
extensión impar de (), puesto que () es una función periódica de periodo 2. Si
tomamos = 0
∀ = 2 y 2 = 70, obtenemos
X
∞ ³
() =
sen = 70 sen ()
´
2
=1
donde hemos teniendo en cuenta que = 0 para todos los valores excepto para 2 = 70
½
60 ∈ [0 1)
c) (0 )
= 60 (2 − ) ∈ [1 2]
Z ³ ´ Z ³ ´ Z ³ ´
2 2
1 2
= () 60 sen 60 (2 − )
sen = 0 + sen 2
2 0 2 2
Z 1 Z2 ³
³ Z 12 ³
= 60 sen ´ + 120 sen ´ − 60 sen ´
0 1 1
2 2 2
R
Las integrales de la forma sen () se resuelve por partes, tomando = y
=
sen () , entonces = y = − 1 cos (), obtenemos una primitiva
Z Z
1 1
sen () = − cos () + cos () = − cos () + 2 sen ()
Calculamos cada una de las integrales con =
2
Z1 ³ 2 ³ ´ 4 ³ ´¯¯=1
sen = − cos sen ¯¯
´
0
22 =0
2 + 2
2 2
4 ³ ´ ³ ´
=
2 2 sen 2 − cos
2
4 sen (2) − 2 cos (2)
=
2 2
Z 2 ³ 2 ³ ´¯=2 2 2
´
sen ¯
= − cos ¯¯ = [cos (2) − cos ()] [cos (2) (
1 2 2 =1
1) ] −
= −
Z 2 ³ = − ³ ´
2 2 4
sen ´ cos +
1 2
³ ¯=2 ¯
2 2 2 ¯ = 1 ´
sen ¯
¡ ¢ ¡
4 cos () 4 sen () 2 cos 2 4 sen
= − + ¢
2 2
+ − 2
2 2
2 ¡ ¢ ¡
4 ( −1) 2 cos 2 4 sen
= − +
−
¢
2
2 2
¡ ¢ ¡ ¢
2 cos 2 − 4 sen2 − 4 (−1)
=
2 2
Y sustituyendo en la integral
Z 1³ Z1 ³ Z1 ³
60 sen ´ + 120 sen ´ − 60 sen ´
0 0 0
2 2 2
∙ ∙ ¸
h ³ ii
¸4 sen( )−2 cos( ´ 2 cos( )−4 sen( )−4(−1)
h
= 60 ) 2 2
+ 120 2
cos − (−1)
− 60 2 2
2 2 2 2
2
480 ³
= 2 2 sen
´
2
Y finalmente obtendremos el valor del coeficiente
480 ³
= 2 2 sen
´
2
y la solución formal de la EDP para esta condición inicial sería
X∞ ³ ´
480 2 2
1142
( ) = sen − 4
2 2 2
=1
½
0 ∈ [0 1)
d) (0 ) =
75 ∈ [1 2]
1. a)
Z 2 ³ Z1 ³ ´ Z ³ ´ Z ³ ´
2
´ 2 2
= () 0 sen 75 sen 75 sen
2 sen = 0 + = 1 2
0 2 2 1 2
La integral es inmediata
Z 2 ³ −
´ 150 ´¯=2
³ 150 150 −
75 sen ¯
= − cos ¯¯ = [cos (2) − cos ()] [cos (2) (
1 2 2 =1
1) ]
=
Y finalmente obtendremos el valor del coeficiente
150
=
[cos (2)− ( 1) ]
−
y la solución formal de la EDP para esta condición inicial sería
X
∞ 150 ³ 11422 2
( ) = [cos ( 1) ] sen
´ −
(2)
=1
− − 4
2
4.3.2. Ecuación de onda
La ecuación de onda representa las vibraciones de una cuerda sujeta por los extremos a lo largo del
tiempo, como el de la cuerda de una guitarra. Si es la longitud de la cuerda y ( ) representa
el desplazamiento de la cuerda respecto a la horizontal en cada instante y en cada posición de la
cuerda, la ecuación viene dada por
⎧
⎪ = 2 0 ∈ (0 )
⎪
⎪
⎪
⎨ (0 ) = () 0
( 0) = (
)
son condiciones de contorno e indican que los extremos de la cuerda son fijos y situados en el eje
horizontal. Mientras que la condición
(0 ) =
()
es una condición inicial e indica la forma de la cuerda en el instante inicial, mientras que
(0 ) =
()
sería otra condición inicial que indica la velocidad (fuerza aplicada sobre la cuerda) que tiene la cuerda
en el instante inicial.
Como en el caso de la ecuación del calor se utiliza el método de separación de variables, suponiendo
por tanto que la solución ( ) puede ponerse como producto de funciones en las variables
indepen- dientes:
( ) = () ()
por tanto
= 00 ()
()
= () 0
()
que coincide con el problema de contorno que se obtuvo para la ecuación del calor y por tanto los
valores para y () deben ser los mismos que allí se dedujeron:
2 2 ³ ´
= y () = sen
2
Para estos valores de la otra ecuación diferencial también es de segundo orden
2 2
00 () + 2 2 () = ⇒
0 00 () + 22 () = 0
y cuya solución general para cada ∈ N es de la forma
() = cos ³
³
´ + ´ con ∈ R
sen
Finalmente una posible solución para la EDP será de la forma
³ ³ ´ ³ ³ ´
´´
( ) = () + sen sen
() = cos
Si ahora se utilizan las condiciones iniciales (0 ) = () y (0 ) = (), se obtiene
X
∞ ³
(0 ) = sen = ()
´
=1
∞ ´ ³
(0 ) = X sen = ()
³ ´
=1
Si tomamos
=
Vemos las expresiones para () y ()
³
X
∞ ´
() = sen
=1
X∞ ³ ´
() = sen
=1
son desarrollos similiares a los encontrados en la ecuación del calor. Podemos calcular el valor de los
Z ³ Z ³ ´
2 2
´
= = () ⇒ = ()
sen sen
0 0
X
∞ ³ ³ ³ µ
∞X µ µ ³
( ) =
³ cos + sen ´´ sen ´ = cos ¶ + sen ¶¶ sen
´ ´
=1
2 2
=1 2
con
R ¡ ¢ R 2 ¡ ¢
= 2 0 () sen = 01 () sen
2
2 R ¡ ¢ R 2 ¡ ¢
= () sen () sen
2
=0 0 2
Calculando cada integral de forma independiente. Para la primera utilizamos que sen ( + )+sen ( − )
=
2 sen cos /, para = 2 y =
Z 2 ³ Z 2 Z
1 ( + 2) 1 2 ( − 2)
cos ´ sen sen
sen = +
0 2 2 2 2 0 2
à 0 µ ¶¯=2 ! à µ ¶¯=2 !
1 ( + 2) ( − 2)
1 ¯ ¯
= − cos ¯ + − cos ¯
+2 2 ¯ − 2 2 ¯
=0 =0
1 1
= (1 − cos ( + 2) ) (1 − cos ( − 2) )
+ 2+ − 2
1 ³ +2
´ 1 ³ −2
´ 2
= 1 − (−1) + 1 − (−1) = 2 (1 − (−1) )
+2 − 2 −4
y la otra integral es inmediata:
Z 2 ³ ³ ´ ¯
2 ¯ =2 2
sen ´ = − cos ¯
= (1 − (−1) )
0 2 2 ¯
=0
El valor para será
µ ¶
1 2 2 8
= (1 − (−1) ) − (1 − (−1) ) = (1 − (−1) )
−42 (2 −
4)
Luego la solución sería
∞ µ ³´ µ ¶
X
8 (1 − (−1) )
( ) sen cos
¶ 2
= =1
(2 − 2
4) ⎞
⎛
X∞ µ µ ¶
16 (2 1) ¶ 1)
( − (2 −
= ⎝ ³2 ´ ⎠ sen cos
=1
2
(2 − 1) − 1) − 4 2
2
4.3.3. Ecuación de
Laplace
La última de las ecuaciones clásicas en derivadas parciales que vamos a tratar en esta sección es
la llamada ecuación de Laplace que en dos dimensiones tiene la forma
+ = 0
(4.11) Utilizaremos las variables espaciales para indicar que mientras que en las ecuaciones de calor
y onda
representan modelos físicos que cambian con el tiempo, la ecuación de Laplace es estática y representa
una condición de equilibrio como el potencial gravitatorio o electrostático o como la temperatura en
una sección plana.
Esta ecuación se plantea sólo con condiciones de contorno sobre la frontera del recinto donde se
cumpla la ecuación que tiene que tener cierta regularidad.
Estas condiciones de contorno pueden ser de dos tipos:
1. Condiciones tipo Dirichlet: Si es la región donde se cumple la ecuación 4.11, podemos suponer
que ( ) es concida en todos los puntos de la frontera de . Son condiciones en la función
.
2. Condiciones tipo Neumann: Podemos suponer que conocemos el vector normal a en la frontera.
Son condiciones impuestas a las derivadas de : o .
La geometría de es muy importante y sólo podemos calcular soluciones si tienen ciertas condi-
ciones de regularidad.
Condiciones tipo Dirichlet
Supongamos, por ejemplo, que el recinto es una rectángulo de lados y , es decir, sea
= [0 ] × [0 ] y que tenemos el problema de Laplace siguiente
⎧
⎪ + = 0 0≤≤ 0≤≤
⎪
⎪
⎨⎪ ( 0) = ( ) = 0 0 ≤ ≤
⎪ (0 ) = 0 0≤≤
⎪⎪
⎪
⎩
( ) = () 0≤≤
Para estos problemas todas las condiciones son de contorno.
Utilizamos de nuevo el método de separación de variables, y expresamos la solución ( )
como producto de funciones independientes en cada variable
( ) = ()
()
por tanto
= 00 ()
()
00 00
() = (4.12)
()
=−
con ∈ R. () ()
De 4.12 se obtienen dos ecuaciones diferenciales
00 () − () =
0
que es el mismo problema de contorno que se obtuvo para las ecuaciones del calor y de onda (salvo
que cambiamos la variable por la y que = ), por tanto, para obtener una solución no
trivial (no idénticamente nula) los valores para y () serían
³
2 2
= y () =
2 ´
sen
Sustituyendo estos valores para en la otra ecuación diferencial
2 2
00 () − () = 0
2
cuya solución para cada ∈ N es de la forma
() = ( )
+ (
− )
con
∈ R
Condiciones de Neumann
Veamos un ejemplo de resolución de un problema con condiciones de tipo Newmann
⎧
⎪ + = 0 0≤≤ 0≤≤
⎪
⎪
⎪
⎪ ( 0) = 0 0≤≤
⎪⎨
( ) = 0 0≤≤
⎪
⎪
⎪ (0 ) = () 0 ≤
⎪
⎪
⎪⎩ ≤
( ) = 0 0≤≤
vemos que en este caso las condiciones de contorno implican a las derivadas parciales de .
Todas las condiciones son de contorno. Como antes utilizamos el método de separación de variables
( ) = ()
()
00 () − () =
0
Las diferencias con las condiciones de tipo Dirichlet aparecen al plantear las condiciones de contorno
de estos dos problemas. Observemos que en este caso ( 0) = 0 y ( ) = 0 y por tanto
las condiciones de contorno para las ecuaciones diferenciales se obtiene de la siguiente forma:
⎧ 0 0
⎨ ( 0) = () (0) = 0 ⇒ (0) = 0
( ) = () 0 ()
⇒ ( ) = () 0 () = 0 ⇒ 0 () = 0
⎩
() = +
0 () =
( ) = ()
Utilizando la EDP obtendremos
⎫
= 0 () ⇒ = 00 ⎬
() ⇒ + = 00 () + 0 = 0
⎭
= 0 ⇒ = 0
de donde o bien = 0, pero entonces tendremos nula, o bien 00 () = 0 y por tanto
() = +
( ) = ⇒ ( ) = 0 ⇒
=0
( ) =
2. Caso 0: Podemos
poner = −2 0
⎧
y las ecuaciones serán 2
00
⎨ () − ()
=0
0 (0) = 0
⎩
cuya solución es 0 () = 0
() = +
−
Utilizando las condiciones de contorno
0 () = −
−
entonces
⎫
0 (0) = − = 0 ⇒ ( − ) = 0 ⇒ − = 0 ⎬
¡ ¢
0 () = − − = 0 ⇒ − − = 0 ⇒ − − = 0
⎭
= 0 ⇒ Solución trivial,
3. Caso 0: Podemos
poner = 2 0
⎧
y las ecuaciones serán 2
00
⎨ () + ()
=0
0 (0) = 0
⎩
0 () = 0
La ecuación diferencial tiene como solución general
Necesitamos 0
() 0 () = − sen () + cos ()
para poder utilizar las condiciones de contorno
⎫
0 (0) = = 0 ⎬ ¾
=0
⇒ ⇒ =
− sen () = 0
0 () = − sen () + cos
⎭
()
y por tanto
= ∈N
para cada valor de tendremos una función
³ ´
() = cos
Con estos valores y la otra ecuación:
2 2
00 () − 2 () = 0 ⇒ 00 () − () = 0
2
que tiene por solución general a
() = +
−
Como hemos visto antes 0 () = 0
La solución formal será la combinación lineal de todas las soluciones, utilizando además la
solución que se obtuvo para el caso = 0
´
´
∞X
( ) = + +
cos 2
³
−
=1
X
∞ ´³ ´
= + cos 2
³ +
−
=1
donde se ha tomado
=
∞ ³ ´³ ´
2
( ) cos −
= X
− ∞
=1
´ ³
X ³ ³ X ´
∞
(0 ) ´ cos = cos = ()
= 1− =1
2
=1
donde
´
2
³
= 1−
son los coeficientes del desarrollo de Fourier de la extensión par de () y por tanto
Z
³ 2 2
´
= 1− = () cos ()
0
de donde
Z
2
2
() cos ()
= ¡ 1¢ − 0
Notar que en este caso se debe cumplir que el término independiente en la serie de Fourier
0 2, debe ser 0 y por tanto, para que la solución del problema con las condiciones de
Neumann sea
( ), debe cumplirse la siguiente condición de compatibilidad
Z Z
2
0 = () = 0 () = 0
0 ⇒ 0
4.3.4. Condiciones de contorno no nulas
En todas las ecuaciones anteriores hemos considerado que las condiciones de contorno eran nulas,
pero podemos resolver el problema en el caso de no se cumpla esta propiedad. Por ejemplo, para un
problema del calor con condiciones no nulas de la forma:
⎧ 2
⎪ = 0 ∈ (0 )
⎪
⎪
⎨
(0 ) = () 0
⎪
⎪ (0) =
⎩⎪ 0
( ) =
realizamos el siguiente cambio en la variable dependiente
( ) = ( ( ) − ) + (
− )
Para el caso de la ecuacíón de Laplace hay que tener en cuenta si las condiciones son de tipo Dirichlet
o Neumann y en la mayoría de las ocasiones es posible descomponer el problema inicial en dos o más
problemas con condiciones nulas.
Ejercicios
1. Encuentre las soluciones de los siguientes problemas de contorno:
a) 3 + 4 − = 0
b) 4 + + 4 + = 0
c) + + 3 − 4 + 25 = 0
d) − 3 + 2 − + = 0
e) − 2 + + 3 = 0
¡ ¢
4. Los extremos de una barra de aluminio 2 = 086 de longitud 10 metros se mantienen
a temperatura de 0 . Encuentre la expresión de la temperatura de la barra para las
siguientes condiciones iniciales:
a) (0 ) = 70 0 ≤ ≤ 10
b) (0 ) = 70 cos 0 ≤ ≤ 10
½
10 ∈ [0 5)
c) (0 )
= 10 (10 − ) ∈ [5 10]
½
0 ∈ [0 3)
d) (0 )
= 65 ∈ [3 10]
¡ ¢
5. Los extremos de una barra de cobre 2 = 114 de longitud 2 metros se mantienen a temperatura
de 0 . Encuentre la expresión de la temperatura de la barra para las siguientes
condiciones iniciales:
6. Un estado de equilibrio para la ecuación del calor = 2 es aquella que no varía con
el tiempo. Demostrar:
a ) Todos los equilibrios de la ecuación del calor son de la forma () = +
b) Encuentre los estados de equilibrio de la ecuación del calor que cumplen ( 0) = 1
y
( ) = 2
c) Resuelva el problema
⎧ 2
⎪ = 0 ∈ (0 1)
⎨⎪ (0 ) = 75 01
( 0) = 20
⎪ 0
⎩⎪
( 1) = 60
Ayuda: Calcúlela como ( ) = () + ( ), donde () es el estado de
equilibrio asociado a las condiciones de contorno ( 0) = 20 ( ) = 60 y ( )
es la solución del problema con condiciones de contorno nulas.
¡ ¢
7. Los extremos de una barra de cobre 2 = 114 de longitud 10 centímetros se mantienen
a temperatura de 0 mientras que el centro de la barra es mantenido a 100 mediante
una fuente de calor externa. Encontrar la temperatura de la barra con el tiempo para la
condición inicial ½
50 ∈ [0 5)
(0 ) =
100 ∈ [5 10]
Ayuda: Descomponga el problema en dos problemas de contorno con uno de los extremos en la
mitad de la barra.
8. Resuelva el problema ⎧
⎪ = + 0 ∈ (0 1)
⎨⎪ (0 ) = cos 0
1
( 0) =
⎪ 0 0
⎪⎩
( ) =
9. Resuelva los siguientes problemas 0
⎧
⎪ = 2 0 ∈ (0 2)
⎪ (0 ) = cos − 1
⎨ 0 2
a) (0 ) = 0 0 2
⎪ ( 0) = 0 0
⎪⎩
( 2) = 0 0
⎧ 2
⎪ = 0 ∈ (0 1)
⎪⎨ (0 ) = 0 01
b) (0 ) = 1 01
⎪ ( 0) = 0 0
⎪
⎩
( 2) = 0 0
⎧ 2
⎪ = 0 ∈ (0 3) ⎧
⎪ (0 ) = () 0 ⎨ ∈ [0 1)
⎨
3
c) (0 ) = 0 0 donde () = 1 ∈ [1 2)
3 ⎩
⎪ ( 0) = 0 2 − ∈ [2 3]
0 ⎪
⎩
( 2) = 0
0
10. Una cuerda de 10 metros fijada en sus extremos se levanta por el medio hasta la distancia de un
metro y se suelta. Describe su movimiento suponiendo que 2 = 1.
11. Demuestra que el cambio de coordenadas
⎧
⎨ = +
⎩
= −
transforma la ecuación de ondas = 2 en la ecuación = 0. Concluir que la
solución general de la ecuación será de la forma
( ) = ( − ) + (
+ )
Para funciones apropiadas y .
12. Demostrar que la solución del problema
⎧ 2
⎪ = 0 ∈ (0 )
⎨⎪ (0 ) = () 0
(0 ) = () 0
( 0) = 0 0
⎩⎪
⎪ ( ) = 0 0
es de la forma
Z
1 1
( ) = ( ( − ) + ( + + ()
2 )) +
2 −
donde es la extensión 2—periódica e impar de ().
13. Resuelva el problema ⎧ 2
⎪ = + 0 ∈ (0 )
⎪⎨ (0 ) = () 0
(0 ) = 0 0
⎪⎪ ( 0) = 0 0
⎩
( ) = 0 0
14. Resuelva el problema
⎧
⎪ + = 0 ( ) ∈ (0 ) × (0 )
⎪⎨ ( 0) = 0 0
a) ( ) = () 0
⎪ (0 ) = 0 0
⎩⎪
( ) = 0 0
⎧
⎪
+ = 0 ( ) ∈ (0 ) × (0 )
⎨ ⎪ ( 0) = 0 0
b) ( ) = 0 0
⎪ (0 ) = () 0
⎪
⎩
( ) = 0 0
⎧
⎪ + = 0 ( ) ∈ (0 ) × (0 )
⎪ ( 0) = ()
⎨ 0
c) ( ) = 0 0
⎪
⎪⎩
(0 ) = () 0
( ) = 0 0
15. Resuelva los siguientes problema de Neumann
⎧
⎪ + = 0 ( ) ∈ (0 ) × (0 )
⎨⎪ ( 0) = 0 0
a) ( ) = 0 0
⎪ (0 ) = () 0
⎪
⎩
( ) = 0 0
⎧
⎪ + = 0 ( ) ∈ (0 ) × (0 )
⎨ ⎪ (0 ) = 0 0
b) ( ) = 0 0
⎪ ( 0) = () 0
⎪
⎩
( ) = 0 0
⎧
⎪ + = 0 ( ) ∈ (0 ) × (0 )
⎨⎪ (0 ) = 1 0
c) ( ) = 0 0
⎪⎪ ( 0) = 1 0
⎩
( ) = 0 0
16. Resuelva el problema ⎧
⎪ + = ( ) ∈ (0 1) × (0 1)
⎪ ( 0) = 0
⎨ 01
( 1) = 0 01
⎪ (0 ) = () 01
⎪
⎩
(1 ) = 0 01