Introduccin

Estos apuntes estn dedicados al estudio de las ecuaciones en derivadas par-

ciales (EDPs), aunque tambin se estudiarn los problemas de contorno para las
ecuaciones diferenciales ordinarias (EDOs). Una ecuacin en derivadas parciales
es una ecuacin en la que aparece una funcin incgnita de varias variables y al-
gunas de sus derivadas parciales. Todas las EDPs que veremos sern lineales. Ms
en concreto, salvo un breve estudio de las lineales de primer orden, trataremos de
EDPs lineales de segundo orden, del tipo:
[1] L[]
n

,j=1
A
j

2

j
+
n

j=1
B
j

j
+C = D
donde , A
j
, B
j
, C y D son funciones de (
1
, . . . ,
n
) . Una solucin de [1] ser
una funcin (
1
, . . . ,
n
) de clase C
2
en una regin de R
n
que sustituida en la
ecuacin la convierte en una identidad.
Entre las EDPs lineales de segundo orden se encuentran muchas ecuaciones de
la fsica. Entre ellas las tres clsicas:
ecuacin de ondas
tt
c
2
= 0
ecuacin del calor
t
k = 0
y ecuacin de Laplace = 0
que son ejemplos, respectivamente, de los tres grandes tipos en que se clasican:
hiperblicas, parablicas y elpticas. La teora avanzada de EDPs viene a ser
la generalizacin del estudio de estas tres ecuaciones. Sus propiedades son tan
diferentes que no existen teoras generales como la de las EDOs lineales.
En el captulo 1 se ver que, normalmente, no se puede hallar la solucin gene-
ral de una EDP. Slo la tendremos para algunas de primer orden en dos variables
(y aparecer una funcin arbitraria en esa solucin) y para muy pocas de segundo
(en particular, para la de ondas, con dos funciones arbitrarias). Adems veremos
qu condiciones adicionales (iniciales o de contorno) hay que imponer a las EDPs
clsicas para que tengan solucin nica que dependa de forma continua de los
datos. En la bsqueda de soluciones generales y en la unicidad ser importante el
concepto de curva caracterstica, solucin de una EDO muy ligada a la EDP.
El captulo 3 trata el viejo mtodo de separacin de variables para resolver
las ecuaciones clsicas (homogneas y no homogneas y en 2 o ms variables)
en recintos sencillos (y acotados, al menos, en una de las variables). Se supone la
solucin como producto de funciones de cada una de las variables, lo que lleva a
resolver EDOs en cada una de ellas, alguna con condiciones de contorno. Resueltas
todas, las soluciones quedan expresadas en trminos de series de Fourier. La
necesaria teora de problemas de contorno para EDOs (muy diferente de la de
los de valores iniciales) y una descripcin de dichas series se dar previamente en
el captulo 2. En ambos captulos hablaremos brevemente de las funciones de
Green.
El captulo 4 estudia varios temas independientes. Analizaremos y dibujaremos
las soluciones de la ecuacin de ondas a partir de frmulas integrales, primero
para una (, t) (ecuacin de la cuerda vibrante) y luego, con menos detalles,
para tres y dos dimensiones espaciales. Tambin utilizaremos la transformada
de Fourier para resolver algunas EDPs en recintos no acotados (en particular, la
del calor en la recta innita).
Los apuntes acaban con un apndice en el que se repasan algunos conocimien-
tos matemticos previos (de EDOs, de clculo en varias variables y de convergen-
cia uniforme) que se utilizan en los captulos anteriores.
1
Para acabar esta introduccin, describamos el signicado fsico de las ecuaciones
clsicas. Interpretmoslas nicamente en sus versiones ms sencillas (que son las
ms tratadas en los apuntes): cuando la es funcin de dos variables.
Empecemos con la ecuacin de ondas unidimensional o ecuacin de la cuerda
vibrante. Consideremos las oscilaciones de una cuerda totalmente elstica, tensa
y ja en sus extremos. Se supone que sus oscilaciones son siempre transversales
y de pequea amplitud. En esas condiciones se puede
ver que si (, t) representa el desplazamiento verti-
cal del punto de abscisa en el instante t , la funcin
(, t) satisface la EDP:
u(x,t)
u
x
x
instante t

tt
c
2

= F(, t)
donde c
2
= T
o
/ , con T
o
fuerza de tensin en los extremos, masa por unidad
de longitud (densidad lineal) y F(, t) fuerza externa por unidad de masa que
acta en direccin vertical sobre el punto en el instante t . Para determinar la
evolucin de una cuerda concreta, se ver que debemos jar la posicin de la
cuerda y la distribucin de velocidades verticales en el instante inicial, es decir,
(, 0) y
t
(, 0) . Tambin se deber de tener en cuenta que permanece ja en
los extremos = 0 y = L , o sea, que (0, t) = (L, t) = 0. No olvidemos que el
modelo matemtico de esta cuerda ideal es slo una simplicacin de la realidad;
lo mismo ocurre con las siguientes.
La distribucin de temperaturas a lo largo del tiempo en una varilla delgada (que
podemos suponer unidimensional) viene regida por la ecuacin del calor:

t
k

= 0
donde (, t) representa la temperatura del punto en el instante t y k >0 es
una constante proporcional a la conductibilidad e inversamente proporcional a la
densidad y al calor especco. Si existiesen fuentes de calor en el interior de la
varilla deberamos escribir una F(, t) en el segundo miembro de la ecuacin. A
diferencia de la de ondas, aqu bastar dar slo la distribucin inicial de tempera-
turas (, 0) (junto con las condiciones de contorno) para determinar la solucin.
La ecuacin de Laplace:

+
yy
= 0
puede describir, entre otras situaciones fsicas, la distribucin estacionaria de tem-
peraturas en una placa bidimensional. La existencia de fuentes de calor en el inte-
rior de la supercie aportara una F en el segundo miembro (ecuacin de Poisson).
Frente a las dos ecuaciones anteriores que describan la evolucin de un sistema a
lo largo del tiempo, sta describe situaciones estacionarias y los problemas que se
plantean para ella son siempre con condiciones de contorno.
2
1. Caractersticas; problemas clsicos
En las EDOs se planteaban problemas de valores iniciales, que casi siempre te-
nan solucin nica. Para resolverlos (las pocas veces que se poda) se sola hallar
primero la solucin general e imponer despus una o varias condiciones, depen-
diendo del orden de la ecuacin, en un t
o
dado. En este captulo intentamos ver
cules son los problemas anlogos para las EDPs. La variedad y complicacin ser
mucho mayor que en las ordinarias.
Comenzamos en la seccin 1.1 tratando las EDPs lineales de primer orden en
dos variables, es decir, ecuaciones del tipo:
[1] A(, y)
y
+B(, y)

= C(, y) +D(, y) ,
que no tienen muchas aplicaciones fsicas, pero que plantean de forma sencilla los
problemas de las de segundo orden. Veremos que pueden resolverse si es posible
integrar una EDO de primer orden, cuyas curvas integrales son llamadas caracte-
rsticas de [1]. En la solucin general de [1] aparecer una funcin p arbitraria
(como en el sencillo ejemplo

=0, de solucin (, y) = p(y) , para cualquier p).

Para precisar esta p jaremos el valor de la solucin a lo largo de una curva G
del plano y (problema de Cauchy) y la solucin quedar determinada de forma
nica si G no es tangente a las curvas caractersticas.
En 1.2 abordamos las EDPs lineales de segundo orden en dos variables:
[2] A
yy
+B
y
+C

+D
y
+E

+F = G
con y los coecientes funciones de e y . Para intentar resolverlas, busca-
remos escribirlas, mediante cambios de variables, en la forma ms sencilla posi-
ble (forma cannica). Esto nos llevar a la clasicacin de [2] en hiperblicas,
parablicas y elpticas. Otras curvas caractersticas volvern a jugar un papel
esencial. En unos pocos casos, a partir de la forma cannica, se podr calcular la
solucin general, que depender de dos funciones arbitrarias. Uno de esos casos
ser la ecuacin de ondas.
Para aislar una nica solucin de [2] podran darse unos datos de Cauchy anlo-
gos a los de [1]. Pero esto slo funciona para algunos problemas ligados la ecuacin
de ondas (para ella deduciremos la frmula de DAlembert que expresa sus so-
luciones en trminos de la posicin y velocidad iniciales) y carece de sentido fsico
y plantea problemas matemticos para las otras ecuaciones clsicas. Las condicio-
nes iniciales y de contorno ligadas a un problema fsico real son muy diferentes
para cada ecuacin. Incluso a una misma ecuacin aparecen asociadas condicio-
nes de diferentes tipos. No existe una teora general de EDPs que pueda abarcar
todas las posibilidades. En cada caso habr que comprobar que el problema est
bien planteado, es decir, que tiene solucin nica que depende continua-
mente de los datos (lo que era en las EDOs de comprobacin trivial). La seccin
1.3 se dedica a describir diferentes problemas asociados a las ecuaciones clsicas
y a estudiar su unicidad.
3
1.1. EDPs lineales de primer orden
Sea [E] A(, y)
y
+B(, y)

= C(, y) +D(, y) , = (, y) .
Para resolverla consideramos la EDO de primer orden:
[e]
dy
d
=
A(, y)
B(, y)
ecuacin caracterstica
Suponemos A y B de C
1
y que no se anulan simultneamente en una regin del
plano. Entonces [e] tendr en ella unas curvas integrales:
(, y) = K curvas caractersticas de [E]
(se podrn hallar explcitamente si [e] es separable, lineal, exacta. . . )
Veamos que el cambio de variable
_
= (, y)
= y (o bien = )
lleva [E] a una ecuacin en las nuevas variables (, ) en la que no aparece

y
que es resoluble elementalmente. En efecto:
_

y
=

y
+

