You are on page 1of 24

REPBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DE EDUCACIN SUPERIOR


UNIVERSIDAD NACIONAL EXPERIMENTAL
RAFAEL MARIA BARALT
PROGRAMA: INGENIERA Y TECNOLOGA
PROYECTO: INGENIERA DE
MANTENIMIENTO MECANICO
MATERIA: MATEMATICAS V
PROFESOR: JHON MAIKER LAMBERTO








INTEGRANTES:
Cindy Montero. C.I.: 20.333.128
Emanuel Rondn. C.I.: 20.726.215
Edualvis Bermdez. C.I.: 19.336.471
Mauricio Rojas. C.I.: 19.336.076
Simn Sandrea. C.I.: 20.331.443
Leidis Montilla. C.I.: 20.842.572

SECCION: 01


Los puertos de Altagracia, enero 2012
Ecuaciones diferenciales en derivadas parciales (E.D.P)

1. Introduccin.

En esta actividad limitaremos nuestras consideraciones en las
ecuaciones diferenciales en derivadas parciales. El nfasis se pondr en un
procedimiento especfico usado para resolver ecuaciones hiperblicas,
parablicas y elpticas, adems se ver la solucin general de una E.D.P
homognea y otros mtodos. Estos problemas son descritos mediante
ecuaciones diferenciales en derivadas parciales de segundo orden
relativamente simples, sujetas a condiciones adicionales. Naturalmente, las
soluciones de estas ecuaciones, y por lo tanto os problemas fsicos,
dependen de la resolucin de las ecuaciones diferenciales ordinarias
asociadas.

2. Definiciones

