Unidad 6

UNIDAD 6 Introduccin a las ecuaciones diferenciales parciales
6.1 Teora preliminar.

6.2 Mtodos bsicos de solucin de una ecuacin diferencial parcial.
6.3 Separacin de variables.
6.4 Aplicaciones.

Competencias especficas a desarrollar
Definir y clasificar las ecuaciones diferenciales parciales.
Resolver ecuaciones diferenciales parciales usando integracin
directa.
Resolver ecuaciones diferenciales parciales usando una reduccin
de orden y otras restricciones en las variables.
Resolver una EDP utilizado el mtodo de separacin de variables.
Resolver las ecuaciones diferenciales parciales clsicas: de
onda, del calor y de Laplace.

Competencias genricas
Representar e interpretar conceptos en forma geomtrica y
algebraica.
Comunicarse en el lenguaje matemtico en forma escrita.
Lograr un pensamiento lgico, algortmico, heurstico, analtico
y sinttico.
Potenciar las habilidades para el uso de nuevas tecnologas.
Resolver problemas.
Reconocer conceptos generales e integradores.
Argumentar con contundencia y precisin.
Optimizar soluciones.

Competencias instrumentales
Capacidad de anlisis y sntesis.
Habilidades bsicas de manejo de la computadora.
Solucin de problemas.

Competencias sistmicas
Capacidad para aprender.
Capacidad para generar nuevas ideas.
Habilidad para trabajar en forma autnoma.

Hasta ahora hemos centrado nuestro estudio en slo algunas de las
ecuaciones diferenciales ordinarias ms conocidas, especficamente,
hemos aprendido a resolver ecuaciones separables, homogneas de grado
n , exactas, lineales de primer orden, de Bernoulli, lineales de
orden superior con coeficientes constantes y la ecuacin de Cauchy-
Euler. La teora de las ecuaciones ordinarias es inagotable y sin
embargo es pequea si la comparamos con la teora de las ecuaciones
diferenciales parciales. En las escuelas de ciencias se destinan
muchos aos a su estudio y aun as es prcticamente imposible
abarcarlas todas.
En esta seccin a manera de muy breve introduccin estudiaremos un
tipo particular de ecuaciones diferenciales parciales: las lineales
de segundo orden con coeficientes constantes. Especficamente,
estudiaremos las ecuaciones separables y nos centraremos en resolver
las ecuaciones del calor, la de onda y la de Laplace. Podremos
observar que el anlisis de Fourier es herramienta fundamental en
muchos problemas de aplicacin. Iniciamos la discusin estableciendo
las definiciones y resultados bsicos que nos permitirn alcanzar el
objetivo: resolver nuestras primeras ecuaciones diferenciales
parciales.

6.1 Teora preliminar
Competencia: Reconocer conceptos generales e integradores

Definicin 1 Definicin de ecuacin diferencial parcial
Una ecuacin diferencial parcial (EDP) es una ecuacin que contiene
las derivadas de una o ms variables dependientes respecto de dos o
ms variables independientes.

Al igual que en el caso de las ED ordinarias, el orden de una EDP
est dado por el orden de la derivada ms grande presente en la
ecuacin. De la misma forma las EDP se clasifican en lineales y no
lineales.

Ejemplo 1 Ecuaciones diferenciales parciales
Las siguientes ecuaciones diferenciales son todas parciales
1)
2 2
2 2
0
u u
x y

+ =

2)
2
2
x
u
k
t
u

Abreviaremos ecuacin diferencial parcial por EDP.
3)
2
2 2
2
2 2
u u
a
t x
| |
=
|

\

4)
2 2 2
2 2
2 5 20
xy
u u u u u
u e
x x y y x y

+ + + + =

5)
( )
2 2
2
2 2
3 2 0
u u u
x y x y
x y x

+ + + =

En un primer curso de ecuaciones diferenciales, el principal objeto
de estudio es la EDP lineal, a continuacin se presenta la definicin
correspondiente.

Definicin 2 EDP lineal de segundo orden
La ED de la forma
2 2 2
2 2
( , ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , )
u u u u u
A x y B x y C x y D x y E x y F x y u G x y
x x y y x y

+ + + + + =

(1)
Donde ( , ) u x y , ( , ), ( , ), ( , ), ( , ), ( , ), ( , ) A x y B x y C x y D x y E x y F x y y ( , ) G x y son todas son
funciones de dos variables definidas en un intervalo comn se conoce
como la EDP lineal de segundo orden.

Definicin 3 EDP lineal homognea y no homognea
Si en la EDP de segundo orden (1) se tiene que ( , ) 0 G x y = entonces se
dice que la ecuacin es homognea y si ( , ) 0 G x y la ecuacin se dice
no homognea.

Ejemplo 2 EDP homogneas y no homogneas
Las EDP de los incisos 1, 2 y 3 son lineales homogneas, mientras que
las ecuaciones de los incisos 4 y 5 son lineales no homogneas.
1)
2 2
2 2
0
u u
x y

+ =

2)
2
2
x
u
k
t
u

3)
2 2
2
2 2
u u
a
t x

=

4)
2 2 2
2 2
2 5 20
xy
u u u u u
u e
x x y y x y

+ + + + =

5)
2 2
2
2 2
3 2
u u u
x y x y
x y x

+ + = +

Definicin 4 Clasificacin de una EDP
Dada la EDP
2 2 2
2 2
( , )
u u u u u
A B C D E F u G x y
x x y y x y

+ + + + + =

se define su discriminante como la expresin
2
4 I B AC = , y tenemos
los siguientes casos
1) Si 0 4
2
< AC B la ecuacin se dice elptica.
2) Si 0 4
2
= AC B

la ecuacin se dice parablica.
3) Si 0 4
2
> AC B

la ecuacin se dice hiperblica.

Competencia: argumentar con contundencia y precisin
Ejemplo 3 Clasificacin de una EDP
Identificar el tipo de las siguientes EDP.
1)
2 2
2 2
0
u u
x y

+ =

2)
2
2
x
u
k
t
u

3)
2 2
2
2 2
u u
a
t x

=

4)
2 2 2
2 2
2 5 20
xy
u u u u u
u e
x x y y x y

+ + + + =

5)
( )
2 2
2
2 2
3 2 0
u u u
x y x y
x y x

+ + + =

Solucin
1) En la ecuacin
2 2
2 2
0
u u
x y

+ =

identificamos 0 B = y 1 A B = = entonces
2
0 4(1)(1) 4 0 I = = < , la EDP es elptica.
2) En la ecuacin
2
2
x
u
k
t
u
, identificamos , 0 A k B = = y 0 C= ,
entonces
2
0 4 (0) 0 I k = = , la ecuacin es parablica.
3) En la ecuacin
2 2
2
2 2
u u
a
t x

=

, identificamos
2
, 0 A a B = = y 1 C= ,
entonces
2 2 2
0 4 ( 1) 4 0 I a a = = > , la ecuacin es hiperblica.
4) Para la ecuacin
2 2 2
2 2
2 5 20
xy
u u u u u
u e
x x y y x y

+ + + + =

, identificamos
1, 2 A B = = y 5 C= , entonces
2
2 4(1)(5) 16 I = = , la ecuacin es
elptica.
5) Para la ecuacin

( )
2 2
2
2 2
3 2 0
u u u
x y x y
x y x

+ + + =

, identificamos
3 , 0 A x B = =

y

2 C y = entonces
2
0 4(3 )(2 ) 24 I x y xy = = , luego
Para la regin 0 > xy la ecuacin es elptica
Para la regin 0 < xy la ecuacin es hiperblica
Para la regin 0 = xy la ecuacin es parablica

Definicin 5 EDP con coeficientes constantes
La EDP de la forma
2 2 2
2 2
( , )
u u u u u
A B C D E F u G x y
x x y y x y

+ + + + + =

(2)
Donde ( , ) u x y y ( , ) G x y son funciones de dos variables y , , , , , A B C D E F ,
se llama la ecuacin de coeficientes constantes.

En esta unidad estaremos interesados en resolver las ecuaciones
diferenciales parciales de segundo orden bsicas, es decir, es
nuestro inters es determinar funciones de dos variables que
satisfagan a una ecuacin. Al respecto la siguiente definicin.

Definicin 6 Solucin de una EDP
Una funcin ( , ) u x y se dice ser solucin de la EDP (1) si sustituida en
ella junto con todas las derivadas que contiene la satisface.

Ejemplo 1 Solucin de una EDP
Las siguientes ecuaciones parciales tienen las soluciones indicadas.
Se deja como ejercicio al lector verificar que una derivacin parcial
y la sustitucin correspondiente as lo demuestran.
1) 4 5
u
x y
x
,
2
( , ) 2 5 ( ) u x y x xy c y = +
2)
2
2 6 2 3
2
72 12 40
xy
u
x e x y xy
y
= +
,
6 2 3 5
1 2
( , ) 2 2 2 ( ) ( )
xy
u x y e x y xy yc x c x = + + +
3)
2
4 cos 6
y
u
y x xe
x y
=

,
2 2
2 3
( , ) 2 sen 3 ( ) ( )
y
u x y y x x e c y c x = + +
4)
2
2
5 0
u u
x x

+ =

,
5
1 2
( , ) ( ) ( )
x
u x y c y e c y
= +
5)
2
3
u u
x y y

=

,
3
1 2
( , ) ( ) ( )
x
u x y c y e c x = +
6)
3 2
3 2
0
u u
x
y y

+ =

,
1 2 3
( , ) ( ) ( ) ( )
xy
u x y c x e c x y c x
= + +
7)
2
2
2
4 3
xy
u u
y e
x x

=

,
2
4
1 2 2 3
3
( , ) ( ) ( )
4
xy xy
u x y c y c y e e
y y
= + +

Para verificar si una funcin ( , ) u x y es solucin de una ecuacin
diferencial, debemos sustituirla junto con sus derivadas en la
ecuacin. En este proceso, suponemos que tanto la funcin sustituida
como las derivadas estn bien definidas en una regin comn en el
plano.

Como lo mencionamos al principio de esta obra, resolver ecuaciones
diferenciales ordinarias es una tarea inagotable. Ms complejo e
inalcanzable resulta el estudio de mtodos de solucin de una EDP. La
teora de las ecuaciones diferenciales parciales es por dems basta.
En las siguientes secciones, nos centraremos en resolver las
ecuaciones parciales ms conocidas, de manera que solamente
abordaremos algunos mtodos de solucin que se basan en la
integracin directa, la reduccin de orden o la utilizacin de
restricciones especiales con alguna de las variables y nuestro
objetivo principal: la separacin de variables.

6.2 Mtodos bsicos de solucin de una EDP
En esta seccin analizamos de manera muy breve algunos de los
principales mtodos de solucin que se pueden aplicar a las
ecuaciones diferenciales parciales ms sencillas. Bsicamente,
abordaremos la integracin directa, la reduccin de orden y algunas
restricciones especiales. Dejamos para la siguiente seccin el mtodo
de la separacin de variables.

