Unidad 6 Introduccin a las ecuaciones diferenciales parciales

En matemticas una ecuacin en derivadas parciales (a veces abreviado

como EDP) es una relacin entre una funcin u de varias variables
independientes x,y,z,t,... y las derivadas parciales de u respecto de esas
variables. Las ecuaciones en derivadas parciales se emplean en la formulacin
matemtica de procesos de la fsica y otras ciencias que suelen estar
distribuidos en el espacio y el tiempo. Problemas tpicos son la propagacin del
sonido o del calor, la electrosttica, la electrodinmica, la dinmica de fluidos,
la elasticidad, la mecnica cuntica y muchos otros.

Todas las operaciones bsicas, fsicas y qumicas de la Ingeniera Qumica,
implican el transporte de una o varias de las tres magnitudes fundamentales
siguientes: cantidad de movimiento, energa y materia. Estos fenmenos de
transporte se producen en el seno de los unidos o entre slidos y unidos, bien
como consecuencia de las diferencias de concentraciones de dichas
magnitudes en aquellos (representando la tendencia de todos los sistemas a
alcanzar el equilibrio) bien como consecuencia del movimiento de los propios
fluidos.

Para poder disear adecuadamente los equipos e instalaciones donde hayan
de desarrollarse las operaciones indicadas, se requiere una informacin precisa
sobre los caudales de transporte de las citadas magnitudes fsicas. El anlisis
De los fenmenos de transporte nos conduce naturalmente a la consideracin
de las ecuaciones de conservacin de la masa (ecuacin de continuidad), de la
cantidad de movimiento (ecuacin del equilibrio) y de la energa. Tales
ecuaciones suelen ser de un tipo determinado, llamado ecuaciones en
derivadas parciales o, ms brevemente, EDP2














6.1 Definiciones (ecuacin diferencial parcial, orden y linealidad)

En matemticas una ecuacin en derivadas parciales (a veces abreviado
como EDP) es una relacin entre una funcin u de varias variables
independientes x,y,z,t,... y las derivadas parciales de u respecto de esas
variables. Las ecuaciones en derivadas parciales se emplean en la formulacin
matemtica de procesos de la fsica y otras ciencias que suelen estar
distribuidos en el espacio y el tiempo. Problemas tpicos son la propagacin del
sonido o del calor, la electrosttica, la electrodinmica, la dinmica de fluidos,
la elasticidad, la mecnica cuntica y muchos otros.
Se debe recordar que el orden de la ms alta derivada en una ecuacin
diferencial determina el orden de la ecuacin. As mismo se entiende que una
ecuacin diferencial lineal tiene dos propiedades que la definen como tal, esto
es, sus coeficientes dependen slo de la o las variables independientes, y tanto
la variable dependiente como sus derivadas son de primer orden.

Una ecuacin diferencial (ED) es una ecuacin que relaciona de manera no
trivial a una funcin desconocida y una o ms derivadas de esta funcin
desconocida con respecto a una o ms variables independientes. Si la funcin
desconocida depende de una sola variable la ecuacin diferencial se llama
ordinaria, por el contrario, si depende de ms de una variable, se llama parcial.

La frase de manera no trivial que hemos usado en la definicin anterior tiene
como propsito descartar ecuaciones diferenciales que satisfacen la definicin,
pero son realmente identidades, es decir, son siempre verdaderas sin importar
quin sea la funcin desconocida. Un ejemplo de tal tipo de ecuaciones es:



Esta ecuacin es satisfecha por cualquier funcin en una variable que sea
derivable. Otro ejemplo es


Es claro que lo que est detrs de esta ecuacin es la frmula notable
; por lo que la ecuacin es satisfecha por cualquier
funcin derivable.





6.2 Forma general de una ecuacin diferencial lineal de segundo
orden


