3

5. Caracter sticas. Problemas clsicos en EDPs

En las EDOs plantebamos problemas de valores iniciales, que
casi siempre tenan solucin nica. Para resolverlos (las pocas
veces que se poda) solamos hallar primero la solucin general e
imponer despus una o varias condiciones, dependiendo 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 5.1 tratando las EDPs lineales de primer
orden en dos variables, es decir, ecuaciones del tipo:
[1] A(x,y) u
y
+ B(x,y) u
x
= C(x,y) u + D(x,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 caractersticas de [1]. En
la solucin general de [1] aparecer una funcin p arbitraria
(como en el sencillo ejemplo u
x
=0 , de solucin u(x,y)=p(y),
para cualquier p). Para fijar esta p fijaremos el valor de la
solucin a lo largo de una curva G del plano xy (problema de
Cauchy) y la solucin quedar determinada de forma nica si G no
es tangente a las curvas caractersticas.
En la seccin 5.2 se intentan resolver las EDPs lineales de
segundo orden en dos variables:
[2] A u
yy
+ B u
xy
+ C u
xx
+ D u
y
+ E u
x
+ F u = G ,
con u y los coeficientes funciones de x e y. Trataremos de
escribirlas, mediante cambios de variables, en la forma ms
sencilla posible (forma cannica). Esto nos llevar a la
clasificacin 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.
Para aislar una nica solucin de [2] podra plantearse un
problema de Cauchy anlogo a los de [1]. Esto puede servir para
la ecuacin de ondas, pero carece de sentido fsico y plantea
problemas matemticos para las otras ecuaciones clsicas. Las
condiciones iniciales y de contorno ligadas a un problema fsico
real son muy diferentes para cada ecuacin. Incluso a una misma
ecuacin aparecen asociadas condiciones 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 continuamente de los datos (lo que era en las EDOs
de comprobacin trivial). La seccin 5.3 se dedica a plantear
diferentes problemas asociados a las ecuaciones clsicas y a
estudiar la unicidad de algunos de ellos.
4
5.1. EDPs lineales de primer orden
Sea [1]

A(x,y)u
y
+B(x,y)u
x
=C(x,y)u+D(x,y)

, u=u(x,y) .
Para resolverla consideramos la EDO de primer orden:
[2]
dy
dx
=
A(x,y)
B(x,y)
ecuacin caracterstica
Suponemos A y B regulares y que no se anulan simultneamente en
una regin del plano. [2] tendr en ella unas curvas integrales:
[3]

(x,y)=K

curvas caractersticas de [1]
(se podrn hallar explcitamente si [2] es separable, lineal, exacta)
Veamos que el cambio de variable

'
=(x,y)
=y
(o bien =x )
lleva [1] a una ecuacin en las nuevas variables (,) en la que no
aparece u

y que es resoluble elementalmente. En efecto:

'

u
y
=u

y
+u

u
y
=u

x
Au

+A
y
u

+B
x
u

=Cu+D
Como sobre las soluciones y(x) definidas por [3] se tiene:
(x,y(x))=k
x
+
y
y'=
1
B
[A
y
+B
x
] = 0
Por tanto [1] se convierte en:
[4]

A(,)u

=C(,)u+D(,)

, u=u(,) .
(si hubisemos escogido =x habramos llegado a Bu

=Cu+D )
[4] es una ecuacin lineal ordinaria en si consideramos la
constante (es resoluble). En su solucin aparecer una constante
arbitraria para cada , es decir, una funcin arbitraria de :
[5] u(,)=p()R+R

D d
R A
, con R(,)=e
C/A d
, p arbitraria
deshaciendo el cambio queda resuelta [1] en funcin de x e y.
Ejemplo 1.

2xu
y
-u
x
= 4xy


dy
dx
=-2x
y+x
2
=K
caractersticas

'

=y+x
2
=y
2xu

=4xy ; u

=2 u=p()+
2
=p(y+x
2
)+y
2


'

=y+x
2
=x
-u

=4xy=4-4
3
u=p*()+
4
-2
2
=p*(y+x
2
)-2yx
2
-x
4
[ambas expresiones con p y p* definen la misma solucin general]
5
Cmo determinar de forma nica una solucin de [1]? Cada solucin
representa una superficie en el espacio. Generalizando el problema
u
x
y
G

de valores iniciales para ordinarias definimos:

el problema de Cauchy para [1] consiste en
hallar la solucin u(x,y) que contenga una curva
del espacio, o lo que es lo mismo, que tome
unos valores dados en los puntos de una curva G
del plano xy. Si, en particular, G es una recta
y=cte [por ejemplo, si imponemos u(x,0)=f(x) ],
tendremos lo que se llama un problema de valores iniciales.
Un problema de Cauchy puede no tener solucin nica. Por ejemplo,
si C D 0 , la solucin general es de la forma u(x,y)=p((x,y)), y
por tanto cada una de sus soluciones toma un valor constante sobre
cada caracterstica. Si buscamos una solucin que
contenga una cuya proyeccin G sea una de las
caractersticas (x,y)=k debemos exigir que est
en un plano horizontal z=K. En ese caso hay
infinitas soluciones (una para cada funcin p con
p(k)=K ). Si no tiene la z constante, no hay
solucin que contenga a la curva .
u
x
y
G

2
1

infinitas
ninguna
caso C D 0

En general, supongamos que es una curva suave que viene dada
paramtricamente: (s)=(g(s),h(s),f(s)) . Buscamos la solucin de [1]
con u(g(s),h(s))=f(s) . Sustituyendo en [5] y despejando p se tiene:
p((g(s),h(s)))=F(s) , con F conocida. Llamemos v=(g(s),h(s)) . Si
podemos expresar de forma nica s en funcin de v : s=s(v) , la
p(v)=f(s(v)) queda determinada y hay una nica solucin de [1]
conteniendo a . El teorema de la funcin implcita asegura que
esto se puede hacer en un entorno de cada s
o
para el que:
d
ds
[(g(s),h(s))]

s=s
o
= (g(s
o
),h(s
o
)).(g'(s
o
),h'(s
o
)) 0
El es perpendicular a las caractersticas y (g',h') es tangente
a G. As pues, hemos deducido que si G no es tangente en ningn
punto a ninguna de las caractersticas el problema de Cauchy tiene
solucin nica, al menos local.
Se puede ver si hay esta tangencia sin resolver
la EDO [2] a partir de su campo de direcciones:
un vector tangente a las soluciones de [2] es
(B(g(s
o
),h(s
o
)),A(g(s
o
),h(s
o
))) y, por tanto,
la curva G es tangente a alguna curva integral
de [2] en un punto (g(s
o
),h(s
o
)) si y slo si:

x
y
caract
g
h
( )
pendiente A/B
(s
o
) g' A(g,h) - h' B(g,h)

s=s
o
= 0
[y as, si 0 s el problema de Cauchy tiene solucin nica].
6
Ejemplo 1*. Imponemos diferentes datos de Cauchy a 2xu
y
-u
x
= 4xy

u(1,y)=0

p(y+1)+y
2
=0 p(v)=-(v-1)
2
u=2y+2x
2
-2yx
2
-x
4
-1
1
1
y
x
[o bien,
[p o p* fijadas

u(x,-x
2
)=0


u(x,-x
2
)=x
4

[datos
p*(y+1)-2y-1=0 p*(v)=2v-1

]
v. x=1 no es tangente a las caractersticas]
p(0)+x
4
=0. Imposible, no hay solucin.
p(0)=0 . Cada pC
1
con p(0)=0 nos da
una solucin diferente: hay infinitas.
sobre caractersticas dan 0 o soluciones]

u(x,0)=0

p(x
2
)=0 .Slo queda determinada la p(v)=0 para v0
pero no tenemos ninguna condicin sobre p si v<0.
Podemos elegir cualquier pC
1
que valga 0 para v0.
Existen infinitas soluciones en un entorno de (0,0):
u(x,y)=y
2
si y-x
2
, pero est indeterminada si y<-x
2
.

v
p(v)
p vlidas
[En (0,0) es y=0 tangente a las caractersticas. Lo confirma = 1.2x-0.(-1) ].

u(x,x
3
)=x
6