+ [A
y
+B

= C +D
Como sobre las soluciones y() denidas por (, y) = K se tiene:
(, y()) = K

+
y
dy
d
=
1
B
[A
y
+B

] = 0 ,
deducimos que [1] se convierte en:
[E

] A(, )

= C(, ) +D(, ) , = (, ) .
(Si hubisemos escogido = habramos llegado a [E

] B

= C +D ;
se observa que queda tras el cambio el trmino con la variable elegida).
[E

] (o [E

]) es una EDO lineal de primer orden en si consideramos la cons-

tante (y, por tanto, es resoluble). En su solucin aparecer una constante arbitraria
para cada , es decir, una funcin arbitraria de :
[] (, ) = p() e
_
C
A
d
+e
_
C
A
d
_
D
A
e

_
C
A
d
d , con p arbitraria de C
1
.
Deshaciendo el cambio queda resuelta [E] en funcin de e y . En la solucin,
como se observa, aparece una funcin arbitraria de las caractersticas.
Ej 1. y
2

y
+

= 2
dy
d
= y
2
,
1
y
= K
+
1
y
= K
caractersticas
_
=+
1
y
=
[mejor]

=2=2 =p() e

2
= p
_
+
1
y
_
e

2
, pC
1
.
_
=+
1
y
=y
[peor]
y
2

=2
=
1

=
_
2

3
_
=p

() e
1

=p

_
+
1
y
_
e

1
y
2

2
y
.
_
Aunque no lo parezca, las expresiones con p y p

denen la misma solucin general,

pues, e

1
y
2

2
y
= e

_
+
1
y
_
2
e

2
, y p

_
+
1
y
_
e

_
+
1
y
_
2
es otra funcin arbitraria de +
1
y
_
.
4
y
u
G

x
Cmo determinar una nica solucin de [E]? Cada solucin
describe una supercie en el espacio. Generalizando el pro-
blema de valores iniciales para EDOs denimos:
El problema de Cauchy para [E] consiste en hallar la
solucin (, y) que contenga una curva dada del
espacio, o lo que es lo mismo, que tome unos valores
dados sobre una curva G del plano y .
En particular, si G es una recta y=cte [por ejemplo, si
se pide (, 0) = () ], se tiene lo que se llama un problema de valores iniciales.
x
y
u
G
1
2

infinitas
ninguna
caso D=C=0
Un problema de Cauchy puede no tener solucin nica.
Por ejemplo, la solucin general de A
y
+B

=0 es (, y) =p
_
(, y)
_
y cada solucin toma valor constante sobre cada (, y) =K . Si busca-
mos una solucin que contenga una curva cuya proyeccin G sea una
de las caractersticas se debe exigir que est en un plano horizontal
z = C. Entonces hay innitas soluciones [una para cada funcin p con
p(K) =C]. Si no tiene z constante, no hay solucin que contenga a .
En general, supongamos que es una curva suave dada paramtricamente por
(s) =
_
g(s), h(s), (s)
_
, o sea, que buscamos la solucin con
_
g(s), h(s)
_
= (s) .
Sustituyendo en [] y despejando p: p
_
(g(s), h(s))
_
=F(s) , con F conocida.
Llamemos =
_
g(s), h(s)
_
. Si es posible despejar s en funcin de de forma
nica s =s() , la p() =F
_
s()
_
queda determinada y, por tanto, hay una nica
solucin de [E] conteniendo a . Sabemos que esta funcin inversa existe seguro
en un entorno de cada s
o
para el que sea:
d
ds
_
_
s=s
o
=
d
ds
_

_
g(s), h(s)
__
s=s
o
=
_
g(s
o
), h(s
o
)
_

_
g

(s
o
), h

(s
o
)
_
= 0
Como es perpendicular a las caractersticas y (g

, h

) tangente a G, tenemos:
Si la curva G no es tangente en ningn punto a
ninguna caracterstica el problema de Cauchy
tiene solucin nica, al menos local.
x
y g
h
( ) caract.
pendiente A/B
La tangencia se puede ver sin resolver la EDO [e],
con su campo de direcciones: el vector (B, A) es tangente
a sus soluciones y (A, B) es perpendicular. Por tanto:
G es tangente a alguna caracterstica en un punto
_
g(s
o
), h(s
o
)
_
si y slo si
(s
o
) g

A(g, h) h

B(g, h)
_
_
s=s
o
= 0 .
Si (s) =0 s el problema de Cauchy tiene solucin nica.
[Si (s) 0 s , G es tangente en cada punto, es decir, es una caracterstica].
Ej 1*. Imponemos datos a y
2

y
+

= 2 , de solucin general =p
_
+
1
y
_
e

2
.
(, 1) =1 . Como y=1 nunca es tangente a las caractersticas,
segn muestra el dibujo o asegura
() = 1 1
2
0 1 = 1 = 0,
el problema de valores iniciales tendr solucin nica:
p(+1)e

2
=1
+1=
p() =e
(1)
2
=e

_
+
1
y
1
_
2
= e
2
2
y
+
2
y

1
y
2
1
Los datos (,
1

) =0 y (,
1

) =1 traern problemas (datos sobre caracterstica).

Para el primero: p(0)e

2
=0 . Lo cumple toda pC
1
con p(0) =0. Innitas soluciones.
Para el segundo: p(0)e

2
=1 , p(0) =e

2
. Imposible. No tiene solucin.
Aqu el es: () = 1
_

_
2

2
1 0, lo que conrma que G es una caracterstica.
5
Ej 2. 2
y

= 4y
dy
d
= 2 y+
2
= K caractersticas.
_
= y +
2
= y
2

= 4y ;

= 2 = p() +
2
= p(y+
2
) +y
2
_
= y +
2
=

= 4y = 44
3

= p

()+
4
2
2
= p

(y+
2
)2y
2

4
Imponemos diferentes datos de Cauchy a la ecuacin y analizamos la unicidad:
(1, y) =0 p(y+1) +y
2
= 0 p() = (1)
2
= 2y +2
2
2y
2

4
1
y
1
x
[o bien, p

(y+1)2y1=0 p

() =21 ]
[ p p

jadas , pues =1 no es tangente a las caractersticas].

(,
2
) = 0 p(0) +
4
= 0. Imposible, no hay solucin.
(,
2
) =
4
p(0) =0. Cada pC
1
con p(0) =0 nos da
una solucin diferente: hay innitas.
Datos sobre caractersticas dan siempre 0 o soluciones
[pues se acaba en p(cte)=algo, que puede ser constante o no].
v
p validas
p(v)
(, 0) =0 p(
2
) =0. Slo queda jada p() =0 para 0,
pero no hay ninguna condicin sobre p si <0.
Podemos elegir cualquier pC
1
que valga 0 para 0.
Existen innitas soluciones en un entorno de (0, 0) :
(, y) =y
2
si y
2
, pero est indeterminada si y<
2
.
_
En (0, 0) es y=0 tangente a las caractersticas. Lo conrma = 1 2 0 (1)
_
.
(,
3

2
) =
4
2
5
p(
3
) =
6
p() =
2
=2
2
y
4
para todo (, y) .
Hay solucin nica a pesar de ser la curva de datos tangente a una caracterstica en
el punto (0, 0)
_
es = 1 2 (3
2
2) (1) = 3
2
_
. Algunas veces puede haber
tangencia y existir solucin nica. La no tangencia es suciente pero no necesaria.
Ej 3.
(y2)
y
+

= y
(0, y) = y2
dy
d
=
y2
1
, y=Ce

+2+2 (y22)e

=C
_
=(y22)e

= (parece mejor)

=y = e

+2+2 = p()+e

+
2
+2,
= p
_
[y22]e

_
+y+
2
2.
_
Escogiendo =y no se podra despejar la de =(22)e

_
.
p(y2)+y2=y2, p(y2) =0 p() =0 , = y+
2
2.
Solucin nica porque =0 nunca es tangente a las caractersticas:
= 0(y20)11 = 1 = 0 [o est claro en el dibujo].
x
y
Ej 4.
y
y
+

= 2
(, 1) =
3
dy
d
=
y

y=C
_
=y/
=y

= 2
= p()
2
= p
_
y

_
y
2
; (, 1) = p
_
1

_
=
3
p() =
1

3
; =

3
y
[slo si y>0; la solucin de un problema de Cauchy, en principio, slo es local].
Ej 5.

t
+c

= 0
(, 0) = ()
dy
d
=
1
c

ct = K
caractersticas
=p(ct) solucin general.
(, 0) =p() = () (, t) = (ct) , solucin nica del problema de valores iniciales.
t
x
T
cT
caracteristicas
!
Para dibujar la grca de en funcin de
para cada t =T jo basta trasladar la de ()
una distancia cT (hacia la derecha si c > 0).
Se puede interpretar la solucin como una on-
da que viaja a lo largo del tiempo. [Situacin
similar se dar en la ecuacin de ondas].
6
1.2. EDPs lineales de segundo orden; clasicacin
Consideremos [E] L[] A
yy
+B
y
+C

+D
y
+E

+F = G ,
con y los coecientes funciones de (, y) . Suponemos que los coecientes son
C
2
y que A, B y C no se anulan simultneamente en una regin del plano.
Como ocurra en las EDPs de primer orden, quizs un cambio de variable adecuado
haga desaparecer algunos trminos de [E], de forma que nos quede una ecuacin
resoluble elementalmente. Hagamos el cambio genrico:
_
= (, y)
= (, y)
, con y de C
2
y con jacobiano no nulo en . Entonces:

y
=

y
+

yy
=

2
y
+2

y
+

2
y
+

yy
+

yy

y
=

y
+
y

] +

