Bol. Soc. Esp. Mat. Apl.

n
o
52(2010), 1139
ART

ICULOS
ECUACIONES EN DERIVADAS PARCIALES GOBERNADAS
POR OPERADORES ACRETIVOS
JOS

E M. MAZ

ON RUIZ
Departamento de Analisis Matem atico
Universitat de Valencia
mazon@uv.es
Resumen
Una teora que ha resultado ser de gran utilidad en el estudio de
muchas ecuaciones en derivadas parciales no lineales es la teora de
semigrupos no lineales generados por operadores acretivos en espacios
de Banach. Dicha teora se basa fundamentalmente en el Teorema de
Crandall-Ligget y en las aportaciones de Ph. Benilan. En este artculo,
despues de hacer una exposicion esquematica de esta teora general,
veremos como la hemos aplicado a algunas ecuaciones en derivadas
parciales no lineales que aparecen en diversos campos de la Ciencia.
Abstract
A theory which has become very useful in the study of a great deal
of non-linear partial dierential equations is the theory of non-linear
semigroups generated by accretive operators in Banach spaces. This
theory is fundamentally based on Cradall-Liggetts Theorem and also on
the work of Ph. Benilan. In this paper, after a schematic exposition of
this general theory, we shall see how we have applied it to some non-linear
partial dierential equations that appear in several scientic elds.
A la memoria de Fuensanta Andreu, con quien compart los resultados de este
trabajo y de Philippe Benilan, que nos introdujo en las ecuaciones de evoluci on.
Palabras clave: Operadores acretivos, ecuaciones de evolucion, semigrupos
de operadores, ecuaciones parab olicas cuasi-lineales.
Clasicaci on por materias AMS: 47H20, 47J35, 47B44, 35K59.
Fecha de recepcion: 29-12-2009. Aceptado (en forma revisada): 20-02-2010.
11
12 J.M. Mazon
1 Semigrupos de operadores no lineales
En esta seccion vamos a resumir los puntos mas importantes de la teora
de semigrupos de operadores no lineales y de las ecuaciones de evoluci on
gobernadas por operadores acretivos. Para un desarrollo m as completo de esta
teora referimos al lector a las referencias: [30], [31], [34], [35], [37], [39], [40].
La parte lineal de esta teora comenz o en los a nos treinta con los trabajos
de E. Hille, Y. Yosida y R. Phillips sobre semigrupos de operadores lineales en
espacios de Banach. Ahora, una de las primeras ideas en esta lnea se remonta
a un trabajo de G. Peano de 1887 en el que escribe el sistema de ecuaciones
diferenciales
_

_
du
1
dt
= a
11
u
1
+ +a
1n
u
n
+f
1
(t)
.
.
.
du
n
dt
= a
n1
u
1
+ +a
nn
u
n
+f
n
(t)
(1)
en forma matricial como
u

(t) = Au(t) +f (t) (2)

donde u(t) = (u
1
(t), u
2
(t), . . . , u
n
(t))
tr
, f (t) = (f
1
(t), f
2
(t), . . . , f
n
(t))
tr
y
A =
_
a
ij
_
, y lo resuelve por medio de la formula explcita
u(t) = e
tA
u(0) +
_
t
0
e
(ts)A
f (s) ds,
donde
e
tA
=

k=0
1
k!
t
k
A
k
.
De esta forma, transform o un problema unidimensional complicado en uno
formalmente m as simple en dimensi on superior. Esta es la esencia de la teora
de semigrupos de operadores. Puesto que queremos aplicar esta teora abstracta
a resolver ecuaciones en derivadas parciales, debemos trabajar en espacios de
dimensi on innita. Por tanto, nuestro principal objetivo sera el estudio de
ecuaciones de evolucion de la forma:
_
_
_
u