x
x +x
2 3
p(x
2
+x
3
)=0 p(v)=0 v u=y
2
para todo (x,y).
[A pesar de ser la curva de datos tangente a las caractersticas
en dos puntos (0,0) y (-2/3,-8/27) [pues = 1.2x-3x
2
.(-1) ] hay
solucin nica. La no tangencia es suficiente pero no es
necesaria].
Ejemplo 2.
yu
y
+xu
x
=2u
u(x,1)=x
3

dy
dx
=
y
x


'

= y/x
= y
u

=2u
u=p()
2
=p(y/x)y
2
; u(x,1)=p(1/x)=x
3
p(v)=1/v
3
; u=
x
3
y

x
y
[slo si y>0]
Ejemplo 3.
u
t
+cu
x
=0
u(x,0)=f(x)

dt
dx
=
1
c
caractersticas: x-ct=cte .
Solucin general: u(x,t)=p(x-ct); u(x,0)=p(x)=f(x) u(x,t)=f(x-ct),
solucin nica del problema de valores iniciales.
Observemos que el valor de u en cada (x,t) depende slo
del valor inicial de f en x
o
=x-ct , abscisa del punto
de interseccin de la caracterstica que pasa por (x,t)
con el eje x. El 'dominio de dependencia' de u de los
valores iniciales se limita al punto x
o
. La 'influencia'
x
o
x-ct=x
o
x
t
de los valores iniciales en un punto x
o
sobre la solucin es precisamente
la
recta caracterstica que pasa por (x
o
,0).
Para dibujar la grfica de u en funcin de
x para cada t = T fijo basta trasladar la de
f(x) una distancia cT. Se puede interpretar
la solucin como una onda que viaja (hacia
la derecha si c>0) a lo largo del tiempo.

x
t
T
cT
caractersticas
[Situacin similar a la veremos en la ecuacin de ondas]
7
5.2. EDPs lineales de segundo orden; clasificacin
Consideremos [1]

Au
yy
+Bu
xy
+Cu
xx
+Du
y
+Eu
x
+Fu=G

,
con u y los coeficientes funciones de (x,y) . Suponemos que los
coeficientes 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
podemos pensar que un cambio de variable adecuado haga desaparecer
algunos trminos de [1]. Hagamos el cambio genrico:


'
=(x,y)
=(x,y)
con y de C
2
y con jacobiano no nulo en . Entonces:
u
y
=u

y
+u

y
u
x
=u

x
+u

x
u
yy
=u

y
2
+2u

y
+u

y
2
+u

yy
+u

yy
u
xy
=u

x
+u

[
x

y
+
y

x
]+u

x
+u

xy
+u

xy
u
xx
=u

x
2
+2u

x
+u

x
2
+u

xx
+u

xx
Con lo que [1] queda en funcin de las nuevas variables:
[A
y
2
+B
y

x
+C
x
2
]u

+[2A
y

y
+B[
x

y
+
y

x
]+2C
x

x
]u

+
+[A
y
2
+B
y

x
+C
x
2
]u

+ = A
*
u

+B
*
u

+C
*
u

+ = G
*
donde los puntos representan los trminos en u

, u

y u , 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):
[2] A
y
2
+B
y

x
+C
x
2
=0 (C
*
=0 tiene la misma forma)
Si conseguimos encontrar dos soluciones distintas de [2] podemos
hacer desaparecer los trminos en u

y u

. Pero, si B
2
-4AC>0 ,
podemos separar [2] en dos EDPs de primer orden:
[3]
y
=
1
2A
[-B B
2
-4AC ]
x
[suponemos A0; si A=0 y C0 despejamos
x
; A=C=0 es caso trivial]
Por otra parte, es fcil verificar que B
*
2
-4A
*
C
*
=[B
2
-4AC]J
2
, con
J=
x

y
-
y

x
(jacobiano del cambio) y, por tanto, el signo de B
2
-4AC
es invariante bajo cambios de coordenadas. Esto lleva a definir:
Si en todos los puntos (x,y) de una regin del plano se cumple
que la expresin B(x,y)
2
-4A(x,y)C(x,y) es mayor que 0, igual
a 0 o menor que 0, se dice, respectivamente, que la EDP [1] es
hiperblica, parablica o elptica en dicha regin.
8
Sigamos con la simplificacin de [1]. Veamos 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.
Si [1] es hiperblica, [3] nos proporciona dos EDPs diferentes,
cuyas ecuaciones caractersticas son:
[4]