Ecuaciones en derivadas parciales. Se entiende por ecuacin
diferencial en derivadas parciales (EDP) cualquier expresin de la forma:
0 ..) ,......... , ,......., , , ,.. , ( =
xy xx y x
u u u u u y x f (ec. 1)
Que contenga varias variables independientes x, y, una funcin
incgnita u y sus derivadas parciales sucesivas ,.... ,
y x
u u
En lo que sigue se utilizar esta notacin de subndices para
representar las derivadas parciales. As por ejemplo:
x y
u
u
x
u
u
x
u
u
xy xx x
c c
c
=
c
c
=
c
c
=
2
2
2
, ,
Definiciones 1. La ecuacin se considerar siempre definida en un
cierto dominio
n
R D c , si n es el nmero de variables independientes.
Estaremos entonces interesados en encontrar funciones u(x, y,..) que
verifiquen idnticamente en D, funciones que, si existen, llamaremos
soluciones de la correspondiente ecuacin diferencial en derivadas parciales.
El orden de una ecuacin diferencial en derivadas parciales es el mayor
orden de las derivadas parciales que en ella aparezcan. Por ejemplo, la
ecuacin: seny yu u u
x xx xx
= + + 6 3 , es de segundo orden, mientras que:,
0 3 = +u xu u e
xx xxy
x
, es una ecuacin diferencial en derivadas parciales de
tercer orden.

Definicin 2. Un ecuacin diferencial en derivadas parciales se dice
lineal si la funcin f es lineal en la variable dependiente u y en todas sus
derivadas parciales.

3. Problemas matemticos.

Las ecuaciones diferenciales en derivadas parciales de segundo orden
con coeficientes constantes, grupo al que pertenecen las denominadas
ecuaciones de la Fsica Matemtica. Si es dos el nmero de variables
independientes y las denotamos por x e y, la expresin ms general de este
tipo de ecuaciones es:
) , (
6 5 4 3 2 1
y x g u A u A u A u A u A u A
y x yy xy xx
= + + + + + (ec. 2 )
donde , 6 ., ,......... 1 , = i A
i
son constantes, y g(x,y) es una funcin de las
variables x e y denominada trmino independiente. Al igual que ocurra con
las ecuaciones diferenciales ordinarias, si g(x, y) es idnticamente nula, la
ecuacin diferencial en derivadas parciales se denomina homognea; en
caso contrario se hablar de ecuacin no homognea o completa.
A la hora de obtener las soluciones de (ec. 2), se presentan varias
diferencias importantes con respecto a las ecuaciones diferenciales
ordinarias, entre las que destacaremos las dos siguientes:
La primera est relacionada con el concepto de solucin general para
una ecuacin diferencial ordinaria lineal de orden n e N, es un conjunto de
funciones dependientes de n constantes arbitrarias. En lo que a las
ecuaciones diferenciales parciales se refiere, en lugar de constantes, la
solucin general depende de constantes arbitrarias. Para ilustrar esto
considere la ecuacin:
0 =
xy
u (ec. 3)
Manteniendo x fija e integrando con respecto a y, se obtiene:
) ( ) , ( x f y x u
x
=
Una segunda integracin con respecto a x, mientras ahora
consideramos a y fija, da
) ( ) ( ) , ( x h x g y x u + = (ec. 4)
Que es la solucin general de (15.3), siendo g y h funciones arbitrarias.
Para obtener de (15.4) una solucin particular, ser necesario aadir ciertas
condiciones adicionales que permitan determinar las funciones g y h
explcitamente, lo que puede resultar incluso ms difcil que la obtencin de
la propia solucin general. Esta dificultad no aparece en el caso ordinario, en
el que la obtencin de soluciones particulares requiere solamente la
determinacin de constantes arbitrarias. Por este motivo, en lugar de obtener
soluciones generales y a partir de ellas las correspondientes particulares que
verifiquen ciertas condiciones prescritas, consideraremos solamente
procedimientos que permitan obtener directamente estas soluciones
particulares.
La segunda diferencia se refiere al conjunto de soluciones de la
ecuacin homognea. Para las ecuaciones ordinarias lineales de orden
N ne , constituye un espacio vectorial de dimensin n, igual al orden de la
ecuacin. Esto viene a significar que toda solucin se puede expresar como
una combinacin lineal de soluciones linealmente independientes.
Desafortunadamente esto no es cierto, en general, para las ecuaciones
diferenciales en derivadas parciales lineales homogneas, debido a que,
aunque el conjunto formado por sus soluciones tiene tambin estructuras de
espacio vectorial (puesto que la ecuacin el lineal), sin embargo, su
dimensin es infinita. Este hecho se pone de manifiesto en el siguiente
ejemplo:
Efectuando el cambio de variables
r = x + y ; s = x y
en la ecuacin diferencial en derivadas parciales
0 =
y x
u u
obtenemos la ecuacin
0 2 =
s
u
de la que deducimos como solucin general
) ( ) , ( r f s r u =
y, deshaciendo el cambio anterior:
) ( ) , ( y x f y x u + =
donde ) ( y x f + es una funcin arbitraria con la sola restriccin de ser
diferenciable. De aqu se sigue que cada una de las funciones:
N n e y x n y x senn y x
y x n n
e + + +
+
; ); ( cos ); ( ; ) (
) (

Es una solucin de la ecuacin de partida, y es evidente que todas ellas
son linealmente independientes. Debido a este hecho, en principio se puede
considerar la posibilidad de construir soluciones en forma de sumas infinitas
de soluciones linealmente independientes. Sin embargo como existen
problemas de convergencia, no es inmediato el que una suma infinita de
soluciones sea una solucin. Ntese que debido al carcter lineal de las
ecuaciones diferenciales en derivadas parciales que estamos considerando,
la suma infinita de soluciones siempre es solucin; es decir, al igual que en el
caso ordinario, para las ecuaciones diferenciales en derivadas parciales
lineales tambin se verifica el Principio de Superposicin. Sin embargo, como
se acaba de comentar, este principio presenta problemas en el caso de
superposiciones infinitas. Este tipo de cuestiones relacionadas con la
convergencia, ser contemplado con detalle ms adelante.
En s, se describir, con carcter general, el tipo de problema que
vamos a abordar relacionados con las ecuaciones diferenciales en derivadas
parciales, as como los mtodos que se utilizarn para su resolucin. Todo
ello se har para el caso de variables independientes. Tambin se dar una
clasificacin de las ecuaciones diferenciales en derivadas parciales lineales
con coeficientes constantes en dos variables independientes. Despus se
definir el tipo de condiciones el tipo de condiciones adicionales, que,
aadidas a la ecuacin diferencial lineal en derivadas parciales
correspondiente, proporcionarn los problemas en cuyas soluciones se
centrar el inters. Posteriormente se describirn los mtodos que se
emplearn para la obtencin de estas soluciones particulares en las distintas
situaciones. Los mtodos que se emplearn se fundamenten en la
denominada separacin de variables y en el uso de la transformada de
Laplace. Tambin se incluir el operador laplaciano, dndose su
representacin en distintos sistemas de coordenadas (cartesianas y polares
en el plano; cartesianas, esfricas y cilndricas en el espacio de tres
dimensiones). Este operador jugar un importante papel al estudiar la
ecuacin de Laplace y, en general, cuando se traten las ecuaciones de la
Fsica Matemtica en el caso de tres variables independientes.

4. Clasificacin de ecuaciones diferenciales parciales de segundo
orden

Se clasifican en elpticas, parablicas e hiperblicas.
La clasificacin de las ecuaciones diferenciales en derivadas parciales
(ec. 2) surge por su analoga con la ecuacin de las cannicas en el plano
0
6 5 4
2
3 2
2
1
= + + + + + A y A x A y A xy A x A

As, dependiendo de que la cantidad
3 1
2
2
4 A A A sea positiva, negativa o
nula, hablaremos de ecuaciones diferenciales en derivadas parciales
hiperblicas, elpticas o parablicas; es decir:

<
=
>

elpticas
s parablica
as hiperblic
A A A
EDP 0
EDP 0
EDP 0
4
3 1
2
2

La utilidad de esta clasificacin se basa, esencialmente, en la
posibilidad de reducir (ec. 2) (en cada uno de los tres casos anteriores) a una
forma cannica, mediante un adecuado cambio de variables independientes.
Para determinar estas formas cannicas, empezamos por considerar un
cambio de variables independientes genrico:
( ) ( ) x,y s ; s x,y r r = =
Donde supondremos que r y s son funciones de x e y dos veces
derivables, de manera que el jacobiano de la transformacin
y x
y x
s s
r r
J


=
Es distinto de cero en la regin en que estamos interesados. Entonces,
suponiendo que x e y son, a su vez, funciones de r y s dos veces derivables,
podemos introducir el cambio en (15.2) sin ms que tener en cuenta que:
( )

+ + + + =
+ + + + + =
+ + + + =
+ =
+ =
yy s yy r y ss y y rs y rr yy
xy s xy r y x ss x y y x rs y x rr xy
xx s xx r x ss x x rs x rr xx
y s y r y
x s x r x
s u r u s u s r u r u u
s u r u s s u s r s r u r r u u
s u r u s u s r u r u u
s u r u u
s u r u u
2 2
2 2
2
2 (ec. 5)
Sustituyendo estos valores en (ec. 2) se obtiene:
( ) s r g u B u B u B u B u B u B
s r ss rs rr
,
6 5 4 3 2 1
= + + + + + (ec. 6)

( )

=
+ + + + =
+ + + + =
+ + =
+ + + =
+ + =
6 6
5 4 3 2 1 5
5 4 3 2 1 4
2
3 2
2
1 3
3 2 1 2
2
3 2
2
1 1
2 2
A B
s A s A s A s A s A B
r A r A r A r A r A B
s A s s A s A B
s r A s r s r A s r A B
r A r r A r A B
y x yy xy xx
y x yy xy xx
y y x x
y y x y y x x x
y y x x
(ec. 7)
Observacin. La ecuacin resultante (ec. 6) va a tener coeficientes
variables. Sin embargo, posee la misma estructura que la original (ec. 2) y,
adems, su naturaleza permanece invariante ante la transformacin
efectuada puesto que, como puede comprobarse fcilmente:
( )
3 1
2
2
2
3 1
2
2
4 4 A A A J B B B =
Y, por tanto, si inicialmente la ecuacin era parablica, hiperblica o
elptica, despus del cambio contina perteneciendo a la misma clase, sin
ms que exigir que el Jacobiano sea distinto de cero.
Supongamos entonces que 0
1
= A , en (ec. 2). En estas condiciones
para obtener las formas cannicas buscadas, tratamos de determinar r y s
como funciones de x e y de forma que en la ecuacin transformada,
1
B y
3
B
sean idnticamente cero.
Esta condicin proporciona las ecuaciones:
0
0
2
3 2
2
1 3
2
3 2
2
1 1
= + + =
= + + =
y y x x
y y x x
s A s s A s A B
r A r r A r A B

Puesto que estas dos ecuaciones tienen la misma estructura, podemos
estudiarlas como si de una sola se tratase. Representndola por:
0
2
3 2
2
1
= + +
y y x x
f A f f A f A (ec. 8)
Si dividimos por
2
y
f obtenemos
0
3 2
2
1
= +
|
|
.
|

\
|
+
|
|
.
|

\
|
A
f
f
A
f
f
A
y
x
y
x
(ec. 9)

Ahora bien, sobre las cuevas cte f , se tiene 0 = + = dy f dx f df
y x
, es
decir:
y
x
f
f
dx
dy
=
Con lo que en este caso, (15.9) puede escribirse como
( ) ( ) ( ) ( ) 0 ' '
3 2
2
1
= + + A x y A x y A
Cuyas races son
1
3 1
2
2 2
2
1
3 1
2
2 2
1
2
4
) ( ' ;
2
4
) ( '
A
A A A A
x y
A
A A A A
x y

= =
+
= = (ec. 10)
Definicin. Las dos ecuaciones diferenciales ordinarias de primer orden
anteriores se denominan ecuaciones caractersticas de la ecuacin
diferencial en derivadas parciales y sus soluciones, que obtenemos por
integracin directa
1 1
) ( C x x y + =
2 2
) ( C x x y + =
Reciben el nombre de curvas caractersticas.
Puesto que las dos curvas caractersticas dependen de una constante
arbitraria, basta elegir r como una de ellas y s como la otra, para obtener el
cambio de variables buscado que viene dado por:
x y r
1
=
x y s
2
= (ec. 11)
Observacin. La transformacin (ec. 11) es tal que los coeficientes
i
B
, 6 ,..., 1 = i de la ecuacin transformada (15.6) son tambin constantes, como
puede comprobarse utilizando las expresiones (ec. 7). En consecuencia, las
formas cannicas que a continuacin obtendremos para cada uno de los
tipos hiperblico, parablico y elptico, tendrn coeficientes constantes.



5. Ecuaciones diferenciales en derivadas parciales tipo
Hiperblicas

En este caso 0 4
3 1
2
2
> A A A y, por tanto, las dos ecuaciones
caractersticas (ec. 10) son reales y distintas. El cambio de variables es
entonces el dado por (15.11) y la ecuacin diferencial en derivadas parciales
(en. 2) se transforma en:
( ) s r g B u B u B u
s r rs
,
6 5 4
+ =
Expresin que se denomina primera forma cannica de las ecuaciones
diferenciales en derivadas parciales hiperblicas. Si en esta ltima ecuacin
se introduce el cambio de variables
s r s r = + = | o ;
Obtenemos
( ) | o
| o || oo
,
6 5 4
g u C u C u C u u + + + =
Donde
i
C 6 , 5 , 4 = i , son constantes. Esta expresin se denomina
segunda forma cannica de las ecuaciones hiperblicas y ser la que
utilicemos en el mtodo de separacin de variables.
Observacin. 0
1
= A en (ec. 2), las ecuaciones (ec. 10) dejan de ser
vlidas.
En este caso, escribimos (15.8) en la forma
0
2
3 2
=
|
|
.
|

\
|
+
|
|
.
|

\
|

dy
dx
A
dy
dx
A
De donde obtenemos las ecuaciones caractersticas:
0 =
dy
dx
; 0
3 2
=
|
|
.
|

\
|
+
dy
dx
A A
Cuyas soluciones son
1
C x =
2
3
2
C y
A
A
x + =
Eligiendo ahora
x r =
y
A
A
x s
3
2
=
La ecuacin transformada de (ec. 2) mediante este cambio tiene ya la
estructura de la primera forma cannica de la que podemos obtener la
segunda forma cannica mediante el mismo cambio anterior.
Observacin. A este tipo de ecuaciones pertenece la denominada
ecuacin de ondas, cuya expresin es
( ) t x A u c u
xx tt
,
2
+ =
Donde t representa el tiempo y x representa la variable espacial.

6. Ecuaciones diferenciales en derivadas parciales tipo
parablicas

0 4
3 1
2
2
= A A A y por tanto, solo disponemos e una curva caracterstica
1
1
2
2
C x
A
A
y + =
Puesto que
2 1
= en (15.10). As, eligiendo x
A
A
y r
1
2
2
= , podemos
considerar y k x k s
2 1
+ = , siendo
1
k y
2
k constantes cualesquiera, con la sola
condicin de que el correspondiente Jacobiano sea distinto de cero. Con la
eleccin adecuada de las constantes
1
k y
2
k , el cambio anterior transforma
(ec. 2) en
( ) s r g u B u B u B u
s r ss
,
6 5 4
+ =
Que es la forma cannica para las ecuaciones d tipo parablico
i
B
6 , 5 , 4 = i , son constantes.
Observacin. Si 0
1
= A entonces
2
A es tambin cero y la ecuacin, en
este caso viene ya expresada en forma cannica
Observacin. A este tipo de ecuaciones pertenece la denominada
ecuacin de difusin, cuya expresin es
( ) t x A ku u
xx t
, + =
Donde t y x son las mismas variables que aparecen en la ecuacin de
ondas.

7. Ecuaciones diferenciales en derivadas parciales tipo elpticas

0 4
3 1
2
2
< A A A , con lo que las curvas caractersticas son
1 1
) ( C x x y + =
2 2
) ( C x x y + =
Donde
1
y
2
son nmeros complejos conjugados, cuyo valor es
)
`

=
+ =
ib a
ib a
2
1

;
1
2
2A
A
a = ;
( )
1
2
1
2
2 3 1
2
4
A
A A A
b

=
Consideramos entonces el cambio:
( )
( )x ib a y s
x ib a y r
=
+ =

Introduciendo ahora las nuevas variables
( ) ( ) bx s r
i
ax y s r = = = + =
2
1
;
2
1
| o
La ecuacin (15.2) se transforma en
( ) | o
| o || oo
,
6 5 4
g u B u B u B u u + = +
Donde:
i
B 6 , 5 , 4 = i , son constantes. Esta expresin es la forma
cannica correspondiente a las ecuaciones elpticas.
Observacin. En este caso se tiene 0 4
3 1
2
2
< A A A y por tanto las
constantes
1
A y
3
A de (ec. 2) no pueden ser cero ya que entonces
2
A sera
un nmero complejo.
Observacin. A este tipo de ecuaciones pertenece la denominada
ecuacin de Laplace, cuya expresin es
0 = Au
Donde A representa el operador laplaciano que en coordenadas
cartesianas en el plano est definido por la expresin
yy xx
u u u + = A
Obtenga la forma cannica de la ecuacin diferencial en derivadas
parciales
2 5 4 = + + + +
y x yy xy xx
u u u u u
Solucin
Puesto que 4
1
= A , 5
2
= A y 1
3
= A , se tiene 0 4
3 1
2
2
> A A A , por tanto la
ecuacin es hiperblica. Las ecuaciones caractersticas son:
1 ) ( ' = x y
4
1
) ( ' = x y
y, en consecuencia, las curvas caractersticas vienen dadas por
1
C x y + =
2
4
C
x
y + =
As pues la transformacin
x y r =
4
x
y s =
Reduce la ecuacin dada a la forma cannica
9
8
3
1
=
s rs
u u
8. Mtodo de solucin para una ecuacin diferencial parcial.

Problemas con valores en la frontera y problemas de valor inicial

Distinguiremos entre las ecuaciones de evolucin (ecuaciones de ondas
y difusin) que describen procesos que cambian con el tiempo y que, por
tanto, contienen a este como variable independiente y las ecuaciones
estacionarias (ecuacin de Laplace) que describen procesos estticos y, en
consecuencia, no dependen del tiempo.
Para las primeras aparecen de forma natural en las aplicaciones dos
tipos de condiciones auxiliares.
Condiciones iniciales: al igual que en el caso de las ecuaciones
ordinarias, prescriben el valor de la funcin y/o sus derivadas en cierto
instante
0
t . Supondremos siempre que 0
0
= t , lo que no restar
generalidad a los resultados que se obtengan. El nmero de
condiciones iniciales a considerar depende del orden de la derivada
parcial con respecto al tiempo que contenga la ecuacin y coincide
con este. As, para las ondas ( ( ) t x A u C u
xx tt
,
2
+ = ) se considerarn dos
condiciones iniciales:
( ) ( ) ( ) ( ) x f
t
u
x u x f x u
t
t 2
0
1
0 , ; 0 , =
c
c
= =
=

Mientras que para la difusin ( ( ) t x A ku u
xx t
, + = ), solamente una:
( ) ( ) x g x u = 0 ,
Condiciones de frontera (o contorno): estn asociadas a variables que
representan alguna dimensin espacial y que, por tanto se hallan
restringidas a una cierta regin O finita o semi-infinita en el espacio.
Si la ecuacin diferencial en derivadas parciales es de segundo orden,
v a ser necesario conocer el valor de la solucin, de su derivada o d
una combinacin lineal de ellas, en la frontera O c de la regin
considerada. As pues trataremos tres tipos de condiciones de
frontera:

1) Condiciones de Dirichlet: consisten en preescribir el valor de la
solucin en la frontera y pueden representarse por
( ) ( ) t g t x u =
O c
,
2) Condiciones de Neumann: consisten en preescribir el valor de la
derivada segn la direccin normal de la solucin en la frontera y pueden
representarse por
( ) ( ) t g t x
n
u
=
c
c
O c
,

3) Condiciones de Robin: son de carcter mixto pues prescriben el
valor de una combinacin lineal de la solucin y su derivada segn la
direccin normal en la frontera. Se pueden representar por:
( ) ( ) ( ) ( ) R k t g t x
n
u
k t x u e =
c
c
+
O c O c
, ,
Donde x representa el conjunto de variables que definen la regin O
del espacio.
En sntesis, para las ecuaciones de evolucin nos ocuparemos de
resolver problemas de valores iniciales con condiciones de frontera de uno
de los tres tipos anteriores.
a) Problema de Dirichlet para la ecuacin de ondas:
( ) t x A u c u
xx tt
,
2
+ = ; 1 0 < < x ;
+
eR t
( ) ( ) t g t u
1
, 0 = ; ( ) ( ) t g t l u
2
, = (condiciones de frontera)
( ) ( ) x f x u
1
0 , = ; ( ) ( ) x f x u
t 2
0 , = (condiciones iniciales)
b) Problema de Neumann para la ecuacin de difusin:
( ) t x A ku u
xx t
, + = ; 1 0 < < x ;
+
eR t
( ) ( ) t g t u
x 1
, 0 = ; ( ) ( ) t g t l u
x 2
, = (condiciones de frontera)
( ) ( ) x f x u = 0 , (condiciones iniciales)

c) Problema de Robin para la ecuacin de ondas:
( ) t x A u c u
xx tt
,
2
+ = ; 1 0 < < x ;
+
eR t
( ) ( ) ( )
( ) ( ) ( )
)
`

