Profesor: Roque Molina Legaz

Tema 11: INTRODUCCIN A LAS EDP

LINEALES DE 2 ORDEN: MTODO DE
SEPARACIN DE VARIABLES
Programa detallado:
11.1 Introduccin. Sobre soluciones de una EDP lineal.
11.2 Mtodo de separacin de variables.
11.3 Principio de superposicin.
11.4 Clasificacin de las ecuaciones.
11.5 Algunas ecuaciones clsicas.

Introduccin. Sobre las soluciones de una EDP lineal.

Una EDP de 2 orden con dos variables independientes x e y es de la forma
2
2
u , 2u
0
F x, y, z, u , u , u2 ,
x y x
x y
y2
mientras que una EDP lineal de 2 orden con dos variables independientes x e y ser de la forma
2
2
2
A u2 B u
C u2 D u E u Fu G
1
x
y
x y
x
y

donde los coeficientes A, B, C, D, E, F y G son constantes o funciones de x e y. Cuando

G x, y
0 se dice que la ecuacin es homognea; en caso contrario diremos que es no
homognea.
Example Las EDP lineales de 2 orden
2
2
2
u
u
u
0
y
2
2
x
y
x2
son, respectivamente, homognea y no homognea.

u
y

xy

Definition La solucin de una EDP lineal 1 es una funcin u x, y de dos variables

independientes (y para las que existen todas las derivadas que aparecen en la
ecuacin) y que la satisface en alguna regin del plano 0XY.
No es nuestra intencin analizar procedimientos para encontrar soluciones generales de las
EDP lineales. A menudo no solamente es difcil obtener la solucin general de una EDP lineal de
2 orden, sino que una solucin general habitualmente tampoco resulta muy til en las
aplicaciones. Por tanto, en este tema introductorio a estas EDP lineales de 2 orden nos
centraremos en determinar soluciones particulares de algunas EDP lineales importantes, puesto
que son ecuaciones que aparecern en un gran nmero de aplicaciones.

Algunos casos particulares.

Para el caso particular en que en la ecuacin slo nos aparecen derivadas parciales respecto

de una variable la integracin puede realizarse de forma fcil ya que podemos tratarla como una
edo respecto de esa variable, tomando la otra como constante:
Example La EDP de 2 orden
2

u
0
y2
puede ser resuelta integrando dos veces respecto de y : Integrando sobre y,
tendremos uy
f x , e integrando nuevamente tendremos
u

yf x

gx

con f, g funciones arbitrarias.

Example Resolver
2

Solucin: Tomando w

u
u
0
x y
y
u
, la EDP anterior se transforma en
y

w w 1
x
que es una edo lineal de 1er orden. Resolvindola, se obtiene
w 1 Fye x
con F funcin arbitraria. Usando el cambio original e integrando respecto a y:
u

F y dy

gx

Example Resolver
2

u y2u ex
x2
Solucin: La resolveremos como si fuese una edo no homognea lineal de 2 orden.
As primero hemos de resolver
2
u y2u 0
x2
Tomando entonces y como constante, la solucin general de esta "edo" homognea
es
u gral f y e xy g y e xy
Para encontrar la solucin particular usaremos coeficientes indeterminados,
suponiendo que
u part A y e x
Sustituyendo esta ltima funcin en la ecuacin dada,resulta
Ae x y 2 Ae x e x
por lo que
1
Ay
1 y2
As, una solucin de la ecuacin dada es
ex
u f y e xy g y e xy
1 y2

Como ya hemos resaltado anteriormente, la mayora de las EDP no pueden ser resueltas tan
fcilmente como en los tres ejemplos anteriores. Sin embargo, en muchas aplicaciones en que
intervienen EDP lineales bastar con obtener soluciones particulares.

Mtodo de separacin de variables.