(t) +Au(t) = f(t) sobre ]0, T[

u(0) = u
0
,
(3)
u, f : (0, T) X y A : D(A) X un operador, siendo X un espacio de Banach.
Veamos un ejemplo de como escribir una ecuacion en derivadas parciales
como un problema de la forma (3).
Ejemplo 1 Sea un dominio acotado en R
N
con frontera suave .
Consideremos el cl asico problema de valores iniciales para la ecuacion del calor,
es decir el problema
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 13
_

_
w
t
= w para (t, x) ]0, [,
w(t, x) = 0 para (t, x) ]0, [,
w(0, x) = f(x) para x .
(4)
Escribimos u(t) = w(t, ), vista como un funcion de x, y tomamos X un espacio
de funciones sobre , por ejemplo, X = L
p
() para alg un p 1 o X = C().
Supongamos que estamos en este ultimo caso. Sea A el operador con dominio
D(A) :=
_
v C() : v C() y v(x) = 0 x
_
y denido por Av := v, para v D(A). Entonces, podemos escribir
el problema (4) en la forma (3). Observar que la condicion frontera (4) ha
sido absorbida en la denicion del dominio del operador A al requerir que
u(t) D(A) para todo t 0.
1.1 Problemas abstractos de Cauchy
De ahora en adelante, X denotara un espacio de Banach real con norma | | y
dual X

.
Utilizaremos operadores no lineales multivaluados, no s olo porque ello nos
permite obtener una teora coherente, sino porque a menudo dichos operadores
aparecen en las aplicaciones. Recordemos los hechos b asicos sobre los operadores
multivaluados.
A una aplicacion A : X 2
X
de X en 2
X
(la colecci on de todos los
subconjuntos de X) la denominaremos un operador en X. Para x X, Ax
denota el valor de A en x, a D(A) := x X : Ax ,= se le denomina el
dominio efectivo de A y R(A) := Ax : x D(A) su rango.
Un operador A en X determina al subconjunto G(A) = (x, y) X X :
y Ax, denominado el grafo de A; inversamente, un subconjunto G de XX
determina un unico operador A cuyo grafo es G; el operador A viene dado por
Ax := y : (x, y) G. Cuando sea conveniente identicaremos a un operador
con su gr aca.
Dados dos operadores A y B en X y R, denimos los nuevos operadores
A +B, A y A
1
, como:
(A +B)x := Ax +Bx
(A)x := (Ax)
A
1
x := y X : x Ay.
El operador clausura del operador A, denotado por A, se dene como la clausura
de la gr aca de A en X X, es decir:
y A si y solo si y
n
Ax
n
: x
n
x, y
n
y.
14 J.M. Mazon
Ante de proseguir jemos alguna notacion: Por L
1
(a, b; X) denotamos al
espacio vectorial de todas las funciones f : [a, b] X integrables en el sentido de
Bochner con respecto a la medida de Lebesgue (i.e., las funciones f fuertemente
medibles tales que
_
b
a
|f(t)| dt < +). Si I es un intervalo en R, L
1
loc
(I; X)
es el espacio de aquellas funciones f : I X que son integrables Bochner en
subintervalos compactos de I.
El espacio W
1,1
(a, b; X) esta formado por las funciones f que son de la forma
f(t) = f(0) +
_
t
0
h(s) ds (5)
para alguna h L
1
(a, b; X). Es bien conocido que W
1,1
(a, b; X) consiste
exactamente de aquellas funciones absolutamente continuas f : [a, b] X que
son diferenciables c.p.p. en [a, b], y si se cumple (5) entonces f

(t) = h(t) c.p.p.

Nuestro interes es estudiar problemas de evoluci on de la forma:
_
_
_
u

(t) +Au(t) f(t) sobre t ]0, T[

u(0) = x,
(6)
donde f : (0, T) X y A es un operador en X. A un problema de la forma
(6) se le denomina un problema abstracto de Cauchy, y lo denotaremos como
(CP)
x,f
. En el caso homogeneo, es decir, para f = 0, escribiremos (CP)
x
en
lugar de (CP)
x,0
.
En principio, una nocion natural de solucion para (CP)
x,f
es la de soluci on
clasica, estos es, una funci on u que satisface:
_

_
u C([0, T]; X) C
1
(]0, T[; X)
u

(t) +Au(t) f(t) t ]0, T[

u(0) = x.
(7)
De hecho, esta es la noci on com un de solucion en la teora clasica de ecuaciones
diferenciales ordinarias (i.e., para X = R
N
) cuando A es univaluado y A y f
son continuos. Ahora, cuando aparecen discontinuidades, la noci on de soluci on
clasica es muy restrictiva como pone de maniesto el siguiente ejemplo.
Ejemplo 2 Sea X = R, f = 0, x = 1 y A la funci on de Heaviside
A(r) =
_
_
_
1 si r > 0
0 si r 0.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 15
Entonces, (CP)
x,f
se escribe como
_

_
u

(t) = 1 if u(t) > 0

u

(t) = 0 if u(t) 0
u(0) = 1.
(8)
La soluci on del problema (8) viene dada por
u(t) =
_
_
_
1 t si 0 t 1
0 si t 1.
Pero u no es una soluci on clasica puesto que no es diferenciable en t = 1.
Este ejemplo motiva la siguiente nocion m as debil de soluci on para (CP)
x,f
.
Denici on 1 Una funci on u se denomina una solucion fuerte de (CP)
x,f
si
_

_
u C([0, T]; X) W
1,1
loc
(0, T; X)
u

+Au(t) f(t) c.p.p. t ]0, T[

u(0) = x.
(9)
Claramente, la fucion del ejemplo anterior es una solucion fuerte. Sin
embargo, este tipo de soluciones no es sucientemente general, como el siguiente
ejemplo debido a G. Webb ([45]) pone de maniesto.
Ejemplo 3 Consideremos el problema
_
_
_
w
t
w
x
+w
+
= 0 sobre ]0, +[R
w(0, x) = u
0
(x) x R.
(10)
Estamos interesados en resolver el problema (10) en el espacio X = C
0
(R) de
las funciones continuas en R que se anulan en el innito. Para ello, denimos el
operador A en X por Au := u

+u
+
con dominio
D(A) :=
_
u C
1
(R) : u, u

C
0
(R)
_
.
Reescribimos el problema (10) como un problema de evolucion en X:
_
_
_
u

(t) +Au(t) = 0 en ]0, +[

u(0) = u
0
.
(11)
Observar que este es un problema semi-lineal con A = A
0
+F, siendo A
0
u = u

y F(u) = u
+
. Entonces, como A
0
es el generador innitesimal de un C
0
-
semigrupo (S(t))
t0
en X y F es Lipschitz continua, es bien conocido que para
16 J.M. Mazon
cada u
0
X existe una unica soluci on de (11) dada por la cl asica f ormula de
Duhamel
u(t) = S(t)u
0

_
t
0
S(t s)F(u(s)) ds t 0.
Sin embargo, u no es necesariamente una solucion fuerte del problema (11),
incluso si u
0
D(A). En efecto: sea u
0
X tal que, existe x
0
R satisfaciendo:
u
0
(x) > 0 si x > x
0
y u
0
(x) < 0 si x < x
0
. Entonces, usando el metodo clasico
de las caractersticas, no es difcil ver que la solucion de (10) viene dada por
w(t, x) =
_
_
_
e
t
u
0
(x +t) si x +t > x
0
u
0
(x +t) si x +t x
0
.
De donde se sigue que si u

0
(x
0
) ,= 0, esta no es una solucion fuerte.
Consecuentemente, necesitamos introducir un concepto mas general de
soluci on para (CP)
x,f
. El concepto adecuado de soluci on para (CP)
x,f
en
espacios de Banach generales es el concepto de solucion leve (mild solution en
ingles), introducido por M.G. Crandall y T.M. Liggett en [40] y por Ph. Benilan
en [31], el cual estudiaremos en la siguiente secci on.
1.2 Soluciones leves
Sea A un operador en X y f L
1
(a, b; X). En terminos generales, una solucion
leve del problema
u

+Au f sobre [a, b] (12)

es una funci on continua u C([a, b]; X) que es lmite uniforme de soluciones de
problemas discretizados en tiempo, dados por esquemas implcitos de Euler de
la forma
v(t
i
) v(t
i1
)
t
i
t
i1
+Av(t
i
) f
i
,
donde f
i
son aproximaciones de f cuando [t
i
t
i1
[ 0. Tenemos pues que
la idea que hay detras de la nocion de soluci on leve es simple, e incluso cl asica
desde el punto de vista del analisis numerico. Formalmente, la denici on es la
siguiente.
Denici on 2 Sea > 0. Una -discretizaci on de u

+Au f sobre [a, b] consiste

de una particion t
0
< t
1
< < t
N
y una sucesion nita f
1
, f
2
, . . . , f
N
de
elementos de X tales que
a t
0
< t
1
< < t
N
b, con
t
i
t
i1
, i = 1, . . . , N, t
0
a y b t
N
.
(13)
N

i=1
_
t
i
t
i1
|f(s) f
i
| ds . (14)
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 17
Denotaremos a esta discretizacion por D
A
(t
0
, . . . , t
N
; f
1
, . . . , f
N
).
Una solucion de la discretizaci on D
A
(t
0
, . . . , t
N
; f
1
, . . . , f
N
) es una funci on
v : [t
0
, t
N
] X constante a trozos cuyos valores v(t
0
) = v
0
, v(t) = v
i
para
t ]t
i1
, t
i
], i = 1, . . . , N, satisfacen
v
i
v
i1
t
i
t
i1
+Av
i
f
i
, i = 1, . . . , N. (15)
Una solucion leve de u

+ Au f sobre [a, b] es una funci on continua

u C([a, b]; X) tal que, para cada > 0 existe una -discretizaci on
D
A
(t
0
, . . . , t
N
; f
1
, . . . , f
N
) de u

+ Au f sobre [a, b] que posee una solucion v

satisfaciendo
|u(t) v(t)| para t
0
t t
N
.
Es facil ver que si u es una solucion leve de u

+ Au f sobre [a, b] y
[c, d] [a, b], entonces u
|[c,d]
es una solucion leve de u

+ Au f sobre [c, d].

Por tanto, la siguiente denicion es consistente.
Denici on 3 Sea I un intervalo de R y f L
1
loc
(I; X). Una solucion leve
de u

+ Au f sobre I es una funci on u C(I; X) cuya restriccion a cada

subintervalo compacto [a, b] de I es una solucion leve de u

+Au f sobre [a, b].

El concepto de solucion leve generaliza al de solucion fuerte.
Teorema 1 Sea f L
1
loc
(I; X) y u una solucion fuerte de u

+Au f sobre
I. Entonces u es una solucion leve de u

+Au f sobre I.
Denici on 4 Sea D un subconjunto de X. A una familia de aplicaciones
S(t) : D D (t 0) satisfaciendo:
S(t +s)x = S(t)S(s)x para todo t, s 0, x D, (16)
lm
t0
S(t)x = x para x D, (17)
se le denomina un semigrupo fuertemente continuo sobre D.
Uno puede asociar a cada operador A en X un semigrupo fuertemente
continuo (S
A
(t))
t0
por medio de la siguiente denici on:
D
_
S
A
_
:=
_
x X : una unica soluci on leve u
x
de u

+Au 0
sobre (0, +) con u
x
(0) = x
_
.
Para t 0 y x D(S
A
), escribimos
S
A
(t)x := u
x
(t). (18)
De las propiedades de las soluciones leves se desprende que
_
S
A
(t)
_
t0
es un
semigrupo fuertemente continuo sobre D(S
A
).
18 J.M. Mazon
En el caso lineal, i.e., si S(t) /(X), los semigrupos fuertemente continuos
se denominan C
0
-semigrupos. A cada C
0
-semigrupo (S(t))
t0
se le asocia su
generador innitesimal B denido como
D(B) :=
_
x X : lm
t0
S(t)x x
t
_
y
Bx := lm
t0
S(t)x x
t
para x D(B).
En el caso lineal es bien conocido el siguiente resultado.
Teorema 2 A es el generador innitesimal de un C
0
-semigrupo
_
S(t)
_
t0
de operadores lineales acotados en X, si y solo si, A es lineal, cerrado y
D(S
A
) = X. Entonces, S
A
(t) = S(t) para todo t 0.
Este resultado motiva el desarrollo de una teora de semigrupos de
operadores no lineales analoga a la clasica teora lineal. Ahora, en el contexto
no lineal la situacion es muy diferente y mucho mas complicada.
1.3 Operadores acretivos
Vamos a introducir la clase de operadores para los cuales se puede obtener
existencia y unicidad de soluciones leves. Para ello, como hemos puntualizado
antes, se requiere la existencia de soluciones de ecuaciones discretizadas de la
forma
x
i
x
i1
t
i
t
i1
+Ax
i
f
i
, i = 1, . . . , N
o equivalentemente
x
i
+ (t
i
t
i1
)Ax
i
(t
i
t
i1
)f
i
+x
i1
, i = 1, . . . , N. (19)
Entonces, para resolver (19) de manera unica necesitamos que el inverso del
operador (I + A) sea un operador univaluado. Operadores que tienen esta
propiedad son los siguientes:
Denici on 5 Un operador A en X es acretivo si
|x x| |x x +(y y)|, siempre que > 0 y (x, y), ( x, y) A.
Notar que el operador A es acretivo si y solo si para > 0 y z X,
x + y = z tiene a lo mas una soluci on (x, y) A y la relacion x + y = z,
(x, y) A, x + y = z, ( x, y) A implica
|x x| =
_
_
(I +A)
1
z (I +A)
1
z
_
_
|z z|.
Por tanto tenemos que
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 19
Proposici on 3 A es acretivo si y s olo si (I + A)
1
es una aplicacion
univaluada y no expansiva para todo > 0.
Si A es acretivo, denotamos J
A

= (I +A)
1
y la denominamos resolvente
de A. Notar que D(J
A

) = R(I +A).
Es facil ver que si es un operador en R, entonces es acretivo si y s olo si
(y y)(x x) 0 para todo (x, y), ( x, y) . Por tanto, si es univaluado,
entonces es acretivo si y solo si es no decreciente. Los siguientes son ejemplos
de operadores acretivos en R:
sign
0
(r) :=
_
_
_
1 si r > 0
0 si r = 0
1 si r < 0
y sign(r) :=
_
_
_
1 si r > 0
[1, 1] si r = 0
1 si r < 0.
Para vericar la acretividad de un operador dado es util tener
caracterizaciones de esta propiedad. Para ello necesitamos introducir el corchete
y la aplicaci on dualidad.
Para cada ,= 0 denimos [, ]

: X X R por
[x, y]

:=
|x +y| |x|

.
Fijado (x, y) X X, [x, y]

es no decreciente para > 0. En efecto, si

> 0 entonces
|x +y| =
_
_
_
_
1

_
x +

(x +y)
_
_
_
_
1

_
|x| +

|x +y|,
de donde se sigue que [x, y]

[x, y]

. Por tanto, para cada (x, y) X X

podemos denir:
[x, y] := lm
0
[x, y]

= nf
>0
[x, y]

.
El n umero [x, y] es la derivada por la derecha de la norma de x en la direccion
y. En la siguiente proposicion listamos algunas de las propiedades del corchete
[, ].
Proposici on 4 Si x, y, z X y , R, entonces
(i) [, ] : X X R es semicontinua superiormente,
(ii) [x, y] = [[[x, y] si > 0,
(iii) [x, x +y] = |x| + [x, y],
(iv) [x, y] 0 si y solo si |x +y| |x| for 0,
(v) [[x, y][ |y| y [0, y] = |y|,
(vi) [x, y] [x, y],
(vii) [x, y +z] [x, y] + [x, z],
20 J.M. Mazon
(viii) sea u :]a, b[R y t
0
]a, b[ tales que u es diferenciable en t
0
, entonces t
|u(t)| es diferenciable en t
0
si y solo si [u(t
0
), u

(t
0
)] = [u(t
0
), u

(t
0
)];
en este caso
d
dt
|u(t)|
|t=t
0
= [u(t
0
), u

(t
0
)] .
Como consecuencia de (iv) de la proposicion anterior tenemos la siguiente
caracterizacion de los operadores acretivos.
Corolario 5 Un operador A en X es acretivo si y s olo si [x x, y y] 0
siempre que (x, y), ( x, y) A.
En espacios de Banach concretos el corchete [, ] se puede computar
explcitamente. Veamos algunos ejemplos.
Ejemplo 4 Sea (H, ( [ )) un espacio de Hilbert. Entonces, para cada x, y H,
_
|x +y| |x|
__
|x +y| +|x|
_
= |x +y|
2
|x|
2
= 2(x[y) +
2
|y|
2
.
Dividiendo esta igualdad por se obtiene
_
|x +y| +|x|
_
[x, y]

= 2(x[y) +|y|
2
,
as se tiene que
|x|[x, y] = (x[y).
Entonces, por el Corolario 5, se sigue que: un operador A en H es acretivo si y
solo si
(x x[y y) 0 (x, y), ( x, y) A. (20)
A un operador en un espacio de Hilbert que satisface (20) se le denomina un
operador monotono y por tanto en espacios de Hilbert los operadores monotonos
y los acretivos coinciden.
Ejemplo 5 Sea X = L
p
() con 1 < p < . Por la convexidad de la aplicacion
t [t[
p
, y aplicando el Teorema de la convergencia dominada, es facil ver que
para f ,= 0,
[f, g] = |f|
1p
p
_

g[f[
p1
sign
0
(f).
En el caso p = 1, i.e., para X = L
1
(), se tiene que
[f, g] =
_

g sign
0
(f) +
_
{f=0}
[g[.
Las formulas del corchete dadas en los anteriores ejemplos son muy utiles
para demostrar la acretividad de operadores diferenciales concretos. Otra
herramienta muy util para estudiar la acretividad de operadores concretos es la
aplicacion dualidad J : X 2
X

, denida como
J(x) := x

: |x

| 1, x, x

= |x| .
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 21
Por el Teorema de Hanh-Banach, tenemos que J(x) ,= para cada x X.
Dado x

J(x), como |x

| 1,
[x

, x +y[ |x +y|
y
x

, y =
1

(x

, x +y |x|) [x, y]

.
Con lo que
x

, y [x, y] x

J(x).
Por otra parte, si V = LINx, y y denimos

por

, x +y := |x| +[x, y],

entonces, por el Teorema de Hanh-Banach, existe x

tal que x

[
V
=

,
as
x

, x = |x| y x

, y = [x, y].
Ademas, no es difcil ver que |x

| 1, por tanto x

J(x). Consecuentemente,
tenemos el siguiente resultado
Proposici on 6 Para x, y X
[x, y] = m ax
x

J(x)
x

, y.
Como consecuencia de la anterior proposici on y del Corolario 5, tenemos la
siguiente caracterizacion de los operadores acretivos.
Corolario 7 Un operador A en X es acretivo si y s olo si, si (x, y), ( x, y) A,
existe x

J(x x) tal que

x

, y y 0.
Ejemplo 6 Sea X = L
p
() con 1 < p < , entonces por la desigualdad de
Holder tenemos que para f ,= 0,
J(f) = sign
0
(f)[f[
p1
|f|
1p
p
.
En L
1
(), se tiene que
J(f) = sign(f) = g L

() : [g[ 1, gf = [f[ c.p.p. .

Dado w R, denimos:
/(w) := A X X : A +wI es acretivo .
Proposici on 8 Sea A un operador en X. Las siguientes condiciones son
equivalentes:
(i) A /(w).
22 J.M. Mazon
(ii) (1 w)|x x| |x x +(y y)| < 0, (x, y), ( x, y) A.
(iii) [x x, y y] +w|x x| 0.
(iv) Para > 0, w < 1, J
A

= (I +A)
1
es Lipschitz continua con constante
de Lipschitz
1
1 w
.
(v) Para (x, y), ( x, y) A, existe x

J(x x) tal que

x

, y y +w|x x| 0.
La acretividad implica la unicidad de soluciones fuertes. Mas precisamente
tenemos el siguiente resultado.
Teorema 9 Sea f,

f L
1
(0, T; X), A /(w) y u, u soluciones fuertes de
u

+Au f, u

+ A u

f, respectivamente, sobre [0, T]. Entonces,
|u(t) u(t)| e
wt
|u(0) u(0)| +
_
t
0
e
w(ts)
_
u(s) u(s), f(s)

f(s)
_
ds
e
wt
|u(0) u(0)| +
_
t
0
e
w(ts)
|f(s)

f(s)| ds
para t [0, T].
En particular, las soluciones fuertes de (CP)
x,f
son unicas.
Proof: Por simplicidad, suponemos que w = 0, i.e., A es acretivo. Puesto
que u y u son diferenciables c.p.p. en ]0, T[, por (viii) de la Proposicion 4,
tenemos
d
dt
|u(t) u(t)| = [u(t) u(t), u

(t) u

(t)]
=
_
u(t) u(t), (f(t) u

(t)) (

f(t) u

(t)) + (

f(t) f(t))
_
para casi todo t ]0, T[.
Ademas, para casi todo t ]0, T[, (u(t), f(t) u

(t)) A y ( u(t),

f(t)
u

(t)) A. Entonces, por el Corolario 5 y (vi), (vii) de la Proposicion 4,

obtenemos que
_
u(t) u(t), (f(t) u

(t)) (

f(t) u

(t)) + (

f(t) f(t))
_

_
u(t) u(t), (f(t) u

(t)) (

f(t) u

(t))] [u(t) u(t), f(t)

f(t)
_

_
u(t) u(t), f(t)

f(t)
_
.
Consecuentemente,
d
dt
|u(t) u(t)|
_
u(t) u(t), f(t)

f(t)
_
.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 23
De aqu, aplicando la desigualdad de Gronwall obtenemos que
|u(t) u(t)| |u(0) u(0)| +
_
t
0
_
u(s) u(s), f(s)

f(s)
_
ds
|u(0) u(0)| +
_
t
0
|f(s)

f(s)| ds.
Hemos visto que la acretividad de un operador A implica la unicidad de la
soluci on x
i
de la ecuacion discretizada
x
i
x
i1
t
i
t
i1
+Ax
i
f
i
, i = 1, . . . , N
la cual, si existe viene dada por
x
i
= J
A
(t
i
t
i1
)
((t
i
t
i1
)f
i
+x
i1
) i = 1, . . . , N.
Esta formula indica que ademas de la acretividad uno debe esperar que una
condici on rango (i.e., una condicion sobre R(I +A) = D(J
A

)) se necesite para
tener la existencia de soluciones. Esto motiva la siguiente denici on.
Denici on 6 Un operador A se denomina m-acretivo en X si y s olo si A es
acretivo y R(I +A) = X para todo > 0.
Aplicando el Teorema del punto jo de Banach no es difcil ver que si A es
acretivo entonces A es m-acretivo si existe un > 0 tal que R(I +A) = X.
Es facil ver que cada operador m-acretivo A en X es maximal acretivo en
el sentido de que cada extension acretiva de A coincide con A. En general, el
inverso es falso, pero es cierto en espacios de Hilbert debido al siguiente resultado
clasico de G. Minty [44]:
Teorema 10 (Teorema de Minty) Sea H un espacio de Hilbert y A un
operador acretivo en H. Entonces, A es m-acretivo si y s olo si A es maximal
mon otono.
Los ejemplos mas importantes de operadores maximales mon otonos en
espacios de Hilbert provienen de la teora de la optimizaci on, son las
subdiferenciales de los funcionales convexos que introducimos seguidamente.
Sea (H, ( [ )) un espacio de Hilbert y : H ] , +]. Denotamos
D() = x H : (x) ,= + (dominio efectivo).
Se dice que es propio si D() ,= . Y es convexo si (x + (1 )y)
(x) + (1 )(y) para todo [0, 1] y x, y H.
Algunas propiedades de se reejan en su epigrafo:
epi() := (x, r) H R : r (x).
24 J.M. Mazon
Por ejemplo, es convexo si y solo si epi() es un subconjunto convexo de H;
y es semi-continuo inferiormente si y solo si epi() es cerrado.
La subdiferencial de es el operador denido por
w (z) (x) (z) + (w[x z) x H.
Observar que 0 (z) (x) (z) x H
(z) = mn
xD()
(x).
Por tanto, tenemos que 0 (z) es la ecuacion de Euler del problema
variacional
(z) = mn
xD()
(x).
Si (z, w), ( z, w) , entonces
(z) ( z) + ( w[z z) y ( z) (z) + ( w[ z z).
Sumando estas desigualdades obtenemos que
(w w[z z) 0.
Por tanto, es un operador monotono. Ahora, si es convexo, semi-continuo
inferiormente y propio, se puede probar que es maximal monotono y
D() = D() (ver, [35], [30]).
Como mencionamos, en el caso lineal, la existencia y unicidad de soluciones
leves es equivalente al hecho de que A sea el generador innitesimal de un
C
0
-semigrupo. Ahora, existen resultados clasicos conectando este hecho con la
m-acretivitidad del operador A, por ejemplo:
Teorema 11 (Teorema de Lumer-Phillips) A es el generador innite-
simal de un C
0
-semigrupo (S(t))
t0
de contracciones lineales en X si y s olo si
A es lineal, m-acretivo y D(A) = X. Ademas, en este caso
S(t)x = lm
n
_
I +
t
n
A
_
n
x.
La primera extensi on al caso no lineal de este tipo de resultados fue hecha
por Y. Komura en [43].
Teorema 12 (Teorema de Komura) (i) Sea A un operador maximal
mon otono en el espacio de Hilbert H. Entonces D(A) es un subconjunto convexo
de H y D(S
A
) = D(A).
(ii) Dado un conjunto convexo y cerrado C H y un semigrupo fuertemente
continuo de contracciones (S(t))
t0
en C, entonces existe un unico operador
maximal monotono A en H tal que D(A) = C y S
A
(t) = S(t) para todo t 0.
Este resultado fue extendido a algunos espacios de Banach con buenas
propiedades geometricas, pero es falso en espacios de Banach generales. La
correcta extensi on a operadores no lineales en espacios de Banach generales
fue hecha por Crandall-Liggett ([40]) y Ph. Benilan ([31]) a comienzos de los
setenta. En la siguiente secci on daremos las lneas generales de esta teora.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 25
1.4 Teoremas de existencia y unicidad
Sea A un operador en X y f L
1
(0, T; X). Consideremos el problema abstracto
de Cauchy
(CP)
x
0
,f
_
_
_
u

(t) +Au(t) f(t) sobre t ]0, T[,

u(0) = x
0
.
Denici on 7 Una solucion -aproximada de (CP)
x
0
,f
es una solucion v de una
-discretizaci on D
A
(0 = t
0
, . . . , t
N
, f
1
, . . . f
N
) de u

+ Au f sobre [0, T] con

|v(0) x
0
| < .
De la anterior denicion se sigue que u es una solucion leve de (CP)
x
0
,f
sobre [0, T] si y solo si u C([0, T]; X) y para cada > 0 existe una -solucion
aproximada v de (CP)
x
0
,f
tal que |u(t) v(t)| < sobre el dominio de v.
Denici on 8 Supongamos que para cada > 0 existen soluciones -
aproximadas de (CP)
x
0
,f
sobre [0, T]. Se dice que las soluciones -aproximadas
convergen sobre [0, T] cuando 0 a u C([0, T]; X) si existe una funcion
: [0, +[ [0, +[ con lm
0
() = 0 tal que |u(t) v(t)| () siempre
que > 0, v es una solucion -aproximada de (CP)
x
0
,f
sobre [0, T] y t esta en
el dominio de v.
Teorema 13 Supongamos que A /(w), f L
1
(0, T; X) y x
0
D(A). Si
el problema (CP)
x
0
,f
tiene una solucion -aproximada sobre [0, T] para cada
> 0, entonces tiene un unica soluci on leve sobre [0, T] a la que las soluciones
-aproximadas de (CP)
x
0
,f
convergen cuando 0.
Este teorema fue dado por Ph. Benilan en su Tesis ([31]) como una extension
del Teorema de Crandall-Liggett (el cual corresponde a f = 0). Tambien se tiene
el siguiente resultado.
Teorema 14 Sea A un operador acretivo en X y sea u una solucion leve de
u

+Au 0 sobre [0, T]. Entonces:

(i) Si v es una solucion -aproximada de u

+ Au 0 en [0, T] con [0, s] en

su dominio, 0 t T, y (x, y) A, entonces
|u(t) v(s)| 2|u(0) x| +|y|[t s[ 0 s, t T. (21)
(ii) Si u es una solucion leve de u

+A u 0 sobre [0, T], entonces

|u(t) u(t)| |u(0) u(0)| 0 t T. (22)
El Teorema 13 nos dice que, para operadores acretivos, para tener existencia
y unicidad de soluciones leves es suciente con tener existencia de soluciones
-aproximadas para cada > 0. Ahora, hemos visto que este es el caso para
operadores m-acretivos, consecuentemente tenemos el siguiente resultado.
26 J.M. Mazon
Teorema 15 Sea A un operador en X, f L
1
(0, T; X) y x
0
D(A). Si
A +wI es m-acretivo, entonces el problema
u

+Au f on [0, T], u(0) = x

0
tiene una unica soluci on leve u sobre [0, T].
De ahora en adelante, al semigrupo S
A
(t) denido por (18) lo denotaremos
por e
tA
y lo denominaremos como el semigrupo generado por A.
Como consecuencia del Teorema 14, si A es acretivo, entonces (e
tA
)
t0
es
un semigrupo de contracciones, i.e.,
|e
tA
x e
tA
x| |x x| x, x D(S
A
), t 0.
Ademas, es facil ver que D(S
A
) es un cerrado y por el Teorema 14, se tiene que
la aplicacion
(t, x) e
tA
x es continua en [0, +[D(S
A
).
Como consecuencia del Teorema 15 tenemos que si A es m-acretivo en X,
entonces D(S
A
) = D(A) y (e
tA
)
t0
es un semigrupo de contracciones en D(A).
Veamos ahora que en el caso homogeneo se puede debilitar la m-acretividad
del operador y obtener una representacion explcita de la solucion leve.
Supongamos por el momento que A es m-acretivo. Sea > 0 y v una soluci on de
la discretizacion D
A
(0, , 2, . . . , N; 0, . . . , 0) satisfaciendo v(0) = x
0
. Debido
al hecho de que la discretizacion tiene un tama no constante de paso , la
ecuacion diferencial para v es equivalente a
_

_
v(t) = x
0
para < t 0,
v(t) v(t )

+Av(t) 0 para 0 < t N.

(23)
Ademas, v(k) = J

v((k 1)), luego, iterando,

v(k) = J
k

v(0) = J
k

x
0
.
Entonces para resolver (23) s olo necesitamos que D(A) D(J

) para > 0 y
por supuesto la acretividad del operador A.
Denici on 9 Se dice que un operador acretivo A satisface la condicion rango
si D(A) R(I +A) para todo > 0.
Teorema 16 [Teorema de Crandall-Liggett] Si A es un operador acretivo que
satisface la condicion rango, entonces A genera un semigrupo de contracciones
(e
tA
)
t0
sobre D(A) y:
(i) para x
0
D(A) y 0 t < ,
lm
0,kt
J
k

x
0
= e
tA
x
0
uniformemente para t en subintervalos compactos de [0, [;
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 27
(ii) si x
0
D(A), t > 0 y n N, entonces
_
_
_J
n
t/n
x
0
e
tA
x
0
_
_
_
t

n
|y| + 2|x
0
x| (24)
para cada (x, y) A.
Del teorema anterior se deduce que
e
tA
x = lm
n
_
I +
t
n
A
_
n
x para cada x D(A). (25)
A esta representacion del semigrupo (e
tA
)
t0
se le denomina f ormula
exponencial por analoga con la formula lm
n
(1+
t
n
a)
n
= e
ta
para a C.
Observar la similitud de (25) con la f ormula exponencial dada en el Teorema
de Lumer-Phillips para el caso lineal. Ahora bien, hay una gran diferencia entre
los casos lineal y no lineal. Por ejemplo, en el caso lineal, A es el generador
innitesimal de un C
0
-semigrupo (e
tA
)
t0
, y en el caso no lineal hay ejemplos
de operadores A satisfaciendo la hip otesis del Teorema de Crandall-Liggett,
para los que el dominio del generador innitesimal del semigrupo (e
tA
)
t0
es
vaco ([40]). Consecuentemente, en el contexto no lineal no hay que confundir
el generar un semigrupocon ser su generador innitesimal.
1.5 Regularidad de las soluciones leves
Como mencionamos, las soluciones leves pueden no satisfacer ninguna propiedad
adicional de regularidad, en general, pueden no ser soluciones fuertes. Surge
entonces de forma natural la cuesti on de encontrar condiciones adicionales bajo
las cuales las soluciones leves sean soluciones fuertes, para ello es necesario que
las soluciones leves sean diferenciables. Se tiene el siguiente resultado.
Teorema 17 Supongamos que A es un operador m-acretivo en X, f
L
1
(0, T; X) y u es una solucion leve de u

+Au f en [0, T]. Entonces,

(i) si u es diferenciable en t ]0, T[ y t es un punto de Lebesgue por la derecha
de f, entonces
u

(t) +Au(t) f(t);

(ii) si u W
1,1
(0, T; X), entonces u es una solucion fuerte de u

+Au f en
[0, T].
Consecuentemente, el problema es: cuando una soluci on leve pertenece a
W
1,1
(0, T; X)?
Denotamos por BV (0, T; X) el subespacio de L
1
(0, T; X) de la funciones de
variacion acotada, i.e., f BV (0, T; X) si f L
1
(0, T; X) y
Var(f, T) := lmsup
h0
_
Th
0
|f( +h) f()|
h
d < +.
La principal condici on que garantiza que las soluciones leves esten en
W
1,1
(0, T; X) las recogemos en el siguiente resultado.
28 J.M. Mazon
Proposici on 18 Sea A un operador acretivo en X, f BV (0, T; X) y
x D(A). Si u es una solucion leve de (CP)
x,f
en [0, T], entonces u es
localmente Lipschitz continua en [0, T[. Adem as, si X tiene la propiedad de
Radon-Nikodym, entonces u W
1,1
(0, T; X) y consecuentemente u es una
solucion fuerte de (CP)
x,f
en [0, T].
En el caso en que el operador sea la subdiferencial de un funcional convexo
y semi-continuo inferiormente en un espacio de Hilbert, se tiene el siguiente
resultado de regularidad.
Teorema 19 Sea H un espacio Hilbert y : H ] , +] una funcion
convexa y semi-continua inferiormente cumpliendo Min = 0. Asumamos que
f L
2
(0, T; H) y u
0
D(), entonces la solucion leve u(t) de
u

+(u) f en [0, T], u(0) = u

0
,
es una solucion fuerte. Ademas, para casi todo t [0, T], se tiene que
d
dt
(u(t)) = (h[u

(t)) h (u(t)). (26)

Una clase importante de operadores acretivos que tienen buenas propiedades
de regularidad son los denominados operadores completamente acretivos,
introducidos por Ph. Benilan y M. Crandall en [33], y cuyo ejemplo m as
importante corresponde a aquellos operadores A en L
1
(), para los que sus
resolventes J
A

son contracciones en todo L

p
(), 1 p , que ademas
preservan el orden.
1.6 Conclusion
En conclusi on, la teora desarrollada nos proporciona el siguiente metodo para
ver si una determinada EDP esta bien puesta: En primer lugar hay que buscar
un espacio de Banach de funciones X adecuado para plantear el problema como
un problema abstracto de Cauchy en el. Con la palabra adecuado quiero decir,
por ejemplo, que si la funci on incognita del problema es una densidad, el espacio
adecuado de funciones es el de las funciones integrables, i.e., X es un espacio
L
1
. El siguiente paso es asociarle al operador diferencial de la EDP un operador
A en X adecuado.

Este es uno de los pasos fundamentales, sobre todo si el
problema es muy degenerado, pues involucra la denici on correcta de soluci on
de la EDP (debil, de entropa, renormalizada, viscosa, etc.). Llegados a este
punto, hay que probar la m-acretividad del operador A, es decir, probar que
para sucientes v X, existe una unica soluci on del problema u+A(u) = v, es
decir hay que resolver una ecuacion elptica. Si todo esto funciona, la teora (i.e.,
el Teorema de Crandall-Liggett) nos asegura que existe una soluci on leve del
problema abstracto de Cauchy. Pero con esto no hemos terminado, ahora queda
lo que en muchos casos es la parte tecnicamente mas complicada, demostrar que
la soluci on leve es una soluci on adecuada (debil, de entropa, renormalizada,
viscosa, etc.) de la EDP.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 29
2 Ecuaciones en derivadas parciales gobernadas por operadores
acretivos
Importantes ecuaciones en derivadas parciales no lineales que aparecen en
diversos campos de la Ciencia han sido estudiadas con la ayuda de la teora
expuesta en el apartado anterior. Los primeros problemas de los que se
establecio que estaban bien puestos en el sentido de Hadamard por medio de
esta teora se encuentran en los comienzos de la misma y est an ligados a dos de
sus fundadores. Entre dichos problemas esta el problema de Cauchy asociado
a las ecuaciones cuasi-lineales de primer orden, estudiados por M. Crandall en
[38] y por Ph. Benilan en su tesis [31], donde tambien estudia un tipo general de
ecuaciones que tiene como ejemplo mas signicativo la ecuacion de los medios
porosos.
Desde principio de los a nos noventa, Fuensanta Andreu y el que escribe, en
colaboraci on con C. Ballester, V. Caselles, N. Igbida, S. Moll, J. Rossi, S. Segura
y J. Toledo, hemos demostrado la efectividad de la teora de semigrupos
no lineales para establecer la existencia y unicidad de solucion de diversas
ecuaciones en derivadas parciales no lineales que aparecen en las aplicaciones.
A hacer un resumen de algunas de estas ecuaciones dedicamos este apartado.
2.1 Ecuaciones elptico-parab olicas degeneradas con condiciones dinami-
cas de frontera
Sea un dominio en R
N
con frontera suave y 1 < p < . Consideramos
una funci on de Caratheodory a : R
N
R
N
satisfaciendo:
(H
1
) existe un > 0 tal que
a(x, ), [[
p
para cada y para casi todo x , donde , es el producto interior en R
N
;
(H
2
) para cada y R
N
, ,= y para casi todo x se tiene que
a(x, ) a(x, ), > 0;
(H
3
) existe R tal que
[a(x, )[ (j(x) +[[
p1
)
para cada R
N
, con j L
p

, p

= p/(p 1).
El ejemplo modelo de funci on a satisfaciendo (H
1
), (H
2
) y (H
3
) es a(x, ) =
[[
p2
, para el cual div a(x, Du) = div
_
[Du[
p2
Du
_
es el operador pLapla-
ciano
p
(u).
En el trabajo seminal [32] de Benilan et al., para resolver los problemas de
existencia y unicidad del problema
_
_
_
div a(x, Du) = f en
u = 0 sobre ,
(27)
30 J.M. Mazon
introdujeron el concepto de solucion de entropa del problema (27), como aquella
funci on u L
1
() tal que T
k
(u) W
1,p
0
() para cada k > 0, satisfaciendo
_

a(x, Du), DT
k
(u )
_

fT
k
(u )
para cada W
1,p
0
() L

() y k > 0, siendo T
k
la funci on de truncamiento
T
k
(s) :=
_
s si [s[ k
k sign (s) si [s[ > k.
Un concepto equivalente al de solucion de entropa, denominado solucion
renormalizada, fue introducido en un trabajo nunca publicado por P. L. Lions
y F. Murat.
Siguiendo las tecnicas introducidas en [32] en [20] probamos la existencia y
unicidad, para dato en L
1
(), de soluciones entropicas del problema elptico,
_
_
_
u div a(x, Du) = f en ,

a
(u) sobre ,
(28)
donde /
a
es el operador frontera de Neumann asociado con a, i.e.,
u

a
:= a(x, Du), ,
y un grafo maximal monotono en R R con 0 (0). Como consecuencia
del Teorema 15, los resultados anteriores nos proporcionaron la existencia y
unicidad de soluciones leves del correspondiente problema abstracto de Cauchy.
Ahora bien, el problema es caracterizar estas soluciones leves, eso fue el objeto
del trabajo [21], donde establecimos la existencia y unicidad de soluciones de
entropa del problema
_

_
u
t
= div a(x, Du) in ]0, [

a
(u) on ]0, [
u(x, 0) = u
0
(x) x
(29)
para cada dato inicial de L
1
().
En [22], usando el metodo de Liapunov para las ecuaciones de evolucion
gobernadas por operadores acretivos introducido por A. Pazy, estudiamos el
comportamiento asint otico de las soluciones entropicas del problema (29),
probando la convergencia de dichas soluciones a las soluciones estacionarias
cuando el tiempo tiende a +.
Los resultados anteriores los generalizamos en las publicaciones [16],
[17], [18], donde hemos establecido la existencia y unicidad de soluciones
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 31
debiles o renormalizadas para un problema elptico-parab olico degenerado con
condiciones din amicas de frontera. Mas precisamente, para el problema
_

_
z
t
div a(x, Du) = f, z (u) en Q
T
:=]0, T[
w
t
+a(x, Du) = g, w (u) sobre S
T
:=]0, T[
z(0) = z
0
in , w(0) = w
0
en ,
(30)
donde es un dominio acotado de R
N
, z
0
L
1
(), w
0
L
1
(), f
L
1
(0, T; L
1
()), g L
1
(0, T; L
1
()) y es la normal unitaria exterior sobre
. Aqu la funci on a : R
N
R
N
es una funci on de Caratheodory
satisfaciendo (H
1
), (H
2
) y (H
3
). Las no linealidades y son grafos maximales
monotonos en R
2
tales que 0 (0), Dom() = R y 0 (0). Casos
particulares de este problema aparecen en varios fenomenos con cambios de
fase como el problema de Stefan y la formulacion debil del problema de Hele-
Shaw, as mismo, condiciones no lineales de frontera aparecen en problemas
de Mec anica y Fsica (vease [42]). Un caso particular importante incluido en
el problema (30) que no haba sido estudiado anteriormente es el problema de
Neumann no homogeneo
_

_
z
t
div a(x, Du) = f, z (u), in Q
T
a(x, Du) = g, on S
T
z(0) = z
0
in .
(31)
Observar que en el caso en que 0, el problema (31) es elptico.
Las condiciones din amicas de frontera, aunque no muy estudiadas
matematicamente, son bastante naturales en muchos modelos matematicos en
transferencia de calor en s olidos, en termodinamica, en din amica de uido, etc.
Un marco muy adecuado para el estudio de problemas con condiciones dinamicas
de frontera es el de los semigrupos no lineales de operadores, ya que este tipo
de problemas se puede reescribir de forma natural como un problema abstracto
de Cauchy en el espacio de Banach L
1
() L
1
().
2.2 El ujo variaci on total
Motivados por problemas en procesamiento de im agenes, mas precisamente, por
el modelo de L. Rudin, S. Osher y E. Fatemi sobre restauracion de imagenes
basado en la minimizaci on de la variaci on total, en [1], probamos existencia y
unicidad de soluciones del problema de Neumann asociado a la minimizaci on
32 J.M. Mazon
de la variacion total
_

_
u
t
= div
_
Du
[Du[
_
en Q =]0, [,
u

= 0 sobre S =]0, [,
u(0, x) = u
0
(x) en x ,
(32)
donde es un abierto acotado de R
N
con frontera Lipschitz continua y
u
0
L
1
(). El funcional de energa asociado al problema (32) es el funcional
: L
2
() ] , +] denido por
(u) :=
_

_
_

[Du[ si u L
2
() BV ()
+ si u L
2
() BV ().
Para resolver el problema (32), lo reescribimos como un problema abstracto
de Cauchy en L
2
(),
u

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

0
L
2
(),
problema que por el Teorema 19, sabemos tiene una unica soluci on fuerte. Ahora
para obtener un concepto operativo de solucion, tenemos que caracterizar el
operador . Esto lo hacemos, usando como herramienta principal la formula
de Green generalizada de Anzellotti [28]. Una vez solventada dicha dicultad,
denimos un operador m-acretivo en L
1
(), asociado al operador diferencial
div
_
Du
|Du|
_
. Ademas, la homogeneidad y la completa acretividad del operador
nos permiten probar que las soluciones leves, en este caso, son soluciones fuertes,
los que nos proporciona un buen concepto de solucion del problema (32).
El paso siguiente fue estudiar, en [2], el problema de Dirichlet
_

_
u
t
= div
_
Du
[Du[
_
en Q =]0, [,
u(t, x) = (x) sobre S =]0, [,
u(0, x) = u
0
(x) en x ,
(33)
donde u
0
L
1
() y L
1
(). Dicho problema tambien esta motivado
por un metodo de lling-in (debido a C. Ballester, M. Bertamio, V. Caselles,
G. Shapiro y J. Verdera) en procesamiento de imagenes. Aqu, debido a la
perdida de homogeneidad, las soluciones leves no son soluciones fuertes y
para caracterizarlas de forma adecuada tenemos que introducir el concepto de
soluci on de entropa siguiendo las ideas introducidas por Kruzhkov para obtener
unicidad de las soluciones de las leyes de conservacion escalares.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 33
El estudio del comportamiento asintotico de las soluciones de los problemas
(32) y (33) lo realizamos en [3], donde establecimos, por ejemplo, que las
soluciones de (32) llegan a la media del dato inicial en tiempo nito, estudiando
ademas el perl de como lo hacen.
Usando algunas de las tecnicas desarrolladas para el estudio del ujo
variacion total, en los trabajos [4], [5] y [6] estudiamos los problemas de
Dirichlet, Neumann y Cauchy para una clase general de problemas cuasi-lineales
parab olicos en forma divergencia cuyo funcional de energa asociado tiene
crecimiento lineal en el innito, m as precisamente para operadores diferenciales
de la forma div a(x, Du), donde a(x, ) =

f(x, ), siendo f una funci on

convexa en con crecimiento lineal cuando || , incluyendo como ejemplos
m as relevantes en las aplicaciones el caso de la integral de area no parametrico,
f() =
_
1 +||
2
, y un modelo en plasticidad de Hencky que corresponde a
f() =
_
_
_
1
2
||
2
if || 1
||
1
2
if || 1.
La existencia la obtenemos por medio del Teorema de Crandall-Ligget (Teorema
16) y la unicidad por medio del metodo de desdoblamiento de variables de
Kruzhkov.
Los resultados sobre el ujo variacion total y los relativos a las ecuaciones
cuasi-lineales parab olicas en forma divergencia cuyo funcional de energa
asociado tiene crecimiento lineal en el innito constituyen el n ucleo fundamental
de la monografa [7], premio Ferran Sunyer i Balaguerde 2003.
En [19] establecemos la existencia y unicidad de soluciones de entropa para
el ujo variacion total con condiciones no lineales de frontera como las que
aparecen en el problema (29).
2.3 Ecuaciones de difusion con limitador de ujo
En 2004, en colaboracion con Fuensanta Andreu y Vicent Caselles, comenzamos
el estudio de ecuaciones cuasi-lineales del tipo
u
t
= div a(u, Du)
donde u
0
L
1
(), a(z, ) =

f(z, ), siendo f una funci on con crecimiento

lineal cuando || . Los primeros resultados en esta direccion ([8], [9])
fueron obtenidos asumiendo que
C
0
|| D
0
f(z, ) M(|| + 1), (34)
para cada (z, ) R R
N
, [z[ R, con C
0
, D
0
, M constantes positivas
dependiendo de R. Hay importantes ecuaciones que aparecen, por ejemplo, en
modelos de transferencia de masas y calor en uidos turbulentos, cuyo funcional
de energa tiene un crecimiento lineal respecto al gradiente satisfaciendo (34).
34 J.M. Mazon
Ahora bien, hay ecuaciones relevantes, como la denominada ecuacion relativista
del calor
u
t
= div
_
[u[Du
_
u
2
+a
2
[Du[
2
_
, (35)
para la que el Lagrangiano f(z, ) =

a
2
[z[
_
z
2
+a
2
[[
2
no satisface (34).
Observar que en este caso f(z, ) satisface:
C
0
(z)|| D
0
(z) f(z, ) M
0
(z)(|| + 1) (36)
para cada (z, ) R R
N
, y algunas funciones continuas y positivas C
0
, D
0
,
M
0
, siendo C
0
(z) > 0 para cada z ,= 0. La ecuacion (35) fue introducida por
Ph. Rosenau en 1992 para resolver el problema de la velocidad de propagacion
innita predicho por la clasica ecuacion del calor y por las ecuaciones de difusion
lineales. La ecuaci on (35) fue redescubierta por Y. Brenier en 2003, por medio de
la teora del transporte de masas de Monge-Kantorovich. Como el propio Brenier
se nala, la ecuaci on relativista del calor es una entre las muchas ecuaciones de
difusi on con ujo limitado usadas en la teora de la radiaci on hidrodin amica.
Por ejemplo, una ecuaci on muy similar,
u
t
= div
_
uDu
u +

c
[Du[
_
, (37)
aparece en la teora de la radiaci on hidrodin amica. Una de las mayores
dicultades en el estudio de este tipo de problema es el dar sentido al operador
diferencial, esto lo hicimos en [10], donde estudiamos el problema elptico.
Entonces, en [11], por medio del Teorema de Crandall-Liggett, y usando el
metodo de desdoblamiento de variables de Kruzhkov para probar la unicidad,
probamos la existencia y unicidad de soluciones de entropa para los problemas
de Cauchy y de Neumann homogeneo. El problema de Dirichlet, para el caso
particular de la ecuacion relativista del calor, lo hemos estudiado recientemente
en [15] en colaboracion con Salvador Moll. El problema de Dirichlet es mas
complicado que el problema de Cauchy, problema en R
N
, o que el problema de
Neumann. En particular, las dicultades aparecen debido a que la condicion de
frontera no se cumple puntualmente y hay que considerarla como un problema
de obstaculos. En colaboraci on con los mismos autores, en [13] hemos visto
que las soluciones de entropa de la ecuacion relativista del calor evolucionan
a velocidad constante c, y en [14] estudiamos, de nuevo con la ayuda de la
teora desarrollada en la seccion anterior, la ecuacion de la difusion en medios
transparentes con velocidad constante c
u
t
= c div
_
u
Du
[Du[
_
, (38)
ecuacion que se obtiene formalmente cuando en la ecuacion relativista
del calor. Para la ecuacion (38) encontramos soluciones explcitas de la forma
u(t, x) =
[C[
[C(ct)[

C(ct)
(x),
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 35
siendo
C(s) := x R
N
: dist(x, C) < s.
Aunque las soluciones de las soluciones de la ecuaci on relativista del calor
tienen un frente de discontinuidad que se mueve a la velocidad de la luz, en
[12] hemos probado algunos resultados parciales de regularidad para dichas
soluciones. En particular, bajo algunas hip otesis sobre el dato inicial u
0
, hemos
demostrado que que u
t
(t) es una medida de Radon en R
N
. Adem as, si u
0
es
logaritmo-c oncava dentro de su soporte , entonces la soluci on u(t) es suave en
(ct).
2.4 Problemas de evoluci on con difusion no local
Por medio de la teora de semigrupos no lineales tambien hemos probado
la existencia y unicidad de soluciones para problemas de evoluci on en los
que la difusi on es no local. Dichos resultados los hemos obtenido en las
publicaciones [23], [24], [25] y [26] en colaboraci on con F. Andreu, J. Rossi
y J. Toledo, y forman parte de la monografa [27]. Estos trabajos tratan los
problemas de existencia, unicidad y comportamiento asint otico de las soluciones
de las versiones no locales de algunas ecuaciones no lineales clasicas, como
son la ecuacion de los medios porosos, la ecuacion de evolucion asociada al
p-Laplaciano y al ujo variaci on total. Por ejemplo, la version no local del
problema de Cauchy asociado al p-Laplaciano es el problema
_
_
_
u
t
(x, t) =
_
R
N
J(x y)[u
p
(y, t) u(x, t)[
p2
(u(y, t) u(x, t))dy
u(x, 0) = u
0
(x), x R
N
, t > 0,
(39)
donde J : R
N
R es una funci on radial, con soporte compacto, continua
y no negativa, con J(0) > 0 y
_
R
N
J(x)dx = 1. En este caso, debido a la
homogeneidad y completa acretividad del operador asociado al problema, vemos
que las soluciones leves son soluciones fuertes, con lo que la ecuacion de (39) se
cumple casi por todas partes.
Probamos tambien que, reescalando el n ucleo J de forma conveniente, las
correspondientes soluciones de los problemas no locales convergen a la solucion
del correspondiente problema local. Para ello es tambien de gran utilidad el
hecho de que las soluciones las hemos obtenido va el Teorema de Crandall-
Liggett, ya que, por un clasico resultado de Brezis-Pazy [36], la demostracion
de la convergencia de las soluciones se reduce a la convergencia de las resolventes
que es mucho mas sencilla de probar.
Tomando lmites cuando p + en el problema (39), en [26] hemos
obtenido un modelo no local para pilas de arena, el cual, reescalando, probamos
que converge al clasico modelo local de pilas de arena de Arosson-Evans-Wu [29].
Agradecimientos Agradezco a todos los coautores de los trabajos
aqu rese nados y en especial a Juli an Toledo por sus comentarios sobre el
primer texto que me ayudaron a mejorarlo. As mismo, agradezco al recensor
36 J.M. Mazon
por sus sugerencias y comentarios. El autor est a subvencionado por el proyecto
MTM2008-03176 del MEC con fondos FEDER.
Referencias
[1] F. Andreu, C. Ballester, V. Caselles and J.M. Mazon, Minimizing Total
Variation Flow. Dierential and Integral Equations 14 (2001), 321-360.
[2] F. Andreu, C. Ballester, V. Caselles and J.M. Mazon, The Dirichlet Problem
for the Total Variation Flow. Journal of Functional Analysis. 180 (2001),
347-403.
[3] F. Andreu, V. Caselles, J.I. Daz and J.M. Maz on, Some qualitative
properties for the total variation ow. J. Funct. Anal.188 (2002), 516-547.
[4] F. Andreu, V. Caselles and J.M. Mazon, A Parabolic Quasilinear Problem
for Linear Growth Functionals. Rev. Mat. Iberoamericana 18 (2002), 135-
185.
[5] F. Andreu, V. Caselles and J.M. Mazon, Existence and Uniqueness of
Solution for a Parabolic Quasilinear Problem for Linear Growth Functionals.
Math. Ann. 322 (2002), 139-206.
[6] F. Andreu, V. Caselles and J.M. Mazon, The Cauchy Problem for Linear
Growth Functionals. J. Evol. Equ. 3 (2003), 39-65.
[7] F. Andreu, V. Caselles, and J.M. Mazon, Parabolic Quasilinear Equations
Minimizing Linear Growth Functionals. Progress in Mathematics, vol. 223,
2004. Birkhauser.
[8] F. Andreu, V. Caselles and J.M. Mazon, A strongly degenerate quasilinear
equation: the elliptic case. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 3 (2004),
555587.
[9] F. Andreu, V. Caselles and J.M. Mazon, A strongly degenerate quasilinear
equation: the parabolic case. Arch. Ration. Mech. Anal. 176 (2005), 415453.
[10] F. Andreu, V. Caselles and J.M. Mazon, A strongly degenerate quasilinear
elliptic equation. Nonlinear Anal. 61 (2005), 637669.
[11] F. Andreu, V. Caselles and J.M. Mazon, The Cauchy problem for a strongly
degenerate quasilinear equation. J. Eur. Math. Soc. 7 (2005), 361393.
[12] F. Andreu, V. Caselles and J.M. Mazon, Some regularity results on the
relativistic heat equation. J. Dierential Equations 245 (2008), 36393663.
[13] F. Andreu, V. Caselles, J.M. Mazon and S. Moll, Finite Propagation Speed
for Limited Flux Diusion Equations. Arch. Ration. Mech. Anal. 182 (2006),
269-297.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 37
[14] F. Andreu, V. Caselles, J.M. Mazon and S. Moll, A diusion equation in
transparent media. J. Evol. Equ. 7 (2007), 113143.
[15] F. Andreu, V. Caselles, J.M. Mazon and S. Moll, The Dirichlet problem
associated to the relativistic heat equation. To appear in Math. Ann.
[16] F. Andreu, N. Igbida, J.M. Mazon and J. Toledo, A degenerate elliptic-
parabolic problem with nonlinear dynamical boundary conditions. Interfaces
Free Bound. 8 (2006), 447479.
[17] F. Andreu, N. Igbida, J.M. Maz on and J. Toledo, L
1
existence and
uniqueness results for quasi-linear elliptic equations with nonlinear boundary
conditions. Ann. Inst. H. Poincare Anal. Non Lineaire 24 (2007), 6189.
[18] F. Andreu, N. Igbida, J.M. Maz on and J. Toledo, Renormalized solutions
for degenerate elliptic-parabolic problems with nonlinear dynamical boundary
conditions and L
1
-data. J. Dierential Equations 244 (2008), 27642803.
[19] F. Andreu, J.M. Mazon and S. Moll, The Total Variation Flow with
Nonlinear Boundary Conditions. Asymptotic Analysis 43 ( 2005), 9- 46.
[20] F. Andreu, J.M. Mazon, S. Segura and J. Toledo, Quasi-linear elliptic and
parabolic equations in L
1
with nonlinear boundary conditions. Adv. in Math
Sci. and Appl. 7, (1997), 183-213.
[21] F. Andreu, J.M. Mazon, S. Segura and J. Toledo, Existence and uniqueness
of solutions for a degenerate parabolic equation with L
1
-data. Trans. Amer.
Math. Soc. 351(1999), 285-306.
[22] F. Andreu, J.M. Mazon and J. Toledo, Asymptotic behaviour of solutions of
quasi-linear parabolic equations with non-linear ux. Comput. Appl. Math.
17(1998),203-217.
[23] F. Andreu, J.M. Mazon, J Rossi and J. Toledo, The Neumann problem for
nonlocal nonlinear diusion equations. J. Evol. Equ. 8 (2008), 189215.
[24] F. Andreu, J.M. Mazon, J Rossi and J. Toledo, A nonlocal p-Laplacian
evolution equation with Neumann boundary conditions. J. Math. Pures Appl.
90 (2008), 201227.
[25] F. Andreu, J.M. Mazon, J Rossi and J. Toledo, A nonlocal p-Laplacian
evolution equation with nonhomogeneous Dirichlet boundary conditions.
SIAM J. Math. Anal. 40 (2009), 18151851.
[26] F. Andreu, J.M. Mazon, J Rossi and J. Toledo, The limit as p in
a nonlocal pLaplacian evolution equation. A nonlocal approximation of a
model for sandpiles. Calc. Var. Partial Dierential Equations. 35, (2009),
279316.
38 J.M. Mazon
[27] F. Andreu, J.M. Mazon, J Rossi and J. Toledo, Evolution problems with
nonlocal diusion. Aceptado para su publicacion Mathematical Surveys and
Monographs (AMS).
[28] G. Anzellotti, Pairings Between Measures and Bounded Functions and
Compensated Compactness, Ann. di Matematica Pura ed Appl. IV (135)
(1983), 293-318.
[29] G. Aronsson, L. C. Evans and Y. Wu. Fast/slow diusion and growing
sandpiles. J. Dierential Equations, 131 (1996), 304335.
[30] V. Barbu, Nonlinear Semigroups and Dierential Equations in Banach
Spaces. Noordho International Publisher, 1976.
[31] Ph. Benilan, Equations devolution dans un espace de Banach quelconque
et applications, These Orsay, 1972.
[32] Ph. Benilan, L. Boccardo, Th. Gallouet, R. Gariepy, M. Pierre and J.L.
Vazquez, An L
1
-Theory of Existence and Uniqueness of Solutions of
Nonlinear Elliptic Equations Ann. Sc. Norm. Sup. Pisa 22 (1995), 241-273.
[33] Ph. Benilan and M.G. Crandall, Completely Accretive Operators, in
Semigroups Theory and Evolution Equations, Ph. Clement et al. editors,
Marcel Dekker, 1991, pp. 41-76.
[34] Ph. Benilan, M.G. Crandall and A. Pazy, Evolution Equations Governed
by Accretive Operators, Forthcoming.
[35] H. Brezis, Operateurs Maximaux Monotones. North Holland, Amsterdam,
1973.
[36] H. Brezis and A. Pazy. Convergence and approximation of semigroups of
nonlinear operators in Banach spaces. J. Functional Analysis, 9 (1972), 63
74.
[37] M.G. Crandall, Semigroups of Nonlinear Transformations in Banach
Spaces. In Contribution to Nonlinear Functional Analysis (E.H.
Zarantonello, ed.) Academic Press, New York 1971, 149-179.
[38] M.G. Crandall, The semigroup approach to rst order quasilinear equations
in several space variables. Israel J. Math. 12 (1972), 108132.
[39] M.G. Crandall, Nonlinear Semigroups and Evolution Governed by Accretive
Operators. In Proceeding of Symposium in Pure Mat., Part I (F. Browder,
ed.) A.M.S., Providence 1986, 305-338.
[40] M.G. Crandall and T.M. Liggett, Generation of Semigroups of Nonlinear
Transformations on General Banach Spaces. Amer. J. Math. 93 (1971),
265-298.
Ecuaciones en derivadas parciales gobernadas por operadores acretivos 39
[41] M.G. Crandall and P.L. Lions, Viscosity solutions of Hamilton-Jacobi
equations. Trans. Amer. Math. Soc. 277 (1983), 142.
[42] G. Duvaut and J. L. Lions. Inequalities in mechanics and physics. Springer-
Verlag, Berlin, 1976.
[43] Y. Komura, Nonlinear Semigroups in Hilbert Spaces. J. Math. Soc. Japan
19 (1967), 493-507.
[44] G. Minty, Monotone (nonlinear) operators in Hilbert space. Duke Math.
29 (1962), 341-346.
[45] G.F. Webb, Continuous nonlinear perturbations of linear accretive
operators in Banach spaces. J. Funct. Anal. 10 (1972), 191-203.