= +
= +
t f t l u h t l u
t f t u h t u
x
x
2 2
1 1
, ,
, 0 , 0
(condiciones de frontera)
( ) ( ) x g x u
1
0 , = ; ( ) ( ) x g x u
t 2
0 , = (condiciones iniciales)
Abordaremos por tanto los problemas de Dirichlet, Neumann y Robin
para este tipo de ecuaciones. Ejemplos de este tipo de problemas,
formulados en coordenadas cartesianas para un rectngulo de longitud y
anchura b, son:
i. Problema de Dirichlet para la ecuacin de Laplace
0 = +
yy xx
u u ; a x < < 0 ; b y < < 0
( ) ( ) y f y u
1
, 0 = ; ( ) ( ) y f y a u
2
, = (condiciones de frontera en x)
( ) ( ) x g x u
1
0 , = ; ( ) ( ) x g b x u
2
, = (Condiciones de frontera en y)
ii. Problema de Neumann para la ecuacin de Poisson:
( ) y x A u u
yy xx
, = + ; a x < < 0 ; b y < < 0
( ) ( ) y f y u
x 1
, 0 = ; ( ) ( ) y f y a u
x 2
, = (condiciones de frontera en x)
( ) ( ) x g x u
y 1
0 , = ; ( ) ( ) x g b x u
y 2
, = (condiciones de frontera en y)
iii. Problema de Robin para la ecuacin de Laplace:
0 = +
yy xx
u u ; a x < < 0 ; b y < < 0
( ) ( ) ( )
( ) ( ) ( )
)
`

= +
= +
y f y a u h y a u
y f y u h y u
x
x
2 2
1 1
, ,
, 0 , 0
(Condiciones de frontera en x)
Anlogas en y y condiciones de frontera a anlogas en y.
OBTENCIN DE SOLUCIONES PARTICULARES

Se describir a continuacin los dos tipos de mtodos que utilizaremos
para la resolucin de los problemas de valor inicial y/o de frontera propuestos
en el apartado anterior. El primero de ellos se conoce con el nombre de
mtodo de separacin de variables, y se fundamenta en la construccin de
un adecuado problema de Sturm-Liouville, del que se obtiene un conjunto de
autofunciones en trminos de las cuales se construye la solucin. En el
segundo utilizaremos la transformada de Laplace.

Mtodo de separacin de variables

Presentamos aqu el mtodo de separacin de variables aplicado a la
resolucin de los problemas de valor inicial y/o de frontera definidos en el
apartado anterior, para ecuaciones diferenciales en derivadas parciales en
dominios acotados, situacin en la que este mtodo resulta ms apropiado.
Consideremos ecuaciones diferenciales en derivadas parciales homogneas
en dos variables independientes y condiciones de frontera tambin
homogneas.
Considrense los problemas:
1. Para las ecuaciones hiperblicas ( 1 0 < < x ;
+
eR t )
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
R c
x f x u x f x u
t l u h t l u
t u h t u
u c u
t
x
x
xx tt
e

= +
)
`