A pesar que existen varios mtodos que pueden utilizarse para encontrar soluciones
particulares de una EDP lineal, con el mtodo de separacin de variables nuestro objetivo ser
encontrar una solucin particular en forma de producto de una funcin de variable x y de una
funcin de variable y,
u x, y
Xx Yy
Mediante esta suposicin, con frecuencia ser factible reducir una EDP lineal de dos variables a
dos edo. Con este objetivo, notemos que
u
x
2u

x2

XY
X Y

u
y
2u

y2

XY
XY

donde las primas indican las derivadas ordinarias.

Example Hallar soluciones en forma de producto para la ecuacin
2
u
4 u
y
x2
Solucin: Al sustituir u x, y

X x Y y en la EDP, se obtiene
X Y 4XY
de forma que dividiendo ambos miembros entre 4XY separamos las variables
Y
X
Y
4X
Como el miembro izquierdo de esta expresin es independiente de y y es igual al
miembro derecho, que es independiente de x, podemos concluir que ambos
miembros de la ecuacin son independientes de x e y. Es decir, cada miembro de la
ecuacin debe ser constante. A efectos prcticos, resulta conveniente escribir esta
constante como . As, a partir de las dos igualdades
X
Y
Y
4X
obtendremos dos edo lineales
X
4 X 0
y
Y
Y 0
2
La primera es una edo lineal de segundo orden mientras que la segunda es una edo
lineal de primer orden. Segn los valores de distinguiremos tres casos: que sea
2
cero (es decir,
0), positivo (es decir,
, siendo
0) y negativo (es decir,
2
, siendo
0):
Caso I

Caso II

0 : En este caso las edo dadas por 2 se transforman en

X
0
y
Y
0
que tienen por solucin X c 1 c 2 x; Y c 3 . Por tanto, una solucin en forma
de producto particular de la EDP dada ser
u XY
c1 c2x c3 A1 B1x
2

, con

: En este caso las edo dadas por 2 se transforman en

2
X
4 2X 0
y
Y
Y 0
que tienen por solucin
2
Y c6e y
X c 4 cos 2 x c 5 sin 2 x ;
Por tanto, una solucin en forma de producto particular de la EDP dada ser
2
u XY
c 4 cos 2 x c 5 sin 2 x c 6 e y
2y

A2e
Caso III

, con

cos 2 x

2y

B2e

sin 2 x

: En este caso las edo dadas por 2 se transforman en

2
X
4 2X 0
y
Y
Y 0
que tienen por solucin
2
X c7e 2 x c8e2 x;
Y c9e y
respectivamente. Por tanto, una solucin en forma de producto particular de la
EDP dada ser
2
u XY
c7e 2 x c8e2 x c9e y

A3e

2y

2 x

B3e2

2y

Se deja como ejercicio comprobar que efectivamente las tres expresiones

particulares anteriores satisfacen la ecuacin de partida.

Example Hallar una solucin en forma de producto para

2
u,
k 0
k u2
t
x
que verifique las condiciones u 0, t
0, u L, t
0.
Solucin: Si u

XT, podemos escribir la ecuacin dada como

X
T
2
X
kT
obtendremos dos edo lineales
2
X 0
y
T k 2T 0
X
que tiene por soluciones
2
X c 1 cos x c 2 sin x ;
T c3e k t
respectivamente. Ahora bien, puesto que
u 0, t
X0Tt
0
u L, t
XLTt
0
habr de ser X 0
0yX L
0. Estas son condiciones de frontera para la edo
2
X
X 0. Aplicando la primera de estas condiciones a su solucin, resulta
inmediatamente que c 1 0, por lo que X c 2 sin x . La segunda condicin de
frontera implica que X L
c 2 sin L
0. As, habr de ser c 2 0 (ya que si
c 2 0, entonces X 0, por lo que u 0, que ser una solucin trivial de la EDP
n
original), por lo que entonces de sin L
0, tendremos L n o
,
L
siendo n 1, 2, 3, . . .
Por consiguiente
kn

2 2

