Tarea de Mate V

Matemticas V ingeniera civil Instituto tecnolgico de chetumal
1

INTRODUCCIN

Este trabajo constituye una breve introduccin a la teora de las Ecuaciones
en Derivadas Parciales (EDP). La forma en la que las EDP se presentan
habitualmente en la modelizacin de fenmenos de la Ciencia y Tecnologa
es la de modelos de evolucin en los que se describe la dinmica a lo largo
del tiempo de determinada cantidad o variable (tambin a veces
denominada estado) que puede representar objetos y fenmenos de lo ms
diversos que van desde la posicin de un satlite en el espacio hasta la
dinmica de un tomo, pasando por los ndices burstiles o el grado en que
una enfermedad afecta a la poblacin. En otras palabras, los modelos
dinmicos o de evolucin son los ms naturales en la medida que reproducen
nuestra propia concepcin del mundo: un espacio tri-dimensional que
evoluciona y cambia en el tiempo.
Cuando el estado o variable de un modelo o sistema de evolucin es finito-
dimensional, el modelo ms natural es un sistema de EDO, cuya dimensin
coincide precisamente con el del nmero de parmetros necesarios para
describir dicho estado. As, por ejemplo, para posicionar una partcula en el
espacio necesitamos de tres variables dependientes del tiempo y para
describir su dinmica un sistema de tres ecuaciones diferenciales en la que
la variable independiente es el tiempo. Pero en muchas ocasiones, como es el
caso sistemticamente en el contexto de la Mecnica de Medios Continuos,
la variable de estado es infinito-dimensional.


2

ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES
CONTEXTO HISTIORICO.
El estudio de las Ecuaciones Diferenciales es tan viejo como el del
Clculo mismo. En 1671 Newton (1643-1729) trabaj sobre la teora de
Fluxiones (Una fluxin viene a ser la derivada de una fluyente, el
cual es el nombre que Newton daba a un variable dependiente). Su
investigacin se relacion con Ecuaciones Fluxionales que ahora
llamaramos ecuaciones diferenciales. l dividi a las ecuaciones
diferenciales en tres categoras. En la primera, estas tendran a forma
dy/dx = f(x) o dy/dx = f(y). En la segunda, tendran la forma dy/dx = f(x,
y). Y en la tercera categora estn las ecuaciones diferenciales parciales.
El mtodo de solucin desarrollado por l fue el de series de potencias el
cual consider un mtodo universalmente vlido.

El matemtico y filsofo Gottfried Wilhelm Leibniz (1646-1716) tambin
trabaj en ecuaciones diferenciales; encontr el mtodo para las
ecuaciones diferenciales lineales de primer orden. En 1690, Jakob
Bernoulli (1654-1705) mostr que el problema de determinar la iscrona
(curva vertical plana en la cual una partcula que se deslice sobre ella
hasta el fondo tardar un tiempo fijo que no depende del punto inicial)
es equivalente a resolver una ecuacin diferencial de primer orden no
lineal; l la resolvi por el mtodo de variables separables (el mtodo
general sera enunciado por Leibniz). El artculo de Bernoulli se
convirti en una milestone en la historia del Clculo.

La segunda etapa (1728- ) de la historia de las EDs estuvo dominada
por Leonard Euler: l introdujo varios mtodos para ecuaciones de
orden inferior, el concepto de factor integrante, la teora de las
ecuaciones lineales de orden arbitrario, el desarrollo del uso del mtodo
de series de potencias entre otras cosas. La etapa siguiente (1820- ) fue
una etapa de formalizacin y en ella hay dos personajes importantes
Niels Henrik Abel (1802-1829) y Augustin-Louis Cauchy (1789-1857);
los problemas de existencia y unicidad de las soluciones cobraron
importancia.


3