= +
= +
=
2 1
2
1
2
0 , ; 0 ,
0 , ,
0 , 0 , 0



2. Para las ecuaciones parablicas ( 1 0 < < x ;
+
eR t )
( ) ( )
( ) ( )
( ) ( )
R k
x f x u
t l u h t l u
t u h t u
ku u
x
x
xx t
e

=
)
`

= +
= +
=


3
2
1
0 ,
0 , ,
0 , 0 , 0

3. Para las ecuaciones elpticas ( a x < < 0 ; b y < < 0 )
(c. de frontera) (ec. 12)
(c. iniciales)
(c. de frontera) (ec. 13)
(c. inicial)
( ) ( )
( ) ( )
( ) ( ) ( ) ( )

= =
)
`

= +
= +
= +
x f b x u x f x u
y l u h y l u
y u h y u
u u
x
x
yy xx
5 4
2
1
, 0 ,
0 , ,
0 , 0 , 0
0
;



El mtodo de separacin de variables consiste en buscar la solucin
como un producto de dos funciones, dependientes cada una de ellas de una
de las variables.
Es decir, supondremos
( ) ( ) ( ) t N x M t x u = ,
Para los casos hiperblico y parablico, y
( ) ( ) ( ) y N x M y x u = ,
Para el caso elptico. Cambiando u por esta expresin en la
correspondiente ecuacin diferencial en derivadas parciales y dividiendo a
continuacin por la propia funcin, se obtiene
( )
( )
( )
( ) x M
x M
t N
t N
c
' '
=
' '
2
1
(caso hiperblico)
( )
( )
( )
( ) x M
x M
t N
t N
k
' '
=
'
2
1
(caso parablico)
( )
( )
( )
( ) x M
x M
y N
y N ' '
=
' '
(caso elptico)
Ya que los dos miembros de estas expresiones dependen de variables
distintas, ambos deben ser iguales a una constante. Denotando por esta
constante de separacin, se obtienen las siguientes ecuaciones diferenciales
ordinarias para M y N:
( ) ( ) x M x M = ' ' (en los tres casos) (ec. 15)
y
( ) ( )
( ) ( )
( ) ( )