y
+

+2

Con lo que [E] queda en funcin de las nuevas variables:

_
A
2
y
+B
y

+C
2

+
_
2A
y

y
+B(

y
+
y

) +2C

+
_
A
2
y
+B
y

+C
2

+ = A

+B

+C

+ = G

donde los puntos representan los trminos en

y , y G

es la funcin G
expresada en las nuevas variables.
Intentemos hacer A

=C

=0 eligiendo y adecuados. Para ello debe cumplirse

la EDP de primer orden (no lineal):
A
2
y
+B
y

+C
2

= 0 ( C

=0 tiene la misma forma)

Si conseguimos hallar dos soluciones distintas (con Jacobiano no nulo) de esta EDP
podemos hacer desaparecer los trminos en

.
Cuando B
2
4AC>0 podemos separarla en dos EDPs diferentes de primer orden
lineales (de las estudiadas en la seccin anterior):
[1]
y
=
1
2A
_
B
_
B
2
4AC
_

[si es A=0; si A=0 y C=0 despejamos

; A=C=0 es caso trivial].

Si B
2
4AC=0, [1] se convierte en una nica EDP. Y si es <0, la descomposicin
anterior en EDPs de primer orden con coecientes reales es imposible.
Por otra parte, es fcil vericar que (B

)
2
4A

= [B
2
4AC] J
2
, con J =

(jacobiano del cambio) y, por tanto, el signo de B

2
4AC no vara al hacer cambios
de coordenadas. Todo lo anterior nos lleva a denir:
Si en cada punto (, y) de una regin del plano se cumple que la expresin
B(, y)
2
4A(, y)C(, y) es mayor que 0, igual a 0 o menor que 0, se dice,
respectivamente, que la EDP [E] es hiperblica, parablica o elptica en
dicha regin.
Sigamos con la simplicacin de [E]. Precisemos cul es el cambio adecuado a
cada tipo y encontremos la forma ms sencilla en que podemos escribir la ecuacin
(forma cannica) en cada caso.
7
Si [E] es hiperblica, las EDPs de [1] tienen por ecuaciones caractersticas:
d
dy
=
1
2A
_
B
_
B
2
4AC
_
,
d
dy
=
1
2A
_
B +
_
B
2
4AC
_
[e]
Se llaman curvas caractersticas de [E] a las curvas integrales
(, y) =K , (, y) =K de estas dos ecuaciones ordinarias
(son las caractersticas de las ecuaciones de primer orden [1]).
Como (, y) y (, y) son soluciones de [1] [vimos en 1.1 que =p
_
(, y)
_
y
=q
_
(, y)
_
, con p, q arbitrarias, eran sus soluciones generales], el cambio
_
=(, y)
=(, y)
lleva [E] a B