sin n x
L
es una solucin de la EDP original que cumple las condiciones iniciales dadas. El
u

c 2 sin x

c3e

2t

Ane

L2

coeficiente c 2 c 3 anterior se ha expresado como A n para indicar que se obtiene una

solucin distinta para cada valor de n.

Remark En este ltimo ejemplo solamente se ha estudiado el Caso II del ejemplo

anterior. Se deja para el lector comprobar que si se usa cualquiera de los otros dos
casos no se obtiene una solucin de la EDP original que cumpla las condiciones
iniciales.
La separacin de variables no es un mtodo general para encontrar soluciones particulares;
algunas EDP lineales simplemente no se pueden separar: por ejemplo, puede el alumno
comprobar que el supuesto u XY no nos da una solucin para la EDP
2
u
u
x
y
x2

Principio de superposicin.
El siguiente resultado es similar al que ya conocemos para edo lineales de orden superior
(como vimos en Matemticas I):
Theorem (Principio de superposicin). Si u 1 , u 2 , . . . , u n son las soluciones de una EDP
lineal homognea, entonces la combinacin lineal
u c1u1 c2u2 . . . cnun
siendo c i constantes, tambin es solucin.
En lo que resta de captulo supondremos que siempre que tengamos un conjunto infinito u 1 ,
u 2 , . . de soluciones de una EDP lineal homogna, podremos construir otra solucin u formando
la serie infinita
u

cnun
n 1

siendo c i constantes.
Example En virtud del prinicipio de superposicin, la funcin definida mediante la serie
u

Ane
n 1

kn

2 2
L2

sin n x
L

tambin satisfar (aunque sea formalmente) la EDP del ltimo ejemplo anterior.
Notemos tambin que esta ltima expresin de u como serie infinita satisface las
condiciones iniciales u 0, t
0, u L, t
0.

Clasificacin de las ecuaciones.

Una EDP lineal de segundo orden en dos variables independientes con coeficientes
constantes puede clasificarse en tres tipos diferentes. Esta clasificacin depender solamente de
los coeficientes de las derivadas de segundo orden:
Definition La EDP lineal de segundo orden
2
2
2
A u2 B u
C u2 D u E u Fu
x y
x
y
x
y
donde A, B, C, D, E y F son constantes reales, se dice que es

Hiperblica si B 2
Parablica si B 2
Elptica si B 2

4AC

0.

4AC

4AC

0.
0.

Example Clasificar las siguientes EDP

2u
x2

a) 3

u
y

b)

2u
x2

2u
y2

c)

2u
x2

2u
y2

Solucin: Si escribimos cada ecuacin en la forma general anterior 4 ,

tendremos
ECUACIN
3

2u

COEFICIENTES

B 2 4AC

TIPO

Parablica

u
y

2u
x2

2u
y2

1, B

0, C

Hiperblica

2u

2u

x2

y2

1, B

0, C

Elptica

x2

3, B

Remark Una explicacin ms detallada de por qu desearamos clasificar una EDP

lineal de 2 orden sobrepasa el objetivo inicial de esta introduccin. Sin embargo, la
respuesta reside en el hecho de que deseamos resolver EDP sujetas a ciertas
condiciones alternas conocidas (como son las condiciones iniciales y las de
frontera). Los tipos apropiados de condiciones alternas para una determinada
ecuacin estn en funcin de si la EDP es hiperblica, parablica o elptica.

Algunas ecuaciones clsicas.