= ' '
= + '
= + ' '
0
0
0
2
y N y N
t N k t N
t N c t N


(c. de frontera en x) (ec. 14)
(c. de frontera en y)
(caso hiperblico)
(caso parablico) (ec. 16)
(caso elptico)
As pues se ha pasado de una ecuacin diferencial en derivadas
parciales en dos variables independientes a dos ecuaciones diferenciales
ordinarias separadas para cada una de ellas.


Transformada de Laplace

La transformada de Laplace proporciona un mtodo efectivo para
obtener la solucin de algunos problemas de frontera y/o de valor inicial
asociados a las ecuaciones diferenciales en derivadas parciales. Incluso en
determinados casos, aunque se puedan usar tcnicas ms sencillas (como la
de separacin de variables que se acaba de exponer), este mtodo puede
dar informacin adicional de inters. Sin embargo, conviene tener presente
que, en otros casos, el uso de la transformada de Laplace no es apropiado,
pues lo nico que hace es aadir complicaciones sin proporcionar ms
informacin.
En principio, las caractersticas de un problema de frontera y/o de valor
inicial para una ecuacin diferencial en derivadas parciales que aconsejan el
uso de la transformada de Laplace para su resolucin, se pueden resumir en
los siguientes puntos:
1. la ecuacin diferencial en derivadas parciales es lineal (condicin
necesaria)
2. la ecuacin diferencial en derivadas parciales tiene coeficientes
constantes.
3. al menos una de las variables independientes (t), recorre el
intervalo
| | , 0
.
4. el problema incluye apropiadas condiciones iniciales (t=0) en la
variable de la condicin tres anterior.
Para ilustrar este procedimiento considrese el problema:
xx tt
u u = 16 ;
+
eR t ,
+
eR x
( ) 0 0 , = x u ; ( ) 1 0 , = x u
t