Para desarrollar sistemticamente la teora de las ecuaciones diferenciales, es
til clasificar los diferentes tipos de ecuaciones. Una de las clasificaciones ms
obvias se basa en si la funcin desconocida depende de una o de varias
variables independientes. En el primer caso solo aparecen derivadas ordinarias
en la ecuacin diferencial y se dice que es ecuacin diferencial ordinaria. En el
segundo caso, las derivadas son parciales y la ecuacin se llama ecuacin
diferencial parcial.

Ejemplos de las ecuaciones diferenciales ordinarias:

ORDEN. El orden de una ecuacin diferencial ordinaria, es igual al de la
derivada de ms alto orden que aparece en la ecuacin. Por lo tanto, la
ecuacin (1) y (2) son ecuaciones diferenciales ordinarias de segundo orden.

El orden de una ecuacin diferencial (ordinaria o en derivadas parciales) es el
de la derivada de mayor orden en la ecuacin. Por ejemplo,
d2y + 5 [dy]3 - 4y = ex
dx2 dx

Es una ecuacin diferencial de segundo orden.

GRADO. Es la potencia a la que esta elevada la derivada ms alta, siempre y
cuando la ecuacin diferencial este dada en forma polinomial.
Hay otra clasificacin importante de las ecuaciones diferenciales ordinarias la
cual se basa en si stas son lineales o no lineales. Se dice que la ecuacin
diferencial
Es lineal cuando F es una funcin lineal en las variables y,y,y(n). Por lo tanto,
la ecuacin diferencial ordinaria lineal de orden n es. 3.-
La ecuacin que no es de la forma (3), es una ecuacin no lineal.
















Una ecuacin diferencial en derivadas parciales (PDE), por su semejanza con
las ODE, es una ecuacin donde una cierta funcin incgnita u viene definida
por una relacin entre sus derivadas parciales con respecto a las variables
independientes.
Si u = u(x,y,z), una ecuacin diferencial en derivadas parciales sera

Se denomina orden de la PDE al ms alto grado de derivacin parcial que
aparece en la expresin.
As (1)

Es una PDE de 2 orden, mientras que (2)

Es una PDE de primer orden.

La ecuacin (1) es lineal ya que u y sus derivadas aparecen sin multiplicarse y
no aparecen elevadas a potencias. La ecuacin (2) es, en cambio, no lineal


Las ecuaciones diferenciales en derivada parciales, nos interesa en ecuaciones
lineales de 2 variables:
2 2 2
2 2
u u u u u
A B C D E Fu G
x x y y x y
c c c c c
+ + + + + =
c c c c c c

En donde A, B, C,.G son funciones de X y Y. Cuando ( , ) G x y =0, se dice que
la ecuacin es homognea; en caso contrario se dice que es no homognea.









6.3 Clasificacin de ecuaciones diferenciales parciales de 2 orden
(elpticas, parablicas e hiperblicas)

Una ecuacin elptica en derivadas parciales de segundo orden es una
ecuacin diferencial parcial del tipo

En la cual la matriz es definida positiva.
Un ejemplo de una ecuacin diferencial parcial elptica es la ecuacin de
Poisson, la ecuacin de Laplace, la ecuacin biarmnica y la ecuacin de
Schrdinger independiente del tiempo.
Las ecuaciones elpticas se diferencian de las parablicas e hiperblicas en
que stas ltimas son ecuaciones de evolucin y hay un parmetro que se
puede identificar como tiempo, mientras que en las elpticas no. As por
ejemplo, la ecuacin de Schrdinger independiente del tiempo es elptica
mientras que la dependiente del tiempo es parablica.

Una ecuacin parablica en derivadas parciales es una ecuacin diferencial
parcial de segundo orden del tipo

En la cual la matriz tiene un determinante igual a 0.
Algunos ejemplos de ecuaciones diferenciales parciales parablicas son la
ecuacin de Schrdinger y la ecuacin del calor.


Una ecuacin hiperblica en derivadas parciales es una ecuacin
diferencial en derivadas parciales de segundo orden del tipo:

En la cual la matriz tiene un determinante menor que 0.
Un ejemplo de una ecuacin diferencial en derivadas parciales hiperblica es la
ecuacin de onda.






6.4 Mtodo de solucin de las ecuaciones diferenciales parciales
(directas, equiparables con las ordinarias y separacin de variables)

Toda ecuacin en derivadas parciales de primer orden posee una solucin
dependiente de una funcin arbitraria, que se denomina usualmente solucin
general de la EDP. En muchas aplicaciones fsicas esta solucin general es
menos importante que las llamadas soluciones completas.
Una solucin completa es una solucin particular de la EDP que contiene
tantas constantes arbitrarias independientes como variables independientes
intervienen en la ecuacin. Por ejemplo la integracin de las ecuaciones del
movimiento de un sistema mecnico mediante el mtodo basado en la
ecuacin de Hamilton-Jacobi requiere una integral completa, mientras que la
solucin general resulta menos interesante desde el punto de vista fsico.

La ecuacin de Hamilton-Jacobi es una ecuacin diferencial en derivadas
parciales usada en mecnica clsica y mecnica relativista que permite
encontrar las ecuaciones de evolucin temporal o de "movimiento".
La ecuacin de Hamilton-Jacobi (EHJ) permite una formulacin alternativa a la
mecnica lagrangiana y la mecnica hamiltoniana (y por tanto a la mecnica
newtoniana, basada en el intento de integracin directa de las ecuaciones de
movimiento). El empleo de la ecuacin de Hamilton-Jacobi resulta ventajoso
cuando se conoce alguna integral de movimiento.

Adems la formulacin basada en EHJ es la nica formulacin de la mecnica
en la que el movimiento de una partcula y el de una onda se describen en los
mismos trminos. Es por esto que la EHJ constituye una meta largamente
perseguida de la fsica terica, desde Johann Bernoulli en el siglo XVIII busc
una analoga entre la propagacin de ondas y partculas.
Esta razn fue la que llevo a Schrdinger a buscar una ecuacin para la
"mecnica ondulatoria" o mecnica cuntica generalizando la ecuacin de
Hamilton-Jacobi (en lugar de usar los otros enfoques alternativos de la
mecnica clsica). Incluso la primera ecuacin para mecnica cuntica
relativista, la ecuacin de Klein-Gordon, se bas en la EHJ relativista en lugar
de otros enfoques alternativos.








La ecuacin de Hamilton-Jacobi es una ecuacin en derivadas parciales no-
lineal para la funcin principal de Hamilton , llamada tambin
integral de accin:
(1)
Tal como se describe en este artculo, esta ecuacin puede ser deducida de la
mecnica hamiltoniana considerando a como la funcin generatriz de una
transformacin cannica. Los momentos conjugados de las coordenadas
corresponden a las derivadas de la funcin con respecto a las propias
coordenadas generalizadas:
(2)
Anlogamente, las coordenadas generalizadas se pueden obtener como
derivadas respecto a los nuevos momentos conjugados, tal como se describe
ms adelante. Invirtiendo estas ecuaciones algebraicamente, uno puede
encontrar las ecuaciones de evolucin del sistema mecnico, determinando la
variacin de las coordenadas con el tiempo. Las posiciones iniciales y las
velocidades iniciales aparecen dentro de las constantes de integracin para
una solucin completa de la ecuacin (1). Las constantes de integracin en
este mtodo usualmente coinciden con integrales del movimiento como la
energa, el momento angular o el vector de Runge-Lenz.
Ejemplos
- partcula en un campo de fuerzas conservativo:


La ecuacin de Hamilton-Jacobi (EHJ) para n coordenadas generalizadas
contiene adems el tiempo, por lo cual una solucin completa de dicha
ecuacin contendr n+1 constantes de integracin arbitrarias. Como la funcin
slo interviene en la EHJ a travs de sus derivadas primeras una de estas
constantes ser aditiva y por tanto una integral completa de la ecuacin tendr
la forma:
1