En este ltimo apartado del tema nos centraremos en hallar las soluciones producto de las
siguientes EDP lineales de 2 orden y homogneas
2
u,
k u2
k 0
t
x
2
2
u
a 2 u2
x
t2
2
2
u
u
0
2
x
y2
o ligeras variaciones de ellas. Como ya avanzamos en el tema anterior, estas ecuaciones clsicas
de fsica/matemticas se conocen, respectivamente, como ecuacin unidimensional del calor,
ecuacin unidimensional de onda y ecuacin bidimensional de Laplace. El trmino
"unidimensional" se refiere a que x expresa una dimension espacial mientras t representa el
tiempo; en la tercera ecuacin "bidimensional" significa que x e y son dimensiones espaciales.
Siguiendo la clasificacin introducida en el apartado anterior, notamos fcilmente que la
ecuacin del calor es parablica, que la de onda es hiperblica y que la de Laplace es elptica.
Remark La ecuacin 5 se presenta en la teora del flujo de calor, esto es, la
transferencia de calor por conduccin en una varilla o alambre delgado. La funcin
u x, t es la temperatura.

5
6
7

Los problemas acerca de vibraciones mecnicas a menudo llevan a la ecuacin

de onda 6 . Para efectos del presente anlisis, una solucin u x, t de 6
representar el desplazamiento de una cuerda idealizada.
Por ltimo, comentaremos que una solucin u x, y de la ecuacin de Laplace
7 puede interpretarse como la distribucin de temperatura de estado estable (es
decir, independiente del tiempo) en una placa delgada de dos dimensiones.

Remark En muchos libros de Ecuaciones Diferenciales puede estudiarse como surgen las
anteriores ecuaciones diferenciales parciales, as como cuales son las habituales
suposiciones de simplificacin, que dan lugar a los respectivos problemas de
condiciones iniciales o de frontera que vamos a intentar resolver. Por ejemplo, todo
lo anterior podemos verlo en el texto Zill, D. G. - Cullen, M. R.: Matemticas
Avanzadas para Ingeniera I - Ecuaciones Diferenciales, de la editorial
McGraw-Hill.

La ecuacin del calor.

Consideramos una varilla delgada de longitud L con temperatura inicial f x en toda ella y
cuyos extremos se mantienen a temperatura cero en todo tiempo t. Bajo unas hiptesis
adicionales, y que pueden verse en el texto anteriormente mencionado (haciendo coincidir la
barilla con el eje X en el intervalo 0, L , bsicamente las hiptesis consisten en suponer que
dentro de la varilla el flujo de calor tiene lugar solo en la direccin x; que la superficie lateral -o
curva- de la varilla est aislada -esto es, no se escapa calor de su superficie-; que no se genera
calor dentro de la varilla; que la varilla es homognea -es decir, su masa por unidad de volumen
es constante-; y, por ltimo, que el calor especfico y la conductividad trmica del material de la
varilla son constantes), entonces su temperatura u x, t se determina mediante el problema de
valores en la frontera
k

2u
x2

u
t

0, 0

L, t

0
8

u 0, t

0, u L, t

u x, 0

fx

(donde la constante k es proporcional a la conductividad trmica y se llama difusividad

trmica).
Este problema, a excepcin de la ltima condicin inicial u x, 0
f x , ha sido resuelto por
separacin de variables en un ejemplo anterior (nos hemos quedado solamente con el Caso II, ya
que los otros dos casos quedan reducidos a X x
0, por lo que tendramos como solucin
u x, t
0), obtenindose como solucin
kn

2 2

sin n x
L
As, con la finalidad de que esta solucin verifiquen tambin la condicin inicial u x, 0
fx,
podramos seleccionar el coeficiente A n de tal manera que
u n x, 0
fx
A n sin n x
L
En general, no es de esperar que esta ltima condicin quedase satisfecha mediante cualquier
seleccin de f. Por tanto,estamos obligados a admitir que la anterior u n x, t no es una solucin
del problema dado por 8 . Sin embargo, mediante el principio de superposicin, la funcin
u n x, t

Ane

L2

u x, t

u n x, t
n 1

Ane

kn

2 2
L2

n 1

sin n x
L

tambin debe satisfacer la ecuacin y las condiciones de partida dadas por 8 . Si sustituimos
t 0 en la expresin anterior, se llega a
u x, 0

fx
n 1

A n sin n x
L