Ecuacin de la Onda y del Calor
La fsica y la teora matemtica de la cuerda vibrante fueron estudiadas
por Jean le Rond d'Alembert, y posteriormente por Joseph Louis
Lagrange, Leonhard Euler, y Daniel Bernoulli, proporciono una discusin
satisfactoria sobre la fsica de la cuerda vibrante.
Euler investigo las series trigonomtricas desde 1730 y propuso
expansiones de funciones peridicas como series trigonomtricas en sus
Memoir" de 1749 sobre las irregularidades de las orbitas de Saturno y
Jpiter. Poco despus, Clairaut produjo expresiones para los
Coeficientes de Fourier" como una funcin.
En igual periodo, d'Alembert investigaba el problema de las cuerdas
vibrantes. Una cuerda, fija en sus extremos, vibra conforme a la
ecuacin:

donde u(x; t) es el desplazamiento transversal, en el tiempo t, de un punto
en la posicin x con respecto a la posicin de equilibro. Las soluciones a esta
ecuaciones eran observadas, y d'Alembert proporciono algunas soluciones
particulares. El era de la opinin que la forma de una cuerda debera esta
acortada y poseer soluciones analticamente simples. Tratando de
determinar todas las soluciones de esta ecuacin, es que Euler amplio el
concepto de lo que hoy conocemos como una funcin". En 1753, Daniel
Bernoulli, logro describir estas soluciones en la forma de series
trigonomtricas. De este modo, crey resolver el problema en toda su
generalidad, lo que presupona que toda funcin poda ser escrita como la
suma de series trigonomtricas.
La teora no tuvo bases slidas hasta los trabajos de Fourier. La esencia de
sus ideas estn contenidas en una memoria enviada a la Academia de
Ciencias en Paris, en 1807, titulada Teora de la propagacin del calor en
slidos", y Fourier retom la idea nuevamente en su celebrado trabajo 1822
Theorie analytique de la Chaleur". La expansin de una funcin arbitraria
como serie trigonomtrica". Las series de Fourier dieron cierre al debate
entre Euler, dAlembert y Bernoulli sobre la generalidad de la solucin de
Bernoulli al problema de d'Alembert. Estas series tambin se volvieron
indispensables para la teora de ecuaciones diferenciales con condiciones de
contorno. Interesado como Fourier en las aplicaciones matemticas a la
fsica, tanto Poisson como Cauchy contribuyeron el estudio de las series de
Fourier. Dirichlet tambin se embarco en el estudio riguroso de la
convergencia de las series de Fourier, entre 1822 y 1826. Sin embargo, debe
hacerse notar que estos coeficientes pueden ser tambin interpretados en
2
2
2
2
2

x
u
c
t
u
c
c
=
c
c

4
trminos de la mejor aproximacin cuadrtica media. Entonces, para
funciones de periodo 2, se considera la funcin cuadrtica:

DEFINICIONES
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 (15.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
, ,

La ecuacin 15.1 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 (15.1)
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.

}
H
0
2
2
(x)dx f
f

5
Un ecuacin diferencial en derivadas parciales (15.1) se dice lineal si la
funcin f es lineal en la variable dependiente u y en todas sus derivadas
parciales.