Solucin por integracin directa
Las primeras ecuaciones diferenciales que se estudian sin mayor
complicacin, son aquellas pueden resolverse mediante una integracin
directa. Sin ms requerimientos tericos, ilustramos en los
siguientes ejemplos los procedimientos ms comunes para resolver
ecuaciones con estas caractersticas. En todos los casos y mientras
no se especifique lo contrario, supondremos que ( , ) u u x y = .

Ejemplo 1 Solucin de una EDP por integracin directa
Resolver la ecuacin 4 5
u
x y
x

Solucin

( ) 4 5 u x y x = separamos
( ) 4 5 u x y x =

integramos respecto a x
2
( , ) 2 5 ( ) u x y x xy c y = + agregamos constante ( ) c y

Resolver la ecuacin
2
2
2 3
u
x y
x y
=

Al integrar parcialmente una funcin respecto de la variable
debemos agregar una constante de integracin de la forma .
Solucin
Escribimos de manera equivalente
2
2 3
u
x y
x y
| |
=
|

\
y procedemos por
integracin directa
( )
2
2 3
u
x y x
y


2 2
0
3 ( )
u
x xy c y
y
= + +

agregamos
0
( ) c y

( )
2 2
0
( , ) 3 ( ) u x y x xy c y y = + +
integramos respecto a y
2 3
1 2
( ) ( ) u x y xy c y c x = + + + agregamos
2
( ) c x

Resolver la ecuacin
2
2 6 2 3
2
72 12 40
xy
u
x e x y xy
y
= +

Solucin

( )
2 2 6 2 3 2
72 12 40
xy
u x e x y xy y = + separamos
( )
2 2 6 2 3 2
72 12 40
xy
u x e x y xy y = +

( )
6 2 2 4
1
12 6 10 ( )
xy
u xe x y xy c x y = + + agregamos
1
( ) c x
Al integrar parcialmente una funcin respecto de la
variable debemos agregar una constante de integracin de la
( )
6 2 2 4
1
12 6 10 ( )
xy
u xe x y xy c x y = + +

6 2 3 5
1 2
( , ) 2 2 2 ( ) ( )
xy
u x y e x y xy yc x c x = + + + agregamos
2
( ) c x

Resolver la ecuacin
2
4 cos 6
y
u
y x xe
x y
=

Solucin

Competencia: Comunicarse en el lenguaje matemtico en forma oral y
escrita
4 cos 6
y
u
y x xe
x y
| |
=
|

\
ecuacin original
( )
4 cos 6
y
u
y x xe x
y
| |
=
|
\

2
1
4 sen 3 ( )
y
u
y x x e c y
y
= +
agregamos constante
1
( ) c y
( )
2
1
( , ) 4 sen 3 ( )
y
u x y y x x e c y y = +
2 2
1 3
( , ) 2 sen 3 ( ) ( )
y
u x y y x x e c y dy c x = + +
agregamos
3
( ) c x
2 2
2 3
( , ) 2 sen 3 ( ) ( )
y
u x y y x x e c y c x = + +
2 1
( ) ( ) c y c y dy =

Resolver
2
2
u
x y
x y
=

sujeta a
2
( , 0) u x x = , (1, ) cos u y y =

Solucin
Si escribimos la ecuacin como
2
u
x y
x y
| |
=
|

\

escrita
2
u
x y x
y

integramos con respecto a x
3
0
1
( )
3
u
x y c y
y
= +

agregamos una constante

0
( ) c y
3 2
1 2
1
( , ) ( ) ( )
6
u x y x y c y c x = + + integramos respecto a y

3 2 2
1 2
1
( , 0) (0) (0) ( )
6
u x x c c x x = + + =

evaluamos
2
( , 0) u x x =
2
2 1
( ) (0) c x x c = despejamos
3 2 2
1 1
1
( ) (0)
6
u x y c y x c = + +

sustituimos
2
( ) c x
3 2 2
1 1
1
(1, ) (1) ( ) (1) (0) cos
6
u y y c y c y = + + =

evaluamos (1, ) cos u y y =

2
1 1
1
( ) cos 1 (0)
6
c y y y c = +

despejamos

3 2 2 2
1 1
1 1
( , ) cos 1 (0) (0)
6 6
u x y x y y y c x c
| |
= + + +
|
\

sustituimos
1
( ) c x en ( , ) u x y
3 2 2 2
1 1
( , ) cos 1
6 6
u x y x y y y x = + +

solucin particular

Solucin de una EDP mediante una reduccin de orden
Otro tipo de EDP que podemos resolver con los conocimientos hasta hoy
adquiridos, es mediante una reduccin de orden. El mtodo consiste,
como lo sugiere su nombre, en reducir el orden de la ecuacin
mediante un cambio de variable. Regularmente se consideran los
siguientes casos:
1) Si
u
v
x
entonces
2
2
v u u
x x x x
| |
= =
|

\

2) Si
u
v
x
entonces
2
v u u
y y x y x
| |
= =
|

\

3) Si
u
v
y
entonces
2
2
v u u
y y y y
| |
= =
|

\

4) Si
u
v
y
entonces
2
v u u
x x y x y
| |
= =
|

\

Si alguna de las derivadas antes mencionadas aparece en una EDP, se
sustituye por otra de menor orden, de manera que la ecuacin
resultante tenga un orden menor que la original. En el siguiente
ejemplo ilustramos el procedimiento para hallar la solucin.

Ejemplo 6 Solucin de una EDP por reduccin de orden
Resolver la ecuacin
2
2
5 0
u u
x x

+ =

Solucin

Si consideramos
u
v
x
entonces
2
2
v u u
x x x x
| |
= =
|

\
, al sustituir en la
ecuacin original
2
2
5 0
u u
x x

+ =

tenemos
escrita
5 0
v
v
x
+ =
ecuacin original
5 0
v
x
v
+ =

separamos e integramos
Si entonces
0
ln 5 ( ) v x c y + = agregamos constante
0
( ) c y
0
5 ( ) x c y
v e
+
= tomamos exponencial
5
1
( )
x
v c y e
= definimos
0
( )
1
( )
c y
c y e =
5
0
( )
x
u
c y e
x
cambiamos de variable
5
0
( , ) ( )
x
u x y c y e x
5
0 2
1
( , ) ( ) ( )
5
x
u x y c y e c y
= + agregamos
2
( ) c y
5
1 2
( , ) ( ) ( )
x
u x y c y e c y
= + definimos
1 0
1
( )
5
c c y =

Resolver la ecuacin
2
3
u u
x y y

=

Solucin

Si entonces
Si definimos
u
v
y
entonces
2
v u u
x x y x y
| |
= =
|

\
, al sustituir en la
ecuacin
2
3
u u
x y y

=

tenemos
3
v
v
x
ecuacin original
3
v
x
v
=

separamos e integramos
ln 3 ( ) v x c y = + agregamos constante ( ) c y
3 ( ) x c y
v e
+
= tomamos exponencial
3
0
( )
x
v c y e = definimos
( )
0
( )
c y
c y e =
3
0
( )
x
u
c y e
y
cambiamos de variable
u
v
y

3
0
( , ) ( )
x
u x y e c y y =
3
1 2
( , ) ( ) ( )
x
u x y c y e c x = +
1 0
( ) ( ) c y c y y =
y agregamos
2
( ) c x

Resolver
2
u u
y
y x x

+ =

Solucin

Si
u
v
x
tenemos que
2
v u u
y y x y x
| |
= =
|

\
, sustituimos en la ecuacin
original.
v
v y
y
+ =
sustituimos en la ED original
( )
dy
y
y e e

= = factor integrante
y y y
v
e ve ye
y
+ =
multiplicamos la ED por ( ) y
( )
y y
d ve ye = agrupamos
y y
v e ye y =
0
( )
y y y
ve ye e c x = + agregamos
0
( ) c x
0
1 ( )
y
v y c x e
= + dividimos por
y
e
0
1 ( )
y
u
y c x e
x
= +
sustituimos
u
v
x

1 2
( ) ( )
y
u xy x c x e c y
= + + integramos respecto a x

Si tenemos que , sustituimos en la ecuacin
original.

Resolver la ecuacin
2
2
2 x
x
u
t x
u
t =

Solucin
escrita
Tenemos de manera equivalente la ecuacin
2
2 x u
t
u
t
x
=
|
\
|
+

2
2
u
t u x x
t
+ =

integramos con respecto a x

3
0
1
2 ( )
3
u
t u x c t
t
+ = +

agregamos
0
( ) c t
3
0
( ) 2 1
3
c t u x
u
t t t t
+ = +

dividimos por t

Observemos que la ecuacin anterior puede considerarse como una ED
lineal ordinaria en la variable independiente t . Utilizamos ahora un
factor integrante
2
2
( )
dt
t
t e t

= = factor integrante
2 3
0
1
2 ( )
3
u
t t u x t t c t
t
+ = +
multiplicamos la ecuacin por ( ) t

( )
2 3
1
1
( )
3
d t u x t c t = +

agrupamos con
1 0
( ) ( ) c t t c t =
2 3 2
2 4
1
( ) ( )
6
t u x t c t c x = + +

integramos respecto a t y agregamos
4
( ) c x
3
3 4 2
1 1
( , ) ( ) ( )
6
u x t x c t c x
t
= + +

solucin buscada

Solucin de una EDP mediante restricciones en las ariables
Adems de la reduccin de orden, en algunos casos particulares,
cuando la EDP tiene aparentemente una sola variable independiente y
coeficientes constantes, se pueden aplicar los mtodos vlidos para
las ecuaciones homogneas de orden superior como lo son los
coeficientes indeterminados y la variacin de parmetros. En los
siguientes ejemplos ilustramos esta idea.

Ejemplo 10 Solucin de una EDP mediante reduccin de orden y
coeficientes indeterminados
Resolver
3 2
3 2
0
u u
x
y y

+ =

Solucin

Si definimos
2
2
u
v
y
, entonces
3
3
v u
y y

=

Si entonces
escrita
0
v
xv
y
+ =
ecuacin reducida
0 m x + = ecuacin caracterstica
m x = raz caracterstica
0
( )
xy
v c x e
= solucin parcial
2
0 2
( )
xy
u
c x e
y
sustituimos
2
2
u
v
y

0 2
1
( ) ( )
xy
u
c x e c x
y x
= +
0 2 3 2
1
( , ) ( ) ( ) ( )
xy
x
= + + integramos respecto a y
1 2 3
( , ) ( ) ( ) ( )
xy
= + +
1 0 2
1
( ) ( ) c x c x
x
=