dx
dy
=
1
2A
[B- B
2
-4AC ] ,
dx
dy
=
1
2A
[B+ B
2
-4AC ]

Se llaman curvas caractersticas de [1] a las curvas integrales de
estas dos ecuaciones (x,y)=cte , (x,y)=cte (son las caractersticas
de las ecuaciones de primer orden [3]). Como sabemos, (x,y) y (x,y) son
soluciones de [3] ( u=p((x,y)) y u=p((x,y)) son sus soluciones
generales) y, por tanto, el cambio =(x,y) , =(x,y) transforma
[1] en B
*
u

+=G
*
, y como B
*
2
>0 podemos escribir:

u

+=G
**

forma cannica de las ecuaciones hiperblicas.
Si [1] es parablica, [3] proporciona una nica EDP:

y
+
B
2A

x
= 0 cuya ecuacin caracterstica es

dx
dy
=
B
2A

Sus curvas integrales (x,y)=cte son las caractersticas de [1]
(para las parablicas slo existe una familia de caractersticas).
Escogiendo =(x,y) tenemos que A
*
=0 (y como B
*
2
-4A
*
C
*
=0 tambin
es B
*
=0 ). Como podemos tomar cualquier funcin de x e y tal que
el jacobiano no sea nulo. Se suele tomar =y . Dividiendo por C
*
se obtiene la forma cannica de las parablicas:

u

+=G
*

.
Si [1] es elptica, los segundos miembros de [4] no son reales (no
hay pues caractersticas) sino funciones complejas conjugadas. No
es difcil probar que las soluciones de [4] son tambin complejas
conjugadas: (x,y)=(x,y)+i(x,y)=cte , (x,y)=(x,y)-i(x,y)=cte .
Tambin es fcil ver que el cambio =(x,y) , =(x,y) lleva [1]
a la forma cannica de las elpticas

u

+u

+=G
*

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

'

=x-
1
2A
[B- B
2
-4AC]y
=x-
1
2A
[B+ B
2
-4AC]y

'

=x-
B
2A
y
=y

'

=
2Ax-By
4AC-B
2
=y
si [1] hiperblica si [1] parablica si [1] elptica
9
[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 =
2Ax-By
2A
i
4AC-B
2
2A
y=cte equivale a =
2Ax-By
4AC-B
2
iy=cte ]
Ejemplo 1.

4u
yy
-4u
xy
+u
xx
=0

B
2
-4AC=0 parablica en todo R
2
.
A, B y C son constantes y basta copiar el cambio: =x+
y
2
, o mejor

'

=2x+y
=y

u
y
=u

+u

u
x
=2u

u
yy
=u

+2u

+u

u
xy
=2u

+2u

u
xx
=4u

Llevandolo a la ecuacin y dividiendo por 4 se tiene u

=0 .
Esta forma cannica se resuelve fcilmente: u

=p() u=p()+q()
Por tanto, la solucin general de la ecuacin es:


u(x,y)=yp(2x+y)+q(2x+y)

con p y q funciones C
2
arbitrarias.
Ejemplo 2.

u
yy
-yu
xx
=0

(ecuacin de Tricomi) B
2
-4AC=4y
hiperblica si y>0 y elptica si y<0 (sobre y=0 es parablica,
pero las EDPs se plantean sobre conjuntos abiertos).
y> 0:

dx
dy
=y
1/2
; caractersticas x
2
3
y
3/2
=cte . Hacemos pues:

'

=x+
2
3
y
3/2
=x-
2
3
y
3/2

u
y
=y
1/2
[u

-u

]
u
x
=u

+u

u
yy
=
1
2
y
-1/2
[u

-u

]+y[u

-2u

+u

]
u
xx
=u

+2u

+u

1
2
y
-1/2
[u

-u

]-4yu

=0 u

-
1
6

u

-u

-
=0

, pues -=
4
3
y
3/2
.
y< 0:

dx
dy
=i[-y]
1/2
=xi
2
3
[-y]
3/2
=cte . Hacemos ahora:

'

=x
=
2
3
[-y]
3/2

u
y
=-[-y]
1/2
u

u
x
=u

u
yy
=
1
2
[-y]
-1/2
u

+[-y]u

u
xx
=u

+u

+
1
2
[-y]
-3/2
u

=0 u

+u

+
1
3
u

=0

.
Como ocurra en el ejemplo 1, en ocasiones ser posible hallar
elementalmente la solucin general de [1] tras escribirla en forma
cannica (pero en la mayora seguir siendo imposible; como en las
dos regiones del ejemplo 2). Identifiquemos las formas cannicas
resolubles (en los problemas veremos que otras pocas ecuaciones
ms pueden llevarse a ellas haciendo otros cambios de variable que
hacen desaparecer alguna derivada de menor orden):
1 0
Si slo hay derivadas respecto a una variable:

u

+E
*
u

+F
*
u=G
*

Esta ecuacin lineal de segundo orden en 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 u

y una de las derivadas primeras:

u

+D
*
u

=G
*

Se resuelve haciendo u

=v: la lineal de primer orden v

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

apareciese la u

. La ecuacin es hiperblica.
[Al resolver las EDOs de segundo orden aparecan dos constantes;
aqu hay, en los dos casos, dos funciones arbitrarias (evaluadas
en las caractersticas como en las EDPs de primer orden)].
Ejemplo 3.

u
yy
+5u
xy
+4u
xx
+u
y
+u
x
=2

B
2
-4AC=9 hiperblica
Haciendo

'

=x-y
=x-4y
se obtiene u

+
1
3
u

=-
2
9
. Hacemos u

=v
v

=-
1
3
v-
2
9
v=q
*
()e
-/3
-
2
3
u(,)=q()e
-/3
-
2
3
+p()
La solucin general es, pues:
u(x,y)=q(x-4y)e
(y-x)/3
+
2
3
(4y-x)+p(x-y) q y p arbitrarias.
Ejemplo 4.

y
2
u
yy
+2xyu
xy
+x
2
u
xx
+y
2
u
y
+xyu
x
=0


B
2
-4AC0
parablica en R
2

dx
dy
=

2xy
2y
2
=

x
y


'

=y/x
=y
. Operando: u

+u

=0 u(,)=p()+q()e
-
Es decir,

u(x,y)=p(y/x)+q(y/x)e
-y