FORMA GENERAL DE UNA ECUACIN DIFERENCIAL PARCIAL DE
SEGUNDO ORDEN.

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
= + + + + +
(15.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 (15.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
(15.3)
Manteniendo x fija e integrando con respecto a y, se obtiene:

) ( ) , ( x f y x u
x
=


6
Una segunda integracin con respecto a x, mientras ahora consideramos a y
fija, da

) ( ) ( ) , ( x h x g y x u + =
(15.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


7
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

8
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.

CLASIFICACIN DE ECUACIONES DIFERENCIALES PARCIALES DE
SEGUNDO ORDEN (ELPTICAS, PARABLICAS E HIPERBLICAS).

La clasificacin de las ecuaciones diferenciales en derivadas parciales (15.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 (15.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

=


9

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
(15.5)

Sustituyendo estos valores en (15.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
= + + + + +
(15.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
(15.7)

Observacin. La ecuacin resultante (15.6) va a tener coeficientes variables.
Sin embargo, posee la misma estructura que la original (15.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 =


10

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 (15.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
(15.8)
Si dividimos por
2
y
f
obtenemos
0
3 2
2
1
= +
|
|
.
|
\
|
+
|
|
.
|
\
|
A
f
f
A
f
f
A
y
x
y
x
(15.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

= =
+
= =
(15.10)


11

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
=
(15.11)
Observacin. La transformacin (15.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 (15.7). En consecuencia, las formas
cannicas que a continuacin obtendremos para cada uno de los tipos
hiperblico, parablico y elptico, tendrn coeficientes constantes.

ECUACIONES HIPERBLICAS

En este caso
0 4
3 1
2
2
> A A A
y, por tanto, las dos ecuaciones caractersticas
(15.10) son reales y distintas. El cambio de variables es entonces el dado por
(15.11) y la ecuacin diferencial en derivadas parciales (15.2) se transforma
en:

( ) s r g B u B u B u
s r rs
,
6 5 4
+ =


12

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 (15.2), las ecuaciones (15.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

13
x r =

y
A
A
x s
3
2
=

La ecuacin transformada de (15.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.
ECUACIONES PARABLICAS
0 4
3 1
2
2
= A A A
y por tanto, solo disponemos de 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 (15.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 de 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
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.

14

ECUACIONES ELIPTICAS
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 o 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 (15.2) no pueden ser cero ya que entonces
2
A
sera un
nmero complejo.
Laplace, cuya expresin es
0 = Au

Donde
A
representa el operador laplaciano que en coordenadas
cartesianas en el plano est definido por la expresin

15
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


16

CONDICIONES DE FRONTERA
Las ecuaciones diferenciales parciales que modelan sistemas fsicos
usualmente tienen un nmero infinito de soluciones. Para seleccionar la
funcin simple que represente la solucin a un problema fsico, se deben
imponer ciertas condiciones auxiliares que caracterizan el sistema que se
modela. En general estas condiciones se clasifican en dos categoras:
condiciones de frontera y condiciones iniciales.
Condiciones de frontera. Son condiciones que deben ser satisfechas en
puntos de la frontera S de la regin del espacio en la cual se sujetan las
ecuaciones diferenciales parciales.se han dado nombres especiales a tres
formas de condiciones de frontera: condicin de Dirichlet, condicin de
Newmann y condicin de Robn.
Condiciones iniciales. Las condiciones de frontera incluyen como un caso
especial el concepto de condiciones iniciales, y stas son condiciones que
deben ser satisfechas a travs de la regin espacial en el instante cuando
la consideracin de los sistemas fsico empieza. Una condicin inicial tpica
prescribe una combinacin de la variable dependiente, por ejemplo u, y sus
derivadas con respecto al tiempo.
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 ,

1) Condiciones de Dirichlet: consisten en prescribir el valor de la
solucin en la frontera y pueden representarse por
( ) ( ) t g t x u =
O c
,


17
2) Condiciones de Newmann: consisten en prescribir 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 Robn: 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 Newmann 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
, =
( ) ( ) x f x u = 0 ,


18
c) Problema de Robn 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
( ) ( ) x g x u
1
0 , =
;
( ) ( ) x g x u
t 2
0 , =

Abordaremos por tanto los problemas de Dirichlet, Newmann y Robn
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 Newmann 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
, =
( ) ( ) x g x u
y 1
0 , =
;
( ) ( ) x g b x u
y 2
, =
(condiciones de
frontera en y)
iii. Problema de Robn 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
Anlogas en y y condiciones de frontera a anlogas en y.

19

MTODOS DE SOLUCIN
Mtodo de separacin de variables
En este mtodo se propone una solucin de la forma
u(x,y)=X(x)Y(y)
Esta propuesta permite reducir la ecuacin diferencial parcial a dos
ecuaciones diferenciales ordinarias, y en el caso de funciones de ms de dos
variables independientes permitir reducir la ecuacin diferencial parcial a
tres o ms ecuaciones diferenciales ordinarias. La nomenclatura que se
usara es la siguiente
`` ,... `` `, , `
2
2
2
2
XY
y
u
Yv X
x
u
XY
y
u
Y X
x
u
=
c
c
=
c
c
=
c
c
=
c
c

En donde las primeras indican diferenciales ordinarias.
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
)

( ) ( )
( ) ( )
( ) ( ) ( ) ( )
= =
)
`
= +
= +
= +
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
;

(c. de frontera)
(15.12)
(c. iniciales)
(c. de frontera)
(15.13)
(c. inicial)

(c. de frontera en x)
(15.14)
(c. de frontera en y)

20

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) (15.15)
y
( ) ( )
( ) ( )
( ) ( )
= ' '
= + '
= + ' '
0
0
0
2
y N y N
t N k t N
t N c t N

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.
(caso hiperblico)
(caso parablico) (15.16)
(caso elptico)

21

Mtodo de la 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.

22

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 -


23

EJEMPLOS TPICOS DE ECUACIONES DIFERENCIALES EN DERIVADAS
PARCIALES

Si cada trmino de la ecuacin diferencial parcial contiene la variable
dependiente, o bien, una de sus derivadas, se dice que es homognea en caso
contrario es no homognea.

Ecuacin unidimensional de onda.

Ecuacin unitaria de calor.

Ecuacin bidimensional de Laplace

Ejemplo 1-La ecuacin de la Laplace.
Supongamos que se quiere obtener la temperatura u(x, y) correspondiente al
estado permanente en una placa rectangular; las condiciones de frontera
que se indican son:

O<x<a, 0<y<b

0<y<b
u(x,0)=0, u(x, b) = f(x), 0 < x < a
Solucin.
Separando las variables se obtiene:

X``+X=0 Y``-Y=0 X=c1cosx+c2senx Y=c3coshy+c4senhy

en donde las tres primeras condiciones de frontera se traducen en X(0) = 0,
X(a) = 0 y Y(0) = 0. Derivando X y haciendo x = 0 se obtiene c2 = 0, y por lo
2
2
2
2
2

x
u
c
t
u
c
c
=
c
c
2
2
2

x
u
c
t
u
c
c
=
c
c
2
2
2
2
2

y
u
c
x
u
c
c
=
c
c
2
2
2
2
2

y
u
c
x
u
c
c
=
c
c
0 , 0 0 =
c
c
=
c
c
= = a x x
x
u
x
u
2 `` ``
= =
Y
Y
X
X

24
tanto, X = c1cosx. Derivando nuevamente y luego haciendo x = a resulta
c1sena = 0. Esta ltima condicin se satisface cuando = 0, cuando a =
n o bien = n/a, siendo n = 1, 2, obsrvese que = 0 implica que X = 0.
La solucin general de esta ecuacin est dada por la funcin lineal X =
c1+c2x. En este caso, las condiciones de frontera X(0) = 0, X(a) = 0, exigen
que X = c1. Se concluye que = 0 es un valor propio. Haciendo corresponder
= 0 con n = 0, se tiene que las funciones propias son:

X = c1, n = 0 y X = c1cosn/a x, n = 1, 2,

Finalmente, la condicin Y(0) = 0 obliga a que c3 = 0, cuando > 0. Sin
embargo, cuando = 0 la ecuacin se transforma en Y = 0 y por lo tanto la
solucin est dada por Y = c3 + c4 y . No obstante, Y(0) = 0 nuevamente
implica que c3 = 0 y as Y = c4y, por consiguiente las soluciones en forma de
producto de la ecuacin que satisfacen las tres primeras condiciones de
frontera son

Ay, n = 0 y

El principio de esta suposicin da otra solucin ms,

Sustituyendo y = b en donde resulta

Lo cual es, en este caso, un desarrollo de f en serie de cosenos en medio
intervalo. Si hacemos las identificaciones Ab = a/2 y en Ansenh((n/a)b )=
an, n = 1, 2, 3, ..., de donde se tiene que:

,... 2 , 1 ,
a
cos
a
n
senh A n =
|
.
|
\
|
H
|
.
|
\
|
H
n x
n
y
|
.
|
\
|
H
|
.
|
\
|
H
+
=
x
n
y
n
a
cos
a
n
senh A y y)A U(x, n
1
o
|
.
|
\
|
H
|
.
|
\
|
H
+ = =

=
x
n
b
n
a
cos )
a
n
senh (A b A f(x) b) U(x, n
1
o
dx x f
a
b A
a
O
}
=
0
) (
2
2

25

La solucin formal de este problema consiste en la serie dada en donde A y
An est definida anteriormente.

Ejemplo 2-La ecuacin de onda

donde es una constante, describe el movimiento de una onda, que puede
ser una onda de sonido, una onda de luz o una onda que viaja a lo largo de
una cuerda vibrante.
Si y son funciones de una sola variable dos veces derivables, compruebe
que la funcin

satisface la ecuacin de onda.

Solucin
Las derivadas de con respecto a estn dadas por :
dx x f
ab
A
a
O
}
=
0
) (
2

dx x
a
n
x f
a
b
a
n
senh A
a
n
}
H
=
H
0
cos ) (
2

dx x
a
n
x f
b
a
n
asenh
A
a
n
}
H
H
=
0
cos ) (
2


26

Las derivadas de con respecto atestan dadas por :

Sustituyendo obtenemos que

Ejemplo-3
Si y son funciones doblemente derivables de una sola variable,
compruebe que la funcin

satisface la ecuacin diferencial parcial

Solucin
Las derivadas de con respecto a estn dadas por :


27

Sustituyendo


28

ANEXO

TEOREMA (IGUALDAD DE LAS DERIVADAS MIXTAS)

Sea una funcin escalar donde es un disco abierto con
centro en y radio , entonces si las funciones y son
continuas en entonces

TEOREMA: PRINCIPIO DE SUPERPOSICIN, ECUACIONES
HOMOGNEAS

Sean k y , y ,..., y 1 2 soluciones de la ecuacin homognea de n-simo orden
en un intervalo I. Entonces la combinacin lineal: y c y (x) c y (x) c y (x) k k =
+ + ... + 1 1 2 2 [0], donde c i k i , = 1,2,..., son constantes arbitrarias,
tambin es una solucin en el intervalo.

LAPLACE, PIERRE SIMN DE (1749-1827)

Matemtico y astrnomo francs que desarroll la mecnica celeste, cuyo
nombre permanece unido a la llamada teora nebular del origen del sistema
solar.
Demostr que las perturbaciones gravitatorias inducidas por un planeta
sobre otro no tienen como consecuencia inmediata la aparicin de
irregularidades en sus rbitas, como crea Newton. Adems se dedic a los
estudios de mecnica celeste y, junto con Lagrange, fue la mayor autoridad
de su siglo.
Entre 1799 y 1825 escribi una gran obra en cinco volmenes, Tratado de
mecnica celeste, que incorporaba las nuevas teoras elaboradas desde los
trabajos de Newton, as como sus propias aportaciones.


29

BIBLIOGRAFIA
1-Ecuaciones diferenciales con aplicaciones en ciencias e ingeniera.
Autor: Leticia Corral Bustamante.
Editorial: ALFAOMEGA grupo editorial, S.A. de C.V
2-J. M. Kells, Aplicaciones diferenciales elementales, Mxico-Mc. Graw Hill,
1969.
3-Ecuaciones diferenciales problemas lineales y aplicaciones, f. maecellan, l.
casass, a. zarco. Espaa, mc. Graw-Hill, 1990
4-Matemtica Superior Aplicada ECUACIONES DIFERENCIALES
Wilo Carpio Cceres 19/11/09
5-ECUACIONES EN DERIVADAS
PARCIALES
Enrique Zuazua
enrique.zuazua@uam.es.
6-http://es.wikipedia.org/wiki/Ecuaci%C3%B3n_en_derivadas_parciales
7-Elementos en ecuaciones diferenciales parciales.pdf 8-Ecuaciones
Diferenciales Parciales.pdf

Tarea de Mate V

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea de Mate V

Cargado por

Copyright:

Formatos disponibles

Matemticas V ingeniera civil Instituto tecnolgico de chetumal

son nmeros complejos conjugados, cuyo valor es

También podría gustarte