Notas de EDP

J. Duoandikoetxea - L. Escauriaza

8 de diciembre de 2014

Captulo 1

Introducci
on
1.1.

Qu
e son las EDPs?

Una EDP es una ecuaci

on con una incognita u que es funcion de x =
(x1 , . . . , xn ), a la que se pide que satisfaga
F (x, u, Du, D2 u, . . . , Dm u) = 0.
Aqu Dj u representa todas las derivadas de u de orden j y
n

D u =

X
|| u
i , si = (1 , . . . , n ) Nn .
1
n , || =
x1 . . . xn
i=1

Terminologa
Orden de la ecuaci
on. Es el mayor orden de derivacion de u que aparece
en la ecuaci
on.
Ecuaci
on lineal. Aquella en la que los terminos en los que aparecen u o
sus derivadas son lineales.
Todas las ecuaciones que estudiamos con detalle en el curso son lineales
y de orden menor que tres.
Ecuaci
on cuasilineal. La misma definicion que la anterior pero ahora
referida s
olo a los terminos que contienen a las derivadas de orden igual al
orden de la ecuaci
on.
Los siguientes conceptos y teorema seran muy u
ltiles en este curso:
f
f
f = ( x
, . . . , x
).
1
1

La divergencia de un campo vectorial, F = (F1 , . . . , Fn ), y el Laplaciano de una funci

on f definidos en un abierto Rn
F1
Fn
+ +
.
x1
x1
4f = 2 f = (f ).

F =

Teorema 1 (Teorema de la divergencia). es una abierto acotado de Rn

con frontera regular, F : Rn es una campo vectorial en , F C 1 (),
es el vector normal exterior a . Entonces,
Z
Z
F (x) dx =
F d.

1.2.

Ejemplos de ecuaciones