+ = G

. Como (B

)
2
>0 podemos escribir la
forma cannica de las hiperblicas:

+ = G

.
Si [E] es parablica, [1] es una sola EDP
y
+
B
2A

= 0 , de ecuacin caracterstica
d
dy
=
B
2A
(, y) =K curvas caractersticas de [E]
(las parablicas slo tienen una familia de caractersticas).
Escogiendo =(, y) hacemos A

=0 (y como (B

)
2
4A

=0 tambin
es B

=0). Como podemos tomar cualquier funcin de e y tal que el

jacobiano no sea nulo. Se suele tomar =y . As haciendo
_
=(, y)
=y
y dividiendo por C

se obtiene la
forma cannica de las parablicas:

+ = G

.
Si es elptica, los segundos miembros de [e] son funciones complejas conjugadas:
d
dy
=
1
2A
_
B
_
4ACB
2
_
(no hay, pues, caractersticas reales).
Es fcil ver que las soluciones de este par de ecuaciones son tambin complejas
conjugadas: (, y) =(, y) (, y) =K . Tambin es fcil probar que el cambio
_
=(, y)
=(, y)
lleva [E] a la forma cannica de las elpticas:

+ = G

.
En general, [E] puede ser de diferente tipo en diferentes regiones del plano y tener
una forma cannica distinta en cada una. Observemos tambin que las EDOs de
primer orden que dan las caractersticas normalmente no sern resolubles.
Pero en el caso de que A, B y C sean constantes, B
2
4AC tambin lo es
y as [E] es del mismo tipo en todo el plano. Adems los cambios de variable
[ahora vlidos para todo (, y) ] se hallan aqu fcilmente:
_
=
B

B
2
4AC
2A
y
=
B+

B
2
4AC
2A
y
_
=
B
2A
y
= y
_
=
2ABy

4ACB
2
= y
si [E] hiperblica si [E] parablica si [E] elptica
[c]
[En este caso con coecientes constantes, las hiperblicas tienen dos familias de
rectas caractersticas, las parablicas una nica familia de rectas caractersticas
y las elpticas no tienen; la expresin dada para la elptica se deduce de que
=
2ABy
2A

4ACB
2
2A
y = K equivale a =
2ABy

4ACB
2
y = K ].
8
Ej 1.
yy
y

= 0 (ecuacin de Tricomi) B
2
4AC = 4y
hiperblica si y>0
elptica si y<0
(sobre y=0 es parablica, pero las EDPs se plantean sobre conjuntos abiertos).
y>0 :
d
dy
= y
1/ 2
; caractersticas
2
3
y
3/ 2
= K . Hacemos pues:
_
= +
2
3
y
3/ 2
=
2
3
y
3/ 2


