Académique Documents
Professionnel Documents
Culture Documents
Preliminares
iii
iv 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 relavantes 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. 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.
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.2.1. Probar que si U es acotado, u C0 (U ) si y slo si u C(U ) y
u = 0 en U .
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 Lp (E) como
Z
p p
L (E) := f : E [, ] medibles : |f | dx < .
E
1.3. EJERCICIOS ix
1.3. Ejercicios
Ejercicio 1.3.1. Revisar los siguientes teoremas:
1. Teorema de la Funcin Inversa.
(http://en.wikipedia.org/wiki/Inverse_function_theorem)
2. Teorema de la Funcin Implcita.
(http://en.wikipedia.org/wiki/Implicit_function_theorem)
3. Teorema de Arzela Ascoli.
(http://en.wikipedia.org/wiki/Arzela-Ascoli_theorem)
4. Teorema de la Particin de la Unidad.
(http://en.wikipedia.org/wiki/Partition_of_unity)
5. Teorema de la divergencia de Gauss.
(http://en.wikipedia.org/wiki/Divergence_theorem)
Ejercicio 1.3.2. Revisar los siguientes teoremas:
1. Teorema de convergencia montona de Beppo Levi.
(http://en.wikipedia.org/wiki/Monotone_convergence_theorem)
2. Teorema de convergencia dominada de Lebesgue.
(http://en.wikipedia.org/wiki/Dominated_convergence_theorem)
3. Lema de Fatou.
(http://en.wikipedia.org/wiki/Fatous_lemma)
Ejercicio 1.3.3 (Diferenciacin bajo el signo integral). Sean U Rn abierto,
V Rm medible, f : U V R medible y x0 U .
1. Si f (x, ) L1 (V ) para |x x0 | < , f (, y) es diferenciable en |x x0 | <
para casi todo y V y existe g L1 (V ) tal que |xj f (x, y)| g(y) para todo
|x x0 | R< y para casi todo y V , con 1 j n fijo, entonces la funcin
F (x) = V f (x, y) dy es derivable para |x x0 | < respecto de xj y se tiene que
Z
j F (x) = xj f (x, y) dy.
V
x 1. PRELIMINARES
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.3.10.
Ejercicio 1.3.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.3.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.3.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
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, [16].
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.
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) R2 .
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 = (j 2 + k 2 ).
para todo j, k N.
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
ij2 u(x) = (y)ij2 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) = n
= , si y B (0),
nn |y| 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)
2 h2
u(x + h, y) = u(x, y) + x u(x, y)h + xx u(x, y) + o(h2 ),
2
h2
u(x h, y) = u(x, y) x u(x, y)h + xx u(x, y) + o(h2 ),
2
2
2
2 h
u(x, y + h) = u(x, y) + y u(x, y)h + yy u(x, y) + o(h2 ),
2
2 h2
u(x, y h) = u(x, y) y u(x, y)h + yy u(x, y) + o(h2 ),
2
de donde
2
4u(x, y) + xx u(x, y)h2 + yy
2
u(x, y)h2 + o(h2 )
u(x, y) = .
4
Luego
h2
0= u(x, y) + o(h2 ).
4
Dividiendo por h2 y tomando lmite cuando h 0, obtenemos que u debe satisfacer la
ecuacin de Laplace (4.2.1) junto con la condicin de borde de Dirichlet, u = g en Q.
Esta discusin lleva a pensar que una funcin armnica u debe valer en un punto
(x, y) lo mismo que el promedio de sus valores en un entorno de dicho punto. Esto es
lo que dice el Teorema del valor medio que demostramos a continuacin.
4.3. TEOREMA DEL VALOR MEDIO Y CONSECUENCIAS 33
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,
Z Z
1
( r )nn rn1 dr = (y) dy = 1,
n 0 B (0)
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),
Z
M = u(x) = u(y) dy M.
Br (x)
De esto se desprende que u(y) = M para todo y Br (x) y por ende Br (x) A.
Observacin 4.3.4. El corolario 4.3.3 sigue siendo vlido si se reemplaza max por
mn y es llamado, en consecuencia, el principio del mnimo. Esto puede observarse, o
bien rehaciendo la demostracin que es exactamente igual a la vista, o bien observando
que si u es armnica, entonces u tambin lo es y que
max(u) = mn u.
Observacin 4.3.5. Si bien el principio dbil del mximo se deduce del principio
fuerte, puede darse una demostracin alternativa que resulta muy til a la hora de
extenderla a otro tipo de ecuaciones diferenciales (ver el Ejercicio 4.8.16).
En efecto, si x0 U es tal que u(x0 ) = maxU u entonces se tiene que i u(x0 ) = 0 y
ii u(x0 ) 0 para todo i = 1, . . . , n. Luego u(x0 ) 0.
Si definimos u (x) = u(x) + |x|2 , entonces u = u + 2n por lo que si u es
armnica, entonces se tiene que u = 2n > 0. Por la cuenta hecha al principio,
concluimos que
max u = max u .
U U
36 4. LA ECUACIN DE LAPLACE Y DE POISSON
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.
Corolario 4.3.7 (Unicidad del problema de Dirichlet para la ecuacin de Poisson).
Existe a lo sumo una nica funcin u C 2 (U ) C(U ) solucin de
(
u = f en U
(4.3.2)
u=g en U
= |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 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
, luego
1
n n = .
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 domino es una esfera,
U = Br (0) = {x Rn : |x| < r}.
1
donde cn = n(n2)n
.
Observacin 4.6.2. El ncleo de Poisson de Rn+ se calcula entonces como
2xn 1
P (x, y) = n G(x, y) = n G(x, y)|yn =0 = ,
nn |x y|n
con x Rn+ e y Rn+ .
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 esfera.
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. Una funcin u C(U ) se dice subarmnica (superarmnica)
en U si para cada bola B U y para cada funcin h armnica en B que satisface
u h (u h) en B, se tiene que u h (u h) en B.
1. Mostrar que si u C 2 (U ), u es subarmnica (segn esta definicin) si y slo si
u 0.
2. Si u es subarmnica en U , entonces satisface el principio fuerte del mximo; y
si v es superarmnica en U acotado, con v u en U , entonces v > u en U o
v u.
4.8. EJERCICIOS 55
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| .
En esta seccin demostraremos el Teorema de Plancherel que afirma que dada una
funcin u S, su norma L2 coincide con la norma L2 de su transformada de Fourier,
u.
60 5. TRANSFORMADA DE FOURIER
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
5.2. EL TEOREMA DE PLANCHEREL Y LA TEORA L2 61
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
Cada aplicacin [],k resulta una seminorma. Verificar que [u],k = 0 para todo k N
y para todo Nn0 si y slo si u = 0 (es decir, la familia de seminormas {[],k },k 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 que d(uk , u) 0 si y slo si [uk u]j 0
cuando k .
Concluir el enunciado el ejercicio.
Ejercicio 5.3.4. Probar que D(U ) con la mtrica del Ejercicio 5.3.3 es completo.
Ahora si, definamos el espacio de distribuciones
Definicin 5.3.5. Se define el espacio de distribuciones (o funciones generalizadas)
al dual topolgico de D(U ), D0 (U ), es decir
D0 (U ) := {T : D(U ) C : T es lineal y continua}.
Se usa la siguiente notacin para la aplicacin de dualidad: Si T D0 (U ) y u D(U ),
se nota
hT, uiD0 (U ),D(U ) = hT, ui := T (u).
Observacin 5.3.6. Al igual que para el espacio de las funciones test, cuando el
abierto en consideracin es Rn notaremos D0 (Rn ) = D0 .
En el espacio de distribuciones D0 (U ) se define de manera natural una nocin de
convergencia dada por la convergencia puntual.
Definicin 5.3.7. Sean {Tk }kN D0 (U ) y T D0 (U ). Decimos que Tk converge
D0 (U )
a T en D0 (U ) y se nota por Tk T si hTk , ui hT, ui cuando k para toda
u D(U ).
El espacio de distribuciones es, en algn sentido, el espacio ms grande donde uno
puede trabajar. Esto significa que este espacio contiene a todas las funciones razona-
bles. Esto se ve en el siguiente ejemplo:
Ejemplo 5.3.8. Sea f L1loc (U ). Luego f induce una aplicacin Tf D0 (U ) dada
por la frmula Z
hTf , ui := f u dx.
U
En efecto, si sop(u) K U entonces
Z Z
|hTf , ui| |f ||u| dx kuk |f | dx < .
K K
Luego Tf est bien definido, es claramente lineal y la misma cuenta muestra que re-
sulta continuo sobre D(U ). En este sentido, haremos un pequeo abuso de notacin e
indicaremos que f D0 (U ).
Notemos adems que para todo 1 p se tiene que Lploc (U ) L1loc (U ) y, por
ende, Lploc (U ) D0 (U ) para todo 1 p . En particular, C(U ) D0 (U ).
5.3. ESPACIO DE DISTRIBUCIONES Y DISTRIBUCIONES TEMPERADAS 65
Ejercicio 5.3.9. Sea una medida de Radon sobre U (es decir, una medida de
Borel regular tal que (K) < para todo compacto K U ). Probar que la aplicacin
T definida por
Z
hT , ui := u d,
U
verifica que T D0 (U ). Concluir que M(U ) D0 (U ) donde M(U ) denota el conjunto
de las medidas de Radon sobre U .
En este caso tambin se har el abuso de notacin T = .
Las derivadas dbiles poseen muy buenas propiedades como lo muestra el siguiente
ejercicio.
Ejercicio 5.3.11. 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 .
D0 (U ) D0 (U )
3. Si Tk T entonces D Tk D T , para todo multindice Nn0 .
Ahora si,
Ejemplo 5.3.18. 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.
2. Calculemos ahora 1. Sea u S, entonces, por el Ejercicio 5.3.17 y el item
anterior,
h1, ui = h1, ui = h0 , ui = h0 , F 2 [u]i = u(0) = h0 , ui.
Es decir, 1 = 0 .
Para terminar este captulo, en esta seccin nos dedicaremos a mostrar como puede
aplicarse la transformada de Fourier a la resolucin de ecuaciones en derivadas par-
ciales lineales y con coeficientes constantes cuando estan planteadas en Rn . A modo
de ejemplo, y por motivos pedaggicos, estudiaremos la resolucin de la ecuacin de
difusin
(
ut u = 0 en Rn (0, )
(5.4.1)
u(x, 0) = f (x) x Rn .
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).
68 5. TRANSFORMADA DE FOURIER
5.5. Ejercicios
Ejercicio 5.5.1. Sea f L1 (Rn ) y sean Rn , R.
1. Si g(x) = f (x)e2ix , entonces g(y) = f(y ).
2. Si g(x) = f (x ), entonces g(y) = f(y)e2iy .
3. Si g(x) = f ( x ), entonces g(y) = n f(y).
4. Si g(x) = 2ixk f (x) y g L1 , entonces f es derivable respecto a yk y yk f = g.
Ejercicio 5.5.2. Mostrar que si f L1 (Rn ) entonces f L (Rn ) y
kfkL (Rn ) kf kL1 (Rn ) .
5.5. EJERCICIOS 69
Ejercicio 5.5.3. Probar que si f S, entonces F[F[f (x)]] = f (x). Concluir que
si f L2 (Rn ) es tal que f = f para algn C entonces es una raz cuarta de la
unidad.
Ejercicio 5.5.4. Probar que la transformada de Fourier de una funcin f ser una
funcin real si y slo si f es par.
Ejercicio 5.5.5. Hallar las transformadas de Fourier de las siguientes funciones:
1
1[1,1] , exp(a|x|), , exp(x2 ).
(1 + x2 )
Ejercicio 5.5.6. Sea f : [0, ) R una funcin L1 . Se definen
1. La Transformada-coseno de Fourier como
Z
Fc [f ](y) = f (x) cos(xy) dx.
0
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 = + + 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.16 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 .
Demostracin. Supongamos primero que 4aT < 1. Entonces se tiene que, dado
> 0, existe > 0 tal que
1
(6.3.2) = 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 + ve)
Si t (0, T ], x U , se tiene que, por (6.3.2) y usando que |x| r + |y|,
r2
v(x, t) = u(x, t) n exp
(T + t) 2 4(T + ve 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 .
Veamos como usar este hecho para concluir el teorema. Supongamos, que existe
[t1 , t2 ] [0, T ] donde e(t) > 0 en (t1 , t2 ). Entonces la convexidad de f implica que
f ((1 )t1 + t2 ) (1 )f (t1 ) + f (t2 ).
de donde
e((1 )t1 + t2 ) e(t1 )1 e(t2 ) .
Esta desigualdad implica que e(t) = 0 para t [t1 , t2 ] y prueba el teorema.
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 ).
Finalicemos esta seccin con una versin cuantitativa del Teorema 6.5.1.
Teorema 6.5.2 (Estimaciones de las derivadas). Sea u C (UT ) solucin de
ut u en UT . Entonces se tiene
Ck,||
sup |Dx Dtk u| ||+2k+n+2 kukL1 (C) ,
C0 r
donde C := C(x, t; r) UT y C 0 := C(x, t; 2r ).
6.6. VUELTA AL PASEO AL AZAR 87
Para terminar el captulo, daremos una demostracin rigurosa del vnculo entre la
ecuacin de difusin y el paseo al azar visto en la Seccin 6.1.2. Esta seccin presupone
cierto conocimiento de la Teora de Probabilidad y puede ser omitida. Para una buena
introduccin a la probabilidad matemtica, recomendamos el libro de R. Durrett, [4].
Tomemos un intervalo de tiempo fijo > 0 y un intervalo espacial h > 0. Suponemos
que se tiene una partcula que inicialmente ocupa la posicin x = 0 y puede moverse
con probabilidad 21 tanto a la izquierda como a la derecha una distancia h luego de un
intervalo de tiempo . Suponemos tambien que cada movimiento es independiente de
los otros.
Luego, se definen las siguientes variables aleatorias:
Sn := cantidad de movimientos a la derecha luego de n pasos
Xn := posicin de la partcula despus de n pasos.
Estas dos variables aleatorias se relacionan de la forma
Xn = Sn h (n Sn )h = (2Sn n)h
(es decir, doy Sn pasos a la derecha y n Sn pasos a la izquierda).
Veamos que es posible calcular la distribucin de Sn . En efecto, sea {Yi }iN una
sucesin de variables aleatorias independientes con distribucin Bernoulli 21 . Es decir
P(Yi = 0) = P(Yi = 1) = 12 . Notaremos esto como
L
Yi Bernoulli( 21 ).
Luego
n
X
Sn = Yi .
i=1
Esto dice que se tiran n monedas equiprobables de manera independiente y cada vez
que sale cara me muevo a la derecha, mientras que cada vez que sale seca me muevo a
la izquierda.
Recordemos que
1 1
E[Yi ] = y Var[Yi ] = .
2 4
Luego
n n
X n X n
E[Sn ] = E[Xi ] = y Var[Sn ] = Var[Xi ] = ,
i=1
2 i=1
4
donde hemos usado que la varianza es aditiva para variables aleatorias independientes.
2
Llamemos ahora t = n y X(t) = Xn . Luego, si llamamos D := h ,
Var[X(t)] = Var[(2Sn n)h] = h2 Var[2Sn n] = h2 4 Var[Sn ] = h2 n = Dt.
Ahora escribimos
Sn n2 Sn n
X(t) = (2Sn n)h = pn nh = p n 2 Dt.
4 4
88 6. LA ECUACIN DE DIFUSIN
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,
!
n
a S n b
lm P(a X(t) b) = lm P pn 2
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
entonces satisface
2
(6.7.1) rr + r = t t > 0, r > 0.
r
2. Mostrar que la ecuacin (6.7.1) puede reducirse mediante el cambio = r a
la ecuacin del calor unidimensional.
Ejercicio 6.7.4. Para i = 1, . . . , n consideramos ui = ui (x, t), x R, t > 0,
soluciones de (
t ui = xx ui
ui (x, 0) = i (x).
Probar que si definimos para x Rn , t > 0,
u(x, t) = u1 (x1 , t) un (xn , t)
(x) = 1 (x1 ) n (xn )
entonces u es solucin de la ecuacin del calor en Rn (0, ) con u(x, 0) = (x).
Ejercicio 6.7.5. Supongamos n = 1 y u(x, t) v(x2 /t).
1. Mostrar que ut = xx u si y slo si
(6.7.2) 4zv 00 (z) + (2 + z)v 0 (z) = 0.
2. Verificar que la solucin general de (6.7.2) es
Z z
v(z) = C1 es/4 s1/2 ds + C2 .
0
2
3. Derivar v(x /t) respecto a x y seleccionar C1 adecuadamente para obtener la
solucin fundamental .
Ejercicio 6.7.6. Sea
1 x
u(x, t) = v (x RN , t > 0),
t t
donde y son constantes.
1. Verificar que u satisface la ecuacin del calor si y slo si v satisface
t(+1) v(y) + t(+1) y Dv(y) + t(+2) v(y) = 0,
para y = t x.
2. Verificar que si = 1/2, v satisface
1
v + y Dv + v = 0.
2
3. Verificar que si v es radial, i.e. v(y) = w(|y|) para w : R R, entonces w
satisface
1 n1 0
w + rw0 + w00 + w = 0,
2 r
donde r = |y|, 0 = dr
d
.
4. Tomar = n/2 y hallar la solucin fundamental de la ecuacin del calor.
90 6. LA ECUACIN DE DIFUSIN
4 0 (t s)3/2
6.7. EJERCICIOS 91
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.16.
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.
95
96 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 [16].
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)).
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 101
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, por la ecuacin de continuidad (2.3.4) con flujo q(u) = v(u), el modelo resultante
es
ut + x q(u) = 0 en R (0, ),
donde el flujo q(u) viene dado por q(u) = v(u)u. Notemos que la ecuacin est igualada
a 0 por nuestra segunda hiptesis.
Luego, debemos resolver
(
ut + q 0 (u)ux = 0 en R (0, )
(7.4.2)
u(x, 0) = g(x) x R.
7.4. PROBLEMAS CUASILINEALES 103
7.5. Ejercicios
Ejercicio 7.5.1. Resolver
(P Pn
n xi
i=1 i u = e
i=1 x Rn ,
u|x1 =0 = x2
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
mt2 u(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)
t2 u(x, t) = .
M h2
107
108 8. ECUACIN DE ONDAS
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
8.2. ECUACIN DE ONDAS Y SEPARACIN DE VARIABLES 109
Observemos que si g L2 ([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
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
t2 u(x, t) = c2 k 2 2 (ak sin(ckt) + bk cos(ckt)) sin(kx),
k=1
X
x2 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
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.
8.3. LA ECUACIN DE ONDAS EN R. LA FRMULA DE DALEMBERT 111
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)
8.4. LA ECUACIN DE ONDAS EN R3 . LA FRMULA DE KIRCHKOFF 113
1n
Z Z
= u(y, t) dy + u(y, t) dSy .
n Br (x) Br (x)
Adems,
Z
H(t) = t h(y) dSy
Bt (x)
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) t |y x|
2 2 2 Bt (x) t |y x|2
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) t |y x|
2 2 2 Bt (x) t |y x|2
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
En conclusin, hemos encontrado la siguiente frmula de representacin para u,
tg(y) + t2 h(y) + tg(y) (y x)
Z
1
(8.5.2) u(x, t) = p dy
2 Bt (x) t2 |y x|2
La expresin (8.5.2) se denomina la Frmula de Poisson para la ecuacin de ondas
en R2 .
Resumiendo, hemos demostrado el siguiente teorema,
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).
equivalentemente 0
x 0 1 x 0
= +
y a 0 y f (t)
Llamemos
x 0 1 0
X := , A := , F (t) :=
y a 0 f (t)
Luego, la ecuacin se escribe como
0 0
X = AX + F (t), X(0) = .
0
Si aplicamos ahora el Ejercicio 6.2.7, obtenemos que X(t) se escribe como
Z t
X(t) = Zs (t) ds,
0
donde Zs = (zs1 , zs2 ) es la solucin del problema homogneo
Zs0 = AZs , Zs (s) = F (s).
Si rescribimos esto en trminos de x, llegamos a
Z t
x(t) = zs1 (t) ds,
0
donde zs1 es la solucin de
(zs1 )00 = azs1 , zs1 (s) = 0, (zs1 )0 (s) = f (s).
Volvemos entonces a la ecuacin de ondas y definimos en consecuencia ws (x, t) a la
solucin de
2 s s
t w w = 0
x Rn , t > s
ws (x, s) = 0 x Rn
ws (x, s) = f (x, s) x Rn .
t
Definimos entonces
Z t
(8.6.2) u(x, t) = ws (x, t) ds.
0
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 t2 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
8.7. LA ECUACIN DE ONDAS EN REGIONES ACOTADAS 119
para todo t 0.
Se tiene luego el siguiente corolario que a esta altura su demostracin resulta evi-
dente.
entonces u1 = u2 .
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 t2 u u = 0 en Ut0 .
Entonces u = 0 en C(x0 , t0 ).
8.8. Ejercicios
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 t2 u c2 x2 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.
Ejercicio 8.8.4. Encontrar una frmula explcita para la solucin de
t2 u x2 u = 0 x > 0, t > 0
u(0, t) = 0 t>0
u(x, 0) = g(x) x>0
t u(x, 0) = h(x) x > 0.
Probar que
1. k(t) + p(t) es constante en t.
2. k(t) = p(t) para tiempos t suficientemente grandes.
(Sugerencia: Usar que u viene dado por u(x, t) = F (x + t) + G(x t).)
Ejercicio 8.8.7. Sea u la solucin de la ecuacin de ondas
2
t u u = 0
en R3 (0, )
u(x, 0) = g(x) x R3
x R3
u(x, 0) = h(x)
t
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)(t2 (x, t) x2 (x, t)) dxdt = 0
Espacios de Sobolev
para toda Cc (U ).
Esto motiva la siguiente definicin.
125
126 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 127
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
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.
9.4. COMPACIDAD: EL TEOREMA DE RELLICH-KONDRACHOV 135
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
W 1,p (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 .
Pero entonces Z Z
kfkj f kpLp (U ) = p
|fkj f | dx |E(fkj ) f |p dx = kE(fkj ) f kpLp (V ) 0
U V
cuando k . Esto finaliza la demostracin.
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.7. Sea I = (a, b) R un intervalo y sea f H 1 (I). Sea {Ij }jJ una
coleccin de intervalos disjuntos en I, Ij = (aj , bj ). Probar que
!1/2
X X
|f (bj ) f (aj )| kf k1,2 |bj aj | .
jJ jJ
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
139
140 10. SOLUCIONES DBILES
kk := sup h, vi.
vH
kvk1
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.
146 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 149
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
Luego, 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
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.
Ahora, h = L1
f =
1
L1
f =
1
Kf . Luego,
1 1 1
0 = (h, v) = (Kf, v) = (f, K v) = (f, v),
dado que v Nu(I K ).
Esto concluye la demostracin.
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
en U con u = 0 en U (observemos que tal solucin existe y es nica por el Teorema
10.3.2).
Luego, si f 0 c.t.p. en U , entonces u 0 c.t.p. en U .
Por otro lado, es fcil verificar que uu = (u )2 y, por el Ejercicio 9.5.14, se tiene
que i u = i u1{u<0} de donde j ui u = j u i u .
En consecuencia obtenemos
Xn Z Z Z
2
0 B[u, u ] = aij (x)j u i u dx c(x)(u ) dx |u |2 dx,
i,j=1 U U U
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.
Vamos ahora a ver un teorema que permite extender lo visto para matrices sim-
tricas a operadores compactos y autoadjuntos en un espacio de Hilbert.
Observemos que en el caso de matrices, si es un autovalor de A Rnn si y slo
si existe x Rn \ {0}, tal que Ax = x, si y slo si Nu(A I) 6= {0}, si y slo si
Im(A I) = Rn .
En el caso de dimensin infinita, estas propiedades no tienen por qu ser equivalentes
y eso da lugar a la siguientes definiciones.
Definicin 10.7.3. Sea H un espacio de Hilbert y A : H H un operador lineal
y continuo. Se define el espectro de A como
(A) := { R : (A I) no es inversible}.
Se define el espectro puntual de A como
p (A) := { R : Nu(A I) 6= {0}}.
Observemos que es un autovalor de A si y slo si p (A).
En el caso de matrices, A Rnn se tiene que (A) = p (A), pero en general slo
se puede afirmar que p (A) (A). Ver [2] para ms detalles sobre este tema.
Tenemos el siguiente teorema fundamental.
Teorema 10.7.4 (Teorema espectral para operadores compactos). Sea H un espa-
cio de Hilbert de dimensin infinita y sea K : H H un operador compacto. Entonces
1. 0 (K),
2. (K) \ {0} = p (K) \ {0},
3. (K) \ {0} es o bien finito, o bien una sucesin que converge a 0.
Demostracin. Una demostracin de este teorema se encuentra en [2] o en [6],
apndice D.
Cuando el operador es adems de compacto, autoadjunto, se tiene el siguiente
resultado.
Teorema 10.7.5 (Diagonalizacin de operadores compactos y autoadjuntos). Sea
H un espacio de Hilbert separable de dimensin infinita y sea K : H H un opera-
dor compacto y autoadjunto. Entonces existe una base numerable ortonormal de H de
autovectores de K.
Demostracin. Nuevamente, una demostracin de este teorema se encuentra en
[2] o en [6], apndice D.
10.7.3. Aplicacin a operadores elpticos simtricos. Vamos ahora a ver
como, aplicando los teoremas de la seccin anterior (Teoremas 10.7.4 y 10.7.5), podemos
estudiar el problema de autovalores para operadores elpticos simtricos.
En esta seccin, consideraremos el operador L definido en (10.6.1).
Decimos que R es un autovalor de L si existe una funcin u H01 (U ), u 6= 0,
solucin dbil de
(
Lu = u en U
(10.7.1)
u=0 en U.
10.7. AUTOVALORES PARA OPERADORES ELPTICOS SIMTRICOS 159
No todas estas propiedades son ciertas en el caso general como lo muestra el si-
guiente ejemplo.
Ejemplo 10.7.7. 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 .
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.8. Sea {k }kN la sucesin de autovalores del Ejemplo 10.7.7. Pro-
bar que k k cuando k . Es decir, que existen constantes 0 < c < C tales
que
ck k Ck.
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.
162 10. SOLUCIONES DBILES
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
Queda por demostrar la tercera. Veamos primero que w1 > 0 en U . En realidad esta
afirmacin dice que w1 tiene signo constante, dado que si w1 es autofuncin, entonces
w1 tambin lo es.
Ahora, si llamamos w1+ = max{w1 , 0} y w1 = max{w1 , 0}, entonces tenemos que
w1 = w1+ w1 , |w1 | = w1+ + w1 , w1+ y w1 tienen soporte disjunto y en consecuencia
B[w1+ , w1 ] = 0.
Luego
1 = B[w1 , w1 ]
= B[w1+ w1 , w1+ w1 ]
= B[w1+ , w1+ ] 2B[w1+ , w1 ] + B[w1 , w1 ]
= B[w1+ + w1 , w1+ + w1 ]
= B[|w1 |, |w1 |].
Como k|w1 |k2 = kw1 k2 = 1 sigue que |w1 | es tambin una autofuncin asociada a 1 .
Luego, si llamamos v = |w1 | obtenemos que v verifica
Lv = 1 v 0 en U
v=0 en U
v 0 en U.
Ahora, este problema verifica la desigualdad de Harnack (ver [8]). Es decir, si V U ,
tenemos que existe una constante C > 0 tal que
max v C mn v,
V V
Ejercicio 10.7.11. Con las mismas notaciones e hiptesis que en el Teorema 10.7.9,
deducir la siguiente frmula para el ksimo autovalor k :
(10.7.3) k = mn{B[u, u] : u H01 (U ), kuk2 = 1, (u, wj ) = 0 j = 1, . . . , k 1},
donde {wj }jN es la base ortonormal de autofunciones dada por el Teorema 10.7.9.
Ms an, demostrar que el mnimo en (10.7.3) se alcanza en una autofuncin aso-
ciada a k .
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
de donde
v 0 (t) w(x)
= = = constante.
v(t) w(x)
Luego, tenemos que
(
w = w en U
v(t) = et y
w=0 en U
Por el Teorema 10.7.9 sabemos que existe 0 < 1 < 2 k y {wk }kN
H0 (U ) que son una base ortonormal de L2 (U ) y forman un sistema ortogonal completo
1
en H01 (U ) (observar que la forma bilineal asociada en este caso coincide con el producto
interno usual en H01 (U )).
De hecho, es fcil verificar que { wkk }kN forma una base ortonormal de H01 (U ).
Luego, buscamos una solucin de (10.8.1) de la forma
X
u(x, t) = dk ek t wk (x),
k=1
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
2 k t k t0
ku(, t) u(, t0 )k2 =
dk (e e )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 )).
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) 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
10.9. Ejercicios
Ejercicio 10.9.1. Consideremos el siguiente operador elptico
Xn
Lu = i (aij (x)j u) + c(x)u,
i,j=1
Pn
donde ||2 i,j=1 aij (x)i j ||2 y c L .
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)).
170 10. SOLUCIONES DBILES
donde U C 1 y f L2 (U ).
1. Mostrar que u C 2 (U ) C 1 (U ) es solucin del problema de Neumann si y slo
si verifica la siguiente formulacin dbil:
Z Z Z
u dx + u dx = f dx
U U U
donde U C 1 y f L2 (U ).
1. Dar una formulacin
R dbil del problema y mostrar que si existe una solucin
dbil, entonces U f dx = 0. R
2. Mostrar que si fR L2 (U ) verifica que U f dx = 0, entonces existe una nica
u H 1 (U ) con U u dx = 0 solucin dbil de este problema. Ms an, dicha
solucin es nica en H 1 (U ) salvo constante.
Sugerencia: Usar la desigualdad de Poincar dada por el Ejercicio 9.5.11 y
usar el Teorema de Lax-Milgram en el subespacio ortogonal a las constantes en
H 1 (U ).
Ejercicio 10.9.5 (Principio dbil del mximo). Sea Lu = ni,j=1 i (aij (x)j u)
P
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.9.
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
172 10. SOLUCIONES DBILES
1. Probar que u est bien definida (es decir, existe una nica solucin del problema
aproximado).
2. Probar que se tiene la siguiente estimacin de error
ku ukH01 (U ) C nf ku vkH01 (U ) ,
vV
[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] Ham Brezis, Analyse fonctionnelle, Collection Mathmatiques Appliques pour la Matrise. [Co-
llection of Applied Mathematics for the Masters Degree], Masson, Paris, 1983, Thorie et appli-
cations. [Theory and applications]. MR 697382 (85a:46001)
[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] Fritz John, Partial differential equations, fourth ed., Applied Mathematical Sciences, vol. 1,
Springer-Verlag, New York, 1982. MR 831655 (87g:35002)
[10] 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)
[11] Jrgen Moser, On Harnacks theorem for elliptic differential equations, Comm. Pure Appl. Math.
14 (1961), 577591. MR 0159138 (28 #2356)
[12] J. Nash, Continuity of solutions of parabolic and elliptic equations, Amer. J. Math. 80 (1958),
931954. MR 0100158 (20 #6592)
[13] 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)
[14] Sandro Salsa, Partial differential equations in action, Universitext, Springer-Verlag Italia, Milan,
2008, From modelling to theory. MR 2399851 (2009b:35001)
[15] 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)
[16] Noemi Wolanski, Introduccin a las ecuaciones diferenciales ordinarias, Serie B, Publicaciones
de Grado, Departamento de Matemtica, FCEN, Universidad de Buenos Aires, 2008.
175