Los tres primeros ejemplos son las ecuaciones que se estudian en el curso.
1. Ecuaci
on de ondas. Se busca u(x, t) con x Rn , tal que
utt c2 4u = F (x, t).
Aqu c > 0 es una constante, F una funcion dada y 4u = ux1 x1 +
+ uxn xn , es el laplaciano de u en las coordenadas espaciales (t es el
tiempo). Si n = 1, se reduce a, utt c2 uxx = F .
2. Ecuaci
on del calor. Se busca u(x, t) con x Rn tal que
ut 4u = F (x, t).
Si n = 1, se reduce a ut c2 uxx = F .
3. Ecuaci
on del potencial. Se busca u(x) con x Rn tal que
4u = F (x).
Si n = 2, se reduce a uxx + uyy = F .
Una ecuaci
on que no estudiaremos es la siguiente.
4. Ecuaci
on de Schr
odinger. Se busca u(x, t), con x Rn y tal que
iut 4u = F (x, t).
En lugar de ecuaciones se pueden considerar sistemas.
5. Ecuaciones de Cauchy-Riemann. Se buscan u(x, y), v(x, y) definidas
en R2 tales que
(
ux = vy ,
uy = vx .
6. Ecuaciones de Navier-Stokes. Encontrar, u : R3 [0, +) R3 y
p : R3 [0, +) R, tal que se verifiquen las ecuaciones

t u 4u + u u = p,
u = 0,

u(0) = a,
2

en R3 (0, +), donde a : R3 R3 es una campo vectorial con

divergencia nula, a = 0.
7. Sistema de elasticidad. Encontrar u : R3 R3 , tal que se verifiquen
las ecuaciones
4u + ( + ) ( u) = 0
en R3 , donde , > 0 son las constantes de elasticidad o de Lame
del s
olido .

1.3.

Cambio de variables

Repaso de la regla de la cadena para funciones de varias variables. Sea

v(y) una funci
on de clase C m definida en D Rn y : D0 Rn D,
biyectiva y de clase C m ; se define u(x) = v((x)). Entonces
n

X v
u
i
(x) =
((x))
(x).
xj
yi
xj
i=1

Con la funci
on inversa de se puede escribir la relacion en la forma v(y) =
1
u( (y)) y escribir todas las derivadas de v en terminos de las de u.

Ejemplos
1. La ecuaci
on de primer orden, ux + uy = 0, se transforma en v = 0, por
el cambio de variables independientes
(
= x + y,
= x y.
2. Se define en el plano el cambio de variable
(
(
= x + ct ,
x = ( + )/2 ,
cuya inversa es
= x ct ,
t = ( )/2c .
u(x, t) y v(, ) se relacionan por u(x, t) = v(x + ct, x ct). Escribir la
expresi
on utt c2 uxx en terminos de las derivadas de v. Se debe llegar a
4c2 v .
3. El laplaciano en coordenadas polares. Se define en el plano el cambio de
variable a coordenadas polares habitual x = r cos , y = r sin , donde r > 0
y < < . Si v(r, ) = u(r cos , r sin ), se verifica que
4u = uxx + uyy = vrr +

1
1
vr + 2 v .
r
r

4. El laplaciano en coordenadas cilndricas y esfericas. Las coordenadas

cilndricas son x = r cos , y = r sin y z = z, donde r > 0, 0 < < 2 y
< z < +. Si v(z, , z) = u(r cos , sin , z),
1
1
4u = uxx + uyy + uzz = vrr + vr + 2 v + vzz .
r
r
Las coordenadas esfericas son (, , ) y su relacion con las cartesianas
es x = cos sin , y = sin sin y z = cos , > 0, 0 < < 2 y
0 < < . En este caso, si v(, , ) = u( cos sin , sin sin , cos ),
se verifica que
4u = v +

2
1
cot
1
v + 2 v + 2 v .
v +
2

( sin )

Cambio de funci
on inc
ognita
Si en la ecuaci
on ut uxx u = 0 hacemos el cambio v(x, t) =
et u(x, t), queda la ecuaci
on del calor para v.
Si en la ecuaci
on, ut = u2x + uxx , hacemos el cambio v = eu , desaparece
el termino no lineal y v es solucion de vt vxx = 0.
La siguiente f
ormula es muy u
til:
4(f g) = f 4g + g4f + 2f g.
Si v = e u, calcular e 4u en terminos de v.

1.4.

Problema de Cauchy. Condiciones iniciales y

de contorno. Problema bien planteado

Una ecuaci
on puede tener en principio muchas soluciones, que datos se
necesitan para determinar una de ellas? En EDOs, poda ser el valor de la
funci
on y algunas derivadas en un punto; ahora eso no es suficiente.
Por ejemplo, sea ux = 0 en el plano. La solucion es u(x, y) = (y), para
alguna funci
on ; por tanto:
- si nos dan u(a, b), tenemos u(x, b) para todo x;
- si nos dan u(a, b) y u(a0 , b) y no son iguales, no hay solucion y si son
iguales, uno de los datos es innecesario.
En general, si a(x, y), b(x, y) y c(x, y) son funciones regulares, el problema de Cauchy asociado a una ecuacion de primer orden consiste en encontrar
una soluci
on local u de la ecuacion
aux + buy = c

(1.1)

que verifique la condici

on de Cauchy
u(f (s), g(s)) = h(s)
4

(1.2)

a lo largo de una curva S = {(f (s), g(s))} y cerca de un punto P0 =

(f (s0 ), g(s0 )) de S. Veremos que esto es posible si sabemos a priori que
la curva S es no caratersticaen P .
Una curva S es caraterstica en uno de sus puntos P si su vector tangente en P es paralelo al vector (a(P ), b(P )). En caso contrario, se dice no
caraterstica en P . Es decir, se ha de verificar que


a(f (s), g(s)) b(f (s), g(s))

 6= 0.
(1.3)


f 0 (s)
g 0 (s)
Las curvas caractersticas asociadas a la ecuacion (1.1) que pasan por
(f (s), g(s)) se obtienen resolviendo el sistema de EDOs con condiciones
iniciales

t = a(x, y),
y
(1.4)
t = b(x, y),

x(0, s) = f (s), y(0, s) = g(s).

y si u es solucion de clase C 1 de la ecuacion lineal en un entorno de P y
z(t, s) = u(x(t, s), y(t, s)), se verifica que
z
= c(x(t, s), y(t, s))
t
y
Z
z(t, s) = h(s) +

c(x(, s), y(, s))d.

(1.5)

En particular,
Z
u(x(t, s), y(t, s)) = h(s) +

c(x(, s), y(, s))d,

0

y los valores de u est

an determinados a lo largo de una curva caracterstica
que pasa por S por el valor de u en la interseccion de la caracterstica con
S y por los valores de c a lo largo de la caracterstica.
Recprocamente, si a, b, c y (f (s), g(s), h(s)) son de clase C 1 en entornos
de P y s0 respectivamente, la teora de las EDOs asegura que el sistema
(1.4) admite una soluci
on de clase C 1 para (t, s) cerca de (0, s0 ). Es decir,
existe un > 0 tal que la transformacion, x = x(t, s), y = y(t, s), esta bien
definida y es de clase C 1 en (, ) (s0 , s0 + ). Ademas, si S es no
caraterstica en P , el Jacobiano de la transformacion
(
x = x(t, s),
(1.6)
y = y(t, s),
en (0, s0 ) es


a(f (s0 ), g(s0 )) b(f (s0 ), g(s0 ))

 6= 0


f 0 (s0 )
g 0 (s0 )
5

y el teorema de la funci
on inversa garantiza que el sistema (1.6) se puede
invertir para (x, y) cerca de P y (t, s) cerca de (0, s0 ). Si definimos entonces
u(x, y) = z(t(x, y), s(x, y)),
donde z se define mediante (1.5), la regla de la cadena muestra que u es una
funci
on de clase C 1 en un entorno de P . Como z(t, s) = u(x(t, s), y(t, s)),
haciendo t = 0, vemos que u verifica la condicion de Cauchy (1.2) en S cerca
P . Derivando la misma identidad respecto a t, obtenemos que
z
x
y
= ux (x(t, s), y(t, s))
+ uy (x(t, s), y(t, s))
t
t
t
y como, z
on (1.1) en
t = c(x(t, s), y(t, s)), se sigue que u verifica la ecuaci
un entorno de P .
Por lo tanto, el problema de Cauchy asociado a la ecuacion lineal de orden
uno tiene una u
nica soluci
on local de clase C 1 en un entorno de P si S no
es una curva caracterstica en P , a(x, y), b(x, y), c(x, y) y (f (s), g(s), h(s))
son funciones de clase C 1 cerca de P y s0 respectivamente.
Otro ejemplo es el asociado a la ecuacion
ux uy = 0.
La soluci
on general en este caso es de la forma
u(x, y) = (x + y),
donde es cualquier funci
on de clase C 1 . Las soluciones son constantes en
las rectas x + y = k y las curvas S en la que se dan los datos de Cauchy
deben contener un u
nico punto de cada una de estas rectas si queremos que
el problema de Cauchy este bien planteado para todos los datos.
Las rectas y = k, en el primer ejemplo y las rectas x + y = k, en el
segundo, son caractersticas y ponen limitaciones al lugar en que se deben
dar los datos para que el problema de Cauchy asociado tenga siempre sentido
(poder dar datos arbitrarios sobre S). Las soluciones de ambas ecuaciones
son constantes a lo largo de las caractersticas y los datos h no pueden ser
arbitrarios a lo largo de las mismas.
Se puede comprobar, que la condicion de que S sea no caracterstica en
P para la ecuaci
on lineal, equivale a pedir que las ecuaciones
(
aux + buy = c
u(f (s), g(s)) = h(s)
determinen unvocamente el valor de todas las derivadas en S y cerca de P
de una posible solucion u de la ecuacion en un entorno de P . Es decir, que


a(f (s), g(s)) b(f (s), g(s))

 6= 0.
(1.7)


f 0 (s)
g 0 (s)
6

En general, el problema de Cauchy asociado a una ecuacion de primer

orden consiste en encontrar en un entorno de P una solucion u de clase C 1
del problema
(
F (x, y, u, ux , uy ) = 0
.
u(f (s), g(s)) = h(s)
Se dice que la curva en el espacio, (f (s), g(s), h(s)), por la que queremos
pasar una superficie, z = u(x, y), que verifique la ecuacion es no caraterstica,
si todas las derivadas parciales de u estan univocamente determinadas en P
por la ecuaci
on y la condici
on de Cauchy en S.
En las ecuaciones no lineales el ser no caraterstica depende en general
del dato de Cauchy h que damos sobre S y no solo de S. Por ejemplo, para
la ecuaci
on cuasilineal
a(x, y, u)ux + b(x, y, u)uy = c(x, y, u),

(1.8)

la curva, (f (s), g(s), h(s)), es no caracterstica si



a(f (s), g(s), h(s)) b(f (s), g(s), h(s))

 6= 0, para s cerca de s0 ,


f 0 (s)
g 0 (s)
condici
on que depende de los valores de h en S. En este caso, si a, b, c y
(f (s), g(s), h(s)) son respectivamente de clase C 1 en entornos de P y s0 , la
teora de las EDOs asegura que el sistema

t = a(x, y, z),

y = b(x, y, z),
t
(1.9)
z

t = c(x, y, z),

x(0, s) = f (s), y(0, s) = g(s), z(0, s) = h(s),

tiene una soluci
on de clase C 1 para (t, s) cerca de (0, s0 ). Ademas, si S es
no caraterstica en P , el Jacobiano de la transformacion
(
x = x(t, s),
(1.10)
y = y(t, s),
en (0, s0 ) es


a(f (s0 ), g(s0 ), h(s0 )) b(f (s0 ), g(s0 ), h(s0 ))

 6= 0


f 0 (s0 )
g 0 (s0 )
y el teorema de la funci
on inversa garantiza otra vez que el sistema (1.10)
se puede invertir para (x, y) cerca de P y (t, s) cerca de (0, s0 ). Si definimos
u(x, y) = z(t(x, y), s(x, y)),
7

la regla de la cadena muestra que u es de clase C 1 en un entorno de P y

haciendo t = 0 en la relaci
on, z(t, s) = u(x(t, s), y(t, s)), vemos que u verifica
la condici
on de Cauchy (1.2) en S y cerca de P . Derivando otra vez la misma
identidad respecto a t, concluimos que
z
x
y
= ux (x(t, s), y(t, s))
+ uy (x(t, s), y(t, s)) ,
t
t
t
que combinado con las identidades que verifican x(t, s), y(t, s) y z(t, s) en
(1.9), implica otra vez que u es solucion de (1.8) en un entorno de P .
En las ecuaciones de segundo orden puede haber caractersticas pero el
concepto es algo m
as complicado. En este caso, el problema de Cauchy consiste en encontrar una funci
on u(x, y) de clase C 2 que verifique la ecuacion
de segundo orden en un entorno de P y cuyas derivadas de orden menor
que dos sobre la curva S son conocidas . Por ejemplo, si S = {y = 0}, nos
podemos plantear encontrar u(x, y) de clase C 2 , definida cerca de (0, 0) y
tal que

uyy = F (x, y, u, ux , uy , uxx , uxy ),

u(x, 0) = 0 (x),

uy (x, 0) = 1 (x).
Se comprueba f
acilmente que y = 0 no es una curva caracterstica para
este u
ltimo problema de Cauchy:
Todas las derivadas de una posible soluci
on est
an unvocamente determinadas en la curva, y = 0, por las derivadas del dato de Cauchy, 0 , 1 y
las derivadas de F .

1.5.

Clasificaci
on de las ecuaciones lineales de segundo orden.

La ecuaci
on cuasilineal de segundo orden en dos variables es de la forma
auxx + 2buxy + cuyy = d,

(1.11)

donde a, b, c y d dependen de x, y, u, ux y uy . El problema de Cauchy

consiste en encontrar una solucion de (1.11) con valores compatibles de u,
ux y uy sobre una curva S. Si S = {(f (s), g(s))} el dato de Cauchy es
u(f (s), g(s)) = h(s), ux (f (s), g(s)) = (s), uy (f (s), g(s)) = (s)

(1.12)

y debe satisfacer la condicion de compatibilidad

h0 (s) = (s)f 0 (s) + (s)g 0 (s).

(1.13)

Esto equivale a dar sobre S los valores de u y los de su derivada normal

ux g 0 + uy f 0
p 0
= (s).
f 2 + g02

u(f (s), g(s)) = h(s),

8

(1.14)

Si u(x, y) es soluci
on de (1.11), la ecuacion (1.11) y las condiciones de
compatibilidad sobre S para los valores de ux y uy implican que
auxx + 2buxy + cuyy = d, f 0 uxx + g 0 uxy = 0 , f 0 uxy + g 0 uyy = 0

que es un sistema con coeficientes que dependen de s y del dato de Cauchy

y que tiene por inc

ognitas las derivadas segundas de u en S. Este
sistema
tendr
a soluci
on u
nica si


 a 2b c 
 0

0
0
4 = f g 0 0  = ag 2 2bf 0 g 0 + cf 2 6= 0.
 0 f 0 g0
Si 4 =
6 0 en (f (s0 ), g(s0 ), h(s0 ), (s0 ), (s0 )) y derivando la ecuacion
(1.11) se concluye que todas las derivadas de una solucion de (1.11), (1.12)
(o de (1.11) y (1.14)), est
an unvocamente determinadas a lo largo de la curva
(f (s), g(s), h(s), (s), (s)) y cerca de (f (s0 ), g(s0 ), h(s0 ), (s0 ), (s0 )) por
los datos de Cauchy y los valores de los coeficientes de la ecuacion (1.11) a
lo largo de la curva.
Las curvas caractersticas para (1.11), (1.12) son las curvas en R5
(f (s), g(s), h(s), (s), (s))
tales que 4 0 a lo largo de su recorrido. Si la ecuacion es lineal, la condicion
de ser caracterstica es independiente de las tres u
ltimas componentes del
dato de Cauchy (h(s), (s), (s)) y solo depende de la proyeccion de la curva
en el plano xy, a(x, y), b(x, y) y c(x, y), como ocurre con las ecuaciones de
primer orden; es decir, de su traza S = {(f (s), g(s))} en el plano xy.
En particular, en el caso lineal y si S esta dada implicitamente por la
ecuaci
on, (x, y) = cte. ((f 0 , g 0 ) es paralelo al vector (y , x )), la condicion
de ser curva caraterstica es
6= 0 y a(x, y)2x + 2b(x, y)x y + c(x, y)2y = 0.

(1.15)

Recprocamente, si verifica (1.15), las curvas (x, y) = cte. son curvas

caractersticas de la ecuaci
on.
La ecuaci
on lineal de segundo orden es
a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy = d(x, y, u, ux , uy )
y para encontrar una forma equivalente y mas sencilla de la ecuacion alrededor de un punto P = (x0 , y0 ), se puede consider un cambio de variables
abstracto
(
= (x, y),
= (x, y),

con funciones regulares , con Jacobiano no nulo. En tal caso, se puede

mostrar que u, como funci
on de las variables (, ), es solucion de la ecuacion
, u, u , u ),
a
u + 2bu + cu = d(,
donde
a
= ax2 + 2bx y + cy2 = A ,
b = ax x + b (x y + y x ) + cy y = A ,
c = ax2 + 2bx y + cy2 = A ,

y A es la matriz simetrica


a b
.
b c
Ejemplo 1. Las caractersticas de las ecuaciones, uyy c2 uxx = 0 y de
uxy = 0, son respectivamente las curvas, x cy = const. y x = const.,
y = const.
Si a y c son nulas en un entorno de P y b(P ) 6= 0, la ecuacion (1.11)
se reduce dividiendo por b y cerca de P a una ecuacion del tipo (1.16).
Supuesto que c > 0, la ecuacion caracterstica (1.15) tiene dos soluciones
independientes definidas en un entorno de P , (x, y) y (x, y), si E = ac
b2 < 0 cerca de P ; es decir, por cada punto en el entorno pasan dos curvas
caractersticas no paralelas. En este caso el operador se dice hiperb
olico y
con el cambio de variable de variables, = (x, y), = (x, y), la ecuacion
original se transforma en
u = F (, , u, u , u ).
Si adem
as hacemos el cambio, X = 21 ( + ), T =
ecuaci
on se transforma en una ecuacion de tipo ondas

(1.16)
1
2

( ), la u
ltima

uT T uXX = H(X, T, u, uX , uT )
y la ecuaci
on de ondas se considera la forma canonica de las ecuaciones de
tipo hiperb
olico.
Ejemplo 2. La ecuaci
on uxx + uyy = 0 no tiene curvas caractersticas.
Si E > 0 en un entorno de P , la ecuacion se dice de tipo elptico. En
este caso, podemos suponer que a y c son positivas en un entorno de P , A
es definida positiva y no hay curvas caratersiticas cerca de P . Sin embargo,
(1.15) tiene una soluci
on a valores complejos (x, y) y si
1
,
= ( + )
2

(x, y) =

10

( ),
2i

resulta que la ecuaci

on original se transforma en
u + u = G(, , u, u , u ),
y la ecuaci
on de Laplace se considera como la forma canonica de las ecuaciones de tipo elptico.
Ejemplo 3. Las caractersticas de la ecuacion uxx uy = 0 son las curvas
y = const.
Si E 0 en un entorno de P , la ecuacion se dice de tipo parab
olico. Por
cada punto pasa una u
nica caracterstica y la ecuacion caracterstica (1.15)
tiene una soluci
on (x, y) con gradiente no nulo en P . Ademas, E 0
implica que A 0 en un entorno de P . En este caso, tomando una
funci
on arbitraria (x, y) (si x 6= 0, considerar (x, y) = y y si y 6= 0,
hacer (x, y) = x) que complete el cambio de variables, la nueva ecuacion
es
u = M (, , u, u , u ).
La ecuaci
on del calor se considera como la forma canonica de las ecuaciones de tipo parab
olico.

1.6.

Teorema de Cauchy-Kowalevsky

Consideramos la versi
on para n = 2 en ecuaciones de primer orden con
datos de Cauchy en y = 0 y con uy despejada.
Teorema 2. Se considera el problema de Cauchy
(
uy = F (x, y, u, ux ) ,
(P1 )
u(x, 0) = h(x)
y supongamos que h es analtica en un entorno de 0 y que F lo es en un
entorno de (0, 0, h(0), h0 (0)). Entonces, existe una u
nica soluci
on analtica
de (P1 ) en un entorno de (0, 0).
Consideramos la versi
on para n = 2 en ecuaciones de segundo orden con
datos de Cauchy en y = 0 y con uyy despejada.
Teorema 3. Se considera el problema de Cauchy

uyy = F (x, y, u, ux , uy , uxx , uxy ) ,

(P2 )
u(x, 0) = 0 (x) ,

uy (x, 0) = 1 (x) .
y supongamos que 0 y 1 son funciones analticas en un entorno de 0 y
que F lo es en un entorno de
(0, 0, 0 (0), 00 (0), 1 (0), 000 (0), 01 (0)).
Entonces, existe una u
nica soluci
on analtica de (P2 ) en un entorno de (0, 0).
11

De la ecuaci
on y de las condiciones de Cauchy, todos los valores de
cij =

i+j u
(0, 0),
xi y j

quedan determinados por los datos y la ecuacion. Con estos, se puede escribir
formalmente la serie de Taylor de una posible solucion u en (0, 0), como
u(x, y) =

+
X
cij i j
xy .
i!j!

i,j=0

Lo interesante, que no haremos en clase, es comprobar que la serie converge en un entorno de (0, 0) y define efectivamente una solucion de (P1 ) o
(P2 ) en un entorno de (0, 0).
El problema de Cauchy
(
F (x, y, u, ux , uy ) = 0,
(1.17)
u(f (s), g(s)) = h(s),
es equivalente por medio del cambio de variables
(
x = f (s) + tg 0 (s),
y = g(s) tf 0 (s),
que transforma localmente la curva S = {(f (s), g(s))} en el plano (x, y) en
la curva t = 0 en el plano (t, s), a un problema del tipo
(
G(s, t, u, us , ut ) = 0,
(1.18)
u(s, 0) = h(s)
y que S sea no caracterstica en P = (f (s0 ), g(s0 )) para el problema de C
auchy (1.17) es equivalente a que t = 0 no lo sea para (1.18) en (s0 , 0); es
decir, que (1.18) se pueda escribir como
(
ut = H(s, t, u, us ),
u(s, 0) = h(s).
Adem
as, como la inversa o la composicion de funciones analticas de variable real son tambien analticas de variable real, el teorema de Teorema
de Cauchy-Kowalevsky garantiza que si F (x, y, z, p, q) en (1.17) es analtica
en (x, y, z, p, q), f , g, h son analticas en s0 y S es no caracterstica en P ,
entonces (1.17) tiene una u
nica solucion analtica
u(x, y) =

+
X
cij
(x f (s0 ))i (y g(s0 ))j
i!j!

i,j=0

12

en alg
un entorno de P .
Un enunciado an
alogo se puede dar para el problema de Cauchy asociado
a la ecuaci
on de segundo orden

F (x, y, u, ux , uy , uxx , uxy , uyy ) = 0,

u(f (s), g(s)) = h(s),

u
(s, 0) = (s),
si F , f , g, h, son analticas de variable real y S no es caracterstica para
este problema en P .
La unicidad en el teorema de Cauchy-Kowalevsky se refiere solo a soluciones analticas y no se excluye la existencia de soluciones que no sean
analticas. Las demostraciones de estos resultados las encontrareis en el libro
de F. John, Partial Differential Equations.

Condiciones iniciales o condiciones de contorno

Estos conceptos los entenderemos con algunos ejemplos asociado a la
ecuaci
on de Laplace y a la Ecuacion del calor:
El problema de contorno o problema de Dicihlet asociado a la ecuacion
de Laplace en un dominio Rn y con dato de contorno o de Dirichlet
en C(), consiste en encontrar u en C 2 () C(), que verifique
(
4u = 0 en ,
u=
en .
El problema de condiciones iniciales asociado a la ecuacion del calor en
Rn y con dato inicial en C(Rn ), consiste en encontrar u en C 2,1 (Rn
(0, +)) C(Rn [0, +)) tal que
(
4u t u = 0
en Rn (0, +),
u(x, 0) = (x) en Rn .
El problema de condiciones iniciales con condicion de contorno nula de
tipo Dirichlet para la ecuacion del calor en Rn y con dato inicial f
en C(), consiste en encontrar u en C 2,1 ((0, +))C([0, +))
que verifique

en (0, +),
4u t u = 0
u(x, 0) = f (x) en ,

u=0
en [0, +).

13

La condici
on de contorno se dice de tipo Neumann nula, cuando la
condici
on en la frontera lateral es:
u
= u = 0, en (0, +),

donde es el vector normal unitario exterior a .

Problema bien planteado

J. Hadamard introdujo el concepto de problema bien planteado en los
terminos siguientes: un problema esta bien planteado si existe soluci
on, es
u
nica y depende continuamente de los datos iniciales.
Un ejemplo de Hadamard : El problema de Cauchy para la ecuacion
(
uxx + uyy = 0,
u(x, 0) = uy (x, 0) = 0.
est
a mal planteado en el sentido de Hadamard, pues si resolvemos

uxx + uyy = 0,
u(x, 0) = 0,

uy (x, 0) = n1 sin nx,

su soluci
on es

1
sin nx sinh ny,
n2
y no hay dependencia continua porque aunque los datos iniciales sean muy
peque
nos (n muy grande), la solucion tiende a infinito con n.
Otro ejemplo:
La ecuaci
on, 4u = 0, en un dominio con condiciones de tipo Neumann
un (x, y) =

u
= en ,

no tiene soluci
on si la integral de sobre no es nula, pues por el teorema
de la divergencia,
Z
Z
Z
u
d =
d =
4u dx = 0;

y si lo es, la soluci
on no es u
nica, se pueden a
nadir constantes.
Una aclaraci
on importante: que un problema este bien planteado o no
depende de la elecci
on del espacio en que se busquen las soluciones. Un
problema puede tener m
as de una solucion pero solo una si nos restringimos
a una determinada clase de funciones. La dependencia continua siempre se
referir
a a la manera en que se mida la continuidad, dependera del espacio
14

en el que se midan los datos y de aquel donde se mida el tama

no de las
soluciones que se encuentren.
Los ejemplos anteriores muestran que el problema de Cauchy no esta
en general bien planteado: no hay en general dependencia continua de los
datos, como muestra el ejemplo de Hadamard. Sin embargo, los problemas
con condiciones iniciales y condiciones de contorno si estan en general bien
planteados para ciertas elecciones de los espacios donde se eligen los datos
y en donde se encuentran las soluciones.

15

Captulo 2

Ondas en una dimensi

on
2.1.

Deducci
on de la ecuaci
on

Tenemos una cuerda que se mueve y dos variables (x, t): (x, u(x, t)) es
la posici
on de la cuerda en tiempo t 0, (x) es la densidad de la cuerda,
que se supone independiente del tiempo, T (x, t) denota la magnitud de la
tensi
on de la cuerda en (x, u(x, t)), una fuerza que act
ua en la direccion de
la tangente a la posici
on de la cuerda en tiempo t y F (x, t) es la densidad
de la magnitud de una fuerza vertical que act
ua sobre la cuerda.
Consideramos un trozo de cuerda, de x a x + h. Por la segunda ley
de Newton, la fuerza total que act
ua sobre el segmento de cuerda entre
(x, u(x, t)) y (x + h, u(x + h, t)), es igual a la masa por la aceleracion:
(1, ux (x + h, t))
(1, ux (x, t))
T (x + h, t) p
T (x, t) p
2
1 + ux (x + h, t)
1 + u2x (x, t)
Z x+h
Z x+h
+ (0, 1)
(s)F (s, t) ds = (0, 1)
(s)utt (s, t) ds.
x

La primera componente de esta ecuacion muestra que

T (x, t)
p

1 + u2x (x, t)

es una funci
on constante de x que supondremos igual a T (t). La segunda
ecuaci
on implica que
utt c2 (x, t)uxx = F, si c2 (x, t) =

T (t)
.
(x)

Si suponemos que los extremos de la cuerda de longitud l permanecen

fijos en todo tiempo en las posiciones (0, 0) y (l, 0), que la posicion inicial de
la cuerda, u(x, 0) = f (x) y la velocidad inicial de la cuerda, ut (x, 0) = g(x),

16

son funciones conocidas, concluimos que u es la solucion del problema de

Cauchy con condiciones de contorno de tipo Dirichlet

utt c2 (x, t)uxx = F,

si 0 < x < l y t > 0,

u(x, 0) = f (x),
si 0 x l,

ut (x, 0) = g(x),
si 0 x l,

u(0, t) = u(l, t) = 0,
si t 0.
Si suponemos que c2 (x, t) c2 es constante, la ecuacion asociada es la
ecuaci
on de ondas unidimensional:
utt c2 uxx = F.

2.2.

Soluci
on de dAlembert

Buscamos la soluci
on general de la ecuacion homogenea
utt c2 uxx = 0.

(2.1)

Haciendo el cambio de variable = x + ct , = x ct (ya hecho en clase;

secci
on 1.3) se llega a la ecuacion
4c2 v = utt c2 uxx = 0
La soluci
on general de esta ecuacion es v(, ) = ()+(). Esto implica
que la de (2.1) es
u(x, t) = (x + ct) + (x ct).
Las gr
aficas de (x + ct) y (x ct) se dibujan desplazando las de (x)
y (x) a la izquierda y derecha, respectivamente, en un cantidad ct. Se dice
que u es la suma de una onda regresiva () y de una onda progresiva (); c
es la velocidad de propagaci
on.

2.3.

Problema de Cauchy para la ecuaci

on de ondas

Buscamos la soluci
on del problema de valores iniciales

utt c uxx = 0 , x R, t > 0 ,

u(x, 0) = f (x) , x R ,

ut (x, 0) = g(x) , x R .
Hay que determinar y de la solucion general de la ecuacion u(x, t) =
(x + ct) + (x ct), haciendo t = 0 en u y en ut . Tendremos, (x) + (x) =
17

f (x), 0 (x)+ 0 (x) = f (x) y 0 (x) 0 (x) = 1c g(x). Resolviendo este sistema
de ecuaciones:
Z
Z
1
1
1 x
1 x
g(s) ds + k, (x) = f (x)
g(s) ds k,
(x) = f (x) +
2
2c 0
2
2c 0
para alguna constante k que podemos suponer siempre que es igual a cero,
lo que da
Z
f (x + ct) + f (x ct)
1 x+ct
u(x, t) =
g(s) ds.
(2.2)
+
2
2c xct
El razonamiento anterior implica la uncidad de la solucion si suponemos
a priori que u C 2 (R (0, +)) C 1 (R [0, +)).
Si f es par o impar respecto a un punto x = l, entonces
f (x + ct) + f (x ct)
2
es respectivamente par o impar respecto al mismo punto x = l. Lo mismo
ocurre con
Z
1 x+ct
g(s) ds,
2c xct
cuando g es par o impar respecto a x = l.

2.4.

Dominios de dependencia y de influencia

Dependencia. La soluci
on en (x, t) depende del valor de f (posicion inicial) en dos puntos, x ct y x + ct y del valor de g (velocidad inicial) en el
intervalo, [x ct, x + ct].
Influencia. El valor de f en x0 interviene en el valor de la solucion sobre
los puntos que est
an en las rectas x ct = x0 y x + ct = x0 . El valor de g
en x0 interviene en el valor de la solucion sobre los puntos que estan en la
regi
on x ct < x0 < x + ct (cono de luz ).
Suponer que f vive en el intervalo [a, b] y que g es identicamente nula;
mostrar d
onde vive la soluci
on. Lo mismo, pero cambiando f y g.

2.5.

Ecuaci
on no homog
enea

Vamos a resolver

utt c uxx = F ,
u(x, 0) = 0 ,

ut (x, 0) = 0 ,

18

x R, t > 0 ,
x R,
x R.

Con el mismo cambio de variables,



+
v(, ) = u
,
,
2
2c
queda
2

4c v = F

+
,
2
2c


.

De u(x, 0) = 0 se deduce v(, ) = 0 y derivando v (, ) + v (, ) = 0. De

ut (x, 0) = 0 se deduce que v (, ) v (, ) = 0. Por tanto,
v(, ) = v (, ) = v (, ) = 0
y el dato de Cauchy de v a lo largo de la recta diagonal, = , es nulo.
Por el Teorema Fundamental del calculo, si (, ) esta en el semiplano
u > v, dibujando en un plano de coordenadas (u, v) el triangulo de vertices
(, ), (, ) y (, ), que denotamos T (, ), obtenemos que
Z
v (, ) =
v (, v) dv,

Z

v (u, ) du =

v(, ) =


v (u, v)dv du

Z
=

v (u, v)dudv


Z
1
u+v uv
v(, ) = 2
F
,
dudv.
4c T (,)
2
2c
T (,)

Con el cambio de variables de integracion, u = r + cs, v = r cs y

recordando que, = x + ct, = x ct, el triangulo T (, ) se transforma en
el tri
angulo caracterstico T (x, t) de vertices (x, t), (x ct, 0) y (x + ct, 0),
dudv = 2cdrds y
!
Z x+c(ts)
Z
Z
1
1 t
F (r, s) dr ds,
u(x, t) =
F (r, s) drds =
2c T (x,t)
2c 0
xc(ts)
El tri
angulo T (x, t) se denomina triangulo caracterstico porque sus lados
son las rectas caractersticas que pasan por (x, t), r+cs = x+ct, rcs = xct
y el eje real s = 0. Este tri
angulo es el dominio de dependencia de u(x, t)
con respecto a los valores de F .
El valor de F en (x, t) interviene (dominio de influencia) en el calculo de
los valores de la soluci
on u en los puntos de la region comprendida entre las
caractersticas que pasan por (x, t) y situada encima de la recta horizontal
s = t y se denomina dominio de influencia de los valores de F en (x, t).
Si F ( , t) es par o impar respecto a l R, para todo t 0, entonces
u( , t) es respectivamente par o impar respecto a l R, para todo t 0.
19

La soluci
on completa del problema de

utt c uxx = F (x, t) ,

u(x, 0) = f (x) ,

ut (x, 0) = g(x) ,

Cauchy no homogeneo
x R, t > 0 ,
x R,
x R,

es
1
f (x + ct) + f (x ct)
+
u(x, t) =
2
2c
+

2.6.

1
2c

x+ct

g(s) ds
xct
Z t Z x+c(ts)

F (r, s) drds.
0

xc(ts)

Soluciones generalizadas o d
ebiles.

Es f
acil comprobar que la solucion u es C 2 (R [0, +)) si f C 2 (R),
g C 1 (R) y F C 1 (R [0, +)). Sin embargo, aparecen de forma natural
datos iniciales que no tienen esa regularidad, por ejemplo, cuando f es lineal
a trozos (una cuerda que tiene esquinas). En esos casos, la solucion es regular
solo en ciertas regiones separadas por rectas en las que no es C 2 (ni siquiera
C 1 a veces). Estas singularidades de u aparecen a partir de las singularidades
de f , g y F y se propagan a lo largo de las rectas caractersticas que pasan
por las singularidades de f , g y F .
Estudiar la regularidad de u si f = |x|, g 0 y F 0.

2.7.

Ondas en una semirrecta

1. Condici
on de contorno de tipo Dirichlet. Buscamos la solucion del
problema

utt c uxx = 0 , x > 0, t > 0 ,

u(x, 0) = f (x) , x > 0 ,

ut (x, 0) = g(x) , x > 0 ,

u(0, t) = h(t) ,
t > 0.
La soluci
on general es u(x, t) = (x + ct) + (x ct) y como antes, las
condiciones iniciales determinan (x) y (x) para x > 0. Esto da la solucion
en la regi
on x ct > 0 con la misma expresion que en (2.2).
Haciendo x = 0, tenemos (ct) + (ct) = h(t) si t 0. Esto determina
(t) para t < 0:
(t) = h(t/c) (t),
de donde obtenemos que para x ct < 0,
u(x, t) =

f (x + ct) f (ct x)
1
+
2
2c
20

x+ct

ctx


x
g(s) ds + h t
.
c

La regularidad de u en x ct > 0 y en x ct < 0 se deduce de la

de f , g y h. La regularidad sobre la recta x = ct requiere condiciones de
compatibilidad, por ejemplo, u es continua sobre la recta si f (0) = h(0). Se
demuestra que u es C 2 en el primer cuadrante si f y h son C 2 ([0, +)), g
es C 1 ([0, +)) y se verifican las condiciones de compatibilidad f (0) = h(0),
g(0) = h0 (0) y h00 (0) = c2 f 00 (0).
Cuando h es nula, la solucion es la misma que la se obtiene al resolver
un problema en toda la recta con los datos iniciales f y g extendidos a
toda la recta de forma impar en 0 (Metodo de reflexiones) y considerando
la restricci
on de dicha soluci
on al primer cuadrante; es decir, extendiendo f
y g a R de forma que f (x) = f (x) y g(x) = g(x).
2. Condici
on de contorno de tipo Neumann. Ahora estudiamos el problema

utt c2 uxx = 0 , x > 0, t > 0 ,

u(x, 0) = f (x) , x > 0 ,

ut (x, 0) = g(x) , x > 0 ,

u (0, t) = h(t) , t > 0 .

x
No hay diferencias en x ct > 0. En x = 0 sale 0 (ct) + 0 (ct) = h(t) si
t > 0, de donde, (ct) (ct) = cH(t) donde H 0 (t) = h(t) y es
constante. Luego
(t) = (t) cH(t/c) +

para t < 0.

La soluci
on del problema en x ct < 0 es
Z x+ct

Z ctx
f (x + ct) + f (ct x)
1
u(x, t) =
+
g(s) ds +
g(s) ds
2
2c 0
0
Z tx/c
c
h(s) ds + 2k + .
0

Para que u sea continua en x = ct hay que escoger necesariamente k y

de forma que, 2k + = 0.
Observaci
on. Cuando h es nula la solucion es la misma que la que se
obtiene al resolver un problema en toda la recta con los datos iniciales f y g
extendidos a R como funciones pares respecto al 0 (metodo de reflexiones).

2.8.

Ondas en una cuerda finita

Situamos una cuerda de longitud l entre los puntos 0 y l. El problema

de la vibraci
on de la cuerda con condiciones de contorno de tipo Dirichlet es

utt c2 uxx = 0 ,
0 < x < l, t > 0 ,

u(x, 0) = f (x) ,
0 < x < l,

ut (x, 0) = g(x) ,
0 < x < l,

u(0, t) = h (t) , u(l, t) = h (t), t > 0 .

0
1
21

Otra vez, u(x, t) = (x + ct) + (x ct) y las condiciones iniciales dan

(s) y (s) cuando 0 < x < l. Con estos valores podemos escribir la solucion
del problema en el tri
angulo {(x, t) : t > 0 y 0 < x ct < x + ct < l}.
Usando las condiciones de contorno tenemos
(ct) + (ct) = h0 (t),

t > 0,

(l + ct) + (l ct) = h1 (t),

t > 0,

o bien,
(s) = (s) + h0 (s/c),

s < 0,

(l + s) = (l s) + h1 (s/c),

s > 0.

Se ve que empezando con y en el intervalo (0, l), estas dos ecuaciones

permiten definir (s) para todo s > 0 y (s) para todo s < l, lo que
determina u.
Observaci
on. Cuando h0 y h1 son nulas, la solucion es la misma que la
que se obtiene al resolver un problema en toda la recta con datos iniciales
extendidos de forma impar en 0 y en l respectvamente (metodo de reflexiones); es decir, extendiendo f y g a R de forma que f (x) = f (x) y
f (l + x) = f (l x), g(x) = g(x) y g(l + x) = g(l x).
Una funci
on impar respecto a 0 y l es automaticamente periodica de
periodo 2l.
Cuando las condiciones de contorno son de tipo Neumann hay que hacer
las mismas modificaciones que en el caso de la semirrecta. Si las condiciones
son nulas, las extensiones requeridas son pares en 0 y en l.
Ahora hay dos extremos y pueden haber dos condiciones de contorno
distintas, una de tipo Dirichlet y otra de tipo Neumann. Si son u(0, t) = 0
y ux (l, t) = 0, se construye la solucion extendiendo f como funcion impar
respecto a x = 0 y par respecto a x = l, g como funcion par respecto a x = l
e impar respecto a x = 0 y resolviendo el problema en toda la recta.
Una funci
on par respecto a 0 y l es automaticamente periodica de periodo
2l.
Una funci
on par respecto a 0 e impar respecto a l es automaticamente
peri
odica de periodo 4l.

2.9.

Conservaci
on de la energa

La funci
on
Z
E(t) =

c2 u2x (x, t) + u2t (x, t) dx

22

es constante en [0, +), si u C 2 ([0, l] [0, +)) es solucion de

utt c uxx = 0 , 0 < x < l, t > 0 ,

u(x, 0) = f (x) , 0 < x < l ,

ut (x, 0) = g(x) , 0 < x < l

que verifica condiciones de contorno de Dirichlet o Neumann nulas en la
frontera lateral del cilindro [0, l] [0, +).
Este resultado implica la unicidad de solucion al problema de Cauchy
asociado a la ecuaci
on de ondas con condiciones de contorno de tipo Dirichlet
o tipo Neumann en la clase de soluciones C 2 ([0, l] [0, +)).
El resultado tambien es cierto si la cuerda vibrante se remplaza por
una membrana o un s
olido; es decir, para otras dimensiones n del espacio
eucldeo en el que se encuentre Rn . En este caso, se utiliza el teorema
de la divergencia para mostrar que
Z
c2 |u|2 + u2t dx
E(t) =

es constante, si utt c2 u = 0 en [0, +) Rn+1 , u verifica condiciones

de contorno de Dirichlet o Neumann nulas en la frontera lateral de y
u C 2 ( [0, +)).
Demostraci
on.
Z
0
E (t) = 2 c2 u ut + ut utt dx
Z
Z


2
2
2
= 2 c (ut u) + ut utt c 4u dx = 2c

ut u d,

que es cero si u o su derivada normal son nulas la frontera lateral

(0, +).

23

Captulo 3

La ecuaci
on del calor en la
recta
3.1.

Deducci
on de la ecuaci
on

Sea R3 un s
olido y u(x, t) la temperatura en uno de sus puntos x
en tiempo t > 0. Si D es una parte peque
na de , la cantidad de calor en
D en tiempo t es
Z
Q(t) =

u(x, t) dx ,
D

donde es la densidad de . La variacion total del calor en D es

Z
0
ut (x, t) dx.
Q (t) =
D

Las leyes de la termodin

amica dicen que el flujo del calor M , un campo
vectorial, va de las regiones m
as calientes a las mas frias y que es proporcional
al gradiente de la temperatura: M = Au, donde A es el calor especfico.
La variaci
on total del calor en D coincide con la cantidad neta de calor
que entra y sale de D, junto los cambios de calor que son generados directamente sobre D por cambios de temperatura externos con densidad F (x, t);
es decir, si es la normal unitaria exterior a D,
Z
Z
Z
ut (x, t) dx =
M d +
F (x, t) dx,
D

Z
u d +

ut (x, t) dx = A
D

F (x, t) dx
D

y por el teorema de la divergencia

Z
[ut (x, t) A4u(x, t) F (x, t)] dx.
D

24

Como D es arbitrario, la temperatura verifica la ecuacion

ut c2 4u = F en D (0, +), c2 =

y con el cambio de variables, v(x, t) = u(cx, t), la ecuacion se transforma en

vt 4v = G(x, t), G(x, t) = F (cx, t),
que se denomina la ecuaci
on del calor.
Queremos resolver el problema de valores iniciales no homogeneo:
(
ut uxx = F,
x R, t > 0,
(3.1)
u(x, 0) = f (x), x R.
Lo natural es buscar la solucion en
C 2 (R (0, +)) C(R [0, +)) L (R (0, +)),
si f C(R) L (R) y F C (R [0, +)).

3.2.

Soluciones autosemejantes

Para resolver el problema de valores inciales no homogeneo (3.1), se

empieza por intentar resolver el problema de valores iniciales homogeneo
(
uxx ut = 0,
en R (0, +),
(3.2)
u(x, 0) = f (x), en R.
Para ello, buscamos primero las soluciones autosemejantes de la ecuaci
on, ut uxx = 0 y consideraremos sumasde estas soluciones, para obtener m
as soluciones. Despues, intentamos determinar los coeficientes de la
suma para que se verifiquen las condiciones iniciales.
Si u(x, t) verifica, ut uxx = 0 en R (0, +), tambien lo verifican
u (x, t) = u(x, 2 t), para todo real y u(x + x0 , t + t0 ), para todo (x0 , t0 )
en R2 .
Existen soluciones autosemejantes, es decir, tales que
u(x, 2 t) = u(x, t),

para alg
un y todo
> 0? Si esto ocurre, haciendo = 1/ t, tenemos que

u(x, t) = t/2 u(x/ t, 1), es decir,

u(x, t) = t/2 (x/ t), si (x) = u(x, 1).

A las soluciones de este tipo se las llama soluciones autosemejantes de
la ecuaci
on.
25


Si u(x, t) = t/2 (x/ t) es una solucion autosemejante, tiene que
verificar
s

00 (s) + 0 (s) (s) = 0

(3.3)
2
2
y si pedimos a la soluci
on que conserve el calor total, es decir, que u( , t)
sea integrable en R para todo t > 0 y que la integral en x de u no dependa
de t > 0,
Z
Z
u(x, t) dx = t

+1
2

(y) dy,
R

resulta que debe ser igual a 1. En este caso, (3.3) se reduce a

s
(0 + )0 = 0,
2
cuya soluci
on general es
2

s4

(s) = e

2
4

s2

d + e 4 , si , R.

De estas s
olo la segunda es integrable en R,
Z

e
0

s4

e
0

2
4

+ Z 1

s2

d ds =
se 4 (1 ) d ds
0
0
Z 1 Z +
Z
s2
2
se 4 (1 ) dsd = 2
=
0

y nos quedamos con la solucion, (s) = es

2 /4

u(x, t) = t1/2 ex

d
= +
1 2

. As

2 /4t

y elegimos la constante para que la integral en x de v(x, t) sea 1,

u(x, t) =

1 x2 /4t
e
.
4t

Esta funci
on verifica, ut uxx = 0, en R (0, +). Si la trasladamos en
la direcci
on espacial en una direccion dada, y R, es decir, consideramos
u(x y, t), tambien verifica la ecuacion del calor en R (0, +).
La funci
on
(
2
1 e|x| /4t ,
si t > 0,
4t
G(x, t) =
0,
si t 0,
se denomina el n
ucleo de Gauss o n
ucleo Gaussiano.
Escogiendo para cada y un valor f (y) y sumando sobre todos los valores
de y, obtenemos
Z
G(x y, t)f (y) dy,

u(x, t) =
R

26

(3.4)

que es una suma formal de soluciones y quizas una solucion del problema
de valores iniciales homogeneo (3.2).
Cada termino del integrando en la formula anterior es solucion de la
ecuaci
on del calor en las variables (x, t). Para que u sea solucion, necesitamos
primero, que la f
ormula (3.4) tenga sentido y despues, que se pueda derivar
bajo el signo integral. Usando el teorema de la convergencia dominada se
puede probar que esto es as si f L (R). Lo mismo es cierto si f Lp (R)
y 1 p . Lo u
ltimo se deduce facilmente a partir de las acotaciones en
el Teorema 4.

3.3.

La soluci
on al problema de valores iniciales

Cu
anto vale
on anterior si t = 0? Haciendo el cambio de varia la soluci
bles, x y = t z, resulta que
Z +

y2
1
f (x t y)e 4 dy.
u(x, t) =
4
De esta f
ormula, de la acotacion,
|f (x

t y) e

y2
4

| kf kL (R) e

y2
4

y del teorema de la convergencia dominada es facil deducir que

lm u(x, t) = f (x),

t0+

si f es continua en x y acotada en R.
Teorema 4. Si f C(R) L (R), la funci
on definida por (3.4) verifica

que, u C (R(0, +))C(R[0, +))L (R[0, +)) y es soluci

on
de (3.2).
1

Demostraci
on. Como G(x, t) = t 2 ( xt ), (s) =
0, en R (0, +), se verifica que

s
1 e 4
4

y t G x2 G =

x t G(x, t) = x+2 G(x, t)

= t

1++2
2

1++2
x2
x
x
(+2) ( ) = t 2 P+2 ( )e 4t ,
t
t

donde P+2 es un polinomio de grado + 2. De estas formulas, se deduce

que para todo  > 0 y R > 0 existe N = N (, R, , ) > 0 tal que
|x t G(x y, t)| N ey

2 /N

27

, si |x| R y  t R.

Esto y el teorema de convergencia dominada muestran que u esta en C (R

(0, +)) si f L (R). Ademas, como
Z
Z
G(z, t) dz = 1, si t > 0,
(3.5)
G(x y, t) dy =
R

se verifica que
|u(x, t)| kf kL (Rn )
y u est
a acotada en el semiplano superior.
Para mostrar la continuidad de u en R{0} se utiliza la continuidad de f
en R, el decaimiento en el infinito y la propiedad (3.5) del nucleo Gaussiano:
fijado x0 R y dado  > 0, existe un > 0 tal que |f (y) f (x0 )| , si
|y x0 | < y
Z
|u(x, t) f (x0 )|
Z
+

G(x y, t)|f (y) f (x0 )| dy

B (x0 )

Rn \B (x0 )

G(x y, t)|f (y) f (x0 )| dy

Z
 + 2kf k
G(x y, t) dy, (3.6)
Rn \B (x0 )

para todo (x, t) en el semiplano superior. Por otro lado, |yx0 | 2|yx|,
si |x x0 | /2 y |y x0 | , de donde
1

G(x y, t) (4t) 2 e

|xy|2
8t

|yx|2
8t

(4t) 2 e 32t e

|yx|2
8t

y
Z

G(x y, t) dy N e 32t , si |x x0 | /2 .

(3.7)

Rn \B (x0 )

De (3.6) y (3.7) se deduce que

2

|u(x, t) f (x0 )|  + 2N kf kL (R) e 32t , si |x x0 | /2

y que u es continua en (x0 , 0).

Algunas propiedades de la soluci

on obtenida:
Si m f (x) M , entonces m u(x, t) M para todo x R y t > 0,
es decir, las temperaturas m
axima y mnima originales no se pueden superar
ni por arriba ni por abajo.
Demostraci
on. Escribir la f
ormula para u(x, t), utilizar que m f M y
R
que R G(z, t) dz = 1, si t > 0.
28

 Conservaci
on del calor :
adem
as f est
a en L1 (R).

R u(x, t) dx

R f (x) dx,

para todo t > 0, si

Demostraci
on. Si f tiene soporte compacto, u( , t) y sus derivadas decaen
hacia cero si x tiende hacia y
Z
Z
x2 u(x, t) dx = 0.
u(x, t) dx =
t
R

El caso general se obtiene aproximando f con funciones de soporte compacto. Tambien se puede utilizar el siguiente razonamiento que justifica el
teorema de Fubini-Tonelli:
Z

Z
Z
Z
f (y) dy.
f (y)
G(x y, t) dx dy =
u(x, t) dx =
R

Si adem
as f est
a en L2 (R), entonces
Z

|x u(x, t)| dxdt =

u (x, T ) dx + 2
0

f 2 (x) dx,

(3.8)

para todo T > 0. Aqu s

olo explicamos la demostracion cuando f tiene
soporte compacto.
Demostraci
on. Si f tiene soporte compacto, u( , t) y sus derivadas decaen
hacia cero si x tiende hacia y


0 = u t u x2 u = 21 t u2 + (x u)2 x (ux u).
La identidad es consecuencia de integrar la formula anterior en R(0, T ).
El an
alogo de la identidad anterior para cilindros acotados es la siguiente f
ormula: si u C 2 ( (0, +)) C( [0, +)) verifica

t u 4u = 0, en (0, +),
u(x, 0) = f (x) en ,

u o u
en (0, T ).
= 0,
Entonces,
Z

|u| dxdt =

u (x, T ) dx + 2

f 2 (x) dx,

(3.9)

para todo T > 0. Las identidades (3.9) y (3.8) se conocen como la identidad
de energa para la ecuaci
on del calor.

29

Demostraci
on. Se integra sobre (0, T ) la identidad
0 = u (t u 4u) = 12 t u2 + |u|2 (uu) .
y se aplica el teorema de la divergencia para concluir que
Z
Z
(uu) dx =
u u
d = 0

y
Z

|u(x, t)| dxdt = 0, para todo T > 0.

u (x, T ) dx + 2

La acotaci
on an
aloga asociada a la

t u 4u = F,
u(x, 0) = f (x)

u = 0,

solucion del problema no homogeneo

en (0, +),
en ,
en (0, T ),

(3.10)

es la siguiente: si u C 2 ( [0, +)) verifica (3.10), T > 0 y es acotado,

entonces
sup ku(t)kL2 () + kukL2 ((0,T )) kF kL1 ((0,T ),L2 ()) .

(3.11)

0tT

Demostraci
on. Se integra sobre (0, T ) la identidad
uF = u (t u 4u) = 21 t u2 + |u|2 (uu) .
y se aplica el teorema de la divergencia para concluir que
Z TZ
Z TZ
Z
2
2
u(t)F (t) dxdt
u (x, T ) dx + 2
|u(x, t)| dxdt =
0

y
sup
0tT

ku(t)k2L2 ()

kuk2L2 ((0,T ))

|u(t)F (t)| dxdt, si T > 0.

0

(3.12)
Por las desigualdades de H
older y Young,
Z TZ
Z T
|u(t)F (t)| dxdt
ku(t)kL2 () kF (t)kL2 () dt
0

sup ku(t)kL2 () kF kL1 ((0,T ),L2 ())

0tT

1
sup ku(t)k2L2 () + kF k2L1 ((0,T ),L2 ()) ,
4 0tT

y (3.11) es consecuencia de (3.12) y de la u

ltima desigualdad.
30

3.4.

La unicidad

La funci
on

x
2
x G(x, t) =
ex /4t
3
2 4t

cumple la ecuaci
on del calor en t > 0 y lmt0+ x G(x, t) = 0, para todo
x. Si entendemos la condici
on inicial en este sentido, tenemos una solucion
no nula del problema (3.2) y con f nula. Por tanto, no habra unicidad.
Ahora bien, si entendemos la condicion inicial como un lmite en las dos
variables, esta soluci
on ya no valdra, pues al acercarnos al (0, 0) a lo largo
2
de la par
abola x = t, el lmite es infinito.
Ejemplo de Tychonoff. La funcion
u(x, t) =

g (k) (t)

k=0

x2k
(2k)!

g(t) = e1/t , g(0) = 0,

(3.13)

verifica la ecuaci
on del calor en R2 , u C (R2 ) y u( , 0) 0. Ademas,
existe N 1 tal que
|u(x, t)| N e

N x2
12
t
Nt

, si x R y t > 0;

(3.14)

es decir, u crece demasiado en el infinito en cada tiempo fijo, t > 0.

Demostraci
on. Con la f
ormula de representacion de Cauchy para las derivadas de una funci
on analtica mostraremos que existe N 1 tal que
1

|g (k) (t)| N 1+k k!tk e N t2 , si t > 0 y k 0.

(3.15)

Esta acotaci
on y la f
ormula de Stirling,
lm

k+

k!
2k

k k
e

= 1,

implican que el termino general de la serie (3.13) verifica





2k 
2 k
 (k)
1
g (t) x  N N x
e N t2 , si x R, t > 0 y k 0,


(2k)!
k!
t
que la serie (3.13) converge uniformemente sobre compactos de R (0, +),
que su suma u verifica (3.14), es continua en R2 y u( , 0) 0. Lo mismo es
cierto para cualquier derivada de u.
Para ver que (3.15) es cierto, dado t > 0 y  en (0, 1),
g

(k)

k!
(t) =
2i

e1/z

Z
|zt|=t

31

(z t)k+1

dz,

por la f
ormula de Cauchy y elegimos  > 0 peque
no de forma que Bt (t)
este inscrito en un cono con vertice en (0, 0) y con angulo medio de apertura
igual a /8. Entonces, existe N 1 tal que si z = rei , se verifica
< 1/z 2 = r2 cos 2

1
, si |z t| = t, t > 0
N t2

y
|g

(k)

k!
(t)|
2

e N t2

Z
|zt|=t

(t)k+1

|dz| N 1+k k!tk e N t2 .

De lo anterior concluimos que la ecuacion del calor en R (0, +) no

tiene soluci
on u
nica sin exigir condiciones adicionales a la solucion.
En los resultados siguientes veremos algunas condiciones adicionales que
garantizan la unicidad de solucion para el problemas de valores iniciales
sobre un intervalo de R, un dominio acotado de Rn , la recta real R y el
espacio eucldeo Rn .
Teorema 5 (Principio del m
aximo debil). Sean T = (a, b) (0, T ] y T =
[a, b] {0} {a, b} (0, T ], la frontera parab
olica del cilindro T y 0 < T <
+. Si u C(T ) C 2 (T ) y xx u t u 0 en T , entonces
max u max u.
T

An
alogamente hay un principio del mnimo debil: aplicar el Teorema 5
a u, si xx u t u 0 en T y concluir que
mn u mn u.
T

Demostraci
on. Suponemos primero que uxx ut > 0 en T . Si u tiene
un m
aximo local en alg
un (x0 , t0 ) que es interior a T , se verifica que
ut (x0 , t0 ) = 0 y uxx (x0 , t0 ) 0. Si hubiera un maximo local en (x0 , T ),
para alg
un a < x0 < b, se tendra que, ut (x0 , T ) 0 y uxx (x0 , T ) 0 y
ambos casos son incompatibles con la hipotesis, uxx ut > 0 en T .
Si uxx ut 0 en T , definimos u (x, t) = u(x, t)+x2 y por el resultado
anterior
m
ax u m
ax u max u max u +  max {a2 , b2 },
T

lo que implica el resultado si hacemos  tender a 0.

Lo mismo es cierto en Rn si T = (0, T ], T = {0}(0, T ],
4ut u 0 en T , es un abierto acotado de Rn y n 2. En este caso, en
un posible m
aximo interior (x0 , t0 ) a T , la matriz Hessiana de u en (x0 , t0 )
es semidefinida negativa y su traza, 4u(x0 , t0 ), es menor o igual que cero.
32

 Consecuencia: unicidad de solucion al problema de valores iniciales

asociado a la ecuaci
on del calor con condiciones de Dirichlet en la frontera
lateral cuando la base es un intervalo o un abierto acotado en Rn y para
soluciones en C 2 ( (0, T ]) C(T ): para verificarlo aplicar el principio
del m
aximo debil a (u1 u2 ) en T , si u1 y u2 son soluciones en C 2 (
(0, T ]) C(T ) de

4u t u = F, en (0, T ],
u(x, 0) = f (x), en ,

u = 0 en (0, T ],
para concluir que u1 = u2 en [0, T ].
Teorema 6 (Principio del maximo debil para R). Sea u C(R [0, T ])
C 2 (R (0, T ]) y tal que xx u t u 0 en R (0, T ], u(x, t) M en
R [0, T ], para alg
un M 0 y u(x, 0) = f (x) en R. Entonces
u(x, t) sup f, si x R y 0 t T.
R

Demostraci
on. Fijado y R y 0 < 1, consideramos la funcion


v (x, t) = u(x, t) |x y|2 + 2t .
Se verifica que, xx v t v 0 en R (0, T ] y por el principio del
maximo debil para cilindros acotados
v (y, t) m
ax v , si = [y , y + ] {0} {y , y + } [0, T ]

y 0 t T . En la parte lateral de
|x y|2 + 2t 2

y v (x, t) M 2 sup f,
R

si (M, supR f, ). Por tanto,

v (y, t) = u(y, t) 2t sup f, si 0 t T
R

y haciendo,

0+ ,

obtenemos el resultado.

Lo mismo funciona en Rn (0, T ] si cambiamos v por

v (x, t) = u(x, t) |x y|2 + 2nt .
Consecuencia: unicidad de solucion para el problema de condiciones
iniciales asociado a la ecuacion del calor en R (0, +) en la clase de
soluciones C 2 (R (0, +)) C(R [0, +)) L (R [0, +)). Si f
L (R) C(R), la soluci
on de (3.2) generada con el n
ucleo de Gauss esta en
C 2 (R (0, +)) C(R [0, +)) L (R [0, +)) y es u
nica.
La conclusi
on del Teorema 6 tambien es valida si la condicion, u(x, t)
2
M , se cambia por, u(x, t) M eM |x| en R [0, T ], para alg
un M > 0
(Comparar esto con las soluciones de Tychonoff).
33

3.5.

Ecuaci
on no homog
enea: m
etodo de Duhamel

Buscamos una soluci

on para el problema no homogeneo
(
ut uxx = F (x, t), x R, t > 0,
u(x, 0) = 0,
x R.

(3.16)

La ecuaci
on diferencial ordinaria no homogenea con condicion inicial
(
y 0 + ay = F (t),
y(0) = 0,
se resuelve por el metodo de variacion de las constantes, que es equivalente
al metodo de Duhamel que describimos a continuacion: la solucion y(t) se
puede escribir como
Z
t

y(t) =

(t, s) ds.
0

Entonces,
y 0 (t) = (t, t) +

t (t, s) ds,

y 0 + ay = (t, t) +

t (t, s) + a(t, s) ds
0

y si queremos que y sea solucion, esto se cumplira si elegimos de forma

que
(
t (t, s) + a(t, s) = 0, en (s, +)
(s, s) = F (s), en t = s,
que es un problema homogeneo que sabemos resolver. Si w(t, s) es la solucion
de la ecuaci
on homogenea
(
wt (t, s) + aw(t, s) = 0, en (0, +)
w(0, s) = F (s), en t = 0,
w(t, s) = eat F (s) y (t, s) = w(t s, s); es decir.
Z t
y(t) =
w(t s, s) ds.
0

Para resolver (3.16), procedemos de forma similar

Teorema 7. Si w( , , s) es la soluci
on de
(
wt x2 w = 0,
x R, t > 0,
w(x, 0, s) = F (x, s), x R,
entonces
Z

Z tZ
w(x, t s, s) ds =

u(x, t) =
0

G(x y, t s)F (y, s) dyds

0

es soluci
on de (3.16).
34

(3.17)

Demostraci
on. Para deducir tal formula, escribimos
Z t
(x, t, s) ds
u(x, t) =
0

y un c
alculo formal muestra que
t u

x2 u

= (x, t, t) +

t x2 (x, t, s) ds.

Lo l
ogico es elegir de forma que
(


t x2 (x, t, s) = 0,
(x, s, s) = F (x, s),

en R (s, +),
en R {s}

y como la ecuaci
on es invariante por traslaciones,
(x, t, s) = w(x, t s, s).
Finalmente,
Z
G(x y, t)F (y, s) dy.

w(x, t, s) =
R

El principio de Duhamel se puede aplicar tambien a la ecuacion de ondas

no homogenea.
Teorema 8. Sea w( , , s) la soluci
on de

2
2 2

x R, t > 0,
t w c x w = 0,
w(x, 0; s) = 0,
x R;

t w(x, 0; s) = F (x, s), x R,

entonces
Z

w(x, t s, s) ds

u(x, t) =

(3.18)

es soluci
on de la ecuaci
on de ondas

2
2 2

t u c x u = F (x, t),
u(x, 0) = 0,

ut (x, 0) = 0,

x R, t > 0,
x R,
x R.

(3.19)

Podeis comprobar que esto coincide con los resultados obtenidos anteriormente para esta ecuaci
on.

35

Demostraci
on. El lector puede comprobrar que (3.18) es formalmente una
soluci
on de (3.19). Para deducir la formula, escribimos
Z t
(x, t, s) ds
u(x, t) =
0

y un c
alculo formal muestra que
t2 u c2 x2 u = t (x, t, t) +

t2 c2 x2 (x, t, s) ds,

si suponemos que (x, t, t) = 0. Lo logico es elegir de forma que

(


t2 c2 x2 (x, t, s) = 0,
en R (s, +),
(x, s, s) = 0, t (x, s, s) = F (x, s), en R {s}
y como la ecuaci
on es invariante por traslaciones,
(x, t, s) = w(x, t s, s).

3.6.

La ecuaci
on del calor en un cilindro

La soluci
on del problema
(
ut uxx = F (x, t),
u(x, 0) = f (x),

en R (0, +),
en R,

es par o impar respecto a x = l en todo tiempo t > 0, si la misma propiedad

es cierta para f y F ( , t), para todo t > 0. Por ello, podemos utilizar el
metodo de reflexiones para encontrar la solucion del problema

ut uxx = F (x, t), x > 0, t > 0,

u(x, 0) = f (x),
x > 0,

u(0, t) = 0,
t > 0,
resolviendo un problema en todo R, que tiene por datos las extensiones
impares a R de f y F ( , t). Si F 0, la solucion es
Z
h
i
1
2
2
f (y) e(xy) /4t e(x+y) /4t dy.
u(x, t) =
4t 0
Si la condici
on de contorno es de tipo Neumann, ux (0, t) = 0, la extensi
on debe ser par.
El metodo de reflexiones tambien funciona para la ecuacion del calor
con condiciones de Dirichlet, Neumann o con condiciones mixtas sobre un
36

intervalo finito. Para ello, se calculan las correspondientes extensiones de f y

F ( , t) a todo R como funciones pares o impares respecto a los extremos del
intervalo, se resuelve el problema asociado a las extensiones de f y F ( , t)
sobre R y se restringe la solucion calculada al cilindro asociado al intervalo.
El metodo de Duhamel funciona de forma analoga en un cilindro de
base finita o de media recta.

37

Captulo 4

Separaci
on de variables
4.1.

Calor en una barra finita: m

etodo de Fourier

Consideramos el problema

ut uxx = 0 ,
u(x, 0) = f (x) ,

u(0, t) = u(, t) = 0 ,

0 < x < ,t > 0,

0 < x < ,
t > 0.

(4.1)

El metodo de Fourier (separaci

on de variables) consiste en buscar soluciones no nulas en variables separadas de la ecuacion, u(x, t) = X(x)T (t),
que cumplan las condiciones de contorno laterales. Despues se intenta que
una combinaci
on linealo suma infinita de estas verifique la condicion inicial y sea la soluci
on de la ecuacion.
Si u(x, t) = X(x)T (t) es una solucion no nula en [0, ] de ut uxx = 0,
se debe cumplir que, X(x)T 0 (t) X 00 (x)T (t) = 0; es decir,
T 0 (t)
X 00 (x)
=
,
X(x)
T (t)
son funciones constantes y podemos suponer que para alg
un R,
T 0 (t)
X 00 (x)
=
= .
X(x)
T (t)
Las condiciones de contorno exigen que X(0) = X() = 0, de modo
que necesitamos encontrar las soluciones no nulas del problema (llamado de
Sturm-Liouville)
(
X 00 + X = 0 en [0, ],
(4.2)
X(0) = X() = 0.
Es f
acil comprobar que (4.2) tiene soluciones no nulas si y solo si, = k 2
(valores propios), k = 1, 2, . . . y que estas soluciones son m
ultiplos de sin kx
38

(funciones propias). Para estos valores de , las correspondientes soluciones

no nulas de la ecuaci
on,
T 0 + T = 0,
son m
ultiplos de ek

2t

y las soluciones de variables separadas de (4.1), son

uk (x, t) = ek

2t

sin (kx), si k 1.

Para resolver (4.1) y suponiendo que no hubiera problemas para la convergencia y la conmutaci
on de las derivadas con la suma infinita, la ecuacion
y las condiciones de contorno se cumplen si tomamos por solucion de (4.1),
la suma infinita

X
2
u(x, t) =
bk ek t sin kx.
(4.3)
k=0

Para la condici
on inicial necesitaramos (formalmente) que

bk sin kx = f (x)

(4.4)

k=1

y la cuesti
on que surge es si existen coeficientes bk que hagan posible la
identidad.
Una familia ortogonal de funciones {k : k 1} es completa en L2 (a, b)
si para toda f en L2 (a, b) existen n
umeros {k } tales que,
kf

N
X

k k kL2 (a,b)

k=1

tiende a cero, si N +. En tal caso,

Z

Z
(f TN f ) l dx +

f l =
a

TN f l dx
Z b
Z b
=
(f TN f ) l dx + l
2l ,

si N l 1 y TN f =

PN

k=1 k k .

Por la desigualdad de Holder


Z b



(f TN f ) l dx kf TN f kL2 (a,b) kl kL2 (a,b)

a

que tiende a cero si N crece. Es decir,

Z
l =

Z
f l dx/

39

2l dx, si l 1.

(4.5)

P
Si {k } es completa, la serie +
k=1 k k se denomina serie de Fourier de
f en la base {k }. La ortogonalidad de {k } y (4.5) implican la desigualdad
de Bessel para {k }
kf

N
X

k k k2L2 (a,b)

kf k2L2 (a,b)

N
X

k2

2k dx 0, si N 1 (4.6)

k=1

k=1

y pasando al lmite
+
X

k2

Z
a

k=1

2k dx kf k2L2 (a,b) .

La completitud de {k } y (4.6) dan la identidad de Parseval o de Plancherel para {k },

kf k2L2 (a,b) =

+
X

k2

2k dx, si f L2 (a, b).

k=1

4.2.

Criterio de Weierstrass

Teorema 9 (Criterio de Weierstrass). Si {fk } es una sucesi

on de funciones,
fk : R, es una abierto en Rn y para cada K compacto de
existe una sucesi
on {Mk } de n
umeros positivos tales que
|fk | Mk en K

+
X

Mk < +.

k=1

P+

Entonces, la serie de funciones,

k=0 fk , converge uniformemente sobre
compactos de . Adem
as, si fk C(), para todo k 1, entonces f C().
P
Demostraci
on. Si SN (x) = +
k=1 fk (x) y 1 N < M ,
|SN (x) SM (x)|

M
X

Mk , si x K,

k=N +1

suma que ser

a m
as peque
na que  > 0, si N N . Es decir, {SN } es una

sucesi
on de Cauchy en L (K) y la serie converge uniformemente sobre K.
La suma de la serie ser
a continua en , por ser lmite uniforme de funciones
continuas sobre compactos de , si cada fk C().
Teorema 10 (Derivabilidad de una serie de funciones). Si adem
as, fk
C 1 (), para todo k 1 y para cada K compacto existe una sucesi
on
Nk , tal que


+
X
 fk 
 Nk en K,
Nk < y 
xi 
k=0

40

para cada i = 1, , n y k 1. Entonces, f C 1 () y

+

X fk
f
=
, para i = 1, . . . , n.
xi
xi
k=0

La demostraci
on la podeis encontrar en el libro J.E. Marsden y M. J.
Hoffman, An
alisis Cl
asico Elemental.

4.3.

Series de Fourier

Serie trigonom
etrica de periodo 2
Es toda serie de la forma

a0 X
+
(ak cos kx + bk sin kx).
2
k=1

Al haber un paso al lmite, que es la suma de la serie, esta puede

entenderse de distintas formas: convergencia puntual, uniforme, en normas
variadas. . .

Coeficientes de Fourier
De la ortogonalidad de la familia {1, cos kx, sin kx} en [, ], si f
coincide con la suma de su serie de Fourier y la serie converge uniformente
(o en L2 (, )) a f , se obtiene que
Z
Z
1
1
f (x) cos kx dx y bk =
f (x) sin kx dx, si k 0
ak =


y se denominan los coeficientes de Fourier de f en [, ]. Estos tienen
sentido y se pueden calcular si f esta en L1 (, ).
La serie trigonometrica construida con estos coeficientes se llama la
serie de Fourier de f .
Las propiedades elementales de los coeficientes de Fourier son
Linealidad: ak (f + g) = ak (f ) + ak (g), bk (f + g) = bk (f ) + bk (g).
Acotaci
on: |ak |, |bk | kf k1 /, si k 0.
Lema de Riemann Lebesgue: Si f L1 (, ), entonces
lm ak = lm bk = 0.

41

Demostraci
on. Si f = [a,b] , [a, b] [, ],
Z
sin kb sin ka
1 b
cos kx dx =
ak (f ) =
,
a
k
que tiende a cero, si k +. Si f C([, ]), para cada  > 0 existe
una partici
on,
P =1x0 < x1 < . . . < xN = , de forma que la funcion
escalonada, S = N
i=0 f (xi )[xi ,xi+1 ) verifica, kf SkL (,) 2 y
|ak (f )| |ak (f S)| + |ak (S)|  + |ak (S)|, para todo k 1.
Como lmk+ ak (S) = 0, podremos encontrar k tal que |ak (f )| 2,
si k k . En general, si f L1 (, ), existe g C([, ]), tal que
kf gkL1 (,)  y
|ak (f )| |ak (f g)| + |ak (g)|  + |ak (g)|, para todo k 1.
Como lmk+ ak (g) = 0, podremos encontrar k tal que, |ak (f )| 2, si
k k .
Si f C 1 ([, ]) y f () = f (), la relacion entre los coeficientes
de Fourier de f y f 0 es la siguiente:
ak (f 0 ) = kbk (f ) , bk (f 0 ) = kak (f ), si k = 1, 2, 3 . . .
Si f C ([, ]) y sus derivadas son periodicas de periodo 2, los
coeficientes de Fourier de f verifican
2
kf (N ) kL1 (,) , para todo k 0 y N 1.
kN
Demostraci
on. Integrar por partes.
|ak (f )| + |bk (f )|

N
ucleo de Dirichlet
Si SN (f )(x) es la N -esima suma parcial de la serie de Fourier de una
funci
on f en L1 (, ),
"
#
Z
N
1
1 X
SN (f )(x) =
f (t)
+
cos kx cos kt + sin kx sin kt dt

2
k=1
"
#
Z
N
1
1 X
=
f (t)
+
cos k(x t) dt.

2
k=1

La f
ormula, 2 cos x sin y = sin (x + y) sin (x y), muestra que
(
)
N
y 
1 X
2
+
cos ky sin
2
2
k=1


 



N 
y  X
1
1
1
= sin
+
sin k +
y sin k
y = sin N +
y
2
2
2
2
k=1

42

y
SN (f )(x) =

f (t)DN (x t) dt, donde DN (x) =

sin(N + 1/2)x
.
2 sin (x/2)

La funci
on DN se denomina n
ucleo de Dirichlet. Es una funcion regular
y peri
odica de periodo 2.
Extendiendo f a todo R como una funcion periodica de periodo 2 y
haciendo el cambio de variables natural, podemos escribir
Z
Z
1
1
f (x t)DN (t) dt =
f (x + t)DN (t) dt.
(4.7)
SN (f )(x) =


Como SN (1) 1, (4.7) implica que
Z
1
DN (t) dt = 1.

(4.8)

Resultados de convergencia
A partir del lema de Riemann-Lebesgue y de la representacion (4.7) con
el n
ucleo de Dirichlet podemos probar el siguiente resultado de convergencia
puntual de la serie de Fouriter:
Teorema 11. Si f : [, ] R verifica, f () = f () y para alg
un
> 0 y M > 0,
|f (x) f (y)| M |x y| , si x e y [, ].

(4.9)

Entonces, lmN SN (f )(x) = f (x) en [, ].

Demostraci
on. La extensi
on periodica de f a todo R verifica (4.9) y por
(4.8), podemos escribir
Z
1
SN (f )(x) f (x) =
[f (x t) f (x)] DN (t) dt

Z
1 f (x t) f (x)
sin (N + 21 )t dt = b 1 (gx ),
=
N+ 2

2 sin ( 2t )
si
gx (t) =

f (x t) f (x)
.
2 sin ( 2t )

La condici
on de regularidad (4.9) muestra que gx L1 (, ),
|gx (t)|

M |t|
. |t|1 , si |t|
| sin ( 2t )|

y por el Lema de Riemann-Lebesgue,

lm b 1 (gx )
N + N + 2

43

= 0.

Desigualdad de Bessel
Teorema 12. Si f L2 (, ), entonces

a20 X 2
1
+
(ak + b2k )
2

k=1

|f (x)|2 dx.

(4.10)

Demostraci
on. La familia de funciones {1, cos kx, sin kx} es ortogonal en
L2 (, ),
Z
Z
2
sin2 kx dx = , si k 1
cos kx dx =

y la desigualdad de Bessel asociada es (4.10).

Un resultado de convergencia uniforme

Sabemos que si una sucesion de funciones continuas converge uniformemente, el lmite es una funci
on continua y por tanto, si una serie de Fourier
converge uniformemente, su suma es una funcion continua.
Teorema 13. Sea f C 1 ([, ]) o C 1 a trozos y tal que f () = f ().
Entonces, su serie de Fourier converge uniformemente a f en [, ].
Demostraci
on. Una tal f verifica las condiciones del teorema 11 con = 1
y M = kf 0 kL (,) , y su serie de Fourier converge puntualmente a f en
[, ]. Al mismo tiempo,


|ak | + |bk | k 2 + k 2 a2k + b2k , si k 1.
(4.11)
La relaci
on entre los coeficientes de Fourier de f y los de su derivada, la
desigualdad de Bessel y (4.11) implican que
+
X
k=1

a2k

b2k

+
X
k=1

1
ak (f ) + bk (f )

0 2

0 2

f 02 (x) dx

y la convergencia uniforme de la serie de Fourier se sigue del criterio de

Weierstrass y de la desigualdad
|ax cos kx + bk sin kx| |ak | + |bk |, si k 1.

Una vez conocido este resultado, podemos demostrar la identidad de

Parseval para {1, cos kx, sin kx} con un argumento de densidad y deducir
que dicha familia forma un sistema completo en L2 (, ).
Teorema 14. La serie de Fourier de una funci
on f L2 (, ) converge
2
a f en L (, ) y la desigualdad de Bessel es una identidad.
44

Demostraci
on. La desigualdad de Bessel es equivalente a que

kSN (f )kL2 (,) =

a20
2

! 12
N
X
+
kf kL2 (,) ,
(a2k + b2k )

(4.12)

k=1

si N 1 y f L2 (, ), que junto con la desigualdad triangular implica

que
kf SN (f )kL2 (,) kf kL2 (,) + k SN ()kL2 (,)


1
kf kL2 (,) +kSN ()kL2 (,) .
+kSN (f )kL2 (,) 1 +

En la desigualdad anterior, podemos elegir C0 (, ) que verifique

kf kL2 (,) 
y como SN () converge uniformemente a en [, ],
k SN ()kL2 (,)
tiende a cero, si N + y concluimos que tambien SN f converge a f en

L2 (, ). Este
resultado y la identidad
!
N
2
X
a
0
kf SN (f )k2L2 (,) = kf k2L2 (,)
+
a2k + b2k ,
2
k=1

muestran que la desigualdad de Bessel (4.12) es de hecho una identidad,

llamada identidad de Plancherel o Parseval,
+

a20 X 2
1
+
(ak + b2k ) =
2

k=1

f 2 (x) dx, si f L2 (, ),

y por tanto, {1, cos kx, sin kx} es completa en L2 (, ).

Funciones pares e impares

Series de Fourier de cosenos/senos. Dada una funcion en [0, ], se
llama serie de Fourier de cosenos de f a la serie de Fourier de su extension
par al intervalo [, ]. La serie de Fourier de senos de f es la serie de
Fourier de su extensi
on impar a [, ].
Las funciones {sin kx : k 1} y {cos kx : k 0} forman sistemas
completos en L2 (0, ) respectivamente.

45

Demostraci
on. Sea fe la extension par a [, ] de f en L2 (0, ). Los coeficientes de Fourier de fe son respectivamente
Z
Z
1 e
2
e
ak =
f (x) cos kx dx, si k 0
f (x) cos kx dx =

0
y
Z
ebk = 1
fe(x) sin kx dx = 0, si k 1.

Como
!
N
e
a0 X
e
kf
+
e
ak cos kx kL2 (,)
2
k=1

tiende a cero y [0, ] [, ], la serie de Fourier de cosenos

Z
+
2
a0 X
f (x) cos kx dx, si k 0
+
ak cos kx, ak =
2
0
k=1

converge a f en L2 (0, ).
Si fe es la extensi
on impar de f , su serie de Fourier solo tiene senos. En
este caso
Z
2
bk = ebk =
f (x) sin kx dx, si k 1
0
y
N
N
X
X
ebk sin kxkL2 (,) ,
bk sin kxkL2 (0,) kfe
kf
k=1

k=1

que tiende a cero si N +.

Cambio de periodo
Si f es peri
odica de periodo 2l, su serie de Fourier en (l, l) se escribe





a0 X
kx
kx
+
ak cos
+ bk sin
,
2
l
l
k=1

con
1
ak =
l


f (x) cos

kx
l


dx,

1
bk =
l


f (x) sin

kx
l


dx

y las funciones

{1, cos




kx
kx
, sin
}
l
l

forman un sistema completo en L2 (l, l).

Las familias de funciones






{1, cos kx
, sin kx
} , {cos kx
: k 0} , {sin
l
l
l
son sistemas completos en L2 (0, l), si l > 0.
46

kx
l

: k 1}

2
Demostraci
on. El cambio de variable, g(x) = f ( lx
), transforma L (l, l) en
2
L (, ) y la informaci
on sobre la serie de Fourier clasica de g en [, ],
en informaci
on para la nueva serie de Fourier de f en (l, l).

4.4.

Vuelta al problema del calor en una barra finita

Los coeficientes bk en (4.4) son los de la serie de Fourier de senos de f

en (0, ):
Z
2
f (x) sin kx dx, si k 1.
bk =
0
Esta sucesi
on de n
umeros esta acotada, si f L1 (0, ) y la serie

bk ek

2t

sin kx,

k=1

converge uniformemente junto con sus derivadas en R [, +) para todo

 > 0, es una soluci
on de la ecuacion del calor y verifica la condicion de
contorno en [0, ] (0, +).
2

Demostraci
on. Si , N, k +2 ek  C(, , ), para todo k 1,


2
2
|x t bk ek t sin kx | . kf kL1 (0,) k +2 ek t
 k
1
C(, , , f ) 
, si x R y t 2
e
y la afirmaci
on es consecuencia del criterio de Weierstrass y de la convergencia de la serie de termino general rk , 0 < r < 1.

Convergencia al dato inicial

Teorema 15. Si f L2 (0, ), entonces u( , t) converge a f en L2 (0, ).
Demostraci
on. Sabemos que {sin kx : k 1} es completa en L2 (0, ) y por
la identidad de Plancherel para esta familia
ku(, t) f k2L2 (0,) = k

+
X

bk (ek t 1) sin kxk2L2 (0,) =

k=1

X 2
2
bk (1 ek t )2
2
k

y el lmite a la derecha es cero por el Teorema de Convergencia Dominada

o la siguiente acotaci
on:
X

b2k (1 ek t )2

si N se elige tal que,

N
X
k=1

P+

2
k=N +1 bk

.
47

b2k (1 ek t )2 +  ,

Si f C([0, ]), f (0) = f () = 0 y fe es la extension impar de f a

R respecto de 0 y , fe C(R) L (R). En tal caso, la solucion de (4.1)
que obtenemos por el metodo de reflexiones esta en C ([0, ] (0, +))
C([0, ][0, +)). Tambien se puede mostrar que la solucion generada por el
metodo de separaci
on de variables es, en tal caso, continua en [0, ][0, +),
y por el principio del m
aximo debil para un cilindro de base acotada, las
dos soluciones son iguales (Ver la seccion titulada Extensi
on de la validez
de esas soluciones en el libro de Hans F. Weinberger pero no intentar su
lectura hasta haber ledo el u
ltimo tema en este curso).
Es f
acil mostrar que la solucion generada por el metodo de separacion de
variables es continua en la clausura del cilindro [0, ] R, si f C 1 ([0, ])
y f (0) = f () = 0.
Demostraci
on. Los coeficietes de la serie de Fourier de senos de f verifican
Z
Z
2
2
ak
0
bk =
f (x) (cos kx) dx =
f 0 (x) cos kx dx = , si k 1,
k 0
k 0
k
donde ak es el coeficiente de Fourier de la serie de cosenos de f 0 en [0, ].
Esto implica que
1
(4.13)
|bk | 2 + a2k , si k 1,
k
y (4.13), la identidad de Plancherel para la serie de cosenos de f 0 en [0, ] y
el criterio de Weiestrass, muestran que la serie (4.3) converge uniformemente
hacia una funci
on continua en [0, ] R.

Otras condiciones de contorno

Si las condiciones de contorno son, ux (0, t) = ux (, t) = 0 (de tipo
Neumann), llegamos a
X 00 + X = 0, con X 0 (0) = X 0 () = 0,
que tiene soluciones no nulas para = 0 (las constantes) y = k 2 (m
ultiplos
de cos kx), si k 1. La solucion se escribe como

a0 X
2
u(x, t) =
+
ak ek t cos kx,
2
k=1

y los ak se obtienen como los coeficientes de la serie de cosenos de f .

Metodos similares a los de la seccion anterior muestran que si f esta
en C 1 ([0, ]), entonces u est
a en C ([0, ] (0, +)), que u es continua
en [0, ] [0, +) y que u esta en C 1 ([0, ] [0, +)), si f C 2 ([0, ]) y
f 0 (0) = f 0 () = 0.

48

 Si las condiciones de contorno son, u(0, t) = 0 y ux (, t) = 0, estas

conducen al problema de Sturm-Liouville
X 00 + X = 0, con X(0) = X 0 () = 0,
que tiene como valores propios k = (k + 1/2)2 y como funciones propias a
Xk = sin(k + 1/2)x, si k 0. As,
u(x, t) =

ck e(k+1/2) t sin(k + 1/2)x

k=0

y para encontrar la soluci

on por el metodo de la separacion de variables
necesitamos saber que
f (x) =

ck sin(k + 1/2)x,

k=0

en alg
un sentido Es {sin (k + 1/2)x : k 0} una familia completa en
L2 (0, )?
Para resolver este problema procedemos como con el metodo de reflexiones y de forma an
aloga a como probamos que las funciones asociadas a las
series de cosenos y senos son familias completas en L2 (0, ): si fe denota la
extensi
on de f a toda la recta real como funcion impar respecto a x = 0 y
par respecto a x = , fe(2x) es periodica de periodo 2 y su serie de Fourier,
se reduce a una serie de senos impares. Como f (x) = fe( x2 ), resulta que f
admite un desarrollo con una serie de Fourier del tipo anterior con
Z
2
ck =
f (x) sin(k + 1/2)x dx
0
que convege a f en L2 (0, ).

4.5.

Ecuaci
on no homog
enea

El metodo de separaci
on de variables requiere condiciones de contorno
homogeneas. Si no lo son, podemos escoger una funcion v que cumpla las
condiciones de contorno del problema, restarla de u y resolver un nuevo
problema para w = u v. Esto puede afectar al segundo miembro de la
ecuaci
on y a la condici
on inicial.

4.5.1.

Segundo miembro no nulo

Consideramos ahora el problema no

ut uxx = F (x, t) ,
u(x, 0) = 0 ,

u(0, t) = u(, t) = 0 ,
49

homogeneo
0 < x < ,t > 0,
0 < x < ,
t > 0.

que tambien se puede resolver por separacion de variables: imitamos el metodo de variaci
on de las constantes (o de Duhamel) y se escribe u como una
serie de funciones de variables separadas con nuevas funciones de la variable
temporal t que multiplican a las soluciones del problema de Sturm-Liouville
asociado al problema homogeneo; es decir, escribimos
u(x, t) =

Tk (t) sin kx,

k=1

y se requiere que u cumpla la ecuacion y la condicion inicial (el metodo

asegura las condiciones de contorno). Desarrollando F seg
un las mismas
funciones propias, podremos escribir
F (x, t) =

Ck (t) sin kx

k=1

y las funciones Tk (t) se determinan como las soluciones de la ecuacion diferencial ordinaria
(
Tk0 (t) + k 2 Tk (t) = Ck (t),
Tk (0) = 0,
que resolvemos por el metodo de variacion de las constantes.

4.6.

Separaci
on de variables para la ecuaci
on de
ondas

Sea el problema de ondas en una cuerda finita

utt c2 uxx = 0 ,
0 < x < ,t > 0,

u(0, t) = u(, t) = 0 , t > 0 ,

u(x, 0) = f (x) ,
0 < x < ,

u (x, 0) = g(x) ,
0 < x < .
t
Buscamos soluciones de la forma X(x)T (t) que cumplan la ecuacion y las
condiciones de contorno, X(0) = X() = 0. As se llega al mismo problema
de Sturm-Liouville que antes: los valores propios son k 2 , k 1 y las funciones
propias son sin kx. La ecuacion diferencial ordinaria para Tk con cada uno
de estos valores es
Tk00 (t) + c2 k 2 Tk (t) = 0,
que tiene como soluci
on general, Tk (t) = A cos kct + B sin kct. Por tanto,
una posible soluci
on se escribe como
u(x, t) =

(Ak cos kct + Bk sin kct) sin kx

k=1

50

y se determinan los coeficientes con las condiciones iniciales.

As queda que
Z
Z
2
2
f (x) sin kx dx y ckBk =
g(x) sin kx dx.
Ak =
0
0
En este caso es m
as difcil estudiar la convergencia de la serie a partir del
tama
no de los coeficientes. Se puede hacer indirectamente usando formulas
trigonometricas y observando que la serie que representa a u es la que corresponde a la soluci
on construida utilizando por el metodo de dAlembert
o de las caractersticas.
Las variantes con distinto tipo de condiciones de contorno o con segundo
miembro a la derecha son como en el caso de la ecuacion del calor. En
particular, para resolver el problema no homogeneo

utt c2 uxx = F (x, t) , 0 < x < , t > 0 ,

u(0, t) = u(, t) = 0 , t > 0 ,

(4.14)

u(x, 0) = 0 ,
0 < x < ,

u (x, 0) = 0 ,
0 < x < ,
t
y en analoga con el metodo de variaci
on de las constantes o de Duhamel,
intentamos escribir la soluci
on de (4.14) como
u(x, t) =

Tk (t) sin kx.

(4.15)

k=1

P
Sustituyendo en la ecuaci
on y si F (x, t) =
k=1 Ck (t) sin kx, se debe verificar que
(
Tk00 (t) + c2 k 2 Tk (t) = Ck (t),
Tk (0) = Tk0 (0) = 0,
para todo k 1. Como conocemos las soluciones de la ecuacion homogenea,
por el metodo de variaci
on de las constantes escribimos Tk (t) como
Ak (t) cos kct + Bk (t) sin kct,
donde las funciones Ak y Bk verificaran

0
0

Ak (t) cos kct + Bk (t) sin kct = 0,

A0k (t) sin kct + Bk0 (t) cos kct = Ck (t)/kc,

Ak (0) = Bk (0) = 0,

(4.16)

si k 1.
Las ecuaciones (4.16) implican formalmente que u es solucion de (4.14).
El an
alisis de la convergencia de la serie (4.15) y de la serie de sus derivadas
parciales se puede hacer con el criterio de Weierstrass para la convergencia
uniforme de series de funciones.
51

4.7.

Separaci
on de variables en otros dominios

Si es un abierto acotado de Rn con frontera regular y queremos resolver

en (0, +),
4u t u = 0,
(4.17)
u = 0,
en [0, +),

u(x, 0) = f (x), en ,
podemos empezar por buscar soluciones de variables separadas, X(x)T(t),
que cumplan las condiciones de contorno. Esto da lugar a encontrar los R
tal que existe una soluci
on no nula de
(
4X + X = 0, en ,
X = 0,
en ,
y et X es una tal soluci
on. Es conocido que la solucion al problema de
Sturm-Liouville es una familia numerable {ek } de funciones en C () que
verifican
(
4ek + 2k ek = 0, en ,
k = 1, 2, . . .
ek = 0,
en ,
donde
0 < 1 < 2 3 . . . k . . . ,

lm k = +,

k+

y que {ek } es un sistema completo en L2 (). Estas funciones se denominan

las autofunciones del operador de Laplace en con condiciones de Dirichlet
nulas. As podemos construir la solucion como
u(x, t) =

+
X

2k t

ak e

Z
ek , si ak =

f ek dx.

k=1

El problema

4v t v = 0,
v = 0,

v(x, 0) = f (x), ut (x, 0) = g(x)

en (0, +),
en [0, +),
en ,

se resuelve escribiendo
+ 
X

v(x, t) =

ak cos k t +

bk
k


sin k t ek ,

k=1

con

Z
ak =

f ek dx

bk =

gek dx.

52

(4.18)

Captulo 5

La ecuaci
on del potencial en
el plano
5.1.

Los problemas de Dirichlet y Neumann.

En fsica aparecen campos incompresibles (conservativos) e irrotacionales: campos magneticos, flujos de temperatura, velocidades de fluidos, etc.
Si V = P i + Qj es un tal campo en R2 , lo anterior corresponde respectivamente a que su divergencia y rotacional
V = x P + y Q

V = (x Q y P )k,

sean nulos en . Un campo irrotacional es el gradiente de una funcion u :

R2 R, V = u, que es u
nica excepto por contantes y que se
denomina el potencial del campo V . Como
V = (u) = 4u = 0, en ,
el potencial es una funci
on armonica.
En general se pueden hacer mediciones de V en la frontera de y conocer
la componente normal de V (V ) o su componente tangential (V t) en ,
donde y t son los vectores normal y tangencial unitarios a . Esto equivale
a conocer la derivada normal de u en (V = u) o los valores de u en
. Para entender el segundo caso, si u C 1 () y = {(t) : t [0, 1]},
donde : [0, 1] R2 es una parametrizacion periodica del borde de , se
verifica que
Z

u((t)) = u((0)) +
u(( )) (
) d
0
Z t
Z
= u((0)) +
V (( )) t( )|(
)| d = u((0)) +
P dx + Q dy,
0

53

donde t es el arco orientado en que conecta (0) con (t). Por tanto,
los valores de V en quedan determinados por el valor del gradiente de
cualquiera de las soluciones de los problemas,
(
(
4u2 = 0, en ,
4u1 = 0, en ,
o
u1
en ,
u2 = f,
en ,
= h,
donde h y f son las mediciones que se tengan de V en la frontera de y
supuesto que los gradientes de las soluciones son u
nicos; es decir, que ambos
problemas tengan soluci
on
unica. . .
El primer problema se llama problema de Neumann y el segundo de
Dirichlet y si es acotado los dos tienen solucion u
nica en C 2 () C 1 ().
Demostraci
on. Si u C 2 () C 1 () es armonica en y u o
,
(uu) = u4u + |u|2 = |u|2
y por el teorema de la divergencia,
Z
Z
Z
|u|2 dx =
(uu) dx =

es cero en

u u
d = 0.

Si es un dominio simplemente conexo y : B es la transformaci

on conforme de Riemann de la bola unidad B en , las funciones
Ui = ui , i = 1, 2, son armonicas en B y verifican
(
(
4U2 = 0,
en B,
4U1 = 0,
en B,
,
U1
0
en B,
U2 = f , en B.
= h | |,
Esto justifica que intentemos resolver el problema de Dirchlet en el crculo
(
4u = 0, en B,
(5.1)
u = f,
en B,
y encontraremos una soluci
on u en C (B) C(B), si f C(B).
Utilizando coordenadas polares (r, ), f se convierte en una funcion continua y peri
odica de periodo 2,
() = f (cos , sin )

u(r, ) = u(r cos , r sin ),

tendr
a que estar en C ([0, 1) [, ]) C([0, 1] [, ]) y ser, junto con
sus derivadas parciales, peri
odica de periodo 2 para cada 0 r 1.

54

En la nuevas coordenadas, el problema de Dirichlet (5.1) se reduce a

encontrar u C ([0, 1) [, ]) C([0, 1] [, ]), periodica de periodo
2 y tal que
(
urr + 1r ur + r12 u = 0, en [, ] [0, 1),
(5.2)
u(1, ) = f (),
en [, ].
En estas coordenadas es posible resolver (5.2) por separacion de variables. Las soluciones en variables separadas no nulas, R(r)(), nos lleva a
las ecuaci
ones
r2 R00 + rR0
00

=
= .
R

As tendremos el problema de Sturm-Liouville

00 + = 0,

y sus derivadas son periodicas de periodo 2,

que equivale a encontrar los R tales que

(
00 + = 0, en [, ],
() = (), 0 () = 0 (),

(5.3)

tiene solutiones no nulas. Esto ocurre si = 0 con 1 o = k 2 y

k = A cos k + B sin k, si k 1.
Demostraci
on. Si = 0, = A + B, con A, B en R y para ser periodica
A deber ser cero. Es
on con 0 = 0. Si < 0,
decir, 0 = 1 es soluci
= Ae + Be y que y 0 sean periodicas nos lleva al sistema
de ecuaciones
(

A sinh ( ) B sinh ( ) = 0,

A sinh ( ) + B sinh ( ) = 0.
El determinante de la matriz de coeficientes del sistema anterior es

2 sinh2 ( ) 6= 0,

y su u
nica soluci
on es A = B = 0. Si > 0, = A cos ( ) + B sin ( )
y las condiciones de contorno implican que
(

A cos ( ) + B sin ( )B = A cos ( ) B sin ( )B,

A sin ( ) + B cos ( )B = A sin ( ) + B cos ( )B,

que tiene soluci

on no nula si sin ( ) = 0; es decir, para k = k 2 , k 1 y
con k = Ak cos k + Bk sin k.

55

Resolvemos la EDO para R seg

un los valores hallados de


dR
d
00
r
R = 0.
r2 R + rR0 R = r
dr
dr
d
La ecuaci
on es de tipo Euler y por el cambio de variables r = es , r dr
=
es equivalente a
d2 R
R = 0.
ds2

d
ds ,

Si = 0 tenemos que, R(r) = A log r+B y si = k 2 , R(r) = Ark +Brk .

Para que u sea continua en 0 debemos eliminar las soluciones de variables
separadas que no lo son, las asociadas a log r y rk y con las restantes
escribimos formalmente

a0 X k
u(r, ) =
+
r (ak cos k + bk sin k).
2

(5.4)

k=1

Si pedimos a u que cumpla la condicion de contorno, deducimos que ak y bk

deben ser los coeficientes de Fourier de f en L2 (, ).
Lo que acabamos de hacer en coordenadas polares (r, ) se reconstruye en las coordenadas cartesianas (x, y) de la siguiente forma: primero
recordamos que
rk (cos k + i sin k) = (x + iy)k = Pk (x, y) + iQk (x, y), si k 0,
donde Pk y Qk son polinomios armonicos homogeneos de grado k,
Pk (x, y) = k Pk (x, y), Qk (x, y) = k Qk (x, y), si > 0,
con coeficientes reales - unas funciones armonicas muy particulares - e intentamos escribir una posible solucion de (5.1) como

a0 X
u(x, y) =
+
ak Pk (x, y) + bk Qk (x, y).
2
k=1

Los polinomios Pk y Qk se pueden encontrar en las coordenadas originales plante

andose el problema de buscar todos los polinomios armonicos homogeneos de grado k 1 en dos variables,
P (x, y) =

k
X

aj xj y kj .

j=0

Al imponer la condici
on P = 0, se verifica que necesariamente
P = a Pk + b Qk , con a, b R.
56

Regularidad
Si f L1 (, ), los coeficientes ak y bk estan acotados y la serie converge absoluta y uniformemente en la bola B(0, 1 ), para todo 0 < < 1
y se puede derivar dentro de la suma tantas veces como se quiera: u esta en
C (B) y 4u = 0 en el interior de B.
Demostraci
on. Por Weierstrass y la acotacion
|k l rk (ak cos k + bk sin k)| Cl kf kL1 (,) (1 2 )k ,
si r 1 , k, l 0 y R.

N
ucleo de Poisson
Sustituyendo ak y bk por su formula de calculo en (5.4) se verifica que
"
#
Z

1 X k
1
r cos k( ) d
f ()
+
u(r, ) =

2
k=1
Z
1
=
f ()Pr ( ) d,

donde

Pr () =

1 X k
1 r2
r cos k =
+
2
2(1 2r cos + r2 )
k=1

es el n
ucleo de Poisson.
Demostraci
on. La f
ormula anterior es consecuencia de la relacion trigonometrica
cos k( ) = cos k cos k + sin k sin k,
de las f
ormulas para ak , bk , de que
[r2 + 1 2r cos ]

rk cos k

=
=

X
1

{[rk+2 + rk ] cos k rk+1 [cos (k + 1) + cos (k 1)]}

rk+2 cos k +

rk cos k

rk cos k

= r cos r ,
de donde se deduce que

X
1

rk cos k =

r cos r2
r2 + 1 2r cos

y de sumar 1/2 a la suma infinita anterior.

57

X
0

rk+2 cos k

Si x = (x1 , x2 ), x1 = r cos , x2 = r sin y si |y| = 1, y = (cos , sin ),

la longitud de arco en B es d = d y
1 r2
1 |x|2
=
,
1 2r cos ( ) + r2
|x y|2
de donde
1
u(x) =
2

Z
B

1 |x|2
f (y) d(y).
|x y|2

(5.5)

Si en el razonamiento anterior hacemos f 1, como el desarrollo en serie

de Fourier de la funci
on constante 1 es trivial, sale que u 1; es decir,
Z
1 |x|2
1
d(y) = 1, si |x| < 1.
2 B |x y|2

Continuidad hasta el borde

Hemos visto que u C (B), si f L1 (B). Si ademas f C(B),
entonces u C(B) y u = f en B.
Demostraci
on. Si y0 B y  > 0, existe > 0 tal que |f (y) f (y0 )| < ,
si |y y0 | < , |y| = 1. Entonces,
Z
1
1 |x|2
u(x) u(y0 ) =
(f (y) f (y0 )) d(y)
2 B |x y|2
Z
1
1 |x|2
=
(f (y) f (y0 )) d(y)
2 BB (y0 ) |x y|2
Z
1
1 |x|2
+
(f (y) f (y0 )) d(y).
2 B\B (y0 ) |x y|2
La primera integral es menor que . La segunda, esta acotada por
2kf kL (B)

1 |x|2
, si |x| /2
(/2)2

y tiende a cero, si x B se acerca a y0 .

Crculo de radio R
Si x0 R2 , R > 0 y C(BR (x0 )). Una funcion u en C 2 (BR (x0 ))
C(B R (x0 )) es soluci
on del problema de Dirichlet
(
4u = 0, en BR (x0 ),
(5.6)
u = ,
en BR (x0 ),
si v() = u(x0 + R) es solucion en C 2 (B) C(B) de (5.1) con f () =
(x0 + R). Para el crculo unidad sabemos como construir una solucion de
58

(5.5) y deshaciendo el cambio de variables, obtenemos una solucion de (5.6).

De (5.5),
Z
1 ||2
1
(x0 + Ry) d(y), si || < 1.
u(x0 + R) =
2 B | y|2
y escribiendo x = x0 + R,
Z
1
R2 |x x0 |2
u(x) =
(x0 + Ry) d(y), si |x x0 | < R.
2 B |x (x0 + Ry)|2
Finalmente, parametrizando B como y = ei , , x0 + Rei es
una parametrizaci
on de BR (x0 ) y
Z
1
R2 |x x0 |2
u(x) =
(y) d(y), si |x x0 | < R,
(5.7)
2R BR (x0 )
|x y|2
es una soluci
on de (5.6) que hemos construido utilizando el metodo se separaci
on y cambios de variables.

Algunas propiedades de esta soluci

on.
La soluci
on (5.7) verifica las siguientes propiedades:
Principio del m
aximo y del mnimo.
mn f u(x) max f, si x BR (x0 ).

BR (x0 )

BR (x0 )

Demostraci
on. Observad que
Z
R2 |x x0 |2
1
d(y) = 1, si |x x0 | < R.
2R BR (x0 )
|x y|2

Propiedad del valor medio.

1
u(x0 ) =
2R

Z
f d.
BR (x0 )

Demostraci
on. Haced x = x0 en (5.7).
Desigualdad de Harnack. Si u 0 en BR (x0 ); es decir, si 0 en BR (x0 ),
entonces
R |x x0 |
R + |x x0 |
u(x0 ) u(x)
u(x0 ),
(5.8)
R + |x x0 |
R |x x0 |
para todo x BR (x0 ). Ademas,
sup

u9

nf
BR/2 (x0 )

BR/2 (x0 )

59

u.

Demostraci
on. Observad que
R |x x0 |
R2 |x x0 |2
R + |x x0 |

,
R + |x x0 |
|x y|2
R |x x0 |
si x BR (x0 ) e y BR (x0 ). Para la segunda desigualdad, utilizad (5.7) y
que
R + |x x0 |
R |x x0 |
1
3,
,
R |x x0 |
R + |x x0 |
3
si x B R (x0 ) e y BR (x0 ).
2

5.2.

Principio del m
aximo

Teorema 16 (Principio del maximo debil). Sea un abierto acotado del

plano y u C 2 () C(). Si 4u 0 en , entonces
max u = max u.

Demostraci
on. Si 4u > 0 en y u alcanza su maximo en en alg
un x en
, la matriz Hessiana de u en x es semidefinida negativa y su traza 4u, es
menor o igual que 0. Si 4u 0, aplicar lo anterior a u = u + |x|2 y hacer
tender  a cero.
El principio del m
aximo implica que el problema de Dirichlet para el
operador de Laplace tiene a lo mas una solucion u C 2 () C().
Teorema 17 (Propiedad del valor medio). Sea un abierto del plano,
u C 2 () arm
onica en , x0 y R > 0 tal que B R (x0 ) . Entonces,
Z
1
u(x0 ) =
u(y) d.
2R BR (x0 )
Demostraci
on. Por la unicidad de solucion para problema de Dirichlet, u
coincide en BR (x0 ) con la solucion v construida en (5.7) para
(
4u = 0, en BR (x0 ),
v = u,
en BR (x0 ),
y esta verifica la propiedad del valor medio en BR (x0 ).
El recproco tambien es cierto.
Teorema 18. Si u en C() cumple la propiedad del valor medio, entonces
u es C en y es arm
onica en .

60

Demostraci
on. La funci
on
(
1
N e 1|x|2 ,
(x) =
0,

si |x| < 1,
si |x| 1,

es C en R2 , tiene integral igual a 1 si N se elige de forma adecuada. Si

definimos
Z
2 ( xy
u (x) =
 )u(y) dy,

R2 .

u es
en
nadas polares,
Z
u (x) =

Por la propiedad del valor medio e integracion en coorde-

Z Z
1 r
)u(y)
dy
=
2 ( xy
(  )u(y) ddr

2
B (x)
0
Br (x) 
Z 
Z
r
2r
(  ) dr = u(x)
(y) dy = u(x),
= u(x)
2
R2

0
C

si d(x, ) > . Por tanto, u es

en . Para ver que u es armonica en ,
desarrollamos por Taylor hasta orden 2 alrededor de x en ,
u(y) = u(x) + u(x) (y x) + 12 D2 u(x)(y x) (y x) + O(|y x|3 ),
y como
1
2r

Z
(yi xi ) d = 0 ,
Br (x)

1
2r

Z
(yi xi )(yj xj ) d =
Br (x)

si i, j = 1, . . . , n, tendremos que
Z
1
u(y) d = u(x) +
u(x) = 2r
Br (x)

r2
4 4u(x)

r2 ij
2 ,

+ O(r3 );

es decir,
0 = 14 4u(x) + O(r),
y hacemos r tender hacia 0.
Teorema 19 (Principio del maximo fuerte). Sea es un abierto conexo en
el plano y u en C 2 () C() una funci
on arm
onica en . Si u alcanza en
un m
aximo o mnimo global, entonces u es constante en .
Demostraci
on. Sea M el valor del maximo de u en . Entonces,
H = {x : u(x) = M }
es no vaco, cerrado y por la propiedad del valor medio tambien es abierto
en : si y H
Z
Z
1
M = u(y) =
u(x) d ,
(M u(x)) d = 0,
2R BR (y)
BR (y)
si R < d(y, ). Pero M u 0 en y concluimos que u M en
B(y, d(y, )). Por tanto, H = y u es constante en .
61

Teorema 20 (Un teorema de tipo Liouville). Si u es arm

onica en R2 y
acotada inferiormente (o superiormente), entonces u es constante en R2 .
Demostraci
on. Podemos suponer que u 0 en R2 . Entonces fijado R > 0,
escribir la desigualdad de Harnack (5.8) para u en BR (0) y hacer tender R
a infinito. Ello implica que u(x) = u(0), para todo x en R2 . Si u M ,
trabajar con u + M y si u M , trabajar con M u.

5.3.

El problema no homog
eneo en el crculo

El problema no homogeneo
(
4u = F,
u = 0,

en B,
en B,

es equivalente en coordenadas polares a encontrar u(r, ), periodica de periodo 2 junto con sus derivadas y tal que
(
urr + 1r ur + r12 u = F (r, ), en [, ] [0, 1),
u(1, ) = 0,
en [, ],
si F (r, ) = F (r cos , r sin ). Escribimos la posible solucion como

u(r, ) =

a0 (r) X
ak (r) cos k + bk (r) sin k.
+
2
k=1

Esta funci
on ser
a soluci
on del problema no homogeneo si

k2
1 0
00

en [0, 1),
ak + r ak + r2 ak = Fk (r),

b00 + 1 b0 + k2 b = G (r),
en [0, 1),
k
k
r k
r2 k

ak (1) = bk (1) = 0,

a , b son acotadas en [0, 1],

k k
y

(5.9)

F (r, ) =

F0 (r) X
+
Fk (r) cos k + Gk (r) sin k.
2
k=1

Las ecuaciones (5.9) se resuelven por el metodo de variacion de las constantes.

5.4.

El problema de Dirichlet en otros dominios

circulares

Tambien se pueden resolver por separacion de variables otros problemas

asociados al Laplaciano si se trabaja en coordenadas polares y sobre dominios como un anillo, el exterior de un crculo o en regiones limitadas por
62

conos. En el caso de un anillo o del exterior de un crculo se plantea los

problemas de encontrar u de clase C 2 en BR2 \ B R1 , 0 < R1 < R2 < ,
continua en la clausura de BR2 \ BR1 y tal que

4u = 0, en BR2 \ B R1 ,
u = f2 ,
en BR2 ,

u = f1 ,
en BR1 ,
o de encontrar u de clase C 2 en Rn \ B R , R > 0, continua y acotada en
Rn \ BR y tal que
(
4u = 0, en Rn \ B R ,
u = f,
en BR .
En coordenadas polares los problems son respectivamente equivalentes a
encontrar u de clase C 2 en (R1 , R2 ) [, ], periodica de periodo 2 junto
con sus derivadas, continua en [R1 , R2 ] [, ] y tal que

1
1

en (R1 , R2 ) [, ],
urr + r ur + r2 u = 0,
u(R2 , ) = 2 () = f2 (R2 cos , R2 sin ), en [, ],

u(R1 , ) = 1 () = f1 (R1 cos , R1 sin ), en [, ],

o de encontrar u de clase C 2 en (R, +) [, ], periodica de periodo 2
junto con sus derivadas, continua y acotada en [R, +) [, ] y tal que
(
urr + 1r ur + r12 u = 0,
en (R, +) [, ],
u(R, ) = () = f (R cos , R sin ), en [, ].
En el primer caso, lo razonable es escribir u como
+ 


r k
(ak cos k + bk sin k)
R2
k=1

+ 
X
R1 k
+
(dk cos k + ck sin k) , (5.10)
r

X
1
u(r, ) = (a0 + b0 log r) +
2

k=1

donde los coeficientes ak , bk , dk y ck se determinan por comparacion de

series de Fourier e imponiendo que u(R1 , ) = 1 (), u2 (R2 , ) = 2 (z). En
el segundo, descartamos las soluciones de variables separadas que no son
acotadas en (R, +) [, ] y escribimos u como

a0 X
+
u(r, ) =
2
k=1

 k
R
(ak cos k + bk sin k),
r

donde ak y bk son los coeficientes de Fourier de .

63

(5.11)

Con un an
alisis similar al que hemos hecho con la solucion generada
por separaci
on de variables para el problema de Dirichlet en el interior de
una bola, se puede mostrar que las soluciones (5.10) y (5.11) son continuas
y acotadas en la clausura de sus dominios cuando sus datos fronteras son
continuos en la frontera del dominio.
El problema de Dirichlet en el exterior de una bola BR tiene a lo mas una
soluci
on en la clase de funciones C 2 (R2 \ BR ) C(R2 \ BR ) L (R2 \ BR ):
basta con considerar
u = u  log Rr ,
aplicar el principio del m
aximo debil a u en BR0 \ BR , donde R0 > R se
elige grande para que u 0 en BR0 y despues se hace tender  a cero para
concluir que
u(x) max u, si x R2 \ BR .
BR

La condici
on de estar en L (R2 \ BR ) es necesaria para la unicidad,
pues u = log R log r es armonica en R2 \ B R , u = 0 en BR y u no es
identicamente nula.
Tambien se puede usar separacion de variables para resolver el problema
de Dirichlet en la regi
on limitada por las rectas = , = y la circunferencia r = R y con datos de Dirichlet nulos en los lados rectilneos del
cono:

1
1

urr + r ur + r2 u = 0, 0 < r < R, < < ,

(5.12)
u(r, ) = u(r, ) = 0,
0 r < 1,

u(1, ) = f ()
.
Las soluciones en variables separadas no nulas, R(r)(), nos lleva a las
ecuaci
ones
00
r2 R00 + rR0
=
=

y a buscar los R tales que

(
00 + = 0, en (, ),
() = () = 0,
tiene soluci
on no nula. La solucion son n
umeros positivos
21 < 22 < . . . < 2k . . .
con soluciones asociadas 1 , 2 , . . . , k . . . que forman un sistema completo
en L2 (, ). Las soluciones de variables separadas acotadas son rk k y la
soluci
on de (5.12) se escribe como
u(r, ) =

+
X

ak (r/R)k k .

k=1

64

La separaci
on de variables tambien se puede utilizar para resolver el
problema de Dirichlet en un anillo limitado por un cono ( = y = )
y la circunferencias r = R1 y r = R2 , 0 R1 < R2 , con datos de
Dirichlet nulos en los lados rectilneos del cono y dos funciones dadas sobre
los arcos de las circunferencias dentro del cono. En este caso las soluciones
de variables separadas son rk k y la solucion se puede escribir como
u(r, ) =

+
X

ak (R1 /r)k k + bk (r/R2 )k k .

k=1

5.5.

El Problema de Neumann

Queremos encontrar u C (B) C 1 (B) tal que

(
4u = 0, en B,
u
en B,
= f,
si f C(B). Todo es como en el problema de Dirichlet hasta que llegamos a
u
(5.4). En B el vector normal exterior es (x, y)/r y u
on
= r y por separaci
de variables, escribimos la posible solucion como

u(r, ) =

a0 X k
+
r (ak cos k + bk sin k).
2
k=1

La condici
on de contorno de tipo Neumann obliga a que

k(ak sin k + bk cos k) = f (),

k=1

que s
olo tiene soluci
on si
Z
f d = 0.
B

Si esto se cumple, kak y kbk deben ser los coeficientes de Fourier de f y la

soluci
on queda determinada excepto por la constante a0 .
La condici
on de integral nula para f es necesaria para la existencia de
soluci
on. En efecto, por el teorema de la divergencia
Z
Z
u
4u dx =
d.
B
B

5.6.

La ecuaci
on del potencial en un rect
angulo

El problema de Dirichlet en el rectangulo = [0, a] [0, b] para la

ecuaci
on de Laplace
(
uxx + uyy = 0, en ,
(5.13)
u = ,
en ,
65

con en C(), se reduce a resolver los

vxx + vyy = 0,
v(0, y) = v(a, y) = 0,

v(x, 0) = f1 (x), v(x, b) = f2 (x),

wxx + wyy = 0,
w(0, y) = f3 (y), w(a, y) = f4 (y),

w(x, 0) = 0, w(x, b) = 0,

problemas,
0 < x < a, 0 < y < b,
0 < y < b,
0 < x < a,

(5.14)

0 < x < a, 0 < y < b,

0 < y < b,
0 < x < a.

(5.15)

y a sumar sus respectivas soluciones, u = v + w.

Para resolver (5.14) buscamos soluciones no nulas de variables separadas,
X(x)Y (y), que verifiquen la ecuacion y las condiciones de Dirichlet en los
laterales verticales del rect
angulo:
(
Y
X
X = Y = , para (x, y) en (0, a) (0, b),
X(0) = X(a) = 0,
para alg
un R.
El problema de Sturm-Liouville es como los del captulo anterior: los
valores propios son = (k/a)2 , k 1 y las funciones propias asociadas,
m
ultiplos de sin (kx/a). La EDO para Y con estos valores propios tiene
por soluci
on general




ky
ky
A cosh
+ B sinh
a
a
y la soluci
on del problema se puede escribir como







X
ky
ky
kx
v(x, y) =
Ak cosh
+ Bk sinh
sin
.
a
a
a
k=1

Sustituyendo y por 0 y b e igualando a f1 (x) y f2 (x) respectivamente,

se determinan los coeficientes por comparacion de series Fourier. Para determinar Ak y Bk , hay que resolver un sistema lineal de dos ecuaciones con
dos inc
ognitas, para cada k 1.
El problema (5.13) se resuelve descomponiendo en suma de dos funciones que con valores frontera no nulos en los lados opuestos del rectangulo ,
resolviendo el an
alogo del problema (5.14) cambiando los lados horizontales
del cuadrado por los verticales; es decir, el (5.15) y escribiendo la solucion
de (5.13) como u = v + w.
Para el problema no homogeneo

0 < x < a, 0 < y < b,

uxx + uyy = F,
u(0, y) = u(a, y) = 0,
0 < y < b,

u(x, 0) = 0, u(x, b) = 0, 0 < x < a,

66

escribimos una posible soluci

on como
u(x, y) =

+
X


Yk (y) sin

k=1


kx
,
a

donde las funciones Yk son las soluciones de

(

2
Yk00 k
Yk = Fk (y), 0 < y < b,
a
Yk (0) = Yk (b) = 0
y
F (x, y) =

+
X


Fk (y) sin

k=0


kx
, en [0, a] [0, b],
a

es la serie de Fourier de F ( , y) en [0, a].

El problema en un cilindro infinito

Se considera el problema siguiente: encontrar u acotada tal que

0 < x < a, y > 0,

uxx + uyy = 0,
u(0, y) = u(a, y) = 0, y > 0,

u(x, 0) = f (x),
0 < x < a.
La primera parte es igual que en el caso anterior: para que la solucion
sea acotada en el cilindro [0, a] [0, +), excluimos eky/a y queda
u(x, y) =

Bk eky/a sin

kx
a

(5.16)

k=1

Los coeficientes Bk se determinan a partir de la serie de Fourier de f .

La soluci
on es u
nica en la clase de funciones
C 2 ((0, a) (0, +)) C([0, a] [0, +)) L ([0, a] [0, +)).
Se puede comprobar que (5.16) verifica estas condiciones, si f es continua en [0, a] y f (0) = f (a).

5.7.

La ecuaci
on del potencial en un semiplano

Consideramos el problema
(
uxx + uyy = 0,
u(x, 0) = f (x),
67

x R, y > 0,
x R.

(5.17)

 La ecuaci
on homogenea tiene soluciones no nulas que se anulan en la
frontera, u(x, y) = y, por lo que no hay unicidad sin condiciones adicionales.
El siguiente principio del maximo para el semiplano superior muestra
que (5.17) tiene a lo m
as una solucion u en C 2 (R2+ ) C(R2+ ) que es acotada.
Teorema 21. Si u C 2 (R2+ ) C(R2+ ) verifica u M para alg
un M 0 y
2
4u 0 en R+ . Entonces,
sup u sup f.
R2+

Demostraci
on. Sean T = BT (x0 ) (0, T ), si T > 0, x0 R y
uT = u

1
T

3
2

(x x0 )2 +

y
3

(y 2T ).

T2

Se verifica que
4uT 0, en T
y por el principio del m
aximo debil para abiertos acotados
sup uT sup uT .
T

En la frontera lateral de
T , uT M T supR f , si T es grande.
En la superior, uT M T supR f , si T es grande. Entonces,
uT (x0 , y) = u(x0 , y) +

y
3

(y 2T ) sup f, si 0 y T

T2

y hacemos T tender a +.
Para resolver (5.17) buscamos soluciones autosemejantes: si u(x, y) es
arm
onica tambien lo es u(x, y) y si es homogenea, u(x, y) = u(x, y),
para todo > 0,


 
x
x

u(x, y) = y u
,1 = y
, si y > 0.
y
y
Si tenemos una soluci
on, sus trasladadas en la variable x tambien son
soluciones
y (y 1 (x z))
y usamos estas para escribir u como suma de soluciones

Z 
Z
xz
+1

c(z) dz = y
u(x, y) = y

(z)c(x zy) dz, (5.18)

y

donde c(z) debe ser elegido para que se cumpla la condicion de contorno.
Para que el lmite cuando y tiende a cero en (5.18) no sea 0 o
necesitamos que sea 1 y que sea integrable en R. Para que el lmite
68

sea f elegimos c = f , si tiene integral igual a 1 en R. Para que el laplaciano

de (5.18) sea nulo, debe verificar la EDO
(1 + s2 )00 (s) 2( 1)s0 (s) + ( 1)(s) = 0,
que cuando = 1 es

00
(1 + s2 ) = 0.

Las soluciones integrables de esta ecuacion son (s) = N (1 + s2 )1 y la

que tiene integral 1 corresponde a N = 1/.
As obtenemos que un candidato a solucion de (5.17) es
Z
1
y
u(x, y) =
f (y) dz.
(5.19)
R (x z)2 + y 2
Teorema 22. La funci
on u definida por (5.19) est
a en C (R2+ ) C(R2+ )
L (R2+ ), si f C(R) L (R) y es soluci
on de (5.17).
Demostraci
on. El nucleo
P (x, y) =
verifica
|x y P (x, y)|

y
1
2
x + y2

C(, , , R)
, si x R,  y R
1 + x2

y
C(, , , R)
, si |x| R,  y R,
1 + z2
que junto con el teorema de convergencia dominada muestra que u es regular
para y > 0.
Para acotar u, recordamos que
Z
Z
1
y
1
1
dz =
dz = 1, si y > 0,
2
2
R (x z) + y
R 1 + z2
|x y P (x z, y)|

y
 Z

1
y
|u(x, y)| kf kL (R)
dz kf kL (R) .
R (x z)2 + y 2
Para la continuidad de u en (x0 , 0), dado  > 0 existe un > 0 tal que,
|f (x) f (x0 )| , si |x x0 | . Entonces,
Z
|u(x, y) f (x0 )|
P (x z, y)|f (z) f (x0 )| dz
B (x0 )
Z
+
P (x z, y)|f (z) f (x0 )| dz
R\B (x0 )
Z
 + 2kf kL (R)
P (x z, y) dz.
R\B (x0 )

69

Pero, P (x z, y) N P (x0 z, y), si |x x0 | 2 , |z x0 | y

Z
Z
Z
N
P (x z, y) dz N
P (x0 z, y) dz =
R\B (x0 )

|z| y

R\B (x0 )

1
dz,
1 + z2

que tiende a cero, si y desciende hacia 0.

Si f es par o impar respecto a l, u( , y) tambien es par o impar respecto
a l para todo y > 0 y los problemas

uxx + uyy = 0, en (0, +) (0, +),

u(0, y) = 0,
en [0, +)

u(x, 0) = f (x), en [0, +),

uxx + uyy = 0,
u(0, y) = u(a, y) = 0,

u(x, 0) = f (x),

en (0, a) (0, +),

en [0, +)
en [0, a],

se pueden resolver por el metodo de reflexiones.

La soluci
on de estos dos problemas es u
nica en la clase de funciones
2
que son C en el interior del dominio, continuas y acotadas en la clausura.
Cuando f verifica la condicion de compatibilidad, la solucion generada
por el metodo de reflexiones esta en la clase de unicidad.

5.8.

Separaci
on de variables en dominios planos
rectangulares

Si queremos resolver

t u u = 0,
u(x, y, 0) = f (x, y),

u = 0,

en (0, +),
en ,
en (0, +),

con = (0, ) (0, ), es f

acil comprobar que {sin kx sin ly : k, l 1} es una
familia completa en L2 (). En particular, ekl (x, y) = sin kx sin ly, k, l 1,
son las autofunciones del operadores de Laplace en con condiciones de
Dirichlet nula; es decir,
(


ekl + k 2 + l2 ekl = 0, en ,
ekl = 0,
en ,
y las soluciones u y v de las evoluciones (4.17) y (4.18) son respectivamente
X
2
2
u(x, y, t) =
akl e(k +l )t sin kx sin ly
k,l0

70

y
v(x, y, t)
p

p

X
bkl
2
2
2
2
akl cos
k +l t +
sin
k + l t sin kx sin ly,
=
k 2 + l2
k,l0
donde akl y bkl son los coeficientes de Fourier de los datos iniciales f y g en
la base {sin kx sin ly : k, l 1}.
Que {sin kx sin ly : k, l 1} es una familia completa en L2 ((0, )(0, )),
se deduce de que {sin kx : k 1} es una familia completa en L2 (0, ).

71