RESOLUCIÓN DE ECUACIONES DIFERENCIALES PARCIALES DE SEGUNDO ORDEN

EL MÉTODO DE SEPARACIÓN DE VARIABLES
Supongamos que queremos estudiar cómo se difunde el calor en un alambre
homogéneo de longitud L a lo largo del tiempo. Para ello, necesitamos conocer la
temperatura inicial en cada punto del alambre.
También necesitamos contar con alguna información sobre lo que sucede en los
extremos del alambre (cuál es su temperatura durante el proceso, si permanecen
aislados, si reciben calor, etc...) Comencemos considerando el caso en que dicha
temperatura permanece igual a cero todo el tiempo. Supondremos que el alambre es
suficientemente fino de manera que el calor está igualmente distribuido sobre cada
sección transversal en cada instante de tiempo t y que la superficie del alambre
está aislado, por lo que no se produce pérdida de calor a través de ella. Si denotamos
por μ ( x , t ) la temperatura del alambre en el punto x y en el instante t , desde
el punto de vista matemático, este problema se puede formular de la siguiente
manera:

{
μt ( x , t ) =μ xx ( x ,t ) , x ∈ ⟨ 0, L ⟩ Ecuación delcalor
μ ( 0, t )=μ ( L ,t )=0, t >0 Condiciones de contorno (1)
μ ( x , 0 )=f ( x ) , x ∈ ⟨ 0, L ⟩ Condición inicial
Iniciamos el procedimiento de solución, admitiendo que el problema tiene una
solución de la forma:
μ ( x , t )=X ( x ) . Y ( t )
Por comodidad utilizaremos:
μ= X . Y (2)

Donde X y Y son funciones desconocidas no nulas que dependen solamente de
x y t respectivamente. Es decir, queremos determinar las soluciones en las
cuales las variables x y t aparecen separadas (de ahí el nombre del método). Es
inmediato ver que para este tipo de funciones la ecuación del Calor se reduce a un par
de EDO: sustituyendo la expresión (2) en la EDP dada, resulta:
X Y =X ' ' Y , x ∈ ⟨ 0, L ⟩ , t> 0
'

Y ' X''

Y
=
X
, x ∈ ⟨ 0, L ⟩ , t> 0
Como las variables x y t son independientes, la única posibilidad para que la
igualdad anterior se produzca es que exista una constante λ ∈ R tal que:

Y ' X''
= =−λ , x ∈ ⟨ 0, L ⟩ , t> 0 (3)
Y X
Imponiendo condiciones de contorno:

{
μ ( 0, t ) =X ( 0 ) Y ( t )=0; t>0
μ ( L , t ) =X ( L ) Y ( t )=0 ; t>0
⇰ X ( 0 ) =X ( L )=0 (4)

De la relación (3), obtenemos:

{
X ' ' + λX =0 ; x ∈ ⟨ 0, L ⟩ , X ( 0 )=X ( L )=0
'
Y + λY =0 t >0
(5)
Donde λ es una constante desconocida arbitraria cuyos valores se determinan
resolviendo (5).
1. Resolviendo el problema de contorno:
X ' ' + λX=0 ; x ∈ ⟨ 0, L ⟩ , X ( 0 ) =X ( L )=0
Observamos que se tiene una EDO de segundo orden lineal y con coeficientes
constantes. Hallemos su solución:
1° Si λ=0 :
X =0 ⇰ X ( x )=c 1 x +c 2 Con c 1 , c 2 ∈ R
''

Utilizando CC, se tiene nuevamente que: c 1=c 2=0
Así:
X ( x )=0 Solución trivial
2° Si λ< 0 :
''
X + λX=0 ⇰ X (x )=c 1 e
√ −λ x
+ c2 e−√−λ x Con c 1 , c 2 ∈ R
Utilizando CC, se tiene: c 1=c 2=0
Así:
X ( x )=0 Solución trivial
3° Si λ> 0 :
X + λX=0 ⇰ X ( x )=c 1 cos( √ λ x )+ c 2 Sen( √ λ x) Con c 1 , c 2 ∈ R
''

{
c 2=0 ó
2
Utilizando CC, se tiene: c 1=0 y c 2 Sen ( √ λ L )=0 ⇰ (nπ )
λ= 2
L
Como deseamos soluciones no nulas, tomamos:
(nπ )2
λ= 2 Para algún n ∈ N
L
Así:
nπx
X n ( x )= A . Sen( ) Soluciones no nulas, donde A ∈R
L

2. Resolviendo Y ' + λY =0 ; t >0 .

=−λ ⇔
Y
⇔ ln ( Y )=−λt +c
⇔ Y =e−λt +c =e c . e−λt =B e−λt
⇰ Y =B e−λt
(nπ )2
Reemplazando el valor de λ= 2 , se obtiene:
L
2
−(nπ )
2
t
L
Y n ( t )=B e
3. Solución del problema planteado:

Siendo:
μn ( x , y )=X n ( x ) .Y n ( t )
Entonces:
Soluciones de la ecuación del calor,
2 2
−n π t
nπx L
2

donde μn ( x , t )=C Sen( )e C∈R .
L
Verificando la condición inicial:
Si t=0 , entonces:

μn ( x , 0 )=C Sen ( nπxL )=f ( x)
Luego el valor de C , depende de la forma que tenga f ( x) . Por ejemplo si

5 πx nπx 5 πx
f ( x )=3 Sen(
L
) ⇰ C Sen
L ( )
=3 Sen(
L
)
5 πx
{
n=5 2
−25 π
t
⇰ μ ( x , t )=3 Sen( ) . L
2

C=3 L e
Del mismo modo, por la linealidad:
5 πx 7 πx
si f ( x )=3 Sen ( )
L
+2 Sen
L ( )
, entonces:
2 2
−25 π t −49 π t
5 πx 7 πx
μ ( x , t )=3 Sen (
L ) ( )
2 2
L L
e +2 Sen e
L
En general, si:
N
f ( x )=∑ bn Sen
n=1
( nπxL )
Entonces:
Solución de la ecuación del calor
2 2
N −n π t
nπx
( )
2

μ ( x , t )=∑ b n Sen e L

n=1 L
Nota:
1. Ëste método es muy importante en la solución de EDP, pero no cubre todas las
posibilidades, ya que no siempre la temperatura inicial f ( x ) , va a tener la
forma anterior. El aporte que hizo Fourier y expuesto en 1807 ante la Academia
de Ciencias de París, de que “cualquier función arbitraria f ( x ) puede ser
expresada como una serie infinita de senos ", es decir en la forma:

nπx
f ( x )=∑ bn Sen
n=1 L ( )
Nos permite expresar formalmente la solución del problema dado de la
ecuación del calor como:
2 2
∞ −n π t
nπx
( )
2

μ ( x , t )=∑ b n Sen e L

n=1 L

2. Es de suponer que la afirmación de Fourier causó un impresionante revuelo
entre los miembros de la Academia, muchos de los cuales no aceptaron la
validez de su planteamiento. Tal incomprensión puede entenderse fácilmente,
debido a que era la primera vez en la Historia que aparecía el concepto de “una
base con infinitos elementos" y a que en aquél momento muchos de los
conceptos matemáticos (función, convergencia de series, etc...) todavía no
estaban rigurosamente establecidos.
3. Se debe recordar que:
f ( x ) Sen ( kπxL ) dx ; k ∈ Z +¿

L
2
b k= ∫ ¿
L 0
Ejemplo 1: Resolver la ecuación del calor del problema anterior si f ( x )=x (1−x )
∀ x ∈ [ 0,1 ] .
Solución
1°. Expresando f ( x ) en términos de senos:
+¿
∀ k ∈ Z¿ , se tiene que:
L
2 kπx
bk = ∫ f ( x ) Sen
L0 L
dx …. (1) ( )
Para nuestro caso:

{ f ( x ) =x ( 1−x )
⟨ 0, L ⟩= ⟨ 0,1 ⟩ ⇰ L=1
Así:
1
4 [ 1−(−1)n ]
bn =2∫ x (1−x )Sen ( nπx ) dx=
0 n3 π 3
Siendo:

f ( x )=∑ bn Sen
n=1
( nπxL )
Entonces:

nπx

[ 1−(−1) ] n
f ( x )=∑ bn Sen
n=1
( )
L
=4 ∑
n=1 n3 π 3
Sen ( nπx )

Siendo además:
2 2
−n π t

nπx

[ 1−(−1)n ]
( )
2 2 2

μ ( x , t )=∑ b n Sen =4 ∑ Sen ( nπx ) e−n π
L t
e 3 3
n=1 L n=1 n π

Por lo tanto:

[ 1−(−1)n ] 2 2

μ ( x , t )=4 ∑ π t
3 3
Sen ( nπx ) e−n
n=1 n π
Ejemplo 2: Resolver la ecuación del calor del problema anterior, suponiendo ahora que
los extremos del alambre permanecen aislados todo el tiempo.
Solución
El problema se formula de la siguiente manera:

{
μ t ( x , t )=μ xx ( x ,t ) , x ∈ ⟨ 0, L ⟩ , t >0 Ecuación delcalor
μ x ( 0, t )=μt ( L , t ) , t >0 Condiciones de contorno (1)
μ ( x , 0 ) =f ( x ) , x ∈ ⟨ 0, L ⟩ Condicióninic ial
Admitimos que el problema tiene una solución de la forma:
μ ( x , t )=X ( x ) . Y ( t )
Que por comodidad utilizaremos:
μ= X . Y
Se observa además, que sólo han cambiado las condiciones de contorno, que se
imponen sobre las derivadas de μ ( x , t ) con respecto de x . Aplicando el mismo
razonamiento anterior, se tiene:

{X ' ' + λX =0 ; x ∈ ⟨ 0, L ⟩ , X ´ ( 0 )=X ´ ( L )=0
Y ' + λY =0 t>0
(2)

La solución para Y sigue siendo la misma; la única que cambia es para X , cuya
solución se obtiene considerando los tres casos para λ ya estudiados.
Siendo así, las soluciones no nulas se obtienen si tomamos:
(nπ )2
λn = 2 Para algún n ∈ N
L
Luego:
nπx
X n ( x )= A . cos( ) Soluciones no nulas, donde A ∈ R
L
La presencia del término de coseno en esta solución, nos indica que la función f ( x )
debe ser expresada en la forma:
a ∞ nπx
f ( x )= 0 + ∑ a n cos ( )
2 n=1 L
Que se Conoce como la serie de Fourier de cosenos de f ( x ) , donde:
kπx
( )
f ( x ) cos
L
dx ; k ∈ Z+¿
L
2
an = ∫ ¿
L0
Finalmente, la solución del problema queda expresado como:
2 2
−n π t
a ∞ nπx
( )
2

μ ( x , t )= 0 + ∑ an cos e L
2 n=1 L

Ejemplo 3: Resolver la ecuación del calor del problema anterior expresando
f ( x )=x (1−x ) en una serie de cosenos en x ∈ [ 0,1 ]
Solución
1°. Expresando f ( x ) en términos de cosenos:
+¿
∀ k ∈ Z¿ , se tiene que:
L
2 kπx
L0 ( )
a k = ∫ f ( x ) cos
L
dx …. (1)

Para nuestro caso:

{⟨ f ( x ) =x ( 1−x )
0, L ⟩= ⟨ 0,1 ⟩ ⇰ L=1
Así:
1
an =2∫ x (1−x) cos ( nπx ) dx
0
Entonces:
{
1
a0=
3
−2 [ 1+(−1)n ]
an=
n2 π2
Siendo:
a0 ∞ nπx
f ( x )= + ∑ a cos ( )
2 n=1 n L
Entonces:
1 2

[1+(−1)n ]
f ( x )= − 2 ∑ cos ( nπx )
6 π n=1 n2
Siendo además:
2 2
−n π t
a0 ∞ nπx
( )
2

μ ( x , t )= + ∑ an cos e L
2 n=1 L
2°. Solución del problema planteado:
2 2
−n π t
1 2

[ 1+(−1)n ] 2

μ ( x , t )= − 2 ∑ 2
cos ( nπx ) e L
6 π n =1 n

Ejemplo 4: Ecuación de la cuerda vibrante. Este problema se resuelve mediante el
mismo procedimiento, aunque la EDP correspondiente es del tipo hiperbólico. Consiste
en determinar las vibraciones de una cuerda elástica de longitud L y densidad
constante, sujeta por los extremos y de la cual conocemos la posición μ ( x , t ) del
punto x de la cuerda en el instante t y; la velocidad inicial en cada punto.
Este problema se reduce a resolver la EDP:

{{
μtt ( x , t )=μ xx ( x ,t ) , x ∈ ⟨ 0, L ⟩ , t >0 Ecuación de ondas
μ ( 0, t )=μ ( L ,t )=0, t>0 Condiciones de contorno
(1)
μ ( x , 0 )=f (x) x ∈ ⟨ 0, L ⟩ Condicionesiniciales
μt ( x , 0 )=g(x )

Iniciamos el procedimiento de solución, admitiendo que el problema tiene una
solución de la forma:
μ ( x , t )=X ( x ) . Y ( t )
Por comodidad utilizaremos:
μ= X . Y (2)

Donde X y Y son funciones desconocidas no nulas que dependen solamente de
x y t respectivamente. Es decir, queremos determinar las soluciones en las
cuales las variables x y t aparecen separadas (de ahí el nombre del método). Es
inmediato ver que para este tipo de funciones la ecuación de la onda se reduce a un
par de EDO: sustituyendo la expresión (2) en la EDP dada, resulta:
XY ´ ´ = X ' ' Y , x ∈ ⟨ 0, L ⟩ , t> 0
Y ´´ X''

Y
=
X
, x ∈ ⟨ 0, L ⟩ , t> 0
Como las variables x y t son independientes, la única posibilidad para que la
igualdad anterior se produzca es que exista una constante λ ∈ R tal que:
Y '' X''
= =−λ , x ∈ ⟨ 0, L ⟩ , t> 0 (3)
Y X
De la relación (3), obtenemos:

{ X '' + λX=0; x ∈ ⟨ 0, L ⟩ , X ( 0 )= X ( L ) =0
Y ´ ´ + λY =0 t> 0
(4)

Donde λ es una constante desconocida arbitraria cuyos valores se determinan
resolviendo (4).
1° Solución de la EDO para X :
Es la misma que para la ecuación del calor, es decir:
2
(nπ )
Para algún n ∈ N , si tomamos: λ= 2
L
Se obtiene las soluciones no nulas:
nπx
X n ( x )= A . Sen( ) Donde A ∈ R
L
2° Solución de la EDO para Y :
Resolviendo la EDO:
Y ´ ´ + λY =0,t >0
Reemplazando el valor de λ en esta EDO y resolviendo se obtiene:
nπt nπt
( )
Y n ( t )=c 1 cos
L
+ c 2 Sen (
L
)

Donde c 1 , c 2 ∈ R .
Así, siendo μ ( x , t )=X ( x ) . Y ( t )

⇰ μn ( x , t )=X n ( x ) . Y n ( t ) =A . Sen(
+¿
[ ( )
nπx
L
) c 1 cos
nπt
L ] + c 2 Sen(
nπt
L
)

Por lo tanto para cada n ∈ Z ¿ , una solución básica de la ecuación de Ondas es:

μn ( x , t )=Sen (
[ ( )
nπx
L
) an cos
nπt
L ] +bn Sen(
nπt
L
)

Donde an , bn ∈ R y; verifica también las condiciones de contorno.
Verificando que se satisface las condiciones iniciales en:

[ ( ) ]

nπx nπt nπt
μ ( x , t )=∑ Sen( ) an cos +b n Sen( )
n=1 L L L
Es decir:

{

nπx
f ( x )=μ ( x , 0 )=∑ an Sen ( )
n=1 L

nπb n nπt
g ( x )=μ t ( x , 0 )=∑ Sen ( )
n=1 L L
Observamos que nuevamente encontramos series de Fourier de senos.
Ejercicio 5: Resolver el ejemplo 4, para L=1 , f ( x )=x (1−x ) y g ( x ) =0
Solución

μ ( x , t )=4 ∑

[ 1−(−1 )n ]
Sen ( nπx ) cos(nπt )
3 3
n=1 n π

Ejercicio 6: Resolver el ejemplo 4, para L=1 , f ( x )=0 y g ( x ) =x (1−x)
Solución

μ ( x , t )=4 ∑
[ 1−(−1 )n ] Sen ( nπx ) Sen( nπt)
4 4
n=1 n π

CONDICIONES INICIALES Y CONDICIONES DE FRONTERA
Todas las ecuaciones anteriores tienen infinitas soluciones. Para capturar una solución
concreta añadiremos a la ecuación un número adecuado de condiciones adicionales,
que pueden ser de dos tipos:
Condiciones iniciales: posición, velocidad y temperatura. Estas condiciones fijan el
estado del objeto en el instante inicial. Empezamos por la ecuación de ondas, que es de
segundo orden en el tiempo, luego necesita exactamente dos condiciones iniciales; a
saber, fijar:
- La posición inicial : μ ( ⃗x , 0 )=f (⃗x ) para ⃗x ∈ Ω ; y
- La velocidad inicial: μt ( ⃗x ,0 )=g( ⃗x ) para ⃗x ∈ Ω .
En cambio, la ecuación del calor es de primer orden en el tiempo, luego basta fijar la
temperatura inicial: μ ( ⃗x , 0 )=f (⃗x ) para ⃗x ∈ Ω . Y, para acabar, la ecuación de
Laplace/Poisson es estática, luego no tiene sentido fijar el estado inicial del objeto, ya
que ese estado es justamente la incógnita del problema. Sería como preguntar de qué
color es el caballo blanco de Santiago.
Condiciones de frontera: Dirichlet (valor fijo) y Neumann (flujo fijo). Estas condiciones
(también llamadas condiciones de contorno) determinan la interacción del objeto con
el medio que lo rodea, luego sólo tienen sentido cuando el objeto estudiado tiene
frontera. Por ejemplo, la cuerda vibrante infinita no tiene frontera y las cuerdas de una
guitarra sí. Hay de dos tipos de condiciones de frontera:
- Tipo Dirichlet: Consisten en fijar el valor de la función incógnita en los puntos de
la frontera.
- Tipo Neumann: Consisten en “fijar el flujo" - es decir, el valor de la derivada en
la dirección normal a la frontera - de la función incógnita en los puntos de la
frontera.
Diremos que estas condiciones son homogéneas cuando el valor (o el flujo) fijado sea
igual a cero.

Ejemplo 1. Un PVI de calor 1D en una barra de longitud L con condiciones de
frontera de tipo Neumann consiste en las ecuaciones:

{
2
μt =k μ xx x ∈ ⟨ 0, L ⟩
t >0
μ ( x , 0 )=f ( x ) x ∈ ⟨ 0, L ⟩
μ x ( 0,t )=hl (t )
t >0
μx ( L, t )=h ᴦ (t )
Donde la temperatura f : [ 0, L ] → R y los flujos hl , h ᴦ : [ 0, ∞ ⟩ → R son funciones
conocidas.
Ejemplo 2. Un PVI de Poisson 2D en un cuadrado de lado 2 L barra con condiciones
de frontera de tipo Dirichlet homogéneas consiste en ecuaciones de la forma:
{
μ xx + μtt =G ( x , t ) , x ∈ ⟨−L , L ⟩ t ∈ ⟨−L , L ⟩
μ ( ± L , t ) =0
t ∈ ⟨−L , L ⟩
μ ( x , ± L ) =0, x ∈ ⟨−L , L ⟩