1 1
5.3. Los problemas clsicos. Unicidad.
Sea [1] Lu=G una EDP lineal de segundo orden en dos variables.
Qu datos adicionales nos proporcionan problemas bien planteados
para [1]? Para una EDO de segundo orden era necesario fijar el
valor de la solucin y de su derivada en el instante inicial para
tener soluciln nica. En una EDP lineal de primer orden fijbamos
los valores de la solucin en toda una curva G (no tangente a las
carectersticas). Acabamos de ver que en los pocos casos en que [1]
era resoluble aparecan dos funciones arbitrarias en la solucin.
Todo ello nos lleva a plantear el siguiente problema de Cauchy
para [1]: hallar la solucin que tome unos valores dados de u y u
y
a lo largo de una curva dada G del plano xy.
(geomtricamente, encontrar una superficie
solucin que contenga una curva dada y tenga
a lo largo de ella una familia de planos
tangentes tambin dados. Alternativamente se
podran fijar sobre G los valores de u
x
o de
la derivada normal u
n
.

u
x
y
G
Un caso particular de este problema de Cauchy sera el obtenido al
tomar como G el eje y=0: el problema de valores iniciales consiste
en encontrar la solucin de [1] que cumple u(x,0)=f(x), u
y
(x,0)=g(x).
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 entonces el problema de Cauchy tiene solucin nica
en las proximidades de G.
Ejemplo 1. Sea [P]

'

yu
yy
+2y
2
u
xy
+y
3
u
xx
-u
y
=0
u(x,2)=x,u
y
(x,2)=0
.
B
2
-4AC0, la ecuacin es parablica en todo R
2
.

dx
dy
=

y

las caractersticas son x-
y
2
2
=cte.

x
y
2
Como y=2 nunca es tangente a ellas, el problema de Cauchy [P]
tiene solucin nica. Es resoluble y podemos comprobarlo:

'

=x-
y
2
2
=y
u

-u

=0
Euler u

=v
u=p()+q()
2
=p(x-
y
2
2
)+q(x-
y
2
2
)y
2
Imponiendo los datos de Cauchy (u
y
=-yp'-y
3
q+2yq):

;

u(x,2)=p(x-2)+4q(x-2)=x
u
y
(x,2)=-2p'(x-2)-8q'(x-2)+4q(x-2)=0

p'(x-2)+4q'(x-2)=1
-p'(x-2)-4q'(x-2)+2q(x-2)=0
[p' y q' representan la misma derivada ordinaria en ambas ecuaciones]
q(x-2)=
1
2
q(v)=
1
2
v p(x-2)=x-2 p(v)=v v u=x-
y
2
2
+
y
2
2
= x
Solucin determinada de forma nica por los clculos anteriores.
[Es fcil comprobar que se satisfacen la ecuacin y los datos].
1 2
Parece en principio que el problema de Cauchy es un problema
adecuado a todas las EDPs de segundo orden. Pero esto no es
cierto. En el estudio de los problemas reales aparecen condiciones
mucho ms variadas que las de Cauchy: en unos casos habr que
imponer condiciones iniciales y de contorno al mismo tiempo, en
otro slo exigiremos condiciones de contorno Adems un dato de
Cauchy puede originar problemas mal planteados para ecuaciones no
hiperblicas. Por ejemplo, el problema para la ecuacin elptica:

'

u
xx
+u
yy
=0
u(x,0)=0
u
y
(x,0)=
sennx
n
tiene por solucin nica u(x,y) =
sh ny sen nx
n
2
Pero no hay dependencia continua de los datos: sennx/n tiende a 0
uniformemente, pero la solucin se hace para y0 tan grande como
se quiera (por grande que sea n) y se parece poco a la solucin
u=0 correspondiente a los datos u(x,0)=u
y
(x,0)=0 .
Veamos ahora los principales problemas asociados a las tres
ecuaciones clsicas [slo el (P
1
) ser un problema de Cauchy].
Para cada uno de ellos habr que comprobar que tiene solucin
nica dependiente continuamente de los datos:
Ondas. Un problema bien planteado para la cuerda vibrante es el
problema puro de valores inciales:
(P
1
)

'

u
tt
-c
2
u
xx
=F(x,t),x,tR
u(x,0)=f(x)
u
t
(x,0)=g(x)
que surge al considerar una cuerda infinita (tiene sentido real si
nos preocupamos por valores pequeos de t antes de que las pertur-
baciones lleguen a los extremos). Fijamos la policin inicial de
la cuerda y la distribucin de velocidades verticales iniciales.
Como fijamos los datos sobre una recta no caracterstica (estas
son xct=cte ) tendr solucin nica. A partir de la solucin del
siguiente captulo comprobaremos la dependencia continua).
Podemos tambin considerar una cuerda acotada con los extremos
fijos. Deberemos entonces imponer unas condiciones de contorno
adicionales: u(0,t)=u(L,t)=0 . Ms en general, si los extremos se
mueven verticalmente segn h
0
(t) y h
L
(t) dadas se tiene:
(P
2
)

'

u
tt
-c
2
u
xx
=F(x,t),x[0,L],tR
u(x,0)=f(x),u
t
(x,0)=g(x)
u(0,t)=h
0
(t),u(L,t)=h
L
(t)
Demostremos su unicidad (probaremos su existencia, como en otros
problemas, hallando explcitamente las soluciones [en el captulo
6]; la dependencia continua, que se cumple, no la demostraremos
[se podra deducir de la del problema (P
1
)]).
1 3
Sean u
1
y u
2
soluciones cualquiera de (P
2
) y sea u=u
1
-u
2
.
Entonces u satisface:
(P
o
)

'

u
tt
-c
2
u
xx
=0,x[0,L],tR
u(x,0)=u
t
(x,0)=0
u(0,t)=u(L,t)=0
Nuestro objetivo es demostrar que u 0 . Partimos de la identidad:
u
t
[u
tt
-c
2
u
xx
] =
1
2