( )
2
, 0 t t u = ; ( ) <

t x u
x
, lim
En l, las dos variables x y t, recorren el intervalo | | , 0 ; sin embargo, la
variable x, presenta una sola condicin en x=0 y, se necesitan dos
condiciones para transformar por Laplace una derivada segunda.
Por tanto ser ms conveniente abordar este problema mediante la
transformada de Laplace con respecto a la variable t.
Sea ( ) | |( ) ( ) s x u s t x u L , , =
Donde la variable x se considera como un parmetro. Suponiendo que
en la ecuacin diferencial en derivadas parciales, las operaciones de
derivacin con respecto a x y transformacin por Laplace con respecto a t
son permutables, su transformada es:
( ), 1 16
2
+ = u s u
xx

+
eR x
Que puede considerarse como una ecuacin diferencial ordinaria en la
variable x, en la que ahora s es un parmetro. Su solucin general es
( ) ( )
2
4
2
4
1
1
,
s
e s C e s C s x u
sx sx
+ =


Transformando nuevamente con respecto a t las condiciones dadas
sobre x:
( )
3
2
, 0
s
s u =
( ) + <

s x u
x
, lim
y, por tanto:
( )
2
4
2 3
1 1 2
,
s
e
s s
s x u
sx
|
.
|

\
|
+ =