siendo esta ltima expresin la expansin de medio intervalo de f en una serie seno. Haciendo la
identificacin A n b n , se llega a que
2 L f x sin n x dx
An
L
L 0
(ver seccion 10.3 del texto mencionado en la ltima observacin anterior).
Por tanto, podemos concluir que una solucin al problema de valores en la frontera dado por
8 est dado por la serie infinita
u x, t

2
L

n 1

f x sin n x dx e
L
0

kn

2 2
L2

sin n x
L

Por ejemplo, para el caso particular en que la temperatura inicial sea u x, 0

1, puede probarse que los coeficientes A n vienen dados por
1 n
200 1
An
n

100, L

por lo que la solucin vendr dada por la serie

u x, t

200

1
n

n2t

sin nx

n 1

La ecuacin de onda.
En este ejemplo consideramos las vibraciones transversales de una cuerda extendida entre
dos puntos, por ejemplo, x 0 y x L. Si esta cuerda la hacemos coincidir con el eje 0X en el
intervalo 0, L , el movimiento de la misma se producir en el plano XY, de manera tal que cada
punto de la cuerda se mueve en direccin perpendicular al eje 0X. Si u x, t denota el
desplazamiento de la cuerda para t 0 medidos desde el eje 0X, entonces u satisface la ecuacin
2
2
u
a 2 u2
x
t2
donde suponemos que:
La cuerda es perfectamente flexible.
La cuerda es homognea (es decir, su masa por unidad de longitud es constante).
Los desplazamientos de u son pequeos comparados con el largo de la cuerda.
La tensin de la cuerda es constante.
La tensin es grande en comparacin con la fuerza de gravedad.
No actan otras fuerzas sobre la cuerda.
Por consiguiente, un problema tpico de condiciones en la frontera es

a2

2u

2u

x2

t2

L, t

0,

0
9

u 0, t
u x, 0

0, u L, t
u
t

fx,

gx,

t 0

0
0

Las condiciones de frontera de 9 simplemente dicen que los extremos de la cuerda

permanecen fijos en todo instante. En t 0, las funciones f y g dadas por las condiciones
anteriores especifican la configuracin inicial y la velocidad inicial de cada punto de la cuerda,
respectivamente. En el contexto est implcito que f es continua y que f 0
fL
0.
Para solucionar este problema, separaremos variables en la EDP anterior, por lo que si
u x, t
X x T t , obtendremos
X
T
X
a2T
por lo que
X
X 0
y
T
a2 T 0
Tal y como ocurre en el problema anterior, las condiciones de frontera nos llevan a que
X0
XL
0. Por tanto, la primera de las dos edo dadas por 10 junto con las condiciones
de frontera nos dan lugar al PVI habitual
X
X 0,
X0
XL
0
2
2
De las tres posibilidades para el parmetro (
0,
0y
0) solamente la
ltima nos lleva a soluciones no triviales. As, la solucin general de 11 , correspondiente a
2
,
0, es
X c 1 cos x c 2 sin x
Las condiciones X 0
XL
0 indican que c 1 0 y c 2 sin L
0. Esta ltima expresin
n
indica que L n o
. Los valores propios y las correspondientes funciones propias de
L
2
n
11 son n
yX x
c 2 sin nL x n 1, 2, 3, . . .
L
La solucin general de la segunda edo de 10 es
Tt
c 3 cos n a t
c 4 sin n a t
L
L
Volviendo a escribir c 2 c 3 como A n y c 2 c 4 como B n , las soluciones que satisfacen tanto la
ecuacin onda como las condiciones de frontera son
un
A n cos n a t
B n sin n a t
sin n x
L
L
L
u x, t
n 1

Haciendo t

A n cos n a t
L

B n sin n a t
L

sin n x
L

10

11

12

0 en esta ltima expresin, resulta

u x, 0

fx
n 1

A n sin n x
L