t
[u
t
2
+c
2
u
x
2
]- c
2

x
[u
t
u
x
]
Integramos respecto a x entre 0 y L y respecto a t entre 0 y T
cualquiera suponiendo que u es solucin de (P
o
):
1
2

L
0
[u
t
2
+c
2
u
x
2
]
(x,T)
(x,0)
dx - c
2

T
0
[u
t
u
x
]
(L,t)
(0,t)
dt =
1
2

L
0
[u
t
(x,T)
2
+c
2
u
x
(x,T)
2
] dx = 0
pues u
tt
-c
2
u
xx
=u
t
(x,0)=u
x
(x,0)=u
t
(0,t)=u
t
(L,t)=0 . Como el ltimo
corchete es 0 y es funcin continua de x debe ser u
t
(x,T)=u
x
(x,T)=0
para 0xL y para cualquier T. Por tanto u(x,t) es constante y como
u(x,0)=0 debe ser u=u
1
u
2
0. Hay unicidad.
Calor. Para la varilla infinita se prueba que est bien planteado:
(P
3
)

'

u
t
-ku
xx
=F(x,t),xR,t>0
u(x,0)=f(x), u acotada
Basta un nico dato, la distribucin inicial de temperaturas, para
fijar las posteriores [no podemos dar arbitrariamente la u
t
(x,0) pues debe
ser u
t
(x,0)=ku
xx
(x,0)=kf"(x) si u es solucin (t=0 es una caracterstica y (P
3
)
no es buen problema de valores iniciales)].
Para una varilla acotada hay que aadir condiciones de contorno,
que pueden ser de varios tipos. Si los extremos deben tener a lo
largo del tiempo unas temperaturas dadas h
0
(t) y h
L
(t) se tiene:
(P
4
)

'

u
t
-ku
xx
=F(x,t),x(0,L),t>0
u(x,0)=f(x)
u(0,t)=h
0
(t),u(L,t)=h
L
(t)
Si lo que fijamos es el flujo de calor en los extremos obtenemos:
(P
5
)

'

u
t
-ku
xx
=F(x,t),x(0,L),t>0
u(x,0)=f(x)
u
x
(0,t)=h
0
(t),u
x
(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 la u y la u
x
:
u
x
(0,t)-au(0,t)=h
0
(t) u
x
(L,t)+bu(L,t)=h
L
(t), con a,b>0, que expresan
la radiacin libre de calor hacia un medio a temperatura dada (si
el extremo x=L est ms (menos) caliente que h
L
/b entonces irradia
(chupa) calor ya que u
x
=-b(u-h
L
/b)<0 (>0) y el flujo de calor es
siempre en sentido opuesto al gradiente de las temperaturas; lo
mismo sucede con el otro extremo).
1 4
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 u
1
y u
2
soluciones. Entonces u=u
1
-u
2
satisface el problema con F=f=h
0
=h
L
=0. Multiplicando la ecuacin
por u e integrando respecto a x entre 0 y L se tiene:

L
0
uu
t
dx-k

L
0
uu
xx
dx =
1
2

d
dt

L
0
u
2
dx-k[uu
x
]
(L,t)
(0,t)
+k

L
0
u
x
2
dx = 0
d
dt

L
0
u
2
dx 0
(si u=0 o u
x
=0 en los extremos la ltima implicacin es clara, ya
que k>0; es tambin fcil verlo si u
x
-au=0, a<0 si u
x
+bu=0, b<0).
La ltima integral es una funcin U(t) no creciente, que satisface
U(0)=0 (pues u(x,0)=0) y U(t)0 (integrando positivo). De las tres
cosas se deduce que U(t)0 u0 . Unicidad.
[Para otros problemas parablicos la demostracin de unicidad ser similar].
Una forma alternativa de demostrar la unicidad del algunos proble-
mas (que adems permite atacar la dependencia continua) es usando
un principio del mximo que se ajuste al problema considerado. Por
ejemplo, es cierto el siguiente principio que no demostramos:
Si u es continua en [0,T]x[0,L] y satisface u
t
-ku
xx
=0
en (0,T)x(0,L) , los valores mximo y mnimo de u se
alcanzan o bien en t=0 o bien en x=0 en x=L .
[si la temperatura inicial en la varilla no supera un valor M y la de los
extremos tampoco, 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 muy parecida a la que veremos para
Laplace y por eso no la hacemos; si quisiramos demostrar la unicidad para
los otros problemas citados para la ecuacin del calor, necesitaramos otros
principios del mximo ligeramente diferentes].
Laplace. Los problemas clsicos son de contorno (la ecuacin
describe procesos estacionarios). Los dos ms importantes son:
Problema de Dirichlet: (P
D
)

'

u=F en D
u=f en D
Probema de Neumann: (P
N
)

'

u=F en D
u
n
=f en D

D
dominio
acotado
D
Donde D es un abierto conexo acotado de R
2
, D es su frontera y u
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
) fijamos las temperaturas en
el borde y en (P
N
) el flujo de calor en direccin normal al borde.
Si F, f y D son suficientemente regulares, el (P
D
) es un problema
bien planteado. Hallaremos su solucin en recintos sencillos en el
captulo 8 y en 9.1. Probemos ahora su unicidad por dos caminos.
1 5
El primero est basado en la frmula de Green (que generaliza la
integracin por partes a R
2
):
Sea uC
2
(D)C
1
(
-
D). Entonces