Es preciso mencionar que los mismos teoremas vlidos para las
ecuaciones ordinarias siguen siendo vlidos para las ecuaciones
parciales. El principio de superposicin, los factores integrantes,
los coeficientes indeterminados y la variacin de parmetros son
algunos resultados que se pueden extender a funciones de dos
variables. Para ilustrar esto, resolvemos la ecuacin del ejemplo 9
anterior utilizando el mtodo de los coeficientes indeterminados,
considerando que respecto de la variable x , la EDP es lineal no
homognea y de coeficientes constantes.

Ejemplo 11 Solucin de una EDP por coeficientes indeterminados
Resolver
3 2
3 2
0
u u
x
y y

+ =

Solucin
escrita
Si suponemos que x es constante, entonces
3 2
0 m x m + = ecuacin caracterstica
( )
2
0 m m x + = factorizamos
0, 0, m m m x = = = races caractersticas
0 0
1 3 2
( , ) ( ) ( ) ( )
xy y y
u x y c x e c x e c x ye
= + + solucin general
1 2 3
( , ) ( ) ( ) ( )
xy
= + + simplificamos

Algunas EDP se pueden resolver simplemente
por coeficientes indeterminados.
Ejemplo 12 Solucin de una EDP por coeficientes indeterminados
Resolver
2
2
2
4 3
xy
u u
y e
x x

=

Solucin
Si suponemos que y es constante, resolvemos la ecuacin homognea
asociada
2
2
2
4 0
u u
y
x x

=

ecuacin homognea asociada
2 2
4 0 m y m = ecuacin caracterstica
( )
2
4 0 m m y = factorizamos
2
0, 4 m m y = = races caractersticas
2
0 4
1 2
( , ) ( ) ( )
x xy
c
u x y c y e c y e = + funcin complementaria
2
4
1 2
( , ) ( ) ( )
xy
c
u x y c y c y e = + simplificamos

En este paso, proponemos una solucin particular en base a la forma
de la funcin 3
xy
e , de esta manera
escrita
( , )
xy
p
u x y Ae = solucin particular
Al igual que las EDO, la solucin de una EDP lineal homognea es
de la forma
p xy
u
Aye
x
derivamos
2
2
2
p xy
u
Ay e
x
derivamos
Al sustituir las derivadas anteriores en la ecuacin original,
tenemos
( )
2
2 2 2
2
4 4 3
p p xy xy xy
u u
y Ay e y Aye e
x x

= =

sustituimos en la ecuacin
( )
2 3
4 3
xy xy
A y y e e = factorizamos
2 3
3
4
A
y y
=
resolvemos para A
2 3
3
( , )
4
xy
p
u x y e
y y
=
funcin complementaria
2
4
1 2 2 3
3
( , ) ( ) ( )
4
xy xy
u x y c y c y e e
y y
= + +
( , )
c p
u x y u u = +

Desarrollo de competencias 6.2
Competencia: Resolver problemas
Competencia: Capacidad para resolver problemas
En los ejercicios 1-12 resolver las EDP dadas mediante una
integracin directa.
1.
3 3
12 5
u
x y
x
= +

2.
1
2
2
cos 5 tan
1
u y
x x y
y y
+
= +

3.
3 2 4 3
12 ln 5 cos
u
x y x y x
x
= +

4.
2
tan sec
u
x y
y
= +

5.
2
2
6 cos senh
u
x y y x
x

6.
2
3 2
2
cosh sen
u
x y xy x
y

7.
2
3 2 3 2 x y x y
u
e e
x y
+ +
= +

8.
3 3 4
12 5
y x
u
x e y e
y x
= +

9.
3
2 2
3
4 5 3 6
u
x y xy x y
x
= + +

10.
2
3
2
3 2
1
ln 5
x
u
x y y ye
y y
= +

11.
3
2 3 3 2
2
2 4
u
x y x y
x y
= +

12.
3
3 3
2
cos cos
u
x y y x
x y
=

En los ejercicios 13-38 utilizar (a) una reduccin de orden adecuada
y si es posible, (b) el mtodo de los coeficientes indeterminados,
para resolver las EDP dadas.
13.
2
2
2 0
u u
x x

=

14.
2
2
0
u u
y y

+ =

15.
2
4 0
u u
x y y

=

16.
2
0
u u
y x x

+ =

17.
2
2
0
u u
k
x x

+ =

18.
2
2
0
u u
k
y y

+ =

19.
2
0
u u
k
x y y

+ =

20.
2
0
u u
k
y x x

+ =

21.
3 2
3 2
5 0
u u
x x

+ =

22.
3 2
3 2
3 0
u u
y y

=

23.
3
3
16 0
u u
x x

=

24.
3
3
25 0
u u
y y

+ =

25.
3 2
3 2
0
u u
k
x x

+ =

26.
3
2
3
0
u u
k
x x

+ =

27.
3
2
3
0
u u
k
y y

=

28.
2
0
u
y u
x
+ =

29.
2
0
u
x u
y

30.
2
2 2
2
0
u
k y u
x
+ =

31.
2
2 2
2
0
u
k x u
y

32.
2
2
0
u u
ky
x x

+ =

33.
2
2
0
u u
kx
y y

=

34.
3
2 2
3
0
u u
k x
y y

+ =

35.
3
2 2
3
0
u u
k y
x x

+ =

36.
3 2
3 2
0
u u
kx
y y

+ =

37.
4 2
2 2
4 2
0
u u
k y
x x

+ =

38.
4
4 4
4
0
u
k y u
x

En los ejercicios 39-59 Resolver las EDP no homogneas.
39.
2
2
2 5
x
u u
e
x x

=

40.
2
2
2 5
y
u u
e
x x

=

41.
2
2
3
y
u u
e
y y

+ =

42.
2
2
3
x
u u
e
y y

+ =

43.
2
2
u u
k x
x x

+ =

44.
2
3
2
2
u u
k x
y y

+ =

45.
3 2
3 2
5 5
u u
x x

+ =

46.
3 2
3 2
3 8
u u
y y

=

47.
3
3
16
y
u u
e
x x

=

48.
3
3
25 cos
u u
x
y y

+ =

49.
3 2
3 2
x
u u
k e
x x

+ =

50.
3
2
3
1
u u
k
x x

+ =

51.
3
2
3
cos
u u
k x
y y

=

52.
2
sen
u
y u y
x
+ =

53.
2
cos
u
x u x
y

54.
2
2 2
2
sen
u
k y u x
x
+ =

55.
2
2 2
2
kxy
u
k x u e
y

56.
2
2
4
u u
ky x
x x

+ =

57.
2
2
2
4
u u
kx y
y y

=

58.
3
2 2
3
cos
u u
k x kxy
y y

+ =

59.
3
2 2
3
sen
u u
k y kxy
x x

+ =

En los ejercicios 60-64 resolver los problemas de valores en la
frontera dados.
60. sen
u
y
x
, (0, ) 0 u y =
61.
2
2
2
cos
u
x y
x
,
( )
2
(0, ) 0 , , 0 u y u x

= =
62.
2
2
1
0 ; (0, ) sen ,
y
u u
u y x x
x y x
=

= = =

63.
2
3
x
u
xy e
x y
= +

, ( ) (0, ) , 0,1 1
u
y y u
y
= =

64.
2
3 2
u u
y
x y y

= +

, ( )
2
0
2 , , 0
x
x
u
y y u x x e
y
=
= = +

!ompetencia "inal 6.2
En los ejercicios 1-2 utilizar integracin directa para resolver las
EDP dadas.
1.
3 3
2 cos 5 cos
u
x x y y
x
= +

2.
3 2 3
ln sen
u
x y y x y
y
= +

En los ejercicios 3-8 utilizar (a) una reduccin de orden adecuada y
si es posible, (b) el mtodo de los coeficientes indeterminados, para
resolver las EDP dadas.
3.
2
2
16 0
u u
x x

=

4.
2
9 0
u u
y x x

+ =

5.
3 2
3 2
81 0
u u
x x

+ =

6.
2
2
2
49 0
u
x u
y

7.
2
2 2
2
0
u
a y u
x
+ =

8.
4
4
4
16 0
u
y u
x

En los ejercicios 9-12 Resolver las EDP no homogneas.
9.
2
2
2 2
u u
x
x x

=

10.
2
2
2
2 5
x
u u
e
x x

=

11.
2
2
10
u u
y y

+ =

12.
2
3 2
2
3 4
u u
y y y
y y

+ = +

6.# Separacin de ariables

Antes de estudiar el siguiente mtodo de solucin de una EDP,
presentamos en la siguiente observacin un resultado que nos ser de
mucha utilidad en la solucin de ecuaciones: el principio de
superposicin.

Observacin 1 El principio de superposicin para EDP
Si consideramos la EDP lineal homognea de segundo orden de la forma
2 2 2
2 2
( , ) ( , ) ( , ) ( , ) ( , ) ( , ) 0
u u u u u
A x y B x y C x y D x y E x y F x y u
x x y y x y

+ + + + + =

(6.3)
Se puede mostrar, al igual que para el caso de las ecuaciones
diferenciales ordinarias, que el conjunto de soluciones forma un
espacio vectorial y de este hecho se deriva un resultado muy til en
la teora de las EDP como lo es el principio de superposicin. Al
respecto enunciamos el siguiente teorema, dejamos la demostracin
como un ejercicio al lector.

Teorema 1 Principio de superposicin para EDP
El conjunto ( )
2 2 2
2 2
, 0 [ , ]
u u u u u
S u x y A B C D E F u a b
x x y y x y

