You are on page 1of 8

RESOLUCIN DE ECUACIONES DIFERENCIALES PARCIALES DE SEGUNDO ORDEN

EL MTODO DE SEPARACIN DE VARIABLES


Supongamos que queremos estudiar cmo se difunde el calor en un alambre
homogneo de longitud a lo largo del tiempo. Para ello, necesitamos conocer la
temperatura inicial en cada punto del alambre.
Tambin necesitamos contar con alguna informacin sobre lo que sucede en los
extremos del alambre (cul 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
seccin transversal en cada instante de tiempo y que la superficie del alambre est
aislado, por lo que no se produce prdida de calor a travs de ella. Si denotamos por
(, ) la temperatura del alambre en el punto y en el instante , desde el punto de
vista matemtico, este problema se puede formular de la siguiente manera:

(, ) = (, ), 0,
{(0, ) = (, ) = 0, >0 (1)
(, 0) = (), 0,
Iniciamos el procedimiento de solucin, admitiendo que el problema tiene una
solucin de la forma:
(, ) = (). ()
Por comodidad utilizaremos:
= . (2)

Donde y son funciones desconocidas no nulas que dependen solamente de y


respectivamente. Es decir, queremos determinar las soluciones en las cuales las
variables y aparecen separadas (de ah el nombre del mtodo). Es inmediato ver
que para este tipo de funciones la ecuacin del Calor se reduce a un par de EDO:
sustituyendo la expresin (2) en la EDP dada, resulta:
= , 0, , > 0

= , 0, , > 0

Como las variables y son independientes, la nica posibilidad para que la igualdad
anterior se produzca es que exista una constante tal que:


= = , 0, , > 0 (3)

Imponiendo condiciones de contorno:
(0, ) = (0)() = 0; > 0
{ (0) = () = 0 (4)
(, ) = ()() = 0; > 0
De la relacin (3), obtenemos:
+ = 0; 0, , (0) = () = 0
{ (5)
+ = 0 >0

Donde es una constante desconocida arbitraria cuyos valores se determinan


resolviendo (5).
1. Resolviendo el problema de contorno:
+ = 0; 0, , (0) = () = 0
Observamos que se tiene una EDO de segundo orden lineal y con coeficientes
constantes. Hallemos su solucin:
1 Si = :
= 0 () = 1 + 2 Con 1 , 2
Utilizando CC, se tiene nuevamente que: 1 = 2 = 0
As:
() = 0 Solucin trivial
2 Si < :
+ = 0 () = 1 + 2 Con 1 , 2
Utilizando CC, se tiene: 1 = 2 = 0
As:
() = 0 Solucin trivial
3 Si > :
+ = 0 () = 1 () + 2 () Con 1 , 2
2 = 0
Utilizando CC, se tiene: 1 = 0 y 2 () = 0 { 2
()
=
2
Como deseamos soluciones no nulas, tomamos:
()2
= Para algn
2
As:

() = . ( ) Soluciones no nulas, donde

2. Resolviendo + = ; > 0.

=
() = +
= + = . =
=
()2
Reemplazando el valor de = , se obtiene:
2

()

() =
3. Solucin del problema planteado:
Siendo:
(, ) = (). ()
Entonces:

Soluciones de la ecuacin del calor,
(, ) = ( ) donde .

Verificando la condicin inicial:
Si = 0, entonces:

(, ) = ( ) = ()

Luego el valor de , depende de la forma que tenga (). Por ejemplo si

() = 3( ) ( ) = 3( )



=5
{ (, ) = ( ).
=3
Del mismo modo, por la linealidad:

si () = ( ) + ( ), entonces:



(, ) = ( ) + ( )

En general, si:


() = ( )

=
Entonces:
Solucin de la ecuacin del

(, ) = ( ) calor

=

Nota:
1. ste mtodo es muy importante en la solucin de EDP, pero no cubre todas las
posibilidades, ya que no siempre la temperatura inicial (), va a tener la
forma anterior. El aporte que hizo Fourier y expuesto en 1807 ante la Academia
de Ciencias de Pars, de que cualquier funcin arbitraria () puede ser
expresada como una serie infinita de senos ", es decir en la forma:


() = ( )

=
Nos permite expresar formalmente la solucin del problema dado de la
ecuacin del calor como:


(, ) = ( )

=

2. Es de suponer que la afirmacin de Fourier caus un impresionante revuelo


entre los miembros de la Academia, muchos de los cuales no aceptaron la
validez de su planteamiento. Tal incomprensin puede entenderse fcilmente,
debido a que era la primera vez en la Historia que apareca el concepto de una
base con infinitos elementos" y a que en aqul momento muchos de los
conceptos matemticos (funcin, convergencia de series, etc...) todava no
estaban rigurosamente establecidos.
3. Se debe recordar que:

= () ( ) ; +

Ejemplo 1: Resolver la ecuacin del calor del problema anterior si () = (1 )
[0,1].
Solucin
1. Expresando () en trminos de senos:
+ , se tiene que:
2
= 0 () ( ) . (1)

Para nuestro caso:

() = (1 )
{
0, = 0,1 = 1
As:
1
4[1 (1) ]
= 2 (1 ) () =
0 3 3
Siendo:


() = ( )

=1
Entonces:

[1 (1) ]
() = ( ) = 4 ()
3 3
=1 =1
Siendo adems:
2 2
2 [1 (1) ] 2 2
(, ) = ( ) = 4 3 3
()

=1 =1

Por lo tanto:

[ () ]
(, ) =
()

=
Ejemplo 2: Resolver la ecuacin del calor del problema anterior, suponiendo ahora que
los extremos del alambre permanecen aislados todo el tiempo.
Solucin
El problema se formula de la siguiente manera:

(, ) = (, ), 0, , > 0
(,
{ ) = ), (, >0 (1)
(, 0) = (), 0,
Admitimos que el problema tiene una solucin de la forma:
(, ) = (). ()
Que por comodidad utilizaremos:
= .
Se observa adems, que slo han cambiado las condiciones de contorno, que se imponen
sobre las derivadas de (, ) con respecto de . Aplicando el mismo razonamiento anterior,
se tiene:
+ = 0; 0, , (0) = () = 0
{ (2)
+ = 0 >0
La solucin para sigue siendo la misma; la nica que cambia es para , cuya solucin
se obtiene considerando los tres casos para ya estudiados.
Siendo as, las soluciones no nulas se obtienen si tomamos:
()2
= Para algn
2
Luego:

() = . ( ) Soluciones no nulas, donde
La presencia del trmino de coseno en esta solucin, nos indica que la funcin ()
debe ser expresada en la forma:

0
() = + ( )
2
=1
Que se Conoce como la serie de Fourier de cosenos de (), donde:
2
= 0 () (

) ; +
Finalmente, la solucin del problema queda expresado como:


(, ) = + ( )

=

Ejemplo 3: Resolver la ecuacin del calor del problema anterior expresando () =


(1 ) en una serie de cosenos en [0,1]
Solucin
1. Expresando () en trminos de cosenos:
+ , se tiene que:
2
= 0 () ( ) . (1)

Para nuestro caso:

() = (1 )
{
0, = 0,1 = 1
As:
1
= 2 (1 ) ()
0
Entonces:
1
0 =
{ 3
2[1 + (1) ]
=
2 2
Siendo:

0
() = + ( )
2
=1
Entonces:

1 2 [1 + (1) ]
() = 2 ()
6 2
=1
Siendo adems:
2 2
0 2
(, ) = + ( )
2
=1
2. Solucin del problema planteado:
2 2
1 2 [1 + (1) ]
(, ) = 2 () 2
6 2
=1

Ejemplo 4: Ecuacin de la cuerda vibrante. Este problema se resuelve mediante el


mismo procedimiento, aunque la EDP correspondiente es del tipo hiperblico. Consiste
en determinar las vibraciones de una cuerda elstica de longitud y densidad
constante, sujeta por los extremos y de la cual conocemos la posicin (, ) del punto
de la cuerda en el instante y; la velocidad inicial en cada punto.
Este problema se reduce a resolver la EDP:

(, ) = (, ), 0, , > 0
(0, ) = (, ) = 0, >0
(1)
(, 0) = ()
{ 0,
{ (, 0) = ()

Iniciamos el procedimiento de solucin, admitiendo que el problema tiene una


solucin de la forma:
(, ) = (). ()
Por comodidad utilizaremos:
= . (2)

Donde y son funciones desconocidas no nulas que dependen solamente de y


respectivamente. Es decir, queremos determinar las soluciones en las cuales las
variables y aparecen separadas (de ah el nombre del mtodo). Es inmediato ver
que para este tipo de funciones la ecuacin de la onda se reduce a un par de EDO:
sustituyendo la expresin (2) en la EDP dada, resulta:
= , 0, , > 0

= , 0, , > 0

Como las variables y son independientes, la nica posibilidad para que la igualdad
anterior se produzca es que exista una constante tal que:


= = , 0, , > 0 (3)

De la relacin (3), obtenemos:
+ = 0; 0, , (0) = () = 0
{ (4)
+ = 0 >0
Donde es una constante desconocida arbitraria cuyos valores se determinan
resolviendo (4).
1 Solucin de la EDO para :
Es la misma que para la ecuacin del calor, es decir:
()2
Para algn , si tomamos: =
2
Se obtiene las soluciones no nulas:

() = . ( ) Donde
2 Solucin de la EDO para :
Resolviendo la EDO:
+ = 0, >0
Reemplazando el valor de en esta EDO y resolviendo se obtiene:

() = 1 ( ) + 2 ( )

Donde 1 , 2 .
As, siendo (, ) = (). ()

(, ) = (). () = . ( ) [1 ( ) + 2 ( )]

Por lo tanto para cada + , una solucin bsica de la ecuacin de Ondas es:

(, ) = ( ) [ ( ) + ( )]

Donde , y; verifica tambin las condiciones de contorno.
Verificando que se satisface las condiciones iniciales en:


(, ) = ( ) [ ( ) + ( )]

=1
Es decir:


() = (, 0) = ( )

=1


() = (, 0) = ( )
{
=1
Observamos que nuevamente encontramos series de Fourier de senos.
Ejercicio 5: Resolver el ejemplo 4, para = 1, () = (1 ) y () = 0
Solucin

[1 (1) ]
(, ) = 4 () ()
3 3
=1

Ejercicio 6: Resolver el ejemplo 4, para = 1, () = 0 y () = (1 )


Solucin

[1 (1) ]
(, ) = 4 () ()
4 4
=1

CONDICIONES INICIALES Y CONDICIONES DE FRONTERA


Todas las ecuaciones anteriores tienen infinitas soluciones. Para capturar una solucin
concreta aadiremos a la ecuacin un nmero adecuado de condiciones adicionales,
que pueden ser de dos tipos:
Condiciones iniciales: posicin, velocidad y temperatura. Estas condiciones fijan el
estado del objeto en el instante inicial. Empezamos por la ecuacin de ondas, que es
de segundo orden en el tiempo, luego necesita exactamente dos condiciones iniciales;
a saber, fijar:
- La posicin inicial : (, 0) = () para ; y
- La velocidad inicial: (, 0) = () para .
En cambio, la ecuacin del calor es de primer orden en el tiempo, luego basta fijar la
temperatura inicial: (, 0) = () para . Y, para acabar, la ecuacin de
Laplace/Poisson es esttica, luego no tiene sentido fijar el estado inicial del objeto, ya
que ese estado es justamente la incgnita del problema. Sera como preguntar de qu
color es el caballo blanco de Santiago.
Condiciones de frontera: Dirichlet (valor fijo) y Neumann (flujo fijo). Estas condiciones
(tambin llamadas condiciones de contorno) determinan la interaccin del objeto con
el medio que lo rodea, luego slo 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 funcin incgnita en los puntos
de la frontera.
- Tipo Neumann: Consisten en fijar el flujo" - es decir, el valor de la derivada en
la direccin normal a la frontera - de la funcin incgnita en los puntos de la
frontera.
Diremos que estas condiciones son homogneas cuando el valor (o el flujo) fijado sea
igual a cero.

Ejemplo 1. Un PVI de calor 1D en una barra de longitud con condiciones de frontera


de tipo Neumann consiste en las ecuaciones:
= 2 0,
>0
(, 0) = () 0,
(0, ) = ()
>0
{ (, ) = ()
Donde la temperatura : [0, ] y los flujos , [0, son funciones
conocidas.
Ejemplo 2. Un PVI de Poisson 2D en un cuadrado de lado 2 barra con condiciones de
frontera de tipo Dirichlet homogneas consiste en ecuaciones de la forma:
+ = (, ), , ,
{ (, ) = 0
,
(, ) = 0, ,