D
uudxdy = o

D
uu
n
ds -

D
||u||
2
dxdy
Basta aplicar el teorema de la divergencia a una identidad:

D
divf dxdy = o

D
fn ds , uu = div[uu] - ||u||
2
.
Si u
1
y u
2
son soluciones de (P
D
), u=u
1
u
2
verifica el problema con
F=f=0. La frmula de Green dice entonces que:

D
||u||
2
dxdy = 0 u=0 u=cte u0 (pues u=0 en D)
Utilizaremos ahora el siguiente principio del mximo para Laplace
que no demostramos (intuitivamente es claro):
Si u satisface u=0 en un dominio acotado D y es continua
en
-
D entonces u alcanza su mximo y su mnimo en la D .
[la temperatura de una placa no supera la mxima de su borde]
Demos a partir de l otra demostracin de la unicidad de (P
D
) y
comprobemos tambin la dependencia continua:
Como u=u
1
u
2
, u
1
,u
2
soluciones, verifica
{
u = 0 en D
u = 0 en D
se tiene:
0 =
D
mn u
D
mn u
D
mx u
D
mx u = 0 u0
Sea ahora u
*
solucin de (P
D
) con u=f
*
en D y sea |f-f
*
|< en D.
Entonces v=u-u
*
satisface
{
v = 0 en D
v=f-f
*
en D
<
D
mn v v
D
mx v <
Por tanto, |u-u
*
|< (x,y)D. Si la diferencia entre los datos es
pequea, tambin es pequea la diferencia entre soluciones.
Para el problema de Neumann (P
N
) la situacin es ms complicada.
En primer lugar, para que (P
N
) pueda tener solucin es necesario
que F y f satisfagan la relacin:

D
Fdxdy = o

D
fds
[basta aplicar el teorema de la divergencia a u para verlo].
Adems, en el caso de que (P
N
) tenga solucin, esta contiene una
constante arbitraria [lo que era esperable, ya que la ecuacin y
la condicin de contorno slo contienen derivadas]. Tambin se ve
que si queremos repetir la prueba de la unicidad de (P
N
) a partir
de la frmula de Green, podemos dar todos los pasos excepto la
ltima implicacin. Se suele decir que (P
N
) tiene unicidad salvo
constante.
1 6
A la ecuacin de Laplace se le pueden imponer tambin condiciones
de contorno mixtas del tipo u
n
+au=f , a>0, y tambin tienen
significado fsico los problemas en que en parte de la frontera se
imponen condiciones tipo Dirichlet, en otra tipo Neumann (todos
ellos son problemas bien planteados).
Por ltimo, en ocasiones hay que estudiar problemas para Laplace
en recintos D no acotados. Para conseguir la unicidad, adems de
fijar datos en D hay que exigir acotacin en el infinito (si el
problema no es en el plano, sino en el espacio, esto no basta y
hay que pedir que la solucin tienda a 0 en el infinito).