(3)
Donde las n+1 constantes son precisamente
1
, ...,
n
y A. Para encontrar la
solucin de las ecuaciones de movimiento basta construir n ecuaciones
algebraicas:
(4)
Invirtiendo estas ecuaciones para despejar las coordenadas generalizadas q
i

se obtienen dichas coordenadas como funcin del tiempo y de 2n coordenadas,
tal como se habra obtenido por los mtodos de la mecnica lagrangiana o la
mecnica hamiltoniana.
Esta solucin puede ser justificada si pensamos en la funcin
como la funcin generatriz de una
transformacin cannica, donde las constantes
1
, ...,
n
representan los
nuevos momentos conjugados asociados a dicha transformacin, del hecho
que f sea una funcin generatriz de segundo tipo implicar que:

Pero como la funcin f satisface la ecuacin de Hamilton-Jacobi la nueva
hamiltoniana ser nula y por tanto:

Y por tanto la solucin trivial del anterior sistema es
i
= cte. y
i
= cte. , puesto
que las
i
son conocidas, porque conocemos una integral completa, las
i

pueden obtenerse de la condicin:

Que es precisamente la solucin que se haba sealado anteriormente.
Separacin de variables
En muchos sistemas fsicos importantes para encontrar la solucin de las
ecuaciones de movimiento en el enfoque de Hamilton-Jacobi se busca una
solucin completa de dicha ecuacin por el mtodo de separacin de variables.
Un caso interesante se presenta cuando alguna de las coordenadas, por
ejemplo q
1
, slo aparece formando una combinacin con la derivada de la
accin respecto de la propia q
1
, es decir, cuando la ecuacin de Hamilton-
Jacobi puede escribirse en la forma:
(5a)
En ese caso puede buscarse una solucin de la forma:
(5b)
La substitucin de una ecuacin de este tipo en la (5a) permite reducir el
nmero de variables involucrada en una unidad ya que se cumpliran
simultneamente las relaciones:

En algunos casos de sistemas totalmente integrables de hecho este
procedimiento se puede repetir para cada una de las variables obtenindose
una integral completa mediante cuadraturas simples de la forma:
(5c)


Coordenadas cclicas
En mecnica hamiltoniana se llama coordenadas cclica a una coordenada
que no aparece explcitamente en el hamiltoniano. Una coordenada cclica es
siempre un caso particular en el que la ecuacin de Hamilton-Jacobi puede
escribirse en forma (5a) pudindose lograr la reduccin de la ecuacin en una
variable mediante el cambio:
(6)
Para un sistema conservativo el tiempo t se comporta de manera anlogo a
una coordenada ccilica,
2
como se puede ver a partir de la forma de la solucin
(5c).
Ejemplos de separabilidad
Fijado un sistema de coordenadas, la ecuacin de Hamilton-Jacobi admitir
separacin de variables en dicho sistema de coordenadas dependiendo de la
forma funcional de la energa potencial. A continuacin van algunos ejemplos:
- Coordenadas esfricas. Este tipo de coordenadas son frecuentes en la teora
del potencial para analizar el movimiento planetario por ejemplo. Tpicamente
el hamiltoniano para este tipo de sistemas tiene la forma:

Y el problema de encontrar las trayectorias bajo dicho hamiltoniano admitir
separacin de variables si la funcin de energa potencial tiene la siguiente
forma:

Muchos problemas fsicamente importantes frecuentemente tienen simetra
axial por lo que , y en esas circunstancias la accin admite una solucin
dependiente de tres constantes de la forma:






6.5 Aplicaciones

La ecuacin de onda
En el prximo ejemplo consideramos las vibraciones trasversales de una
cuerda extendida entre dos puntos, por ejemplo, 0 = x y . L x =

