Académique Documents
Professionnel Documents
Culture Documents
Ecuaciones Diferenciales
Parciales
Departamento de Matemtica
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
2015
Cursos de grado
Fascculo 7
Comit Editorial:
Gabriela Jernimo
Departamento de Matemtica, FCEyN, Universidad de Buenos Aires.
E-mail: jeronimo@dm.uba.ar
Claudia Lederman
Departamento de Matemtica, FCEyN, Universidad de Buenos Aires.
E-mail: clederma@dm.uba.ar
Leandro Vendramin
Departamento de Matemtica, FCEyN, Universidad de Buenos Aires.
E-mail: lvendramin@dm.uba.ar
Derechos reservados
2015 Departamento de Matemtica, Facultad de Ciencias Exactas y Naturales,
Captulo 1. Preliminares v
1.1. Descripcin vi
1.2. Agradecimientos vi
1.3. Notaciones vi
1.4. Ejercicios xii
Captulo 2. Introduccin 1
2.1. Modelos matemticos y ejemplos de ecuaciones diferenciales 1
2.2. Problemas bien puestos 3
2.3. Ley de conservacin y la ecuacin de continuidad 3
2.4. Leyes constitutivas y la ecuacin de difusin 5
2.5. Condiciones de contorno 6
Captulo 3. El mtodo de separacin de variables 7
3.1. La ecuacin del calor homognea 7
3.2. Espacios de Hilbert 10
3.3. Convergencia puntual de la serie de Fourier 14
3.4. Convergencia uniforme de la serie de Fourier 18
3.5. Convergencia en L2 ([`, `]) 20
3.6. Representacin por medio de una serie de senos 20
3.7. Vuelta a la ecuacin de difusin 21
3.8. Ejercicios 23
Captulo 4. La ecuacin de Laplace y de Poisson 27
4.1. Motivacin 27
4.2. Solucin fundamental 28
4.3. Teorema del valor medio y consecuencias 32
4.4. Estimaciones de las derivadas 38
4.5. Frmulas de representacin y funciones de Green 41
4.6. Clculo de la funcin de Green en dominios con simetra 45
4.7. El mtodo de Perron 49
4.8. Ejercicios 52
Captulo 5. Transformada de Fourier 57
5.1. Definicin y propiedades elementales 57
5.2. El Teorema de Plancherel y la teora L2 60
5.3. Espacio de distribuciones y distribuciones temperadas 64
5.4. Aplicacin a la ecuacin de difusin en Rn 68
5.5. Ejercicios 69
Captulo 6. La ecuacin de difusin 71
iii
iv ndice general
Preliminares
v
vi 1. PRELIMINARES
1.1. Descripcin
Normalmente un libro de texto cubre mucho ms material del que puede ser cubierto
en un curso. En estas notas se encuentra exactamente lo que he podido dictar en el
curso de Ecuaciones Diferenciales (a excepcin de algunas secciones aisladas).
Dado que este es el nico curso de la Licenciatura en Cs. Matemticas (tanto para
la orientacin pura como aplicada) en que se estudia el tpico de las ecuaciones en de-
rivadas parciales, se intenta empezar con la teora clsica cubriendo fundamentalmente
los ejemplos ms relevantes de las mismas:
la ecuacin de Laplace/Poisson,
la ecuacin de difusin (o del calor),
la ecuacin de ondas.
Tambin se dedica un captulo a las ecuaciones de primer orden (y es ah donde se ven,
de manera muy rudimentaria, los nicos ejemplos de ecuaciones no lineales).
Para el tratamiento de estas ecuaciones se desarrolla tambin la teora de series de
Fourier y de la transformada de Fourier que, en la Licenciatura de Buenos Aires, no es
estudiada en ningn curso previo.
Estos temas cubren aproximadamente las dos terceras partes del curso (unas 12
semanas). La ltima parte se dedica a estudiar la teora algo ms moderna de soluciones
dbiles y espacios de Sobolev. Por motivos de restriccin temporal, slo se estudian en
este punto las ecuaciones elpticas y se esboza la aplicacin a las ecuaciones parablicas.
1.2. Agradecimientos
Hay varias personas a las que quiero agradecer. Primero a Gisela Bellisomi que
sin sus espectaculares notas de clase jams me hubiera animado a escribir este texto.
Despus a Juan Pablo Pinasco que hizo un excelente trabajo corrector (mientras l
mismo dictaba el curso de EDPs usando parcialmente estas notas). En particular a
Juan Pablo se debe la demostracin del Teorema 4.4.5 (la original del texto era mucho
ms tediosa an). Tambin quiero agradecer a Noem Wolanski por su ayuda en la
demostracin del Teorema 10.8.5. Finalmente le agradezco a Juan Dodyk por sealrme
un error en la demostracin del Teorema 10.7.11.
Hubo adems mucha gente que contribuy encontrando erratas a las que le es-
toy muy agradecido. Quiero mencionar a Nstor Aguilera, Pablo Amster, Luis Lpez
Rios, Rafael Martn, Matas Saucedo, Anala Silva y pedir perdn por anticipado a
aquellas personas que no estoy mencionando y que muy gentilmente me enviaron sus
comentarios.
Finalmente quiero agradecer a mis hijos, Agustn, Manuel y Facundo quienes sin
su ayuda este texto se hubiera escrito mucho ms rpido.
1.3. Notaciones
En esta seccin listar las notaciones que se usaran a lo largo de estas notas. He
tratado de que la notacin sea lo ms estndar posible, as que el lector puede sin
perjuicio alguno saltear esta seccin y volver a ella en caso de que le surja alguna duda.
1.3. NOTACIONES vii
Es fcil ver que Cb (U ) con la mtrica inducida por k k resulta un espacio mtrico
completo. A la clausura de Cc (U ) con respecto a k k se lo denota por C0 (U ) y son
las funciones que se anulan en el infinito. Se tiene entonces
Cc (U ) C0 (U ) Cb (U ) C(U ).
Ejercicio 1.3.1. Probar que si U es acotado, u C0 (U ) si y slo si u C(U ) y
u = 0 en U .
1.3. NOTACIONES ix
Notemos que la integral est bien definida puesto que si f es medible, entonces
{(x, y) E R : 0 y f (x)} Mn+1 .
El valor de esta integral, bien puede dar . La funcin f se dice sumable si
Z
f dx < .
E
Una sucesin de funciones medibles {fk }kN se dice que converge en casi todo punto
a f (que automticamente resulta medible), si
|{x E : fk (x) no converge a f (x)}| = 0.
Dado 0 < p < se define el espacio de Lebesgue Lp (E) como
Z
p p
L (E) := f : E [, ] medibles : |f | dx < .
E
Cuando 1 p < se define la norma
Z p1
p
kf kLp (E) = kf kp,E = kf kp := |f | dx .
E
Los espacios (Lp (E), k kp ) son espacios de Banach separables. Esto es, la mtrica
dist(f, g) = kf gkp
hace de Lp (E) un espacio mtrico completo y separable.
Dada f : E [, ] medible, se define el supremo esencial de f por
kf kL (E) = kf k,E = kf k := nf{M 0 : |{x E : |f (x)| > M }| = 0}.
Es decir, kf k es la menor constante que verifica |f (x)| M en casi todo punto.
Se define L (E) por
L (E) := {f : E [, ] medibles : kf k < }.
El espacio (L (E), k k ) resulta un espacio de Banach que no es separable.
Finalmente, dado 1 p , se define el espacio de Lebesgue local, Lploc (E), como
Lploc (E) = {f Lp (K) : para todo K E, compacto}.
xii 1. PRELIMINARES
1.4. Ejercicios
kf gk1 kf kp kgkp0 .
2. Desigualdad de Minkowsky: Si 1 p , entonces
kf + gkp kf kp + kgkp .
3. Desigualdad integral de Minkowsky: Si 1 p < , entonces
Z Z p 1/p Z Z 1/p
p
f (x, y) dx dy
|f (x, y)| dy dx.
para todo V 0 V .
3. Si f es continua y acotada en Rn , entonces f tiende uniformemente a f en
cada compacto de Rn .
4. Si adems Cc (Rn ), f Lp (Rn ) f C (Rn ).
5. Calcular f si f = [a,b] y es la funcin del Ejercicio 1.4.10.
Ejercicio 1.4.12. Demostrar que Cc (Rn ) es denso en Lp (Rn ) (1 p < ). Pista:
las funciones de Lp (Rn ) con soporte compacto son densas en Lp (Rn ) (1 p < ).
R
Ejercicio 1.4.13. Sea U Rn medible. Probar que si f L1loc (U ) y U f dx = 0
para toda Cc (U ), entonces f = 0 en casi todo punto.
Ejercicio 1.4.14. Probar que si f L1loc (R) y R f 0 dx = 0 para toda Cc (R),
R
entonces f resulta constante.
Pista:R tomar g Cc (R) tal que R g = 1 y para cada Cc (R), se verifica que
R
2. Si u, v C 2 (U ) C 1 (U )
Z Z
(vu + u v) dx = vn u dSx ,
U U
Z Z
(vu uv) dx = (vn u un v) dSx ,
U U
donde n u = u n y
n
X
u = div(u) = u = ii u.
i=1
Captulo 2
Introduccin
Esta es una ecuacin diferencial ordinaria lineal de segundo orden con coeficientes
constantes que es fcilmente resuelta con las herramientas vistas en los cursos previos.
Ver, por ejemplo, [17].
Queda a cargo del lector verificar que si 0 entonces la nica solucin de (3.1.6)
(3.1.7) es la solucin trivial w 0.
Supondremos entonces que > 0. En este caso, w es solucin de (3.1.6) si y slo si
w(x) = a sin( x) + b cos( x)
Ahora, por (3.1.7),
w(0) = b = 0,
y entonces
w(`) = a sin( `) = 0,
de donde ` = k con k Z. Luego
2
k
(3.1.8) = k =
`
son los autovalores de (3.1.6)(3.1.7) y sus autofunciones resultan
p k
(3.1.9) w(x) = wk (x) = sin( k x) = sin( x).
`
Combinando (3.1.4), (3.1.8) y (3.1.9) obtenemos las siguientes soluciones particu-
lares de (3.1.1)(3.1.2)
p k22 k
uk (x, t) = ek t sin( k x) = exp( 2 t) sin( x).
` `
Usando la linealidad de la ecuacin de difusin (3.1.1)(3.1.2), es claro que cualquier
combinacin lineal de las soluciones {uk }kN ser solucin, por ende resulta natural
buscar soluciones de la forma
X X k22 k
(3.1.10) u(x, t) = ck uk (x, t) = ck exp( 2 t) sin( x).
k=1 k=1
` `
Si los coeficientes {ck }kN son tales que la serie converge y se puede intercambiar
la diferenciacin con la sumatoria, entonces u ser solucin de (3.1.1)(3.1.2).
3.1. LA ECUACIN DEL CALOR HOMOGNEA 9
Ejercicio 3.1.1. Sea M > 0 tal que |ck | M para todo k N. Entonces la funcin
u dada por (3.1.10) es C ([0, `] [, )) para todo > 0, sus derivadas se calculan
derivando trmino a trmino la serie y, por ende, u verifica (3.1.1)(3.1.2).
y por ende
Z `
2 k
(3.1.12) ck = u0 (x) sin( x) dx
` 0 `
La primera parte de esta seccin estar dedicada a ver que B es un sistema orto-
normal completo.
Empecemos con un resultado fundamental
Lema 3.3.2 (Lema de RiemannLebesgue). Sea f L1 ([`, `]). Entonces se tiene
Z ` Z `
f (x)n (x) dx + f (x) n (x) dx 0, n .
` `
Para el caso general, se usa que dada f L1 ([`, `]) y dado > 0 existe g
Cc1 ([`, `])
tal que
Z `
|f (x) g(x)| dx < .
`
3.3. CONVERGENCIA PUNTUAL DE LA SERIE DE FOURIER 15
1 1
PN
Luego, si llamamos KN (x) = 2`
+ ` n=1 cos( n
`
x), tenemos que
SN (f ) = f KN
N
1 1X
KN (x t) = + cos(ny)
2` ` n=1
Luego, llegamos a
sin((N + 12 )y)
KN (x t) = =: DN (y).
2` sin( y2 )
1 1
PN
Sugerencia: Usar la identidad DN (y) = 2`
+ ` n=1 cos(ny).
3.3. CONVERGENCIA PUNTUAL DE LA SERIE DE FOURIER 17
Sea ahora f AC[`, `] tal que f (`) = f (`). Esta ltima condicin es equivalente
a
Z `
f 0 (x) dx = 0.
`
Como buscamos que en la serie de Fourier de f slo intervengan los senos, preci-
samos que an = 0 para todo n N0 . Una forma posible de garantizar eso es definir f
de manera tal que sea impar, dado que como cos( n `
x) es una funcin par y estamos
integrando en un intervalo simtrico respecto del origen, la integral valdr 0. Luego, se
define f como
(
f (x) x [0, `],
f(x) =
f (x) x [`, 0).
Por lo arriba expuesto, es claro que an = 0 para n N0 . Ahora
1 ` 2 `
Z Z
n n
bn = f (x) sin( x) dx = f (x) sin( x) dx,
` ` ` ` 0 `
dado que el integrando resulta ser una funcin par.
Resumimos todo esto en el siguiente teorema.
Teorema 3.6.1. Sea f L2 ([0, `]). Luego se tiene que
X n
f (x) = bn sin( x),
n=1
`
donde los coeficientes bn se calculan como
2 `
Z
n
bn = f (x) sin( x) dx.
` 0 `
y la igualdad se entiende en sentido L2 ([0, `]). Ms an, si f AC[0, `] con f (0) =
f (`) = 0 y f 0 L2 ([0, `]), entonces la convergencia es uniforme.
Teorema 3.7.2. Si u0 AC[0, `] con u00 L2 ([0, `]) y u0 (0) = u0 (`) = 0, entonces
se tiene que u C([0, `] [0, )) y u(x, 0) = u0 (x).
3.8. Ejercicios
Ejercicio 3.8.1. Sea f integrable en [p, p] y tal que f (x + 2p) = f (x) para todo
x R. Verificar los siguientes resultados.
1. Para todo a R, se verifica
Z a+p Z p
f (t) dt = f (t) dt.
ap p
3. Si se define g como Z x
g(x) := f (t) dt,
0
entonces g(x + 2p) = g(x) si y slo si
Z p
f (t) dt = 0.
p
24 3. EL MTODO DE SEPARACIN DE VARIABLES
Ejercicio 3.8.7. En los ejercicios 3.8.1 a 3.8.3, imponer condiciones sobre las fun-
ciones f, g o fi (segn corresponda), de modo tal que las series obtenidas sean efect-
vamente soluciones del problema.
Ejercicio 3.8.8. Resolver en 0 < x < , 0 < y < :
u + ux = 0
u(x, 0) = 0
u(x, ) = 0 .
u(0, y) = 0
u(, y) = sin(y)
Ejercicio 3.8.9. Resolver en 0 < x < , 0 < y < :
u = 0
2
u(x, 0) = x
u(x, ) = 0
ux (0, y) = 0
ux (, y) = 0
Mostrar que la serie obtenida es solucin del problema.
Ejercicio 3.8.10. Resolver, analizando la validez de la solucin, la ecuacin de
Laplace en un disco en R2 .
(
u = 0 en |x| < 1
1. donde f C 1 ({|x| = 1}).
u=f en |x| = 1
( (Sugerencia: pasar a coordenadas polares).
u = 0 en |x| < 1
2.
n u = f en |x| = 1
R
donde f es como en el item 1, |x|=1 f dS = 0 y u se anula en el origen.
R
Probar que el item 2 no tiene solucin si |x|=1 f dS 6= 0.
donde B1 (0) R3 .
Sugerencia: Pasar a coordenadas polares y, dado que el dato inicial es independiente
de , buscar soluciones independientes de .
Ejercicio 3.8.13. Verificar por el mtodo de separacin de variables, que el pro-
blema de autovalores
(
u = u en Q := (0, 1) (0, 1)
u=0 en Q
tiene como soluciones a
uk,j (x, y) = sin(jx) sin(ky), k,j = 2 (j 2 + k 2 ).
para todo j, k N.
Demostrar, adems, que las funciones {uk,j }k,jN son las nicas soluciones de este
problema.
Captulo 4
4.1. Motivacin
De las mltiples motivaciones existentes para estudiar tanto la ecuacin de Laplace
como la ecuacin de Poisson, en esta seccin haremos mencin a dos de ellas.
La primera proviene del estudio de la ecuacin de difusin que fuera estudiada
tanto en el Captulo 2 como en el Captulo 3. Si en la ecuacin de difusin, uno hace
la suposicin (que en muchos casos es justificable rigurosamente) de que la evolucin
de la temperatura converge cuando t a una distribucin de equilibrio, ese estado
estacionario ser independiente de t, y luego debe verificar la ecuacin de Laplace si
se considera la ecuacin del calor (3.1.1), o la ecuacin de Poisson, si se considera la
ecuacin de difusin (2.4.1).
Daremos ahora otra motivacin para el estudio de la ecuacin de Laplace. La misma
proviene del estudio de las superficies mnimas.
Supongamos que se tiene un anillo de alambre y lo sumergimos en agua jabonosa.
Al sacarlo, se forma una pelcula de jabn adherida al alambre. Cmo es el grfico
que tiene esta pelcula?
Para modelar este problema matemticamente, asumimos que la pelcula de jabn se
describe mediante el grfico de una funcin de la forma z = u(x, y), con (x, y) D R2
y tal que u(x, y) = g(x, y) cuando (x, y) D. Esto ltimo corresponde a que la
posicin en el borde corresponde a la posicin del anillo de alambre que se supone
conocido.
La teora de superficies mnimas postula que la funcin u que resuelve el problema,
ser aquella que minimice el rea entre todas las superficies posibles.
Recordemos que el rea del grfico de la funcin u se calcula mediante la integral
Z p
A(u) = 1 + |u|2 dx
D
Luego el problema consiste en encontrar una funcin u que minimice el funcional A
entre todas las funciones que coinciden con g en D.
Este problema resulta muy complejo de tratar por varios motivos que sern eviden-
tes ms tarde (entre otros, el funcional no es uniformemente convexo). Es por eso que
27
28 4. LA ECUACIN DE LAPLACE Y DE POISSON
Luego si llamamos Z
1
J (u) = |u|2 dx,
2 D
el problema se convierte en minimizar J entre todas las funciones v que coinciden con
g en D. El funcional J se lo llama la integral de Dirichlet.
Supongamos que existe u que realiza el mnimo de J y consideremos Cc1 (D).
Luego, si t R, u + t = g en D y por ende
J (u) J (u + t), para todo t R.
Llamemos j(t) = J (u + t), luego j : R R tiene un mnimo en t = 0 y en consecuen-
cia, j 0 (0) = 0. Calculemos esa derivada.
j(t) = J (u + t)
Z
1
= |u + t|2 dx
2 D
t2
Z Z Z
1 2
= |u| dx + t u dx + ||2 dx.
2 D D 2 D
De ah se ve que, por el teorema de la divergencia,
Z Z
0
0 = j (0) = u dx = u dx.
D D
luego
u(x + hei ) u(x) f (x + hei y) f (x y)
Z
= (y) dy.
h Rn h
Ahora
f (x + hei y) f (x y)
i f (x y) cuando h 0 en Rn ,
h
de donde Z
i u(x) = (y)i f (x y) dy.
Rn
Anlogamente, Z
ij u(x) = (y)ij f (x y) dy,
Rn
lo que prueba que u C 2 (Rn ).
Veamos que u resuelve la ecuacin de Poisson (4.2.3). En efecto,
Z
u(x) = (y)f (x y) dy
Rn
Z Z
= (y)f (x y) dy + (y)f (x y) dy
B (0) Rn \B (0)
= I + J .
4.2. SOLUCIN FUNDAMENTAL 31
donde hemos usado que resuelve la ecuacin de Laplace (4.2.1) en Rn \ {0} por la
Observacin 4.2.5.
Nuevamente por la Observacin 4.2.5, tenemos que
1 y y
(y) = = , si y B (0),
nn |y|n nn n
luego
y y 1
n (y) = (y) n(y) = n
= .
nn nn n1
En consecuencia,
Z Z
1
K = f (x y) dSy = f (y) dSy ,
nn n1 B (0) B (x)
Teorema 4.3.1 (Teorema del valor medio). Sea U Rn un conjunto abierto y sea
u C 2 (U ). Si u es una funcin armnica en U , entonces se verifica que
Z Z
u(x) = u(y) dSy = u(y) dy,
Br (x) Br (x)
para todo x U y para todo r > 0 tal que Br (x) U , entonces u es armnica en U .
Demostracin. Sean x U y r0 > 0 tal que Br0 (x) U . Definimos entonces
: (0, r0 ) R como
Z Z
1
(r) := u(y) dSy = u(y) dSy .
Br (x) nn rn1 Br (x)
Hacemos ahora el cambio de variables y = x + rz. Este cambio de variables, transforma
Br (x) en B1 (0) y dSy = rn1 dSz . Luego
Z Z
1
(r) = u(x + rz) dSz = u(x + rz) dSz .
nn B1 (0) B1 (0)
de donde u = 0 en U .
Para terminar la demostracin, falta ver que si
Z
u(x) = u(y) dSy ,
Br (x)
entonces Z
u(x) = u(y) dy.
Br (x)
Pero
Z Z r Z
u(y) dy = u(y) dSy dt
Br (x) 0 Bt (x)
Z r
= nn tn1 u(x) dt
0
= n rn u(x) = |Br (x)|u(x).
Esto concluye la demostracin.
Finalmente,
1 r
Z Z
n1
( )nn r dr = (y) dy = 1,
n 0 B1 (0)
lo que concluye la demostracin.
El corolario que sigue es uno de los resultados ms importantes sobre funciones
armnicas.
Corolario 4.3.3 (Principio del mximo). Sea u C 2 (U ) C(U ), con U Rn un
abierto acotado tal que u = 0 en U . Entonces
1. maxU u = maxU u (esto se conoce como el principio dbil).
2. Si U es conexo y existe x0 U tal que u(x0 ) = maxU u, entonces u es constante
en U (esto se conoce como el principio fuerte).
Demostracin. Queda como ejercicio para el lector verificar que el principio fuer-
te implica el principio dbil. Luego, slo demostraremos este ltimo.
Supongamos que existe x0 U tal que u(x0 ) = maxU u =: M . Definimos el siguiente
conjunto:
A := {x U : u(x) = M },
y debemos verificar que A = U .
Como u es continua, sigue que A es un cerrado relativo a U (A = u1 ({M })).
Al ser U conexo, nos queda verificar que A es abierto. Pero esto es una consecuencia
inmediata del Teorema del valor medio 4.3.1. En efecto, sea x A y r > 0 tal que
Br (x) U , luego, como u(y) M para todo y Br (x) y
Z
0 = u(x) M = (u(y) M ) dy,
Br (x)
mn u = mn u = mn g 0,
U U U
luego u 0 en U .
Ahora, si existe x0 U tal que u(x0 ) = 0, por el principio fuerte del mnimo se
concluye que u 0 en U que contradice el hecho de que g 6 0.
El Corolario 4.3.6 nos dice que una perturbacin pequea en el borde del dominio
se propaga inmediatamente a todo su interior. Pensemos en un dato de frontera g que
sea idnticamente cero, salvo en un pequeo entorno de un punto donde g > 0. Luego
la funcin armnica que toma ese valor de frontera debe ser automticamente positiva
en todo su domino, sin importar que tan lejos estemos de esa perturbacin. De ah el
nombre de velocidad de propagacin infinita.
Luego, por el principio dbil del mximo, se tiene que maxU w = maxU w = 0. De
donde w 0 en U , es decir, u1 u2 en U .
De manera completamente anloga se obtiene que u2 u1 en U y en consecuencia
u1 = u2 como queramos demostrar.
= |w|2 dx,
U
de donde se deduce que w = 0 en U y por ende w resulta constante en U . Como
w = 0 en U sigue que w = 0 en U como queramos demostrar.
Terminemos esta seccin con otra consecuencia del Teorema del valor medio.
Teorema 4.3.8 (Desigualdad de Harnack). Sea u C 2 (U ) una funcin armnica
tal que u 0 en U . Dado V U abierto y conexo, existe C = C(n, V ) tal que
sup u C nf u.
V V
1
= n u(y).
2
En consecuencia, si B2r (x0 ) U y x Br (x0 ), se tiene que Br (x) B2r (x0 ), entonces
u(y) 2n u(x) para todo y B r2 (x), de donde
r
u(y) 2n u(x) para todo |x y| <
2
El teorema se concluye ahora por un argumento de compacidad. En efecto, si V U
es conexo y r < 21 dist(V, U ), como V es compacto lo podemos cubrir con bolitas
r
{Bi }N
i=1 de radio 2 .
38 4. LA ECUACIN DE LAPLACE Y DE POISSON
es decir
2n
(4.4.1) |1 u(x)| kukL (B r (x)) .
r 2
de donde
2n
(4.4.2) kukL (B r (x)) kukL1 (Br (x)) .
2 rn n
Juntando (4.4.1) y (4.4.2) se obtiene lo pedido.
4.4. ESTIMACIONES DE LAS DERIVADAS 39
Con las estimaciones del Teorema 4.4.1 se deduce fcilmente el siguiente corolario.
Corolario 4.4.2 (Teorema de Liouville). Sea u C 2 (Rn ) una funcin armnica
y acotada. Entonces u es constante.
Demostracin. En vista de (4.4.1) se tiene que, para todo x Rn y r > 0,
2n 2nC
|i u(x)| kukL (B r (x)) ,
r 2 r
donde kukL (Rn ) C.
Tomando lmite cuando r se concluye que i u(x) = 0 para todo x Rn y
para todo i = 1, . . . , n. Luego u es constante.
Ejercicio 4.4.3. Demostrar que la conclusin del Teorema de Liouville (Corolario
4.4.2) se mantiene si slo se asume que u(x) > C para todo x Rn , C > 0.
Veamos ahora como se extienden las estimaciones del Teorema 4.4.1 a derivadas de
mayor orden.
Teorema 4.4.4. Sea u una funcin armnica en U . Entonces
Ck
(4.4.3) |D u(x0 )| n+k kukL1 (Br (x0 )) ,
r
para cada bola Br (x0 ) U y cada multindice de orden || = k. La constante Ck
viene dada por
(2n+1 nk)k
(4.4.4) Ck = .
n
Demostracin. Se prueba el teorema por induccin en k. El caso k = 1 es el
contenido del Teorema 4.4.1.
Supongamos ahora k 2 y que (4.4.3)(4.4.4) es vlida para toda bola en U y todo
multindice de orden menor o igual a k 1. Sea entonces Br (x0 ) U fija y un
multindice de orden k. Luego D u = i (D u) para algn i = 1, . . . , n y || = k 1.
Razonando de manera completamente anloga a (4.4.1) es fcil ver que
nk
|D u(x0 )| kD ukL (B r (x0 )) .
r k
yx
Ahora, observemos que n =
y luego, para y B (x),
yx cn (n 2)
n x = (x y) n = cn (2 n) n = .
|x y|n n1
1
Recordemos, de la definicin 4.2.2, que cn = n(n2)n
, en consecuencia,
1
n x = .
nn n1
Luego
Z Z
(4.5.5) un x dSy = u(y) dSy u(x), cuando 0.
B (x) B (x)
Asumamos por el momento que tal funcin auxiliar existe. Si aplicamos la frmula
de Green (4.5.2) al par u, x , se obtiene
Z Z
x u dy = (un x x n u) dSy .
U U
y
kvkL (B (y)) C, para todo 0 .
Por otro lado
1
|w(z)| C 1 + , para z B (y)
n2
y
1
|v(z)| C 1 + n2 , para z B (x).
Luego
Z Z
vn w dSz |w||v| dSz C 0, cuando 0.
B (x) B (x)
Anlogamente Z
wn v dSz 0, cuando 0.
B (y)
Finalmente,
Z Z Z
wn v dSz = w(z)n (z x) dSz wn x dSz .
B (x) B (x) B (x)
Pero Z
wn x dSz 0, cuando 0,
B (x)
dado que w y x son regulares en U y
Z Z
w(z)n (z x) dSz = w dSz w(x), cuando 0.
B (x) B (x)
De manera anloga
Z
vn w dSz v(y), cuando 0.
B (y)
Asumamos que f C 2 (U ) y que existe f Cc2 (Rn ) tal que f|U = f . Luego, por lo
visto en el Teorema 4.2.6, si definimos v = f se tiene que v = f en Rn . Luego,
si llamamos w = u v se tiene que w verifica
(
w = 0 en U
(4.5.10)
w = g v en U.
Recprocamente, si podemos resolver la ecuacin de Laplace (4.5.10), entonces la fun-
cin u = w + v ser una solucin de (4.5.9). Luego, nos concentraremos en buscar una
expresin integral para la solucin de (4.5.10).
4.6. CLCULO DE LA FUNCIN DE GREEN EN DOMINIOS CON SIMETRA 45
En esta seccin consideraremos dominios con simetra y haremos uso de esa simetra
para dar una frmula explcita de la funcin de Green.
Consideraremos dos casos,
1. Cuando el dominio es el semiespacio superior, i.e.
U = Rn+ = {(x0 , xn ) Rn : x0 Rn1 , xn > 0}.
2. Cuando el dominio es una bola,
U = Br (0) = {x Rn : |x| < r}.
Entonces
1. u C (Rn+ ) L (Rn+ ),
2. u = 0 en Rn+ y
3. para x0 Rn+ ,
lm u(x) = g(x0 ).
xx0
xRn
+
46 4. LA ECUACIN DE LAPLACE Y DE POISSON
Ahora bien,
Z
|u(x)| kgk P (x, y) dy = kgk , para todo x Rn+ .
Rn1
Esto prueba 1. Por otro lado,
Z
u(x) = x (P (x, y))g(y) dy = 0,
Rn1
lo que prueba 2.
Finalmente, dado > 0 sea > 0 tal que |g(y) g(x0 )| < si |y x0 | < . Luego,
Z
|u(x) g(x0 )| = P (x, y)(g(y) g(x0 )) dy
n1
ZR
P (x, y)|g(y) g(x0 )| dy
Rn1
Z Z
= P (x, y)|g(y) g(x0 )| dy + P (x, y)|g(y) g(x0 )| dy
B (x0 ) Rn1 \B (x0 )
= (I) + (II).
Para (I) se tiene
Z Z
(I) P (x, y) dy P (x, y) dy = .
B (x0 ) Rn1
Ahora, si |x x0 | < 2
y |y x0 | > , se tiene que
|y x0 |
|y x0 | |y x0 | + |x0 x0 | < |y x0 | + < |y x0 | + ,
2 2
de donde
1
|y x0 | < |y x0 |.
2
Luego
1 2n
.
|y x0 |n |y x0 |n
Ahora, si |x x0 | < 2 estimamos (II) como
Z
2xn n 1
(II) 2kgk 2 n
dy Cxn 0
nn Rn1 \B (x0 ) |y x0 |
si xn 0.
Esta ltima estimacin concluye la demostracin de 3, y por ende del Teorema.
4.6. CLCULO DE LA FUNCIN DE GREEN EN DOMINIOS CON SIMETRA 47
Calculemos ahora el ncleo de Poisson P (x, y). Observemos que el vector normal
exterior a B en un punto y B es n = y. Luego
n
X
(4.6.1) P (x, y) = n G(x, y) = y G(x.y) y = yi G(x, y)yi
i=1
Veamos ahora que, efectivamente, podemos utilizar la expresin del ncleo de Pois-
son para resolver la ecuacin de Laplace en la bola.
Teorema 4.6.7. Sea g C(B) y definimos u : B R por la frmula
Z
u(x) = g(y)P (x, y) dSy .
B
Ahora, tomamos > 0 y sea > 0 tal que |g(y) g(x0 )| < si |y x0 | < . Luego, la
ltima integral la partimos como
Z Z
|g(y)g(x0 )|P (x, y) dSy + |g(y)g(x0 )|P (x, y) dSy = A+B
B{|yx0 |<} B{|yx0 |}
Para A se acota Z
A P (x, y) dSy .
B{|yx0 |<}
Recordemos que, por la Observacin 4.5.8, esto implicar la existencia de una so-
lucin de la ecuacin de Poisson
(
u = f en U
u=g en U.
para toda f C 2 (U ) y g C(U ).
La idea del mtodo de Perron es que la solucin de (4.7.1) se construye como el
supremo de las funciones subarmnicas v tales que v g en U . Recordemos que
v C 2 (U ) se dice subarmnica en U si
v 0 en U.
Es fcil ver que si u verifica (4.7.1) y v es subarmnica en U y verifica que v g en
U , entonces v u en U .
En general es complejo construirse funciones subarmnicas debido al requerimiento
de que las mismas sean de clase C 2 . Sin embargo, es posible relajar esa hiptesis defi-
niendo a las funciones subarmnicas como aquellas que se comparen con las funciones
armnicas.
Definicin 4.7.1 (Funciones subarmnicas). Sea v C(U ). Decimos que v es
subarmnica en U si para toda bola B U y h armnica en B tal que v h en B
se verifica que v h en B.
De manera anloga, se define una funcin superarmnica invirtiendo las desigual-
dades en la definicin anterior.
Es fcil ver que v(x) := kw(x) + + g(y) resulta superarmnica en U y v(x) g(x)
para x U .
Por otro lado, resulta tambin fcil ver que v(x) := kw(x)+g(y) es subarmnica
en U y v(x) g(x) para x U .
En consecuencia, se tiene que
v u v,
de donde
|u(x) g(y)| + kw(x).
Como w es continua y w(y) = 0 se concluye lo deseado.
4.8. Ejercicios
Ejercicio 4.8.1. Probar que la ecuacin de Laplace u = 0 es invariante por
rotaciones.
Esto es, si O Rnn es una matriz ortogonal (i.e. O O> = In ) y definimos
v(x) = u(Ox), entonces v = 0.
Ejercicio 4.8.2. Verificar las siguientes afirmaciones indicando en cada caso las
hiptesis de regularidad sobre u necesarias para su validez.
1. Combinaciones lineales: Si u1 y u2 son funciones armnicas, entonces u1 + u2
es armnica.
2. Homotecias: Si u es armnica, entonces u (x) = u(x) es armnica.
3. Traslaciones: Si u es armnica, entonces u(x ) es armnica.
4. Diferenciacin respecto a parmetros: Si u(x, ) es armnica para cada , en-
tonces u
(x, ) es armnica para cada .
5. Integracin respecto a parmetros: Si u(x, ) es armnica para cada , entonces
Rb
a
u(x, )d es armnica.
6. Diferenciacin respecto a x: Si u es armnica, entonces D u es armnica para
todo multindice Nn . R
7. Convoluciones: Si u es armnica, entonces u(x )()d es armnica.
Ejercicio 4.8.3. Sea u armnica en U R2 , abierto simplemente conexo. Probar
que entonces existe v armnica en U tal que u + iv es holomorfa.
Ejercicio 4.8.4. Decimos que v C 2 (U ) es subarmnica si v 0 en U .
4.8. EJERCICIOS 53
Ejercicio 4.8.8. Probar que existe a lo sumo una solucin acotada del problema
(
u = f en Rn+ ,
u=g en Rn+ .
Sigue valiendo la unicidad si eliminamos la hiptesis de que u sea acotada?
Ejercicio 4.8.9. Sea {uk }
k=1 una sucesin de funciones armnicas en U que con-
verge uniformemente sobre los compactos de U a una funcin u. Probar que u es
armnica.
Ejercicio 4.8.10. Sea {uk }kN C 2 (U ) C(U ) (U acotado), las soluciones de los
siguientes problemas, (
uk = 0 en U
uk = gk en U.
Probar que si gk g uniformemente en U , entonces existe u C 2 (U ) C(U ) tal que
uk u uniformemente en U y u = 0 en U .
Ejercicio 4.8.11 (Teorema de Harnack de convergencia montona). Sea {uk } k=1
una sucesin montona de funciones armnicas en un dominio U , entonces la sucesin
converge en todo punto o diverge en todo punto. En el primer caso, la convergencia es
uniforme sobre compactos y el lmite es una funcin armnica.
Ejercicio 4.8.12. Probar que si u es armnica en Rn y |u(x)| C(1 + |x|k ),
entonces u es un polinomio de grado a lo sumo k.
Ejercicio 4.8.13. Probar que si el problema de Neumann
(
u = f en U,
n u = g en U,
tiene una solucin en U acotado (u C 2 (U ) C 1 (U )) entonces
Z Z
f (x)dx = g(x) dS.
U U
Relacionar con el Ejercicio 3.8.10.
Ejercicio 4.8.14. Sea U un dominio con borde regular. Probar que si u C 2 (U )
1
C (U ) es solucin de (
u = 0 en U,
n u = 0 en U,
entonces u es constante.
Ejercicio 4.8.15. Determinar la funcin de Green para la regin U = BR (0)\Br (0)
con 0 < r < R.
Ejercicio 4.8.16. Sea u C 2 (BR (0)) C(BR (0)) una funcin armnica y no
negativa. Probar la siguiente forma de la desigualdad de Harnack
Rn2 (R |x|) Rn2 (R + |x|)
u(0) u(x) u(0).
(R + |x|)n1 (R |x|)n1
4.8. EJERCICIOS 55
Ejercicio 4.8.21. Usar el lema de Hopf para dar otra demostracin del principio
fuerte del mximo.
Ejercicio 4.8.22. Demostrar que si U Rn es un abierto con frontera de clase C 2
entonces posee la propiedad de la bola tangente exterior.
Ejercicio 4.8.23. Mostrar que el problema de Dirichlet es resoluble para todo
dominio U Rn que satisface la propiedad del cono exterior; esto es, para todo y U
existe un cono circular finito K con vrtice en y tal que K U = {y}.
Sugerencia: Mostrar que en cada punto y U puede elegirse una barrera de la
forma w = r f () donde (r, ) R+ S n1 son las variables polares centradas en y.
Captulo 5
Transformada de Fourier
kuk kuk1 .
Es decir,
F : L1 (Rn ) L (Rn ),
resulta un operador lineal y continuo.
Teorema 5.1.4. Sea u L1 (Rn ) tal que |x|k u L1 (Rn ). Entonces u C k (Rn ) y
se tiene la frmula
Teorema 5.1.5. Sea u Cck (Rn ) tal que D u L1 (Rn ) para todo multindice
|| k. Entonces se tiene
Ahora,
Z
F[xj u](y) = xj u(x)e2ixy dx
Rn
Z
= 2iyj u(x)e2ixy dx
Rn
= 2iyj u(y),
donde en la segunda igualdad hemos usado el hecho de que u tiene soporte compacto.
Esto concluye la demostracin.
Observacin 5.1.6. Observar que la conclusin del Teorema 5.1.5 sigue siendo
vlida si en lugar de soporte compacto se requiere que u decaiga rpidamente cuando
|x| .
Esta relacin que existe entre regularidad y decaimiento a travs de la transformada
de Fourier da lugar a la definicin de la clase de Schwartz.
Definicin 5.1.7 (Clase de Schwartz). Se define la clase de Schwartz como
n j n
S := u C (R ) : sup (1 + |x| )|D u(x)| < , para todo j N0 , N0 .
xRn
Cada aplicacin [],j resulta una seminorma. Verificar que [u],j = 0 para todo j N
y para todo Nn0 si y slo si u = 0 (es decir, la familia de seminormas {[],j },j es
completa).
Probar luego que si se tiene un espacio vectorial X con una familia numerable de
seminormas {[]j }jN entonces si la familia {[]j }jN es completa, la funcin
X 1 [u v]j
d(u, v) :=
jN
2j 1 + [u v]j
define una mtrica en X con la propiedad de que d(uk , u) 0 si y slo si [uk u]j 0
cuando k para todo j N.
Concluir el enunciado el ejercicio.
Ejercicio 5.1.13. Probar que S con la mtrica del Ejercicio 5.1.12 es completo.
El valor de I es bien conocido, pero realicemos el clculo de todas formas. Para eso se
realiza el siguiente truco
Z Z
2 tx2 ty 2
I = e dx e dy
Z
2 2
= et(x +y ) dxdy
R2
Z Z 2
2
= etr r ddr
0
Z 0
2
= 2 etr r dr
0
= .
t
p
Luego I = t
y en consecuencia
r
2 y 2
(y) = e t .
t
De todo esto se deduce que
n
Y
F[exp(t|x|2 )](y) = (yi ),
i=1
2. F[u v] = uv
Es decir, u = F 1 [u].
Finalmente, F 1 se extiende de manera nica como una isometra a L2 (Rn ) y
resulta la inversa de la transformada de Fourier F en L2 (Rn ).
se concluye la demostracin.
64 5. TRANSFORMADA DE FOURIER
Las derivadas dbiles poseen muy buenas propiedades como lo muestra el siguiente
ejercicio.
Ejercicio 5.3.10. Sean {Tk }kN D0 (U ) y T D0 (U ). Se tiene entonces
1. i (j T ) = j (i T ), para todo i, j = 1, . . . , n.
2. hD T, ui = (1)|| hT, D ui, para todo multindice Nn0 .
66 5. TRANSFORMADA DE FOURIER
D0 (U ) D0 (U )
3. Si Tk T entonces D Tk D T , para todo multindice Nn0 .
Antes de proseguir, veamos alguno ejemplos de derivadas dbiles.
Ejemplo 5.3.11. 1. Es claro que si f C 1 (U ), entonces su derivada dbil y
clsica coinciden.
2. Sea f : R R dada por
(
x si x 0
f (x) = = x1[0,) (x).
0 si x < 0
Calculemos entonces su derivada dbil f 0 .
Z Z
0 0 0
hf , ui = hf, u i = xu (x) dx = u(x) dx,
0 0
donde hemos usado la frmula de integracin por partes en la ltima igualdad,
junto con el hecho de que u tiene soporte compacto.
De la ltima expresin, se deduce que
(
1 si x 0
f 0 (x) = = 1[0,) (x).
0 si x < 0
3. Calculemos ahora f 00 donde f (x) = x1[0,) (x).
Z
00 0 0
hf , ui = hf , u i = u0 (x) dx = u(0),
0
donde hemos usado que u tiene soporte compacto y el item anterior.
Observemos que
h0 , ui = u(0),
donde 0 es la delta de Dirac soportada en el origen que es una medida de
Radon sobre R (y por ende, un elemento de D0 segn el Ejercicio 5.3.8). En
consecuencia, se tiene que
f 00 = 0 .
4. Calculemos una derivada ms, es decir f 000 = 00 .
h00 , ui = h0 , u0 i = u0 (0).
Es fcil ver que esta distribucin no es una medida, y por ende M(R) ( D0 .
5. Sea ahora f = 1B1 (0) donde B1 (0) Rn y calculemos su derivada parcial dbil.
Z Z
hi f, ui = hf, i ui = i u dx = uxi dS,
B1 (0) B1 (0)
Ahora si,
Ejemplo 5.3.17. 1. Calculemos 0 . Si u S, se tiene
Z
h0 , ui = h0 , ui = u(0) = u(x) dx = h1, ui,
Rn
es decir, 0 = 1.
68 5. TRANSFORMADA DE FOURIER
Para simplificar la exposicin todos los clculos que haremos sern formales, es
decir, no nos ocuparemos por justificar rigurosamente los clculos y ms adelante, a
posteriori, veremos cmo puede mostrarse que la funcin hallada es efectivamente una
solucin de (5.4.1).
Luego, definimos u(y, t) = F[u(, t)](y) la transformada de Fourier de u en la varia-
ble x para t constante, i.e.
Z
u(y, t) = u(x, t)e2ixy dx.
Rn
5.5. Ejercicios
La ecuacin de difusin
ut u = f
Esta ecuacin nos dice que la densidad de las partculas de tinta en la posicin x a
tiempo t + es la suma de las partculas que se encontraban en la posicin x y a
tiempo t y pasaron a x despus de segundos.
71
72 6. LA ECUACIN DE DIFUSIN
Observemos ahora que, dado que (, ) es radial para cada > 0 fijo, sigue que
Z Z
(6.1.2) yi (y, ) dy = 0 y yi yj (y, ) dy = 0,
Rn Rn
para todo i, j = 1, . . . , n, i 6= j.
Por otro lado,
Z Z
2
yi (y, ) dy = y12 (y, ) dy, para todo i = 1, . . . , n,
Rn Rn
y por ende Z Z
1
yi2 (y, ) dy = |y|2 (y, ) dy.
Rn n Rn
6.1.2. Paseo al azar. Veamos ahora la versin discreta del movimiento Brow-
niano, el llamado paseo al azar, y su vinculacin con la ecuacin de difusin. Para
simplificar la exposicin, supondremos que estamos en una dimensin espacial.
Luego, en la recta real, tenemos una partcula que ocupa una posicin (digamos
x = 0) y se puede mover con probabilidad 12 a derecha o a izquierda una longitud h
despus de un cierto intervalo de tiempo .
Llamemos p(m, n) a la probabilidad de que la partcula se encuentre en la posicin
mh a tiempo n . Luego, la funcin p verifica
1 1
p(m, n + 1) = p(m 1, n) + p(m + 1, n).
2 2
Equivalentemente,
1
p(m, n + 1) p(m, n) = (p(m 1, n) 2p(m, n) + p(m + 1, n)).
2
6.1. LA ECUACIN DE DIFUSIN, EL MOVIMIENTO BROWNIANO Y EL PASEO AL AZAR 73
para cierta constante D > 0. Pero esto por si solo no basta, dado que entonces el
trmino de transporte (q0 p
0 )h
x p tiende a . Observemos que
(q0 p0 )h (q0 p0 ) h2 (q0 p0 )
= = 2D ,
h h
luego resulta natural imponer adems la condicin
(q0 p0 )
R, cuando h 0.
h
Observemos que, como p0 + q0 = 1, se tiene que
1 1
p0 = h + o(h) y q0 = + h + o(h).
2 2 2 2
El signo de depender de qu sentido de movimiento es ms probable. Observemos
que > 0 indica que la partcula tiende a moverse hacia la izquierda mientras que
< 0 indica que la partcula tiende a moverse hacia la derecha.
Finalmente, si llamamos b := 2D se obtiene en el lmite la ecuacin
(6.1.5) pt = Dxx p + bx p.
Demostracin. Llamemos
1 |x|2
4
(x) = n e ,
(4) 2
y se tiene que
Z
(x) dx = 1.
Rn
Ver la demostracin del Lema 5.2.1 para una prueba de este hecho.
Ahora, si (x) = n ( x ), entonces por el Teorema de cambio de variables,
Z
(x) dx = 1.
Rn
El Lema queda entonces probado una vez que se observa que t (x) = (x, t).
Ahora,
Z tZ
ut (x, t) u(x, t) = (y, s) (t f (x y, t s) x f (x y, t s)) dyds
0 Rn
Z
+ (y, s)f (x y, 0) dy
Rn
Z tZ
= (y, s) (s f (x y, t s) y f (x y, t s)) dyds
0 Rn
Z
+ (y, s)f (x y, 0) dy
Rn
=A + B.
Para estimar A se procede como sigue
Z tZ
A= (y, s) (s f (x y, t s) y f (x y, t s)) dyds
Rn
Z Z
+ (y, s) (s f (x y, t s) y f (x y, t s)) dyds
0 Rn
=I + J .
Pero
n
!Z Z
X
|J | kt f k + kii f k (y, s) dyds
i=1 0 Rn
= C
y para calcular I , usando la frmula de integracin por partes, se tiene
Z tZ
I = (s (y, s) y (y, s)) f (x y, t s) dyds
n
Z R Z
+ (y, )f (x y, t ) dy (y, t)f (x y, 0) dy
n Rn
Z R
= (y, )f (x y, t ) dy B.
Rn
Luego, Z
ut (x, t) u(x, t) = lm (y, )f (x y, t ) dy = f (x, t).
0 Rn
Finalmente,
Z tZ
|u(x, t)| (y, s)|f (x y, t s)| dyds kf k t 0
0 Rn
cuando t 0 uniformemente en x Rn .
Si combinamos el Teorema 6.2.4 y el Teorema 6.2.8 obtenemos el siguiente corolario.
Corolario 6.2.10. Sea g Cb (Rn ) y f Cc2,1 (Rn (0, )). Entonces la funcin
u : Rn (0, ) R definida por
Z Z tZ
u(x, t) := (x y, t)g(y) dy + (x y, t s)f (y, s) dyds
Rn 0 Rn
6.3. LA ECUACIN DE DIFUSIN EN DOMINIOS ACOTADOS 79
Corolario 6.3.2. Existe a lo sumo una solucin u C 2,1 (UT ) del problema
(
ut u = f en UT
(6.3.1)
u=g en p UT .
Nuestro objetivo ahora es probar el principio del mximo fuerte para la ecuacin
de difusin. Cuando demostramos el principio fuerte del mximo para la ecuacin de
Laplace (Corolario 4.3.3), la demostracin se bas en la frmula del valor medio para
funciones armnicas, Teorema 4.3.2.
Si bien es posible encontrar una suerte de frmula del valor medio para soluciones de
la ecuacin de difusin (ver [6]) y en consecuencia deducir de ella el principio fuerte del
mximo, elegimos dar otra demostracin basndonos en la desigualdad de Harnack.
La ventaja de este enfoque es que el mismo es muy sencillo de generalizar tanto a
operadores elpticos como parablicos, una vez que la desigualdad de Harnack sea
demostrada para esos operadores (ver los ejercicios 4.8.18 y 6.7.19 para la definicin
de operador elptico y parablico respectivamente).
Antes de hacer la demostracin para la ecuacin de difusin, veamos como se puede
deducir el principio fuerte del mximo para la ecuacin de Laplace a partir de la
desigualdad de Harnack.
Teorema 6.3.3. Sea u C 2 (U ) C(U ) una funcin armnica en U Rn , con U
conexo. Si existe x0 U tal que u(x0 ) = maxU u, entonces u es constante en U .
donde la matriz (aij )ni,j=1 es uniformemente elptica y los coeficientes aij son suaves (ver
[6, Theorem 10, pg. 370]).
Afirmamos ahora que, dado V U y 0 < t1 < t2 T , existe > 0 (que depende
slo de V , t1 y t2 ) y 0 < < 1 tal que
(6.3.3) v |v|2 en V [t1 , t2 ].
donde hemos usado (6.3.2) y (6.3.3) en la desigualdad. De esta desigualdad es fcil ver
que existe > 0 que depende slo de |x2 x1 |, (t2 t1 ) y tal que
v(x2 , t2 ) v(x1 , t1 ) .
Si ahora recordamos que v = log u, obtenemos
u(x2 , t2 ) e u(x1 , t1 ).
Esto demuestra la desigualdad de Harnack para dominios V convexos. El caso general
se deduce de este cubriendo el dominio por bolas al igual que en el Teorema de Harnack
para la ecuacin de Laplace, Teorema 4.3.8.
Queda entonces demostrar la estimacin (6.3.3). Llamemos w := v, w = |v|2 y
veamos que ecuacin diferencial verifica w := w + 12 w. De (6.3.2), se tiene
n
X
ij vt = ij w + 2 (ik vjk v + k vijk v).
k=1
82 6. LA ECUACIN DE DIFUSIN
Luego,
n n n
!
X X X
wt = ii vt = ii w + 2 (ik v 2 + k viik v)
i=1 i=1 k=1
n
X
= w + 2|D2 v|2 + 2 k viik v
i,k=1
X n n
X
2 2
= w + 2|D v| + 2 k v iik v
k=1 i=1
= w + 2|D2 v|2 + 2v w.
Por otro lado,
n
X n
X n
X
2
wt w = 2 i vi vt 2 (ij v) 2 i vi jj v
i=1 i,j=1 i,j=1
n
X
= 2|D2 v|2 + 2 i vi (vt v)
i=1
2 2
= 2|D v| + 2v w,
donde hemos usado (6.3.2) y la definicin de w en la ltima igualdad.
Luego, si llamamos b := 2v, tenemos
(6.3.4) wt w + b w = |D2 v| 0.
Sea ahora Cc (UT ) tal que 0 1, 1 en V [t1 , t2 ]. Sea > 0 una
constante que determinaremos ms adelante.
Afirmo ahora que se tiene 4 w + t 0 en UT si es elegido adecuadamente. En
efecto, asumamos que 4 w + t tiene un mnimo negativo en (x0 , t0 ) UT . Entonces
se tiene
(6.3.5) 0 = i ( 4 w + t) = 3 (4i w + i w) en (x0 , t0 ), i = 1, . . . , n.
Ms an,
( 4 w + t)t (x0 , t0 ) 0 y ii ( 4 w + t)(x0 , t0 ) 0,
de donde, evaluando en (x0 , t0 ),
( 4 w + t)t ( 4 w + t) 0.
Ahora,
( 4 w + t)t = + 4 wt + 4 3 t w
( 4 w + t) = 4 w + (12||2 + 4) 2 w + 8 4 w.
Luego
0 + 4 (wt w) 8 3 w + R1 2 w,
donde R1 = 12||2 + 4 + 4t .
Si ahora usamos (6.3.4), obtenemos
0 4 b w + 4 |D2 v|2 8 3 w + R1 2 w.
6.3. LA ECUACIN DE DIFUSIN EN DOMINIOS ACOTADOS 83
Ahora bien n
X
8 3 w = 8 3 i i w
i=1
y de (6.3.5) concluimos que
3 i i w = 2 i i w = 4 2 i 2 w.
Es decir
8 3 w = 32||2 2 w.
Anlogamente
n
X
4 4
b w = 2 v w = 2 4 i vi w,
i=1
y de (6.3.5) obtenemos
4 i vi w = 3 i vi w = 4 3 i vi w.
As nos queda
4 b w = 8 3 v w.
Combinando estas estimaciones se llega a
(6.3.6) 0 + 4 |D2 v|2 R2 2 w,
donde R2 = R1 + 32||2 8 v. Este trmino R2 verifica que
|R2 | C(1 + |v|).
Luego, obtenemos que
|R2 2 w| C( 2 |w| + 3 |w||v|).
Por otro lado, como en (x0 , t0 ) tenemos que 4 w + t < 0, sigue que w(x0 , t0 ) < 0
y de la definicin de w obtenemos entonces
|v|2 |v| y |w| 2|v| en (x0 , t0 ).
Luego, llegamos a
3
|R2 2 w| C( 2 |v| + 3 |v| 2 ).
Recordemos ahora la desigualdad de Young con . La misma dice que, dado 1 < p <
y > 0, existe C = C(, p) tal que
0
ab ap + Cbp ,
para todo a, b > 0. (Si no recuerda la demostracin de esta desigualdad, hgala!).
Puede verse fcilmente que
p1
C = C(, p) = p0
.
pp 0 p
Por otro lado, es fcil ver que
v
Xn u n
uX
|v| |ii v| nt |ii v|2 n|D2 v|
i=1 i=1
Anlogamente,
3 3 3
3 |v| 2 n 2 3 |D2 v| 2 4 |D2 v|2 + C().
Tomando = 21 , obtenemos de (6.3.6)
1
0 + 4 |D2 v|2 C C,
2
que es un absurdo si elegimos suficientemente grande.
Luego, concluimos que 4 w + t 0 en UT , de donde w + t 0 en V [t1 , t2 ]. Si
llamamos = t2 se concluye (6.3.3) y con eso la demostracin del teorema.
Al igual que para la ecuacin de Laplace, puede usarse el Teorema 6.3.4 para de-
mostrar el principio fuerte del mximo para la ecuacin de difusin.
Teorema 6.3.6 (Principio fuerte del mximo para la ecuacin de difusin). Sea
u C 2,1 (UT ) solucin de ut u = 0 en UT . Si existe (x0 , t0 ) UT tal que u(x0 , t0 ) =
maxUT u, entonces u es constante en Ut0 .
Observacin 6.3.7. Observemos que el Teorema 6.3.6 no afirma que u es constante
en todo UT , sino que es constante en todo tiempo anterior al momento en que alcanz
el mximo.
Demostracin. Supongamos primero que 4aT < 1. Entonces se tiene que, dado
> 0, existe > 0 tal que
1
(6.3.7) = a + .
4(T + )
Sea y Rn fijo, > 0 y definimos
|x y|2
v(x, t) = u(x, t) n exp .
(T + t) 2 4(T + t)
Es fcil verificar que v C 2,1 (Rn (0, T ]) verifica que vt v = 0 en Rn (0, T ).
Tomemos ahora r > 0 grande y entonces, por el Teorema 6.3.1, se tiene que, si
llamamos U = Br (y),
max v = max v
UT p UT
Acotemos entonces v en p UT .
Si t = 0, x U , se tiene
|x y|2
v(x, 0) = u(x, 0) n exp u(x, 0) = g(x).
(T + ) 2 4(T + )
Si t (0, T ], x U , se tiene que, por (6.3.7) y usando que |x| r + |y|,
r2
v(x, t) = u(x, t) n exp
(T + t) 2 4(T + t)
2 n 2
Aea|x| (4(a + )) 2 e(a+)r
2 n 2
Aea(|y|+r) (4(a + )) 2 e(a+)r
cuando r .
Luego, hemos obtenido que, si r es suficientemente grande, v(x, t) supRn g para
todo (x, t) Br (y) [0, T ], de donde
|x y|2
u(x, t) n exp sup g,
(T + t) 2 4(T + t) Rn
Observemos que el Corolario 6.4.3 nos dice que si perturbamos levemente el dato
inicial entonces la solucin de la ecuacin de difusin resulta ser una leve perturbacin
de la solucin con el dato sin perturbar. Este hecho es fundamental en aplicaciones
dado que resulta imposible en la prctica conocer los datos del problema con precisin
infinita.
El siguiente teorema prueba la llamada unicidad hacia atrs. Esto dice que si se
tienen dos funciones que son soluciones de la ecuacin de difusin y ambas coinciden
a un cierto tiempo T > 0, entonces deben ser iguales para todo t < T . En efecto, se
tiene
Teorema 6.4.4 (Unicidad hacia atrs). Sean u1 , u2 C 2 (UT ) soluciones de
(
ut u = f en UT
u=g en U (0, T ).
Entonces, si u1 (x, T ) = u2 (x, T ) para todo x U , se verifica que u1 = u2 en UT .
6.5. Regularidad
En esta seccin veremos que, al igual que lo que sucede con las soluciones de la
ecuacin de Laplace, las soluciones de la ecuacin de difusin resultan ms regulares
de lo supuesto inicialmente.
Se tiene el siguiente teorema.
Teorema 6.5.1 (Regularidad de la ecuacin de difusin). Sea u C 2,1 (UT ) una
solucin de la ecuacin de difusin ut u = 0 en UT . Entonces u C (UT ).
Por otro lado, es fcil ver que v Cb (Rn (0, )), luego es una solucin fsicamente
razonable (en el sentido del Corolario 6.3.10) y por ende debe coincidir con la expresin
dada en el Corolario 6.2.10, i.e.
Z tZ
v(x, t) = (x y, t s)f(y, s) dyds.
0 Rn
Ahora escribimos
Sn n2 Sn n
X(t) = (2Sn n)h = pn nh = p n 2 Dt.
4 4
Calculemos, finalmente P(a X(t) b). Para eso, fijamos t y hacemos de manera
simultnea n , 0 y h 0 de manera tal que
h2
t = n y D =
p
(i.e. = n := t/n y h = hn := Dt/n). Luego, por el Teorema Central del Lmite,
!
a Sn n2 b
lm P(a X(t) b) = lm P pn
n n Dt 4 Dt
a b
=P N (0, 1)
Dt Dt
Z b
1 Dt x2
= e 2 dx
2 aDt
Z b
1 x2
= e 2Dt dx.
2Dt a
Es decir, en el lmite, la densidad de X viene dada por la solucin fundamental de la
ecuacin de difusin.
6.7. Ejercicios
4 0 (t s)3/2
94 6. LA ECUACIN DE DIFUSIN
para la solucin de
ut xx u = 0, x > 0, t > 0,
u(x, 0) = 0,
u(0, t) = h(t),
donde h(0) = 0. (Pista: defina v(x, t) = u(x, t) h(t) y extienda a v por imparidad.)
Ejercicio 6.7.12. Mostrar que la solucin acotada de
ut xx u = 0, x > 0, t > 0,
ux (0, t) = 0,
u(x, 0) = f (x),
donde los coeficientes aij , bi son continuos, aij = aji y la matriz A = (aij ) es definida
positiva. Es decir, L es un operador elptico segn la definicin del Ejercicio 4.8.18.
Probar que si u C 2,1 (UT ) C(U T ) satisface
ut + Lu = 0 en UT ,
entonces
max u = max u.
UT T
Una ecuacin en derivadas parciales de primer orden es una ecuacin del tipo
F (t, x, u, ut , u) = 0,
donde la incgnita u est definida en un conjunto de la forma U (0, T ) con U Rn .
A lo largo de este captulo, por u entendemos el gradiente en las derivadas espaciales,
u = (x1 u, . . . , xn u).
Esta ecuacin se dice lineal si F es lineal en u, ut y u.
Empecemos presentando algunos modelos donde aparecen de manera natural estas
ecuaciones.
7.1. Motivacin
7.1.1. Paseo al azar asimtrico revisitado. Volvamos a estudiar el paseo al
azar asimtrico que vimos en la Seccin 6.1.3.
Nuevamente consideraremos el caso unidimensional y haremos las mismas suposi-
ciones que en la Seccin 6.1.3, es decir:
La partcula empieza en x = 0.
La partcula se mueve, luego de un cierto tiempo , a la derecha con probabilidad
p0 6= 12 y a la izquierda con probabilidad q0 = 1 p0 una longitud h de manera
independiente en cada paso.
Volvemos a notar con p(x, t) la probabilidad de que la partcula este ubicada en
x = nh a tiempo t = m y de manera anloga a la Seccin 6.1.3, para p(x, t) se tiene
1 h2
2
(q0 p0 )h h
pt + o(1) = xx p + x p + o .
2
Ahora, a diferencia de la Seccin 6.1.3, para poder pasar al lmite h, 0, supo-
nemos que
h
=
para cierta constante > 0. Luego, obtenemos
1
pt + o(1) = hxx p + (q0 p0 )x p + o(h).
2
Finalmente, si llamamos v = (p0 q0 ) y pasamos al lmite h 0 obtenemos la ecuacin
de transporte puro
pt + vx p = 0.
Observemos que v > 0 indica que la partcula se mueve hacia la derecha mientras que
v < 0 indica que la partcula se mueve hacia la izquierda.
97
98 7. ECUACIONES DE PRIMER ORDEN
Ejercicio 7.2.3. Deducir el Teorema 7.2.2 a partir del Teorema 7.2.1 usando el
mtodo de Duhamel (c.f. Ejercicio 6.2.7 y Teorema 6.2.8).
En este caso, veremos que las caractersticas de la ecuacin no son ms rectas sino
curvas caractersticas determinadas por el campo de velocidades v.
En efecto, consideremos una curva x(t) de clase C 1 , x : [0, ) Rn y definimos,
en el espritu de la seccin 7.2.1, (t) := u(x(t), t). Luego, verifica
0 (t) = ut (x(t), t) + x0 (t) u(x(t), t).
En consecuencia, si la curva x(t) verifica
x0 (t) = v(x(t)), t > 0
tendremos que 0 (t) = 0 y por ende (t) es constante.
Esto dice que u(x(t), t) = u(x(0), 0) = g(x(0)), si asumimos que u verifica la condi-
cin inicial u(x) = g(x), x Rn .
Consideremos en consecuencia (x, t) el flujo asociado al campo v, es decir
(
t (x, t) = v((x, t)) t R
(7.2.7)
(x, 0) = x x Rn .
Este flujo est bien definido, : Rn R Rn dado que el campo v es Lipschitz.
Ver [17].
Por otro lado, para cada t R fijo, el campo (, t) : Rn Rn resulta un difeomor-
fismo (es decir, es de clase C 1 , inversible y con inversa de clase C 1 ). Es tambin fcil
ver que (, t)1 = (, t).
Todas estas consideraciones nos llevan a deducir que
u((x0 , t), t) = g((x0 , 0)) = g(x0 ).
Luego, si (x, t) Rn (0, ) es arbitrario, llamando x0 = (x, t) concluimos que
u(x, t) = g(x0 ) = g((x, t)).
Hemos probado entonces el siguiente teorema.
Teorema 7.2.6. Sea g C 1 (Rn ) y sea v Lip(Rn ; Rn ). Sea : Rn R Rn el
flujo asociado al campo v dado por la ecuacin (7.2.7). Entonces el problema
(
ut + v(x) u = 0 en Rn (0, )
(7.2.8)
u(x, 0) = g(x) x Rn ,
tiene una nica solucin y la misma viene dada por la frmula
(7.2.9) u(x, t) = g((x, t)).
donde v R es constante.
Con las tcnicas desarrolladas en la seccin previa es razonablemente sencillo obte-
ner un teorema de existencia y unicidad para (7.3.1).
Teorema 7.3.1. Si f C([0, ) [0, )), x f C([0, ) [0, )) y g, h
1
C ([0, )) verifican las siguientes condiciones de compatibilidad
g(0) = h(0) y h0 (0) + vg 0 (0) = f (0, 0),
entonces existe una nica solucin de (7.3.1).
Ejercicio 7.3.2. Demostrar el Teorema 7.3.1. Sugerencia: Usar el mtodo de las
caractersticas y separar los casos x tv > 0 y x tv > 0. Verificar que las condiciones
de compatibilidad garantizan que la solucin hallada sea de clase C 1 .
Si bien el Teorema 7.3.1 nos garantiza existencia y unicidad para el problema (7.3.1),
la frmula que se obtiene es algo engorrosa. Mostraremos ahora como por mtodos de
energa es posible obtener no slo la unicidad de soluciones, sino tambin la estabilidad
de las mismas bajo perturbaciones de los datos f, g y h.
7.3. EL PROBLEMA EN LA SEMI RECTA 103
En esta seccin haremos una muy breve introduccin a las ecuaciones de primer
orden cuasilineales. No intentaremos desarrollar ninguna teora general sobre las mis-
mas sino que nos limitaremos a discutir dos ejemplos provenientes de la dinmica del
trnsito.
Luego, si x0 (t) = q 0 (u(x(t), t)) se tendr que 0 (t) = 0, pero eso implica que (t) =
(0) = u(x0 , 0) = g(x0 ) y por ende x0 (t) = q 0 (g(x0 )) de donde
x(t) = x0 + tq 0 (g(x0 )).
Entonces, la solucin u debe verificar que
u(x0 + tq 0 (g(x0 )), t) = g(x0 )
Para poder concluir se necesita que, dado (x, t) R (0, ) exista un nico x0 R
tal que x = x0 + tq 0 (g(x0 )). Pero, es cierto esto?
Observemos que en el caso de velocidad constante, tenamos que q 0 (u) = v constante
y por ende x0 = x tv.
Existen dos conflictos posibles que hacen de este problema particularmente difcil:
1. Colisin de caractersticas.
Supongamos que para x0 > x1 se tiene que q 0 (g(x0 )) = 1 y q 0 (g(x1 )) = 2,
luego se tiene que para t = x0 x1 > 0, las rectas caractersticas xi + tq 0 (g(xi ))
colisionan, luego la funcin u no resulta bien definida en (x, t) para x = x0 +t =
x1 + 2t.
2. Ausencia de caractersticas.
Supongamos que para x0 < 0 se tiene que q 0 (g(x0 )) 0 mientras que para
x0 > 0 se tiene que q 0 (g(x0 )) 1. Luego, es fcil ver que si (x, t) est en la
regin
{(x, t) R (0, ) : 0 x t}
se tiene que x 6= x0 + tq 0 (g(x0 )) para todo x0 R.
Consideramos, al igual que en la seccin anterior y slo para simplificar los clculos,
que la velocidad v viene dada por (7.4.1). Al igual que antes, tenemos entonces que
(
3
2u vm si x < 0
q 0 (u) = vm 1 , de donde q 0 (g(x)) = 4
um vm si x 0.
En este caso observamos que todo punto (x, t) en la regin
3
R := {(x, t) R (0, ) : vm t x < vm t}
4
es alcanzado por dos rectas caractersticas, producindose el fenmeno de colisin de
caractersticas.
La idea para construir una solucin en esta situacin es buscar una curva s : [0, )
R tal que s(0) = 0, (s(t), t) R para todo t > 0 y tal que si (x, t) R verifica que
7.5. EJERCICIOS 107
x < s(t) entonces se toma para u(x, t) el valor dado por la caracterstica x = x0 + 34 vm t,
mientras que si x > s(t) se toma el valor dado por la caracterstica x = x0 vm t.
Cmo determinar entonces la curva s(t) para que la funcin u sea solucin de la
ecuacin (7.4.2)?
Para eso, observamos la deduccin de la ecuacin de continuidad (2.3.2). Ah se
tiene
d x2
Z
(7.4.5) u(x, t) dx = q(u(x2 , t)) + q(u(x1 , t)).
dt x1
Tomemos t > 0 y x1 , x2 R tal que x1 < s(t) < x2 . Luego u(x1 , t) = 18 um , u(x2 , t) = um
7
y q(u(x1 , t)) = 64 um vm , q(u(x2 , t)) = 0.
Por otro lado,
Z x2 Z s(t) Z x2
1
u(x, t) dx = u dx +
8 m
um dx = um (x2 18 x1 ) 78 um s(t).
x1 x1 s(t)
7.5. Ejercicios
Ejercicio 7.5.1. Resolver
(P Pn
n
i=1 i u = e i=1 xi
x Rn ,
u|x1 =0 = x2
Ejercicio 7.5.2. Resolver
(
x u = |x|2 x Rn ,
u|x1 =1 = 3xn .
Estudiar el dominio de definicin de la solucin.
Ejercicio 7.5.3. Mostrar, por consideraciones geomtricas, que la solucin general
de
u u
x y =0
x y
es u(x, y) = f (xy) con f C 1 (R).
Encontrar la solucin cuyo grfico contiene a la recta de ecuacin y = x.
108 7. ECUACIONES DE PRIMER ORDEN
Qu pasa con el problema de valores iniciales cuando estos se dan sobre la curva
y = 1/x?
Ejercicio 7.5.4. Probar que no existe solucin de la ecuacin
ux + uy = u
que satisfaga las condiciones iniciales u = 1 en la recta y = x.
Ejercicio 7.5.5. Probar que la solucin de la ecuacin
ux + uy = u2
cuyo grfico contiene a la recta x = y = u no est definida sobre la hiprbola
x2 y 2 = 4.
Ejercicio 7.5.6. Sea u(x, t) la solucin clsica del problema
(
ut + f (x, t)ux = (x, t) x R, t > 0
u|t=0 = u0 (x) x R,
Ver que sobre las trayectorias (x(t), t), u se expresa como
Z t
u(x(t), t) = u0 (x(0)) + (x(s), s)ds.
0
Ejercicio 7.5.7. Hallar la solucin de la ecuacin
(x2 + y 2 )ux + 2xyuy = (x + y)u
que satisface u(0, y) = y.
Ejercicio 7.5.8. Dado
u u u
Lu x + 2y + 3u,
x y z
resolver:
(
Lu = 0 en R2 (0, )
1.
u(x, y, 0) = xy (x, y) R2
(
Lu = 0 en R2 (0, )
2.
u(x, y, 0) = f (x, y), (x, y) R2
imponiendo condiciones adecuadas de diferenciabilidad a f .
Ejercicio 7.5.9. Usar el principio de Duhamel para resolver el problema
(
ct + vcx = f (x, t) x R, t > 0
c(x, 0) = 0 x R.
Hallar una frmula explcita cuando f (x, y) = et sin x.
Ejercicio 7.5.10. Considerar la ecuacin
ut + uux = 0, u(x, 0) = u0 (x)
para una funcin u(x, t), x R y t 0.
Una curva (t, x(t)) en el plano se dice caracterstica si
x0 (t) = u(x(t), t).
7.5. EJERCICIOS 109
Ecuacin de ondas
8.1. Motivacin
La ecuacin de ondas en el caso de una dimensin espacial puede deducirse a partir
de la ley de Hook.
La ley de Hook modela el desplazamiento de una partcula que se encuentra sujetada
a un resorte cuando esta se desplaza de su posicin de equilibrio.
Es decir, si x(t) denota el desplazamiento de una partcula de masa m (donde
x(t) > 0 significa que se desplaz hacia la derecha y x(t) < 0 significa que se desplaz
hacia la izquierda), la ley de Hook sostiene que la fuerza que el resorte aplica sobre la
partcula es proporcional al desplazamiento y apunta en direccin opuesta al mismo:
F = x. La constante > 0 depende del resorte. Luego, la segunda ley de Newton
(F = ma, con a la aceleracin), nos dice que
mx00 (t) + x(t) = 0.
Supongamos ahora que se tiene una cuerda y la imaginamos como un arreglo de
pequeas masas m conectadas por resortes sin masa de longitud h y constante .
Si u(x, t) mide la distancia al equilibrio de la masa situada en la posicin x a tiempo
t tenemos que sobre la partcula situada en x actan dos fuerzas dadas por los resortes
ubicados a derecha y a izquierda. Luego, la fuerza resultante es
F = [u(x+h, t)u(x, t)][u(x, t)u(xh, t)] = [u(x+h, t)2u(x, t)+u(xh, t)].
La ley de Newton nos da entonces
mutt (x, t) = [u(x + h, t) 2u(x, t) + u(x h, t)].
Si ahora suponemos que se tienen N masas separadas sobre la longitud L = N h de
masa total M = N m y que la constante total de los resortes viene dada por k = N , se
escribe la ecuacin anterior como
L2 k u(x + h, t) 2u(x, t) + u(x h, t)
utt (x, t) = .
M h2
111
112 8. ECUACIN DE ONDAS
Veamos otra deduccin de la ecuacin de ondas. Para eso consideremos que se tiene
una cuerda homognea de longitud ` y densidad = (x). Asumamos que la cuerda se
mueve en la direccin transversal, pero no en la direccin longitudinal. Notemos por
u(x, t) el desplazamiento en la posicin x a tiempo t en la direccin transversal de su
equilibrio. Luego, la pendiente de la cuerda a tiempo t en la posicin x viene dado por
x u(x, t). Sea T (x, t) la magnitud de la tensin (fuerza) tangencial aplicada sobre la
cuerda a tiempo t en la posicin x.
Consideremos la porcin de la cuerda entre dos puntos prximos x1 y x2 . La fuerza
neta que acta sobre la cuerda en la direccin longitudinal, notada por F1 entre los
puntos x1 y x2 es dada por
F1 |xx21 = T (x, t) cos |xx21
1 x2
= T (x, t)
1 + x u x1
1 1
= T (x2 , t) p T (x1 , t) p .
1 + x u(x2 , t) 1 + x u(x1 , t)
Pero, por hiptesis, la cuerda no se desplaza en la direccin longitudinal, en conse-
cuencia la aceleracin en esa direccin debe ser cero. Luego, usando la ley de Newton,
F = ma, concluimos que
1 1
(8.1.1) F1 |xx21 = T (x2 , t) p T (x1 , t) p = 0.
1 + x u(x2 , t) 1 + x u(x1 , t)
En la direccin transversal, la fuerza que acta sobre la cuerda entre los puntos x1
y x2 a tiempo t, notada por F2 , es dada por
F2 |xx21 = T (x, t) sin |xx21
x u x2
= T (x, t)
1 + x u x1
x u(x2 , t) x u(x1 , t)
= T (x2 , t) p T (x1 , t) p .
1 + x u(x2 , t) 1 + x u(x1 , t)
Nuevamente, al asumir que todo el desplazamiento ocurre en la direccin transversal,
por la ley de Newton F = ma, concluimos que F2 (x, t) = ma2 (x, t) donde a2 (x, t)
denota la componente de la aceleracin de la cuerda en la direccin transversal en el
punto x a tiempo t. Luego, entre los puntos x1 y x2 ,
Z x2
x2
F2 (x, t)|x1 = (x)tt u(x, t) dx.
x1
En consecuencia, obtenemos
Z x2
x u(x2 , t) x u(x1 , t)
(8.1.2) T (x2 , t) p T (x1 , t) p = (x)utt (x, t) dx.
1 + x u(x2 , t) 1 + x u(x1 , t) x1
8.2. ECUACIN DE ONDAS Y SEPARACIN DE VARIABLES 113
Ejercicio 8.2.1. Verificar todas las afirmaciones que llevan a la expresin (8.2.2).
Queda entonces determinar los valores de los coeficientes {ak , bk }kN de manera tal
que se verifiquen las condiciones iniciales y, no menos importante, que la expresin
(8.2.2) defina efectivamente una solucin del problema (8.2.1).
Si formalmente evaluamos la frmula (8.2.2) en t = 0 obtenemos
X
u(x, 0) = bk sin(kx) = g(x),
k=1
de donde los coeficientes {bk }kN deben ser los coeficientes de Fourier de la funcin g
cuando se desarrolla en una serie de senos. Es decir
Z 1
bk = 2 g(y) sin(ky) dy.
0
2
Observemos que si g L ([0, 1]) entonces sobre los coeficientes {bk }kN se tiene que
X
b2k < .
k=1
Calculemos ahora los coeficientes {ak }kN . Para esto derivamos trmino a trmino
la expresin (8.2.2) y evaluamos en t = 0 para obtener
X
t u(x, 0) = ckak sin(kx) = h(x),
k=1
de donde los coeficientes {ckak }kN resultan los coeficientes de Fourier de h cuando
se desarrolla en una serie de senos. Luego
Z 1
2
ak = h(y) sin(ky) dy.
ck 0
Observemos que los coeficientes {ak }kN se comportan mejor. En efecto, si h L2 ([0, 1]),
se tiene que
X
k 2 a2k <
k=1
y por ende, usando la desigualdad de Hlder,
! 21
! 21
X X X 1
|ak | k 2 a2k <
k=1 k=1 k=1
k2
8.2. ECUACIN DE ONDAS Y SEPARACIN DE VARIABLES 115
Como la sucesin {ak }kN resulta absolutamente sumable si h L2 ([0, 1]), necesitamos
ver qu hiptesis son necesarias sobre g para que la sucesin {bk }kN tambin sea
absolutamente sumable.
Ese problema fue estudiado en el Captulo 3. Ms an, en la Seccin 3.4 vimos que
una condicin suficiente es que g AC[0, 1], g(0) = g(1) = 0 y g 0 L2 ([0, 1]).
Luego, con esas condiciones tenemos que la expresin (8.2.2) define una funcin
continua en [0, 1] [0, ) y u(x, 0) = g(x), x [0, 1].
Ahora, para verificar que u es efectivamente una solucin de (8.2.1) falta asegurar
que u sea de clase C 2 y que sus derivadas parciales se calculen derivando trmino a
trmino la serie.
Para eso haremos uso del siguiente resultado cuya demostracin queda de ejercicio
al lector.
Ejercicio 8.2.2. Sea {fk }kN C 1 ([0, 1]) tales que fk0 g y fk f puntualmen-
te. Entonces f C 1 ([0, 1]), f 0 = g y fk f .
Haciendo uso del Ejercicio 8.2.2 vemos que para concluir lo deseado basta ver que las
series obtenidas de derivar trmino a trmino la expresin (8.2.2) son uniformemente
convergentes y para eso se utiliza, una vez ms, el criterio de Weierstrass (verificar
esto!)
Luego, si calculamos formalmente las derivadas parciales de u derivando trmino a
trmino (8.2.2), obtenemos
X
t u(x, t) = ck(ak cos(ckt) bk sin(ckt)) sin(kx),
k=1
X
x u(x, t) = (ak sin(ckt) + bk cos(ckt))k cos(kx),
k=1
X
tt u(x, t) = c2 k 2 2 (ak sin(ckt) + bk cos(ckt)) sin(kx),
k=1
X
xx u(x, t) = (ak sin(ckt) + bk cos(ckt))k 2 2 sin(kx),
k=1
X
t x u(x, t) = ck 2 2 (ak cos(ckt) bk sin(ckt)) cos(kx).
k=1
116 8. ECUACIN DE ONDAS
Vamos a deducir una frmula explcita para la solucin de esta equacin basndonos
en la teora desarrollada para ecuaciones de primer orden desarrollada en el captulo 7.
En efecto, la ecuacin de ondas puede factorizarse como sigue
tt u c2 xx u = (tt c2 xx )u
= (t cx )(t + cx )u
Empecemos con unas consideraciones generales que son vlidas en cualquier dimen-
sin espacial.
Dada u C 2 (Rn [0, )), definimos
Z
U (x; r, t) := u(y, t) dSy
Br (x)
Ahora
Z
1
rr U (x; r, t) = r u(y, t) dy
nn rn1 Br (x)
Z rZ !
1n
Z
1
= u(y, t) dy + r u(y, t) dSy d
nn rn Br (x) nn rn1 0 B (x)
1n
Z Z
= u(y, t) dy + u(y, t) dSy .
n Br (x) Br (x)
Finalmente,
Z
0
G (t) = t t g(y) dSy
Bt (x)
Z Z
= g(y) dSy + tt g(y) dSy
Bt (x) Bt (x)
yx
Z Z
= g(y) dSy + t g(y) dSy
Bt (x) Bt (x) t
Z Z
= g(y) dSy + g(y) (y x) dSy
Bt (x) Bt (x)
Adems, Z
H(t) = t h(y) dSy
Bt (x)
Luego se obtiene la siguiente expresin para u,
Z
(8.4.6) u(x, t) = (g(y) + g(y) (y x) + th(y)) dSy .
Bt (x)
se tiene que
p
dSy = 1 + |(y)|2 dy
y, mediante simples clculos, se obtiene que
p t
1 + |(y)|2 = p .
t2 |y x|2
Por otro lado, como g no depende de x3 se tiene que la integral sobre Bt (x) es dos
veces la integral sobre la cscara superior y por ende obtenemos
t2
Z Z Z
1 g(y) g(y)
t g(y) dSy = p dy = p dy.
Bt (x) 2 Bt (x) t2 |y x|2 2 Bt (x) t2 |y x|2
Anlogamente,
t2
Z Z
h(y)
t h(y) dSy = p dy,
Bt (x) 2 Bt (x) t2 |y x|2
de donde
!
t2 t2
Z Z
g(y) h(y)
u(x, t) = t p dy + p dy.
2 Bt (x) t2 |y x|2 2 Bt (x) t2 |y x|2
luego
!
t2 g(x + tz) z
Z Z Z
g(y) 1 g(x + tz) t
t p dy = p dz + p dz
2 Bt (x) t2 |y x|2 2 B1 (0) 1 |z|2 2 B1 (0) 1 |z|2
g(y) + g(y) (y x)
Z
t
= p dy.
2 Bt (x) t2 |y x|2
Teorema 8.5.1. Sean g C 3 (R2 ) y h C 2 (R2 ). Luego existe una nica solucin
u C 2 (R2 [0, )) de la ecuacin de ondas (8.5.1) y la misma viene dada por la
frmula de Poisson (8.5.2).
122 8. ECUACIN DE ONDAS
8.7.1. Estabilidad. Comencemos por una estimacin de estabilidad para las so-
luciones. Multipliquemos la ecuacin (8.7.1) por t u y notando que tt ut u = 12 t (t u)2
obtenemos
Z Z
1 2
(8.7.2) t (t u) dx + u (t u) dx = 0.
2 U U
Observemos que no aparece el trmino de borde, puesto que al ser u(x, t) = 0 para
x U entonces t u(x, t) = 0 para x U .
Ahora bien, al ser u C 2 (UT ) se tiene que
1
(8.7.3) u (t u) = u t (u) = t (|u|2 ).
2
Juntando (8.7.2) y (8.7.3) se obtiene
Z
1d 2 2
(8.7.4) (t u) + |u| dx = 0
2 dt U
Si llamamos Z
(t u)2 + |u|2 dx,
E(t) :=
U
obtenemos entonces que la energa E(t) es constante, de donde E(t) = E(0) para todo
t > 0.
Luego hemos probado el siguiente teorema
Teorema 8.7.1. Sea u C 2 (UT ) C 1 (U [0, T ]) solucin de (8.7.1). Se verifica
entonces la siguiente estimacin de estabilidad
Z Z
2 2
h2 (x) + |g(x)|2 dx,
(8.7.5) (t u(x, t)) + |u(x, t)| dx =
U U
para todo t 0.
Se tiene luego el siguiente corolario que a esta altura su demostracin resulta evi-
dente.
Corolario 8.7.2. Con las mismas notaciones de la seccin, si u1 y u2 son dos
soluciones de la ecuacin
t2 u u = f en UT
u = en T
u=g en U {t = 0}
t u = h en U {t = 0},
entonces u1 = u2 .
Sin embargo eso no sucede con la ecuacin de ondas. Veremos que si los datos
iniciales se anulan en un entorno de un cierto punto x0 U entonces la solucin de
(8.7.1) sigue siendo cero en un entorno de x0 para todo tiempo 0 < t < t0 para un
cierto tiempo t0 .
Para poder precisar esto, introducimos la siguiente notacin: dado x0 U y t0 > 0
tal que Bt0 (x0 ) U , se define el cono de centro x0 y altura t0 como
C(x0 , t0 ) := {(x, t) Rn [0, ) : 0 < t t0 , |x x0 | t0 t}.
Observemos que C(x0 , t0 ) Ut0 .
Tenemos entonces el siguiente teorema.
Teorema 8.7.3. Sea u C 2 (UT ) C 1 (UT ) tal que u(x, 0) = t u(x, 0) = 0 para
x B(x0 , t0 ) y tal que tt u u = 0 en Ut0 .
Entonces u = 0 en C(x0 , t0 ).
8.8. Ejercicios
Ejercicio 8.8.1. Utilizar la transformada de Fourier para resolver el problema
(
tt u c2 xx u = h(x, t) en R (0, ),
u(x, 0) = t u(x, 0) = 0 en R.
donde g S.
Sugerencia: Transformar Fourier en la variable x y para la ODE resultante busque
soluciones de la forma et ( y nmeros complejos).
Ejercicio 8.8.3. Verificar que el cambio de variables
= x + ct, = x ct,
transforma la ecuacin de ondas tt u c2 xx u = 0 en
u = 0.
Usar este cambio de variables para hallar la frmula de DAlembert para la solucin
de la ecuacin de ondas unidimensional.
8.8. EJERCICIOS 127
dada por la frmula de Kirchhoff, donde g, h son suaves y tienen soporte compacto.
Mostrar que existe una constante C tal que
C
|u(x, t)| para todo x R3 , t > 0.
t
Ejercicio 8.8.8. Se define una solucin dbil de la ecuacin de ondas unidimen-
sional a una funcin u tal que
Z Z
u(x, t)(tt (x, t) xx (x, t)) dxdt = 0
Espacios de Sobolev
para toda Cc (U ).
Esto motiva la siguiente definicin.
129
130 9. ESPACIOS DE SOBOLEV
Definicin 9.1.1. Una funcin f L1loc (U ) se dice una funcin de Sobolev si sus
derivadas distribucionales i f , i = 1, . . . , n se representan por medio de una funcin
gi L1loc (U ), i = 1, . . . , n.
1,1
Notaremos al conjunto de las funciones de Sobolev por Wloc (U ).
En estos espacios se define de manera natural una norma combinando las normas
Lp (U ) de la funcin f y de sus derivadas parciales i f . En general, cualquier manera
razonable de hacerlo nos da normas equivalentes. En estas notas usaremos la siguiente
definicin.
Definicin 9.1.4. Sea U Rn un abierto y 1 p . En el espacio W 1,p (U ) se
define la norma
( 1
kf kpp + ni=1 ki f kpp p si 1 p <
P
kf kW 1,p (U ) = kf k1,p :=
kf k + ni=1 ki f k
P
si p = .
Observacin 9.1.5. En el caso particular p = 2 el espacio W 1,2 (U ) tiene una
estructura de producto interno. De hecho, si f, g W 1,2 (U ), se define
Z Xn Z
(f, g) := f g dx + i f i g dx.
U i=1 U
Los espacios W 1,p (U ) tienen buenas propiedades como lo muestra el siguiente teo-
rema.
9.1. DEFINICIONES Y PROPIEDADES ELEMENTALES 131
Ahora
Z Z Z
f i dx = i f dx f ni dS
B1 (0)\B (0) B1 (0)\B (0) (B1 (0)\B (0))
Z Z
= i f dx + f ni dS.
B1 (0)\B (0) B (0)
Pero Z Z
|| dS nn kk n1 0
f ni dS
B (0) B (0)
np
cuando 0, dado que < p
< n 1 si p 1.
np
Luego la derivada dbil y la clsica coinciden y f W 1,p (U ) si 0 < < p
.
De manera anloga al Teorema 9.1.7 se tiene el siguiente teorema para los espacios
W k,p (U ) cuya demostracin queda de ejercicio al lector.
Teorema 9.2.4. Sea U Rn un abierto y 1 p . Entonces el espacio W k,p (U )
con su norma asociada k kk,p resulta un espacio de Banach.
En particular el espacio W k,2 (U ) = H k (U ) resulta un espacio de Hilbert con el
producto interno
XZ
(f, g) := D f D g dx.
||k U
Demostracin. Extendiendo las funciones por 0, podemos suponer que las fun-
ciones fk W 1,p (Rn ) y que existe un abierto acotado V Rn tal que sop(fk ) V
para todo k N. Recordemos que, por hiptesis,
sup kfk kp <
kN
Luego
Z Z 1 p
|fk (x) p
fk (x)| p
(y) |fk (x ty)| dtdy
B1 (0) 0
Z Z 1 p
1 1
p
= (y) (y) p0 p |fk (x ty)| dtdy
B1 (0) 0
Z p0 Z Z 1 p
p
p
(y) (y) |fk (x ty)| dt dy
B1 (0) B1 (0) 0
Z Z 1 p
p
= (y) |fk (x ty)| dt dy
B1 (0) 0
Z Z 1
p (y) |fk (x ty)|p dtdy.
B1 (0) 0
Integrando, se obtiene
Z Z Z Z 1
p p
|fk (x) fk (x)| dx (y) |fk (x ty)|p dtdydx
V V B1 (0) 0
Z Z 1 Z
p
= (y) |fk (x ty)|p dxdtdy
B1 (0) 0 V
Z
p |fk (x)|p dx,
V
9.4. COMPACIDAD: EL TEOREMA DE RELLICH-KONDRACHOV 139
es decir
kfk fk kp kfk kp .
Esta estimacin la hemos demostrado suponiendo que fk Cc1 (Rn ), pero usando la
densidad de las funciones suaves con soporte compacto, se deduce que la misma vale
para fk W01,p (U ).
Ahora, como {fk }kN est acotada en W01,p (U ), queda demostrada la afirmacin 1.
Para finalizar la demostracin del teorema, verifiquemos la afirmacin 2. Pero eso
es una consecuencia inmediata de las siguientes estimaciones crudas,
C C
kfk k k k kfk k1 n
kfk kp n < ,
y
C
kfk k k k kfk k1 < ,
n+1
para todo k N.
Ejercicio 9.4.2 (slo para los que tengan conocimiento de topologas dbiles).
Verificar, usando la compacidad dbil de sucesiones acotadas en espacios reflexivos,
que la funcin lmite f dada por el teorema anterior pertenece a W01,p (U ).
Ejercicio 9.4.3. Mostrar mediante un ejemplo, que el Teorema 9.4.1 es falso sin
la hiptesis de que U sea acotado.
La demostracin del Teorema 9.4.4 se encuentra en cualquier texto que hemos dado
como bilbliografa sobre espacios de Sobolev. En particular, se encuentra en [6].
Ahora si, con la ayuda del Teorema 9.4.4 podemos extender el Teorema 9.4.1 a
1,p
W (U ).
Teorema 9.4.5. Sea U Rn un abierto acotado tal que U C 1 . Entonces,
si {fk }kN W 1,p (U ) es acotada, existe una subsucesin {fkj }jN {fk }kN y f
W 1,p (U ) tal que
kfkj f kp 0 cuando j .
140 9. ESPACIOS DE SOBOLEV
9.5. Ejercicios
Ejercicio 9.5.1. Sea U Rn abierto y sean u, v W k,p (U ), || k. Entonces:
1. D u W k||,p (U ) y D (D u) = D D u = D+ u para todo par de multi-
ndices , Nn0 tales que || + || k.
2. Para cada , R, u + v W k,p (U ) y D (u + v) = D u + D v.
3. Si V U , entonces u W k,p (V ).
4. Si Cc (U ), entonces u W k,p (U ) y
X
D (u) = D D u.
Ejercicio 9.5.2. Probar que en cada clase de W k,p (U ) existe a lo sumo una funcin
continua.
Ejercicio 9.5.3. Sea I = (a, b) R un intervalo.
1. Probar que si u W 1,p (I), 1 p < entonces u AC(I).
2. Probar que si u W 1,p (I), p > 1, entonces
Z b 1/p
1
|u(x) u(y)| 0 p
|u | dt |x y|1 p .
a
Ejercicio 9.5.13. Sea > 0. Probar que existe una constante C > 0 que depende
slo de y de la dimensin del espacio, tal que
Z Z
2
u dx C |u|2 dx,
U U
para toda u H 1 (U ) tal que |{x U : u(x) = 0}| .
Ejercicio 9.5.14. Sea F : R R una funcin de clase C 1 con F 0 acotada. Sean
U Rn abierto acotado y u W 1,p (U ) con 1 < p < . Probar que
F (u) W 1,p (U ) y i F (u) = F 0 (u)i u (i = 1, . . . , n).
Ejercicio 9.5.15. Sea 1 < p < y U Rn abierto acotado.
1. Probar que si u W 1,p (U ), entonces |u| W 1,p (U ).
2. Probar que si u W 1,p (U ), entonces u+ , u W 1,p (U ) y
(
u c.t.p. en {u > 0}
u+ =
0 a.e. en {u 0},
(
0 c.t.p. en {u 0}
u =
u c.t.p. en {u < 0}.
Sugerencia: u+ = lm0 F (u) para
(
t2 + 2 si t 0
F (t) =
0 si t < 0.
3. Probar que si u W01,p (U ) entonces u+ , u W01,p (U ).
4. Probar que si u W 1,p (U ), entonces
u = 0 c.t.p. en {u = 0}.
Captulo 10
Soluciones dbiles
10.1. Motivacin
Para introducir las ideas que usaremos veamos primero el caso de la ecuacin de
Poisson
(
u = f en U Rn
(10.1.1)
u=0 en U,
donde U es un abierto.
Observemos primero que si u C 2 (U ) C(U ) es una solucin de (10.1.1), entonces
multiplicando la ecuacin por Cc (U ) e integrando sobre U obtenemos
Z Z
u dx = f dx.
U U
Integrando por partes la primera integral y usando que tiene soporte compacto en U
llegamos a
Z Z
(10.1.2) u dx = f dx.
U U
143
144 10. SOLUCIONES DBILES
kk := sup h, vi.
vH
kvk1
i(u) = u,
es continua.
Ejemplo 10.2.11. Otro caso particular del Ejemplo 10.2.9 resulta cuando se con-
sidera f0 = v, fi = i v (i = 1, . . . , n) con v H 1 (U ). En ese caso, el funcional = v
se escribe como Z Z
hv , ui := u v dx + uv dx = (u, v),
U U
Recordemos que, segn la Definicin 10.1.1 una funcin u H01 (U ) es solucin dbil
de (10.1.1) si y slo si verifica
Z Z
u v dx = f v dx,
U U
para toda v H01 (U ).
Ahora, si f L (U ) entonces f define un elemento en H 1 (U ) (recordar que esta
2
Luego, dada f L (U ), existe una nica solucin dbil u H01 (U ) del problema
2
(
Lu = f en U
(10.3.1)
u=0 en U.
150 10. SOLUCIONES DBILES
Consideremos ahora la forma bilineal B[, ] dada por (10.4.1) definida en H01 (U )
H01 (U )y veamos si verifica las hiptesis del Teorema de Lax-Milgram (10.4.1).
Veamos la continuidad. En efecto,
n
X Z n
X Z Z
|B[u, v]| kaij k |j u||i v| dx + kbj k |j u||v| dx + kck |u||v| dx
i,j=1 U j=1 U U
n
! n
!
X X
kaij k kuk2 kvk2 + kbj k kuk2 kvk2 + kck kuk2 kvk2 ,
i,j=1 j=1
de donde
Z n
! Z n
!
X 1X
bj (x)j uu + c(x)u2 dx = c(x) j bj (x) u2 dx
U j=1 U 2 j=1
Z
1
= c(x) div b(x) u2 dx.
U 2
Luego, si hacemos la hiptesis
1
(10.4.3) c(x)
div b(x) 0 c.t.p. en U
2
se tiene entonces el siguiente teorema.
10.4. PROBLEMAS NO SIMTRICOS: EL TEOREMA DE LAX-MILGRAM 153
Para proseguir necesitamos un truco llamado desigualdad de Young con que pasamos
a explicar. Es bien conocida la desigualdad de Young (que en este caso es simplemente
el cuadrado del binomio)
a2 b 2
ab + , a, b > 0.
2 2
Luego, dado > 0, se hace
2 2 1
ab = (a)( 1 b) a + 2 b2 .
2 2
2
Si tomamos 2
= , obtenemos
1 2
(10.4.5) ab a2 + b.
4
Pn
Llamemos c1 = j=1 kbj k . Luego, de (10.4.4), usando (10.4.5) con = 2c1
, obte-
nemos
c21
Z Z
2
(10.4.6) B[u, u] |u| dx + kck u2 dx.
2 U 2 U
u (Ku + Au) = f
no tiene solucin (verificar este hecho que es sencillo). Esto prueba la afirmacin.
Para concluir la demostracin de 5, como Im(I K ) = Nu(I K), de esta ltima
afirmacin deducimos que
u Ku = f
Xn Z n
X Z
= j (aij (x)i v)u dx j (bj (x)v)u dx + c(x)uv dx
i,j=1 U j=1 U
Z n n
!
X X
= u j (aij (x)i v) j (bj (x)v) + c(x)v dx
U i,j=1 j=1
= (u, L v)
Esto motiva la siguiente definicin.
Definicin 10.5.12. Sea L el operador elptico dado por (10.1.3). Se define el
operador adjunto formal de L, notado por L , como
Xn n
X
L v := j (aij (x)i v) j (bj (x)v) + c(x)v.
i,j=1 j=1
Es decir,
u = L1 1 1
(f + u) = L f + L u.
Luego, llamando h = L1 1
f y K = L la identidad anterior se rescribe como
u Ku = h,
o lo que es lo mismo
(I K)u = h.
Queremos entonces aplicar el Teorema 10.5.8 y para eso debemos ver que K : L2 (U )
L2 (U ) es un operador compacto.
Para chequear la compacidad de K, lo descomponemos como i K donde
i : H01 (U ) L2 (U ), i(u) = u
K : L2 (U ) H01 (U ), Kf = L1
f.
donde los coeficientes son medibles acotados y la matriz (aij )1i,jn es elptica en el
sentido de la Definicin 10.1.2.
Probaremos el siguiente teorema.
Teorema 10.6.1. Sea U Rn un abierto acotado y sea L el operador elptico dado
por (10.6.1) con c 0 c.t.p. en U . Sea f L2 (U ) y u H01 (U ) la solucin de Lu = f
10.6. PRINCIPIO DEL MXIMO 161
Observacin 10.6.2. La hiptesis del signo de c(x) es necesaria. Para eso, veamos
el siguiente ejemplo elemental: consideremos la ecuacin
(
u00 4 2 u = 0 en (0, 1)
u(0) = u(1) = 0.
Ejercicio 10.6.3. Verificar que las conclusiones del Teorema 10.6.1 se mantienen
si se tiene que c c.t.p. en U para algn > 0 pequeo.
162 10. SOLUCIONES DBILES
donde vk es un punto donde se alcanza ese mximo y el mismo resulta ser un autovector
de A asociado a k .
Observemos que, por definicin, el conjunto {v1 , . . . , vn } es ortonormal y en conse-
cuencia resulta una base ortonormal de Rn .
En particular, la matriz A resulta diagonalizable.
No todas estas propiedades son ciertas en el caso general como lo muestra el si-
guiente ejemplo.
Ejemplo 10.7.8. En el Ejercicio 3.8.13 se estudia el problema de autovalores del
operador de Laplace L = en el dominio U = (0, 1)(0, 1) R2 . En ese caso se tiene
que los autovalores vienen dados por {i,j = (i2 + j 2 )}i,jN y que las autofunciones
asociadas son {wi,j (x, y) = sin(ix) sin(jy)}i,jN .
Si en este caso ordenamos los autovalores de menor a mayor y llamamos a ese orde-
namiento {k }kN obtenemos que las autofunciones asociadas {wk }kN siguen formando
una base ortonormal de L2 (U ) y que k cuando k .
10.7. AUTOVALORES PARA OPERADORES ELPTICOS SIMTRICOS 167
Sin embargo, no es cierto que todo autovalor sea simple. En efecto, se observa que
2 = 3 = 5 que corresponde tanto a i = 1, j = 2 como a i = 2, j = 1.
El espacio de autofunciones asociadas tiene dimensin 2 y est dado por
gen{sin(x) sin(2y), sin(2x) sin(y)}.
Ejercicio 10.7.9. Sea {k }kN la sucesin de autovalores del Ejemplo 10.7.8. Pro-
bar que k k cuando k . Es decir, que existen constantes 0 < c < C tales
que
ck k Ck.
donde hemos usado que la forma bilineal B[, ] asociada a L es simtrica (c.f. Teorema
10.3.2).
Si ahora combinamos los Teoremas 10.7.4 y 10.7.6 obtenemos que todos los auto-
valores de K, llammoslos {k }kN , son reales, positivos, k 0 cuando k y que
las autofunciones correspondientes forman una base ortonormal de L2 (U ).
Finalmente, observamos que k es un autovalor de K con autofuncin wk si y slo
si k := k1 es un autovalor de L con autofuncin wk .
Esta ltima observacin concluye la demostracin.
y
Z
B[wk , wj ] = k wk wj dx = 0 si i 6= j.
U
Por otro lado, si consideramos en H01 (U ) el producto interno dado por la forma
bilineal B[, ] (que es equivalente al usual), resulta que {wk }kN es un sistema ortogonal
en H01 (U ) con respecto a este producto interno y { wkk }kN es un sistema ortonormal
en H01 (U ) con respeto a este producto interno.
Veamos que { wkk }kN es una base ortonormal de H01 (U ) con respecto al producto
interno B[, ].
En efecto, por la Proposicin 3.2.16, basta ver que si B[wk , u] = 0 para todo k N
entonces u = 0. Pero
Z
B[wk , u] = k wk u dx = k (wk , u)
U
y luego, si B[wk , u] = 0 tenemos que (wk , u) = 0. Luego, como {wk }kN es una base
ortonormal en L2 (U ), sigue que u = 0, como queramos demostrar.
En consecuencia, si llamamos bk := B[u, wkk ], tenemos que
X wk
u= bk ,
k=1
k
y por ende
X wk Xp wk X
u= bk = k dk = dk w k .
k=1
k k=1
k k=1
Por otro lado, sea S H01 (U ) con dim S k. Definimos V := gen{wk , wk+1 , . . . } y
tenemos que codim V = k 1.
Resulta sencillo verificar que S V 6= . Sea entonces u S V, kuk2 = 1.
Luego, u =
P
j=k dj wj y por ende
X
X
X
B[u, u] = d2j B[wj , wj ] = d2j j k d2j = k .
j=k j=k j=k
Demostracin. Por la Observacin 9.3.2, tem 3, tenemos que H01 (U1 ) H01 (U2 ).
Luego, {S H01 (U1 ) : dim S k} {S H01 (U2 ) : dim S k} y ahora, por la
frmula de Courant (10.7.5) se concluye lo deseado.
10.8. LA ECUACIN DE DIFUSIN 173
de donde
X
u(x, 0) = dk wk (x) = f (x).
k=1
R
En consecuencia, si tomamos dk = U
f wk dx, tenemos que
X
f= dk w k
k=1
Finalmente,
2
X
ku(, t) u(, t0 )k22 =
dk (ek t ek t0 )wk
k=1 2
X
= d2k (ek t ek t0 )2 .
k=1
Es fcil ver que est ltima expresin tiende a 0 cuando t t0 (por ejemplo, usando
el Teorema de la convergencia mayorada).
Queda entonces demostrado el lema.
Este lema ya nos permite afirmar que la funcin u dada por (10.8.3) alcanza la
condicin inicial con continuidad (en sentido L2 (U )) y que para cada t fijo, u(, t) es
una funcin de L2 (U ).
Para definir solucin dbil, esto es poco. Precisamos que u(, t) sea derivable en
sentido dbil. Eso es el contenido del prximo lema.
Lema 10.8.2. La funcin u dada por (10.8.3) pertenece al espacio L2 ([0, T ]; H01 (U )).
X 1 X 2
ku(, t)k22 = k d2k e2k t d < ,
k=1
2et k=1 k
Ms an,
Z T Z T
X
ku(, t)k22 dt = k d2k e2k t dt
0 0 k=1
X Z T
= d2k k e2k t dt
k=1 0
X 1 e2k T
= d2k
k=1
2
1 X kf k22
d2k = .
2 k=1
2
Ahora,
Z TZ X
X Z Z T
k t k t
dk e wk (x)t (x, t) dxdt = dk wk (x) e t (x, t) dt dx
0 U k=1 k=1 U 0
X Z Z T
k t
= dk wk (x) (x, 0) + k e (x, t) dt dx.
k=1 U 0
X Z T Z
k t
= dk e k wk dx dt.
k=1 0 U
Ahora bien,
Z T Z Z T Z
0= ut dxdt + u dxdt
0 U 0 U
Z TZ Z TZ Z T
2
= u dxdt + u u ds dxdt
0 U 0 U t
Z TZ Z TZ Z T 2 !
d 1
= u2 dxdt + u ds dxdt
0 U 0 U dt 2 t
Z TZ Z Z T 2
2 1
= u dxdt + u ds dx
0 U 2 U 0
Z TZ
u2 dxdt,
0 U
de donde sigue que u = 0.
10.9. Ejercicios
Probar que existe una constante > 0 tal que la correspondiente forma bilineal
B[, ] satisface las hiptesis del Teorema de Lax-Milgram si c(x) (x U ).
Este problema es la versin no simtrica del Ejercicio 10.3.3
Ejercicio 10.9.2. Una funcin u H02 (U ) se dice una solucin dbil del siguiente
problema de valores de contorno para el operador bilaplaciano
(
2 u = f en U
(10.9.1)
u = n u = 0 en U,
si verifica Z Z
uv dx = f v dx
U U
para toda v H02 (U ). (2 u = (u)).
1. Probar que u C 4 (U ) C 1 (U ) es solucin clsica de (10.9.1) si y slo si es
solucin dbil de (10.9.1).
2. Probar que dada f L2 (U ) existe una nica solucin dbil de (10.9.1).
Sugerencia: Usar el Ejercicio 9.5.9 para probar que kukL2 (U ) define una
norma equivalente a la usual en H02 (U ).
Ejercicio 10.9.3. Consideremos el problema de Neumann
(
u + u = f en U
n u = 0 en U
donde U C 1 y f L2 (U ).
10.9. EJERCICIOS 179
donde f L2 (U ).
Verificar que si > 1 y f 0 entonces u no puede ser mayor o igual a 0 en U (1
denota al primer autovalor de en U ).
Mostrar con un ejemplo que u puede bien ser negativa en U (sugerencia: considerar
f = w1 la primer autofuncin de en U ).
Ejercicio 10.9.8. Sea V : Rn R tal que 0 V (x) si |x| .
1. Probar que si {fk }kN H 1 (Rn ) es una sucesin acotada, entonces existe una
subsucesin {fkj }jN {fk }kN y f L2loc (Rn ) tal que
fk j f en L2 (Br (0)), para todo r > 0.
2. Probar que si, adems,
Z
kfk k2L2 (Rn ) = kfk k2,V := fk2 V (x) dx C para todo k N,
V
Rn
entonces f L2 (Rn ) y
fk j f en L2 (Rn ).
3. Concluir que H := H 1 (Rn ) L2V (Rn ) verifica H L2 (Rn ). Es decir, toda
sucesin acotada en H con norma dada por kf k2 := kf k22 + kf k22,V , tiene una
subsucesin convergente en L2 (Rn ).
4. Probar que existe una sucecin 0 E1 E2 Ek de autovalores de
la ecuacin de Schredinger
u + V (x)u = Eu en Rn ,
u H,
y que las autofunciones forman una base ortonormal de L2 (Rn ).
Ejercicio 10.9.9 (Alternativa de Fredholm para operadores simtricos). El objeti-
vo de este ejercicio es dar una demostracin del Teorema de la alternativa de Fredholm
(Teorema 10.5.8) para operadores simtricos basndose en el Teorema 10.7.10.
Sea U Rn un abierto acotado y L un operador elptico simtrico dado por
Xn
Lu = i (aij (x)j u) + c(x)u,
i,j=1
[1] Robert A. Adams, Sobolev spaces, Academic Press [A subsidiary of Harcourt Brace Jovanovich,
Publishers], New York-London, 1975, Pure and Applied Mathematics, Vol. 65. MR 0450957 (56
#9247)
[2] Haim Brezis, Functional analysis, Sobolev spaces and partial differential equations, Universitext,
Springer, New York, 2011. MR 2759829 (2012a:35002)
[3] Ennio De Giorgi, Sulla differenziabilit e lanaliticit delle estremali degli integrali multipli re-
golari, Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3) 3 (1957), 2543. MR 0093649 (20
#172)
[4] Rick Durrett, Probability: theory and examples, fourth ed., Cambridge Series in Statistical
and Probabilistic Mathematics, Cambridge University Press, Cambridge, 2010. MR 2722836
(2011e:60001)
[5] Albert Einstein, Investigations on the theory of the Brownian movement, Dover Publications
Inc., New York, 1956, Edited with notes by R. Frth, Translated by A. D. Cowper. MR 0077443
(17,1035g)
[6] Lawrence C. Evans, Partial differential equations, second ed., Graduate Studies in Mathematics,
vol. 19, American Mathematical Society, Providence, RI, 2010. MR 2597943 (2011c:35002)
[7] Gerald B. Folland, Real analysis, Pure and Applied Mathematics (New York), John Wiley & Sons
Inc., New York, 1984, Modern techniques and their applications, A Wiley-Interscience Publica-
tion. MR 767633 (86k:28001)
[8] David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, second
ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical
Sciences], vol. 224, Springer-Verlag, Berlin, 1983. MR 737190 (86c:35035)
[9] G. H. Hardy, J. E. Littlewood, and G. Plya, Inequalities, Cambridge, at the University Press,
1952, 2d ed. MR 0046395 (13,727e)
[10] Fritz John, Partial differential equations, fourth ed., Applied Mathematical Sciences, vol. 1,
Springer-Verlag, New York, 1982. MR 831655 (87g:35002)
[11] Vladimir Mazya, Sobolev spaces with applications to elliptic partial differential equations, aug-
mented ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mat-
hematical Sciences], vol. 342, Springer, Heidelberg, 2011. MR 2777530 (2012a:46056)
[12] Jrgen Moser, On Harnacks theorem for elliptic differential equations, Comm. Pure Appl. Math.
14 (1961), 577591. MR 0159138 (28 #2356)
[13] J. Nash, Continuity of solutions of parabolic and elliptic equations, Amer. J. Math. 80 (1958),
931954. MR 0100158 (20 #6592)
[14] Walter Rudin, Principles of mathematical analysis, third ed., McGraw-Hill Book Co., New York,
1976, International Series in Pure and Applied Mathematics. MR 0385023 (52 #5893)
[15] Sandro Salsa, Partial differential equations in action, Universitext, Springer-Verlag Italia, Milan,
2008, From modelling to theory. MR 2399851 (2009b:35001)
[16] Richard L. Wheeden and Antoni Zygmund, Measure and integral, Marcel Dekker Inc., New York,
1977, An introduction to real analysis, Pure and Applied Mathematics, Vol. 43. MR 0492146 (58
#11295)
[17] Noemi Wolanski, Introduccin a las ecuaciones diferenciales ordinarias, Serie B, Publicaciones
de Grado, Departamento de Matemtica, FCEN, Universidad de Buenos Aires, 2008.
183