el cual es un desarrollo de f en serie de senos en medio intervalo. Como para la ecuacin del flujo
de calor, podemos poner A n b n ,
2 L f x sin n x dx
An
13
L 0
L
Para determinar B n , derivamos 12 con respecto a t y luego hacemos t 0 :

u
t

n 1

A n n a sin n a t
L
L
u
t

B n n a cos n a t
L
L
B n n a sin n x
L
L

gx

t 0

sin n x
L

n 1

Para que esta ltima serie sea un desarrollo de g en serie de senos en medio intervalo en el
intervalo dado, el coeficiente total, o B n nLa , debe estar dado por la forma
Bn n a
L

2
L

g x sin n x dx
L

de donde
L

g x sin n x dx
L
Por tanto, la solucin formal del problema viene dada por la expresin 12 , con A n y B n
dados por 13 y 14 respectivamente. Notemos que cuando la cuerda se suelta a partir del
reposo, entonces g x
0 para todo x en 0 x L, y en consecuencia, B n 0.
2
n a

Bn

14

La ecuacin de Laplace.
Supongamos que se quiere obtener la temperatura u x, y correspondiente al estado
permanente en una placa rectangular cuyas orillas verticales x 0 y x a se encuentran
aisladas, mientras que las orillas superior e inferior y b e y 0 se mantienen a temperaturas
f x y 0, respectivamente. Cuando no se pierde calor a travs de las caras laterales de la placa, el
problema viene dado por
2u
x2

u
x

2u
y2

Tomando entonces u x, y

0,

a, 0

b
15

u
x

0,

x 0

u x, 0

0,

0,

x a

u x, b

fx,

X x Y y , obtendremos
X
Y
X
Y

b
a

por lo que
X

16

y
X c 1 cos x c 2 sin x
y
Y c 3 cosh y c 2 sinh y
En 16 , las tres condiciones de frontera nos llevan a que X 0
0, X a
0yY 0
0.
Derivando X y haciendo x 0 se obtiene c 2 0, y por lo tanto X c 1 cos x . Derivando
nuevamente y haciendo x a resulta c 1 sin a
0. Esta ltima condicin se satisface
n
cuando
0, cuando a n o bien
1, 2, . . . Notemos que
0 implica
a , siendo n
que la primera de las ecuaciones de 16 se transforma en X
0. La solucin general de esta
ecuacin viene dada por la funcin lineal X c 1 c 2 x, que no coincide con 17 . En este caso,
las condiciones de frontera X 0
0, X a
0 exigen que X c 1 . Contrariamente a los dos
ejemplos anteriores, estamos obligados a concluir 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 c 1 cos na x,
n 1, 2, . . .
Finalmente, la condicin Y 0
0 obliga a que c 3 0 en 16 , cuando
0. Sin embargo,
0 y por tanto la solucin ser Y c 3 c 4 y en
cuando
0 la ecuacin se transforma en Y

17

lugar de la dada por 17 . No obstante, Y 0

0 nuevamente implica que c 3 0 y as Y c 4 y.
Por consiguiente, las soluciones en forma de producto de la ecuacin que satisfacen las tres
primeras condiciones de frontera son
A 0 y,
n 0
y
A n sinh na y cos na x ,
n 1, 2, . . .
El principio de superposicin nos da otra solucin ms
u x, y

A n sinh na y cos na x

A0y

18

n 1

Sustituyendo en esta expresin y

u x, b

fx

b resulta
A n sinh na b

A0b

cos na x

n 1

lo que es un desarrollo de f en serie de cosenos de medio intervalo. Si hacemos las

identificaciones A 0 b a 0 /2 y A n sinh na b
a n , tendremos que
a
2
2 a f x cos n x dx
2A 0 b
A n sinh na b
a
a 0 f x dx;
a 0
o lo que es lo mismo
a
1 a f x dx;
2
An
f x cos na x dx
ab 0
a sinh na b 0
Por tanto, la solucin formal de este problema viene dado por la serie 18 donde los
coeficientes vienen dados por 19 .

A0

19