Finalmente podemos escribir la solucin buscada en la forma
( ) ( ) | |

>
> + +
=
x t si t
x t si x t
t x u
4
4 4
) , (
2

4x - t t -



9. Aplicaciones

Entre las ecuaciones de matemticas aplicadas se encuentra la
ecuacin de difusin de calor en coordenadas rectangulares,
|
|
.
|

\
|
c
c
+
c
c
+
c
c
=
c
c
2
2
2
2
2
2
2
z
u
y
u
x
u
h
t
u

En la que:
x,y,z = coordenadas rectangulares del espacio,
t = coordenada de tiempo,
h = difusividad trmica,
u = temperatura.
La constante h y las variables x, y, z, t y u pueden darse en cualquier
conjunto consistente de unidades. Por ejemplo, podemos medir x, y y z en
pies, t en horas, u en grados Fahrenheit y h en pies cuadrados por hora. La
difusividad (que se supondr constante en este caso), puede definirse por
oo
k
h =
2

En trminos de cantidades fsicas elementales,
k =conductividad trmica
o =calor especfico
o =densidad
Todas relativas al material de que est hecho el objeto slido cuya
temperatura buscamos.
Para este problema de ecuaciones diferenciales parciales con valores
en la frontera, parece deseable simplificarlo tanto como sea posible. As
construimos un problema de temperatura en el que sta es independiente de
dos variables espaciales; por ejemplo, y y z. para tal problema u ser una
funcin de solo dos variables independientes (x y t), que es el nmero mas
pequeo posible de variables independientes que puede haber en una
ecuacin diferencial parcial.
Sea f(x) la temperatura inicial de la lmina (t=0), una funcin exclusiva
de x y suponga que las superficies x=0, x=c se mantienen a una temperatura
de cero para toda t>0. si la lmina se considera infinita en las direcciones y y
z, o ms especficamente, si solo tratamos las secciones transversales
cercanas (lejos de las superficies distantes de la lmina), entonces la
temperatura u a cualquier tiempo t y posicin x est determinada por el
problema con valores en la frontera:
2
2
2
x
u
h
t
u
c
c
=
c
c
para ; 0 , 0 c x t < < <
Cuando
+
0 t , ) (x f u para ; 0 c x < <
Cuando
+
0 x , 0 u para t < 0
Cuando

c x , 0 u para t < 0
En el problema con valores en la frontera de (2) a (5), el cero en la
escala de temperatura a la que se mantienen las superficies de la lmina.
Entonces la f(x) en realidad es la diferencia entre la temperatura inicial real y
la temperatura constante y subsecuente en la frontera.
El conjunto de smbolos
+
0 t significa que t tiende a cero por medio
de valores mayores que cero. Anlogamente,

c x significa que x tiende a


c con valores menores que c, c menos algo en cada paso durante la
aproximacin. Podemos decir por ejemplo, que x tiende a c por la izquierda.
Es particularmente notable que no requiramos una condicin tal como
que la funcin u(x, t) sea f(x) cuando t=0. Solo necesitamos que cuando
+
0 t , ) (x f u para cada x en el rango 0<x<c.

Ejemplos

Las aplicaciones de las ecuaciones elpticas se dan la ley de Darcy a
travs de q.

La altura piezomtrica


decae linealmente a lo largo del conducto.
La descarga (caudal por unidad de rea transversal) es proporcional al
gradiente piezomtrico:


K conductividad hidrulico. Depende del fluido.

dl
dh
K - = q
z +
g
P
= h
-




Bibliografa


Dennis G. Zill, Ecuaciones diferenciales con Valores de frontera,
international Tomson, 6 edicin, 2007.
J. M. Kells, Aplicaciones diferenciales elementales, Mxico-Mc. Graw
Hill, 1969.
Ecuaciones diferenciales problemas lineales y aplicaciones, f.
maecellan, l. casass, a. zarco. Espaa, mc. Graw-hill, 1990