Tal como se
muestra en la figura 6.2, el movimiento se produce en el plano xy de manera
tal que cada punto de la cuerda se mueve en direccin perpendicular al eje x .
Si ) , ( t x u denota el desplazamiento de la cuerda para 0 > t medidos desde el eje
x
,
entonces u

satisface la ecuacin (2) en la cual se asume que.
- La cuerda es perfectamente flexible.
- La cuerda es homognea, esto es, su masa por unidad de longitud es
constante.
- Los desplazamientos u son pequeos comparados con el largo de la
cuerda.
- La tensin de la cuerda es constante.
- La tensin es grande en comparacin con la fuerza de gravedad.
- No actan otras fuerzas sobre la cuerda.

Por consiguiente, un problema tpico de condicin en la frontera es


2 2
2
2 2
u u
a
x t
c c
=
c c
, 0 x L < < , 0 t > ,
(14)

(0, ) 0 u t = , ( , ) 0 u L t = , 0 t > ,
(15)
( , 0) ( ) u x f x = ,
0
( )
t
u
g x
t
=
c
=
c
, 0 x L < <
.

(16)
Las condiciones de frontera (15) simplemente dicen que los extremos de la
cuerda permanecen fijos en todo instante. En 0 = t

las funciones f y g dadas
especifican la configuracin inicial y la velocidad inicial de cada punto de la
cuerda, respectivamente. En el contexto est implcito que f es continua y que
0 ) ( , 0 ) 0 ( = = L f f

Figura 6.2
Solucin. Separando variables en (14) resulta

2
2

= =
T a
T
X
X

De modo que
0
0
2 2
2
= +
= +
T a T
X X

Y por lo tanto,
1 2
3 4
cos
cos .
X c x c x
T c at c sen at


= +
= +

Igual que antes, las condiciones de frontera (15) se traducen en 0 ) 0 ( = X y
0 ) ( = L X . A su vez, obtenemos
0
1
= c Y
2
0. c sen L =
Esta ltima ecuacin de los valores propios ,... 3 , 2 , 1 , / = = n L nt las
correspondientes funciones propias son
,
2
x
L
n
sen c X
t
= ,... 3 , 2 , 1 = n
Por consiguiente, la solucin de la ecuacin (14) que satisface las condiciones
de frontera (15) son
, ) cos ( x
L
n
sen t
L
a n
sen B t
L
a n
A u
n n n
t t t
+ =
Y

=
+ =
1
. ) cos ( ) , (
n
n n
x
L
n
sen t
L
a n
sen B t
L
a n
A t x u
t t t

(17)
Haciendo 0 = t en (17) resulta

=
= =
1
) ( ) 0 , (
n
n
x
L
n
sen A x f x u
t

El cual es un desarrollo de f en serie de senos en medio intervalo. Como para
la ecuacin del flujo de calor, podemos escribir
n n
b A =

. ) (
2
0
xdx
L
n
sen x f
L
A
L
n
t
}
=

(18)
Para determinar
, n
B derivamos (17) con respecto a t

y luego hacemos 0 = t
:

=
+
=
c
c
1
) cos (
n
n n
x
L
n
sen t
L
a n
L
a n
B t
L
a n
sen
L
a n
A
t
u
t t t t t

. ) ( ) (
1
0
x
L
n
sen
L
a n
B x g
t
u
n
n t
t t

=
=
= =
c
c

Para que esta ltima serie sea un desarrollo de g

en serie de senos en medio
intervalo en el intervalo dado, el coeficiente total, o L a n B
n
/ t est dado por
0
2
( ) ,
L
n
n a n
B g x sen xdx
L L L
t t
=
}

De lo cual obtenemos

0
2
( ) .
L
n
n
B g x sen xdx
n a L
t
t
=
}

(19)
La solucin formal del problema consiste en la serie (17) con,
n
A y
n
B