y
= y
1/ 2
[

yy
=
1
2
y
1/ 2
[

] +y[

+2

1
2
y
1/ 2
[

] 4y

= 0

1
6

= 0 , pues =
4
3
y
3/ 2
.
y<0 :
d
dy
= [y]
1/ 2
=
2
3
[y]
3/ 2
= K . Hacemos ahora:
_
=
=
2
3
[y]
3/ 2


y
= [y]
1/ 2

yy
=
1
2
[y]
1/ 2

+ [y]

+
1
2
[y]
3/ 2

= 0

+
1
3

= 0 .
Ej 2. 4
yy
4
y
+

= 0 B
2
4AC = 0 parablica en todo R
2
.
Como A, B y C son constantes, basta copiar el cambio [c]: = +
y
2
, o mejor
_
= 2+y
= y


y
=

= 2

yy
=

+2

y
= 2

+2

= 4

Llevndolo a la ecuacin se llega a

= 0 .
Esta forma cannica que se resuelve fcilmente:

= p() = p()+q() .
Por tanto, la solucin general de la ecuacin es:
(, y) = y p(2+y) +q(2+y) , con p y q funciones C
2
arbitrarias.
Como en el ejemplo 2, en ocasiones ser posible hallar elementalmente la solucin
general de [E] tras escribirla en forma cannica (pero en la mayora seguir siendo
imposible; como en las dos regiones del ejemplo 1).
Identiquemos las formas cannicas resolubles:
Si slo hay derivadas respecto a una variable:

+E

+F

= G

Esta ecuacin lineal de segundo orden, ordinaria si la vemos como funcin de ,

se integra considerando la otra variable como un parmetro. Un par de constantes
para cada dan lugar a dos funciones arbitrarias de en la solucin. La ecuacin,
como vemos, debe ser parablica.
Si slo aparece

y una de las derivadas primeras:

+D

= G

Se resuelve haciendo

= : la lineal de primer orden

+D

= G

es integrable
viendo como parmetro. La contiene, pues, una funcin arbitraria de . Al
integrarla para hallar la aparece otra funcin arbitraria (de ). Las cosas seran
anlogas si en vez de la

apareciese la

. La ecuacin es hiperblica.
[En las EDOs de segundo orden salen dos constantes arbitrarias; aqu hay,
en los dos casos, dos funciones arbitrarias (evaluadas en las caractersticas
como ocurra en las EDPs de primer orden). Se ve que ninguna ecuacin
elptica, ni la del calor
t

son resolubles por este camino].

[En los problemas veremos que otras pocas ecuaciones ms con coecientes
constantes pueden llevarse a estas formas haciendo cambios de variable del
tipo =e
py
e
q
que hacen desaparecer alguna derivada de menor orden].
9
Ej 3.
yy
+5
y
+4

+
y
+

= 3 B
2
4AC = 9, hiperblica.
B

B
2
4AC
2A
=
1
4

_
= y
= 4y


y
=

yy
=

+8

+16

y
=

+2

Entonces:

+
1
3

=
1
3
, del segundo de los tipos citados. Para resolverla:

=
1
3

1
3
= q

()e
/ 3
1 (, ) = q()e
/ 3
+p()
La solucin general es, pues:
(, y) = q(4y) e
(y)/ 3
+p(y) +4y , q y p arbitrarias.
Ej 4. y
2

yy
+2y
y
+
2

+y
2

y
+y

= 0
B
2
4AC 0
parablica en R
2
d
dy
=
2y
2y
2
=

y

_
= y/
= y
. Operando se llega a su forma cannica:

= 0 .
Es una EDO lineal de segundo orden en con autovalores dados por (+1) =0
(, ) = p() +q() e

. Es decir, (, y) = p
_
y

_
+q
_
y

_
e
y
.
Acabamos la seccin aplicando las tcnicas anteriores para hallar la solucin gene-
ral de la nica de las ecuaciones clsicas que se puede abordar por este camino:
la ecuacin de ondas en una dimensin espacial (cuerda vibrante):

tt
c
2

= 0 B
2
4AC = 4c
2
hiperblica en todo el plano.
Las expresiones de [c] se convierten aqu en:
_
= +ct
= ct

_

+2

tt
= c
2
[

]
y, por tanto, en las nuevas variables:
4c
2

= 0

= 0
forma
cannica

= p

() = p() +q()
Luego la solucin general de la ecuacin de ondas es:
(, t) = p(+ct) +q(ct) , p y q funciones arbitrarias de C
2
.
[Observemos que la solucin resulta ser la suma de dos ondas que viajan
a velocidad c , una hacia las crecientes y otra hacia las decrecientes.
En la siguiente seccin hallaremos una frmula para la nica solucin
que satisface una pareja de datos iniciales].
10
1.3. Los problemas clsicos; unicidad
Sea [E] L[] = G una EDP lineal de segundo orden en dos variables. Qu datos
adicionales nos proporcionan problemas bien planteados para [E]? Para una EDO
de segundo orden era necesario jar el valor de la solucin y de su derivada en
el instante inicial para tener solucin nica. En una EDP lineal de primer orden
jbamos los valores de la solucin en toda una curva G (no tangente a las ca-
ractersticas). Acabamos de ver que en los pocos casos en que [E] era resoluble
aparecan dos funciones arbitrarias en la solucin.
x
y
u
G
Todo ello lleva a plantear el problema de Cauchy para [E]:
Hallar la solucin que tome unos valores dados de
y
y
a lo largo de una curva dada G del plano y .
(geomtricamente, hallar la supercie solucin que contenga
una curva dada y tenga a lo largo de ella una familia de planos
tangentes tambin dados). Alternativamente se podran jar
sobre G los valores de

o de la derivada normal
n
.
En particular, al tomar como G el eje se tiene el problema de valores iniciales
que consiste en hallar la solucin de [E] que cumple (, 0) = () ,
y
(, 0) =g() .
Como ocurra en las de primer orden se puede probar que:
Si los datos son regulares y G no es tangente a las caractersticas en ningn
punto, el problema de Cauchy tiene solucin nica en las proximidades de G.
x
y
2
Ej 1. Sea [P]
_
y
yy
+2y
2

y
+y
3

y
= 0
(, 2) = ,
y
(, 2) = 0
.
B
2
4AC0, parablica en R
2
.
d
dy
=y
y
2
2
=K caractersticas.
Como y=2 nunca es tangente a ellas, el problema de Cauchy [P]
tiene solucin nica. Es resoluble y podemos comprobarlo:
_
=
y
2
2
= y

= 0
Euler

=
= p()+q()
2
= p(
y
2
2
)+q(
y
2
2
) y
2
Imponiendo los datos de Cauchy (
y
= yp

y
3
q +2yq ):
(, 2) = p(2) +4q(2) =

y
(, 2) =2p

(2)8q

(2)+4q(2) = 0
_

(2)+4q

(2) = 1
p

(2)+4q

(2) = 2q(2)
_
[ p

y q

representan la misma derivada ordinaria en ambas ecuaciones]

q(2) =
1
2
q() =
1
2
p(2) =2 p() = =
y
2
2
+
y
2
2
= ,
solucin determinada de forma nica por los clculos anteriores.
Es este problema el adecuado a todas las EDPs de segundo orden? No lo es. En los
problemas reales aparecen condiciones mucho ms variadas que las de Cauchy: en
unos casos hay que imponer condiciones iniciales y de contorno a la vez, en otros
slo de contorno... Adems un dato de Cauchy puede originar problemas mal plan-
teados (sin la necesaria dependencia continua) para EDPs no hiperblicas, como
ste para Laplace (cuya solucin ser nica por no tener caractersticas reales):
_

+
yy
= 0
(, 0) = 0,
y
(, 0) =
senn
n
. Su solucin (nica) es (, y) =
shny senn
n
2
,
pero aunque el dato
senn
n
0 uniformemente, es muy grande (si y=0) para
n grande, y se parece poco a la solucin 0 asociada a (, 0) =
y
(, 0) =0.
Veamos los principales problemas asociados a las ecuaciones clsicas en dos va-
riables [slo (P
1
) ser de Cauchy]. Para cada uno habra que probar que est bien
planteado. Para ms variables las cosas son anlogas y poco ms complicadas.
11
Ondas. Tiene solucin nica dependiente continuamente de los datos el
u(x,0)
f(x)
x
g(x)
problema puro de
valores iniciales:
(P
1
)
_

tt
c
2

=F(, t) , , t R
(, 0) = ()

t
(, 0) = g()
x
t
para la cuerda innita (tiene sentido real cuando t es pequeo y
estamos lejos de los extremos). Como damos los datos sobre t =0
no caracterstica (eran ct =K ) hay solucin nica.
En el caso de la ecuacin homognea ( F0) hallemos su solucin y deduzcamos
de ella la dependencia continua. Vimos en la seccin anterior su solucin general:

tt
c
2

=0 (, t) =p(+ct)+q(ct) , p, q arbitrarias.
Imponiendo los datos:
_
p() +q() = ()
cp

() cq

() = g()

_
p

() +q

() =

()
p

() q

() =
1
c
g()
2p

() =

() +
1
c
g()
p() =
1
2
() +
1
2c
_

0
g(s) ds +k q() =
1
2
()
1
2c
_

0
g(s) ds k
(, t) =
1
2
_
(+ct) + (ct)
_
+
1
2c
_
+ct
ct
g(s) ds
frmula de
DAlembert
que da la solucin nica de (P
1
) si F0. Para que sea C
2
, debe C
2
y gC
1
.
Comprobemos que datos iniciales prximos ocasionan soluciones (, t) y

(, t)
cercanas en intervalos de tiempo nitos (es decir, la dependencia continua):
si | ()

()| < y |g()g

()| < ; entonces para t [0, T] se tiene:

|

|
1
2
| (+ct)

(+ct)| +
1
2
| (ct)

(ct)| +
1
2c
_
+ct
ct
|g(s)g

(s)| ds
< +

2c
_
+cT
cT
ds = (1+T) < y t [0, T] , si <

1+T
.
Consideremos ahora la cuerda acotada cuyos extremos se mueven verticalmente
segn h
0
(t) y h
L
(t) dadas (que estn jos es un caso particular). Hay entonces
dos condiciones de contorno adicionales:
(P
2
)
_

tt
c
2

= F(, t) , [0, L], t R

(, 0) = () ,
t
(, 0) = g()
(0, t) = h
0
(t) , (L, t) = h
L
(t)
Demostremos su unicidad (veremos que la solucin existe, como en otros casos,
hallndola explcitamente [en 3.1 por separacin de variables en 4.1 a travs de
extensiones]; la dependencia continua, que se cumple, no la probamos).
Sean
1
y
2
soluciones cualesquiera de (P
2
) y sea =
1

2
. Entonces cumple:
(P
0
)
_

tt
c
2

= 0, [0, L] , t R
(, 0) =
t
(, 0) =(0, t) =(L, t) =0
Queremos ver que 0. Integremos la identidad:

t
[
tt
c
2

] =
1
2

t
[
2
t
+c
2

] c
2

[
t

]
para entre 0 y L y t entre 0 y T cualquiera, suponiendo solucin de (P
o
):
1
2
_
L
0
_

2
t
+c
2

_
(,T)
(,0)
d c
2
_
T
0
_

_
(L,t)
(0,t)
dt =
1
2
_
L
0
_

t
(, T)
2
+c
2

(, T)
2
_
d = 0
pues
tt
c
2

=
t
(, 0) =

(, 0) =
t
(0, t) =
t
(L, t) =0.
El ltimo corchete es 0 y es funcin continua de . Para que la integral se anule
debe ser
t
(, T) =

(, T) =0 si 0L y para cualquier T. Por tanto (, t) es

constante y como (, 0) =0 debe ser =
1

2
0. Hay unicidad.
12
Calor. Para la varilla innita se prueba que est bien planteado:
(P
3
)
_

t
k

= F(, t) , R, t >0
(, 0) = () , acotada
Basta un solo dato, la distribucin inicial de temperaturas, para jar las posteriores.
[No podemos dar arbitrariamente la
t
(, 0) pues debe ser
t
(, 0) =k

()+F(, 0) si
es solucin ( t =0 es caracterstica y (P
3
) no es buen problema de valores iniciales)].
Para la varilla acotada hay condiciones de contorno, que pueden ser de varios
tipos, con diferentes signicados fsicos cada uno. Si los extremos toman a lo largo
del tiempo las temperaturas dadas h
0
(t) y h
L
(t) se tiene:
(P
4
)
_

t
k

= F(, t) , (0, L), t >0

(, 0) = ()
(0, t) = h
0
(t) , (L, t) = h
L
(t)
Si lo que jamos es el ujo de calor en los extremos obtenemos:
(P
5
)
_

t
k

= F(, t) , (0, L), t >0

(, 0) = ()

(0, t) = h
0
(t) ,

(L, t) = h
L
(t)
[En particular, si h
0
(t) =h
L
(t) =0, los extremos estn aislados].
Un tercer tipo de condiciones de contorno combina y

:
(0, t)

(0, t) =h
0
(t) (L, t)+b

(L, t) =h
L
(t) , con , b>0 .
Expresan la radiacin libre de calor hacia un medio a temperatura dada (si el
extremo = L est ms (menos) caliente que h
L
entonces irradia (chupa) calor
pues

=(h
L
)/ b<0 ( >0) y el ujo de calor es siempre en sentido opuesto al
gradiente de las temperaturas; lo mismo sucede con el otro extremo).
Probemos que (P
4
) (P
5
) (o cualquiera de los otros 7 problemas que aparecen
combinando los 3 tipos de condiciones descritos) poseen solucin nica. Sean
1
y
2
soluciones. Entonces =
1

2
satisface el problema con F= =h
0
=h
L
=0.
Multiplicando la ecuacin por e integrando respecto a entre 0 y L se tiene:
_
L
0

t
dk
_
L
0

d =
1
2
d
dt
_
L
0

2
dk
_

_
(L,t)
(0,t)
+k
_
L
0

2

d = 0

d
dt
_
L
0
_
(, t)
_
2
d 0
[si =0

=0 en los extremos la ltima implicacin es clara, ya que k >0;

es tambin fcil verlo si

=0, >0 si +b

=0, b>0; no se puede dar

ese paso ni probar la unicidad para <0 b<0 (fsicamente inadmisible)].
La ltima integral es una funcin U(t) no creciente ( U

0), que cumple U(0) =0

(pues (, 0) = 0) y es U(t) 0 (integrando positivo). De las tres cosas se sigue
que U(t) 0 0. Unicidad.
Una forma alternativa de probar la unicidad de algunos problemas (que adems permite
atacar la dependencia continua) es utilizar un principio del mximo que se ajuste a ese
problema. Por ejemplo, es cierto este principio que no demostramos:
Si es continua en [0, T][0, L] y satisface
t
k

=0 en (0, T)(0, L) , los valores

mximo y mnimo de se alcanzan o bien en t =0 o bien en =0 bien en =L .
[Si ni la temperatura inicial en la varilla ni la de los extremos supera un valor M, no se puede
crear en su interior una temperatura mayor que M (si no hay fuentes externas); la prueba
a partir de esto de la unicidad y la dependencia continua de (P
4
) sera parecida a la que
veremos para Laplace y no la hacemos; si quisiramos demostrar la unicidad para los otros
problemas de la ecuacin del calor, necesitaramos otros principios del mximo diferentes].
13
Laplace. Los problemas son de contorno. Los dos ms importantes son:
D
D
dominio
acotado
Problema
de
Dirichlet:
(P
D
)
_
=F en D
= en D
Problema
de
Neumann:
(P
N
)
_
=F en D

n
= en D
Donde D es un abierto conexo acotado de R
2
, D es su frontera y

n
es la derivada en la direccin del vector normal unitario exterior n.
Si vemos la ecuacin describiendo una distribucin estacionaria de temperaturas
en una placa, en (P
D
) jamos las temperaturas en el borde y en (P
N
) el ujo de
calor en direccin normal al borde.
Si F , y D son regulares, el (P
D
) es un problema bien planteado. Lo resolveremos
en recintos sencillos en el captulo 3. Probemos ahora su unicidad por dos caminos.
Mediante la frmula de Green (generaliza la integracin por partes a R
2
):
Sea C
2
(D)C
1
_
D
_
. Entonces
__
D
ddy =
_
D

n
ds
__
D

2
ddy
_
Identidad =div
_

2
y teorema de la divergencia
__
D
divf ddy =
_
D
f nds
_
.
Si
1
y
2
son soluciones de (P
D
), =
1

2
verica el problema con F= =0.
La frmula de Green dice entonces que:
__
D

2
ddy = 0 =0 =cte 0 (pues =0 en D).
Probamos de otra forma la unicidad de (P
D
), y tambin la dependencia continua,
con el siguiente principio del mximo para Laplace (intuitivamente claro: la tem-
peratura de una placa no supera la mxima de su borde) que no demostramos:
Si satisface = 0 en un dominio acotado D y es continua
en D entonces alcanza su mximo y su mnimo en la D.
Como =
1

2
, con
1
,
2
soluciones, verica
_
=0 en D
=0 en D
, se tiene:
0 = mn
D
mn
D
m x
D
m x
D
= 0 0
Si

es solucin de (P
D
) con =

en D y sea |

| < en D. Entonces:
=

_
=0 en D
=

en D
<mn
D
m x
D
< |

| < en D.
Si la diferencia entre datos es pequea, lo es la diferencia entre soluciones.
Para el (P
N
) la situacin es ms complicada. En primer lugar, para que (P
N
) pueda
tener solucin es necesario que F y satisfagan la relacin:
__
D
F ddy =
_
D
ds
[basta aplicar el teorema de la
divergencia a para verlo].
Adems, si (P
N
) tiene solucin, esta contiene una constante arbitraria [lo que era
esperable, ya que ecuacin y condicin de contorno slo contienen derivadas].
Tambin se ve que si queremos repetir la prueba de la unicidad con la frmula de
Green, podemos dar todos los pasos excepto la ltima implicacin. Se dice que el
problema de Neumann (P
N
) tiene unicidad salvo constante.
[Adems se imponen a Laplace condiciones de contorno del tipo +
n
= , > 0,
y tambin tienen inters los problemas en que en parte de D hay condiciones tipo
Dirichlet, en otra tipo Neumann... (todos son problemas bien planteados). Tambin se
tratan problemas en D no acotados. Para tener unicidad, adems de los datos en D,
hay que exigir un adecuado comportamiento en el innito].
14