= + + + + + =
`

)
C CC C es un
subespacio vectorial.

En otras palabras, el teorema anterior establece que el conjunto de
soluciones de la EDP lineal homognea de segundo orden forma un
subespacio vectorial del espacio de funciones continuas en el
intervalo [ ] , a b , es decir, si { }
1 2
, , .,
n
u u u S K son soluciones de la
ecuacin (6.3) entonces la combinacin lineal de soluciones
1 1 2 2
1
n
k k n n
k
u u c c u c u c u
=
= = + + +
L

tambin es una solucin de (6.3) y como
consecuencia inmediata es que una EDP homognea siempre admite a la
funcin ( , ) 0 u x y = como solucin.
Si debemos resolver una EDP homognea, nuestro inters es determinar
una solucin diferente de la solucin trivial.

Ya estamos en condiciones de resolver un tipo de EDP muy importante
en cualquier ingeniera, las ecuaciones separables. Como ya lo hemos
mencionado, nuestro objeto de estudio es resolver la ecuacin de la
forma
2 2 2
2 2
( , ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , )
u u u u u
A x y B x y C x y D x y E x y F x y u G x y
x x y y x y

+ + + + + =

(6.1)

El mtodo de separacin de variables consiste bsicamente en
descomponer a la EDP en dos ED ordinarias independientes una de la
otra, cuyas soluciones producen la solucin buscada al multiplicarse
entre s. Presentamos la siguiente definicin.

Definicin 1 EDP separable
Se dice que una EDP es separable, si su solucin ( , ) u x y se puede
expresar en la forma ( , ) ( ) ( ) u x y X x Y y = , donde ( ) X x y ( ) Y y son ambas
funciones reales de variable real independientes entre s.

Observacin 2 Solucin de una EDP separable
Por definicin, si una EDP es separable entonces una solucin debe
ser de la forma ( , ) ( ) ( ) u x y X x Y y = , de manera que para decidir si una
ecuacin es o no separable prcticamente tenemos que resolverla.
El mtodo de solucin para las ecuaciones separables, al igual que
muchos mtodos desarrollados para ecuaciones ordinarias, consiste en
suponer que una solucin es precisamente de la forma ( , ) ( ) ( ) u x y X x Y y = ,
y sustituirla directamente en la ecuacin (6.1). Para esto, debemos
considerar y sustituir tambin las primeras derivadas de ( , ) u x y
( ) ( )
u
X x Y y
x
( ) ( )
u
X x Y y
y

2
2
( ) ( )
u
X x Y y
x

2
( ) ( )
u
X x Y y
x y
=

2
2
( ) ( )
u
X x Y y
y

O en su lugar y por simplicidad en la notacin, escribimos
simplemente
u
X Y
x

u
X Y
y

2
2
u
X Y
x

2
u
X Y
x y
=

2
2
u
X Y
y

Considerando en todo momento que ( , ) u u x y = , ( ) X X x = y ( ) Y Y y = .

Ladillo:

Si por simplicidad escribimos de manera que

donde , y .

Si la expresin resultante de esta sustitucin puede separarse
algebraicamente como una ecuacin de la forma ( ) ( ) , , , , f X X X g Y Y Y = ,
habremos demostrado entonces que la EDP es separable, porque la
anterior igualdad se cumple siempre y cuando ambas funciones sean
iguales a una funcin constante, es decir, ( ) ( ) , , , , f X X X g Y Y Y c = = .
Llamaremos a esta constante la constante de separacin.

De la ecuacin anterior se obtienen las dos ecuaciones diferenciales
ordinarias de segundo orden ( ) , , f X X X c = y ( ) , , g Y Y Y c = ,
independientes una de la otra, cuyas soluciones generales son las
funciones buscadas ( ) X x y ( ) Y y respectivamente, que multiplicadas
entre s conforman la solucin buscada ( , ) u x y .
Solo resta considerar que dichas funciones constantes, como cualquier
nmero real, pueden ser positivas, negativas o cero, de manera que el
procedimiento descrito anteriormente debe considerar los tres casos.
Debido a que las ecuaciones ordinarias obtenidas ( ) , , f X X X c = y
( ) , , g Y Y Y c = son lineales y de segundo orden, sus soluciones son de la
forma
c p
X X X = + y
c p
Y Y Y = + .
escrita
La constante es la nica funcin que depende al mismo tiempo tanto
de como de .
En los casos ms simples, cuando las ecuaciones son homogneas,
entonces bastar aplicar el mtodo de variacin de parmetros o bien,
cuando los coeficientes lo permitan, el mtodo de los coeficientes
indeterminados. Por comodidad en la notacin y debido a que las
ecuaciones ordinarias obtenidas son de segundo orden (lo cual implica
posiblemente la solucin de una ecuacin auxiliar cuadrtica y en
consecuencia una raz cuadrada), elegimos a la constante de
separacin c de la forma
2
2
2
0
0
0
c
>
= <
.
La aplicacin del mtodo anterior no garantiza que una EDP sea
separable, sin embargo, para poder demostrarlo es preciso suponer que
si lo es o bien hallar una contradiccin matemtica en el desarrollo
que demuestre lo contrario. En la siguiente tabla se resume el mtodo
de separacin de variables para resolver una EDP, suponiendo que es
posible aplicarlo.

escrita.
1)
Por simplicidad en lugar de escribimos sin
perder de vista que en todo momento , y .
1) Suponer que la ecuacin es separable y que tiene una solucin
de la forma .
2) Sustituir en la EDP, junto con sus primeras
derivadas parciales , , ,
y .
2)
3)
4)
5)

En los siguientes ejemplos ilustramos el proceso de separacin de
variables.

Ejemplo 1 Una EDP separable
Encontrar la solucin general de la ecuacin 2 2
u u
u
x y

+ =

.
Solucin
escrita
3) Si algebraicamente es posible expresar el resultado en la forma
concluimos que efectivamente es separable
y continuamos el proceso, de lo contrario, la ecuacin no es
separable y terminamos.
4) Resolver las ecuaciones ordinarias independientes
y Para cada uno de los tres casos, expresar la solucin en la
forma .
5) Considerando los casos y aplicando el mtodo que sea
conveniente.
Suponemos que ( , ) u x y X Y = de manera que
u
X Y
x
y
u
X Y
y
.
Si sustituimos en la ecuacin 2 2
u u
u
x y

+ =

tenemos

2 2 X Y X Y X Y + = sustituimos
u
X Y
x
y
u
X Y
y

( ) 2 X X Y X Y = agrupamos

2
X X Y
X Y

=
separamos

Como lo mencionamos en la observacin 2, en este paso, consideramos
que la expresin anterior estar bien definida siempre y cuando ambos
extremos sean una funcin constante, pues la constante es la nica
funcin que depende al mismo tiempo tanto de x como de y . Tenemos
entonces

2
X X Y
c
X Y

= =
igualamos con una constante de separacin

Dado que la constante de separacin puede ser positiva
( )
2
0 > ,
negativa
( )
2
0 < o incluso cero
( )
2
0 = . Consideramos los siguientes
tres casos
La constante de separacin es la nica funcin que
depende al mismo tiempo tanto de como de .

escrita
Caso I Si
2
0 >
2
2
X X Y
X Y

= =
igualamos con
2
0 >
( )
2 2
1 0 2 0 X X Y Y + = = separamos en dos EDO
2 2
1 0 2 0 m m + = = ecuaciones auxiliares
2 2
1 2 m m = = races auxiliares
( )
2
2 1
2
1 2
( ) ( )
x
y
X x c e Y y c e
= = soluciones independientes
( )
( )
2
2 1
2
1 2
( , ) ( ) ( )
x
y
u x y X x Y y c e c e
| |
= =
|
\
solucin general
( )
2 2
1 2
( , ) ( ) ( )
x y
u x y X x Y y Ae
+
= =

1 2
A c c =
escrita
Caso II Si
2
0 <
Al resolver una EDP por separacin de variables, se
considera que la constante de separacin puede ser
positiva, negativa o cero.
2
2
X X Y
X Y

= =
igualamos con
2
0 <
( )
2 2
1 0 2 0 X X Y Y + = + = separamos en dos EDO
2 2
1 0 2 0 m m = + = ecuaciones auxiliares
2 2
1 2 m m = + = races auxiliares
( )
2
2 1
2
3 4
( ) ( )
x
y
X x c e Y y c e
= = soluciones independientes
( )
( )
2
2 1
2
3 4
( , ) ( ) ( )
x
y
u x y X x Y y c e c e
+
| |
= =
|
\
solucin general
( )
2 2
1 2
( , )
x y
u x y Be
+
=

3 4
B c c =

escrita
Caso III Si
2
0 =
0
2
X X Y
X Y

= =
igualamos con
2
0 =
0 0 X X Y = = separamos en dos EDO
1 0 0 m m = = ecuaciones auxiliares
1 0 m m = = races auxiliares
5 6
( ) ( )
x
X x c e Y y c = = soluciones independientes
( )( )
5 6
( , ) ( ) ( )
x
u x y X x Y y c e c = = solucin general

( , )
x
u x y Ce =

5 6
C c c =

La solucin general de la EDP dada est dada por la funcin
( )
( )
2 2
2 2
1 2
2
1 2
2
2
0
( , ) 0
0
x y
x y
x
Ae
u x y Be
Ce

+
+
>
= <

Ejemplo 2 Una EDP separable
Resolver la ecuacin
2
2
u u
k u
x t

=

, 0 k >
Solucin
Si consideremos que ( , ) u x t X T = con ( ) X X x = y ( ) T T t = , entonces
2
2
u
X T
x

y

u
X T
t
. Luego
k X T X T X T = sustituimos
k X T X T X T = +

reagrupamos

X T T
X k T
+
=

separamos ecuaciones

Caso I Si 0
2
>
( )
2
T T
X
X kT

+
= = igualamos con
2
0 >
( )
2 2
0 1 0 X X T T k = + =

separamos en dos EDO

2
1 m m k = =

races auxiliares
( )
2
1
1 2 3
( ) ( )
k t
x x
X x c e c e T t c e

= + =

soluciones independientes

( )
( )
2
1
1 2 3
( , ) ( ) ( )
k t
x x
u x t X x T t c e c e c e

| |
= = +
|
\

producto de soluciones

( )
( )
2
1
1 1
( , )
k t
x x
u x t A e B e e

= +

solucin general

escrita
Caso II Si 0
2
<
2
X T T
X kT

+
= = igualamos con
2
0 <
( )
2 2
0 1 0 X X T k T + = + + =


( )
2
1 m i m k = = +

races auxiliares
( )
2
1
4 5 6
( ) cos sen , ( )
k t
X x c x c x T t c e

+
= + =

( )
( )
2
1
4 5 6
( , ) ( ) ( ) cos sen
k t
u x t X x T t c x c x c e

+
| |
= = +
|
\


( )
2
( 1 )
2 2
( , ) cos sen
k t
u x t A x B x e

+
= +

solucin general

Caso III 0
2
=
0
X T T
X kT
+
= = igualamos con
2
0 =
0 0 X T T = + = separamos en dos EDO
0, 0 1 m m m = = = races auxiliares
7 8 9
( ) ( )
t
X x c c x T t c e
= + =

( )( )
7 8 9
( , ) ( ) ( )
t
u x t X x T t c c x c e
= = +

( )
3 3
( , )
t
u x t A B x e
= +

solucin general
escrita
La solucin general est dada por la funcin
( )
( )
( )
( )
2
2
1
2
1 1
( 1 ) 2
2 2
2
3 3
0
( , ) cos sen 0
0
k t
x x
k t
t
A e B e e
u x t A x B x e
A B x e
+ >
= + <
+ =

Algunas preguntas que surgen en este momento son Por qu existen
tres familias de soluciones para una sola ecuacin diferencial? No
existe un teorema en el que se establezcan las condiciones de
existencia y unicidad para la solucin de un problema de condicin
inicial y valores en la frontera en derivadas parciales?
En la presente obra no se profundiza al respecto. nicamente
mencionaremos sin demostracin que tambin existe un teorema de
existencia y unicidad para las ecuaciones en derivadas parciales. En
l, se establecen condiciones necesarias y suficientes acerca de la
existencia y unicidad de la solucin de un problema de valores en la
frontera de una EDP.

En los siguientes ejemplos observaremos, que al agregar condiciones
iniciales y valores de frontera a una ecuacin diferencial parcial,
podremos elegir cul de los tres casos considerados nos proporcionar
la solucin particular buscada.

En la teora de las ecuaciones diferenciales existen diferentes
maneras de resolver un problema de valores en la frontera. La ms
comn consiste en evaluar las condiciones dadas de manera directa en
la solucin general obtenida. En el ejemplo 3 ilustramos este
procedimiento.

Ejemplo 3 Un problema de valores en la frontera en derivadas
parciales
Resolver la ecuacin
2
2
u u
k u
x t

=

, 0 k >
Sujeta a (0, ) 0 u t = , (3, ) 0 u t =
Solucin
escrita.
En el ejemplo (2), encontramos
( )
( )
( )
( )
2
2
1
2
1 1
( 1 ) 2
2 2
2
3 3
0
( , ) cos sen 0
0
k t
x x
k t
t
A e B e e
u x t A x B x e
A B x e
+ >
= + <
+ =

Al sustituir de manera directa las condiciones dadas en cada uno de
los casos, tenemos
Competencia: Argumentar con contundencia y precisin
Caso I Si 0
2
> entonces
( )
( )
2
1
1 1
( , )
k t
x x
u x t A e B e e

= +
( )
( )
2
1
0 0
1 1
(0, )
k t
u t A e B e e

= + sustituimos (0, ) 0 u t =
( )
( )
2
1
1 1
0
k t
A B e

+ = simplificamos
1 1
0 A B + = porque
( )
2
1
0
k t
e

( )
( )
2
1
1 1
( , )
k t
x x
u x t Ae Ae e

= sustituimos
1 1
B A = en ( , ) u x t
( )
( )
2
1
3 3
1
(3, ) 0
k t
u t A e e e

= = evaluamos (3, ) 0 u t =
( )
3 3
1
0 A e e

= porque
( )
2
1
0
k t
e

Si
1
0 A = , tendramos que ( , ) 0 u x t = , sin embargo, como lo establecimos
anteriormente, la solucin trivial no es de nuestro inters. De
manera que podemos concluir
escrita
3 3
0 e e

=
1
0 A porque requerimos ( , ) 0 u x t
2senh3 0 = utilizamos
( )
3 3
1
senh3
2
e e

=
0 = resolvemos para
Esto es una contradiccin! porque en el caso I hemos supuesto que
2
0 > . En consecuencia, la solucin
( )
( )
2
1
1 1
( , )
k t
x x
u x t A e B e e

= + del caso I
no satisface las condiciones dadas. Procedemos a evaluar el caso II.
Caso II Si 0
2
< entonces ( )
2
( 1 )
2 2
( , ) cos sen
k t
u x t A x B x e

+
= +
( )
2
( 1 )
2 2
(0, ) cos 0 sen 0 0
k t
u t A B e
+
= + = sustituimos (0, ) 0 u t =
2
( 1 )
2
0
k t
A e
+
= simplificamos
2
0 A = porque
2
( 1 )
0
k t
e
+

2
( 1 )
2
( , ) sen
k t
u x t B e x
+
= sustituimos
2
0 A = en ( , ) u x t
2
( 1 )
2
(3, ) sen 3 0
k t
u t B e

+
2
sen 3 0 B = porque
2
( 1 )
0
k t
e
+

escrita
Si
2
0 B = , tendramos de nueva cuenta que ( , ) 0 u x t = , solucin que no es
de nuestro inters. De manera que podemos concluir
sen 3 0 =
2
0 B porque requerimos ( , ) 0 u x t
3 n = 0,1, 2,... n =
3
n
= resolvemos para
A continuacin, sustituimos las condiciones obtenidas
2
0 A = y
3
n
=
en la solucin
2
( 1 )
2
( , ) sen
k t
u x t B e x
+
= para obtener
2 2
1
9
2
( , ) sen
3
kn
t
n
u x t B e x
| |
+ |
|
\
= , 0,1, 2,... n =
Podemos observar que existe una solucin diferente para cada valor
entero 0,1, 2,... n = , de manera podemos enumerar todas las soluciones y
reescribir la ltima expresin en la forma
2 2
1
9
( , ) sen
3
k n
t
n n
n
u x t B e x
| |
+ |
|
\
= , 0,1, 2,... n =
Por el principio de superposicin, la solucin general es de la forma
1
( , ) ( , )
n
n
u x t u x t
=
=
, luego
2 2
1
9
1
( , ) sen
3
kn
t
n
n
n
u x t B e x
| |
+ |
|
\
=
=

escrita
Caso III Si 0
2
= entonces ( )
3 3
( , )
t
u x t A B x e
= +
( )
3 3
(0, ) (0) 0
t
u t A B e
= + = sustituimos (0, ) 0 u t =
3
0
t
A e
= simplificamos
3
0 A = porque 0
t
e

3
( , )
t
u x t B x e
= sustituimos
3
0 A = en ( , ) u x t
3
(3, ) 3 0
t
u t B e
3
0 B = porque 0
t
e

Como
3
0 A = y
3
0 B = entonces concluimos ( )
3 3
( , ) 0
t
u x t A B x e
= + = , que es la
solucin trivial y no es de nuestro inters porque requerimos una
solucin no cero.
En consecuencia solo el caso II satisface las condiciones dadas, la
solucin buscada es de la forma
2 2
1
9
1
( , ) sen
3
kn
t
n
n
n
u x t B e x
| |
+ |
|
\
=
=
.

El procedimiento descrito en el ejemplo 3, es el procedimiento
clsico seguido para resolver un problema de valores iniciales en
derivadas parciales: sustituir de manera directa las condiciones en
la solucin general y simplificar. En el siguiente ejemplo ilustramos
un procedimiento alterno equivalente que utiliza el hecho estar
resolviendo una ecuacin separable. La diferencia bsica es que no
sustituimos las condiciones en la solucin en forma de producto
( , ) ( ) ( ) u x t X x T t = y simplificamos, sino que sustituimos mientras sea
posible las condiciones en las funciones ( ) X X x = y ( ) T T t = y
simplificamos. Al final cuando construimos la funcin solucin en
forma de producto, las funciones factores ( ) X X x = y ( ) T T t = ya estn
reducidas de manera que el producto ( , ) ( ) ( ) u x t X x T t = es ms simple.
Observemos el ejemplo 4.
Ejemplo 4 Un problema de valores en la frontera en derivadas
parciales
Resolver la ecuacin
2
2
u u
k u
x t

=

, 0 k >
Sujeta a (0, ) 0 u t = , (3, ) 0 u t =
escrita
Solucin
Como la solucin general de la EDP es de la forma ( , ) ( ) ( ) u x t X x T t = ,
tenemos entonces
(0, ) (0) ( ) 0 u t X T t = =
(3, ) (3) ( ) 0 u t X T t = =
Si ( ) 0 T t = se tendra que ( , ) ( ) ( ) 0 u x t X x T t = = que no es la solucin
requerida. Por tanto, podemos suponer ( ) 0 T t y en consecuencia
considerar que
(0) ( ) 0 X T t = implica (0) 0 X =
(3) ( ) 0 X T t = implica (3) 0 X =
Ahora, consideramos las soluciones independientes (obtenidas en el
ejemplo 2, antes de formar la solucin en forma de producto) y
evaluamos las condiciones (0) 0 X = y (3) 0 X = .

escrita
Caso I Si
2
0 > ,
1 2
( )
x x
X x c e c e

= + ,
( )
2
1
3
( )
k t
T t c e

=
0 0
1 2
(0) 0 X c e c e = + = sustituimos (0) 0 X =
1 2
0 c c + = simplificamos
1 1
( )
x x
X x c e c e

= sustituimos
2 1
c c = en ( ) X x
( )
3 3
1
(3) 0 X c e e

= = evaluamos (3) 0 X =
3 3
0 e e

= pues
1
0 c porque ( ) 0 X x
0 = resolvemos para
Esto es una contradiccin!, porque en el caso I hemos supuesto que
2
0 > . En consecuencia, el caso I no satisface las condiciones dadas.

escrita
Caso II Si
2
0 < ,
4 5
( ) cos sen X x c x c x = + ,
2
( 1 )
( )
k t
T t e
+
=
4 5
(0) cos 0 sen 0 0 X c c = + = sustituimos (0) 0 X =
4
0 c = simplificamos
5
( ) sen X x c x = sustituimos
4
0 c = en ( ) X x
5
(3) sen3 0 X c = = evaluamos (3) 0 X =
sen 3 0 = pues
5
0 c porque ( ) 0 X x
3 n = 0,1, 2,... n =
3
n
= resolvemos para
5
( ) sen
3
n
X x c x
= , 0,1, 2,... n = sustituimos

4
0 c = y
3
n
= en ( ) X x
Hasta este punto consideramos que ( , ) ( ) ( ) u x t X x T t = , de manera que
( )
2
( 1 )
5 6
( , ) sen
3
k t
n
u x t c x c e

+
| |
=
|
\

2
( 1 )
( , ) sen
3
k t
n
u x t Be x

+
=
Podemos observar que existe una solucin diferente para cada valor
entero 0,1, 2,... n = , de manera podemos reescribir sta ltima expresin
en la forma
2
( 1 )
( , ) sen
3
k t
n n
n
u x t B e x

+
=
Por el principio de superposicin, la solucin general es
2 2
1
9
1
( , ) sen
3
kn
t
n
n
n
u x t B e x
| |
+ |
|
\
=
=

Caso III Si
2
0 = ,
7 8
( ) X x c c x = + ,
9
( )
t
T t c e
=
7 8
(0) (0) 0 X c c = + = sustituimos (0) 0 X =
7
0 c = simplificamos
8
( ) X x c x = sustituimos
7
0 c = en ( ) X x
8
(3) 3 0 X c = = evaluamos (3) 0 X =
8
0 c = resolvemos para
8
c
Como
7
0 c = y
8
0 c = concluimos ( ) 0 X x = y luego ( , ) 0 u x t = . Como requerimos
( , ) 0 u x t entonces solo el caso II satisface las condiciones dadas y la
solucin buscada es
2 2
1
9
1
( , ) sen
3
k n
t
n
n
n
u x t B e x
| |
+ |
|
\
=
=

Puede observarse que el mtodo descrito en el ejemplo 4 tiene algunas
ventajas sobre el mtodo tradicional del ejemplo 36. Como lo hemos
mencionado, bsicamente, es ms conveniente evaluar las condiciones
en las soluciones independientes, simplificar y armar la solucin
producto en lugar de armar la solucin producto, evaluar las
condiciones y simplificar al final.

Despus de resolver nuestras primeras EDP, podemos darnos una idea de
la vasta tarea que esto representa. En un curso introductorio, se
estudian bsicamente los mtodos que hemos expuesto. A continuacin
presentamos tres ejemplos fundamentales en el estudio de las
ecuaciones separables.
Tres e$emplos especiales
Como un prembulo a la ltima seccin de esta unidad y de la presente
obra, presentamos la solucin de tres problemas clsicos de las
ecuaciones diferenciales parciales aplicadas en la ingeniera. Todas
ellas separables.

Ejemplo 5 La ecuacin del calor
Resolver la ecuacin
2
2
, 0
u u
k k
x t

= >

Solucin
Sea ( , ) u x t X T = donde ( ) X X x = y ( ) T T t = , entonces

2
2
u
X T
x

y
u
X T
t
.
Luego
k X T X T = sustituimos
X T
X k T

=

separamos
A continuacin consideramos los tres casos de la constante de
separacin
2
.

Caso I Si 0
2
>
2
X T
X kT

= = igualamos con
2
0 >
2 2
0, 0 X X T k T = =


2
, m m k = =

races auxiliares
2
1 2 3
( ) , ( )
x x k t
X x c e c e T t c e

= + =


( )( )
2
1 2 3
( , ) ( ) ( )
x x k t
u x t X x T t c e c e c e

= = +


( )
2
1 1
( , )
x x k t
u x t A e B e e

= +

solucin general

Caso II Si 0
2
<
escrita.
2
X T
X kT

= = igualamos con
2
0 <
2 2
0, 0 X X T k T + = + =


2
, m i m k = =

races auxiliares
2
4 5 6
( ) cos sen , ( )
k t
X x c x c x T t c e

= + =

( )
( )
2
4 5 6
( , ) ( ) ( ) cos sen
k t
u x t X x T t c x c x c e

= = +


( )
2
2 2
( , ) cos sen
k t
u x t A x B x e

= +

solucin general

Caso III 0
2
=
escrita.
0
X T
X kT

= = igualamos con
2
0 =
0 0 X T = = separamos en dos EDO
7 8 9
( ) , ( ) X x c x c T t c = + =

integramos directamente
( )( )
7 8 9
( , ) ( ) ( ) u x t X x T t c x c c = = +

( )
3 3
( , )
t
u x t A x B x e
= +

solucin general
Las soluciones independientes de la ecuacin son
2
2
2
1 2 3
2
4 5 6
2
7 8 9
( ) , ( ) 0
( ) cos sen , ( ) 0
( ) , ( ) 0
x x k t
k t
X x c e c e T t c e
X x c x c x T t c e
X x c x c T t c

= + = >
= + = <
= + = =

Ejemplo 6 La ecuacin de onda
Resolver la ecuacin
2 2
2
2 2
u u
a
x t

=

Solucin
Sea ( , ) u x t X T = con ( ) X X x = y ( ) T T t = , entonces

2
2
u
X T
x
y
2
2
u
X T
t
.
Luego
2
a X T X T = sustituimos
2
X T
X a T

=

separamos
Ahora consideramos los tres casos de la constante de separacin
2
.
escrita.
Caso I Si 0
2
>
2
2
X T
X a T

= = igualamos con
2
0 >
2 2 2
0, 0 X X T a T = =


, m m a = =

races auxiliares
1 2 3 4
( ) , ( )
x x a t a t
X x c e c e T t c e c e

= + = +


( )( )
1 2 3 4
( , )
x x a t a t
u x t c e c e c e c e

= + +

solucin general

escrita.
Caso II Si 0
2
<
2
2
X T
X a T

= = igualamos con
2
0 <
2 2 2
0, 0 X X T a T + = + =


, m i m a i = =

races auxiliares
5 6 7 8
( ) cos sen , ( ) cos sen X x c x c x T t c a t c a t = + = + soluciones independientes
( )( )
5 6 7 8
( , ) cos sen cos sen u x t c x c x c a t c a t = + +

solucin general

Caso III 0
2
=
2
0
X T
X a T

= = igualamos con
2
0 =
0 0 X T = = separamos en dos EDO
1 2 3 4
( ) , ( ) X x a x a T t a t a = + = +

integramos directamente
( )( )
1 2 3 4
( , ) u x t a x a a t a = + +

solucin general
2
1 2 3 4
2
5 6 7 8
2
1 2 3 4
( ) , ( ) 0
( ) cos sen , ( ) cos sen 0
( ) , ( ) 0
x x a t a t
X x c e c e T t c e c e
X x c x c x T t c a t c a t
X x a x a T t a t a

= + = + >
= + = + <
= + = + =

Ejemplo 7 La ecuacin de Laplace
Resolver la ecuacin
2 2
2 2
0
u u
x y

+ =

Solucin
escrita.
Sea ( , ) u x y X Y = donde ( ) X X x = y ( ) Y Y t = . Entonces

2
2
u
X Y
x

y

2
2
u
X Y
y
.
Luego
0 X Y X Y + = sustituimos
X Y
X Y

=

separamos
Ahora consideramos los tres casos de la constante de separacin
2
.
Caso I Si 0
2
>
2
X Y
X Y

= =
igualamos con
2
0 >
2 2
0, 0 X X Y Y = + =


, m m i = =

races auxiliares
1 2 3 4
( ) , ( ) cos sen
x x
X x c e c e Y y c y c y

= + = + soluciones independientes

( )( )
1 2 3 4
( , ) cos sen
x x
u x y c e c e c y c y

= + +

solucin general

escrita.
Caso II Si 0
2
<
2
X Y
X Y

= =
igualamos con
2
0 <
2 2
0, 0 X X Y Y + = =


, m i m = =

races auxiliares
5 6 7 8
( ) cos sen , ( )
y y
X x c x c x Y y c e c e

= + = + soluciones independientes
( )( )
5 6 7 8
( , ) ( ) cos sen
y y
u x y X x c x c x c e c e

= = + +

solucin general

Caso III 0
2
=
0
X Y
X Y

= =
igualamos con
2
0 =
0 0 X Y = = separamos en dos EDO
1 2 3 4
( ) , ( ) X x a x a Y y a y a = + = + integramos directamente
( )( )
1 2 3 4
( , ) u x y a x a a y a = + +

solucin general
2
1 2 3 4
2
5 6 7 8
2
1 2 3 4
( ) , ( ) cos sen 0
( ) cos sen , ( ) 0
( ) , ( ) 0
x x
y y
X x c e c e Y y c y c y
X x c x c x Y y c e c e
X x a x a Y y a y a

= + = + >
= + = + <
= + = + =

En la siguiente seccin, estudiaremos con mayor detalle estas tres
ecuaciones, observaremos que al agregar condiciones iniciales y
valores de frontera podremos discriminar uno solo los tres casos de
la constante de separacin y culminaremos aplicando un anlisis de
Fourier para determinar la nica solucin particular de cada
ecuacin.
Desarrollo de competencias 6.#
Determinar si las EDP dadas en los ejercicios 1-24 son separables. En
caso afirmativo utilizar el mtodo correspondiente para resolverlas.
1. 0
u u
x t

+ =

2. 0
u u
x t

=

3. 0, , 0
u u
a b a b
x y

+ =

4.
u u
k
x y

=

, 0 k >
5.
u u
u
x y

+ =

6.
u u
ku
x t

=

, 0 k >
7. 0
u u
x t
x t

+ =

8. 0
u u
t x
x t

+ =

9.
2 2 2
2 2
0
u u u
x x t t

+ + =

10.
2
2
0
u u
x y

+ =

11.
2
2
2
0
u u
k
x t

=

12.
2
2
u u
k
x y

=

, 0 k >
13.
2
2
u u
ku
x t

=

, 0 k >
14.
2 2
2 2
u u
u
x y

+ =

15.
2 2
2 2
u u
ku
x t

=

, 0 k >
16.
2 2
2 2
2 2
0
u u
x t
x t

+ =

17.
2 2
2 2
0
u u
x y

=

18.
2 2
2 2
u u
u
x y

+ =

19.
2 2
2 2
u u
u
x y

+ =

20.
2
2
5
u u
t x

=

21.
2 2
2 2
4
y y
t x

=

22.
2
2
u u
x t

=

23.
2 2
2 2
25
u u
x t

=

24.
2 2
2 2
16
u u
x t

=

frontera dados.
25. , ( , 0)
x
u u
u u x e
x y

+ = =

26.
2
, ( , 0) 3
x x
u u
u u x e e
x t

+ = = +

27.
2
2 0, ( , 0) 4
x x
y y
y x e e
t x

+ = =

28.
2
2
, (0, ) 0, (1, ) 0
u u
u t u t
t x

= = =

29.
2
2
2 , (0, ) 0, (5, ) 0
u u
u t u t
t x

= = =

30.
2 2
2 2
, (0, ) 0, ( , ) 0, ( , 0) 0
u u u
u t u t x
x t t

= = = =

31.
2 2
2 2
4 , (0, ) 0, ( , ) 0, ( , 0) 0
u u
y y y y y x
x y

= = = =

32.
2
2
, (0, ) 0, ( , ) 0
y y
u u t u t
t x

= + = =

33.
2
2
3 , (0, ) 0, ( , ) 0
u u
u t u t
x t

= = =

34.
2 2
2 2
9 , (0, ) 0, (4, ) 0
u u
u t u t
x t

= = =

35.
2
2
, (0, ) 0, ( , ) 0, 0, 0
u u
k u t u L t k L
x t

= = = > >

36.
2 2
2
2 2
, (0, ) 0, ( , ) 0, 0
u u
a u t u L t L
x t

= = = >

37.
2 2
2 2
0, (0, ) 0, ( , ) 0, (0, ) 0, 0
u u u
u y u L y y L
x y y

+ = = = = >

!ompetencia "inal 6.#
Determinar si las EDP dadas en los ejercicios 1-3 son separables. En
caso afirmativo utilizar el mtodo correspondiente para resolverlas.
1.
u u
a b cu
x y

+ =

, , , 0 a b c
2.
2
2
0, , 0
u u
a b a b
x t

+ =

3.
2 2
2 2
2 2
0
u u
t x
x t

+ =

frontera dados.

4. , (0, )
y
u u
u y e
x y

= =

5.
2 2
2 2
, (0, ) 0, (1, ) 0, ( , 0) 0
u u u
u t u t x
x t t

= = = =

6.
2 2
2 2
0, (0, ) 0, ( , ) 0, (0, ) 0
u u u
u y u y y
x y y

+ = = = =

6.% &plicaciones
En esta ltima seccin y para terminar con la presente obra,
presentamos la solucin de las tres ecuaciones diferenciales
parciales separables ms conocidas: la ecuacin de la transferencia
unidimensional del calor, la ecuacin de una onda que se propaga a lo
largo de una cuerda y la ecuacin que describe la transferencia
bidimensional del calor.
Debemos mencionar que resolveremos estos problemas, clsicos en
muchas de las ingenieras en su forma ms simple, pues existe una
infinidad de casos dependiendo de las condiciones iniciales y valores
de frontera considerados. En un curso especializado de ecuaciones
parciales se estudian estos problemas considerando otras
caractersticas como direcciones de transferencia, prdidas de calor,
densidad de los materiales, calores especficos, temperaturas en los
extremos, tensiones, disipaciones de energa, etctera.
Observaremos que al agregar valores de frontera a una ecuacin
parcial podremos seleccionar una de las soluciones obtenidas para los
diferentes valores de la constante de separacin y que finalmente las
condiciones iniciales evaluadas producirn la solucin particular
buscada con ayuda de un anlisis de Fourier.
En ninguno de los casos abordaremos la deduccin formal de las
ecuaciones diferenciales mencionadas. nicamente nos centraremos en
resolverlas aplicando todo lo aprendido a lo largo de la presente
obra.
Disfrutemos de algo que no todos pueden hacer: de la belleza de las
matemticas aplicadas a la ingeniera.
'a ecuacin del calor
Si la temperatura en los extremos de una barra de longitud L es cero
y la distribucin de la temperatura est definida por la funcin ( ) f x
, entonces la funcin ( , ) u x t que describe la temperatura de la barra
se obtiene al resolver el siguiente problema de valores en la
frontera
2
2
, 0
u u
k k
x t

= >

(0, ) 0 u t = , ( , ) 0 u L t = , 0 t >
( , 0) ( ) u x f x = , 0 x L < <

Las condiciones (0, ) 0 u t = y ( , ) 0 u L t = hacen referencia a que la
temperatura de la barra en los extremos es cero y la funcin ( ) f x
describe como se distribuye la temperatura de izquierda a derecha.
En el siguiente ejemplo mostramos la solucin de este problema de
valores en la frontera.

Ejemplo 1 La ecuacin del calor
Resolver la ecuacin del calor
2
2
, 0
u u
k k
x t

= >

(0, ) 0 u t = , ( , ) 0 u L t = , 0 t >
( , 0) ( ) u x f x = , 0 x L < <
Solucin
En el ejemplo 5 de seccin 6.3 encontramos que para el caso
2
0 <
las soluciones independientes de la ecuacin del calor estn dadas
por
2
4 5
6
( ) cos sen
( )
k t
X x c x c x
T t c e

= +
=

Si consideramos que ( , ) ( ) ( ) u x t X x T t = , entonces
La primera condicin (0, ) (0) ( ) 0 u t X T t = = implica (0) 0 X =
La segunda condicin ( , ) ( ) ( ) 0 u L t X L T t = = implica ( ) 0 X L =
escrita.
Luego
4 5
(0) cos 0 sen 0 0 X c c = + = evaluamos (0) 0 X =
4
0 c = simplificamos
5
4
0 c = en ( ) X x
5
( ) sen 0 X L c L = = evaluamos ( ) 0 X L =
sen 0 L = porque
5
0 c
n
L
= resolvemos para
5
( ) sen
n
X x c x
L
= sustituimos
n
L
= en ( ) X x
2 2
2
6
( )
k n
t
L
T t c e
= sustituimos
n
L
= en ( ) T t
Puede verificarse sin mayor dificultad que el caso
2
0 > no satisface
los valores de frontera y que el caso
2
0 = produce la solucin
trivial, de manera que la solucin general es de la forma
2 2
2
5 6
( , ) sen
k n
t
L
n
u x t c x c e
L

| |
| |
= |
|
|
\
\

De donde
2 2
2
( , ) sen
k n
t
L
n n
n
u x t B e x
L
= definimos
5 6 n
B c c = , 0,1, 2,... n =
2 2
2
1
( , ) sen
k n
t
L
n
n
n
u x t B e x
L
=
=
principio de superposicin
1
( , 0) sen ( )
n
n
n
u x B x f x
L
=
= =
evaluamos ( , 0) ( ) u x f x =
Podemos observar que la expresin representa la serie de Fourier en
senos de la funcin ( ) f x en el intervalo [ ] 0, L , de manera que
0
2
( ) sen
L
n
n
B f x x dx
L L

escrita.
Finalmente, sustituimos los coeficientes
n
B en ( , ) u x t
2 2
2
0
1
2
( , ) ( ) sen sen
k n
t L
L
n
n n
u x t f x x dx e x
L L L
=
| |
=
|
\

Que es la solucin particular buscada a la ecuacin del calor.

'a ecuacin de onda
Consideremos una onda viaja sobre una cuerda de longitud L y fija en
sus extremos. La posicin ( , ) u x t de un punto que se desplaza sobre la
cuerda para un tiempo t es la solucin del problema de valores en la
frontera
2 2
2
2 2
u u
a
x t

=

(0, ) 0, ( , ) 0, 0 u t u L t t = =
( , 0) ( ) u x f x =
0
( ), 0
t
u
g x x L
t
=
= < <

Las condiciones (0, ) 0, (0, ) 0, 0 u t u L t = = hacen referencia a que los
extremos de la cuerda permanecen fijos para cualquier tiempo, la
funcin ( ) f x corresponde a la posicin inicial de la cuerda y por
ltimo, la funcin ( ) g x refiere a la velocidad inicial de cualquier
punto sobre la cuerda. En el ejemplo 2 mostramos la solucin de este
problema de valores en la frontera.

Ejemplo 2 La ecuacin de onda
Resolver la ecuacin de onda
2 2
2
2 2
u u
a
x t

=

(0, ) 0, (0, ) 0, 0 u t u L t = =
( , 0) ( ) u x f x =
0
( ), 0
t
u
g x x L
t
=
= < <

Solucin
En el ejemplo 6 de seccin 6.3 encontramos que para el caso
2
0 <
las soluciones independientes de la ecuacin de onda calor estn
dadas por
5 6
7 8
( ) cos sen
( ) cos sen
X x c x c x
T t c a t c a t

= +
= +

escrita.
Si consideramos que ( , ) ( ) ( ) u x t X x T t = , entonces
La primera condicin (0, ) (0) ( ) 0 u t X T t = = implica (0) 0 X =
La segunda condicin ( , ) ( ) ( ) 0 u L t X L T t = = implica ( ) 0 X L =
Si consideramos
5 6
( ) cos sen X x c x c x = + , tenemos
5 6
(0) cos 0 sen 0 0 X c c = + = evaluamos (0) 0 X =
5
0 c = simplificamos
6
5
0 c = en ( ) X x
6
( ) sen 0 X L c L = = evaluamos ( ) 0 X L =
sen 0 L = porque
6
0 c
n
L
= resolvemos para
6
( ) sen
n
X x c x
L
= sustituimos
n
L
= en ( ) X x
7 8
( ) cos sen
n a n a
T t c t c t
L L

= + sustituimos
n
L
= en ( ) T t
Puede verificarse sin mayor dificultad que el caso
2
0 > no satisface
los valores de frontera y que el caso
2
0 = produce la solucin
trivial, de manera que la solucin general es de la forma
6 7 8
( , ) sen cos sen
n n a n a
u x t c x c t c t
L L L
| || |
= +
| |
\ \

escrita.
Si definimos
6 7 n
A c c = y
6 8 n
B c c = , 1, 2,... n = , entonces
( , ) sen cos sen sen
n n n
n n a n n a
u x t A x t B x t
L L L L

= +
De donde, por el principio de superposicin
1
n n
n
n n a n n a
u x t A x t B x t
L L L L

=
| |
= +
|
\

Ahora evaluamos la condicin ( , 0) ( ) u x f x = en ( , ) u x t
1
( , 0) sen cos 0 sen sen0 ( )
n n
n
n n
u x A x B x f x
L L

=
| |
= + =
|
\

Es decir
1
sen ( )
n
n
n
A x f x
L
=
=

senos de la funcin ( ) f x en el intervalo [ ] , L L , de manera que
0
2
( ) sen
L
n
n
A f x x dx
L L

Finalmente, para evaluar la condicin
0
( ), 0
t
u
g x x L
t
=
= < <
, derivamos la
solucin general de modo que
1
( , ) sen sen sen cos
n n
n
u n a n n a n a n n a
x t A x t B x t
t L L L L L L

=
| |
= +
|

Evaluamos para 0 t =
1 0
( , 0) sen sen 0 sen cos 0 ( )
n n
n t
u u n a n n a n
x A x B x g x
t t L L L L

= =
| |
= = + =
|

\

De manera que
1
sen ( )
n
n
n a n
B x g x
L L

=
=

escrita.
Que representa la serie de Fourier en senos para ( ) g x en el intervalo
[ ] 0, L , luego
0
2
( ) sen
L
n
n a n
B g x x dx
L L L

=

Despejamos para
n
B
0
2
( ) sen
L
n
n
B g x x dx
n a L

Finalmente, la solucin al problema de valores en la frontera se
obtiene al sustituir los coeficientes
n
A y
n
B , es decir
1
n n
n
n n a n n a
u x t A x t B x t
L L L L

=
| |
= +
|
\

Con
0
2
( ) sen
L
n
n
A f x x dx
L L
y
0
2
( ) sen
L
n
n
B g x x dx
n a L

'a ecuacin de 'aplace
Consideremos una placa rectangular de ancho a y altura b , aislada en
sus paredes laterales de manera que no se permite la prdida del
calor. La temperatura ( , ) u x y de la placa est dada por la solucin del
problema de valores en la frontera
2 2
2 2
0
u u
x y

+ =

0
0
x
u
x
=
, 0
x a
u
x
=
, 0 y b < <
( , 0) 0 u x = , ( , ) ( ) u x b f x = , 0 x a < <
Las condiciones
0
0
x
u
x
=
, 0
x a
u
x
=
, 0 y b < < refieren a que las paredes

laterales izquierda y derecha respectivamente tienen temperatura
cero, mientras que las condiciones ( , 0) 0 u x = , ( , ) ( ) u x b f x = indican que la
temperatura vara desde cero en la base hasta ( ) f x en la pared
superior. En el ejemplo 3 mostramos la solucin de este problema de
valores en la frontera.

Ejemplo 3 La ecuacin de Laplace
Resolver la ecuacin
2 2
2 2
0
u u
x y

+ =

0
0
x
u
x
=
, 0
x a
u
x
=
, 0 y b < <
( , 0) 0 u x = , ( , ) ( ) u x b f x = , 0 x a < <
Solucin
Si consideramos que ( , ) ( ) ( ) u x t X x Y y = , entonces
La primera condicin
0
(0) ( ) 0
x
u
X Y y
x
=
= =
implica (0) 0 X =
La segunda condicin ( ) ( ) 0
x a
u
X a Y y
x
=
= =
implica ( ) 0 X a =
La tercera condicin ( , 0) ( ) (0) 0 u x X x Y = = implica (0) 0 Y =

escrita.
Puede verificarse sin mayor dificultad que las soluciones
independientes obtenidas en el ejemplo 7 de la seccin 6.3 para el
caso
2
0 > no satisfacen las condiciones de frontera dadas.
En el mismo ejemplo, determinamos que para el caso
2
0 = las
soluciones independientes de la ecuacin de Laplace tienen la forma
1 2
( ) X x a x a = +
3 4
( ) Y y a y a = +
Al considerar las condiciones (0) 0 X = , ( ) 0 X a = y (0) 0 Y = encontramos
1
( ) X x a = derivamos
1
(0) 0 X a = = evaluamos (0) 0 X =
( ) 0 X x = sustituimos
1
0 a = en
1
( ) X x a =
Esta ltima expresin nos indica que tambin se cumple la condicin
( ) 0 X a = , entonces al sustituir
1
0 a = en
1 2
( ) X x a x a = + tenemos
2
( ) X x a =
Finalmente consideramos
3 4
( ) Y y a y a = + y la condicin (0) 0 Y =
3 4
( ) (0) 0 Y y a a = + = evaluamos (0) 0 Y =
4
0 a = simplificamos
3
( ) Y y a y = sustituimos
4
0 a = en ( ) Y y
( ) ( )
2 3
( , ) u x y a a y = ( , ) ( ) ( ) u x y X x Y y =
0
( , ) u x y A y = solucin caso
2
0 = con
0 2 3
A a a =

Para el caso
2
0 < determinamos que las soluciones independientes de
la ecuacin de Laplace estn dadas por
5 6
7 8
( ) cos sen ,
( )
y y
X x c x c x
Y y c e c e

= +
= +

Si consideramos
5 6
( ) cos sen X x c x c x = + , tenemos
5 6
( ) sen cos X x c x c x = +
5 6
(0) sen 0 cos 0 0 X c c = + = evaluamos (0) 0 X =
6
0 c = porque
2
0 >
5
6
0 c = en ( ) X x
5
( ) sen 0 X a c a = = evaluamos ( ) 0 X a =
sen 0 a = porque
5
0 c y
2
0 <
n
a
= resolvemos para , 1, 2,... n =

5
( ) cos
n
X x c x
a
= sustituimos
n
a
= en ( ) X x
escrita.
Evaluamos ahora la siguiente condicin (0) 0 Y = en ( ) Y y
0 0
7 8
(0) 0 Y c e c e = + = Evaluamos (0) 0 Y =
8 7
c c = despejamos
8
c
7 7
( )
y y
Y y c e c e

= sustituimos
8 7
c c = en ( ) Y y
9
( )
2
y y
e e
Y y c

= definimos
9 7
2 c c =
9
( ) senh Y y c y = con senh
2
y y
e e
y

=
9
( ) senh
n
Y y c y
a
= sustituimos
n
a
= en ( ) Y y
5 9
( , ) cos senh
n n
u x y c x c y
a a
| || |
=
| |
\ \
solucin para
2
0 <

Si definimos
5 9 n
A c c = para 1, 2,... n = , entonces
( , ) cos senh
n n
n n
u x y A x y
a a

= , 1, 2,... n =
Por el principio de superposicin, consideramos las soluciones
obtenidas en los casos
2
0 = y
2
0 < para formar la solucin
general, que es
0
1
( , ) cos senh
n
n
n n
u x y A y A x y
a a

=
= +
, 1, 2,... n =

Ahora evaluamos la condicin ( , ) ( ) u x b f x = en ( , ) u x y
0
1
( , ) cos senh ( )
n
n
n n
u x b A b A x b f x
a a

=
= + =

Es decir
( )
0
1
1
( ) 2 senh cos
2
n
n
n b n
f x A b A x
a a

=
= +

cosenos de la funcin ( ) f x en el intervalo [ ] 0, a , entonces
0
0
2
2 ( )
a
A b f x dx
a
=

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

=
, 1, 2,... n =

De esta manera
0
0
1
( )
a
A f x dx
ab
=

0
2
( ) cos
senh
a
n
n
A f x x dx
n b
a
a
a
, 1, 2,... n =
La solucin particular al problema de valores en la frontera se
obtiene al sustituir estos coeficientes en la funcin ( , ) u x y
0 0
1
1 2
( , ) ( ) ( ) cos cos senh
senh
a a
n
n n n
u x y f x dx y f x x dx x y
n b
ab a a a
a
a

=
| |
|
| |
= +
| |
\
|
\

Desarrollo de competencias 6.%
En los problemas 1-7 resolver la ecuacin del calor
2
2
u u
k
x t

=

, 0 k > ,
0 t > , sujeta a las condiciones dadas.
1. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) u x Lx = , 0 x L < <
2. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
( , 0) u x Lx = , 0 x L < <
3. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) u x L x = , 0 x L < <
4. (0, ) 0 u t = , ( , ) 0 u L t = , ( ) ( , 0) u x x L x = , 0 x L < <
5. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
2
0
( , 0)
L
L
L x
u x
L x L
< <
=

< <

6. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
2
0
( , 0)
0
L
L
L x
u x
x L
< <
=

< <

7. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
2
0 0
( , 0)
L
L
x
u x
L x L
< <
=

< <

En los problemas 8-20 resolver la ecuacin de onda
2 2
2
2 2
u u
a
x t

=

, 0 t
sujeta a las condiciones dadas.

8. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) u x L x = ,
0
0
t
u
t
=
, 0 x L < <
9. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = ,
0 t
u
L x
t
=
, 0 x L < <
10. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) u x L x = ,
0
0
t
u
t
=
, 0 x L < <

11. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = ,
0 t
u
L x
t
=
, 0 x L < <

12. (0, ) 0 u t = , ( , ) 0 u L t = ,
3
2
3 3
2
3
0 0
( , 0)
0
L
L L
L
x
u x L x
x L
< <
= < <
< <
,
0
0
t
u
t
=

13. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
2
0 0
( , 0)
L
L
x
u x
L x L
< <
=

< <
,
0
0
t
u
t
=

14. (0, ) 0 u t = , ( , ) 0 u L t = ,
2
2
0
( , 0)
0
L
L
L x
u x
x L
< <
=

< <
,
0
0
t
u
t
=

15. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = , ( )
0 t
u
x L x
t
=
, 0 x L < <
16. (0, ) 0 u t = , ( , ) 0 u L t = , ( ) ( , 0) u x x L x = ,
0
0
t
u
t
=
, 0 x L < <
17. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) cos u x x = ,
0
0
t
u
t
=
, 0 x L < <
18. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = ,
0
cos
t
u
x
t
=
, 0 x L < <
19. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) ( ) u x f x = ,
0
0
t
u
t
=
, 0 x L < <
20. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = ,
0
( )
t
u
g x
t
=
, 0 x L < <
En los problemas 21-15 resolver la ecuacin
2 2
2 2
0
u u
x y

+ =

sujeta a las
condiciones dadas.
21.
0
0
x
u
x
=
, 0
x a
u
x
=
, ( , 0) 0 u x = , ( , ) u x b b x =
22.
0
0
x
u
x
=
, 0
x a
u
x
=
, ( , 0) 0 u x = , ( , ) u x b b x =
23.
0
0
x
u
x
=
, 0
x a
u
x
=
, ( , 0) 0 u x = , ( ) ( , ) u x b x b x =
24.
0
0
x
u
x
=
, 0
x a
u
x
=
, ( , 0) u x bx = , ( , ) 0 u x b =
25.
0
0
x
u
x
=
, 0
x a
u
x
=
,
2
( , 0) u x bx = , ( , ) 0 u x b =
26.
0
0
x
u
x
=
, 0
x a
u
x
=
, ( , 0) ( ) u x f x = , ( , ) 0 u x b =
27. (0, ) 0 u y = , ( , ) u a y a y = ,
0
0
y
u
y
=
, 0
x b
u
y
=

28. (0, ) 0 u y = , ( , ) ( ) u a y f y = ,
0
0
y
u
y
=
, 0
x b
u
y
=

29. (0, ) u y ay = , 0
x a
u
x
=
,
0
0
y
u
y
=
, 0
x b
u
y
=

30. (0, ) u y a y = , 0
x a
u
x
=
,
0
0
y
u
y
=
, 0
x b
u
y
=

31. ( ) (0, ) u y y a y = , 0
x a
u
x
=
,
0
0
y
u
y
=
, 0
x b
u
y
=

32. (0, ) ( ) u y f y = , 0
x a
u
x
=
,
0
0
y
u
y
=
, 0
x b
u
y
=

33. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) u x bx = , ( , ) 0 u x b =
34. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) u x L x = , ( , ) 0 u x b =
35. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) ( ) u x f x = , ( , ) 0 u x b =
36. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) 0 u x = , ( ) ( , ) u x b x b x =
37. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) 0 u x = ,
2
( , ) u x b bx =
38. (0, ) 0 u y = , ( , ) 0 u a y = , ( , 0) 0 u x = , ( , ) ( ) u x b f x =

!ompetencia "inal 6.%
En los problemas 1-7 resolver la ecuacin del calor
2
2
u u
k
x t

=

, 0 k > ,
0 t > , sujeta a las condiciones dadas.
1. (0, ) 0 u t = , (1, ) 0 u t = , ( ) ( , 0) 1 u x x x = , 0 1 x < <
2. (0, ) 0 u t = , ( , ) 0 u t = ,
2
2
0 0
( , 0)
1
x
u x
x L
< <
=
< <

En los problemas 3-4 resolver la ecuacin de onda
2 2
2
2 2
u u
a
x t

=

, 0 t
sujeta a las condiciones dadas.
3. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) sen u x x = ,
0
0
t
u
t
=
, 0 x L < <
4. (0, ) 0 u t = , ( , ) 0 u L t = , ( , 0) 0 u x = ,
0
sen
t
u
x
t
=
, 0 x L < <
En los problemas 5-7 resolver la ecuacin
2 2
2 2
0
u u
x y

+ =

sujeta a las
condiciones dadas.
5. (0, ) 0 u y = ,
2
1
2
( , ) u a y y = ,
0
0
y
u
y
=
, 0
x b
u
y
=

6.
1
2
(0, ) u y y = , 0
x a
u
x
=
,
0
0
y
u
y
=
, 0
x b
u
y
=

7. (0, ) 0 u y = , ( , ) 0 u a y = ,
0
0
y
u
y
=
, ( , ) ( ) u x b f x =

Unidad 6

Cargado por

Información del documento

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

Unidad 6

Cargado por

Copyright:

Formatos disponibles

UNIDAD 6 Introduccin a las ecuaciones diferenciales parciales

6.1 Teora preliminar.

multiplicamos la ecuacin por ( ) t

igualamos con una constante de separacin

= , 0,1, 2,... n = sustituimos

, 0 y b < < refieren a que las paredes

= resolvemos para , 1, 2,... n =

También podría gustarte