Escolar Documentos
Profissional Documentos
Cultura Documentos
Universidad de La Laguna
Curso de Introduccin
INTRODUCCIN vi
2. Primer orden 47
2.1. Ecuaciones lineales y cuasilineales . . . . . . . . . . . . . . . . . . 47
2.1.1. Ecuaciones lineales . . . . . . . . . . . . . . . . . . . . . . 47
2.2. Ecuaciones cuasilineales . . . . . . . . . . . . . . . . . . . . . . . 51
iii
iv NDICE GENERAL
3. El problema de Cauchy 75
3.1. Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.2. El problema general de Cauchy . . . . . . . . . . . . . . . . . . . 79
3.3. Teorema de Cauchy-Kowalevski . . . . . . . . . . . . . . . . . . . 84
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4. Ecuacin de ondas 93
4.1. Clasicacin de ecuaciones lineales . . . . . . . . . . . . . . . . . 93
4.2. Transformacin de operadores de segundo orden . . . . . . . . . 95
4.3. Clasicacin de ecuaciones lineales . . . . . . . . . . . . . . . . . 98
4.3.1. Operadores en el plano . . . . . . . . . . . . . . . . . . . . 98
4.3.2. Operadores con coecientes constantes . . . . . . . . . . . 103
4.4. Ecuacin de ondas unidimensional . . . . . . . . . . . . . . . . . 105
4.4.1. El problema de valor inicial . . . . . . . . . . . . . . . . . 105
4.4.2. Velocidad de propagacin nita de las perturbaciones . . 106
4.4.3. Soluciones generalizadas. Propagacin de discontinuidades 107
4.4.4. Soluciones simtricas . . . . . . . . . . . . . . . . . . . . . 109
4.4.5. El problema no homogneo . . . . . . . . . . . . . . . . . 110
4.5. Problemas de contorno . . . . . . . . . . . . . . . . . . . . . . . . 112
4.5.1. Problemas de Dirichlet y Neumann homogneos . . . . . . 116
4.5.2. Oscilaciones libres . . . . . . . . . . . . . . . . . . . . . . 118
4.5.3. Problemas de Dirichlet y Neumann no homogneos . . . . 118
4.5.4. Problemas de contorno perturbados . . . . . . . . . . . . 120
4.6. Problemas semilineales . . . . . . . . . . . . . . . . . . . . . . . . 120
4.6.1. Problemas de valor inicial . . . . . . . . . . . . . . . . . . 120
4.6.2. Problemas de contorno . . . . . . . . . . . . . . . . . . . . 123
4.7. Ecuacin de ondas n-dimensional . . . . . . . . . . . . . . . . . . 123
4.7.1. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
4.7.2. Medias esfricas . . . . . . . . . . . . . . . . . . . . . . . 125
4.7.3. El problema de valor inicial en el caso n = 3 . . . . . . . . 127
4.7.4. Propagacin de ondas en el plano n = 2 . . . . . . . . . . 130
4.8. El caso n-dimensional . . . . . . . . . . . . . . . . . . . . . . . . 131
4.8.1. Dimensiones impares . . . . . . . . . . . . . . . . . . . . . 131
4.8.2. Mtodo del descenso de Hadamard . . . . . . . . . . . . . 134
4.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
NDICE GENERAL v
BIBLIOGRAFA 287
Introduccin
vii
viii NDICE GENERAL
Captulo 1
Algunas ecuaciones de
referencia en la teora
F : R Rk+1 R
(t, y0 , . . . , yk ) 7 F (t, y0 , . . . , yk ),
para cada t J.
El marco de referencia para el que se hace la teora de las ecuaciones (1.1)
corresponde al caso en que F tiene la estructura:
1
2 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
(t0 , 0 , . . . , k1 ) R Rk .
f
Si f es adems localmente Lipschitziana en (y0 , . . . , yk1 ) (por ejemplo si ,
y0
f
..., existen y son continuas) tal solucin es nica.
yk1
Observaciones 1.1.
a) El problema de Cauchy est inspirado en el principio determinista de Galileo
segn el cual el comportamiento futuro de una partcula queda determinado por
su velocidad y posicin iniciales. En el caso unidimensional se estara hablando,
por ejemplo, del problema de valor inicial:
x = f (x)
x(t0 ) = x0
x (t0 ) = v0 .
Ejemplos 1.2.
n
a) Cuando F (x, z, p1 , . . . , pn ) = i=1 ai (x)pi + a0 (x)z f (x) es lineal en (p, z)
la ecuacin (1):
n
u
ai (x) + a0 (x)u = f (x),
i=1
x i
se llama lineal.
n
b) Si F (x, z, p1 , . . . , pn ) = i=1 ai (x, z)pi b(x, z) slo es lineal en p, la ecuacin:
n
u
ai (x, u) = b(x, u),
i=1
xi
se llama cuasilineal.
c) Una ecuacin no englobada en los casos anteriores se llamar fuertemente no
lineal. Por ejemplo la as denominada ecuacin eikonal (ecuacin de la ptica
geomtrica):
|u|2 = c2 ,
donde c es la velocidad de la luz.
En los siguientes ejemplos se efecta una prospeccin de cmo responden las
ecuaciones de primer orden a las cuestiones de existencia y nmero de solucio-
nes as como a la posibilidad de imponer condiciones adicionales de tipo valor
inicial.
ves"),
u(x, t) = h(x ct),
donde se conoce a c como velocidad de propagacin.
Como en el caso de las edos, un problema de Cauchy permite determinar
todas las soluciones de (1.3). A tal efecto es ms sugestivo escribir (1.3) en la
forma,
ut = cux ,
e imaginarse que el valor inicial es toda una funcin de x mientras que el lugar
de los datos iniciales es, en vez de un punto, todo el eje x.
Teorema 1.3. Para cada C 1 (R) el problema,
{
ut + cux = 0
u(x, 0) = (x)
slo admite u = (x ct) como solucin.
Demostracin. Basta probar que las soluciones se conservan sobre las rectas
x = x0 + ct.
1.2. ECUACIONES DE PRIMER ORDEN 5
(x, y) = x v + y w w = (a2 , a1 ) .
Es decir, ( ) ( ) ( )
x a1 a2 x
= ,
y a2 a1 y
( ) ( )( )
x 1 a1 a2 x
= .
y a21 + a22 a2 a1 y
La ecuacin transformada adopta la forma,
u 0 (x , y )
x + a u = f(x , y ),
6 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
donde,
0 = a0 (a1 x a2 y , a2 x + a1 y )
a f = f (a1 x a2 y , a2 x + a1 y ),
mientras,
(|v|2 (a1 x + a2 y), |v|2 (a2 x + a1 y)).
u(x, y) = u
La condicin inicial se transforma en,
(|v|2 (a1 w1 + a2 w2 )s, |v|2 (a2 w1 + a1 w2 )s) = (s).
u
se tiene que v(x, t) = v(x0 , 0) sobre la solucin x = x(t). Pero v(x0 , 0) = h(x0 )
mientras x(t) = x0 + h(x0 )t. Por tanto v(x, t) = h(x0 ), luego:
v(x, t) = h(x vt),
que era el objetivo.
1.2. ECUACIONES DE PRIMER ORDEN 7
n
u
xi (tx) = t1 u(x),
i=1
xi
n
u
xi = u.
i=1
xi
admite para cada una nica solucin que es una funcin homognea.
8 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
con x0 el parmetro. Cubriendo todos los detalles con el debido rigor y la ayuda
de la teora de edos puede probarse el siguiente resultado.
Teorema 1.7. Para cada C 1 (R) y bajo la condicin de transversalidad
de rbitas a2 (x, 0) = 0, x R el problema (P) admite una nica solucin
u C 1 (U) denida en un cierto entorno U del eje x.
Demostracin. La solucin no puede ser otra que u(x, y) = ((x, y)).
Ejemplo 1.4. El problema:
{
xux + uy = 0
u(x, 0) = (x),
conduce a la ecucacin:
dx
= x.
dy
La condicin x(0) = x0 lleva a x0 = xey . La solucin es pues u = (xey ).
3 ( )
U U
Vxi xi = r +3 = 0.
i=1
r r
A efectos de clculo suele hacerse una eleccin precisa de las constantes Cn (ver
ms adelante la solucin fundamental del operador Laplaciano).
Finalmente, la teora de gravitacin proporciona otro modelo de ecuacin
asociada al operador Laplaciano. Supongamos ahora que la masa M que per-
turba el espacio no est localizada en un punto sino que ocupa un dominio
R3 (un planeta) en la que est distribuida segn una densidad de masa
= (x).
La fuerza neta de atraccin por unidad de masa sobre una partcula en la
posicin espacial x viene dada por la integral:
G(y)
F (x) = (y x) dy.
|x y|3
12 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
V = 0 x R3 \ .
V = 4G(x) x .
u = f (x) x ,
D = {u C 1 () : u = si x }.
1.3. ECUACIONES DE SEGUNDO ORDEN 13
2u
= c2 u,
t2
14 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
2u
+ but = c2 u + F (x, t).
t2
u
= ku, (4)
t
J(u) = nf J(v). (P ).
vX
nmero suciente de soluciones que permita ajustar ste u otro tipo concebible
de condiciones. En efecto, se dar en el Captulo III un ejemplo de edp lineal
con coecientes complejos que no admite soluciones en absoluto.
Mdulo un estudio ms profundo en el Captulo III trataremos ahora de
sugerir que el problema de Cauchy para una edp de segundo orden en el plano
consiste en prejar, de manera arbitraria, sobre una curva C 1 dada = {(x, y) =
(f (s), g(s)) : s I} los valores de la solucin u = u(x, y) y
de su derivada normal
a , es decir u/ donde, por ejemplo, = (g , f )/ f 2 + g 2 ( = d/ds,
mientras se supone (f , g ) = (0, 0) en ).
A tal efecto consideramos:
uyy = f (x, y, u, uy )
u(x, 0) = 0 (x) (6)
uy (x, 0) = 1 (x),
Si nos limitamos a cualquiera de los ejes como curva destinataria de las con-
diciones iniciales se observa que (9) no es propiamente de segundo orden con
respecto a la variable x o y. Eso da lugar a la introduccin de otro tipo posible
de problema de valor inicial donde las condiciones se toman en ejes distintos.
Por ejemplo,
uxy = F (x, y)
u(0, y) = (y)
ux (x, 0) = (x).
Una integracin directa nos da que la solucin de (10) problema que se llama
de tipo Goursat es:
x x y
u = (y) + () d + F (, ) d d.
0 0 0
Se puede decir que salvo para clases especiales de ecuaciones (por ejemplo
las lineales) no se conoce una teora general para edps de orden superior a dos.
Deberamos citar como ejemplo interesante la ecuacin de Korteweg-de Vries
(KdV) que aparece en el estudio de ondas de agua (water waves) y teora de
solitones:
ut + uux + uxxx = 0.
donde la funcin continua (s) designa la densidad lineal de masa, (s) > 0 en
0 s l.
En todo momento suponemos que el movimiento tiene lugar en el plano x-y.
Las condiciones iniciales son:
{ {
x(s, 0) = s y(s, 0) = f (s)
(CI)
xt (s, 0) = 0 yt (s, 0) = g(s),
Falta por precisar quines son las fuerzas internas (de corto alcance) que actan
sobre la porcin si1 s si de la cuerda. Para ello es necesario dar una ley
que describa cmo es la naturaleza de las fuerzas de tensin en los extremos.
Esto equivale a describir las propiedades elsticas de la cuerda.
En primer lugar medimos el alargamiento neto sufrido por si1 s si en
el instante t: si
x2s + ys2 ds s (s = si si1 ),
si1
donde xs = xs (s, t), ys = ys (s, t). El alargamiento medio por unidad de longitud,
si
1
x2s + ys2 ds 1.
s si1
Como,
si si
T (s, t)t(s, t) = (T (s, t)t(s, t)) ds,
si1 si1 s
1.5. LA ECUACIN DE ONDAS 21
T0
vtt = F + vxx
(x)
( )
T0 (s) (x) 1 T
vxx + x T0 xt vxx 2xt vxt ,
2 2
(s) (x) e+1 s
En el segundo miembro de dicha ecuacin, F = O(1). Enseguida se ve que:
T0
vxx = O(||),
(x)
mientras que
( )
T
x2s T0 x2t vxx 2xt vxt = o(||), (1.8)
e+1
1 = xs sx ,
1.5. LA ECUACIN DE ONDAS 23
T0
vtt = F + vxx
(x)
( )
T0 (s) (x) 1 T
vxx + x2s T0 x2t vxx 2xt vxt , (1.10)
(s) (x) e+1
es despreciable frente a vxx . En cuanto al coeciente de vxx en (1.8) (ver (1.10))
sabemos que ys = O(||). Luego,
e = x2s + ys2 1 = 1 + O(t2 + ||2 ) 1 = 1 + O(||2 ) 1 = O(||2 ),
pues 1 + u = 1 + O(u), xs = 1 + O(t2 ). Por otro lado,
T
= (T0 + O(e))(1 + O(e)) = T0 + O(e) = T0 + O(||2 ),
(1 + e)
mientras que x2t = O(t2 ), por ello dicho coeciente es de orden 2 en , luego de
orden 3 en al multiplicar por vxx . Tambin ser entonces despreciable frente
a vxx .
En cuanto a (s(x, t)) (x), ntese que (s(x, t)) (x) = (x + (s(x, t)
x))(s(x, t)x), con 0 < < 1. Como s(x, t) = x+O(t2 ), (s(x, t))(x) = O(t2 ).
Al ser > 0 en 0 s 0, tenemos que el tercer sumando en el segundo miembro
de (4) es del orden de ||3 y podemos despreciarlo frente a vxx .
Resumiendo, (1.9) es la linealizacin de (1.10).
Si volvemos a las condiciones iniciales, como s(x, 0) = x, mientras st (x, 0) =
0 resulta que v = v(x, t) satisface el problema de contorno y valor inicial:
utt = c2 uxx F (x, t) 0 < x < l, t > 0
u(x, 0) = f (x), 0 x l
(1.11)
u(x, 0) = f (x), 0 x l
u(0, t) = u(l, t) = 0 t 0.
x s1 , y s2 , z 0,
y donde admitiremos que las dos primeras componentes son cero. Contabiliza-
mos la fuerza externa neta sobre D en la forma:
( )
FiE = 0, 0, (x, y)F (x, y, t) dxdy ,
(de nuevo > 0 en representa la densidad de M). Para las fuerzas interiores
introducimos la tasa (densidad) de deformacin puntual:
e= 1 + |u|2 1,
1
(P ) = (n1 + u uy , n2 u ux , un )
1 + |u|2 1 + u2
1
= n + u (uy , ux ), un ),
(
1 + |u|2 1 + u2
donde u = u , y un = u n.
Una vez establecida la direccin de la fuerza de tensin T(P, t) en el punto
P e instante t, es necesario observar que en elasticidad, el mdulo T (P, t) de T
va a medir la magnitud de la tensin por unidad de longitud de arco dl en D.
1 Se supone que f , g recorren D siguiendo las agujas del reloj.
26 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
en donde hemos parametrizado en la forma {(f (s), g(s), u(f (s), g(s))|a < s <
b}. De ah, la resultante de las fuerzas internas sobre D ser:
FiI = T(P ) dl
(
D
)
n + u (uy , ux ) un
= T (P ) dl, T (P ) dl ,
D 1 + |u|2 1 + u2 D 1 + |u|2 1 + u2
T (P ) = T (e, P ) = T0 + O(e).
p = FiE + FiI ,
es decir,
( ) ( )
xtt dxdy, ytt dxdy, ztt dxdy = 0, 0, F (x, y, t) dxdy
( )
n + u (uy , ux ) un
+ T (P ) dl, T (P ) dl .
1 + |u|2 1 + u2 1 + |u|2 1 + u2
(1)
Ahora pasamos al captulo de linealizaciones. Vamos a suponer que a lo largo
del movimiento los desplazamientos son lo sucientemente pequeos como para
que lo sean u y u (en estado de reposo u 0) 2 . En este caso:
f 2 + g 2 + |u (f , g )|2 = f 2 + g 2 + O(|u|2 )
e = O(|u|2 ), T (P ) = T (e, P ) = T0 + O(|u|2 )
1 un
= 1 + O(|u|2 ), = un + O(|u|3 ),
1 + |u|2 1 + u2 1 + |u|2 1 + u2
2 Este es el tipo de argumento que se usa en la ecuacin del pndulo = k sen donde
Llegamos as a la relacin:
utt T0 u + F dxdy = 0,
T0
utt = u but F,
u
(x0 , t) = k (x0 , t). (1)
x
En trminos fsicos, la magnitud que designa cmo vara otra magnitud por
unidad de rea transversal a una supercie S y por unidad de tiempo, se llama
ujo de esa magnitud (aqu es el ujo de calor y la identidad (1) es la ley de
Fourier).
La ley de Fourier nos lleva a la ecuacin que satisface la temperatura u(x, t)
antes de alcanzar el estado de equilibrio. La ecuacin es consecuencia de la ley de
conservacin de la energa. En efecto, consideremos dos secciones sucientemente
prximas x0 y x1 . La variacin de calor por unidad de tiempo en dicho intervalo
viene dada por:
x1
u
A c dx,
x0 t
en donde A mide el rea transversal de una tal seccin del slido. Como el nico
mecanismo por el que hay variaciones de calor en la seccin es de momento
el transporte por difusin, tal variacin de la energa se debe nicamente al
calor que ha salido o entrado a travs de las paredes x = x0 , x1 . Sea A(t0 , h)
la cantidad de calor que ha entrado en la seccin durante el intervalo t0
t t0 + h mientras que B(t0 , h) se dene como la cantidad de calor que ha
abandonado la seccin entre dichos instantes. As mismo, sea Q(t) la cantidad
de calor acumulada en la seccin en el instante t. Evidentemente se tiene:
de donde:
cut = kuxx , (3)
32 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
Tambin las de enfriamiento con el medio a travs de las paredes (ley de Newton,
condiciones de Robin):
U
(P0 , 0 , ) = k rea(0 ) = ku(P0 ) rea(0 )
|t=0
u
= k (P0 ) rea(0 ).
Como S0 0 y rea(S0 ) := dS rea(0 ) (dS es el elemento de rea de la
supercie S), podemos aproximar el ujo a travs de S0 en la direccin de
como:
u
(S0 , ) = k (P0 ) dS.
El ujo en S0 se globaliza a toda la supercie S de la manera obvia:
u
(S, ) = k dS. (4)
S
= ku. (5)
0 ) se vuelve a
Por otro lado, la variacin de calor por unidad de tiempo Q(t
expresar (ver notacin anterior) como:
Q = A B.
De donde,
u
A B = k dS.
B
De la ley de conservacin de la energa tenemos entonces que:
u
cut dx = k dS,
B B
cut = ku x , t > 0.
1.7. LA ECUACIN DEL CALOR UNIDIMENSIONAL 35
1.7.2. Difusin
Cuando una substancia soluble en un uido se deposita en una cierta zona
de ste (el uido se considera en reposo y localizado en un dominio Rn )
se observa que la substancia difunde y es transportada de zonas de alta a baja
concentracin. Si u(x, t) representa la concentracin (masa por unidad de vo-
lumen) se observa experimentalmente que el (vector) ujo de masa viene dado
por:
= Du, (1)
en donde D se llama el coeciente de difusin. En otras palabras, si S es un
trozo de supercie regular en con campo unitario normal se tiene que la
integral de supercie:
u
D dS,
S
proporciona la cantidad de masa que es transportada a travs de S por unidad
de tiempo, en la direccin del campo . La relacin (1), equivalente a la ley de
Fourier, se conoce en como la ley de Fick. Argumentando de la misma manera
(invocando ahora el principio de conservacin de la masa) se obtiene que la
concentracin u = u(x, t) satisface:
1.8. Ejercicios
1. Decdase cul de los siguientes operadores son lineales:
a) Lu = ux + xuy
b) Lu = ux + uuy
c) Lu = ux + u2y
d) Lu = ux + uy + 1
f) Lu = 1 + x2 (cos y)ux + uyxy arctag(y/x)u.
2. Se considera el operador lineal L, con coecientes a (x) denidos en un
dominio Rn :
Lu = a (x) u, u C m ().
||m
Lu = 0, (H)
y no homognea:
Lu = f (x). (C)
Prubese que el conjunto Sh de soluciones de (H) forma un espacio vecto-
rial, mientras que el de (C), Sc , es un espacio afn.
3. Para n = 1, es decir, u = u(x) con x R, hllese la dimensin del espacio
de soluciones de:
u 3u + 4u = 0.
uxx + u = 0?
uuxy = ux uy ,
a) 3uy + uxy = 0.
b) (1 + x2 )ux + uy = 0.
d) aux + buy + cu = 0.
matriz fundamental de la ecuacin. Si se pone (t) = det (t) entonces (t) satisface a su vez
la ecuacin lineal = traza A(t) .
1.8. EJERCICIOS 39
11 22 u(x, y) = 0, (x, y) R2 .
Defnase adecuadamente un problema de tipo Goursat para dicha ecua-
cin con 1 datos funcionales en el eje Ox y 2 datos funcionales en el
eje Oy. Prebese el correspondiente teorema de existencia y unicidad de
soluciones.
18. Estdiese la existencia y unicidad de soluciones de los problemas:
uxy = 0
uxy = 0
ux (x, 0) = f (x) u(x, 0) = f (x)
uy (0, y) = g(y), u(0, y) = g(y),
siendo f y g adecuadamente regulares, y satisfacindose la condicin de
compatibilidad: f (0) = g(0).
19. Hllense las soluciones generales de los problemas:
uxy = F (x, y)
ux (x, 0) = f (x) (P1 )
u(0, y) = g(y),
uxy = F (x, y)
ux (x, 0) = f (x) (P2 )
uy (0, y) = g(y),
uxy = F (x, y)
u(x, 0) = f (x) (P3 )
u(0, y) = g(y),
siendo F C(R2 ), f , g adecuadamente regulares y f (0) = g(0) en los
casos (P2 y (P3 ).
20. Para F (x, y) continua en R2 , hllese la solucin del problema
uxy = F (x, y)
u(x, x) = 0
ux (x, x) = uy (x, x).
21. Sea J0 (z) la solucin regular (cerca del origen) de la ecuacin de Bessel
de orden cero:
d2 u du
z2 2 + z + z 2 u = 0,
dz dz
que satisface: u(0) = 1. Defnase:
v0 (x, y) = J0 (i2 xy) i2 = 1.
40 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
T
T (s, t) = T (e, s) = T0 + (0, s)e + O(e2 ),
e
donde T = T (e, s) es C 2 y e = x2s + ys2 1 es la tasa de deformacin local
por unidad de longitud. Demustrese que las ecuaciones del movimiento
vienen dadas por:
( )
T x
= xtt
s e+1 s
( )
T y
= ytt F (x, t),
s e+1 s
1.8. EJERCICIOS 41
para cada t 0.
Se supondr siempre que las condiciones iniciales para x(t, s) son
x(s, 0) = s, xt (s, 0) = 0, 0 l l,
Vamos a linealizar las ecuaciones (1) imitando el camino del ejercicio an-
terior. Para ello supondremos que p = p() es una funcin regular (C 1 ) de
, que F = F (x, t, ) es una funcin regular en de la forma F = G(x, t)
con G continua y que las funciones incgnita u y son funciones regulares
de un pequeo parmetro (de clase C 1 ), e. d. u = u(x, t, ), = (x, t, )
que satisfacen u(x, t, 0) = 0, (x, t, 0) = 0 > 0. En otras palabras, esta-
mos suponiendo que el rgimen del gas es una pequea perturbacin de la
situacin de equilibrio = 0 , u = 0 en la que no hay fuerzas exteriores
u
(F = 0 para = 0). Demustrese que las funciones u1 = (x, t, 0) y
1 = (x, t, 0) verican sendas ecuaciones de ondas, a determinar.
42 CAPTULO 1. ALGUNAS EDPS DE REFERENCIA
25. Consideremos una cadena exible u = u(s, t), x = x(s, t), 0 s l que
pende verticalmente del punto (0, 0) sometida a la fuerza de gravedad y
que se mueve horizontalmente -en el sentido del eje u- debido a los efectos
de la tensin. Supondremos que en cada punto, la fuerza de tensin -que
acta tangencialmente- nivela e. .d, es igual al peso de la cuerda de ese
punto hacia abajo. Hllense las ecuaciones del movimiento.
26. Una cable ahora inextensible pende de dos puntos situados a la misma
altura y se halla en reposo (formando una gura caracterstica parecida
a una parbola). Se supone que la tensin del cable en cada punto siem-
pre acta tangencialmente. Si (s) (s la longitud de arco) es la densidad
lineal del cable y 0 la tensin en el punto ms bajo, hllese la ecuacin
diferencial (ahora ordinaria) que satisface la curva que lo describe. Hllese
explcitamente si es constante (la curva resultante se llama Catenaria).
27. Hllense las posibles soluciones estacionarias (i. e. no dependientes de t)
de la ecuacin de las ondas:
T0
vtt = vxx F (x), 0 < x < l,
(x)
bajo condiciones de Dirichlet homogneas:
u(0, t) = u(l, t) = 0, t 0,
ux (0, t) = ux (l, t) = 0, t 0.
29. Una versin tridimensional de las ecuaciones del Ejercicio 16 resulta ser:
{
t( + div (u)
)
= 0,
t + x u + p = F (
u u
x, t),
u(x, t) (x) = 0, t 0, x S1 .
31. En las condiciones del Ejercicio 30 sea A una cierta substancia que es
transportada por u(x, t) y que tiene por concentracin c = c(x, t), c(x, t)
continua. Hllese la cantidad de masa de A que atraviesa S1 por unidad
de tiempo en t = t0 . Prebese que dicha cantidad vale (ujo de masa a
travs de S1 )
c(x, t)u d.
S1
33. Si el uido ocupa una regin del espacio y el nico mecanismo que inter-
viene en el transporte de masa es la difusin (uido en reposo), prubese
que c satisface la ecuacin del calor:
c
= dc.
t
donde x(t, y) denota la nica solucin del problema x = u(x, t), con
x(t0 ) = y, y 1 . Se te ocurre alguna explicacin a por qu se lla-
man incompresibles los uidos que cumplen la ecuacin:
div u(x, t) = 0, t 0, x ?
1.8. EJERCICIOS 45
36. Se considera una barra de longitud l en la direccin del eje x que tie-
ne seccin A lo sucientemente pequea como para que el calor difunda
solamente en la direccin de x, luego la temperatura ser de la forma
u = u(x, t). Admitamos adems que el ujo de calor a travs de la
pared lateral de la barra sigue la Ley de Newton, es decir, que es pro-
porcional a la diferencia (u T0 ), donde T0 es la temperatura ambiente.
Dedzcase la ecuacin para la temperatura.
37. Se considera una barra cilndrica y tridimensional en la que el calor di-
funde transversalmente al eje de simetra mientras que las variaciones de
temperatura son despreciables en el sentido de dicho eje. Suponiendo que
la temperatura u slo depende de la distancia al eje de la barra, hllese
una ecuacin para dicha temperatura u(x, y, z, t) en el interior de la barra
(tmese por ejemplo el eje Oz en la direccin como eje de la barra).
38. Hllese la ecuacin de difusin del calor en coordenadas esfricas de R3 .
Ecuaciones en derivadas
parciales de primer orden
47
48 CAPTULO 2. PRIMER ORDEN
Es fcil ver que si y(t) = g((t)), a < t < b, = (t) de clase C 1 , (0) = s0
es una curva en S entonces su vector tangente en x0 , y(0)
T Sx0 .
Lu = f, x
(2.2)
u|S = .
+ b = f a < t < b,
x = f (t, x)
x(t0 ) = x0 ,
lo que est claro es que dicho problema permite al menos obtener una expresin
formal de la solucin x(t) si sta fuese C :
x(t) = an (t t0 )n .
n=0
se tiene que:
lU dl lu
(s0 , 0) = (u(g(s0 ) + t(s0 )) | = (x0 )
tl dtl t=0
l
U g
(s0 , 0) = u(x0 ) ,
si si
Observaciones 2.2.
a) La tcnica de la prueba del teorema se llama mtodo de las caractersticas.
b) La existencia de soluciones locales no se puede mejorar en general para obtener
soluciones denidas globalmente donde lo estn los coecientes. Tmese por
ejemplo S = {(x, y) = (s, 0) : s > 0}, (s) = 0 y la ecuacin:
Este problema admite innitas soluciones no prolongables (ver e)). Tales so-
luciones presentan discontinuidades donde los coecientes son regulares. Vase
tambin la seccin de problemas.
c) No es difcil ver que la solucin obtenida por el mtdodo de las caractersticas
depende continuamente del dato . Es decir, si n es una sucesin de funciones
C 1 que converge uniformemente sobre compactos de S a una de clase C 1
entonces un (x) u(x) uniformemente sobre compactos.
d) El entorno U es A-convexo en el sentido de que cada x U se escribe:
x = X(t, g(s)) para algn t y g(s) S (notamos por x(t) = X(t, y) a la
nica solucin de x = A(x), junto con x(0) = y) y adems: [g(s), x]A = {x =
X(, g(s))/0 t} est contenido en U. Pues bien, dada otra solucin local
(u1 , U1 ), el entorno V1 que se menciona en el teorema 1 se puede expresar como:
yux xuy = 1
(P )
u(x, 0) = h(x), x > 0.
Sean 0 < 1 < 2 < 2 dos ngulos y sean 1 (x, y) y 2 (x, y) dos determina-
ciones del argumento con lneas de corte en las semirrectas ri , x = t cos i , y =
t sen i , t 0. Pues bien, los pares (ui , Ui ) con:
ui = h( x2 + y 2 ) i (x, y),
donde se supone en lo que sigue que las funciones ai (x, y), b(x, y) C 1 ( R),
mientras que S representa una supercie simple parametrizada por x = g(s),
g C k (U, Rn ), U abierto de Rn1 , k 2. Denotaremos anlogamente por A al
campo: A(x, y) = (a1 (x, y), , an (x, y)).
El estudio de las soluciones de (2.7) es de nuevo abordable mediante ecua-
ciones diferenciales ordinarias. En efecto, las soluciones u de (2.7) denen su-
percies en Rn R (las supercies integrales),
y u(x) = 0,
cuya normal (u, 1) debe ser ortogonal al campo (A(x, y), b(x, y)) en cada
punto (x, y) = (x, u(x)). En otras palabras, el campo (A(x, y), b(x, y)) caracteri-
za las soluciones de (2.7) como sus supercies invariantes. Esto es consecuencia
del Lema 2.3 o del siguiente razonamiento directo. Si y = u(x) es invariante
frente a la ecuacin:
x = A(x, y)
(2.8)
y = b(x, y),
y(t) = u(x(t)) para toda solucin, con lo que derivando,
ai (x(t), u(x(t)))xi u(x(t)) = b(x(t), u(x(t))),
Observaciones 2.3.
a) Es muy fcil interpretar la condicin de transversalidad en n = 2 tomando
S = {(x, y) = (g1 (s), g2 (s))/a < s < b}, h(s) = (g1 (s), g2 (s)).
b) Supongamos que (S, ) son caractersticos, es decir:
Si (2.9) admite una solucin u = u(x) con dato entonces A(x, (x)) es tangente
a S. Por tanto, x0 S implica x(t) S si x(t) es la solucin de:
a1 ux + a2 uy = b(x, y, u)
u(f (s), g(s)) = h(s), a < s < b.
Que (f, g, h) sean caracter sticos equivale a que (f, g, h) parametrice una rbita
de (2.8). No es dif cil comprobar que en ese caso el problema precedente admite
innitas soluciones.
La ecuacin de Burgers
Un caso particular de las ecuaciones de la dinmica de gases dene el campo
de velocidades de un gas cuyas partculas se mueven con velocidad constante:
uy + uux = 0.
Tal es la ecuacin de Burgers (v. Captulo 1). Supongamos que tenemos un dato
inicial:
u(x, 0) = h(x), xR
x = z, y = 1, z = 0,
u = h(x uy).
Sobre rs la solucin siempre toma el valor h(s). Por eso, si h(s1 ) = h(s2 ), rs1 y
rs2 se cortan en
s1 h(s2 ) s2 h(s1 ) s2 s1
x= , y= ,
h(s2 ) h(s1 ) h(s2 ) h(s1 )
de lo que se deduce que las soluciones no pueden estar denidas en dicho punto.
Cerca de un tal punto u experimenta una salto de magnitud |h(s2 ) h(s1 )|
cuando nos aproximamos por la carater sticas. Es natural que ux explote en
dichos puntos. En efecto, sobre rs se tiene que:
h (s)
ux = .
1 + yh (s)
F (x, u, u) = 0, x . (2.11)
xi = ai (x, y, Y )
y = b(x, y, Y ) (2.12)
yj = cj (x, y, Y ), 1 i, j n.
Con ello slo falta hallar un posible candidato para A y las ecuaciones para
yj (t). Vamos a hacer las dos cosas a la vez. Por un lado si yj (t) = x
u
j
(x(t)) al
derivar:
n
2u n
2u
yj (t) = xk (t) (x(t)) = ak (x, y, Y ) (x(t)). (2.13)
xj xk xj xk
k=1 k=1
Por otra parte si F (x, u(x), u(x)) = 0, al derivar con respecto a xj y hacer
x = x(t):
n
2u
Fxj + Fy uxj (x(t)) + Fpk (x(t)) = 0. (2.14)
xk xj
k=1
Es decir,
n
2u
Fpk (x(t)) = Fxj Fy yj (t). (2.15)
xk xj
k=1
n
que es coherente con el caso cuasilineal donde F (x, y, p) = i=1 ai (x, y)pi y
F
ai (x, y, Y ) = ai (x, y) = p i
). Bajo esta eleccin de los a i (x, y, Y ) se pueden al
menos cerrar las ecuaciones para x(t), y(t) y yj (t), sin necesidad de introducir
como incgnitas las derivadas de orden superior: y (t) = u(x(t)), observadas
sobre x(t). En efecto, se tiene:
yj (t) = Fxj Fy yj .
Se llama a (2.16) la ecuacin de las caracter sticas de (2.11). Si (x(t), y(t), Y (t))
satisface (2.16), se espera que los valores de las soluciones de (2.11), u = u(x)
y de u(x) sobre x(t) se deduzcan de (2.16) mediante y(t) = u(x(t)) y que se
cumpla Y (t) = u(x(t)).
Como en las secciones precedentes, si C 1 (S) es lcito plantearse el pro-
blema de Cauchy:
{
F (x, u, u) = 0
(2.17)
u = x S.
Asimismo, la naturaleza de las tcnicas que se van a emplear slo permiten es-
tablecer la existencia de soluciones locales (u, U) cuya denicin no repetiremos.
Para resolver entonces (2.17) se tienen que determinar las condiciones iniciales
para (2.16). Es obvio cules son las condiciones para x(t), y(t):
Las condiciones iniciales y1 (0) = y1 (s), , yn (0) = yn (s) vienen dadas por el
sistema (se obtiene derivando u(g(s)) = (g(s)) respecto a si , 1 i n 1):
n
g =
yj (s)
gj
1in1
si si (2.19)
j=1
F (g(s), (g(s)), y (s), , y (s)) = 0.
1 n
Teniendo en cuenta la ltima ecuacin en (2.19) una hiptesis que nos vemos
obligados a admitir es la existencia, para cada s U , de al menos una solu-
cin Y (s) = (
yj (s)) de dicho sistema siendo las yj (s) de clase C 1 en U . Otra
hiptesis ya familiar que introducimos es la condicin de transversalidad (2.21).
2.3. LA ECUACIN GENERAL DE PRIMER ORDEN 57
Debe advertirse que puede haber ms de una familia yj (s) de funciones que
satisfagan (2.19) y (2.21). Esto ocurrir si, por ejemplo, (2.11) es de grado
superior a 1 en el gradiente |u|.
Ejemplo 2.4. Para la ecuacin u2x + u2y = 1 si S viene denida por (g1 (s), g2 (s)),
a < s < b, h(s) = (g1 (s), g2 (s)) = 1, las posibles elecciones de (
y1 , y2 ) son:
1
y1 , y2 ) =
( (g2 , g1 ).
2
g1 + g2 2
F (x, y, u, ux , uy ) = 0.
F (x0 , y0 , z0 , p, q) = 0, (2.21)
luego,
dz = pdx + qdy
dq
0 = dx + dy.
dp
dq Fp dx dy 7
Como = la ltima ecuacin se puede escribir = . En conse-
dp Fq Fp Fq
cuencia, en cada punto (x, y, u(x, y)) de una supercie integral, el campo:
con p = ux (x, y), q = uy (x, y) debe ser tangente a dicha supercie. Si llamamos
p(t) = ux (x(t), y(t)), q(t) = uy (x(t), y(t)) entonces, para hallar las ecuaciones
de p y q se procede como antes:
mientras que derivando (2.11) primero con respecto a x y despus con respecto
a y obtenemos:
Fx + Fz ux + Fp uxx + Fq uyx = 0
Fy + Fz uy + Fp uxy + Fq uyy = 0,
de donde se tiene que:
p = Fx Fz p
q = Fy Fz q,
que completan las ecuaciones diferenciales buscadas.
Es costumbre llamar a una solucin de la ecuacin caracterstica:
x = Fp
y = Fq
z = pFp + qFq (2.23)
p = Fx Fz p
q = Fy Fz q,
7 Esto se debe leer como x = Fp , y = Fq , para algn .
60 CAPTULO 2. PRIMER ORDEN
una banda caracterstica. En efecto (x(t), y(t), z(t), p(t), q(t)) puede interpretar-
se como una curva (x(t), y(t), z(t)) con un plano asociado:
z = p(t)( x) + q(t)( y).
Como dz = pdx + qdy se tiene que la curva es tangente al plano en cada punto.
Nos podemos as imaginar una supercie integral como la envolvente de una
familia de bandas caractersticas. Obsrvese que cada banda queda determinada
si se ja un punto y un plano inicial. Eso permite plantearse la posibilidad de
resolver el problema de Cauchy para (2.11) sobre una curva dato : x = f (s), y =
g(s), z = h(s), a < s < b, donde f, g, h son de clase C 2 . Integramos as (2.23)
bajo las condiciones:
x(0) = f (s)
y(0) = g(s) (2.24)
z(0) = h(s).
Sin embargo, para resolver (2.23) necesitamos los valores iniciales de p y q.
Como se vio ms arriba los valores iniciales p(0) = (s), q(0) = (s) tienen que
cumplir:
h (s) = f + g
(2.25)
F (f, g, h, , ) = 0.
Al considerar entonces el problema de Cauchy:
{
F (x, y, u, ux , uy ) = 0
(2.26)
u(f, g) = h, a < s < b
Demostracin del Teorema 2.11. La existencia sigue las ideas del caso cuasili-
neal. Sin embargo hay algn detalle que no es trivial. Lo primero es resolver
(2.23) bajo las condiciones
(x(0), y(0), z(0), p(0), q(0)) = (f (s), g(s), h(s), (s), (s)),
para obtener
(x, y, z, p, q) = (X(t, s), Y (t, s), Z(t, s), P (t, s), Q(t, s)).
Es fcil invertir x = X(t, s), y = Y (t, s) en la forma s = S(x, y), t = T (x, y),
lo que permite proponer u = Z(T, S) como posible solucin. Derivando con
respecto a t se concluye que:
F (X(t, s), Y (t, s), Z(t, s), P (t, s), Q(t, s)) = 0.
ux (X(t, s), Y (t, s)) = P (t, s) uy (X(t, s), Y (t, s)) = Q(t, s). (2.28)
con lo que,
z(t) = u(x(t), y(t)),
cumple z = ux Fp + uy Fq . Si, por ejemplo, p(t) = ux (x(t), y(t)) se tiene p =
uxx Fp + uxy Fq , que va la ecuacin en derivadas parciales se puede escribir
p = Fx pFz .
V (x1 , , xn , y) = ,
x = a1 (x, y, z)
y = a2 (x, y, z) (2.32)
z = b(x, y, z)
de forma que V (f (s), g(s), h(s)) = 0 para a < s < b. El siguiente mtodo
para encontrar V , por su naturaleza slo tiene validez local. En la prctica los
resultados suelen ser por regla general globales. Siempre existen dos integrales
primeras independientes de (2.32), Vi = Vi (x, y, z), i = 1, 2. Las rbitas de
(2.32) que pasan por los puntos P (s) = (f (s), g(s), h(s)) -cuya unin genera la
supercie solucin-vienen dadas por los sistemas:
V1 (x, y, z) = c1 (s)
V2 (x, y, z) = c2 (s)
Vx a1 + Vy a2 + Vz b = 0.
2.5. INTEGRALES COMPLETAS 63
F (x, y, u, ux , uy , ) = 0. (2.33)
F (x, y, U, Ux , Uy , ) = 0,
gx = Hx + H Gx , gy = Hy + H Gy , gz = Hz + H Gz ,
H(x, y, z, , ) = 0,
con P (s) = (f (s), g(s), h(s)). Una vez determinadas las funciones (s), (s)
la envolvente de la familia H(x, y, z, (s), (s)) = 0 proporciona la solucin
buscada.
1
u = xux + yuy + (u2x + u2y )
2
1 1
s + (2 + 2 ) = (1 s2 )
2 2
= s.
1
sx y + (s2 + 1) = 0
2
s = x,
Hx + Hz p = 0
Hy + Hz q = 0
zpq = p + q.
1+ 1+
dx + dy dz = 0,
z z
la que, multiplicada por = z para separar las variables da:
1+
(1 + )dx + dy zdz = 0.
8 La condicin (2.38) asegura la existencia de tales V (x, y, z).
68 CAPTULO 2. PRIMER ORDEN
1+ z2
(1 + )x + y = .
2
Observacin 2.12 (Supercies Ortogonales). Se considera una familia unipara-
mtrica {H } de supercies,
H(x, y, z, ) = 0,
De manera equivalente,
2.7. Ejercicios
1. Hllense las soluciones de los siguientes problemas de Cauchy:
a) ux + uy = u2 ; u(x, 0) = h(x).
b) uy = xuux ; u(x, 0) = x.
c) xux + yuy + uz = u; u(x, y, 0) = h(x, y).
d) xuy yux = u; u(x, 0) = h(x), x R+ .
2. Considrese la ecuacin aux + buy = 0 y la curva de datos S = {(x, 0)/x
0}. Para el dato = 0 hllense dos soluciones locales (u, U) y (u1 , U1 ) que
no coincidan sobre U U1 .
2.7. EJERCICIOS 69
uy + uux = 0, (B)
Estdiense las soluciones de (E) con las tcnicas de las ecuacin en deri-
vadas parcialess de primer orden.
6. Calcular la ecuacin en derivadas parcialesde primer orden que satisfacen
todas las funciones radiales u en R2 . Estudiar el problema de Cauchy para
la ecuacin resultante.
7. Calcular la ecuacin en derivadas parcialesde primer orden que satisfacen
todas las esferas de radio 1 en R3 con centro en el plano xy. Descrbanse
los conos de normales y de Monge para la ecuacin resultante as como
1
la solucin del problema de Cauchy con dato h(x, 0) = .
2
70 CAPTULO 2. PRIMER ORDEN
Hx ux + Hy uy = Hz ,
x2 + y 2 = 2z.
20. Para a1 (x, y, z), a2 (x, y, z), b(x, y, z) de clase C 1 en R3 se considera el pro-
blema de Cauchy con datos u(f (s), g(s)) = h(s), a < s < b, f, g, h de
clase C 1 . Admitiendo que se satisface la condicin de transversalidad y la
existencia de dos integrales primeras independientes V1 (x, y, z), V2 (x, y, z)
de la ecuacin caracterstica, utilcense stas para hallar una solucin local
de dicho problema.
21. Estdiese el problema de Cauchy para las siguientes ecuaciones:
a) y + uuy = 0 (n = 2).
b) uux = 1 u2 , u(x, x) = h(x).
c) yux xuy = 0 con grca z = u(x, y) pasando por la curva z = my,
x2 + (y )2 = R2 .
d) x2 ux + y 2 uy = (x + y)u.
e) (2xy 1)ux + (u 2x2 )uy = 2(x yu), pasando por la curva y = 0,
z = 1.
f) (xy)ux +(y xu)uy = u, pasando por la curva z = 0, x2 +y 2 = 1.
Indicacin Un par de integrales para (5) son por ejemplo: V1 = y + xz,
V2 = x2 + y 2 + z.
22. Sea F = F (x, y, z, p, q) C 2 (R5 ), y u = u(x, y) una solucin C 2 de la
ecuacin:
F (x, y, u, ux , uy ) = 0.
Estdiese bajo qu condiciones es posible asegurar la existencia de una
solucin x(t), y(t), z(t), p(t), q(t) de la ecuacin caracterstica de forma
que se tengan -localmente- las identidades:
z(t) = u(x(t), y(t)), p(t) = ux (x(t), y(t)), q(t) = uy (x(t), y(t)).
(F, H)
dene p = (x, y, z, ), q = (x, y, z, ), con det = 0 (de donde
(p, q)
se deduce que , son C 1 ). Demustrese entonces que y satisfacen la
condicin de integrabilidad (2.42).
25. Se recuerda que una integral completa de la ecuacin en derivadas parciales
F (x, y, u, ux , uy ) = 0,
es una familia biparamtrica de supercies integrales (soluciones) z =
u(x, y, , ). Prubense los siguientes resultados.
a) (Ecuacin de Clairaut). Si la ecuacin tiene la forma u = xux + yuy +
f (ux , uy ) entonces u = x + y + f (, ) es una integral completa.
b) La ecuacin de la forma uy = f (ux ) admite una integral completa de la
forma u = x + f ()y + .
c) Si la ecuacin es de la forma ux = f (x, uy ) admite una integral completa
x
de la forma: u = a f (s, ) ds + y + .
d) Considrese la ecuacin ux = f (u, uy ) y supngase que la identidad p =
f (z, p) dene a p = P (, z). Prubese que dicha ecuacin admite una
integral completa de la forma:
u
ds
= x + y + .
a P (, s)
b)
pq 3xy 2u = 0
u = 15y
x = 5,
c) 2
p + q 4u = 0
2
u = y2
x = 0.
Captulo 3
Problema de Cauchy.
Teorema de
CauchyKowlevski
75
76 CAPTULO 3. EL PROBLEMA DE CAUCHY
||!
| u(x)| M , x K, Nn .
r||
Denicin
3.4. Se dice que la serie de potencias
c x es mayorada por
a x si |c | a para cada . Se denotar: c x
a
a x .
Ntese que:
M rn
M,r (x) = ,
(r x1 ) . . . (r xn )
||! ||
en x < r mientras que la serie r|| x es mayorada por r x .
!
Luego sta ltima serie tambin puede utilizarse para mayorar a la serie de la
||! ||
propiedad anterior. Obsrvese que r x converge en x1 < r a la
!
funcin:
Mr
M,r (x) = .
r (x1 + + xn )
Ntese asimismo que si c = 0 para = 0, es decir la serie no tiene trmino de
orden cero, entonces se puede tomar como mayorante a:
M (x1 + + xn )
M,r (x) = .
r (x1 + + xn )
y
g= b u , u = (u1 , . . . , up ).
((y1 )|||| , . . . , (yp )|||| , (z )|||| ) RNn (||) . . . RNn (||) RNp (||) ,
donde ( )n1
pM r + Pm
cn = n 1.
r r2
Luego:
rs ||!
= c|| x .
1 r2 s
pM +r
!
Esto prueba la armacin de analiticidad formulada ms arriba
f: U abierto Rn Rm Rm
(x, y) 7 f (x, y),
f (x, y) = 0,
converge en un entorno de x0 .
Para probar este extremo suponemos sin prdida de generalidad que x0 = 0
f
e y0 = 0. Llamando L0 = (x0 , y0 ) escribimos la ecuacin en la forma:
y
y = g(x, y),
3.2. EL PROBLEMA GENERAL DE CAUCHY 79
donde
g
g(0, 0) = 0 (0, 0) = 0.
y
Basta tomar g(x, y) = y L1
0 f (x, y). Se tiene ahora que:
y = G(x, y) (3.2)
con h1 (s) analtica y h1 (0) = 0, por tanto la solucin de (3.2) cerca de (x, y) =
(0, 0) es yi = (s, h1 (s)) que es una funcin analtica y hemos terminado.
F0 : RN (k) R
(x, (y )) 7 F0 (x, (y )
i (3.3)
u (x) = i (x), x S, 0 i k 1,
i
iu di
(x) = u(x + t(x))|t=0 = i (x), (3.4)
i dti
en S, 0 i k 1. La eleccin de las k primeras derivadas normales i u/ i ,
0 i k 1 en S no es caprichosa. En efecto, se puede considerar el problema
de Cauchy ms general
{
F0 (x, ( u)||k ) = 0, x U
(3.5)
u(x) = (x), x S, 0 || k 1,
que consiste jar como datos en S todas las derivadas de u de orden con
|| k 1; es decir:
siendo cada una de las (x) de clase C k|| en S. En las lneas que siguen se
prueba que tales problemas son esencialmente equivalentes. En efecto, conocer
las en (3.6) permite calcular las i en (3.4). Sin embargo, las no se pueden
dar de manera independiente: deben cumplir condiciones de compatibilidad que
las hacen depender de las k derivadas normales en (3.4) (ver (3.10)).
Tambin se denirn las condiciones de caractericidad que deben ser satisfe-
chas por ecuaciones y datos en los problemas problemas a considerar. Por otra
parte, como los mtodos de existencia de soluciones que siguen se apoyan en
argumentos locales, es decir se basan en construir soluciones u(x) de (3.3) en
un cierto entorno V de cada punto x0 S, vamos a estudiar transformaciones
locales de (3.3) que lo van a normalizar y, de paso, permitirn introducir el
concepto de caractericidad ms conveniente.
Como se sabe del Captulo 2, cerca de cada x0 = g(s0 ) S se tiene la
existencia de entornos V0 = {|x x0 | < } en Rn y U0 = {|s s0 | < } (, )
en Rn1 R tales que la aplicacin:
H: U0 V0
(s, t) 7 x
2 (x) C l (S) si (x) de C l en Rn tal que = |S .
3.2. EL PROBLEMA GENERAL DE CAUCHY 81
denida por:
x = g(s) + t(g(s)) (3.7)
es C k con inversa C k :
s = S(x), t = T (x), x V0 .
iU iu
(s, 0) = (g(s)),
ti i
para cada 0 i k 1. En efecto, ntese que aplicando la regla de la cadena
se tiene:
u = a (x)s t U.
||+||
s t U (s, 0) = s (s), || + k 1,
de donde,
u = a (x)s .
||+||
iu 1 1
i (x) = i
(x) = u(x) = , 0 i k 1. (3.9)
! !
||=i ||=i
tk u = F2 (s, t, (s t u)||+k,<k ).
junto con:
F1
(s, 0, (s (s))||+k,<k , (s)) = 0, (3.12)
y0,k
( )
de forma que la nica solucin s, t, (y, )||+k de la ecuacin:
( )
F1 s, t, (y, )||+k = 0,
F : U (, ) RN (k)1 R
(s, t, (y )) F (s, t, (y ))
Observaciones 3.8.
a) La propiedad de unicidad anunciada slo concierne a soluciones analticas.
Es consecuencia de la propiedad de continuacin para funciones analticas y
del hecho de que, para cada (s0 , 0), s0 U, el desarrollo de Taylor de cualquier
solucin analtica es el mismo. En consecuencia cualquier solucin analtica u(x)
en (s0 , 0) est denida en un entorno de seguridad V0 = {|s| < , |t| < }, o es
prolongable a dicho entorno. Adems, todas las soluciones analticas, denidas
en V0 deben coincidir en tal entorno. Por contraste a las ecuaciones diferenciales
ordinarias es muy complicado aqu claricar que podra signicar la nocin de
solucin analtica no continuable.
b) La demostracin consiste en construir, para cada (s0 , 0), s0 U una solucin
local analtica (v0 (x), V0 ) siendo V0 de la forma V0 = {|s| < 0 , |t| < 0 }. Como,
por el principio de prolongacin analtica, v1 (x) = v2 (x) en V1 V2 si se da
de que V1 V2 = , entonces la solucin (u, ) se obtiene haciendo
el caso
= i U Vi y deniendo u(x) en de forma que u|Vi = vi para cada Vi . Por
eso basta con demostrar el siguiente resultado.
1 equivale a la existencia de una solucin (Y, V), Y = Y (s, t) = (yj (s, t))1jm
del sistema m m,
Yt = Ai (s, Y )Ysi + B(s, Y )
i=1,n1
Y (s, 0) = 0.
uxx + uyy = 0
u(x, 0) = 0
1
uy (x, 0) = sen kx ,
k
k N. La solucin del problema (va separacin de variables) es
1
uk (x, y) = (sen kx)(senh ky) .
k2
Mientras los datos decrecen exponencialmente a 0, cualquiera que sea (x0 , y0 )
tan prximo al eje 0x como se desee, x0 = 0 (mod. Z), la sucesin uk (x0 , y0 )
siempre contiene subsucesiones uk (x0 , y0 ) tales que |uk (x0 , y0 )| +.
3.4. Ejercicios
En los problemas que siguen , , N n son multindices mientras que
x, y Rn son vectores.
3.4. EJERCICIOS 87
, || m.
! ||! n|| !.
!
6. Prebese que x = si y x = 0 en otro caso.
( )!x
7. Prebese que si f : Rn R es C m , x, y Rn , t R, entonces:
dm ||!
m
f (x + ty) = f (x + ty)y .
dt !
||=m
+
8. Sean c y c las partes positiva y negativa de c (es decir c+ =
1 1
(c + |c |), c = (c |c |)). Demustrese que c converge s y
2 +2 +
slo s convergen c y c , siendo: c = c c . Demustrese
asimismo que c converge s y slo s converge |c |.
Anlgomente:
||! ||!
x = ,
( )! (1 x1 xn )1+||
f = f (t, x, ),
x = x(t, , , ),
admite una solucin analtica u(s, t) denida en un entorno {|s|, |t| < }
de (0, 0).
3.4. EJERCICIOS 89
ck s z k ck s z k ,
,k ,k
en donde:
ck s z k = (s, z),
,k
donde:
2 M
= ,
( s1 . . . sn1 )( z)
siempre que |s1 | + + |sn1 | < , |z| < .
admite una solucin analtica u(s, t) denida en un entorno {|s1 |, . . . , |sn |, |t| <
} de (0, 0) Rn1 R.
Indicacin. Al mayorar, tnganse en cuenta los Ejercicios 10 y 12.
t = A(s,
U U )U s + B(s,
U )
(3.15)
(s, 0) = 0,
U
= (bi ) y a 2 M
donde A = (
aij ), B ij = bi = (s, u), siendo =
( s)( u)
para ciertos M 0, > 0. Prubese que el sistema mayorante admite una
nica solucin analtica, denida cerca de (0, 0).
90 CAPTULO 3. EL PROBLEMA DE CAUCHY
cuya suma, para |s1 | + . . . |sn1 | < , |z1 | + . . . |zm | < , > 0 suciente-
mente pequeo, viene dada por:
2 M
= , M 0.
( s1 . . . sn1 )( z1 . . . zm )
n1
Ut = A(si , U )Usi + B(s, U )
i=1
U (s, 0) = 0.
2 M
=
( s1 sn1 )( U1 . . . Um )
para ciertos M 0, > 0. Prubese que el sistema mayorante admite una
nica solucin analtica, denida cerca de (0, 0).
17. Soluciones analticas de la ecuacin del calor. Se considera el problema de
Cauchy:
ut = uxx
(3.16)
u(x, 0) = f (x),
donde suponemos que f = f (x) es par y analtica en un entorno de x = 0 y,
1
por tanto, f (x) = a2k x2k , para |x| < donde 0 < 1 = lim {|a2n |} 2n
( es el radio de convergencia de la serie). Demustrese que basta con
que (3.16) admita una solucin analtica local en todo un entorno {|x| <
3.4. EJERCICIOS 91
, |t| < } de (x, t) = (0, 0) para que necesariamente f (x) sea analtica en
todo R (es decir entera) 4 . Demustrese que adems f (x) ha que satisfacer
la estimacin:
2
|f (x)| ea|x| , (3.17)
para cierta constante positiva a > 0. Contradice este hecho al teorema
de Cauchy-Kowalevski ? Qu se puede decir si f (x) impar? Y en el caso
general?
Indicacin. La analiticidad de u(x, t) cerca de (0, 0) implica la de u(0, t) =
(2k)!
a2k tk . Si 1 es el radio de convergencia de sta ltima serie, pru-
k!
bese que 1 > 0 implica = +.
utt + uss = 0
u(s, t) = 0, s R, k N
ut (s, 0) = kek/2 sen kx s R, k N.
19. Sea R2 un dominio simtrico con respecto al eje Ox1 que corta a
dicho eje en un intervalo abierto I. Sea u(x1 , x2 ) una funcin armnica en
(es decir u = 0 en ) que satisface u(x1 , 0) = 0. Demustrese que u
es impar en y es decir: u(x, y) = u(x, y) en .
Indicacin. Dse por conocido el resultado que ms se demostrar y
que arma que si u C 2 () es armnica en es tambin analtica en
(Captulo 9).
utt = u, (n = 2).
sobre la supercie
t = (x, y). (3.18)
Suponiendo que f, g, son analticas y que (3.18) satisface una condicin
adecuada de no caractericidad, redzcase dicho problema a otro norma-
lizado en el que S se transforme en el plano t = 0
4 Se mostrar en el Captulo 5 que la frmula de Poisson proporciona, bajo condiciones
Clasicacin de ecuaciones
lineales. Ecuacin de ondas
L: C m () C()
u 7 Lu,
donde,
Lu = a (x) u,
||m
x () = 0. (4.1)
93
94 CAPTULO 4. ECUACIN DE ONDAS
L0 (ex, ) = ()ex, ,
n
x, = xi i .
i=1
Ejemplo 4.1. Los operadores que siguen tienen las variedades caractersticas
sealadas:
1. Lu = 1 u, carx (L) = {1 = 0} en Rn .
donde podemos suponer, al ser u C 2 (), que aij = aji pues el grupo:
1 1
aij ij + aji ji u = (aij + aji ) ij u + (aij + aji ) ji u = aij ij + aji ji u,
2 2
donde ahora aij = aji .
Si para sendos dominios , Q de Rn se tiene un difeomorsmo C 2
g: Q
x 7 y = g(x),
x : Rn Rn R
(v, w) 7 x (v, w),
dada por:
x (v, w) = aij (x)vi wj ,
i,j
tenemos que:
L(x )u = aij ij u + ai i u + a0 u
i,j=1,...,n i=1,...,n
y y 2
y
aij yk u
k l k
= yk yl u +
i,j=1,...,n
x i x j x i x j
k,l=1,...,n k=1,...,n
yk
+ ai yk u + a0 u
i=1,...,n
x i
k=1,...,n
y y
= aij
k l yk yl u
x i x j
k,l=1,...,n i,j=1,...,n
2
y y
+ aij
k
+ ai
k yk u + a0 u
i,j=1,...,n
xi xj i=1,...,n xi
k=1,...,n
= x (yk , yl )yk yl u + (L1 yk ) yk u + a0 u,
k,l=1,...,n k=1,...,n
Por tanto,
kl (y) = g1 (y) (yk , yl )
a
k (y) = L1 yk .
a
urr + 2bur + cu + du
u = a r + eu ,
4.2. TRANSFORMACIN DE OPERADORES DE SEGUNDO ORDEN 97
donde:
= r, r = 1
a
1
b = r, = 0 d = r =
r
1 e = = 0.
c = , =
r2
Por tanto,
1 1
u = urr + u + ur .
r2 r
2) Laplaciano en coordenadas cilndricas. Cuando:
x = r cos
y = r sen
z = z,
r > 0, 0 < < , 0 < < 2. Un poco de geometra, por ejemplo, nos
lleva a que:
r, = r, = , = 0.
Como = arccos (z/r):
1
r = (x, y, z) 2
r r =
1 r
= ( sen , cos , 0) = 0
r sen
1 cos
= (zx, zy, x2 y 2 ) = ,
(r2 sen )
r x2 + y 2
2
Lu = a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy + d(x, y)ux + e(x, y)uy + f (x, y)u
= L0 u + d(x, y)ux + e(x, y)uy + f (x, y)u.
Como las construcciones que siguen son locales, trabajaremos en entornos ade-
cuados de puntos P0 = (x0 , y0 ) . Por otra parte supondremos que:
a, b, c C 1 ().
(v, w) = b(v1 w2 + v2 w1 ),
para el cambio: {
x1 = x + y
y1 = x y
L0 u = 2b{ux1 x1 uy1 y1 }.
d = b2 ac > 0,
H(x, y, ) = 0, (4.6)
H (x0 , y0 , y0 ) = 1.
4d
L0 u = y y u .
a
Como mayor conclusin todo L hiperblico en puede escribirse localmente
como el operador de ondas.
Ejemplos 4.3.
1) Para el operador de ondas:
c u = utt c2 uxx ,
2t c2 2x = 0,
es decir
t cx = 0,
luego una eleccin de las coordenadas caractersticas es:
= x + ct = x ct.
As(d = c2 ):
c u = 4c2 u .
2) La ecuacin:
se escribe:
2u = 0
en las coordenadas: = y cos x + x, = y cos x x. Ntese que d = 1,
= sen x 1, la ecuacin que da las caractersticas es: dy/dx = sen x 1,
mientras L() = L() = 0.
4.3. CLASIFICACIN DE ECUACIONES LINEALES 101
d = b2 ac = 0,
en .
Tenemos una sola raz:
b
=
a
de a2 + 2b + c = 0, y eligiendo una solucin como en el caso anterior de:
x y = 0,
es decir, de:
b
x + y = 0,
a
0 cerca de P0 ) y tomando por ejemplo:
(con y =
= x,
llegamos a que:
a
=0
b = ax + by = 0
c = a,
con lo que la nueva forma principal es:
L0 u = au .
Finalmente,
(, ) x y
= = y = 0,
(x, y) x y
por lo que tenemos un verdadero cambio de variable local.
Ejemplo 4.4.
1) La ecuacin del calor L(u) = ut uxx es el ejemplo por antonomasia de
operador parablico.
2) La ecuacin:
es parablica con:
d = x2 y 2 x2 y 2 = 0,
con lo que una eleccin de sale de la solucin general de dy/dx = y/x es
decir = yx. Con = x la ecuacin transformada es
u + u = 0,
L0 = a
{u + u }.
yuxx + uyy = 0,
tiene d = y. Es hiperblica en y < 0. En este caso tenemos: = 1/ y
que dan posibles , bajo la forma:
2 2
= x + (y)3/2 = x (y)3/2 ,
3 3
mientras L() = L() = 1/(2 y), b = 2y. En la regin y < 0 la ecuacin de
Tricomi adopta la forma:
1
u (u u ) = 0.
8(y)3/2
1 Ver [25]
2 Terminologa coherente con la de la Seccin 4.1.
4.3. CLASIFICACIN DE ECUACIONES LINEALES 103
La ecuacin es elptica en y > 0 con = i .
y Integrando dy/dx = i/ y
obtenemos como candidatas a , las funciones: = 2/3y 3/2 , = x con lo
= y. Asmismo L() = 1/(2 y), L() = 0. La ecuacin en coordenadas
que a
caractersticas adopta la forma:
3
u + u + u = 0.
es decir Y = P t X tenemos:
por lo que:
2u u
Lu
= i 2 + a
i (x) +a
0 (y)u,
i=1,...,n
yi i=1,...,n
yi
i = (ai (x)), Pi , 1 i n.
en donde a
Concluimos asque:
2u 2u
L0 u = i + i .
i=1,...,n+
yi2 i=n yi2
+ +1,...,n+ +n
104 CAPTULO 4. ECUACIN DE ONDAS
haciendo el cambio i = yi / i si 1 i n+ , i = yi / i si n+ + 1 i
n+ + n , yi = i si se da el caso en que el rango r = n+ + n < n, L0 toma
nalmente la forma:
2u 2u
L0 u = . (4.7)
i=1,...,n+
yi2 i=n yi2
+ +1,...,n+ +n
parablico si r = n+ + n = n 1 mientras n+ = n 1 o n = n 1. En
este caso L0 = n1 .
Observaciones 4.8.
a) Las posibles soluciones de (P) pueden extenderse a t R. De hecho la ecuacin
es reversible en t en el sentido de que es invariante frente al cambio t t.
b) Es conveniente representar por u = u(x, t, t0 , f, g) a la solucin del problema:
2
utt = c uxx x R, t > t0
u(x, t0 ) = f (x) x R
ut (x, t0 ) = g(x) x R .
u(x, t, t0 , f, g) = u(x, t t0 , 0, f, g) .
u = F () + G(). (4.11)
con C una constante arbitraria. Esta construccin lleva implcita tanto la exis-
tencia como unicidad de soluciones clsicas.
= = ,
se tendr que sop u(, t) [a(t), b(t)] con a(t) = a ct, b(t) = b + ct.
Observaciones 4.10. a) Ntese que el soporte se expande con velocidad c, eso
justica la terminologa de velocidad de propagacin nita de las pertur-
baciones.
b) Es muy formativo el estudio de los casos particulares: f con soporte com-
pacto, g = 0, f = 0, g con soporte compacto, respectivamente.
Resumiendo, tales funciones f junto con sus derivadas hasta el orden k ad-
miten a lo ms discontinuidades de salto en los puntos x = ai . Representaremos
por,
1 1
u= {f () + f ()} + g(s) ds,
2 2c
tenemos,
1 1
ux = {f () + f ()} + {g() g()}
2 2c
1 1
uxx = {f () + f ()} + {g () g ()}
2 2c
c 1
ut = {f () f ()} + {g() + g()}
2 2
c2 c
utt = {f () + f ()} + {g () + g ()}
2 2
c 1
uxt = {f () f ()} + {g () + g ()} .
2 2
Considerando cada una de las derivadas como una funcin de x para cada t jo
4.4. ECUACIN DE ONDAS UNIDIMENSIONAL 109
tenemos para x
i (t) = ai ct,
1
u (x
i (t)) = f (ai )
2
1 1
ux (x
i (t)) = f (ai ) g (ai )
2 2c
1 1
uxx (x
i (t)) = f (ai ) g (ai )
2 2c
c 1
ut (x
i (t)) = f (ai ) + g (ai )
2 2
c c
utt (xi (t)) = f (ai ) g (ai )
2 2
c 1
uxt (xi (t)) = f (ai ) + g (ai ) .
2 2
siempre que x
i (t) = xj (t) cuando i = j. Si para ai < aj tenemos xi = xj (en
+
1
u (x+
i (t)) = (f (ai ) + f (aj ))
2
1 1
ux (x+
i (t)) = (f (ai ) + f (aj )) + (g (aj ) g (ai ))
2 2c
1 1
uxx (x+
i (t)) = (f (ai ) + f (ai )) + (g (aj ) g (ai ))
2 2c
c 1
ut (x+
i (t)) = (f (aj ) f (ai )) + (g (aj ) + g (ai ))
2 2
c c
utt (x+
i (t)) = (f (aj ) + f (ai )) + (g (aj ) g (ai ))
2 2
c 1
uxt (x+
i (t)) = (f (aj ) f (ai )) + (g (aj ) + g (ai )) .
2 2
Resumiendo, las discontinuidades circulan a travs de las caractersticas, con
velocidad constante y manteniendo la magnitud del salto. Este hecho es tpico
de las ecuaciones hiperblicas (ver [11] para ms informacin).
u(x, 0) = 0 xR (4.14)
ut (x, 0) = 0 x R.
dw
= Aw w(0) = w0 , (4.15)
dt
donde w = (w1 , w2 ) = (u, ut ), w0 = (f, g), el operador A:
u(, ) = 0 (4.17)
u (, ) = u (, ),
con F (, ) = F (( + )/2, ( )/2c). La solucin de (4.17) resulta ser,
( )
1
u = () + () 2 F (s1 , s2 ) ds2 ds1 . (4.18)
4c 0 0
Robin si Bx0 u = u
x (x0 , t) + bu(x0 , t) con b 0.
con c2 (x) = T0 /(x), C[0, l], (x) > 0 para x [0, l], admite a lo ms una
solucin clsica.
entonces:
utt T0 uxx = F
utt ut T0 uxx ut = F ut
utt ut + T0 ux uxt (T0 uxx ut + T0 ux uxt ) = F ut
1
(u2t + T0 u2x )t T0 (ux ut )x = F ut .
2
Integrando de 0 a l con respecto a x:
l l
1
(u2t + T0 u2x )t dx T0 ux ut |l0 = (s)F (s, t)ut (s, t) ds. (4.20)
2 0 0
Escribamos,
l
1
E(t) = (u2t + T0 u2x ) dx.
2 0
114 CAPTULO 4. ECUACIN DE ONDAS
1
(u2t + T0 u2x )t T0 (ux ut )x = 0. (4.21)
2
Si denimos por t = Q(x) la unin de las dos curvas e integramos (4.21) sobre
P tenemos:
1 1 l Q(s)
(u2t + T0 u2x )t dsd = (u2t + T0 u2x )t dsd
2 P 2 0 0
1 l
= (u2t (s, Q(s)) + T0 u2x (s, Q(s))) ds.
2 0
3 Ver [26]
4.5. PROBLEMAS DE CONTORNO 115
x, t)
Figura 4.1: Dominio de inuencia sobre el punto (
Haciendo el cambio s = Q1
i ( ),
l x
(ux ut )x dsd = ux ut Q2 (s) ds ux ut Q1 (s) ds
P x
0
l l
dQ dt
= ux ut ds = ux ut dx.
0 ds 0 dx
Por tanto:
1
{ (u2t + T0 u2x )t T0 (ux ut )x } dsd
P 2
l[ ]
1 2 1 2 dt
= u + T0 ux + T0 ux ut dx = 0,
0 2 t 2 dx
entendindose en la ltima integral que t = Q(x). Recordando que c2 = T0 /(x)
116 CAPTULO 4. ECUACIN DE ONDAS
resulta que:
l [ ]
1 2 2 2 2 dt
ut + c ux + 2c ux ut dx =
0 2 dx
{[ ]2 [ ( )2 ]} (4.22)
l
1 dt 1 dt
2
ut + c ux + c ux 2
4 2
dx = 0.
0 2 dx c dx
Si: ( )2
dt 1
= ,
dx c2
tendremos, si tenemos en cuenta que P {t t}, las expresiones de t = Qi (x),
i = 1, 2: x 1
t x ds 0 < x < x
t(x) = c(s) (4.23)
1
t xx ds x
< x < l.
c(s)
De (4.22) y (4.23) se deduce que ut = ux = 0 en (x, t) y con el mismo argumento
se tiene que ux = ut = 0 en P . De ah, u = 0 en P si F , , son nulas en P , a
parte de f = g = 0 en [0, l].
habr de tenerse: {
f (0) = f (l) = 0
(4.27)
g (0) = g (l) = 0.
4.5. PROBLEMAS DE CONTORNO 117
Por tanto, f (0) = f (l) = 0. Supongamos por otra parte que f C 2 [0, l] satisface
(4.25). Si efectuamos la extensin impar a [l, l] y despus la extensin 2l-
peridica a R obtenemos adems una funcin f, de clase C 2 , que es impar con
respecto a x0 = 0. En efecto, si x R, x = x0 + 2kl para k Z, x0 [l, l]. Si
x0 [0, l]:
Si x0 [l, 0] resulta:
Teorema 4.9. Sean f C 2 [0, l], g C 1 [0, l] funciones que satisfacen las con-
diciones (4.25). Entonces el problema de Dirichlet (4.24) admite una nica so-
lucin clsica u C 2 ([0, l] [0, +)). La misma conclusin se obtiene para el
problema de Neumann (4.26) bajo datos f C 2 [0, l], g C 1 [0, l] satisfaciendo
(4.27).
Ejercicio 4.5 (Condiciones mixtas). Sea f C 2 [0, l] tal que f (0) = f (0) = l.
Efectuamos sucesivamente: la extensin impar a [l, 0], la extensin par con
respecto a x0 = l a [l, 3l] y la extensin 4l-peridica a R. Prubese que tal
extensin f es C 2 , impar en x0 = 0 y par en x0 = l. Probar, bajo condiciones
118 CAPTULO 4. ECUACIN DE ONDAS
l
F () = ( ) G(2l ). (4.34)
c
En denitiva, las relaciones (4.33), (4.34) permiten extender F y G de forma que
u dene la solucin de (4.29). Las condiciones (4.30) aseguran la regularidad de
las extensiones. Para (4.31) (y condiciones de contorno adecuadas) se procede
de la misma forma. En todos los casos, G debe extenderse a 0, F a l.
Ejercicio 4.8. Calclense algunas etapas de la construccin de F y G para las
condiciones u(0, t) = (t), ux (l, t) + bu(l, t) = (t), b 0.
Ejercicio 4.9. En el problema de Dirichlet, comprobar la regularidad de G en
= 0 y la de F en = l.
120 CAPTULO 4. ECUACIN DE ONDAS
es tambin 2l/c-peridica en t.
u(x, 0) = f (x) xR
ut (x, 0) = g(x) x R,
4.6. PROBLEMAS SEMILINEALES 121
K = {(, , z, p, q) R5 : (, ) Q ,
|z u0 (, )|, |p u0 (, )|, |q u0 (, )| R0 },
denimos:
L= sup |F | + |F | + |F |.
(,,z,p,q)K
u(x, 0) = f (x) xR
ut (x, 0) = g(x) x R,
admite una nica solucin local (u, U).
Demostracin. Basta con asociar a cada x0 R la solucin local (ux0 , Q (x0 ))
que hemos construido con unicidad. Como ux0 = ux0 si Q (x0 ) Q (x0 ) =
resultar que:
U = x0 R Q (x0 ).
con tal que F sea C 1 e impar en u (F (u) = F (u)) (f C 2 [0, l], g C 1 [0, l]
cumpliendo las condiciones de compatibilidad (4.25)). En efecto basta extender
f , g a R como en el problema de Dirichlet y probar que u detenta las simetras
adecuadas.
2t + ||2 = 0.
El caso ms importante de tales supercies son los conos de luz. Para (x0 , t0 )
Rn R la unin de las rectas:
u( t0 )
x = x0 + c t= R,
Teorema 4.12 (Unicidad). Sea u C 2 (Rn R) una solucin clsica del pro-
blema de valor inicial:
utt = c u (x, t) R R
2 n
u(x, 0) = 0 x R n
ut (x, 0) = 0 x Rn .
124 CAPTULO 4. ECUACIN DE ONDAS
x x0
ut = cu(x).
|x x0 |
1
x = x(s) t = |x x0 | + t0 ,
c
4.7. ECUACIN DE ONDAS N -DIMENSIONAL 125
se cumple que:
( )
d 1 1 x x0
u(x(s), t0 |x x0 |) = u ut x (s)
ds c c |x x0 |
( )
1 x x0
= cu ut x (s) = 0.
c |x x0 |
En particular:
( )
rn1 Mh (x, r) = rn1 x Mh (x, r).
r r
Es decir
2 n 1 Mh
Mh + = x Mh (x, r). (4.39)
r2 r r
Por tanto:
Mh 1
(x, r) = i h(x + r)i dS
r n ||=1
1
= i (i h(x + r)) d
n ||1
1
= rx h(x + r) d
n ||<1
( )
r1n
= x h(y) dy
n |yx|<r
( [ ] )
r
1n 1 n1
=r x h(x + w) dSw d
0 n |w|=1
( r )
= r1n x n1 Mh (x, ) d .
0
La media alrededor de x, u
(r, t) = Mu (x, r, t) satisface:
( )
2 2
utt = c u rr + ur ,
r
mientras u t (r, 0) = Mg (x, r). En particular:
(r, 0) = Mf (x, r), u
u)tt = c2 (r
(r u)rr .
Entonces,
1
r
u(r, t) = (r + ct)Mf (x, r + ct)+
2
r+ct
1 1
(r ct)Mf (x, r ct) + sMg (x, s) ds.
2 2c rct
128 CAPTULO 4. ECUACIN DE ONDAS
De la paridad de Mf en r:
Mu (x, r, t) =
(r + ct)Mf (x, ct + r) (ct r)Mf (x, ct r) 1 r+ct
+ sMg (x, s) ds
2r 2cr rct
( )
1 Mf 1
= 2rMf (x, ct) + 2ct (x, ct)r + o(r) + (r)Mg (x, (r))2r,
2r r 2rc
con ct r < (r) < ct + r. Al hacer tender r a cero:
Mf ct
u(x, t) = Mf (x, ct) + ct
(x, ct) + Mg (x, ct)
r c
= tMg (x, ct) + (tMf (x, ct)) .
t
Se ha obtenido entonces el siguiente resultado.
Teorema 4.18 (Frmula de Kirchho). Si u C 2 (R3 R) es la solucin del
problema (4.42) entonces u = u(x, t) se puede representar en la forma:
( )
1 1
u(x, t) = g(y) dSy + f (y) dSy (4.43)
4c2 t Sct (x) t 4c2 t Sct (x)
Asmismo podemos concluir el recproco.
Teorema 4.19. Para f C 3 (R3 ), g C 2 (R3 ) (regularidad que es precisa para
que el segundo miembro de (4.43) sea C 2 ), la identidad (4.43) proporciona la
solucin clsica de (4.42).
Demostracin. Escribiendo (4.43) como u = u1 + u2 basta con probar que u1
cumple (4.42) con f = 0. En efecto, si g es sucientemente regular u2 = u1t
cumple u2 = 0 y u2 = g, u2t = 0 en t = 0.
Ahora,
t
u1 = g(x + ctw) dSw ,
4 |w|=1
luego,
t
u1 = g(x + ctw) dSw ,
4 |w|=1
mientras,
u1 t
u1t = + cg(x + ctw)w dSw
t 4 |w|=1
u1 1
= + g(x + ctw)w dSct
t 4ct Sct (x)
u1 1
= + g(y) dy
t 4ct Bct (x)
u1 1
= + I(t),
t 4ct
4.7. ECUACIN DE ONDAS N -DIMENSIONAL 129
con I(t) = Bct (x)
g(y) dy. Asmismo,
( )
1 u1 1 u1 1 1 1
u1tt = + I I+ I = I.
t t 4ct t2 4ct2 4ct 4ct
Sin embargo,
( ( ) )
ct
I = g dS d =c g dSct
0 S (x) Sct (x)
= c(ct)2 g(x + ctw) dSw .
|w|=1
Luego u1tt = u1 . Por otra parte est claro que u1 satisface las condiciones
iniciales.
Principio de Huygens
La identidad de Kichho (4.43) encierra una interesante propiedad de la
propagacin de perturbaciones en el espacio. A tal efecto, supongamos que f y
g tienen soporte compacto en (4.42) y sea K = sop f sop g.
Tomemos un punto del espacio x0 inicialmente en reposo, x0 / K. Podemos
denir:
d := dist (x0 , K) D := sup{|x0 y| : y K}.
De la frmula (4.43) se sigue que la solucin u(x0 , t) = 0 para t < t0 := d/c, es
decir la perturbacin emplea d/c unidades de tiempo en alcanzar x0 , mientras de
nuevo u(x0 , t) = 0 para t > D/c, es decir el medio recupera el reposo al cabo
de un tiempo nito. Este efecto se conoce como principio fuerte de Huygens. Una
lectura posible: en el espacio podemos distinguir los sonidos porque las diversas
seales acsticas tras perturbar un punto se dejan unas a otras el medio limpio
de excitaciones. Alternativamente: la estela de las ondas desaparece en tiempo
nito.
Por otro lado, el conjunto:
cuando t +. Ms an:
1
ug (x, t) g(y) dy t +.
2c2 t K
Anlogamente,
1
uf (x, t) f (y) dy t +.
2c2 t2 K
Transformaciones de Lorentz
Son las transformaciones lineales T L(Rn R) que dejan invariante el
operador de ondas c 4 . Como es natural, tales transformaciones forman nece-
sariamente un grupo.
Si ponemos c = 1 para simplicar, y escribimos
la forma caracterstica es
(, ) = 1 1 2 2 n n .
donde:
n
2
1 = f11 2
f1j
j=2
n
0 = f11 fl1 f1j flj
j=2
n
kl = fk1 fl1 fkj flj 2 k, l n.
j=2
donde (fkl )2k,ln es ortogonal. Una discusin completa de todas las transfor-
maciones de Lorentz se relega a la seccin de ejercicios (Ejercicio 29).
k1
Lk (r ) = cj rj+1 (j) ,
j=0
donde
c0 = (2k 1)!!
y adems, Lk (r ) es impar si es par.
La observacin importante es que cuando la dimensin n es impar, n = 2k+1,
entonces v(r, t) = Lk (r )M (r, t) cumple la ecuacin de ondas unidimensional
(pondremos c = 1 para simplicar):
( )k
1
(Lk M )rr = (r2k Mr )
r r
( )k1 ( )
1 2k
= r 2k1
{Mrr + Mr }
r r r
= (Lk M )tt .
entonces,
r+t
1 1 1
Lk M (r, t) = (r + t) + (r t) + (s) ds, (4.47)
2 2 2 rt
es decir,
( )k1 ( )k1
1 1 1 1
u(x, t) = t2k1 Mf (x, t) + t2k1 Mg (x, t).
c0 t t t c0 t t
4.8. EL CASO N -DIMENSIONAL 133
En otras palabras, si n = 2 + 1, n 3,
( ) n3
1 1 2
u(x, t) = tn2 Mf (x, t)
(n 2)!! t t t
( )n 3
1 1 2
+ tn2 Mg (x, t). (4.48)
(n 2)!! t t
La validez de (4.48) requiere que f sea de clase C (n1)/2 y g de clase C (n3)/2 .
Tenemos, por otro lado, el siguiente resultado.
n3
Teorema 4.20. Sean n = 2 + 1, n0 = max{2, }, f C n0 +1 (Rn ), g
2
C n0 (Rn ). Entonces u = u(x, t) denida por (4.48) es la solucin de (4.46).
Demostracin. Poniendo n = 2k + 1,
( )k1
1 1
u1 = Lk (t )Mg (x, t) = t2k1 Mg (x, t),
c0 t t
basta con demostrar que u1 dene la solucin de la ecuacin de ondas con u = 0
y ut = g en t = 0.
Como Mg (x, t) es par en t se tiene entonces que u1 (x, 0) = 0. La validez de
la segunda condicin inicial es inmediata.
Por otro lado:
( )k1 ( 2k1 )
1 1 t
u1 = g(x + tw) dSw ,
c0 t t n |w|=1
mientras,
( )k ( ( ))
1 1 1
2k
u1tt = t g(x + tw) dSw
c0 t t n |w|=1
)( )
t
( )k1 (
1 1 1 1
= g(x + tw)wt dSw
2k
c0 t t t t n |w|=1
( )k1 ( )( )
1 1 1 1
= g(y) dy
c0 t t t t n Bt (x)
( )k1 ( 2k1 )
1 1 t
= g(x + tw) dSw
c0 t t n |w|=1
= u1 .
Se he empleado que:
( ) ( )
t
g(y) dy = 2k g(x + w) dSw d
Bt (x) 0 |w|=1
t
t
2k
=t g(x + tw) dSw .
|w|=1
134 CAPTULO 4. ECUACIN DE ONDAS
u
1 (x, xn+1 , t) =
( ) n2 ( )
1 1 2
tn1
g(x + tw, twn+1 ) dS(w,wn+1 )
(n 1)!! t t n+1 |(w,wn+1 )|=1
( ) n2 ( )
1 1 2
tn1
= g(x + tw) dS(w,wn+1 )
(n 1)!! t t n+1 |(w,wn+1 )|=1
( ) n2 ( )
1 1 2
2tn1 g(x + ty)
= dy
(n 1)!! t t n+1 |y|1 1 |y|2
( ) n2 ( )
2 1 2
g(z)
= t n1
dy ,
n+1 (n 1)!! t t Bt (x) t2 |z x|2
pues,
dy
dS(w,wn+1 ) = y Rn |y| 1.
1 |y| 2
4.9. Ejercicios
1. (Ecuaciones hiperblicas). Se considera la ecuacin de segundo orden li-
neal:
auxx + 2buxy + cuyy = 0,
donde a, b, c son constates que satisfacen b2 ac > 0, a = 0. Hgase un
cambio de variables:
= (x, y)
= (x, y),
para obtener una nueva ecuacin en las variables , de la forma:
u + 2bu + cu ,
a
u = 0.
utt c2 (x)uxx = 0,
prebese que las nicas invariantes frente a rotaciones son las de la forma:
u + fu = 0.
a
donde d = a212 a11 a22 > 0. Se dice que u = u(x, y) es una solucin funcio-
nalmente invariante de la ecuacin si F (u) tambin es solucin, cualquiera
que sea F , F C 2 (R). Estdiense las condiciones necesarias y sucientes
para la existencia de soluciones funcionalmente invariantes, aprovechando
los resultados para formular una solucin general de dicha ecuacin.
4.9. EJERCICIOS 137
L(u) + cu = 0,
para las parejas de datos iniciales: a) (f, g) = (ex , sen x), b) (f, g) =
(log(1 + x2 ), 4 + x).
11. En el problema
y
utt = c2 uxx , x > 0, t 0
u(x, 0) = f (x), ut (x, 0) = g(x), x0
ux (0, t) = (t).
Para ello supngase que f, g, , tienen la regularidad necesaria y cum-
plen adecuadas condiciones de compatibilidad. Demustrese tambin la
unicidad de soluciones del problema.
15. Hllese la solucin de utt = 4uxx en 0 < x < , u(0, t) = 0, u(x, 0) = 1,
ut (x, 0) = 0. Localcense las singularidades de la solucin.
16. Hllese la solucin de utt = c2 uxx , 0 < x < , donde u(x, 0) = 0,
ut (x, 0) = V , y donde:
utt = c2 u, x R3 , t 0,
u(x, 0) = (r), ut (x, 0) = (r).
mientras que la energa total se dene como E(t) = K(t) + P (t). Prebese
que:
t l
1 l 2 T0 l 2
E(t) = g dx + f dx + F dx dt.
2 0 2 0 0 0
u(x, y, 0) = f (x, y), ut (x, y, 0) = g(x, y)
u(x, y, 0) = 0, (x, y) , t > 0,
que por simplicidad supondremos C 2 en [0, +), dnse entonces deni-
ciones naturales para K y P (la energa total ser obviamente E = K +P )
que lleven al valor explcito de E(t) en trminos de F .
140 CAPTULO 4. ECUACIN DE ONDAS
1
u = F (, , u, u , u )
4c2
u(, ) = f () (4.52)
u (, ) u (, ) = c1 g().
u = w
1
v = F (, , u, v, w) (4.53)
4c2
1
w = 2 F (, , u, v, w),
4c
1
junto con las condiciones iniciales u|B = f , v|B = 2 (f + 1c g), w|B =
2 (f c g), siendo B la primera bisectriz = .
1 1
ux1 x1 ux2 x2 = 0,
utt = c2 u x R2 , t R
u(x, 0) = f (x)
ut (x, 0) = g(x)
con f C 3 , g C 2 es
u = tMg (x, ct) + (tMf (x, ct)),
t
4.9. EJERCICIOS 143
vtt = c2 vrr ,
utt = c2 u x Rn , t R
u(x, 0) = f (x) (4.56)
ut (x, 0) = g(x) ,
1 1
u(x, t) = (Lk (t )(Mg (x, ct))) + (Lk (t )(Mf (x, ct)))
(n 2)!! (n 2)!! t
( )
1 ( 1 )(n3)/2 tn2
= g(x + cty) dSy
(n 2)!! t t n |y|=1
{ ( )}
1 ( 1 )(n3)/2 tn2
+ f (x + cty) dSy
(n 2)!! t t t n |y|=1
(4.58)
Nota. En (4.58) las actuaciones del operador Lk (t ) se entienden sobre
las funciones compuestas de t, Mg (x, ct) y Mf (x, ct). Asimismo en (4.58)
se hace necesario suponer que f y g son sucientemente regulares: f
C (n+3)/2 , g C (n+1)/2 .
37. Aplquese el mtodo del descenso para establecer, partiendo de (4.58), que
si n = 2 la solucin del problema de Cauchy (4.56) adopta la forma,
( )
2 ( 1 )(n2)/2 g(y)
u = n1 dy+
c n+1 (n 1)!! t t Bct (x) c2 t2 |x y|2
{ ( ) }
2 ( 1 )(n2)/2 f (y)
dy .
c n1 n+1 (n 1)!! t t t Bct (x) c2 t2 |x y|2
ut = uxx , (5.2)
entonces,
v = u(x + y, t + ),
es tambin solucin cualesquiera que sean y, R.
Anlogamente,
v = u( x, t) > 0, (5.3)
tambin es solucin de (5.2) para todo > 0.
Si = (x) es la funcin de Heaviside, (x) = 1 para t 0, (x) = 0 para
t < 0 un problema bsico que se puede plantear (descartando los casos triviales)
es, {
ut = uxx xR t>0
(5.4)
u(x, 0) = (x) x R.
Como es invariante frente a cambios de escala, (x) = (x), (5.3) y la hipo-
ttica unicidad de soluciones nos llevan a conjeturar,
u( x, t) = u(x, t) > 0. (5.5)
1 Ms tarde se comprobar que salvo restricciones en la clase de las soluciones a tratar,
147
148 CAPTULO 5. ECUACIN DEL CALOR
+ = 0,
2
bajo las condiciones,
lm () = 0 lm () = 1.
+
es ds =
2
Teniendo en cuenta el valor de la integral gaussiana R
obtenemos,
/2
1 s4
2 1
ez dz,
2
() = e ds =
4
alternativamente,
1 1
() = + Erf ( ),
2 2 2
donde Erf es la funcin error,
2
ez dz.
2
Erf () =
0
Ejercicio 5.1. Prubese que para cada [0, 1] existe una curva en t > 0 tal
que:
lm u = .
P (0,0),P
5.1. PROBLEMA DE VALOR INICIAL 149
u = c{u (b x, t) + u (x a, t) 1},
es decir,
(xa)/ 4t
c
ez dz.
2
u=
(xb)/ 4t
n
un (x, t) = f (
yi )uIi (x, t)
i=1
n
f (
y) (xyi1 )/ 4t
ez dz
2
= i
i=1
(xyi )/ 4t
n
1
yi )e(xyi ) /4t h,
2
= f (
i=1
4t
es,
1
e|xy|
2
u(x, t) = /4t
f (y) dy. (5.9)
( 4t)n R
150 CAPTULO 5. ECUACIN DEL CALOR
Ejercicio 5.2. Si u1 (x1 , t), . . . , un (xn , t) son soluciones de (5.2) verfquese que
es solucin de ut = u.
Conviene jar las notaciones:
k,k/2
4. Si f Cbk (Rn ) entonces u Cb (Rn [0, +)). Ms an, para || +
j
2j k, v = x t u resuelve,
{
vt = v x Rn t > 0
v(x, 0) = x (j f (x)) x Rn .
al ncleo del calor. Fijemos (x0 , t0 ), t0 > 0 y > 0 pequeo. Para todo , j se
tiene,
1
x tj K(x, y, t) = P ( , x y)e|xy| /(4t)
2
t
donde P = P (, z) es un cierto polinomio,
P (, z) = ar, r z .
r,
5.1. PROBLEMA DE VALOR INICIAL 151
De ah,
1
|x y||| e|xy| /(4t) .
2
|x tj K(x, y, t)| |ar, | r
t
r,
Cuando |t t0 |, |x x0 | , tenemos,
1 1 (||)
||
|ar, | r |x y| |ar, | (|x0 | + )||s |y|s .
t (t0 )r s
r, r, s||
Por otro lado, para todo < 1, 1, existe > 0 tal que,
Por lo tanto,
e|xy| e/(4(t0 +)) e|y|
2 2
/(4t) /(4(t0 +))
.
De ah, para un cierto polinomio de coecientes positivos Q,
Q(|y|)e|y| /(4(t0 +)) dy < .
2
|x tj K(x, y, t)||f (y)| dy (5.10)
Rn Rn
cuando t 0+.
152 CAPTULO 5. ECUACIN DEL CALOR
en la forma:
u= gj (t)xj .
j=0
para t > 0. La estimacin (5.17) dice que la serie en (5.16) converge uniforme-
mente sobre compactos de t > 0 y que dicha serie converge uniformemente a
cero para x en compactos cuando t 0+ (u es trivialmente 0 en t 0).
Apelando a los clculos hechos en el Captulo 3, la serie (5.16) puede ser
derivada trmino a trmino innitas veces con respecto a x de forma que el
resultado converge uniformemente en (x, t) , para |x| M y todo t R. Eso se
debe a que:
1 |M |2 1
|g (m) (t)||x|2m e t 2 t K < ,
m=0
(2m)!
n
(xi yi )2 ,
i=1
u u
donde en este caso Bu = u (Dirichlet), Bu = (Neumann), Bu = +b(x, t)u
(Robin, b 0).
El siguiente resultado admite la correspondiente contrapartida unidimensio-
nal (donde es posible introducir condiciones mixtas). Debe resaltarse la regula-
ridad que se impone a las soluciones.
Teorema 5.4. Sea Rn un dominio acotado y C 1 de Rn . Entonces el
problema de valor inicial y de contorno (5.18) admite a lo ms una solucin
clsica u C 2 ( [0, T )).
Demostracin. Basta con estudiar el comportamiento de la integral,
u2 (x, t) dx .
admite una solucin clsica u siempre que f sea mnimamente regular. Basta
extender f de forma impar y 2 peridica f a R y despus aplicar la frmula
de Poisson: +
1 (xy)2
=
u e 4t f(y) dy.
4t
Si f C[0, ], la restriccin de u a 0 < x < l dene una solucin C en t > 0 de
forma que u f cuando t 0+ en uniformemente sobre compactos de (0, l).
En realidad, u est denida en R (0, +). Las condiciones de compatibilidad
f (0) = f (l) = 0 implican que u es una solucin clsica que ajusta uniformemente
con el dato f cuando t 0+. En el caso Neumann,
ut = uxx 0 < x < l, t > 0
u(x, 0) = f (x) 0<x<l (5.20)
ux (0, t) = ux (l, t) = 0 t > 0,
Lu 0
en QT . Entonces,
sup u sup .
QT T
Entonces:
uv (x, t) QT .
En particular, para cada F , f y el problema de Dirichlet:
ut = u + F (x, t) x , t > 0
u(x, 0) = f (x) x
u(x, t) = (x, t) x , t > 0,
Lu 0 (x, t) E,
1. u < M en B,
Observacin 5.6.
a) Cuando E = (0, T ), Rn un dominio y se permite adems que u sea
regular hasta t = T , es decir u C 2,1 (QT {t = T }) entonces que u(x, T ) = M
en algn (x, T ), x , implica que u M .
b) La conclusin del principio fuerte del mximo sigue siendo vlida si el operador
del calor se substituye por otros operadores parablicos ms generales (cf. [18],
Ejercicios 13-20). En particular para:
n
Lu = ut u + bi (x, t)i u + h(x, t)u,
i=1
h0 en E,
M 0.
u
(P ) > 0,
siempre que u < M cerca de P , que dicha derivada exista y que sea una
direccin exterior no paralela al eje t. La segunda condicin puede relajarse
reemplazando la derivada por una derivada inferior de Dini.
u
(P ) > 0,
si es que tal derivada existe (la derivada puede reemplazarse por una derivada
de Dini adecuada).
Lu Lv en QT ,
junto con,
uv sobre T .
Entonces se da una y slo una de las siguientes opciones: o bien u = v en QT
o bien u(x, t) < v(x, t) para todo (x, t) QT .
Teorema 5.13. Sea f C[0, l] tal que f (0) = f (l) = 0. Entonces el problema de
Dirichlet para la ecuacin del calor ut = uxx admite una nica solucin clsica
u C 2,1 ((0, l) (0, +)) C([0, l] [0, +)). Si adems f 0 entonces o bien
u 0 o bien u > 0 en (0, l) (0, +).
El siguiente resultado es un principio de comparacin para todas las condi-
ciones de contorno B consideradas al principio de la seccin.
Teorema 5.14 (Principio general de comparacin). Sea Rn un dominio
acotado y C 2 de Rn mientras u, v C 2,1 (QT {t = T }) C 1,0 (QT ) satisfacen:
Lu Lv en QT
uv en t = 0
Bu Bv en (x, t) (0, T ].
Entonces u v en QT .
Demostracin. El caso Dirichlet ya se ha tratado. Consideremos los otros dos
problemas de contorno. Si
w = u v,
todo consiste en probar que M = sup w 0. Caso contrario M > 0 y tendramos
u(Pm ) = M,
w
(Pm ) b(Pm )u(Pm ) = b(Pm )M < 0,
lo que no puede ser. En un mximo en la frontera como Pm siempre se ha de
w
tener (Pm ) 0.
Si b llega a anularse total o parcialmente en (0, T ] (el primer caso
corresponde a condiciones de Neumann) habremos de proceder con ms cuidado.
En primer lugar, armamos (vase ejercicio al nal de la prueba) la existencia
de C 2 (), > 0 en tal que:
= ,
w = et v,
160 CAPTULO 5. ECUACIN DEL CALOR
obteniendo,
( )
vt v + 21 v + + 1 v (x, t) QT {t = T }
v0 x , t = 0
v + ( + b)v 0 x .
+ b > 0 en , + 1 > 0 en QT .
Observaciones 5.7.
a) La construccin de en un dominio general se apoya en la funcin distancia
a la frontera , d = d(x),
que es tan regular como , en este caso C 2 . Ver [13], Captulo XIV, para una
discusin detallada de la funcin distancia d en trminos de la geometra de la
frontera.
b) El teorema de comparacin proporciona la unicidad para condiciones de con-
torno generales y menos regularidad, a saber: u C 2,1 (QT {T })C 1,0 (QT ).
ut = u x , t > 0
u=f t=0
Bu = 0 x .
Demustrese que:
|u(x, t)| sup |f |.
Entonces,
u(x, t) sup f .
Una consecuencia del teorema es la siguiente propiedad de unicidad. Si u1 ,
u2 son soluciones del problema de valor inicial
ut = u x Rn , 0 < t < T
(5.21)
u(x, 0) = f (x) x Rn ,
satisfaciendo la condicin de crecimiento
2
|u(x, t)| M ea|x| , (5.22)
w = u v ( > 0).
1 2
v(x, t) = eA|x| /(14At) ,
(1 4At)n/2
w = u M (R)v
2 M (R) 2
M eaR eAR /(14At) ,
(1 4At)n/2
2
basta con elegir M (R) = M e(aA)R y suponer que T < 1/4A o bien A < 1/4T .
Con esta eleccin tendremos w 0 en Q. Para (x0 , t0 ) jo y R grande
tenemos:
M (R)
eA|x0 | /(14At0 ) .
2
u(x0 , t0 )
(1 4At0 )n/2
Si elegimos A de forma que a < A < 1/4T resultar que el segundo miembro de
la desigualdad se anula cuando R +. Luego u(x0 , t0 ) 0. Es decir u 0.
Sin embargo se ha supuesto que a < 1/4T . Si ste no fuera el caso se procede
como en la ltima demostracin y volvemos a concluir que u 0.
Ejercicio 5.6. Sin apelar a los resultados expuestos prubese directamente que
el problema:
ut = u + F (x, t)
u(x, 0) = f (x),
Un notable teorema de Widder ([27], [11]) arma que en la clase de las soluciones
no negativas (5.23) slo admite una solucin. Una variacin trivial dice que
la solucin es nica en la clase de las soluciones acotadas inferiormente. La
novedad del teorema consiste entonces en que la unicidad es consecuencia de
una condicin de tipo unilateral.
Con mayor precisin.
Teorema 5.16. El problema (5.23) admite a lo ms una nica solucin clsica
u C 2,1 ({0 < t < T }) C({0 t T }) y no negativa u 0 (obviamente,
f C(R), f 0).
Ms an, si tal solucin u existe sta es real analtica en 0 < t < T y puede
representarse mediante la frmula de Poisson:
u(x, t) = K(x, y, t)f (y) dy. (5.24)
R
5.9. Ejercicios
1. Se dene la funcin error como sigue:
x
2
ey dy.
2
Erf(x) =
0
Utilizando dicha funcin dse una solucin de los problemas de Cauchy
para la ecuacin del calor ut = uxx en R con datos iniciales: a) f (x) = 1
si |x| < l y f (x) = 0 si |x| > l, b) f (x) = 1 si x > 0, f (x) = 3 si x < 0,
c) f (x) = I , e. d., la funcin caracterstica de un intervalo arbitrario
I = [a, b].
2. Sea f = f (x) una funcin continua en Rn para la que existen M 0 y
2
a > 0 de forma que: |f (x)| M ea|x| en Rn . Demustrese que la frmula
de Poisson:
1 |xy|2
4t
u(x, t) = K(f )(x, t) = e f (y) dy,
(4t)n/2 Rn
dene una solucin en C 2 (Rn (0, 4a
1
)) C(Rn [0, 4a
1
)) del problema de
Cauchy:
1
ut = u x Rn , 0 < t <
4a
u(x, 0) = f (x) x Rn .
ut = uxx , x R,
a) Demustrese que
[n/2] k
t xn2k
vn (x, t) = n! ,
k! (n 2k)!
k=0
14. Sea f (x) Cbk (Rn ), Cbk (Rn ) = {f : Rn R/ f (x) Cb (Rn )para ||
k}. Prubese que si u(x, t) = K(f )(x, t) entonces x tj u Cb (Rn [0, +)
siempre que 2j + || k.
x2
1
15. (Transformacin de Apell). Sea K(x, t) = 4t e 4t el ncleo del calor en
una dimensin. Demestrese que si u(x, t), x R, t R es una solucin
de la ecuacin del calor ut = uxx entonces:
x 1
v(x, t) = K(x, t)u( , ), t > 0,
t t
es tambin una solucin de dicha ecuacin para t > 0.
16. Sea > 0 un nmero real positivo y designemos por g : R R la funcin
denida por:
g(t) = exp (t ), para t > 0, g(t) = 0, si t 0.
Prubese la existencia de una constante = (), 0 < < 1 de forma que:
k! 1
|g (k) (t)| exp ( t ), para cada t > 0.
(t)k 2
Indicacin. Utilcese el hecho de que g(z) es holomorfa en (z) = t > 0
para aplicar la frmula de Cauchy:
k! g()
g (k) (t) = d,
2i ( t)k+1
Donde, para t > 0, es la circunferencia de centro t y radio r = t
eligindose 0 < < 1 de forma que (z ) > 12 t para todo z .
17. (Decaimiento de la Energa en la Ecuacin del Calor). Sean ui (x, t)
C 2,1 ([0, l] [0, +)), i = 1, 2 soluciones del problema de Dirichlet:
ut = uxx 0 < x < l, t > 0
u(x, 0) = f (x) 0 x l
u(0, t) = (t), u(l, t) = (t).
Prubese la identidad u1 = u2 . Para ello considerese la diferencia w(x, t) =
u1 (x, t) u2 (x, t) y prubese que la funcin:
l
E(t) = w(, t)2 d,
0
es no creciente para t 0.
18. Sean a(x, t), b(x, t) L (QT ), a(x, t) k > 0 en QT , L u = ut
a(x, t)uxx + b(x, t)ux . Si u C 2,1 (QT {t = T }) satisface Lu 0 en
QT {t = T } prubese que
sup u sup u .
QT T
168 CAPTULO 5. ECUACIN DEL CALOR
19. Sea L el operador del problema 13 y sea E R2 un dominio del plano x-t
en donde u C 2,1 (E) cumple Lu 0, mientras u M para una cierta
constante M .
20. Demostrar el principio fuerte del mximo para el operador L en las con-
diciones del problema 13. Demustrese asimismo el principio del mximo
de Hopf para dicho operador.
22. Sean aij (x), bi (x) L (), Rn un dominio acotado, aij = aji de
forma que el operador
n
n
Lu = aij ij u + bi (x)i u ,
i,j=1 i=1
n
aij (x)i j (x)||2 para cada Rn . (5.26)
i,j=1
Supngase adems que o bien los aij son continuos (con lo que (x) ser
continua) o bien que (x) (K) > 0 sobre cada compacto K .
Demustrese que si u C 2 () C()
cumple Lu 0 en entonces
sup u sup u.
Indicacin. Para > 0 razonar en = {x : d(x, ) > } intro-
duciendo u = v , > 0 pequeo, 0, = exp{|x x0 |2 } con
> 0, x0 . Para > 0 sucientemente grande es posible conseguir que
L() < 0 en . Uno concluye as que sup u sup u. Para obtener
sup u sup u basta con hacer 0+ (haciendo las comprobaciones
pertinentes).
(x) 0 > 0 x .
5.9. EJERCICIOS 169
(el Lema 5.9 es consecuencia inmediata del Lema 5.8), siguen siendo vlidos en las nuevas
condiciones.
170 CAPTULO 5. ECUACIN DEL CALOR
30. Sea u la solucin de ut = uxx con u(0, t) = u(1, t) = 0, u(x, 0) = x(1 x).
u(x, t) = (t 1 x)(2 x t) + 1,
Demustrese que:
a) Lu 0 en D
b) u(P ) < u((0, 0)) en D.
5.9. EJERCICIOS 171
ut uux + uxxx = 0,
u(x, 0) = (x) x R,
Series de Fourier
Como se espera o desea que (6.1) se satisfaga puntualmente es natural que su-
pongamos siempre que f es 2-peridica. Usaremos C k (T ), L2 (T ) para repre-
sentar a las funciones 2-peridicas que son C k o que pertenecen a L2 (, ).
Que (6.1) sea verosmil requiere resolver primero una cuestin fundamental:
la determinacin de los coecientes en trminos de f . Las identidades:
sen nx sen mx dx = nm
cos nx cos mx dx = nm
sen nx cos mx dx = 0,
173
174 CAPTULO 6. SERIES DE FOURIER
La forma de calcular los coecientes tiene mucho que ver con el cmputo de las
coordenadas de un vector x en un espacio eucldeo (E, , ) de dimensin N
con respecto a una base ortonormal {e1 , . . . , eN }. En efecto:
N
x= x n en ,
n=1
1
x, y = {|x + y|2 |x y|2 }
4
1
x, y = {|ix y|2 |ix + y|2 },
4
(z, z las partes real e imaginaria de z C). Otra consecuencia de las propie-
dades del producto escalar es la desigualdad de Cauchy-Schwarz:
y = x, yu1 + |y x, yx|u2 ,
de donde,
|y|2 = |x, y|2 + |y x, yx|2 ,
que implica (6.2).
De la desigualdad de Cauchy-Schwarz se deduce la de Minkowsky,
|x + y| |x| + |y|.
donde
las {xn } pueden ser reales o complejas. En este caso {xn }, {yn } =
xn yn ({xn }, {yn } = xn yn en el caso complejo).
Un segundo ejemplo importante es L2 () para Rn medible:
Proposicin
6.1. Si H es un espacio de Hilbert, entonces una serie xn para
la que |xn | converge es tambin convergente y:
| xn | |xn |.
para cada y H.
Nuestro objetivo ms inmediato es dar sentido a la serie de Fourier de una
funcin 2-peridica f . Un primer resultado en esta direccin es el siguiente.
Teorema 6.2 (Teorema de la proyeccin). Sea H un espacio de Hilbert, M H
un subespacio cerrado, M = H. Entonces, para cada x H existe un nico
y M tal que:
|x y| = dist (x, M ). (6.3)
Adems
1. x y M donde M = {z : y1 M , z, y1 = 0}
2. La aplicacin : H H que a x y := (x) es lineal y continua con
= 1.
Demostracin. Cualquier y que resuelva el problema (A) de la mejor aproxima-
cin cumple x y M . En efecto, para y1 M se tiene:
0 t2 |y1 |2 + 2x y, y1 t,
y y = y x + x y M ,
que lleva a y y = 0.
Para la existencia de y sea d = dist (x, M ) > 0. Existe {yn } M con
|x yn | d. De la identidad del paralelogramo se tiene:
yn + ym 2
4|x | + |yn ym |2 = 2|x yn |2 + 2|x ym |2 .
2
Por ello,
donde hemos puesto yi = (xi ). Ms abajo veremos que hubiese bastado con
ver que (x1 + x2 ) (y1 + y2 ) M .
El resto de la demostracin se deja como ejercicio.
Observaciones 6.1.
a) El teorema asegura la existencia de la mejor aproximacin"y = (x) de x por
elementos de y. (x) se llama la proyeccin ortogonal de x sobre M .
b) Si M es nitodimensional, M = span{e1 , . . . , eN } con {e1 , . . . , eN } ortonormal
N
no es difcil comprobar que y = (x) = i=1 xi ei , xi = x, ei . En efecto, para
escalares arbitrarios {yi } se tiene:
N
N
N
|x xi ei |2 |x x i ei | 2 + | (xi yi )ei |2
i=1 i=1 i=1
N
N
= |x x i ei | 2 + |xi yi |2
i=1 i=1
N
= |x y i ei | 2 .
i=1
La diferencia entre
el ltimo y el primer trmino de la cadena de desigualdades
N
es precisamente: i=1 |xi yi |2 . Se hace mnimo (mtodo de los mnimos cua-
drados) para la eleccin xi = yi . Obsrvese que x(x) es obviamente ortogonal
a M y por eso se tiene:
N
|(x)|2 = |xi |2 |(x)|2 + |x (x)|2 = |x|2 .
i=1
|x y| = dist (x, M ).
si y slo si x y M .
178 CAPTULO 6. SERIES DE FOURIER
Proposicin 6.4 (Desigualdad de Bessel). Sea {ei }iI H una familia orto-
normal, es decir, ei , ej = 0 si i = j, |ei | = 1 para cada i. Entonces, para cada
x H la familia:
x
= x i ei = x, ei ei ,
iI iI
es sumable en H. x
se llama la serie de Fourier de x y xi es el i-simo coeciente
de Fourier de x con respecto a dicha familia. Adems:
|
x|2 = |xi |2 |x|2 . (6.4)
iI
Como:
|SJ |2 = |xi |2 ,
iJ
y la familia iI |xi | < + se tiene la convergencia de la familia propuesta a
2
un valor x
que cumple (3). De hecho,
|
x|2 = |xi |2 .
iI
Entonces,
M ={ xi ei : |xi |2 < +}.
iI iI
6.3. SERIES DE FOURIER: PRIMERAS PROPIEDADES 179
Adems,
|f|22 = {2a20 + a2n + b2n }.
entonces,
f, g2 = {2a0 0 + an n + bn n }.
f = nbn cos nx nan sen nx (en L2 ).
n=1
g = 0 + n cos nx + n sen nx,
n=1
f = lm fn (L2 ),
f (x) = lm fA (x) c. t. x (, ),
A+
donde fA = {|f (x)|>A} f . En efecto, el lmite falla en los puntos donde |f | toma
el valor +, que es de medida cero:
|f |1
|{|f (x)| > A}| A > 0.
A
Por otra parte,
1
|aA
n
an | = (fA (x) f (x)) cos nx dx
1
|fA (x) f (x)| dx
1
= |f | 0,
{|f (x)|>A}
|an | |aA()
n | + |aA()
n an | ,
para A() sucientemente grande y para n n() como para que el primer
sumando sea inferior a /2, resulta que an 0. Se procede con bn de manera
anloga.
Sea ahora f L1 (, ) una funcin 2-peridica cuya serie de Fourier
tiene suma parcial N -sima SN (x). Entonces:
1
N
1
SN (x) = f (t){ + cos n(x t)} dt.
2 1
Se tiene: ( )
1
sen N + y
1
N
2
+ cos ny = .
2 1
1 2 sen y
2
En efecto si S es el primer miembro,
( y) 1 y
N
1 1 1 1
sen S = sen + sen(n + ) sen(n ) = sen(N + ).
2 2 2 1
2 2 2 2
6.4. RESULTADOS DE CONVERGENCIA PUNTUAL 183
para x x0 , C > 0.
2. f Lipschitz continua en x = x0
para x x0 , L > 0.
3. f es derivable en x = x0 .
Las tres condiciones implican tambin la continuidad de f en x = x0 . Sin
embargo no es cierto que la sola continuidad de f en x = x0 garantiza la
convergencia de la serie de Fourier de f a f (x0 ) en x = x0 (ver el contraejemplo
unas lneas ms abajo). Por otra parte, ntese que la Lipschtzianidad de f en
x = x0 es equivalente a la nitud de los cuatro nmeros de Dini: D f (x0 ),
donde, por ejemplo,
f (x) f (x0 )
D+ f (x0 ) = lim .
xx0 + x x0
Demostracin del Teorema 6.13. Tenemos,
SN (x0 ) f (x0 ) = DN (z)(f (z + x0 ) f (x0 ) dz
z f (z + x0 ) f (x0 ) 1
= sen(N + )z dz 0,
sen(z/2) z 2
cuando N en virtud del lema de Riemann-Lebesge.
Una consecuencia de la demostracin es lo que se conoce como el principio
de localizacin de Riemann que viene a asegurar que la convergencia de la serie
de Fourier en x = x0 es una propiedad local.
Proposicin 6.14. Si f L1 (T ) y existe > 0 tal que f = 0 c. t. x
(x0 , x0 + ) entonces:
a0 + an cos nx0 + bn sen nx0 = 0.
n=1
Para aplicar los resultados sobre series de Fourier, por ejemplo a funciones
continuas f en [, ], se extiende primero f como una funcin 2-peridica a
R (v.g. f (x) = ex ). Es entonces natural que aparezcan discontinuidades en la
extensin (si f () = f ()). El siguiente resultado, debido a Dirichlet, tiene
que ver con ese tipo de situaciones.
6.5. CUESTIONES COMPLEMENTARIAS 185
f (x0 ) + f (x0 +)
= a0 + an cos nx0 + bn sen nx0 .
2 n=1
(n, r, x) =
cos(r + 1)x cos(r + 2n)x
+ + cos(r + n)x cos(r + n + 1)x
2n 1 2n 1
n
cos(r + n + 1)x n
cos(r + n + )x
= .
=1
2 1 =1
2 1
1 sen( 12 )x
n
(n, r, x) = 2 sen(r + n + )x
2 =1 2 1
{ 2n }
1 sen( )x 1 n
sen x
= 2 sen(r + n + )x 2
,
2 2
=1 =1
Basta escribir:
x
SN (x) = (cos t + + cos nt) dt
0
(N +1/2)x x ( )
sen u 1 1 1 x
= du + t sen(n + )t dt ,
0 u 0 2 sen 2 t 2 2
de donde se deduce la acotacin uniforme de SN , primero en [0, ], despus en
[, 0] (refelexin), y despus por periodicidad a todo R.
Ejercicio 6.2. Efectuar un estudio detallado de
x
sen u
du,
0 u
en R+ .
Ahora consideramos una sucesin creciente de enteros 1 < 2 < y la
sucesin ordenada de coecientes {n } que se deduce de la unin:
e G
G e
1 2
Se observa que:
1
n cos nx = (n , 21 + 2n1 , x)
n2
e
n G n
En particular:
1
|f |1 ,
|an |, |bn |
n2
que prueba la convergencia absoluta y uniforme de la serie de Fourier.
Supongamos ms sencillamente que f C 1 (T ). Una integracin por partes
establece que:
an = nbn bn = nan ,
188 CAPTULO 6. SERIES DE FOURIER
por lo que n=1 n2 a2n + n2 b2n < . Para estimar la convergencia escribimos:
M
1
M
|SM (x) SN (x)|2 2{ }{ n2 a2n + n2 b2n },
n2
n=N n=N
uniformemente. Ms an,
v v
u M u M
u 1u
sup |SM (x) SN (x)| 2t 2
t n2 a2n + n2 b2n .
[,] n
n=N n=N
Observaciones 6.6.
6.6. CONVERGENCIA UNIFORME 189
de lo que, al ser,
2 3
x2 dx = ,
6
se tiene:
2 3 1
= 4 2
,
6 n=1
n
de donde el resultado.
b) Puede ser de utilidad observar que si f C k1 (T ), con f (k1) C 1 a trozos,
la serie de Fourier de f :
f = a0 + an cos nx + bn sen nx,
n=1
para 0 l k.
190 CAPTULO 6. SERIES DE FOURIER
1
con M = N + . Hacemos = M (x y), mientras llamamos:
2
sen
() =
,
M sen( 2M )
y tenemos:
( )
Mx M xM
d
SN (x) = + (1)()
M x+M Mx 4
( )
M x+M Mx
d
= + ()
Mx M xM 4
( )
Mx M x M x+M
d
= + ()
M x M xM Mx 4
( )
Mx Mx M x+M
d
= ()
M x M x+M Mx 4
( )
Mx M x+M
d
= ()
M x M x+M 4
= I1 I2 .
Tenemos:
Mx Mx K
sen d sen d sen d
I1 = 2
,
0 M sen( 2M ) 4 0 4 0 4
6.7. FENMENO DE GIBB 191
1
cuando N (M = N + ). El valor mximo de SN (x) corresponder a
2
valores de K que hagn mxima la integral. A este respecto, dicha integral es
positiva para K > 0 y el mximo se alcanza en K = . Por tanto en los puntos:
x= ,
M
f (a) + f (a+)
SN (x
N ) I +
2
1
sen
siendo I = 2 0 d.
se tiene,
( )
M x2 M x2 +M
d
SN (x2 ) SN (x1 ) = 2 + () .
M x1 M x1 +M 4
1.5
f(t)
s17(t)
1
0.5
0.5
1.5
4 3 2 1 0 1 2 3 4
Usando la integrabilidad de n An (x) prubese que c. t. x RN , x RN
est a lo ms en un nmero nito de An s.
6.9. Ejercicios
1. Sea f L2 (0, ). Prebese que f puede desarrollarse en la forma:
f = a0 + an cos nx,
n=1
o bien en la forma,
f= bn sen nx,
n=1
|f|2 |f |2 .
+
f= cn einx .
N
p(x) = a0 + an cos nx + bn sen nx,
n=1
1
f2 (x) = a0 + a1 cos x + b1 sen x + a2 cos 2x + b2 sen 2x,
2
para minimizar el error en L2 (, ).
9. Prubese que:
lm log x sen x dx = 0.
0
a) Prubese que:
1
SN (x) = f (x + )DN ( ) d,
2
sen(N + 12 )
donde DN ( ) = sen 2 (Ncleo de Dirichlet). Prubese adems
que:
1
DN ( ) d = 1.
2
para todo x.
16. Una consecuencia del teorema de Lusin (cf. [19] o el Anexo) es que las
funciones continuas con soporte compacto en (, ) son densas en Lp .
Utilizar este hecho para probar que toda f L2 puede aproximarse en L2
por funciones fn que satisfacen las condiciones del problema 9 y deducir
de ahel teorema de completitud.
f (0) = f () = f (0) = f () = 0.
a) Pruse que c > 0 tal que |bn | c para todo n. Dedzcase de ah que
u(x, t) denida por (1) es de clase C en t > 0, 0 < x < . Prubese
que u(x, t) es efectivamente solucin de la ecuacin del calor.
2 Vase el libro de W. Rudin [19].
198 CAPTULO 6. SERIES DE FOURIER
Separacin de Variables
u = X(x)T (t),
N
bn en t sen nx,
2
u=
n=0
199
200 CAPTULO 7. SEPARACIN DE VARIABLES
N
f= bn sen nx.
n=1
n=1 0 n=1 0
G(, x, t) 0,
para t > 0. La igualdad es obvia si o x son cero mdulo . Por otro lado, si
G(0 , x0 , t0 ) < 0,
202 CAPTULO 7. SEPARACIN DE VARIABLES
u(x0 , t0 ) < 0,
ux (0, t) = ux (, t) = 0, (7.11)
Las condiciones Dirichlet determinan n = n2 junto con Xn = cn sen nx. Si, por
simplicidad, ponemos g = 0, las T s vienen determinadas por:
T + 2aT + n2 cT = 0
T (0) = 0,
y por ello,
a a
eat [cosh a2 n2 c2 t + senh a2 n2 c2 t] n <
a n c
2 2 2 c
at a
Tn (t) = e [1 + at] n=
c
a a
eat [cos n2 c2 a2 t + sen n2 c2 a2 t] n> ,
n2 c2 a2 c
M M M
1
| n bn Tn (t) sen nx| {
2 2 6 2
n bn }{ }.
n2
N N N
Para las otras derivadas de orden 2 basta con observar que Tn (t) = O(1), Tn (t) =
O(n), Tn (t) = O(n2 ) uniformemente en t 0 cuando n .
7.5. PROBLEMAS NO HOMOGNEOS: FUNCIN DE GREEN 207
Sin embargo, para que (7.14) represente una funcin C 2 y dena una solucin
de (P), basta con menos regularidad en f , como en la ecuacin de ondas. La
idea clave es que:
Tn (t) eat cos nct,
cuando n +. Usando esa referencia podemos observar la solucin como,
u = eat bn cos nct sen nx + bn [Tn (t) eat cos nct] sen nx
n=1 n=1
(7.15)
e at
at
= {f (x + ct) + f (x ct)} + bn [Tn (t) e cos nct] sen nx.
2 n=1
c1 B(v1 ) + c2 B(v2 ) = h,
u = c1 v1 + c2 v2 + uf ,
y determinamos c1 , c2 en el sistema,
Lu1 = 0 Lu2 = f
B(u1 ) = h B(u2 ) = 0.
Teorema 7.6. Supongamos que las condiciones de contorno del problema (7.16)
son no crticas. Existe entonces una funcin nica G C([a, b] [a, b]) con las
siguientes propiedades ( = {(x, t) [a, b] [a, b] : x = t}):
Gx C([a, b] [a, b] \ ) con
1
Gx (t+, t) Gx (t, t) = .
p(t)
Para cada t [a, b] tiene,
Lx G(, t) = 0 x [a, b] \ t
B(G(, t) = 0.
u = c1 v1 + c2 v2 ,
es la solucin del problema (ci funciones de t). Ello nos lleva a considerar el
sistema,
c1 v1 + c2 v2 =
f
c1 v1 + c2 v2 = .
p
El determinante de la matriz de coecientes es el Wronskiano de {v1 , v2 },
v1 v2
W = = 0,
v1 v2
mientras,
x x
v2 (t)f (t) v1 (t)f (t)
c1 = dt c2 = dt.
a p(t)W (t) a p(t)W (t)
210 CAPTULO 7. SEPARACIN DE VARIABLES
donde,
v1 (x)v2 (t) v1 (t)v2 (x) tx
R(x, t) = p(t)W (t)
0 t > x.
Debe observarse que p(x)W (x) se mantiene constante en [a, b]. Se llama a R
la funcin de inuencia o funcin de Green unilateral. Debe notarse que R =
R(x, t) cumple:
Lx R(, t) = 0 xt
R(, t)|x=t = 0
1
Rx (, t)|x=t = .
p(t)
Si el problema de contorno,
Lu = f a < x < b
B(u) = 0,
Demostracin del Teorema 7.6. Que (7.20) dene la solucin del problema ya
lo hemos probado.
En la identidad (1) est el que G C([a, b] [a, b]) pues la misma propiedad
es cierta para R. Por otro lado,
1
Rx (t + 0, t) Rx (t 0, t) = ,
p(t)
LG(, t) = 0 x [a, b] \ t.
KDG(x, t) = [v1 (x)v2 (a) v1 (a)v2 (x)][v1 (b)v2 (t) v1 (t)v2 (b)].
L(u) = f
(7.21)
u(a) = u(b) = ,
se puede obtener de una forma especial. Ntese comprobando que las derivadas
invertidas son legtimas que:
Lu = f,
Lu u = f, (7.22)
7.5. PROBLEMAS NO HOMOGNEOS: FUNCIN DE GREEN 213
son reales. Por otra parte a dos autovalores distintos = siempre correspon-
den autofunciones , ortogonales. Finalmente, en el caso de condiciones de
contorno separadas (7.25) todos los posibles autovalores son simples.
Un problema no elemental es el de la propia existencia de autovalores. Para
sugerir las ideas principales conviene revisar el caso nito dimensional. Si A es
una matriz real simtrica n n se comprueba que,
K = sup |Ku, u| .
|u|=1
7.5. PROBLEMAS NO HOMOGNEOS: FUNCIN DE GREEN 215
|Ku, u|
sup .
u=0 |u|2
Al formar
|K(u0 + tv), (u0 + tv)|
q(t) = ,
|u0 + tv|2
la condicin q (0) = 0 se lee Ku0 , v = 0 u0 , v donde 0 = Ku0 , u0 /|u0 |2 .
La misma cuenta cambiando v por iv da Ku0 , v = 0 u0 , v. Por tanto,
Ku0 = 0 u0 ,
Ku1 = 1 u1 .
Ku1 = K1 u1 + u1 , u0 u0 = 1 u1 .
216 CAPTULO 7. SEPARACIN DE VARIABLES
|1 | = K1 K = |0 |.
m1
Kf = i f, ui ui .
1
Al aplicar L,
m1
f= f, ui ui ,
1
Ahora,
b
G(x, t)uk (t) dt = k uk (x) a x b.
a
por lo que
b
|n | |un (x)|
2 2
|G(x, t)|2 dt,
n=1 a
donde Q = [a, b] [a, b]. Una conclusin muy importante es que la serie de los
cuadrados de los autovalores es convergente. Esto tiene dos consecuencias. La
primera, que ahora se sabe de manera efectiva que existen innitos autovalores
de K (la sucesin {n } no puede estabilizarse en un valor constante). La segunda,
que n 0.
Sabemos asimismo que Km = |m |. Es decir, para u C arbitraria,
m
|Ku k u, uk uk |2 Km |u| = |m ||u| 0,
1
cuando m . En particular,
Ku = k u, uk uk , (7.29)
1
en L2 .
Por otro lado, para M N arbitrarios, x [a, b],
M
M
M
| k u, uk uk (x)| = |K( u, uk uk )| (b a)1/2 G | u, uk uk (x)|2 .
N N N
en L2 para toda f L2 .
218 CAPTULO 7. SEPARACIN DE VARIABLES
Observacin 7.5. Debe tenerse en cuenta que los autovalores de (7.23) son n =
1
n y que por tanto |n | +.
Ejemplo 7.6. Consideremos la ecuacin del calor con trmino lineal de absorcin:
ut = uxx au (a > 0),
0 < x < , bajo condiciones mixtas,
u(0, t) = ux (, t) = 0.
El mtodo de separacin de variables nos conduce al problema de autovalores,
X + aX = X X(0) = X() = 0.
2n 1 2
Los autovalores son n = a + ( ) y las correspondientes autofunciones
2
2n 1
Xn = sen( )x ,
2
n N. La solucin formal por separacin de variables es,
2n 1
u(x, t) = eat bn e(2n1)
2
t/4
sen( )x.
n=1
2
2 n2 t
con G = e sen nx sen n. Nos ocupamos ahora de la parte f = 0, es
n=1
decir de
ut = uxx + F (x, t) 0 < x < , t > 0
u(x, 0) = 0 0<x< (7.30)
u(0, t) = u(, t) t > 0.
7.6. FUNCIONES DE GREEN 219
Se comprueba que
t
1 1
q q
| bn (t) sen nx| { 2
} F 2.
p
p n2 0 0
7.7. Ejercicios
1. Hllense, por separacin de variables, las soluciones de la ecuacin del
calor ut = uxx bajo las condiciones que se indican:
as como:
ut = uxx 0 < x < , t > 0
u(x, 0) = f (x) 0x
u x (0, t) + a0 u(0, t) = 0, t 0,
ux (l, 0) + al u(l, t) = 0 t 0.
15. Hallar la solucin formal del problema ut = uxx + F (x, t), 0 < x < ,
t > 0, u(x, 0) = 0 y condiciones de contorno mixtas u(0, t) = ux (, t) = 0,
t > 0.
224 CAPTULO 7. SEPARACIN DE VARIABLES
Captulo 8
Ecuacin de Laplace en el
plano
225
226 CAPTULO 8. ECUACIN DE LAPLACE (N = 2)
u(1, ) = f ().
n cos n + bn sen n.
con lo que los autovalores son n = n2 , n N{0} y n = a
La ecuacin para R es,
r2 R + rR n2 R = 0.
Imponiendo la condicin de que R es regular en r = 0 deducimos Rn = cn rn ,
n N {0}.
8.1. FRMULA DE POISSON 227
([11]).
228 CAPTULO 8. ECUACIN DE LAPLACE (N = 2)
El siguiente resultado asegura que (8.6) proporciona todas las soluciones clsicas
de (8.1).
Teorema 8.4. Si f es continua en r = 1, (8.6) extendida con el valor f en
r = 1 dene la nica solucin clsica de (8.1).
Es inmediato que la solucin de (8.1) en la bola BR (P ) es exactamente,
R2 |
x P |2 f (
y)
u(
x) = dSy. (8.8)
2R |
y P |=R |
x y|2
lm u(Q) = f (P ),
QP
nf u u(x) sup u x .
\{P1 ,...,PN } \{P1 ,...,PN }
donde AB es la funcin caracterstica de un arco orientado AB correspondiente
a un ngulo central 0 .
Denimos (P ) como el ngulo orientado con vrtice en P y medido desde
el segmento P A al P B. Lo primero que debe observarse es que es constante
sobre cada uno de los arcos abiertos y orientados BA, AB en B. De hecho:
= 0 /2 sobre BA, = + 0 /2 en AB, mientras las curvas de nivel de
son arcos capaces sobre AB. Un arco capaz sobre AB es el lugar de los puntos
que observan AB bajo un ngulo constante. De hecho, se comprueba que dicho
lugar es un arco de circunferencia.
Por otro lado, una expresin analtica para es la siguiente,
(P ) = (P B) (P A). (8.12)
1
ui (x, y) = {h(i1 + ) h(i1 )},
donde = i i1 ,
( )
y sen
h() = arctag .
x cos 2
Ntese que,
1 r2
h () = .
2[r2 + 1 + 2(x cos + y sen ]
8.1. FRMULA DE POISSON 231
1
n
ufn (x, y) = f (i ){h(i1 + ) h(i1 )}
i=1
1
n
1 r2
= f (i ),
2 i=1 r2 + 1 + 2(x cos i + y sen i )
donde
2
bn = f (x) sen nx dx.
0
Si consideramos el ncleo,
2 senh nA
G(, x, y) = sen nx sen n,
n=1 senh n(A y)
es decir,
senh A sen
G(, x, y) d = 1.
0 senh(A y) sen x
8.2. ECUACIN DE POISSON 233
La primera integral puede hacerse tan pequea como se quiera con tal que lo sea
. La segunda (Seccin ?? del Captulo 7) se hace pequea si x x0 y t 0.
Hemos probado as el siguiente resultado.
Observaciones 8.6.
donde,
1
log( ) r >
r
G0 (r, ) =
1
log( ) r ,
mientras,
1 n
(r rn ) n r>
Gn (r, ) = 2n
1 (n n ) rn r ,
2n
8.2. ECUACIN DE POISSON 235
1 1
donde an = 0 Gn An d, bn = 0 Gn Bn d. Hemos supuesto que F C(B)
(bastara para lo que sigue F C(B) L2 (B)). Comprobamos que la serie
converge adems uniformemente en B. En efecto:
N
1 1 2
N N
2
| an (r) cos n + bn (r) sen n|2 { }{ {An () + Bn2 ()} d}
n2 4 0
M M M
2
N 1 2
1
{ }{ F 2 (, ) d d}
n2 4 0 0
M
N
2 1
{ }{ F 2 dxdy}.
n2 4 B
M
1
= log[1 + z 2 2z cos ].
2
Al introducir estos resultados en (8.23) obtenemos tras algunas cuentas,
1
G(r, , , t) = { log[r2 + 2 2r cos( t)] + log[1 + r2 2 2r cos( t)]}.
4
(8.24)
Ntese que G es simtrica en el sentido de que no vara cuando se intercambian
entre s (r, ) y (, t). En coordenadas cartesianas, si y designa el simtrico de
y con respecto a la circunferencia unidad, y = y/| y |2 , la funcin G adopta la
forma,
1
G( x, y) = [ log |
x y| + log | x y |],
y || (8.25)
2
mientras la representacin en coordenadas cartesianas (8.22) toma la forma,
u(x) = G( x, y)F (
x, y) d y. (8.26)
B
(1 r2 )(1 2 ) 0.
La expresin,
1
2 (
x) = log |
x|,
2
se denomina solucin fundamental del Laplaciano en el plano.
Toda la discusin previa ha tenido como objetivo probar el siguiente resul-
tado.
Teorema 8.13. Si F C 1 (B) L (B) entonces
u( x) = G(
x, y)F (
y ) d
y. (8.27)
B
es de clase C en B. En efecto, para x en una bola B 0 B tanto G2 como todas
sus posibles derivadas se mantienen uniformemente acotadas con y B. El caso
x y |2 ) =
y |2 |
ms delicado es el de la continuidad. A tal efecto ntese que log(|
log(1+| x| |
2
y | 2
2
xy) y que permanece acotada en valor absoluto si x B 0 B,
y B. En particular, U es una funcin armnica en B.
El trmino,
V (
x) = x y)F (
2 ( y ) d
y,
B
es ms delicado de manejar y a su estudio consagramos las siguientes lneas. Se
conoce a V como potencial logartmico con densidad F .
Lema 8.14. Si F L (B) el potencial logartmico V con densidad F es C 1
en B y adems
xi V (
x) = x y)F (
xi 2 ( y ) d
y i = 1, 2.
B
Tal solucin ha de ser radial por lo que es fcil de calcular y viene dada por
1
u = (1 r2 ). Si se tiene en cuenta la forma del desarrollo en serie de G se
4
concluye que:
1
(1 r2 ) = G(
x, y) d
y.
4 B
2
es C en y satisface V = F en .
Demostracin. Para > 0 pequeo y x0 arbitrario, tomamos F C 1 (R2 )
donde F = F en |
x x0 | /2 y F = 0 para |x x0 | . Si:
V (
x) = x y)F (
2 ( y ) d
y,
G: R
(
x, y) 7 G(
x, y)
1. G = 2 (
x y) + h(
x, y), donde h(, y) C 2 () C() para cada y .
x u = 0
x
u( x y)
x) = 2 ( .
x
en general no es resoluble en = B \ 0.
Demostracin. En efecto, se tratara de resolver u = 0 en B \ 0, con u
C 2 (B \ 0) C(B) y valores u(0) = A, u = f en r = 1 prejados de antemano.
Sin embargo, del lema, el nico valor posible para A es precisamente,
1
A= f (
y ) dSy.
2R |y|=R
8.4. Ejercicios
1. Estdiese por separacin de variables la solucin del problema de Dirichlet
para la ecuacin de Laplace:
u = 0 x Ba
u = f x Ba ,
10. Prubese usando la frmula de Poisson que toda funcin continua y pe-
ridica en R, f = f () puede aproximarse uniformemente por polinomios
N
trigonomtricos pn () = a0 + 1 an cos n + bn sen n.
8.4. EJERCICIOS 243
(a ||) (a + ||)
u(0) u() u(0).
(a + ||) (a ||)
2
|i u(x0 )| sup |u|,
R B
donde = (1 , 2 ), ! = 1 !2 ! y u = x11 22 u.
Prebese que si u es armnica en un dominio , x0 , entonces, si
B R (x0 ) ,
1
u(x) = u(x0 )(x x0 ) , (8.29)
2
!
N
1 r2
u(x, y) = ,
1 + r2 2r cos
siendo r y las coordenadas polares de (x, y), 0 r < 1.
Indicacin. Estdiese la validez del principio del mximo para la funcin
auxiliar v(x, y) dada por la identidad:
2R2
u(x, y) = v(x, y) log .
((x x0 )2 + (y y0 )2 )
19. Es la funcin
( )
2r sen
(r, ) = cotag1 ,
1 + r2 2r cos
a2
=z+ ,
z
sobre el crculo |z| < b, b > a > 0. Usar el resultado para determinar la
funcin de Green del problema de Dirichlet en una elipse.
Captulo 9
Ecuacin de Laplace
ndimensional
2 n/2
donde n = es el volumen de la bola unidad en Rn .
n(n/2)
247
248 CAPTULO 9. ECUACIN DE LAPLACE (RN )
para cada y , tenemos entonces de las identidades de Green que para cada
x :
h u
0= {u(z) (z, x) h(z, x) } dSz + h(z, x)u(z) dz. (9.4)
Demostracin. Del principio del mximo se sigue que G(, yn ) G(, y) unifor-
memente en si yn y en lo que largamente prueba i).
A los efectos de ii) se considera el dominio perforado = \ (B (x1 )
B (x2 )). Aplicando la segunda identidad de Green a la pareja de funciones
u(x) = G(x, x1 ), v(x) = G(x, x2 ) en obtenemos,
{ G
G(x1 + w, x1 )( )(x1 + w, x2 )|=
|w|=1
G }
G(x1 + w, x2 )( )(x1 + w, x1 )|= dSw
{ G
= G(x2 + w, x1 )( )(x2 + w, x2 )|=
|w|=1
G }
G(x2 + w, x2 )( )(x2 + w, x1 )|= dSw
G(x, y) = n (x y) + n (x g(y)).
|y|
G(x, y) = n (x y) + n ( (x y )),
R
y
donde y = R2 es el simtrico de y con respecto a la esfera {|y| = R}. Si
|y|2
e n (s) = (1/2) log s para n = 2,
e n (s) = (1/n(2 n)n )s2n cuando n 2
entonces una escritura conveniente para G es la que sigue:
G(x, y) = e n ( |x|2 + |y|2 2xy) + e n ( (|x||y|/R)2 + R2 2xy).
G n
G n
G xi
(x, y) =
(x, y) i = (x, y) .
|x|=R xi |x|=R x i |x|=R R
i=1 i=1
252 CAPTULO 9. ECUACIN DE LAPLACE (RN )
Sin embargo, si u C 2 (B) C(B) (no llega C 1 hasta el borde) entonces para
|x| < R con > 0 pequeo tenemos,
(R )2 |x|2 u(y)
u(x) = dSy x B. (9.10)
nn R |y|=R |y x|n
Observacin 9.5. En la prueba hay dos hechos bsicos para probar la continui-
dad de u hasta la frontera (es obvio que u en (9.9) es armnica en B). Primero,
G/ 0. Segundo, la unicidad de soluciones clsicas implica que:
R2 |x|2 dSy
1= x B.
nn R |y|=R |y x|n
junto con:
1
u(x) = u(y) dy.
n Rn |y|R
junto con,
1
u(x) = (, ) u(y) dy.
n Rn |y|R
con d = dist ( , ).
La observacin siguiente poda haberse obtenido ya directamente de la re-
presentacin (A) (9.2) de las funciones armnicas.
Teorema 9.10. Si u C 2 () es armnica en entonces u es real analtica en
.
Demostracin. Tomamos B 2R (x0 ) , M una cota de |u| en dicha bola. La
serie de Taylor (u es C ) converge absolutamente en |x x0 | R si 0 < < 1
es pequeo. En efecto:
1 ||! (n||)||
mm 2 m
u(x0 )(x x0 ) M
=M (n ) .
!
! ||! m=0
m!
254 CAPTULO 9. ECUACIN DE LAPLACE (RN )
Una consecuencia del mismo es el siguiente resultado que tambin lleva aso-
ciado el nombre de Harnack.
Teorema 9.13. Sea un C 2 () una sucesin creciente de funciones armnicas
en para la que existe y tal que un (y) est acotada. Entonces un converge
en la topologa compacta abierta de a una funcin armnica u C 2 ().
es tambin subarmnica en .
uuu
,
en .
S = {v C() : v es subarmnica en , v g en }.
Entonces:
u
= sup v,
vS
es armnica en .
De manera anloga la expresin
u
= nf v,
vU
Observaciones 9.7.
a) La condicin de punto regular para un dominio del plano no es demasiado
restrictiva. En efecto, la geometra de los puntos regulares es muy permisiva
pues basta con que un punto x0 sea accesible desde \ R2 , es decir el
extremo de una arco contenido en R2 \ para que exista una barrera. En
efecto, para B centrada en x0 pequea podemos construir una determinacin
del argumento en B . Una funcin barrera local es:
log r
w= 2 ,
log r + 2
Se dene el dominio,
= { x2 + y 2 + z 2 < 1} {v(x, y, z) < 1 + c},
9.6. El semiespacio
El problema de Dirichlet cuando = Rn+1 + es resoluble con unicidad si
imponemos condiciones de crecimiento en el innito a las soluciones. En la Sec-
cin 9.2 ya se obtuvo una funcin de Green formal en = Rn+1 + . El siguiente
resultado establece condiciones de existencia y unicidad para el problema de
Dirichlet.
Teorema 9.23. Para cada Cb (Rn ) el problema de Dirichlet,
{
u = 0 (x, xn+1 ) Rn+1
+
u= (x, 0) Rn+1
+ ,
G(, ) = 2 ( ) + 2 ( ),
donde = (x, xx+1 ), = (y, yn+1 ), = (y, yn+1 ) podemos proponer formal-
mente a:
G G
u() = (, )() dS = (, )|yn+1 =0 (y, 0) dy, (9.13)
R n R n yn+1
|f (x) f (x0 )|
[f ],x0 := sup < +,
|xx0 |,x=x0 |x x0 |
|f (x) f (y)|
[f ],1 := sup < +.
x,y1 ,x=y |x y|
Teorema 9.26. Sea un dominio acotado de Rn para el que todos los puntos
de son regulares mientras f C () L () con 0 < 1. Entonces para
toda g C() el problema (9.14) admite una solucin clsica u C 2 ()
C().
es continua en .
C
G(x, y) = ,
|x y|
{|yxn |>} G(xn , y)f (y) = G(xn , y) G(x0 , y) = {|yx0 |>} G(x0 , y)f (y),
en el segundo, {|yxn |>} G(xn , y)f (y) = {|yx0 |>} G(x0 , y)f (y) = 0 para
n n0 . Por tanto, F es continua en . Finalmente es obvio que F F
uniformemente en cuando 0+, lo que prueba la continuidad de F .
G
Lema 9.28. Supongamos n 2 y sea G = G(x, y) C( \ ) con
xi
C( \ ), = {(x, y) : x = y}, funciones uniformemente integrables en el
sentido del Lema 9.27. Entonces para f L () la funcin:
F (x) = G(x, y)f (y) dy,
Del lema 3 sabemos que Fi C(). Por otro lado para h R sucientemente
pequeo y designando por [x0 , x0 + hei ] = {x0 + shei : 0 s 1} tenemos la
cadena de identidades:
h h
Fi (x0 + sei ) ds = xi G(x0 + shei , y)f (y) dyds
0 0
h
= xi G(x0 + shei , y)f (y) dyds
0 \[x0 ,x0 +hei ]
h
= { xi G(x0 + shei , y) ds}f (y) dy
\[x0 ,x0 +hei ] 0
= G(x0 + hei , y)f (y) dy
\[x0 ,x0 +hei ]
G(x0 , y)f (y) dy
\[x0 ,x0 +hei ]
= G(x0 + hei , y)f (y) dy G(x0 , y)f (y) dy
= F (x0 + hei ) F (x0 ),
pues
t
xi U (x , t )|f (, )| dd 0
t |x|<
9.8. Ejercicios
1. Obtener la funcin de Green para el problema de Dirichlet en los siguientes
dominios de Rn :
a) La semiesfera de Rn , = Ba (0) {xn > 0}.
b) En R3 , el octante x1 0, x2 0, x3 0.
c) En R3 , el octante de esfera = Ba (0) {x1 , x2 , x3 > 0}.
2. Dse una denicin adecuada para la funcin de Green y el problema de
Neumann en un dominio acotado y C 1 de Rn , justicando la denicin con
la correspondiente frmula de representacin de soluciones del problema.
A tal efecto seguir la siguiente gua de instrucciones.
a) Probar que si u C 2 () es una solucin clsica del problema:
u = f x
u (N )
=g x ,
entonces:
f= g. (C)
Utilizar libremente en lo que sigue que (C) es tambin condicin sucien-
te para la existencia de al menos una solucin clsica del problema de
Neumann (N).
b) Prubese que:
n
(y x) dSy = 1,
x .
c) Determnese la constante R para que el problema:
h = f x
h (A)
= n ( y) x ,
admita al menos una solucin h1 = h1 (x, y).
9.8. EJERCICIOS 265
d) Sea h1 una cualquiera de las soluciones clsicas del problema (A). Frmese
la funcin:
G1 (x, y) = n (x y) + h1 (x, y).
Demustrese que toda solucin clsica (prescindimos deliberadamente de
los detalles de regularidad) del problema (N), supuesto que exista (ver 1))
se puede representar en la forma:
1
u(x) = u(y) dSy
||n1
u
+ G1 (y, x) (y) dSy G1 (y, x)u(y) dy ,
x , es decir:
1
u(x) = u(y) dSy
||n1
+ G1 (y, x)g(y) dSy G1 (y, x)f (y) dy .
siendo 2 (z) = 1
2 log |z| la solucin fundamental del Laplaciano en el
plano.
4. Sea Rn un dominio que es simtrico con respecto al plano xn = 0
con seccin no vaca T en el hiperplano xn = 0. Denotemos x = (x , xn ),
x Rn1 , + = {xn > 0}, = {(x , xn ) : x + }. Demustrese
(principio de reexin de Schwarz) que toda funcin u C 2 (+ ) C(+ ),
armnica en + se extiende a una nica funcin armnica en .
Indicacin. Usar el teorema de la media.
5. Sea u armnica y no negativa en la bola BR (0) (continua hasta la frontera).
De la integral de Poisson demustrese la desigualdad de Harnack,
Rn2 (R |x|) Rn2 (R + |x|)
u(0) u(x) u(0).
(R + |x|) n1 (R |x|)n1
266 CAPTULO 9. ECUACIN DE LAPLACE (RN )
Anlogamente,
n
|i u(x0 )| (sup u u(x0 )) d0 = dist (x0 , ).
d0
Prubese que:
n
|i u(x0 )| u(x0 ) d0 = dist (x0 , )
d0
si u 0.
8. Prubese (teorema de Liouville) que toda funcin armnica en Rn y aco-
tada superiormente es constante.
9. Singularidades evitables. Sea u C 2 (BR (0)\0)C(B R (0)\0) una funcin
armnica tal que u = 0 en {|x| = R} mientras,
lm u(x) = , (I)
|x|+
R2
y= x,
|x|2
R
|x | = |x | || = R,
|x|
R2
con x = x. Ajustar despus la condicin (I) con ayuda de alguna
|x|2
funcin armnica conveniente. Contrastar los resultados con el caso
n = 2 estudiado por separacin de variables en el Captulo ??.
Apndice A
Funciones diferenciables
269
270 APNDICE A. FUNCIONES DIFERENCIABLES
vl (x), aunque tomadas en distinto orden. Luego si en vl (x) se deriva -en el orden
que sea- 1 veces con respecto a x1 , . . . , n veces con respecto a xn (algunos
de los i muy bien pudieran ser cero) todas esas derivadas vl (x) coinciden con
la derivada cannica:
lu
(x).
x1 . . . n xn
1
2u
u (x0 )(ei , ej ) = (x0 ),
xj xi
2
Si todas las funciones xi x u
i1
(x) existen en un entorno U de x0 y son continuas
2
en x0 , entonces u (x0 ).
271
k
Ahora, si u es de clase C en y hallamos el valor de la diferencial k-sima
en (v1 , . . . , vk ) = (v, . . . , v) con v = (vi ), la simetra de u(k) (x0 ) nos lleva a la
identidad:
n
ku
u(k) (x0 )(v, . . . , v) = vi1 . . . vik
i ,...,i =1
xik xi1
1 k
k!
= v 1 . . . vnn u(x0 )
! 1
||=k
k!
= v u(x0 ).
!
||=k
Series Mltiples
Denicin B.1. Decimos que una serie c es convergente 1 si s R tal
que, para toda familia creciente de ndices Ak Nn (e d. Ak nita, Ak Ak+1
para cada2 k N y k Ak = Nn ) se tiene que3 :
lm SAk = s.
mltiple.
273
274 APNDICE B. SERIES MLTIPLES
Es conveniente observar que si una serie c tiene todos sus trminos
c 0 entonces es evidente que s < + o bien s = + y su suma no puede
ser otra que:
s = sup sA .
ANn
se obtiene como una serie en = {x/||x|| < 1}. Es de clase C , pero adems
todas sus derivadas se pueden obtener derivando trmino a trmino dicha serie.
Para ello, basta con demostrar que las series derivadas convergen uniformemente
sobre compactos de . Bastar con mayorarlas en ||x|| r < 1. La serie
derivada veces es:
!
x := A.
( )!
Se recuerda ahora que una serie de potencias f (z) = n an (z z0 )n se puede
derivar trmino a trmino, y la serie y todas las series derivadas convergen
uniformemente en cada disco |z z0 | r para cada 0 < r < , donde es el
radio de convergencia 1 = lm(|an |) n . En particular:
1
k! k!
= z nk
(1 z) k+1 (n k)!
nk
!
(1 |x1 |)1 +1 . . . (1 |xn |)n +1
!
< +,
(1 r)||+n
de lo que se deduce la armacin formulada ms arriba.
Teorema B.9. Sea c x una serie de potencias que converge (por tanto
absolutamente) en z = (zi ) con |zi | > 0 para cada i, e.d.,
|c ||z | < +.
276 APNDICE B. SERIES MLTIPLES
Entonces c x converge absolutamente a una funcin c(x) de clase C en
el polidisco 5 D(0, |z|) = {x/|xi | < |zi |, 1 i n}. Adems, para cada Nn ,
x D(0, |z|) se tiene que:
!
c(x) = c x .
( )!
En particular c(x) = 1
! c(0)x . Por otra parte, para cada x1 D(0, |z|)
se tiene que:
c(x) = c (x x1 ) ,
Finalmente, para cada x1 D(0, |z|) existe un entorno N (x1 ) D(0, |z|) de x1
y constantes positivas M, r > 0 tales que:
||!
| c(x)| M , x N (x1 ).
r||
Propiedad B.10. Supongamos que c x es una serie formal de potencias
tal que:
1
lim(|c |)1/|| = < +,
entonces c(x) = c x converge absolutamente en x < . Adems =
sup r tal que la serie converge absolutamente en D(0, r), r = (r, . . . , r), r > 0.
No obstante, la geometra del dominio de convergencia absoluta de una serie
no tiene por qu ser un cubo. Para tener un polidisco, basta multiplicar n
i n
series de potencias
a n i de cada una de las coordenadas xi . Un ejemplo ms
x
extico es a1 2 x1 y 2 con a1 2 = 1 2 /1 2 (ij la delta de Kronecker).
Es fcil ver que el dominio de convergencia absoluta es |xy| 1.
Supercies. Integrales de
supercie
Las siguientes lneas recogen la materia bsica que usaremos sobre integra-
cin de supercies.
Se dice que S Rn es una supercie simple de clase C k , k 1, si existe
U Rn1 abierto y conexo y una apilciacin de clase C k
g: U Rn
s 7 g(s),
S = {x = g(s)|s U } , (C.1)
y
{ }
g g
rango ,..., =n1 s U. (C.3)
s1 sn1
El par (g, U ) se denomina una parametrizacin de S. Fijadas S y (g, U ), dire-
mos que ( g, U Rn , x = g(), = (1 , . . . , n1 ), g de clase C k , g
), g : U
satisfaciendo (C.1), (C.2), (C.3), es una parametrizacin equivalente de S si la
aplicacin g1 g : U U es un homeomorsmo C k con inverso tambin C k .
As pues, una supercie C k se dene a travs de todas sus parametrizaciones
equivalentes.
No es muy difcil probar que g dene un homeomorsmo local, e. d., su
restriccin a un pequeo entorno de cualquier punto p U es un homeomorsmo
(Ejercicio). As, g dene un homeomorsmo de U sobre S. Anlogamente, la
misma cuenta puede aprovecharse para comprobar que dos parametrizaciones
arbitrarias g y g son siempre equivalentes. Para ambas armaciones, la idea
277
278 APNDICE C. SUPERFICIES. INTEGRALES DE SUPERFICIE
g g
= A1 e1 + + An en ,
s1 sn1
279
() =
N
g
g
.
1 n1
siempre que la integral de Lebesgue en (C.6) exista. Si tal es el caso se dice que
f es integrable-Lebesgue en S y se escribe f L1 (S). Se comprueba que si f es
integrable sobre S con respecto a una parametrizacin g, lo es con respecto a
cualquier otra parametrizacin equivalente g, siendo el resultado de la integral
independiente de g. Es habitual llamar a dS = |N (s)| ds el elemento de rea de
S. De hecho, se dene como rea de S a la correspondiente integral en donde
f = 1.
Ejemplo C.3. Las coordenadas esfricas en Rn se denen por induccin como,
x1 = cos 1
x2 = sen 1 cos 2
..
.
xn1 = sen 1 sen 2 sen n2 cos n1
xn = sen 1 sen 2 sen n2 sen n1 ,
(, 1 , . . . , n1 ) x
Pues bien, resulta que el elemento de rea de la esfera de centro cero y de radio
r vale:
2 n/2
n = ,
(n/2)
281
donde (z) = 0
eu uz1 dz. En efecto, la integral
((k + 1)/2)(1/2)
senk d = ,
0 ((k + 2)/2)
mientras (1/2) = . Por otro lado, de la relacin de recurrencia (x + 1) =
x(x) resulta,
(n)
(n/2 1)! n = 2
= (n 1)!
2
[n/2] n = 2 + 1.
4 [n/2]!
As, el rea de la esfera de radio r vale rn1 n . Una simple integracin muestra
n
que el volumen de la bola de radio r es rn n . Para uso posterior reservaremos
el smbolo,
n 2 n/2
n = = .
n n(n/2)
para representar el volumen de la bola unidad en Rn .
Finalmente, es costumbre representar la frmula (5) como,
dx = n1 d dS1 ,
|x|2 (n/2)
er rn1 dr = n
2
e dx = n = n/2 .
Rn 0 2
supuesto que dicha integral exista. Remitimos a los Ejercicios del Captulo 1
para una interpretacin fsica de la nocin de ujo.
El concepto de supercie simple se extiende, por razones tcnicas, al de
supercie de clase C k (k 1). La propia esfera en R3 no es una supercie
simple (por qu?). Decimos que S es una supercie de clase C k si S = S1
Sm donde cada Si es una supercie simple y donde adems si (gi , Ui ), (gj , Uj )
parametrizan respectivamente a Si y Sj con Si Sj = entonces gj1 gi :
282 APNDICE C. SUPERFICIES. INTEGRALES DE SUPERFICIE
siempre que todas las integrales del segundo miembro existan. Se demuestra que
el valor de la integral no depende de la eleccin de las supercies simples Si que
constituyen S, e. d., de la estructura diferenciable. En efecto si {Si }qi=1 es otra
estructura diferenciable de S, entonces
f dS = f dS1 + f dS2 + f dSq ,
S S1 S2 \S1 Sq \(S1 Sq1 )
f: Q R
(x, y) 7 f (x, y)
285
286 APNDICE D. DIFERENCIACIN BAJO EL SIGNO INTEGRAL
Entonces la funcin
F (y) = f (x, y) dx
es de clase C k en Q y adems:
F (y) = y f (x, y) dx ,
para todo || k.
Entonces la funcin
F (y) = f (x, y) dSx
S
es de clase C k en Q y adems:
F (y) = y f (x, y) dSx ,
S
para todo || k.
Bibliografa
287
288 BIBLIOGRAFA
[19] W. Rudin, Real and Complex Analysis. McGraw-Hill. New York, 1987.
[20] R. Seeley, Introduccin a las series e integrales de Fourier. Revert. Bar-
celona, 1970.
[21] M. M. Smirnov, Second-Order Partial Dierential Equations. Noordho.
Groningen, 1966.
[22] W. Strauss, Partial Dierential Equations: An Introduction. John Wiley.
New York, 1992.
[23] E. C. Titchmarsh, The theory of functions. Oxford University Press.
Oxford, 1944.
[24] A. A. Samarskii, A. N. Tikhonov, Equations from Mathematical Phy-
sics. Pergamon Press. New York, 1963.
[25] V. S. Vladimirov, Equations from mathematical physics. Marcel Dekker.
New York, 1971.
[26] H. F. Weimberger, Ecuaciones en Derivadas Parciales (con mtodos de
variable compleja y transformadas integrales). Revert. Barcelona, 1970.
[27] D. V. Widder, The heat equation. Academic Press, New York, 1975.