definidos
por (18) y (19) respectivamente.
Hacemos notar que cuando la cuerda se suelta a partir del reposo, entonces
0 ) ( = x g para todo x en 0 L x s s y en consecuencia

0.
n
B =











Problemas de condicin de frontera
Ecuaciones especiales. Las siguientes ecuaciones diferenciales parciales
lineales

2
2
u u
k
x t
c c
=
c c
, 0 k > ,
(1)

2 2
2
2 2
u u
a
x t
c c
=
c c
,
(2)

2 2
2 2
0
u u
x y
c c
+ =
c c

(3)
Desempean un papel importante en muchas reas de fsica e ingeniera. Las
ecuaciones (1) y (2) son conocidas como ecuacin del calor en una dimensin
y ecuacin de donde en una dimensin respectivamente, una dimensin se
refiere al hecho de que x denota una dimensin espacial, en tanto que t
generalmente representa tiempo la ecuacin (3) se llama ecuacin de Laplace.
Concluimos esta unidad usando el mtodo de separacin de variables para
resolver varios problemas aplicados, cada uno de los cuales es descrito por
una de las ecuaciones anteriores adems de ciertas condiciones adicionales.
Estas condiciones adicionales consisten en:
I) Condiciones de frontera: u o
u
x
c
c
especificada para x =constante; u o
u
y
c
c
especificada para y =constante, y
II) Condiciones iniciales: u en t =0 para la ecuacin (1), o bien, u y
u
t
c
c
en t =0
para la ecuacin (2).

La descripcin matemtica colectiva de un problema de esta naturaleza es
conocida como problema de condicin en la frontera.
La ecuacin (1) aparece en la teora del flujo de calor (esto es, calor transmitido
por conduccin) en una varilla o en un alambre delgado. La funcin ( , ) u x t es la
temperatura de la varilla. Los problemas de vibraciones mecnicas ( , ) u x t a
menudo conducen a la ecuacin de onda (2). En nuestro caso la solucin de
(2) representar los pequeos desplazamientos de una cuerda vibrante
idealizada. Por ltimo la solucin ( , ) u x t de la ecuacin de Laplace (3) puede
ser interpretada como la distribucin estacionaria (esto es, independiente del
tiempo) de la temperatura en una placa plana y delgada. Para ver como se
deduce la ecuacin del flujo de calor y la ecuacin de onda, el lector puede
recurrir a la edicin alternativa de este libro.
Aunque nos concentremos en la resolucin de los problemas recin descritos,
hacemos notar que el anlisis de una amplia variedad de diversos fenmenos
lleva a las ecuaciones (1) (2) (3), o a sus generalizaciones para un mayor
nmero de variables espaciales. Por ejemplo, a (1) a veces se le llama
ecuacin de difusin, puesto que la difusin de substancias disueltas en
solucin anloga al flujo de calor en un slido.
La funcin ( , ) u x t que satisface la ecuacin diferencial parcial representa, en
este caso, la concentracin de lquido. De manera similar, la ecuacin (1) surge
en el estudio del flujo de electricidad en un cable largo o en una lnea de
transmisin. En este contexto (1) es conocida como ecuacin de la transmisin
(telegrfica). Se puede demostrar que bajo ciertas condiciones, la corriente y el
voltaje de una lnea son funciones que satisfacen 2 ecuaciones de idntica
forma que la ecuacin (1). La ecuacin de onda (2) tambin aparece en la
teora de las lneas de transmisin de alta frecuencia, mecnica de fluidos,
acstica y elasticidad. La ecuacin de Laplace (3) aparece en problemas de
ingeniera relacionados con desplazamientos estticos de membranas y ms a
menudo en problemas que tratan de potenciales, como potencial
electroesttico, potencial gravitacional y potencial de velocidad en la mecnica
de fluidos.











Bibliografas:

http://es.wikipedia.org/wiki/Ecuaci%C3%B3n_en_derivadas_parciales
http://www.slideshare.net/edvinogo/2-ecuaciones-en-derivadas-parciales
Dennis G. Zill (Octubre 5, 2000, 7ma edicin). A First Course in Differential
Equations with Modeling Applications. : Brooks Cole.