Professional Documents
Culture Documents
Universidad de Granada
Departamento de Anlisis Matemtico
E CUACIONES ELPTICAS Y
Candidato al grado
de Doctor Europeo
en Ciencias Matemticas
Vo Bo del director
Vo Bo del director
A mi familia
ndice general
Introduction
III
Introduccin
XIII
1
1
6
9
9
14
23
25
26
28
35
61
63
70
73
73
78
17
40
42
45
54
57
II
Ph. D. Thesis
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
82
86
87
88
93
93
97
98
101
101
101
101
106
106
107
107
107
107
108
108
111
Introduction
In this manuscript it is studied a suitable class of non linear elliptic and parabolic
problems with quadratic growth in the gradient. This sort of problems arises naturally
in the classic Calculus of Variations. For example, if we consider the following functional
Z
Z
1
2
J(v) =
a(v)|v|
f v,
2
where a is a sufcient smooth, elliptic and bounded function (i.e., there exist constants
0 < such that ||2 a(s) and |a(s)| for all s R) and f L2 (), the
Euler-Lagrange equation associated is
1
div a(v)v + a (v)|v|2 = f .
2
The study of critical points of the functional J is corresponded with the study of the
existence of solution for a quasilinear problem with quadratic growth in the gradient.
1
As we can observe in the previous equation the lower order term 2 a (v)|v|2 contains
the gradient with quadratic dependence.
Following the terminology of Kazdan and Kramer [57], we say that the quadratic
growth in u of the non linear differential operator in the previous equation is natural. There are several reasons (additionals to those in Calculus of Variations) that can
explain this expression. In rst place, the class of equations with quadratic growth in
the gradient is invariant to non-linear changes of variable v = F(u) (F C1 ). This is in
stark contrast to what occurs for the semilinear equation u = f (x, u) and we again
think that equations with quadratic growth constitute the right framework, both from
the viewpoint of applications as well as from the purely mathematical. On the other
hand, we must remember the non existence result by Serrin, specically Theorem 1
of Chapter III.16 in [88], when the growth in u is faster than quadratic at innity.
Specically, he proved that given any smooth domain there are smooth data for which
the Dirichlet problem has no solution.
Regarding the literature there are several papers about the existence and non existence of solutions for the elliptic model problem
u + g(u)|u|2 = f in ,
u = 0 on ,
III
(1)
IV
Ph. D. Thesis
ut u + g(u)|u|2 = f
u(x, 0) = u0 (x)
u(x,t) = 0
in Q,
in ,
(2)
on (0, T ).
Again, the problem (2) was largely studied if g is bounded and continuous on R
and many results concerning existence, nonexistence and regularity of the solution
have been obtained depending on the regularity of the data and on the growth of g at
innity. We remark the works by Blanchard and Porretta [22], Boccardo, Murat and
Puel [33], DallAglio and Orsina [42] and Porretta [81] and references therein.
In the case that f L2 ((0, T );W 1,2 ()) and u0 L2 (), the problem (2) was
studied in [33], where the authors proved the existence of a weak solution in the distributional sense in Q. In [42] the authors studied the case in which f only belongs to
L1 (Q) and u0 = 0 if there exists > 0 such that g(x,t, s, )sign(s) ||2 for all s R.
1
Thanks to that assumption the solution belongs to L2 (0, T ; H0 ()) (an extension to the
1 () was given in [81]), so that the extra term g(x,t, s, ) may
case if u0 belongs to L
actually improve the standard regularity for the initial boundary value problems in L1
without lower order terms. See also [4] (and the preceding work [5]) for the case in
which a nonlinear term is considered in the right hand side.
Introduction
The principal novelty of this manuscript is the study of the quasilinear elliptic
and parabolic problems with natural growth in the gradient and a non linearity with a
singularity at 0. It can be observed in the previous example of Calculus of Variations if
we consider functions with unbounded derivative in zero. For example, if we consider
now the functional J with a(v) = 1 + |v|1 and f Lq (), q > N , (0, 1). A purely
2
formal computation shows that the Euler-Lagrange equation associated should be
div (1 + |u|1 )u +
1 u
|u|2 = f .
2 |u|1+
Observe that it is a non linear elliptic equation with quadratic growth in the gradient
and singular at u = 0.
The case of a singular function g appears if some applications are described by
equations. For instance, we can mention the study of growth patterns in clusters and
fronts of solidication (see the work by Kardar, Parisi y Zhang [56] (growth of tumors,
Berestychi, Kamin y Sivashinsky [21] for the sutdy of ame propagation ) and the
study of groundwater ow in a water-absorbing ssurized porous rock was dealt by
Barenblatt, Bertsch, Chertock y Protokishin [17].
Therefore, it is natural to consider more general singular problems with variational
structure or not. This type of problems has been studied very little in the current literature in a natural way we will study it in the present manuscript, both in elliptic and
parabolic case. A simple model is g(s) = s1 , is that to say
|u|2
u + = f in ,
(3)
u
u = 0 on .
Concretely, we look for a ditributional solution for the problem (3), i.e. a function
|u|2
is in L1 ()
u W01,1 () that veries u > 0 almost everywhere in , such that
u
and
Z
Z
Z
|u|2
u +
=
f , 0 Cc ().
u
1
If moreover u H0 (), we say that u is a nite energy solution for problem (3). We
will determine the optimal range of > 0 for which solutions exist.
Also we consider the parabolic version of these problems. Is that to say, we study
the problem
ut u + |u| = f in Q,
u
(4)
in ,
u(x, 0) = u0 (x)
u(x,t) = 0
on (0, T )
Z T
u0 (0)
t , u +
u +
Q
|u|2
=
Q u
f ,
Q
VI
Ph. D. Thesis
1
for every L2 (0, T ; H0 ()) L (Q) with t L2 (0, T ; H 1 ()) and (T ) = 0.
To study the problems (3) and (4) (or their more general versions) we divide the
manuscript in several Chapters. In Chapter 1 we introduce the notation and we enumerate some basic properties of the boundary value problems. We make a review on
some preliminary tools and basic results of the spaces of functions with values in a
Banach space that is one of the most important tool to deal with evolution problems.
Moreover, we analyze some fundamental aspects of the boundary value problems such
as the comparison principle and uniqueness (we extend to the evolutive case the comparison pronciple proved by Arcoya and Segura de Len [13]), regularity and a priori
estimates.
Chapter 2 is dedicated to the study of singular elliptic problems. This study was
initiated in [12], where we proved the existence of solution for the problem (3) for
0 < 1 and with datum f verifying
def
(5)
Later we improve the existence of solution in [6] for the problem (3) in the case that g
also can change of sign and f belongs to a better space. Moreover, the corresponding
obstacle problem (variational inequality) has been dealt in [9]. Finally in [8] we have
proved a necessary and sufcient condition about for the existence of solution.
Theorem 1. Problem (3) has a nite energy solution for every f Lq () (q >
satisfying (5) if and only if < 2.
2N
N+2 )
Introduction
VII
In sight of the non existence result and of the used technique for the existence, the
natural question that arises is to know what occurs with the sequence of approximated
solutions in the case 2. In that sense, we prove that if > 2 the solutions vn of the
following approximated problems
vn + |vn | = f in ,
1
vn + n
vn = 0 on ,
converge to zero.
At the same time that we carried out our study about the problem (3), other authors
have realized several works of a parallel and independent form. Giachetti and Murat
[49] study a slightly different singular problem. Namely, if {u>0} denotes the characteristic function of the set {x : u(x) > 0}, 0 f L (), R and , > 0, the
differential equation
div (M(x, u)u) + u +
|u|2
{u>0} = f en
u
1
is considered. The given results about existence of nonnegative solutions in H0 ()
depend on . Indeed, existence is proved for every R if < 1, while the case 1
requires that < 0. Thus, if 1 we have that the term with quadratic dependence in
u is negative (i.e., in some sense, the opposite assumption with respect to the sign
condition). In this direction, result for similar equations can be also found in [51] and
[84].
Otherwise, in an interesting work [24], Boccardo manages to eliminate the requirement of the condition (5). Concretely, he deals the following problem
|u|2
u + = f in ,
(6)
u
u = 0 on .
In this case ( = 1), in [24] the author proves that the limit of the approximated
sequence is strictly positive if > 1 and to deduce that such limit is the solution of
our problem (6) it is required that > 2. We establish that un are uniformly away from
zero in every compact set in assuming only that > 1. This improvement allows us
to prove the convergence of the approximated solutions to a solution of (6).
VIII
Ph. D. Thesis
This theorem will be consequence of Theorem 3.1.1 of Chapter 3 where we consider more generals operators and non linearities g. Moreover, such non linearities can
change of sign.
The proof is based on an approximation and compactness argument where the
key role is again played by a uniform local estimate from below of the approximating sequence of solutions that we will deduce thanks to a result of Leoni and Pellacci [66]. Specically the approximation of g(s) = s1 by continuous functions gn and
these non singular problems obtained for gn fall into the framework studied by J.L.
Lions [72]. So, we can deduce the existence of solution un . We need estimates of un in
1
L2 (0, T ; H0 ()) that we obtain of [72] and in L (Q) by Aronson and Serrin [15]. In
order to pass to the limit and to obtain that un converges to a solution u of (4), we use a
compactness argument of Aubin and Simon [89] and the uniform local estimate from
below.
Furthermore, thanks to the comparison principle, that we prove in Chapter 1, for
the problem (4) with 0 < < 1 (see Theorem 1.3.16) we study the large time behavior
of the solutions of problem (4) as t goes to innity. We establish a stability result
of parabolic solutions of the problem (4) toward the stationary solution of the same
problem (see Theorem 3.3.1) using some techniques that Leonori and Petitta have
introduced in [80].
We will study in Chapter 4 the existence of continua of solutions for quasilinear
2N
problems with quadratic gradient. Concretely, let 0 p < N+2 and 0 f0 L N+2 ().
N2
We study [11] the boundary value problem
u + g(u)|u|2 = u p + f0 (x) in ,
u=0
(7)
on ,
for a suitable non negative continuous function g : (0, +) [0, +). We say that
1
u H0 () is a positive solution for (7) if u > 0 a.e. x , g(u)|u|2 L1 () and
Z
u +
Z
2
g(u)|u| =
Z
p
u +
f0 ,
1
H0 () L ().
(8)
Observe that, in our case, the right hand side of the equation in (7) is linear if
and only if p = 1. This case has been studied by Abdellaoui, Peral and Primo [2]
for g 1. They prove existence of a positive solution for every [0, +) provided
that f0 0. Compare this result with the semilinear case (g 0) where existence of
positive solution requires to be smaller than the rst eigenvalue 1 of the Laplacian
operator with zero Dirichlet boundary conditions. In this way, the authors stressed that
Introduction
IX
the quadratic term in the gradient produces a strong regularizing effect and break down
any resonance effect of the linear zero-order term.
To our knowledge, the case in which the (non-variational) differential operator is
confronted with a nonlinear right hand side has been less studied [78, 86]. See also the
works by Arcoya and Boccardo [7], Canino [38] and the references therein for the case
of variational differential operators. If f0 0, g is continuous in [0, +) and p > 1, it
is shown by Orsina and Puel [78] that the behavior of g at innity has also an effect
on the positive solution set. Specically, the authors use a suitable change of variable
which reduces the quasilinear equation to a semilinear one and thus they prove that if
g L1 (0, +) then there exists positive solution for every > 0, while if g(t)t q > p
for t >> 1, then there exists positive solution for > 0 large enough and no positive
solution if > 0 is sufciently small.
One of the our main purposes is to provide a common framework (based on topological methods) which handles the previous results and helps us to understand the
true role of the different hypotheses imposed on the behavior of the non linearity g,
revealing the different effects that take place in the solution set according as p = 1 or
p = 1, f0 0 or f0 0. As a particular case of our results we will show that even in
the case p = 1, the behavior of g at innity has a role in the solution set, for example,
no strong regularizing effect is obtained for functions g which are sufciently small
at innity although some differences with respect to the semilinear case are shown.
This is not the case if p < 1 since the positive solution set for g 0 behaves like in the
semilinear case g 0. Finally, if p > 1 and f0 0, the behavior of g at innity is again
determinant to have some kind of regularizing effect.
Furthermore, another of the our goals is to extend the above results to handle,
in addition to the case of continuous functions g on [0, +), the case of functions
g : (0, +) [0, +) which may be singular at zero. Specically, to unify both cases:
the continuous and the singular ones, we assume the following hypothesis:
(G) Either the function g 0 is continuous in [0, +) or g 0 is continuous in
(0, +), decreasing and integrable in a neighborhood of zero with the property
lims0 g(s) = +.
1
1
In this way, we can consider the operator K : R H0 () H0 () by dening, for
1 (), K(, w) as the unique solution u in H 1 () of
every R and for every w H0
0
the problem
u + g(u)|u|2 = + w+ (x) p + f0 (x) in ,
u=0
on .
Indeed, in the case that g is singular at zero with 0 f0 L2N/(N+2) () the existence
is due to [24] and the uniqueness to [13]. Moreover, if g is continuous at zero, the
existence and uniqueness results remain also true in the case f0 0. With this notation,
(7) can be rewritten as a xed point problem, namely,
u = K (u),
with K (u) = K(, u).
Compare this approach with this one in the recent work by Ruiz and Surez [86],
for g 1 and a logistic nonlinearity, where the authors cleverly combine regularity in
Ph. D. Thesis
C1 () with the properties of the inverse ()1 of the Laplacian operator in C() in
order to use bifurcation techniques. Unfortunately, this idea does not work in the case
g singular at zero by the lack of regularity.
We will prove the compactness of K which allows us to apply the Leray-Schauder
degree techniques to study the existence of continua of solutions of (7), i.e. connected and closed subsets in the solution set
1
{(, u) R H0 () : u = K (u)}.
It has been remarked that, following the original work by Leray and Schauder [70],
the computation of the degree of the operators K will be carried out by constructing
suitable homotopies with a linear operator (the Laplacian one), reducing in this way
the study of the quasilinear problem (7) to a linear one.
It is in this unied functional framework that we work and we obtain our results
that we present here for a simple nonlinearity f (, x, s) = s p and g(x, s) independent
on x , although most of them hold true for a suitable perturbation of them. To be
more specic, in the case p = 1 we give sufcient conditions on g to have, as in the
semilinear case, existence of solution for a bounded interval of values of the parameter
. Roughly speaking, those conditions are related to how far from zero we can take g
in order to remain true the semilinear type result. On the other hand, we also prove
a regularizing effect, that is, existence of solution in an unbounded interval of values
for the parameter provided that g is sufciently far from zero.
2N
Theorem 4. Assume p = 1, 0
Rs
r
s
g(t)dt dr
0 ,
s > s0 ,
(9)
then there exist , > 0 such that (7) has no solution for > and admits a
positive solution for every [0, ).
2. (Regularizing effect) If there exist s1 , c > 0, and < 1 such that
g(s)
c
,
s
s s1 ,
(10)
2N
Introduction
XI
i) If condition (10) holds with 0 < 2 p, then problem (7) admits a positive
solution for every [0, +).
ii) If there are s0 , 0 > 0 such that
Rs
0
sp
Rs
g(t)dt dr
0 ,
s > s0 ,
(11)
then there exist , > 0 such that (7) admits a positive solution for every
[0, ) and admits no solution for > .
If g is continuous in zero, we can handle the case f0 0 and to obtain the following
result.
Theorem 7. Assume f0 0 and suppose that g 0 is continuous in the interval
[0, +).
1. (No regularizing effect) If p = 1 and (9) holds then there exist , > 1 such
that (7) has no solution for > and admits a positive solution for every
(1 , ).
2. (Regularizing effect) If p = 1 and (10) holds then (7) admits a positive solution
if and only if > 1 .
3. If 0 p < 1, then (7) admits a positive solution for every (0, +).
4. If p > 1 and there is a continuous non positive function h L1 (0, +) such that
p
g(s) h(s) + ,
s
s 1,
(12)
then there exists > 0 such that (7) has no solution for > .
We remark that cases (1)-(3) of the above result are new, while (4) is a slight
improvement of [78] where it is required g(s) > q/s for large s, with q > p.
XII
Ph. D. Thesis
Introduccin
en ,
en ,
(1)
XIV
Tesis Doctoral
ut u + g(u)|u|2 = f
u(x, 0) = u0 (x)
u(x,t) = 0
en Q,
en ,
(2)
en (0, T ).
Introduccin
XV
|u|2
u + = f en ,
(3)
u
u = 0 en .
Es decir, g(s) = s1 . Concretamente, buscamos una solucin distribucional del problema (3), es decir una funcin u W01,1 () que verica u > 0 en casi todo punto en ,
|u|2
tal que
est en L1 () y
u
Z
u +
|u|2
=
f ,
0 Cc ().
1
Si adems u H0 (), decimos que u es una solucin de energa nita para el problema
(3). Determinaremos el rango ptimo de > 0 para el cual existe solucin.
Tambin consideramos la versin parablica de estos problemas. Es decir, estudiamos el problema
ut u + |u| = f en Q,
u
(4)
en ,
u(x, 0) = u0 (x)
u(x,t) = 0
en (0, T )
XVI
Tesis Doctoral
Z T
u0 (0)
t , u +
u +
Q
|u|2
=
Q u
f ,
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()) y (T ) = 0.
Para llevar a cabo el estudio de los problemas (3) y (4) (o sus versiones ms generales) dividimos la memoria en varios Captulos. En el Captulo 1 introducimos la
notacin detallando algunas propiedades bsicas a la hora de estudiar los problemas
de contorno. Recordamos algunas caractersticas de los espacios de funciones con valores en un espacio de Banach, ya que los problemas de evolucin estarn planteados
en este marco funcional. Adems, analizamos algunos aspectos fundamentales de los
problemas de contorno como son el principio de comparacin y unicidad (extendemos
al caso evolutivo el principio de comparacin probado por Arcoya y Segura de Len
[13]), regularidad y estimaciones a priori.
El Captulo 2 se dedica al estudio de los problemas elpticos singulares. Dicho
estudio fue iniciado en [12], donde probamos la existencia de solucin del problema
(3) para 0 < 1 y con el dato f vericando
def
(5)
Introduccin
XVII
vn + |vn | = f en ,
vn + 1
n
vn = 0 en ,
convergen a cero.
A la vez que realizbamos nuestro estudio de (3), otros autores han llevado a cabo
varios trabajos de una forma paralela e independiente. Giachetti y Murat [49] estudian
un problema singular ligeramente diferente. Si {u>0} denota la funcin caracterstica
del conjunto {x : u(x) > 0}, 0 f L (), R y , > 0, consideran la
ecuacin diferencial
div (M(x, u)u) + u +
|u|2
{u>0} = f en .
u
1
Sus resultados sobre la existencia de soluciones no negativas en H0 () dependen de .
De hecho, se prueba la existencia para cada R si < 1, mientras que el caso 1
requiere que < 0. De este modo, si 1 el trmino con dependencia cuadrtica
en u es negativo (es decir, en algn sentido la hiptesis contraria a la condicin
de signo). En este ambiente, varios autores han obtenido resultados para ecuaciones
similares, concretamente Giarrusso y Porru [51] y Porru y Vitolo [84].
De otra parte, en un interesante trabajo [24], Boccardo ha conseguido eliminar el
requerimiento de la condicin (5). Concretamente, ha tratado el siguiente problema
|u|2
u + = f en ,
(6)
u
u = 0 en .
XVIII
Tesis Doctoral
2N
Teorema 2. Sea 0 f Lq () con q N+2 y f 0 en y suponemos que > 1.
1
Entonces para = 1 existe solucin dbil u H0 () del problema de Dirichlet (6).
En este caso ( = 1), en [24] el autor prueba que el lmite de la sucesin aproximante es estrictamente positivo si > 1 y para deducir que dicho lmite es la solucin
del problema (6) necesita imponer que > 2. Nosotros establecemos que un estn uniformemente lejos de cero en cada abierto compactamente contenido en imponiendo
slo que > 1. Esta mejora nos permite probar la convergencia de las soluciones
aproximadas a una solucin de (6).
En el Captulo 3 de la memoria estudiamos la existencia de solucin de problemas casilineales parablicos que presentan un lower order term singular con crecimiento natural en el gradiente. Consideramos el problema (4) con el dato f siendo
Lr -integrable en (0, T ) y con valores en Lq () para ciertos r, q. Sobre el dato inicial
u0 L () impondremos (5). Especcamente, nuestro resultado de existencia para
el problema modelo es el siguiente.
1
2
+
< 1, q 1, r > 1, u0 L ()
r Nq
y f y u0 satisfacen (5). Entonces si < 2 el problema (4) admite una solucin en
1
L2 (0, T ; H0 ()) L (Q).
Teorema 3. Sea f Lr (0, T ; Lq ()) con
Como antes en el Captulo 2, este teorema ser consecuencia del Teorema 3.1.1 del
Captulo 3 donde consideramos operadores y no linealidades g ms generales. Adems,
dichas no linealidades pueden cambiar de signo.
La prueba est basada en un argumento de aproximacin y compacidad en el que,
de nuevo, la clave es una estimacin local inferior uniforme de la sucesin de soluciones aproximadas y que deduciremos gracias a un resultado de Leoni y Pellacci
[66]. Especcamente la aproximacin de g(s) = s1 por las funciones continuas gn nos
lleva ahora a problemas parablicos no singulares que caen en el marco clsico estudiado por J.L. Lions [72] y podemos deducir la existencia de solucin un . Necesitamos
1
estimaciones de un en L2 (0, T ; H0 ()) que obtenemos de [72] y en L (Q) debidas a
Aronson y Serrin [15] . Para pasar al lmite, y obtener que un converge a una solucin
u de (4), usamos un argumento de compacidad de Aubin y Simon [89] y la estimacin
local inferior uniforme.
Adems, gracias al principio de comparacin que hemos probado en el Captulo 1
para el problema (4) con 0 < < 1 (vase el Teorema 1.3.16) estudiamos el comportamiento asinttico de las soluciones del problema (4) cuando la variable temporal t
tiende a innito. Es decir, establecemos un resultado de estabilidad de las soluciones
del problema parablico (4) a la solucin estacionaria del mismo problema (vase el
Teorema 3.3.1). Para ello adaptamos algunas tcnicas introducidas por Leonori y Petitta [80].
Dedicamos el Captulo 4 de la memoria a estudiar la existencia de continuos de
soluciones para problemas casilineales con gradiente cuadrtico. Concretamente, sea
2N
N+2
un subconjunto abierto y acotado de RN (N 3), 0 p < N2 y 0 f0 L N+2 ().
Estudiamos [11] el problema de contorno
u + g(u)|u|2 = u p + f0 (x) en ,
u=0
en ,
(7)
Introduccin
XIX
g(u)|u|2 =
u +
up +
f0 ,
1
H0 () L ().
(8)
Observamos que, en nuestro caso, el trmino de la derecha de la ecuacin del problema (7) es lineal si y solo si p = 1. Abdellaoui, Peral y Primo en [2] estudiaron este
caso para g 1. Probaron la existencia de una solucin positiva para cada [0, +)
si f0 0. Notamos que en el caso semilineal (g 0) se tiene el resultado de existencia de solucin positiva si es ms pequeo que el primer autovalor 1 del operador
Laplaciano con condiciones de Dirichlet en la frontera. En este sentido, los autores
remarcan que el trmino cuadrtico en el gradiente produce un efecto fuertemente regularizante y rompe cualquier efecto de resonancia que pudiera tener el trmino lineal
de orden cero.
A nuestro parecer, el caso en el que el operador diferencial (no-variacional) tiene
un trmino no lineal a la derecha ha sido menos estudiado [78, 86]. Vanse tambin
los trabajos de Arcoya y Boccardo [7], Canino [38] y las referencias contenidas para
el caso de operadores diferenciales variacionales. Si f0 0, g es continua en [0, +) y
p > 1, Orsina y Puel [78] mostraron que el comportamiento de g en innito tiene tambin efecto sobre el conjunto de soluciones positivas. Especcamente, los autores usan
un cierto cambio de variable el cual reduce la ecuacin casilineal a una semilineal y
prueban que si g L1 (0, +) entonces existe solucin positiva para cada (0, +),
mientras que si g(t)t q > p para t >> 1, entonces existe solucin positiva para > 0
sucientemente grande, y no existe solucin positiva si > 0 es sucientemente pequeo.
Uno de los principales objetivos es proporcionar un marco comn (basado en mtodos topolgicos) a los resultados previos y entender el verdadero juego de las diferentes
hiptesis que imponemos a la no linealidad g, analizando los diferentes efectos que
se producen en el conjunto de las soluciones positivas cuando consideramos p = 1 o
p = 1, f 0 o f0 0. Como un caso particular de nuestros resultados mostraremos que
incluso en el caso p = 1, el comportamiento de g en innito juega un papel destacado
en el conjunto de las soluciones, por ejemplo, no obtenemos un efecto fuertemente
regularizante para funciones g las cuales son sucientemente pequeas en innito
aunque mostramos algunas diferencias respecto al caso semilineal. Esto no es el caso
de p < 1 puesto que el conjunto de soluciones positivas para g 0 se comporta como
en el caso semilineal g 0. Finalmente, si p > 1 y f0 0, el comportamiento de g en
innito es de nuevo determinante para tener algn tipo de efecto regularizante.
Asimismo, otro de nuestros objetivos es extender los resultados previos, abarcando
adems de funciones g continuas en [0, +), el caso g : (0, +) [0, +) tal que
las funciones g puedan tener una singularidad en cero. Concretamente, para unicar
ambos casos: el continuo y el singular, imponemos la siguiente hiptesis:
(G) La funcin g 0 es continua en [0, +) o g 0 es continua en (0, +), decreciente e integrable en un entorno de cero con lims0 g(s) = +.
1
1
De esta manera, podemos considerar el operador K : RH0 () H0 () denien1 (), K(, w) como la nica solucin u en
do, para cada R y para cada w H0
XX
Tesis Doctoral
1
H0 () del problema
en .
Remarcamos que el clculo del grado, siguiendo el trabajo original de Leray y Schauder [70], para operadores K lo realizaremos construyendo ciertas homotopas con un
operador lineal (el Laplaciano), reduciendo as el estudio del problema casilineal (7)
al caso lineal.
Este es el marco funcional en el que trabajamos y presentamos nuestros resultados
para una no linealidad simple f (, x, s) = s p y g(x, s) independiente de x , aunque
la mayora de ellos son ciertos para funciones ms generales como pondremos de maniesto. Concretamente, en el caso p = 1 damos condiciones sucientes sobre g para
obtener, como en el caso semilineal, existencia de solucin para un intervalo acotado
del parmetro . Hablando formalmente, dichas condiciones nos ponen de maniesto
como de lejos debemos tomar g para que siga siendo cierto el resultado del caso semilineal. Por otro lado, tambin probamos un efecto regularizante, es decir, existencia
de solucin para un intervalo no acotado de valores del parmetro suponiendo que g
est sucientemente lejos de cero.
Teorema 4. Supongamos que p = 1, 0
(G).
2N
Rs
r
s
g(t)dt dr
0 ,
s > s0 ,
(9)
entonces existe , > 0 tal que (7) no tiene solucin para > y admite
solucin positiva para cada [0, ).
Introduccin
XXI
c
,
s
s s1 ,
(10)
entonces (7) admite una solucin positiva para cada [0, +).
Observamos que existe un hueco entre las condiciones (9) y (10) ya que, por ejemc
plo, la funcin g(s) =
con c 1 no verica (9) ni (10).
s+1
En el caso 0 p < 1 mostramos que el comportamiento de g en innito no inuye
en el conjunto de soluciones y tenemos existencia de solucin para cada (0, +).
2N
sp
Rs
g(t)dt dr
0 ,
s > s0 ,
(11)
entonces existe , > 0 tal que (7) admite una solucin positiva para cada
[0, ) y no admite solucin para > .
Si g es continua en cero, podemos abarcar el caso f0 0 y obtener el siguiente
resultado.
Teorema 7. Supongamos que f0 0 y que g 0 es continua en el intervalo [0, +).
1. (Sin efecto regularizante) Si p = 1 y se verica (9) entonces existe , > 1
tal que (7) no tiene solucin para > y admite una solucin positiva para
cada (1 , ).
2. (Efecto regularizante) Si p = 1 y se verica (10) entonces (7) admite una solucin positiva si y solamente si > 1 .
3. Si 0 p < 1, entonces (7) admite una solucin positiva para cada (0, +).
4. Si p > 1 y hay una funcin continua no positiva h L1 (0, +) tal que
p
g(s) h(s) + ,
s
s 1,
(12)
entonces existe > 0 tal que (7) no tiene solucin para > .
Remarcamos que los casos (1)-(3) del resultado anterior son nuevos, mientras que
(4) es una pequea mejora de [78] donde se requiere que g(s) > q/s para s grande, con
q > p.
XXII
Tesis Doctoral
Captulo
1.1.
L p ()
1
p
|u| dx
< ,
L ()
u
o uxi su derivada parcial en la direccin xi denida
xi
en el sentido de las distribuciones, que es
Para u L p () denotamos por
uxi , =
uxi dx,
Cc () ,
W 1,p ()
= u
L p () +
L p () ,
p
es el exponente conjugado de Hlder de p.
p1
Para cada 0 < p < , introducimos el espacio de Marcinkiewicz M p () (o espacio de
Lebesgue dbil) de las funciones medibles v : R tales que existe c > 0, con
c
(1.1.1)
meas{x : |v(x)| k} p , k > 0 .
k
El espacio M p () es un espacio de Banach, y se le dota con la pseudo-norma
L p (), donde p =
p
M p ()
Puesto que es acotado, para p > 1 tenemos los siguientes embebimientos continuos
L p () M p () L p (),
(1.1.2)
L p ()
C u
(L p ())N
u W01,p () .
L p ()
S u
(L p ())N
L p ()
: u
1
H0 ()
= 1}.
p
p1
tenemos:
ab
ap bp
+
p
p
a, b > 0.
Desigualdad de Hlder.
Para 1 < p < , p =
p
p1 ,
f gdx
1
p
| f | dx
|g| dx
1
p
fn gn dx =
limn
f gdx.
limn
q>1:
fn
Lq ()
n.
Entonces
fn f
Lema de Fatou.
Sea 1 p < , y { fn } L p () una sucesin tal que
fn f a.e. en ,
fn h(x) con h(x) L1 (),
entonces
f dx lim infn
fn dx.
fn f a.e. en ,
Z
fn dx =
limn
f dx.
limmeas(E)0
Entonces f pertenece a
L p ()
(1.1.3)
| fn | p dx = 0.
Teorema de Egorov.
Sean { fn } L1 (), {gn } L () sucesiones tal que
fn f dbilmente en L1 (),
gn g dbil- en L () y a.e. en .
Entonces
Z
fn gn dx =
limn
f gdx.
Observacin 1.1.1. Nos referiremos a la propiedad (1.1.3) como la equiintegrabilidad de la sucesin {| fn | p }. Recordamos que el teorema de Dunford-Pettis asegura que
la sucesin { fn } L1 () es dbilmente convergente en L1 () si y slo si es equiintegrable.
Usaremos a menudo el siguiente resultado debido a G. Stampacchia.
Teorema 1.1.2. Sea G : R R una funcin Lipschitziana tal que G(0) = 0. Entonces
para cada u W01,p () tenemos que G(u) W01,p () y G(u) = G (u)u en casi todo
punto en .
Demostracin. Ver [91].
Una consecuencia importante del resultado anterior es que, para cada c R tenemos
u = 0 a.e. en Fc = {x : u(x) = c}.
(1.1.4)
Adems, podemos considerar la composicin de funciones en W01,p () con algunas
funciones auxiliares de variable real. Una de las ms usadas en esta memoria es la
funcin truncadura.
Denicin 1.1.3. Para k > 0, usaremos los smbolos Tk y Gk para denotar a las funciones reales dadas por
k, s k,
s, k s k,
y Gk (s) := s Tk (s), s R.
Tk (s) :=
k, s k,
Tk (s)
Gk (s)
-k
-k
-k
fuertemente en L p () cuando n .
De hecho, por (1.1.4) sabemos que T j (u) = 0 en casi todo punto en {|u| j}, lo cual
junto con la convergencia en casi todo punto de un implica que {|un |> j} |T j (u)| converge en casi todo punto a cero en . El teorema de Lebesgue prueba dicha propiedad.
Adems, denotamos por u+ = m x {u, 0} y u = mn {u, 0}.
a
s+
Notamos por (s) = ses , > 0 (como en [32]); en lo que sigue usaremos que
para cada a, b > 0 tenemos
1
1
a
a (s) b| (s)| ,
(1.1.5)
2
b
si > 4a2 . Denotamos por (n) cualquier cantidad que tiende a 0 cuando n diverge y
por (, n) cualquier cantidad positiva tal que
dx
x
R
< +,
a > 0,
(1.1.6)
h(z) dz
vericando
f (u) h(u),
u > 0.
Dicha condicin fue introducida en [58, 79] para el estudio del problema
u = k(x)u p , in
lim dist(x,)0 u(x) = +,
donde k L () y p > 1.
Observaciones 1.1.5.
1. De hecho, en [58], la condicin era ms restrictiva ya que
en lugar de (1.1.6), se impona
+
Z
dx
x
R
< +.
h(z) dz
dx
x
R
< +,
a > 0.
h(z) dz
1.2.
anj A
n
j
j=1
L p (a,b;V )
u
a
p
V
1
p
< ,
dt
L (a,b;V )
= sup u
< .
[a,b]
Por supuesto que ambos espacios se entienden como cocientes, como es usual, con
respecto a la equivalencia en casi todo punto. Se pueden encontrar estas propiedades
en [43].
Recordemos que, para 1 p , L p (a, b;V ) es un espacio de Banach, adems si
para 1 p < y V , el espacio dual de V , es separable, entonces el espacio dual de
L p (a, b;V ) se puede identicar con L p (a, b;V ).
En lo que concierne a esta memoria V ser principalmente el espacio de Lebesgue
p () o el espacio de Sobolev W 1,p (), con 1 p < y es un conjunto abierto de
L
0
RN . Como en este caso V es separable tenemos que L p (a, b; L p ()) = L p ((a, b) ),
el espacio ordinario de Lebesgue denido en (a, b) y L p (a, b;W01,p ()) consta
de todas las funciones u : [a, b] R las cuales pertenecen a L p ((a, b) ) y
tal que u = (ux1 , ..., uxN ) pertenece a (L p ((a, b) ))N (a menudo, por simplicidad,
notaremos este espacio por L p ((a, b) )); adems,
Z bZ
1
p
|u| dxdt
a
ut , =
u t dt ,
a
Cc (a, b),
donde la igualdad se entiende en V . Si u C1 (a, b;V ) esta decnicin coincide claramente con la derivada de Frchet de u. En lo sucesivo, cuando decimos que ut pertenece
al espacio Lq (a, b; V ) (V siendo un espacio de Banach) signica que existe una funcin
q (a, b; V ) D (a, b;V ) tal que:
zL
Z b
ut , =
u t dt = z, ,
a
Cc (a, b).
Z b
v, ut dt +
a
(1.2.1)
(1.2.1) tiene sentido gracias al Teorema 1.2.1. Su prueba se basa en que Cc (a, b;V ) es
p (a, b;V ) tal que u L p (a, b;V ) dotado de
denso en el espacio de las funciones u L
t
la norma u = u L p (a,b;V ) + ut L p (a,b;V ) , junto a que (1.2.1) es cierto para funciones
2N
N+2 ;
u (x,t) =
u(x, s)e(st) ds + et u0 ,
(1.2.2)
(u )t , =
(u u ),
1
L2 (0, T ; H0 ()).
(1.2.3)
La siguiente generalizacin de la frmula de integracin por partes se puede encontrar en [46] (vase tambin [39]).
Lema 1.2.2. Sea f : R R una funcin continua C1 a trozos tal que f (0) = 0 y
R
f es cero lejos de un conjunto compacto de R; notamos F(s) = 0s f (r)dr. Si adems
1
u L2 (0, T, H0 ()) es tal que ut L2 (0, T ; H 1 ())+L1 (Q) y si C (Q), entonces
tenemos
Z
Z
T
0Z
ut , f (u) dt =
F(u(T ))(T ) dx
F(u(0))(0) dx
(1.2.4)
t F(u) dxdt.
1.3.
Resultados previos
1.3.1.
en ,
en ,
(1.3.1)
donde M(x, s) es una matriz simtrica cuyos coecientes mi j : R R son funciones de Carathodory tal que existen constantes 0 < satisfaciendo
||2 M(x, s) y |M(x, s)| ,
a.e. x , (s, ) R RN .
(1.3.2)
(1.3.3)
10
g(x, u)|u|2
u +
()
f .
g(x, u)|u|2 =
u +
f ,
1
H0 () L ().
(1.3.4)
Observacin 1.3.2. En el caso no autnomo, el concepto de solucin es similar. Concretamente, si adems f (x, u) L1 () y se verica
Z
g(x, u)|u|2 =
u +
1
H0 () L ().
f (x, u),
(k, R)
,
( j k) (R )
El lema anterior ser la herramienta principal para probar estimaciones en L mediante el mtodo de Stampacchia:
1
Teorema 1.3.4. Sea f Lq (), con q > N . Si u H0 () es una subsolucin de
2
u = f , x ,
i.e., si verica
u f , x ,
entonces u L (), con
u
2
S f
1 1
2
q ||
1
(2 )
1
q .
11
|Gk (u)|2
f Gk (u) =
f {|u|>k} Gk (u)
Gk (u)
f {|u|>k}
(2 )
= Gk (u)
(2 )
1
(2 )
{|u|>k}
(2q )
Z
(2 )
|{|u| > k}|1 q
Gk (u) 2 f q
(Hlder y q > (2 ) )
1
(2 )
Gk (u)
q |{|u|
> k}| (2 )
1
q
Gk (u)
S2
|Gk (u)|2 ,
y as deducimos
Gk (u)
S2 f
q |{|u|
1
q
> k}| (2 )
(1.3.5)
(1.3.6)
y
|Gk (u)| = |u| k > h k,
(1.3.7)
Por lo tanto, usando (1.3.7), (1.3.6) y (1.3.5) (en ese orden), obtenemos que
1/2
1/2
(h k)2
|u|>h
|u|>h
1/2
|Gk (u)|2
|Gk (u)|
= Gk (u)
|u|>h
S2 f
es decir,
q |{|u|
> k}| (2 )
1
q
S2 f 2
2
q
|{|u| > k}|
|{|u| > h}|
2
(h k)
1
(2 )
1
q
Notemos que
2
1
1
N
> 1 q > .
)
(2
q
2
Se concluye aplicando a la funcin (k, ) = |{|u| > k}| al Lema 1.3.3 de Stampacchia.
12
1
Lema 1.3.5. Sea u H0 () una solucin de
u + g(u)|u|2 = u p en .
Entonces u L () y adems existen , > 0 de manera que
u
L ()
.
1
H0 ()
(1.3.8)
Demostracin. Tomamos Gk (u) como funcin test para obtener, razonando como en
el Teorema 1.3.4, que si u Lq () entonces
p
Lq () |{|u|
> k}| (2 )
p
q
2
L ()
ii) Si u Lq () con q =
N
2
p, entonces u L () y
S2 u
N
2
p
Lq ()
p
2 22 q
||
p
2 (2 12 q )
22 p
2
q
2 q
(22 )q+2 p
y > 0
N
2
2 q0
1 > 2 q0 ,
(2 2 )q0 + 2 p
y gracias al item iii) se tiene que u Lq1 () y podemos volver a argumentar como
antes: si q1 N p se concluye gracias a los items i) y/o ii) . Por otra parte si q1 < N p
2
2
aplicamos el item iii) y obtenemos que u Lq2 () con
q2 =
2 q1
2 > q1 .
(2 2 )q1 + 2 p
Ahora podemos volver a razonar con q = q2 y en general, razonando de manera inductiva, concluiramos en un nmero nito de pasos. En efecto, en otro caso, tendramos
la sucesin dada por
q0 = 2
2 qn
n+1
qn+1 =
(2 2 )qn + 2 p
13
con lim n = 0, 2 qn
con
N
2
2 q
,
(2 2 )q + 2 p
q=
2
L ()
L ()
S u
p
Lq () .
C u
q
Lq ()
u =
Por tanto
L ()
p
2 (2 12 q )
p
2 22 q
L2 ()
||
u2 uq2 u
p
2 22 q
p
Lq ()
2 p
q
L2 ()
C u
q2
L () .
p(1 2q )
L () .
L ()
C1 u
1p(1 2 )
q
1
H0 ()
= C1 u
2 p
qpq+p2
1
H0 ()
|u|2 2 f
Ak,
Lq ()
L ()
|{Ak, }|1 q + 2
|u|||Gk (u).
Ak,
|u|2 2
Ak,
2 f
Lq ()
L ()
|{Ak, }|1 q +
4
2
Z
Ak,
||2 G2 (u).
k
14
|u|2 1 +
Ak,
2 f
donde = m x
a
Lq ()
N
2(1 2q )
L ()
4 q
, 2 N
por RN .
Esto quiere decir que para > 0 sucientemente pequeo y cada M u L () ,
1
la funcin u pertenece a la clase B2 (, M, , , 2q ) con 2q > N (vase [60], pag. 81).
Aplicando el Teorema 6.1 de [60] deducimos que u es Hlder continua en .
1.3.2.
(1.3.9)
def
donde M(x, s) = (mi j (x, s)), i, j = 1, . . . , N es una matriz simtrica cuyos coecientes
mi j : R R son funciones de Carathodory tales que existen constantes veri
cando 0 < y (1.3.2). P(x) es un campo vectorial acotado y f Lloc () satisface
(5). Tambin suponemos que b : [0, +) [0, +) es una funcin continua no negativa tal que
b(s) es creciente y satisface la condicin de Keller-Osserman (1.1.6),
b(s)/s es no-decreciente para s grande .
(1.3.10)
asumimos que f Lloc () verica (5). Entonces, para cada existe C > 0
1
15
para cualquier C > 0 y 0, existe una constante positiva y una funcin diferenciable : [0, 1] [0, 1] ( y dependediendo slo de b, C y ), con (0) = (0) = 0,
(1) = 1 y (s) > 0 para cada s > 0, satisfaciendo
t +1
()2
1
t b(t) () + ,
()
C
(0, 1], t 0.
Observaciones 1.3.9.
ds
< +.
sb(s)
C
(k) , h > k 0.
(h k)
Entonces
i) Si > 1 entonces (d) = 0 con d = C(0)1 2/(1) .
ii) Si = 1 entonces (h) (0) exp (1
h
).
(eC)(1/)
2 (1)2 C 1 + 2 1 (1)
, h > 1.
h 1
Prueba del Teorema 1.3.7. Supongamos que u+ Lloc () y se verica adems que
1
b(u+ ) Lloc (). Denotamos y una funcin cut-off (x) satisfaciendo
01y
1, x ,
(x) =
(1.3.11)
0, x \ .
Notamos p0 = P(x)
(L ())N ,
2
L ()
2
1 p2
+
+ 0 m ( f ),
2 16 C
16
s
b(s)
(u2 ) =
(),
(1.3.12)
1
a.e. in . Como f (x)Gk (u+ )b(u+ ) Lloc (), entonces v = Gk (u+ )2 se puede tomar
como funcin test. Usando esta funcin test adems de (1.3.2), (5) y la desigualdad de
Young deducimos que
Z
+ 2 2
|Gk (u )| + m ( f )
2
Z
22
|Gk (u )| +
||2 (Gk (u+ ))2
Z
Z
p0 2
+ 2 2
Equivalentemente,
Z
+
|[Gk (u )]| + m ( f )
22
+
p0 2
2
L ()
2
+
meas {x : u(x) k} ,
2 16
|Gk (u )|
2
2
donde C0 = S2 2 ()
L
s j > k deducimos que
2
2
C0
meas {x : u(x) k} .
(1.3.13)
17
( j k)2 ( j, r)2/2 c1
(k, R)
(R r)2
1.3.3.
x .
u = 0
en .
Las funciones y son reales y continuas denidas en un intervalo I =]0, b[ (no se
excluye el valor b = +), mientras que f : I R es una funcin de Carathodory.
18
1
Si u u en (en el sentido que (u u)+ H0 ()), entonces uu.
Nos centramos ahora en el principio de comparacin para el caso evolutivo. Como consecuencia obtenemos ciertos resultados de unicidad que enunciamos posteriormente y un resultado de estabilidad cuando t tiende a innito, el cual lo probamos en
el Captulo 3 dedicado a los problemas parablicos de contorno.
Consideramos el problema
ut u + g(u)|u|2 = f (x,t) en Q,
(1.3.17)
u(x, 0) = u0 (x)
en ,
u(x,t) = 0
en (0, T ),
con f L1 (Q) una funcin no negativa, u0 L1 (), y g una funcin continua en I
donde I =]0, b[ (el valor b = + no est excluido). Suponemos tambin que g es no
negativa pudiendo ser singular en los extremos del intervalo.
Notamos a continuacin lo que entendemos por subsolucin, supersolucin y solucin del problema (1.3.17).
Denicin 1.3.13. Decimos que z L2 (0, T ; H 1 ()) tal que zt pertenece al espacio
L2 (0, T ; H 1 ()) + L1 (Q) es una subsolucin (respectivamente, supersolucin) del
problema (1.3.17) si g(z)|z|2 L1 (Q), y se verica
Z T
0
Z
2
z w +
zt , w +
Q
() Z
g(z)|z| w
Q
f (x,t)w ,
Q
1
para cada w L2 (0, T ; H0 ()) L (Q), con w 0.
Se dice que z es una solucin cuando es a la vez subsolucin y supersolucin.
19
Z s
g(r)dr,
s I,
e(r) dr
s I.
Z s
(s) =
0
(1.3.18)
(s)
def
1 a1 )
e (s
a
s
si = 1,
si = 1.
ut , e(u) w +
() Z
e(u) u w
f (x,t)e(u) w
1
se verica para cada w L2 (0, T ; H0 ()) L (Q), con w 0.
t [0, T ].
20
Z T
(1.3.19)
(u)
f (x,t)e
Tk [(u) (v)] .
(1.3.20)
f (x,t)e
(v)
Tk [(u) (v)] .
Z T
0
Z T
=
0
Z s
donde k (s) =
k ((u) (v))+ (T ) ,
Tk (r)dr.
k ((u) (v))+ (T ) +
k ((u) (v))+ (T )
es decir,
Z
+
Tk [(u) (v)]+
k ((u) (v)) (T ) +
Q
k > 0.
t [0, T ].
0.
21
22
Captulo
s > 0, a.e. x ,
(2.0.1)
para algn > 0 con > , donde h : (0, +) [0, +) es una funcin continua, no
negativa tal que
Z 1
lim s0+
h(t) dt < +,
s
(2.0.2)
24
en
z(x) c > 0,
a.e. x .
u = 0 en ,
donde los coecientes ai j (x) satisfacen la condicin de elipticidad
N
0 < ||2
ai j (x)i j ||2 ,
RN ,
(2.0.4)
i, j=1
a.e. x , s > 0,
(2.0.5)
lim s0+
h(t) dt = +,
(2.0.6)
Z s
h(t)dt
lim s0+
h(s) e
= h0 0.
(2.0.7)
25
2.1.
Existencia de solucin
Teorema 2.1.1. Sea f en L N+2 () vericando (5), y supongamos que se verican las
hiptesis (1.3.2), (2.0.1), (2.0.2) y > . Entonces existe una solucin de energa nita
u para el problema (1.3.1). Adems, u g(x, u)|u|2 L1 ().
Observacin 2.1.2. Cabe destacar que el Teorema 2.1.1 engloba varios resultados
que hemos ido obteniendo a lo largo de la investigacin desarrollada sobre los problemas singulares con gradiente cuadrtico. Concretamente, en [12] probamos la existencia de solucin del problema (3) para 0 < 1 y con el dato f vericando (5).
Posteriormente ampliamos la existencia de solucin en [6] para el problema (3) en
el caso en el que g est entre una hiprbola positiva y una hiprbola negativa, es decir g puede cambiar de signo, donde abarcamos el resultado anterior y mejoramos
el espacio al que pertenece el dato. Tambin, estudiamos el problema de obstculo
(desigualdad variacional) correpondiente a dicho problema en [9, 10].
Notamos que u g(x, u)|u|2 L1 () implica que la solucin u se puede tomar
como funcin test (ya que f H 1 ()) en la formulacin dbil de (1.3.1) (ver (1.3.4)).
La idea para demostrar el Teorema 2.1.1 consiste en aproximar la no linealidad
g(s) por no linealidades gn continuas en R, de forma que los problemas no singulares
obtenidos para gn caigan en el marco estudiado por [34] y, por tanto, posean solucin
un de energa nita para cada n N. Probaremos que un converge a una solucin positiva de (1.3.1). La clave para evitar esta dicultad consiste en probar que un estn lejos
de cero en cada abierto compactamente contenido en , el cual llamamos principio
del mximo uniforme fuerte (siguiendo la terminologa de [93]). As, en la Subseccin 2.1.1 probamos el principio del mximo uniforme fuerte y en la Subseccin 2.1.2
aproximamos nuestro problema, probamos las estimaciones necesarias y pasamos al
lmite usando dicho principio.
26
2.1.1.
en ,
(2.1.1)
est acotada inferiormente en cada abierto compactamente contenido en . Como veremos en la prueba, es natural imponer la hiptesis (2.0.2). Este resultado ser crucial
para probar la existencia de solucin para el problema (1.3.1).
y la funcin no-creciente
Z 1
(s) =
H(t)
dt.
Observando que
lim s+ (s)= [, 0),
def
v = (z).
Como z es continua y estrictamente positiva en , tenemos que z est acotada lejos
de cero (con la cota dependiendo de z) en cada conjunto abierto compactamente
contenido en . Consecuentemente, por la regla de la cadena, tenemos
v = e
H(z)
z L2 (),
(2.1.3)
1
y de este modo v H 1 () para cada , es decir, v Hloc ().
H(z)
M(x, z)z z
h(z) H(z)
e +
Z
+
M(x, z)z e
Z
2 H(z)
h(z)|z| e
f e
H(z)
H(z)
M(x, z)(z)
H(z)
fe
H(z)
1 f .
27
H(1 (s))
(2.1.4)
entonces v es subsolucin de
div (M(x, v)v) + f (x) b(v) = 0
en .
en .
Veamos que las funciones M(x, s), b(s) y f (x) verican las hiptesis del Teorema 1.3.7. En primer lugar, M(x, s) verica (1.3.2) y f (x) satisface (5). Se observa
b(s)
que
es no-decreciente para s > 0 grande; de hecho, esto es equivalente a probar
s
H(t)
e 1
es no-creciente en un entorno de t = 0. Par mostrar esto, sea
que (t) =
(t)
w0 (0, 1) tal que h(t) es no-creciente en (0, w0 ], y, notamos que
e
H(t)
2 (t) (t) =
H(t)
h(t)
(t) (e 1) =
Z 1
[h(t) h(s)] H(s)
e ds
Z 1
[h(t) h(s)] H(s)
e ds = h(t)M1 M2
w0
donde
1
M1 =
Z 1
H(s)
ds and
w0
1
M2 =
Z 1
h(s)e
H(s)
ds.
w0
2 0e
ds
Usando el cambio = 1 (s), obtenemos
Z +
t0
dt
R
H(1 (s))
2 t e ds
0
Z +
=
t0
dt
R 1 (0) 2 H()
2
e d
1 (t)
28
dt
R
H(1 (s))
2 t e ds
t0
Z w0
dw
2
R w0
w
2
[H(w)H()]
con 0 < w0 = 1 (t0 ) < 1 = 1 (0) ya que es decreciente, y escogemos t0 >> 1 tal
que h es decreciente en (0, w0 ].
Como h satisface (2.0.2), concluimos la prueba si mostramos que existe una constante positiva c0 tal que
Z w0
h(w)
w
e [H(w)H()] d c0 > 0,
w (0, w0 ).
(2.1.5)
De hecho, la nica dicultad est cerca de cero. Para verlo, usamos que h (por lo tanto
h) es decreciente en (0, w0 ], para obtener
Z w0
h(w)
e [H(w)H()] d
Z w0
h()e [H(w)H()] d
w
2
=
=
e H(w)
2
e
Z w0
w
2
H(w)
2
2
h()e H() d
2
H()
w0
w
e H(w)
+ .
=
2
2 e H(w0 ) 2
h(w)
e [H(w)H()] d ,
4
w
para 0 < w < w. De este modo obtenemos la existencia de c0 tal que se verica (2.1.5).
2.1.2.
La prueba del Teorema 2.1.1 se basa en la aproximacin del dato f L N+2 () por
una truncadura fn = Tn ( f ) y g por una cierta sucesin de funciones de Carathodory
gn (para n N). Concretamente, denimos
g(x, s)
s ,
n
def
1
s
1
(2.1.6)
gn (x, s) =
0<s ,
nh n h(s) g(x, s)
0
s 0.
Gracias a que h es decreciente cerca de cero, observamos que existe n0 N, tal que
(2.1.7)
gn (x, s) h(s) , n n0 ,
29
g(x, s)
n
gn (x, s)
c
s
a.e. x ,
s R+ ,
||2
+ ||2 0,
1
1 + n ||2
(2.1.8)
a.e. x , s R, RN .
2
||
Gracias a que para n jado las funciones fn (x) (x ) y 1+ 1 ||2 ( RN ) estn
n
acotadas, podemos deducir (como una aplicacin del teorema de Schauder), que el
problema
un = 0 en ,
(2.1.9)
1
tiene una solucin un que pertenece a H0 () (vase [69]) y a L () (vase [91]).
Probamos ahora algunas propiedades de la sucesin un que necesitaremos ms
adelante.
2N
30
un gn (x, un )
|un |2
est acotado en L1 ().
1
1 + n |un |2
|un |2
=
M(x, un )un un + gn (x, un )un
1
1 + n |un |2
f n un .
( ) un un +
gn (x, un )un
S f
2N
L N+2 ()
un
|un |2
+ |un |2
1 + 1 |un |2
n
L2 () .
Gracias a que se satisface (2.1.8) y a que > , podemos concluir que las sucesiones
|un |2
1
un y un gn (x, un )
estn acotadas, respectivamente, en H0 () y en L1 ().
1 + 1 |un |2
n
def
2. Tomamos u = mn(un , 0) como funcin test en (2.1.9), as, por (1.3.2),
n
Z
( )
|u |2 +
n
gn (x, un )
|un |2
u + |u|2
1
2 n
1 + n |un |
f n u .
n
( )
|u |2
n
fn u 0.
n
|un |2
L ().
1 + 1 |un |2
n
|un |2
1 + 1 |un |2
n
fn .
31
kn s
gn(s)
s
1/n
Figura 2.2: Representacin de la aproximacin gn por debajo de una conveniente recta, es decir, gn (x, s) kn s, para
s [0, un ].
Prueba del Teorema 2.1.1. Probamos que, pasando a una subsucesin, la sucesin {un }
de soluciones de energa nita de (2.1.9) converge a una solucin de energa nita de
(1.3.1).
Por 1. del Lema 2.1.4, obtenemos
Z
un
1
H0 ()
C1 y
un gn (x, un )
|un |2
C2 .
1 + 1 |un |2
n
(2.1.10)
De este modo, pasando a una subsucesin, podemos asumir que un converge a algn
1
1
u H0 () dbilmente en H0 () y, por el teorema de Rellich, fuertemente en L2 () y
a.e. en .
gn (x, un )
|un |2 T (un )
1 + 1 |un |2
n
|un |||
fn +
|un ||| .
f+
Gracias a la Proposicin 2.1.3 podemos tomar lmite cuando tiende a cero (ya que gn
est acotada inferiormente en el supp que est contenido compactamente en cualquier
compacto de ), y usamos que, por el Lema 2.1.4, un > 0 en obtenemos
Z
gn (x, un )
|un |2
=
1 + 1 |un |2
n
gn (x, un )
{un >0}
|un |2
1
1 + n |un |2
|un |||.
f+
(2.1.11)
32
Paso 1. Tomamos Gk (un ) como funcin test en (2.1.9) . Usando (1.3.2), teniendo en
cuenta (2.1.8) y las desigualdades de Hlder y Sobolev, tenemos
Z
S2
( ) |Gk (un )| 2
2N
N+2
2
1+ N
{un k}
El ltimo trmino de la desigualdad anterior es arbitrariamente pequeo si k es sucientemente grande. Por lo tanto, como > , |Gk (un )|2 es equiintegrable. Adems,
como
|un |2
div(M(x, un )un ) = fn gn (x, un )
,
1
1 + n |un |2
1
y el trmino de la derecha est acotado en Lloc () gracias al Lema 2.1.4-2, podemos
aplicar el Lema 1 de [26] (vase tambin [31]) para deducir que, pasando a subsucesiones (no renombradas), un converge a u a.e. en . As, usando el teorema de
Vitali
1
Gk (un ) Gk (u)
en H0 ().
1
Paso 2. Probamos ahora que la sucesin un converge fuertemente en Hloc (). Nos
queda probar que
lim n+
Cc () con 0.
(2.1.12)
Sea un una solucin de (2.1.9) con n n0 (n0 dado por (2.1.7)). Por el Lema 2.1.4,
1
un > 0 en y es continua. En particular h(un )|un |2 Lloc (). De este modo, de las
desigualdades gn (x, s) h(s) para cada s > 0 y fn f1 obtenemos que un es supersolucin para
div (M(x, z)z) + h(z)|z|2 = f1
en .
1
Por lo tanto, por la Proposicin 2.1.3 (con f = f1 y z = un H0 () C()
(Lema 2.1.4-2)) para cualquier obtenemos la existencia de una constante
positiva c tal que un c en . Tomando k > 0 y m0 > m x{n0 , c1 }, deducimos, por
a
, m x h(s) ,
a
c s[c ,k]
(2.1.13)
para cada x tal que un (x) k. Razonando como en [29], consideramos la funcin
(s) denida en (1.1.5) y tomando (Tk (un ) Tk (u)) como funcin test en (2.1.9)
tenemos que
Z
|un |2
+ gn (x, un )
(Tk (un ) Tk (u)) =
1
1 + n |un |2
33
1
Puesto que Tk (un ) Tk (u) dbilmente en H0 () y fuertemente en L2 (), notamos
que
|un |2
(Tk (un ) Tk (u))
1 + 1 |un |2
n
Z
|un |2
=
gn (x, un )
(Tk (un ) Tk (u))
1
1 + n |un |2
{un k}
Z
|un |2
+
gn (x, un )
(Tk (un ) Tk (u))
1 + 1 |un |2
{un k} Z
n
gn (x, un )
ck ( )
Z
{un k}
|un |2 (k Tk (u)).
De este modo
Z
Z
ck ( )
{un k}
|un |2 (k Tk (u)).
(2.1.14)
y aadiendo
Z
M(x, un )Tk (u) (Tk (un ) Tk (u)) (Tk (un ) Tk (u)) = (n)
+2
Z
=2
34
(n) +
Z
{un k}
|un |2 (k Tk (u))
= (n) +
{uk}
un u
g(x, u)|u|2
f,
respectivamente. Por lo tanto, para concluir la prueba falta probar que u es una solucin
distribucional del problema (1.3.1). Comenzamos pasando al lmite en n en la ecuacin
que satisface un , es decir, en
Z
|un |2
M(x, un )un + gn (x, un )
=
1 + 1 |un |2
fn , Cc ().
M(x, un )un =
lim n+
Cc ().
M(x, u)u ,
(2.1.15)
, m x h(s)
a
c s[c ,k]
E{un k}
|gn (x, un )|
|un |2
+
1 + 1 |un |2
n
ck ()
|un (x)|2
1 + 1 |un (x)|2
n
Z
Z
2
E{un k}
E{un k}
|gn (x, un )|
|Tk (un )| +
{un k}
|gn (x, un )|
|un |2
1
1 + n |un |2
|un |2
.
1 + 1 |un |2
n
(2.1.16)
35
Fijamos > 0. Observamos que si, para k > 1, usamos T1 (Gk1 (un )) como funcin
test en (2.1.9) y usando que algunos trminos son positivos, deducimos que
Z
|un |2
|gn (x, un )|
1 + 1 |un |2
{un k}
n
{un k1}
fn
f.
{un k1}
|gn (x, un )|
{un k}
|un |2
,
1
2
1 + n |un |2
k k0 , n N.
1
Adems, como Tk (un ) converge fuertemente en Hloc (), existe n , tal que para cada
E con meas (E) < tenemos
E{un k}
,
2ck ()
n n .
En conclusin, por (2.1.16), tomando k k0 vemos que meas (E) < implica que
Z
|un (x)|2
,
1
1 + n |un (x)|2
|un |
es decir, la sucesin gn (x, un ) 1+ 1 |u
cia a.e. a
g(x, u)|u|2 ,
gn (x, un )
lim n+
2
n|
n n ,
|un |2
=
1
1 + n |un |2
g(x, u)|u|2 ,
Cc ().
Por lo tanto, usando el lmite anterior, (2.1.15) y puesto que fn tiende a f fuertemente en L1 () concluimos que
Z
M(x, u)u +
2.1.3.
g(x, u)|u| =
f ,
Cc ().
El objetivo de esta subseccin ser extender el resultado de existencia Teorema 2.1.1 para datos f en espacios ms generales. Concretamente, probamos la existencia de soluciones distribucionales si f L1 (). El resultado que probamos es el
siguiente.
Teorema 2.1.5. Sea f L1 () satisfaciendo (5) y supongamos que se verican (1.3.2),
0 g(x, s) h(s),
(2.1.17)
1,q
a.e. x ,
s s0 ,
1
entonces u H0 () (es decir, es una solucin de energa nita).
(2.1.18)
36
Para probar dicho resultado seguimos un esquema parecido a la subseccin anterior. En este caso, aprovechando el Teorema 2.1.1, aproximamos el problema (1.3.1)
por
div (M(x, un )un ) + g(x, un )|un |2 = fn en ,
(2.1.19)
un = 0 en ,
donde fn = Tn ( f ).
1
Notamos que la existencia de una solucin de energa nita un H0 () C() no
negativa tal que g(x, un )|un |2 L1 () se sigue del Teorema 2.1.1 y del Teorema 1.3.1.
Lema 2.1.6. Si f L1 () verica (5), g(x, s) satisface (2.1.17) (con h(s) vericando
(2.0.2)), y un es una solucin de (2.1.19), entonces
N
L1 () .
L1 () .
(2.1.20)
Estimaciones estndar (vase [18, Lemas 4.1 and 4.2]) implican que un est acotada
N
N
en M N2 () y que |un | est acotado en M N1 ().
N
(ii) Sea 1 q < N1 . Por el caso anterior y el embebimiento (1.1.2), deducimos que
1,q
un est acotada en W0 () y de este modo, pasando a una subsucesin si es necesario,
1,q
existe u tal que un u dbilmente en W0 ().
(iii) Nuestro objetivo es mostrar que
Z
lim n+
Cc () , 0.
Adaptamos a nuestro caso una tcnica introducida en [64] (vase tambin [82])
para obtener la convergencia fuerte de las truncaduras. Escogemos (wn ) como funcin test en (2.1.19) donde (s) ha sido denido en (1.1.5) y
wn = T2k [un Tl (un ) + Tk (un ) Tk (u)],
De este modo tenemos
Z
(2.1.21)
Z
2
0 < k < l.
fn (wn ) .
37
+
{un k}
{un k}
1
Si 0 < un H0 () C() es una solucin de energa nita de
en ,
1
entonces, usando que g(x, s) h(s), fn f1 y h(un )|un |2 Lloc (), tenemos que un
es una supersolucin de
en .
38
ck ( )
2ck ( )
+2ck ( )
Notemos que la ltima integral tiende a 0 cuando n diverge ya que (Tk (un ) Tk (u))
1
converge a cero en la topologa dbil- de L () y Tk (u) H0 (). As, usando adems
(2.1.21) y (2.1.22) tenemos
Z
2ck ( )
fn (wn )
fn (wn )
fn (wn )
Adems, wn converge a.e. (y dbil- en L ()) a w = T2k (Gl (u)) y de este modo,
recordando que un u dbilmente en (Lq ())N , q < N/(N 1),
Z
fn (wn )
lim n+
f (w)
39
(2k)
f (w)
( f + |u|||) + (n).
{ul}
Puesto que la ltima integral tiende a cero cuando l diverge, (iii) est probado.
Estamos ya en disposicin de probar el resultado de existencia de solucin cuando
el dato pertenece al espacio de Lebesgue L1 ().
Prueba del Teorema 2.1.5. Comenzamos probando la primera parte del teorema, es
1,q
N
decir que existe una solucin u W0 (), para cada q < N1 , del problema (1.3.1).
De los resultados de [31] deducimos que un u a.e., y del Lema 2.1.6 las esN
N
timaciones de un y |un | en M N2 () y M N1 () respectivamente. De este modo
1,q
N
un u fuertemente en W0 (), para cada q < N1 . Argumentando como en la prueba del Teorema 2.1.1, podemos mostrar que, escogiendo 1 T (un ) como funcin test en
Z
2
{un k}
g(x, un )|un |
f.
(2.1.23)
{un k1}
g(x, un )|un |2 =
E
E{un k}
g(x, un )|un |2
Z
2
+
E{un k}
g(x, un )|un | ck ()
+
{un k}
E{un k}
g(x, un )|un |2 ck ()
f.
{un k1}
Puesto que meas ({x : un k 1}) tiende a cero (uniformemente con respecto a n) cuando k tiende a + (por la acotacin de {un } en el espacio MN/(N2) ()
gracias al Lema 2.1.6-(ii)), obtenemos que la ltima integral de las desigualdades
anteriores tiende a cero cuando k diverge positivamente. sto, y la equiintegrabilidad local de |Tk (un )|2 (el Lema 2.1.6-(iii)), muestran la equiintegrabilidad local de
{g(x, un )|un |2 }.
Usando adems que un u a.e., concluimos por el teorema de Vitali que
g(x, un )|un |2 g(x, u)|u|2
en L1 () , .
(2.1.24)
40
{un k}
|un |2
f f
{un k1}
L1 () .
(2.1.25)
|un |2 =
k 1
+
L1 () ,
1
es decir, la acotacin de la sucesin {un } en H0 (). Esto implica que la solucin u, la
1
cual es el lmite de {un }, pertenece a H0 ().
Observacin 2.1.7. Si se verica (2.1.18) se puede probar que la sucesin aproximada un converge fuertemente a u en H 1 (), para cada . De hecho, gracias a
la convergencia a.e. de un a u en , es suciente probar la equiintegrabilidad de
|un |2 en cada . Para probarlo, tomamos un conjunto medible E , y
observamos que, gracias a (2.1.25), podemos decir que para cualquier k m x{s0 , 1}
a
se verica
Z
|un |2
E
=
E
1
|Tk (un )| +
f.
(2.1.26)
{un k1}
2.2.
Tratamos tambin los problemas descritos para operadores diferenciales ms generales cuya parte principal no tiene forma de divergencia. En [8] probamos el siguiente
resultado.
Teorema 2.2.1. Supongamos que ai j W 1, () satisfacen (2.0.4), y que bi L ().
Asumimos que f (x) satisface (5) y pertenece a Lq () con q > N . Supongamos adems
2
que g(x, s) satisface (1.3.3), (2.1.17) (con h vericando (2.0.2)). Entonces existe una
1
solucin u H0 () L () para (2.0.3). Adems, g(x, u)|u|2 L1 ().
Realizamos un esquema de la prueba del Teorema 2.2.1 sin dar los detalles puesto
que se siguen fcilmente adaptando las ideas de la prueba del Teorema 2.1.1.
(2.2.1)
(2.2.1) y tomando lmites cuando tiende a cero, deducimos, para algn C1 > 0, que
Z
gn (x, un )|un |
| f | +C1 .
H(u)
en .
(2.2.2)
1
en Hloc () .
42
2.3.
x ,
(2.3.1)
donde a(x, s, ) es una funcin de Carathodory tal que para casi todo punto x ,
para todo s R y para todo , RN , se verican
> 0 : a(x, s, ) ||2
a.e. x , s R, RN ,
(2.3.2)
(2.3.3)
y
(a(x, s, ) a(x, s, )) ( ) > 0
a.e. x , s R, RN .
(2.3.4)
Denicin 2.3.1. Una funcin nita u(x) denida en casi todo punto vericando que
Tk (u) H 1 () para todo k > 0 es una large solution distribucional para (2.3.1) con
1
F Lloc (), si:
1
1
i) |a(x, u, u)| Lloc (), B(x, u) Lloc ();
ii)
Z
Z
Z
a(x, u, u) +
B(x, u) =
F ,
Cc () ;
1
iii) k > 0, k Tk (u) H0 ().
43
Teorema 2.3.3. Supongamos que a(x, s, ) y B(x, s) verican (2.3.2), (2.3.3), (2.3.4),
(1.3.14) y
sup |B(x, s)| L1 (), k > 0.
(2.3.5)
|s|k
1
Asumimos tambin que F Lloc () con F L1 (). Entonces existe una large solution distribucional para (2.3.1).
a(x, un , un ) v +
1
Fn v , v H0 () L ().
B(x, un )v =
(2.3.6)
1
Observamos que para cualquier n k, k Tk (un ) H0 () L (), podemos elegir
v = k Tk (un ) como funcin test en (2.3.6) y obtenemos,
a(x, un , un ) Tk (un ) +
Fn [k Tk (un )] .
L1 () .
|s|k
De este modo, para cada k N, podemos extraer una subsucesin (no renombrada) de
{Tk (un )}nN que converge dbilmente en H 1 () y, por el teorema de Rellich, fuertemente en L2 ().
Ahora, consideramos cualquier conjunto , una funcin cut-off (x)
escogida como en (1.3.11) y = (). Argumentando como en (1.3.12), deducimos
que v = Tk (un 2 ) es una funcin test admisible para (2.3.6). De este modo tenemos
Z
Z
2
a(x, un , un ) [un ] +
Ak
L1 ( ) ,
|un |2 2 + m
|b(un )|Tk (un 2 )
Z Ak
Ak
k F
L1 ( ) + 2
|un ||| un .
Ak
44
Entonces, usando que = 1 en , por los Lemas 4.1 y 4.2 de [18] se sigue que
N
N
un y |un | estn acotadas respectivamente en M N2 () y M N1 (), para cualquier
. Combinando esta informacin con la convergencia fuerte de Tk (un ) en L2 ()
deducimos que un es una sucesin de Cauchy en medida y as, pasando a subsucesiones
1,q
(no renombradas), convergence a.e. x a una funcin u Wloc (). Esto, en particular, implica que
1
lim n+ k Tk (un ) = k Tk (u) dbilmente en H0 () ,
T (un )
B(x, un )
F
Z
L1 ( ) +
|un | .
L ( )
N1
Como el lado de la derecha est acotado ya que {|un |} est acotado en Mloc ()
1
y F Lloc (), si hacemos tender 0, deducimos por el lema de Fatou que existe
c > 0 tal que
Z
|B(x, un )| c .
Z
h|un 2 |h+1
{un 2 h}
|Fn | +
|un |2 2 +
22
1
2
2
L ()
N2
en Mloc (), deducimos que
lim h+ sup
|B(x, un )| = 0.
Como consecuencia del teorema de Vitali deducimos que {|B(x, un )|}nN es fuertemente compacto en L1 ( ), donde es arbitrario. Adems, como el lower
1
order term est acotado en Lloc (), podemos aplicar el Lema 1 de [27] para probar
que un converge a u a.e. en . Esto, y la convergencia dbil de un en W 1,q ( ),
, implican que
N
,
N 1
un u
en W 1,q (),
1 q <
45
a(x, un , un ) +
B(x, un ) =
Fn .
a(x, un , un ) =
lim n+
a(x, u, u) .
supp
supp
1
Ms an, por la convergencia fuerte de {B(x, un )} y {Fn } en Lloc (), deducimos que
Fn =
lim n+
supp
F
supp
B(x, un ) =
lim n+
supp
B(x, u)
supp
2.4.
No existencia de solucin
G(s) = e
dt
para cada s > 0,
(2.4.1)
46
donde est dada por (1.3.2). Gracias a (2.0.6), la funcin G puede ser extendida continuamente a [0, +) con G(0) = 0. Adems, denimos la funcin : [0, +) [0, +)
con (0) = 0 y
Z
s
h(t)dt
(s) = e
0 G(t)[ (t)] dt
si s > 0,
G(s)
(s) =
0
si s = 0,
(2.4.2)
es una funcin diferenciable con derivada continua en [0, +) y que satisface la ecuacin
diferencial ordinaria
h(s)
(s) +
(s) = [ (s)]2 , en [0, +),
(2.4.3)
(0) = 0.
Adems, se verica la siguiente desigualdad:
(s) [(s)]2 ,
s > 0.
(2.4.4)
G(t)[ (t)]2 dt
G(s)
Z s
lim s0+
[ (t)]2 dt = 0.
(0) =
h2 lim s0+
0
G(t) (t) dt
h(s)
0
G(s)
G(s)[ (s)]2
2(s) (s)G(s) + h(s)[(s)]2 G(s)
1
= h2 h2 lim s0+
= h2 h2 = 0.
0
0
0
0
1 + 1
2
= h2 h2 lim s0+
0
0
h(s)
47
Para probar la desigualdad (2.4.4), observamos que [ (s)]2 = [(s)]2 h(s) implica
que
(s) =
G(s)
Como
G(t)
Z s
h(t)
[(t)]2 dt.
G(t)
0
h(t)
d
= G(t),
dt
podemos integrar por partes para llegar a que (recordemos que G(0) = (0) = 0)
Z
2
t=s
(s) =
G(t) [(t)]2 t=0
G(t) (t) (t) dt
G(s)
G(s) 0
Z s
2
= [(s)]2
G(t) [(t)]2 h(t) dt
G(s) 0
[(s)]2 ,
Z
2
h(u)|u| (u)
1
De este modo, aadiendo
que
f (u) .
Z
2
+
Z
h(u)
(u)
M (x, u)
u u h(u)(u)
f (u) .
Z
2
|(u)| =
Z
2
|u| [ (u)]
f [(u)]2 .
f (u)
(2.4.5)
en ,
en ,
48
verica
f v2
1 ( f )
|v|2 ,
1
v H0 (),
y as deducimos de (2.4.5)
Z
|(u)|
1 ( f )
|(u)|2 .
La hiptesis
|(u)|2 = 0,
a.e. x .
a.e. x , s R, RN ,
(2.4.6)
(2.4.7)
en ,
en ,
(2.4.8)
1
Prueba de la observacin. Sea u H0 () una solucin positiva de (2.4.8) y consideramos C1 ([0, +)) dada por (2.4.2). Como (0) = 0 podemos tomar v = (u)
como funcin test y obtenemos, usando (2.0.5), que
h(u)|u|2 (u)
f (x)(u).
En particular, aadiendo
a(x, u, u)u
|u|2
h(u)(u)
h(u)
(u)
f (x)(u).
49
1
Usando ahora la ecuacin (2.4.3) que verica y que (u) H0 (), adems de
(2.4.4), (2.4.6) y (2.4.7) llegamos a que
|(u)|2 =
|u|2 [ (u)]2
f (x)[(u)]2 .
f (x)(u)
f (x)[(u)]2
1 ( f (x))
f (x)[(u)]2 ,
f (x)[(u)]2 = 0,
a.e. x .
div M x, v v + 1 g x, v |v|2 = R f en ,
R
R
R
v = 0 en ,
con
s
def
R h (s) = 1 h s .
R
R
R R
g x,
Por lo tanto, por el Teorema 2.4.1, y puesto que 1 (R f ) = 1 ( f )/R, si hR (s) satisface
las hiptesis (2.0.6) y (2.0.7), entonces una condicin necesaria para la existencia de
soluciones de energa nita de (1.3.1) es que 1 ( f ) R/.
Como consecuencia del Teorema 2.4.1 y de la Observacin 2.4.4, obtenemos la
no existencia de solucin de (1.3.1) para ningn dato f si imponemos una adecuada
condicin a h.
Corolario 2.4.5. Sea 0 f Lq () con q >
N
2
50
g(x, s),
s
a.e. x , s (0, s0 ].
Si se verica
(i) > 2,
o
(ii) = 2 y 1 ( f ) >
s0
si 0 < s ,
s
2
s0
h(s) =
si < s < s0 ,
s
2
0
si s0 s.
R1
0
para cada s (0, s2 ), y usando que 2, tenemos
s s
0
que hR (s) no es integrable en (0, 2 ), es decir, satisface (2.0.6).
Adems, si > 2, entonces hR (s) satisface (2.0.7) para cada R > 0, y as el Corolario 2.4.5 nos permite concluir la prueba en este caso.
Por otro lado, si asumimos que = 2, entonces
Z s
Z s0 /2
Z s
R
hR (t)dt
hR (t)dt
R s0 /2 s dt + 1
lim s0+ hR (s) e 1
= lim s0+
e
s
1
= lim s0+ Cs R1 = h0 0 R .
1
En otras palabras, hR (s) satisface (2.0.7) si y slo si R . Por lo tanto, la Obser
vacin 2.4.4 se deduce la no existencia de solucin si 1 ( f ) > .
>2
51
=2y f
o bien
L ()
<
1
diam()2
(2.4.9)
un + |un | = f en ,
un + 1
n
un = 0 en ,
1
converge a 0 en H0 (), y la sucesin
|un |2
1
(un + n )
las medidas.
Prueba del Teorema 2.4.7. Notamos que si < 2, entonces el Teorema 2.1.5 garantiza
la existencia de solucin. Contrariamente, si > 2 o si = 2 y f L () es sucientemente grande, el Teorema 2.4.1 nos asegura la no existencia de solucin para el
problema (3).
Por otro lado, si se verican f L () y (2.4.9), tenemos existencia y unicidad
1
de solucin un en H0 () C() para
un + |un | = f en ,
un + 1
n
un = 0 en ,
(2.4.10)
|un |2
un + 1
n
C.
1
Como un est acotada en H0 () entonces converge dbilmente, pasando a a subsuce1
siones, a alguna funcin u en H0 (), fuertemente en L2 (), y en casi todo punto en
|un |2
1
(un + n )
52
1
donde 0 es una medida de Radon no negativa y acotada en . Por lo tanto, u H0 ()
es una solucin de energa nita de
|u|2
u + {u>0} = f 0 en ,
u
u = 0 en .
Notamos tambin que como un+1 es una subsolucin para el problema (2.4.10), podemos aplicar el principio de comparacin de [13] y as, para cada x , tenemos
un (x) un+1 (x) . . . u(x),
y de este modo podemos asumir que un (x) converge a u(x) para cada x . Aseguramos que u 0, y por lo tanto un converge a cero en L2 (). Dividimos la prueba de
este hecho en dos pasos:
Paso 1. El caso en el que es una bola de radio R > 0, = BR , y f = T > 0 es
una constante.
Paso 2. El caso general.
Paso 1. Asumimos que = BR y f = T > 0 es una constante. En este caso, (2.4.9)
quiere decir que, si = 2, entonces el primer autovalor BR (T ) del operador Laplaciano
1
con peso T en BR es mayor que uno, es decir, BR (T ) > 1. Observamos primero que u
1
es radialmente simtrica (y por lo tanto continua para |x| = 0). De hecho, si denimos
Z s
n (s) =
donde
Hn (t) =
n1
1 (1 + nt)1
1
vn = T eHn (n (vn ))
vn = 0
en BR
en BR .
|un |2
un +
1
n
|u|2
u
1
fuertemente en Lloc (Br1 ),
53
|u|2
u + = T en Br1 ,
u
u = 0 en Br1 ,
y esto contradice el resultado del Teorema 2.4.1 (notamos que, si = 2, tenemos
Br
1 1 (T ) > BR (T ) > 1). Por lo tanto u 0.
1
Paso 2. es un conjunto abierto y f es no-negativa y pertenece a L ().
Por (2.4.9), podemos jar R > diam con 1 > f R2 y BR si = 2. Sea vn
la solucin de
vn + |vn | = f
L () en BR
1
vn + n
vn = 0 en BR .
Por la denicin de diam , tenemos BR . Nuestro objetivo es probar que vn
vn +
BR
BR
|vn |2
=
( 1 + un )
n
f
BR
L (BR ) ,
vn +
|vn |2
=
1
( n + un )
L (B
R)
1
para cada no-negativa en H0 () L () (por un argumento de densidad). Usando
de nuevo el principio de comparacin de [13], un vn en . La eleccin de R permite
asegurar en el caso = 2 que
BR ( f
1
R2
1
f
> 1,
(2.4.11)
L ()
<
1
.
R()2
54
2.5.
u = 0
en ,
donde es un subconjunto abierto, acotado de RN (N 3), el dato 0 f Lm ()
2N
con m N+2 , f 0 en . M(x, s) y Q(x, s) son matrices cuyos coecientes son de
Carathodory. Adems, M(x, s) verica (1.3.2) y Q(x, s) es simtrica vericando para
algunas constantes a, b > 0 lo siguiente
a||2 Q(x, s) b||2 .
(2.5.2)
y > 2b.
Analizamos el papel del parmetro > 0 siguiendo las ideas de la Seccin 5.1 de
[24]. Para ello, consideramos el problema modelo (6) y la funcin
s 1
,
= 1,
1
j(s) =
log(s),
= 1.
Haciendo el cambio de variables w(x) = j(u(x)), se prueba que u satisface la ecuacin
diferencial (6) si y solamente si w es solucin de w = f (x)g (w) en , donde
1
1
1 | 1| 1
|w| 1 ,
= 1,
g (w) =
w
e ,
= 1.
Observamos que en el caso > 1, la condicin en la frontera que aparece en (6)
signica que w = 0 sobre . Por lo tanto (6) es equivalente al problema semilineal
w > 0 en ,
1 ( 1) 1 1
en ,
1 ,
w = f (x)
w 1
w = 0,
en ,
el cual ha sido estudiado al menos con f acotada (vase [40, 63]). Remarcamos explcitamente que bajo la hiptesis 2 (observamos que > 2 es fundamental para
el resultado de existencia en [24]) el problema anterior corresponde a la ecuacin de
Euler-Lagrange del funcional coercivo
1
J(v) :=
2
1
|v|
( 1)
1
1
f (x)v 1 ,
f (x) 0.
55
1
Sin embargo, si 1 < < 2 el funcional J(v) no est bien denido en H0 ().
Queremos sealar tambin que si < 1, formalmente, la condicin en la frontera se
1
reduce a 1 u (x) = w(x) cuando dist(x, ) 0. Esto explica que la naturaleza del problema (6) cambia dependiendo de si > 1 o 1.
Presentamos un resultado que mejora ligeramente el de [24] al debilitar la hiptesis
> 2b. En efecto, extendemos la existencia al caso > b. Especcamente, probamos
en [75] (vase tambin [76]) el siguiente teorema.
2N
Teorema 2.5.1. Sea 0 f Lm () con m N+2 y f 0 en y asumimos que
1
se verican (1.3.2), (2.5.2) y que > b. Entonces existe u H0 (), con el lower
Q(x, u)uu
order term
L1 (), solucin dbil del problema de Dirichlet singularu
cuadrtico (2.5.1).
un
div (M(x, un )un ) +
Q(x, un )un un = fn en ,
1 2
un + n
(2.5.3)
un = 0 en ,
2N
donde fn = Tn ( f ). Puesto que f Lm () con m N+2 , entonces la sucesin fn conm (). Adems, notamos que 0 f f . Aplicando [69] tenemos la
verge a f en L
n
1
existencia de solucin un de (2.5.3) que pertenece a H0 () y a L () (vase [91]).
La principal dicultad radica en establecer el principio del mximo fuerte uniforme
cuando nicamente se requiere que > b. Mientras que en [24] se prueba que el lmite
de un es estrictamente positivo en usando que > 2b, por nuestra parte, probamos
la convergencia de las soluciones aproximadas a la solucin de (2.5.1).
Probamos a continuacin una estimacin uniforme inferior en abiertos compactamente contenidos en para las soluciones aproximadas.
2N
Proposicin 2.5.2. Sea 0 f Lm () con m N+2 , f 0 y asumimos que se verican (1.3.2) y (2.5.2). Si un es una solucin de (2.5.3), entonces para cada 0
existe una constante c0 > 0 tal que
un (x) c0 ,
x 0 .
a.e.
M(x, un )un
1
b
1
n)
(un + 1 )
n
como fun-
fn
(un + 1 )
Z n
b
un Q(x, un )un un
=
M(x, un )un un
.
b
1 b
(un + 1 ) +1
(un + n ) +2
n
(un +
M(x, un )un un
1
(un + n )
b
+1
un Q(x, un )un un
b
(un + 1 ) +2
n
56
y consecuentemente
Z
M(x, un )un
1
(un +
b
1
n)
fn
(un + 1 )
n
(2.5.4)
Fijamos L > 0 tal que la medida de Lebesgue del conjunto de nivel {x : u(x) = L}
es cero. (Observamos que los valores de L para los cuales esta propiedad es falsa es
como mucho numerable). De este modo, gracias a la eleccin L, y como un (x) u(x)
a.e. x , se sigue que {un L} {uL} a.e. x . Por lo tanto, tenemos
Z
M(x, un )un
(un + 1 )
n
Z s
1
b
(t + 1 )
n
reescribir la desigualdad anterior en la forma
0
{un L} f1
(L + 1)
M(x, un )wn
{un L} f1
(L + 1)
1
El principio de comparacin en H0 () (vase [55]) implica que wn (x) zn (x), donde
1 () es la solucin dbil acotada de
zn H0
{un L}
b
(L + 1)
f1 .
1
Es fcil ver que zn converge fuertemente en H0 () a la solucin z de
1 ().
z H0
El principio del mximo fuerte para soluciones dbiles (vase [54]) implica que z > 0
en (recordemos que f 0 y f 0 en y por lo tanto tambin f1 ). Usando el
Teorema 1.3.6 tenemos que zn es equi-continua en .
En consecuencia, puesto que la sucesin {zn } es equi-acotada y equi-continua, por
el teorema de Ascoli-Arzel, C (0 ) est embebido compactamente en C(0 ) para
cada 0 , deducimos que la sucesin {zn } tiene una subsucesin (la notamos
por ella misma) que converge uniformemente a alguna z en C(0 ). Gracias a que z es
continua y z > 0 en , dado 0 existe l0 > 0 tal que z l0 > 0 para x 0 .
Esto fuerza claramente a que
1
w n l 0 ,
2
x 0 ,
n >> 0.
Z s
1
1
un Pn
1
l
2 0
> P1
1
l
2 0
:= c0 > 0,
0 .
57
Completacin de la demostracin del Teorema 2.5.1. Una vez probado el principio del
mximo fuerte uniforme la prueba del Teorema 2.5.1 basta seguir las ideas de la prueba
del Teorema 2.1.1
2.5.1.
En este apartado extendemos el Teorema 2.5.1 al caso no linealidades g ms generales. Estudiamos el problema de Dirichlet casilineal ms general
lim s0+
b Rt
1 h(r)dr
dt < +
(2.5.6)
y > 0. Puesto que sh(s) podra ser cualquier funcin no-decreciente, remarcamos
que no estamos imponiendo ninguna condicin sobre el crecimiento de g(x, s) cuando
s tiende a innito. Notamos que (2.5.6) es una condicin sobre el comportamiento de
1
h cerca de 0. Consecuentemente, si tomamos h(s) = , entonces (2.5.6) se verica si
s
y slo si < 1 o si = 1 y > b. Por lo tanto, si asumimos que g(x, s) est acotada
en [, M] para cada M > > 0, entonces un ejemplo simple en el cual (2.0.1) y
(2.5.6) se satisfacen es, que se verique la condicin
R
g(x, s) ,
s
s
para s en un entorno de 0
a.e. x ,
donde R > 0 y > Rb. De este modo, probamos en [75] la siguiente extensin del
Teorema 2.1.1.
2N
Teorema 2.5.3. Sea 0 f Lm () para algn m N+2 con f 0 en y asumimos que se satisfacen (1.3.2), (2.0.1), (2.5.2) y (2.5.6). Si > a, entonces existe una
1
solucin u H0 () de (2.5.5), es decir, u satisface u > 0 en , g(x, u)|u|2 L1 (),
y
M(x, u)u +
1
para todo H0 () L ().
f ,
58
Observacin 2.5.4. Observamos que mejoramos el resultado en [6] por los siguientes
motivos:
1) No asumimos que f verique (5).
2) Consideramos una clase ms general de operadores (no necesariamente lineal
como en [6]) en la parte principal de la ecuacin y tratamos con lower order terms
ms generales (en [6] se asume que Q sea la matriz identidad).
Prueba del Teorema 2.5.3. Aproximamos la funcin g por funciones continuas en 0.
Concretamente, por las funciones aproximadas gn : (0, +) R (n N) denidas
de la siguiente manera
si s 0,
0
gn (x, s) =
2
s g(x, s) si 0 < s.
s+ 1
n
n+
a.e. x ,
s R,
(2.5.7)
para cada n N.
Consideramos
div (M(x, un )un ) + gn (x, un )Q(x, un )un un = fn en ,
(2.5.8)
1
un H0 ().
1
Si fn = Tn ( f ), usando [69], existe una solucin un H0 () de (2.5.8) que pertenece a
() (vase [91]).
L
Tomamos un como funcin test en (2.5.8) para concluir que
M(x, un )|un |2 +
f n un .
|un |2 +
fn un ,
o, equivalentemente,
Z
Z
2
( a)
|un | +
Z
2
f n un .
Observando que, por (2.5.7), sgn (x, s)||2 + ||2 0, a.e. x , para cada s R,
RN tenemos que
asgn (x, s)||2 + a||2 0.
(2.5.9)
Por (2.5.9) y la denicin de fn tenemos que
Z
( a) un
f n un f
2N
L N+2 ()
un
L2 ()
S f
2N
L N+2 ()
un
L2 () .
59
1
Puesto que > a obtenemos que la sucesin un est acotada en H0 (). Por lo
1 ().
tanto, pasando a una subsucesin, tenemos que un u en H0
Por otro lado, tomando u mn{un , 0} como funcin test en (2.5.8) y usando las
n
mismas ideas de antes (gracias a que > a) obtenemos que un 0.
Teniendo en cuenta (2.0.1) podemos proceder de forma similar a la prueba de la
Proposicin 2.5.2 para mostrar que un estn uniformemente lejos de cero en cada sub1
b R un + n
1
1
b R un + n
1
M(x, un )un e
Z
h(r)dr
h(r)dr
M(x, un )un un h un +
1
b R un + n
1
f n e
h(r)dr
1 b R1un + 1 h(r)dr
n
e
n
1
b R un + n
1
h(r)dr
1
b R un + n
1
M(x, un )un e
Z
h(r)dr
1
b R un + n
1
f n e
h(r)dr
1
lo cual es (2.5.4) con h(s) = .
s
Z s
b Rt
De (2.5.6), deducimos que la funcin P(s) =
e 1 h(r)dr dt est bien denida. Con0
secuentemente, si jamos L > 0 tal que {un }L {uL} a.e. x , podemos seguir
los argumentos de la Proposicin 2.5.2 para concluir que un estn uniformemente lejos
de cero en cada subconjunto compacto de . Para concluir la prueba, basta mostrar
que existe una subsucesin de {un } que converge a una solucin positiva de (2.5.5), lo
cual se realiza de manera similar a los Pasos 1, 2 y 3 de la prueba del Teorema 2.1.1.
60
Captulo
u(x, 0) = u0 (x)
en ,
u(x,t) = 0
en (0, T ),
(3.0.1)
def
donde M(x,t, s) = (mi j (x,t, s)), i, j = 1, . . . , N es una matriz simtrica cuyos coecientes mi j : Q R R son funciones de Carathodory tal que existen constantes
0 < vericando
||2 M(x,t, s) ,
(3.0.2)
|M(x,t, s)| ,
f Lr (0, T ; Lq ()) con
(s, ) R RN , a.e. x ,
t (0, T ) .
2
1
+
< 1, q 1, r > 1 satisface
r Nq
(3.0.3)
g(x,t, s) h(s),
s
a.e. x , s > 0,
t (0, T )
(3.0.4)
62
Especicamos, que por simplicidad, nos centramos en el caso que el dato f est
2
1
< 1, q 1, r > 1 y u0 L () sea una funen el espacio Lr (0, T ; Lq ()) con +
r Nq
cin no negativa. De hecho, las ideas principales de las pruebas se podran extender
y tomar datos ms generales, en concreto f L1 (Q) satisfaciendo (3.0.3). Este caso
se puede tratar usando argumentos de aproximacin y compacidad (ver por ejemplo
[8, 25]). Sin embargo, estos argumentos nos llevaran a tratar con soluciones de energa nita. Preferimos evitar introducir demasiadas pruebas tcnicas para centrarnos
en la verdadera dicultad del problema la cual es la presencia del trmino singular
g(x,t, u)|u|2 en un problema de Cauchy homogneo.
1
Una solucin de (3.0.1) es una funcin u L2 (0, T ; H0 ()) C([0, T ]; L1 ()) tal
2 pertenece a L1 (Q) y u(x, 0) = u a.e. en el cual
que u > 0 a.e. en Q, g(x,t, u)|u|
0
satisface
Z T
u0 (0)
t , u +
Z
2
M(x,t, u)u +
Q
g(x,t, u)|u| =
Q
f ,
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()) y (T ) = 0.
El otro tipo de problemas que estudiamos es
u(x, 0) = u0 (x)
en ,
u(x,t) = 0
en (0, T ),
(3.0.5)
s [0, ), a.e. x ,
t (0, T )
(3.0.6)
donde 0 L1 ((0, T )), (s), h(s) : [0, ) R+ son funciones reales crecientes
y continuas tal que h(0) = 0, lims h(s) = +.
Observamos que el trmino no lineal g tiene una asntota en . Decimos que una
1
solucin de (3.0.5) es una funcin no negativa u L2 (0, T ; H0 ()) C([0, T ]; L1 ()),
tal que u < a.e. en (0, T ), g(x,t, u) pertenece a L1 (Q) y u(x, 0) = u0 < la cual
satisface
Z
Z T
u0 (0)
t , u +
M(x,t, u)u +
Q
g(x,t, u) =
Q
f (x,t),
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()) y (T ) = 0.
Observacin 3.0.5. Observamos que en ambas deniciones de solucin hemos impuesto la condicin tcnica (T ) = 0. Un argumento de densidad nos permite mostrar
que, de hecho, si modicamos un poco la denicin, podemos tomar funciones test que
no se anulan en T . Concretamente, tenemos que sustituir las integrales que involucran
la derivada en el tiempo de la funcin test
Z T
u0 (0)
t , u ,
u(T )(T )
Z T
u0 (0)
t , u .
Notamos, que como u C([0, T ], L1 ()), todos los trminos de la expresin anterior
estn bien denidos. Usaremos este hecho para la prueba de la existencia segn nos
convenga.
La prueba de nuestro resultado de existencia y regularidad se basa en un argumento
de aproximacin y compacidad donde la clave ser una estimacin inferior local uniforme de la sucesin de soluciones aproximadas. Adems, probamos un principio de
comparacin que ser esencial para estudiar el comportamiento asinttico de las soluciones. La idea bsica para probar el principio de comparacin es tomar una funcin
test (vase [13]) que permite establecer una desigualdad donde no aparece el trmino
del gradiente cuadrtico. Para el comportamiento asinttico de las soluciones cuando
t tiende a innito usamos las tcnicas de [80].
Organizamos el captulo de la siguiente manera: en la Seccin 3.1. probamos
el Teorema 3.1.1 y la prueba del Teorema 3.2.1 la realizamos en la Seccin 3.2.
Dedicamos la Seccin 3.3. a un resultado de comparacin para el problema (3.0.1).
Adems, establecemos un resultado de unicidad para dicho problema y exponemos la
idea de como se realiza el principio de comparacin para el problema (3.0.5) as como
de la unicidad. En la Seccin 3.4. probamos la estabilidad de las soluciones del problema (3.0.1) a la solucin estacionaria del problema y readaptamos este resultado para
obtener el resultado de estabilidad para el problema (3.0.5).
3.1.
si s 0,
0
2 s2 T (g(x,t, s)) si 0 < s < 1 ,
n
gn (x,t, s) =
n
n
Tn (g(x,t, s))
si 1 s.
n
Por (3.0.4), tenemos que
gn (x,t, s)s + 0
a.e. x ,
t (0, T ),
s R+ ,
(3.1.1)
64
||2
+ ||2 0,
1 + 1 ||2
n
(3.1.2)
1 + n |un |2
en ,
un (x, 0) = u0 (x)
u (x,t) = 0
en (0, T ),
n
(3.1.3)
con (un )t
Adems, existe d > 0 (independiente de n) tal que
un L (Q) d para cada n N (vase [15]).
Probamos estimaciones a priori de la sucescin de soluciones {un } en los espacios
2 (0, T ; H 1 ()) y L (0, T ; L2 ()). Tomando = u como funcin test en (3.1.3) y
L
n
0
usando (3.0.2) se sigue que
L2 (0, T ; H 1 ()).
Z T
0
|un |2
(un )t , un + ( ) |un | + gn (x,t, un )
u + |un |2
1
2 n
1 + n |un |
Q
Q
un
L2 (0,T ;H 1 ())
f un
Q
1
L2 (0,T ;H0 ()) .
Puesto que
Z T
0
1
=
2
(un )t , un
d 2 1
un =
2
Q dt
u2 (T )
n
1
2
u2 (0)
n
(3.1.4)
u2 (T ) +
n
C, f
|un |2 +
Q
2
L2 (0,T ;H 1 ()) +
gn (x,t, un )
Q
1
u0
2
|un |2
u + |un |2
1
2 n
1 + n |un |
2
L2 () .
gn (x,t, un )
|un |2
u est acotada en L1 (Q).
1
2 n
1 + n |un |
n
(3.0.2), (3.1.2) y (3.1.4) obtenemos que
1
2
u2 (T )
n
1
2
(u )2 + ( )
0
Z
Q
|u |2 0,
n
y, gracias a que los dos primeros trminos son positivos (recordamos que u0 > 0)
tenemos que
Z
( )
Q
|u |2 0.
n
H(s) =
Z s
h(t)dt + log s ,
h(t)dt =
1
(s) =
H(t)
dt ,
H(un )
un L2 (0, T ; L2 ()),
66
Z T
(un )t , e
H(un )
M(x,t, un )un un
Q
M(x,t, un )un e
H(un )
h(un ) H(un )
e
h(un )|un |2 e
H(un )
f e
H(un )
(un )t ,
M(x,t, un )(un )
f e
H(un )
H(un )
1 f .
H(s)
en Q.
x y t (0, T ).
Por lo tanto, obtenemos que existe c,T > 0 (independiente de n) tal que
un (C0 ) = c,T ,
en (0, T ).
Paso 2. Convergencia local fuerte de las soluciones aproximadas. De (3.1.3) obtenemos que la sucesin {(un )t } est acotada en L2 (0, T ; H 1 ()) + L1 ( (0, T )). Usando los argumentos de compacidad de Aubin-Simon (vase de nuevo el Corolario 4
en [89]) tenemos que
un u en L2 ( (0, T )).
Ahora, probamos que para cada ,
un u en L2 (0, T ; H 1 ()).
(3.1.5)
R2
,T
(s) = ses con > 2 . Ahora usamos la regularizacin en el tiempo de las fun1
ciones u que pertenecen a L2 (0, T ; H0 ()) tal y como hemos denido en (1.2.2) y que
hemos notado por u .
Z T
(3.1.6)
Z s
Z T
Z T
(un )t , (un u ) =
(r)dr obtenemos
d
(un u ) +
dt
Q
Z T
(un u )t , (un u ) +
(u )t , (un u )
Z T
(un u )(T )
(u )t , (un u )
Z T
(un u )(0) +
(u )t , (un u )
Z T
(u )t , (un u ) .
(3.1.7)
(u )t , (un u )
=
Q
(u u ) (un u )
=
Q
(u u ) (u u ) + (, n)
ya que para n +, (un u ) converge a (u u ) dbil- en L (Q) y el otro trmino es positivo ya que la funcin del integrando es positiva. Por lo tanto, deducimos
que
Z T
0
(u )t , (un u ) (, n),
|un |2
(un u )
+ gn (x,t, un )
1
1 + n |un |2
Q
Z
Q
f (un u ) (, n).
f (un u )
68
gn (x,t, un )
|un |2
(un u )
1
1 + n |un |2
gn (x,t, un )
|un |2
(un u )
1
1 + n |un |2
(0,T )
R,T
|un |2 | (un u )| .
De este modo
Z
Q
Aadiendo
|un |2 | (un u )|
2
Q
Z
2
|u| | (un u )| = 2
+2
Q
R2
,T
Como > 2 , se verica que (s) 2R,T | (s)| para cada s R y deduci
2
mos (3.1.5).
Paso 3. Procedemos a mostrar que el lmite u de las soluciones aproximadas un es una
solucin de (3.0.1). Recordamos que un satisface
Z T
0
(un )t , +
M(x,t, un )un +
Q
gn (x, un )
Q
|un |2
=
1 + 1 |un |2
n
f ,
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()) y (T ) = 0.
Procedemos ahora a pasar al lmite en el problema aproximado. Seguimos las
ideas de [23]. Usando la integracin por partes y la convergencia dbil de un a u
1
1
en L2 (0, T ; H0 ()) deducimos que, para cualquier L2 (0, T ; H0 ()) L (Q) con
t L2 (0, T ; H 1 ()) y (T ) = 0,
Z T
0
(un )t , =
Z T
u0 (0)
t , un
Z T
u0 (0)
t , u .
M(x,t, un )un
M(x,t, u)u .
Para acabar la prueba del Teorema 3.1.1 nos falta probar que
Z
lim
n+ Q
gn (x,t, un )
|un |2
=
1 + 1 |un |2
n
g(x,t, u)|u|2 ,
Q
Cc (Q).
Del Paso 1, deducimos que existe c,T > 0 tal que las soluciones aproximadas verifican que un (x) c,T > 0, a.e. x supp . De este modo, concluimos que para
alguna c > 0 tenemos |gn (x,t, un (x))| c, a.e. x y para todo t (0, T ). De (3.1.5)
deducimos que existe h L2 () tal que |un | h y un converge a u a.e. en y
para todo t (0, T ). Por lo tanto,
|gn (x,t, un (x))|
|un (x)|2
2
ch0 (x) a.e. x ,
1
2
1 + n |un (x)|
t (0, T ).
Adems, por la denicin de la funcin gn , para n > 1/c,T sabemos que se verica
gn (x,t, un (x)) = Tn (g(x,t, un (x))) y de este modo
gn (x,t, un (x))
|un (x)|2
g(x,t, u(x))|u(x)|2
1
2
1 + n |un (x)|
a.e. x ,
t (0, T ).
Z T
u0 (0)
t , u +
g(x,t, u)|u|2 =
M(x,t, u)u +
Q
f ,
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()) y (T ) = 0.
Veamos que g(x,t, u)|u|2 L1 (Q). Para s > 0 y > 0, tomamos Ts+ (Gs (un ))
como funcin test en (3.1.3). Usando que algunos trminos son positivos llegamos a
que
Z
2
f+
Q
u0 .
g(x,t, u)|u|2
Q
f+
Q
u0 .
Finalmente observamos que, de la ecuacin podemos deducir que ut pertenece al espacio L2 (0, T ; H 1 ()) + L1 (Q), y as gracias a un resultado de [81], tenemos que
u C([0, T ]; L1 ()), y por lo tanto se alcanza el dato inicial (ya que para cada tn que
converge a 0 se tiene que u(tn ) converge a u(0)) y queda probado el Teorema 3.1.1.
Observacin 3.1.2. Podramos considerar datos ms generales, a saber u0 una funcin no negativa tal que
Z 1
(x) =
u0
H(t)
1
dt Lloc ().
70
3.2.
u (x, 0) = u0 (x)
en ,
n
un (x,t) = 0
en (0, T ).
1
Por [72] existe una solucin un L2 (0, T ; H0 ()) C([0, T ]; L2 ()) del problema an2 (0, T ; H 1 ()). Adems, gracias a [15] existe l > 0 (independiente
terior y (un )t L
de n) tal que un L (Q) l, para cada n N.
1
Ahora, probamos que un estn acotadas a priori en ambos espacios L2 (0, T ; H0 ())
(0, T ; L2 ()). Para ello, usamos = u como funcin test en el problema aproxiyL
n
mado, y se sigue que
Z T
M(x,t, un )|un |2 +
(un )t , un +
gn (x,t, un )un =
f un .
u2 (T ) +
n
|un |2 +
Q
gn (x,t, un )un l
Q
f+
Q
1
u0
2
2
L2 () .
1
Esto implica que {un } est acotada en L2 (0, T ; H0 ()) (en particular, pasando a
2 (0, T ; H 1 ())) y en L (0, T ; L2 ()). Adems, la suceuna subsucesin, un
u en L
0
sin gn (x,t, un )un est acotada en L1 (Q).
Notamos que, como (un )t est uniformemente acotada en L2 (0, T ; H 1 ())+L1 (Q),
entonces podemos usar los argumentos clsicos de compacidad de Aubin-Simon (ver
Corolario 4 en [89]) para deducir la convergencia en casi todo punto de un a u.
Z
Consideremos m x h1 ( f
a
mo u0 < , obtenemos que
L (Q)
), u0
L ()
< y (s) =
0
(r )+ dr. Co-
Z T
(un )t , (un )
d
=
(un ) =
dt
Q
71
(un (T ))
(u(0))
(u0 ) = 0,
es decir
Z
0
{n>h(un )h()}
{h(un )nh()}
[n f (x,t)] (un )+ .
gn (x,t, un (x,t))
gn (x,t, un (x,t)) =
E
E{un (x,t)<}
g(x,t, un (x,t))
E{un (x,t)<}
()
(x,t).
E
Y as
gn (x,t, un (x)) = 0.
lim
meas(E)0
E
La equiintegrabilidad de gn (x,t, un (x,t)) que hemos probado anteriormente y la convergencia a.e. a g(x,t, u(x,t)) implican que
gn (x,t, un ) g(x,t, u) en L1 (Q).
De este modo, podemos pasar al lmite en la sucesin de los problemas aproximados
para obtener que u es una solucin de (3.0.5) con f L (Q) y u0 L () < .
Paso 2. Consideramos fn = Tn ( f ), y las soluciones del problema aproximado
en ,
u (x, 0) = T 1 (u0 (x))
n
n
un (x,t) = 0
en (0, T ),
72
L (Q) ),
u0
< .
L ()
|un |2 +
(un )t , un +
Q
g(x,t, un )un
fn un
1
y por lo tanto obtenemos las estimaciones en L2 (0, T ; H0 ()), en L (0, T ; L2 ()) y
1 (Q).
que gn (x,t, un )un est acotado en L
Si, para s > 0 y > 0 tal que s + < , tomamos Ts+ (Gs (un )) como funcin
test en el problema aproximado. Usando que 0 un n y que algunos trminos son
positivos, deducimos que para todo s < se verica
fn (s + ) +
{su0 <}
{sun (x,t)<}
u0 (s + ).
g(x,t, un (x,t))
{sun (x,t)}
u0 ,
g(x,t, un (x,t))
{sun (x,t)}
s < .
{su0 }
{sun (x,t)}
s < .
u0 ,
fn +
f+
{sun (x,t)}
(3.2.1)
{su0 }
g(x,t, un (x,t)) =
E
g(x,t, un (x,t)) +
E{0un (x,t)<s}
f+
{sun (x,t)}
E{sun (x,t)}
u0 + (s)
{su0 }
g(x,t, un (x,t))
(x,t),
s < .
(3.2.2)
Por otro lado, de (3.0.6), puesto que g(x,t, un (x,t))un (x,t) est acotado en L1 (Q), tenemos
Z
h(s)s
{sun (x,t)}
dx
73
Como f L1 (Q) y u0 < , se sigue que, para cualquier > 0 jado, existe 0 < s0 <
tal que
Z
Z
f < y
u0 < .
{s0 <u0 <}
{s0 un (x,t)<}
g(x,t, un (x,t)) .
lim
meas(E)0
De este modo, hemos probado que {g(x,t, un )} es equiintegrable. Por lo tanto, por el
teorema de Vitali obtenemos que
g(x,t, un ) g(x,t, u) fuertemente en L1 (Q).
En consecuencia, si pasamos al lmite cuando n en la nocin de solucin dbil
del problema aproximado
Z
Z T
un (0)(0)
M(x,t, un )un +
t , un +
Z
Q
g(x,t, un ) =
Q
fn ,
Q
obtenemos que
Z
Z T
u0 (0)
t , u +
M(x,t, u)u +
Q
g(x,t, u) =
Q
f ,
Q
1
para cualquier L2 (0, T ; H0 ()) L (Q) con t L2 (0, T ; H 1 ()). Con lo que el
Teorema 3.2.1 queda probado. Observemos que, aplicando el lema de Fatou en (3.2.1),
deducimos que
g(x,t, u(x,t))
{su(x,t)<}
3.3.
f+
{s<u(x,t)<}
u0 .
{s<u0 <}
Una vez probada la existencia de solucin en la Seccin 3.1, principio de comparacin y unicidad de solucin en la Subseccin 1.3.1 estamos en disposicin de abordar
resultados de estabilidad para los diferentes problemas parablicos estudiados, y a ello
dedicamos esta seccin. Probamos primero el comportamiento asinttico de los problemas parablicos casilineales con crecimiento natural y dependencia singular en el
gradiente. Posteriormente (usando las ideas de la prueba anterior) para los problemas
semilineales con una asntota en el lower order term sin dependencia en el gradiente.
3.3.1.
74
en ,
v(x) = 0
en ,
(3.3.2)
t+
ut u + |u| = f (x,t) en Q ,
u
en ,
u(x, 0) = u0 (x)
u(x,t) = 0
en (0, ).
con 1 si se verica (1.3.16).
Prueba del Teorema 3.3.1. Organizamos la prueba en algunos pasos que detallamos a
continuacin.
Paso 1. Probamos el resultado aprovechando el carcter montono de la solucin
respecto a t con un dato inicial particular. Concretamente:
Paso 1.1. La solucin del problema (1.3.17) es no-decreciente si u0 = 0.
75
w (x, 0) = w(x, )
w (x,t) = 0
en Q,
en ,
en (0, T ) .
wt w + g(w)|w|2 = f (x) en Q,
w(x, 0) = 0
en ,
w(x,t) = 0
en (0, T ).
(3.3.3)
Aplicando el Teorema 1.3.16 obtenemos que w(x,t) w (x,t). Esto implica que
w (x,t) es creciente en .
Adems, v(x) es una supersolucin del problema (3.3.3) , con lo que aplicando de
nuevo el Teorema 1.3.16 deducimos
w(x,t) v(x), a.e. en ,
t (0, T ).
(3.3.4)
Por lo tanto existe una funcin w(x) tal que w (x,t) converge a.e. en Q a w(x)
cuando tiende a +. El hecho de que w no depende del tiempo se sigue de la de
sigualdad
w (x, 0) = w(x, ) w(x, + t) = w (x,t) w(x, T ) v(x).
Adems, gracias a (3.3.4), como v est acotada, tenemos que
w (x,t) w(x)
76
zt z + g(z)|z|2 = f en Q
z(x, 0) = rv(x)
en
z(x,t) = 0
en (0, T ) ,
a.e. en
Q.
(3.3.5)
zt z + g(z )|z |2 = f en Q
z (x, 0) = z(x, )
en
z (x,t) = 0
en (0, T ).
Como antes, la monotona en t de z(x,t) implica la monotona de z (x,t) respecto a .
Por lo tanto, z (x,t) converge a.e. en Q a una funcin z(x,t) y argumentando como en
el paso anterior podemos deducir que z no depende de t.
Ahora, es fcil adaptar la prueba del Teorema 3.1.1 y probar que w (resp. z )
1
converge a w(x) (resp. z(x)) fuertemente en L2 (0, T ; Hloc ()), y g(w )|w |2 (resp.
1
g(z )|z |2 ) converge a g(w)|w|2 (resp. g(z)|z|2 ) fuertemente en Lloc (Q).
As que podemos pasar al lmite en la formulacin dbil de los problemas respectivos que verican w y z para concluir que ambas w(x) y z(x) son soluciones estacio
narias de (1.3.17). Aplicando el resultado de unicidad para el problema elptico (3.3.2)
en [13], deducimos que w(x) z(x) v(x).
wt , (x) +
w (x) +
Q
f (x) .
Q
77
Ahora, como no depende de t, y w (x, T ) y w (x, 0) admiten el mismo lmite, tenemos que
Z T
lim
0
= lim
wt , (x)
Z T
w , (x)t +
w (x, T )(x)
w (x, 0)(x) = 0.
1
As que, gracias a la compacidad fuerte de w en L2 (0, T ; Hloc ()) y de g(w )|w (x)|2
1 (Q), obtenemos
en L
w(x) (x) +
Z
2
g(w)|w(x)| (x) =
f (x)
1
y entonces, podemos tomar (por un argumento de densidad) (x) H0 () L (),
w(x) v(x) ,
donde v(x) es la nica solucin del problema (3.3.2).
Observamos que, (3.3.4) y (3.3.5), la convergencia a.e. de w(x,t) y z(x,t) a v(x) y
la acotacin de v(x) implican que la convergencia a la solucin estacionaria es dbil-
en L ().
Paso 2. Prueba completa si 0 u0 rv.
Ahora consideramos un dato inicial u0 (x) tal que 0 u0 (x) rv(x) para algn
r 1, y sea u(x,t) la solucin del problema (1.3.17).
Gracias al Teorema 1.3.16 tenemos que
w(x,t) u(x,t) z(x,t) a.e. en Q .
As que, pasando al lmite con respecto a la variable t, tenemos que
v(x) = lim w(x,t) lim inf u(x,t) lim sup u(x,t) lim z(x,t) = v(x).
t+
t+
Con lo que el lmite respecto a la variable t de u(x,t) existe, coincide con v(x) y la
convergencia es dbil- en L ().
Paso 3. u0 L ().
Denimos la familia de funciones montonas no-decrecientes (en )
u0, = mn(u0 , v).
Para cada > 1 jado, consideramos la solucin u (x,t) del problema (1.3.17) con u0,
como dato inicial. Como hemos probado en el paso anterior, cuando t tiende a innito,
u (x,t) converge a v a.e. en . Gracias al teorema de la convergencia dominada de
Lebesgue, y al hecho de que v > 0 a.e. en Q, podemos ver fcilmente que u0, converge
a u0 en L2 () cuando tiende a innito.
Podemos probar (vase la prueba del Teorema 1.3.16 aplicada a u y u ), que para
cualquier > 1 jado, se verica la siguiente estimacin
Z
Z
2
|u0 u0, |2 ,
|u u | (t)
78
L2 ()
u(x,t) u (x,t)
L2 () +
u (x,t) v(x)
L2 () .
Como la estima anterior es uniforme en t, para cada jado, podemos escoger sucientemente grande tal que
u(x,t) u (x,t)
L2 ()
,
2
a.e. en
para cada t > 0. Por otro lado, ya que u (x, 0) est entre 0 y v, por el Paso 2 existe t
tal que
3.3.2.
u(x, 0) = u0 (x)
en ,
u(x,t) = 0
en (0, T ).
(3.3.6)
t+
en .
79
L2 ()
C u0 u0,k
L2 () ,
t (0, T ).
L2 ()
,
2
L2 ()
.
2
L2 ()
u(x,t) uk (x,t)
L2 () +
uk (x,t) v(x)
L2 () .
L2 ()
,
3
y t tal que
uk0 (x,t) vk0 (x)
Lo cual concluye el esquema de la prueba.
L2 ()
.
3
L2 ()
,
3
80
Chapter
on ,
82
4.1.
Abstract framework
We prove in this section the compactness of the operator K. First of all, we need
a technique lemma that we will use in the following. Observe that our denition of
solution of (7) includes the integrability of g(u)|u|2 . We will see in the following
1
result that a consequence is that g(u)|u|2 is also integrable for every H0 ().
1 () is a solution for (7), then g(u)|u|2 L1 () for
Lemma 4.1.1. If 0 < u H0
1
every H0 () and, in particular, it holds
Z
u +
g(u)|u| =
u +
1
H0 ().
f0 ,
(4.1.1)
1
Proof. Observe that, since p 2 1 then u p , u p L1 () for every H0 (). Even
+ ) as test function in (8), and using the Holdr inequality we have
more, taking Tk (
g(u)|u| Tk ( ) =
(u p + f0 )Tk (+ )
uTk ( ) +
1
H0 ()
1
H0 () +
(u p + f0 )+ .
( )
Similarly, taking Tk
as test function in (8) we obtain that g(u)|u|2 L1 ()
and
Z
Z
g(u)|u|2 u H0 () H0 () (u p + f0 ) .
1
1
In particular,
g(u)|u|2
L1 ()
and
g(u)|u|2 || u
1
H0 ()
1
H0 ()
(u p + f0 )||.
Remark 4.1.3. The thesis of Lemma 4.1.1 is true even for more general problems of
the type
u + g(x, u)|u|2 = f (, x, u) in ,
(4.1.2)
u=0
on .
assuming the following hypotheses
g(x, s) 0,
s > 0, a.e. x
0 f (, x, s) cs p + f0 (x),
for some 0 p <
2 1,
c > 0 and f0
s > 0, a.e. x
L2N/(N+2) ().
83
Now we give sufcient conditions to assure that problem (7) satises the uniform
strong maximum principle (USMP), that is, for every there exists a positive
lower bound in (independent from ) of any solution of (7).
Proposition 4.1.4. Suppose that 0 f0 and g L1 (0, 1). Then for every there
exists L > 0 such that,
u(x) L , a.e. x ,
1
for every solution u H0 () of (7) (with any positive constant).
Proof. Taking into account that s p + f0 (x) T1 ( f0 (x)), for all s 0, then every so1
lution u H0 () is a supersolution for the problem
v + g(v)|v|2 = T1 ( f0 (x)) in ,
v=0
on .
, s > 0,
x ,
and
0 g(x, s) h(s),
(4.1.3)
(4.1.4)
on ,
1
is strongly convergent in H0 () to the solution u of
(4.1.5)
on .
Remark 4.1.7. We point out that in order to assure the uniqueness of solution for
problems (4.1.4) and (4.1.5) by applying Theorem 1.3.12, we have to impose that tn g(s)
and t g(s) are integrable in a neighborhood of zero.
84
Proof. If g 0 is continuous in [0, +) and the datum 0 f0 L N+2 (), then the
proof follows by [20]. Here, we give the proof only in the case of a singular g, that
is, g 0 is continuous in (0, +), decreasing and integrable in a neighborhood of
2N
zero with lims0 g(s) = + and the datum 0 f0 L N+2 (). It sufces to prove that
every subsequence of {un } possesses a subsequence converging to the unique solution
1
1
u H0 () of (4.1.5). First we prove that un is bounded in H0 (). Indeed, choosing
un as test function in (4.1.4), using that g is nonnegative and Hlder and Sobolev
2N
2N
inequalities and taking into account that p N+2 (2 1) N+2 = 2 we have
un
1
H0 ()
S n S p wn
p
p
||1 2
1
H0 ()
+ f0
L2N/(N+2) ()
1
Thus the boundedness of wn and n implies that un is bounded in H0 (). Therefore,
1 () such that, up to a subsequence, u converges to u weakly in
there exists u H0
n
1
H0 (), strongly in L2 () and almost everywhere in .
Moreover, choosing 1 T (un ) as test function in (4.1.4) and dropping some positive
T (un )
tn g(un )|un |2 n
(w+ ) p +
n
f0 .
tn g(un )|un | n
(w+ ) p +
n
f0 .
Therefore, using again that wn H0 () and n are bounded sequences we have that
1
2 is bounded in L1 ().
tn g(un )|un |
Since n (wn (x)+ ) p + f0 (x) tn g(un )|un |2 is bounded in L1 (), we can apply
Lemma 1 of [26] (see also [31]) to deduce that, up to (not relabeled) subsequences,
un u a.e. in . Even more, using Proposition 4.1.4 we can argue as in Sec1
tion 2.1 to deduce that un u in Hloc () and u is a solution for (4.1.5) and thus, by
the uniqueness, Theorem 1.3.12, u = u.
1
Fix now k R. Since Gk (un ) is strongly convergent to Gk (u) in H0 () (see Section 2.1), to prove the strong convergence of un = Gk (un ) + Tk (un ), we only have to
1
show the strong convergence of Tk (un ) in H0 (), for some k > 0. To make it, we
consider the real functions , , n : (0, +) R, dened by
Z s
(s) =
Z s
g(r)dr,
1
(s) =
0
et
(r)
Z s
dr,
n (s) =
1
for every s > 0. If > 0, 0 < u, un H0 () and we denote
85
g(Tk (un ) + )|Tk (un )|2 etn (Tk (un )+) n,k
+tn
n,k =
(T (u)+)
k
Similarly, taking = et
Z
Tk (u)et
(T (u)+)
k
n,k t
+t
(T (u)+)
k
n,k
2 t (Tk (u)+)
((w+ ) p + f0 )et
n,k =
(T (u)+)
k
n,k
Gk (u)et
(k+)
n,k t
(k+)
n,k .
Subtracting both identities and using Fatou lemma and that g is decreasing in a neighborhood of 0, we can pass to the limit as 0 to obtain that
Z
|n,k |2
((w+ ) p + f0 )et
(T (u))
k
Gk (u)et
(k)
g(un )|Gk (un )|2 etn (k) [n (Tk (un )) (Tk (u))]
tn
+t
g(u)|Gk (u)|2 et
(k)
1
Observe that n (Tk (un )) (Tk (u)) is bounded in H0 () and it has zero limit a.e.
1
x . Thus, n (Tk (un )) (Tk (u)) is weakly convergent to zero in H0 () and
lim
n+
lim
n+
(k)
lim
Gk (u)et
n+
((w+ ) p + f0 )et
(T (u))
k
86
1
Using also the strong convergence of Gk (un ) to Gk (u) in H0 () we have
lim
n+
Moreover, taking into account that g(u)|u|2 L1 () and g(un )|un |2 is bounded in
L1 () we deduce in addition that
Z
lim
n+
g(u)|Gk (u)|2 et
lim sup tn
n+
(k)
g(un )|Gk (un )|2 etn (k) [n (Tk (un )) (Tk (u))] 0.
(T (u))
k
(T (u))
k
Tk (u)
Tk (u)
we deduce that
[Tk (un ) Tk (u)] = etn (Tk (un )) [n (Tk (un )) (Tk (u))]
etn (Tk (un )) et
This nally implies, using that etn (Tk (un )) et
bounded in L () and (4.1.6), that
un u in
(T (u))
k
(T (u))
k
1
H0 ().
1
Remark 4.1.8. Notice that the H0 () estimate at the beginning of the proof does not
depend on the function g.
Remark 4.1.9. The proof of the previous proposition remains true even if we replace
f0 in (4.1.4) by any sequence strongly convergent to f0 in L2N/(N+2) ().
4.2.
87
Now we can study the existence of continua of solutions. As in [85], we will distinguish two cases, if we have trivial solutions ( f0 0) or not ( f0 = 0). In the rst case
we will prove global bifurcation from the line of trivial solutions and in the second
case the existence of a continua of solutions without bifurcation.
4.2.1.
The rst result of this subsection is related to the existence of global continua in
the solution set S without bifurcation.
2N
Theorem 4.2.1. Consider 0 f0 L N+2 () and assume that hypothesis (G) holds.
Then there exists an unbounded continuum S of positive solutions which contains
(0, u0 ), where u0 is the unique solution of (7) for = 0.
1
Proof. To prove Theorem 4.2.1 we compute the index of the solution u0 H0 () for
1
(7) with = 0. Remind that for every isolated solution u H0 () of (7) for some
R, we denote by i(K , u ) the index of such a solution, that is, the topological
Leray-Schauder degree deg(I K , B (u ), 0) of the operator I K in a ball B (u )
centered at u with radius > 0 small enough (to assure that u is the unique solution
of (7) in this ball).
We claim that i(K0 , u0 ) = 1. To prove the claim we denote by U(t) the unique
solution for
u + tg(u)|u|2 = f0 (x) in ,
(4.2.1)
u=0
on ,
1
1
and we dene the function H : [0, 1] H0 () H0 () by H(t, w) = U(t) for every
1 (). Observe that H(1, w) = U(1) = K (w) = u , while
(t, w) [0, 1] H0
0
0
88
T (u(t))
choosing
as test function, we obtain
1
1
H0
|u(t)|2 + t
{u(t)}
g(u(t))|u(t)|2
T (u(t))
=
f0
T (u(t))
.
In particular,
2 T (u(t))
g(u(t))|u(t)|
f0 .
Taking now limits as goes to zero and using Fatou Lemma, we get
Z
2
1
H0 ()
1
from which the claim is clearlydeduced.
Z
2
g(u(t))|u(t)|
f0 ,
1
H0
u0
1
H0
4.2.2.
89
emanating from (0, 0). We prove now that bifurcation from the line of trivial solutions
occurs provided that, in addition, 0 p 1. Moreover, the bifurcation point is
=
if 0 p < 1,
if p = 1,
0,
1 ,
where we remind that 1 is denoting the rst eigenvalue of the Laplacian operator with
zero Dirichlet boundary conditions. In the sequel, 1 denotes the corresponding rst
1
positive eigenfunction associated to 1 with norm in H0 () equal to one.
Theorem 4.2.2. Assume that the function g : [0, +) [0, +) is continuous, f0 0
and 0 p 1. Then is the only bifurcation point from zero of positive solution
for (7). Moreover, there exists an unbounded continuum 0 S of positive solutions
emanating from ( , 0).
In order to prove Theorem 4.2.2 we use the global bifurcation theorem by Rabinowitz (see again [85]) or, more specically, that the index of the (isolated) trivial
solution changes as crosses = . This will be a direct consequence of the following
two lemmas.
Lemma 4.2.2. Let (, ) be a bounded closed interval. There exists > 0 such
that for every and every t [0, 1] problem
u + tg(u+ )|u|2 = t+ (u+ ) p
in ,
u=0
on ,
1
admits no solution u H0 () with u
1
H0 ()
(4.2.2)
(0, ].
Proof. First we consider the case 0 p < 1 (thus = 0) and (, 0). Then the
result holds for any > 0 since the unique solution of (4.2.2) for < 0 is the trivial
one.
We suppose now that p = 1, that is = 1 . We prove the assertion of the lemma by
contradiction. Assume that there exist the following sequences 0 n , tn [0, 1]
1
and 0 un H0 () with 0 < un H0 () 0, such that
1
un + tn g(un )|un |2 = tn n un
un = 0
Z un
Observe that
0
in ,
on .
etn
Rs
1
g(t)dt
1
ds = wn H0 (). We denote by zn the following se-
wn
1
. Up to a subsequence, zn weakly converges to z H0 () and
wn H0 ()
1
the convergence is strongly in Lq () for every q < 2 .
Using Lemma 1.3.5 we can take
quence zn =
etn
R un
1
g(t)dt (z z)
n
wn
1
H0 ()
90
zn (zn z) = tn n
un etn 1 g(t)dt
zn R un t R s g(t)dt (zn z).
n 1
ds
0 e
Z
zn (zn z) 0. Therefore
1
H0 ()
= 1.
R un
etn 1
On the other hand, using Lemma 1.3.5, we can take =
wn
function. This leads to
Z
zn 1 = tn n
as test
1
H0 ()
R un
g(t)dt
1
un etn 1 g(t)dt
zn R un t R s g(t)dt 1 .
n 1
ds
0 e
Using that un L () 0 (by Lemma 1.3.5) and passing to the limit by dominated
convergence theorem we obtain, up to a subsequence, that tn t , n < 1 =
and
Z
Z
Z
1 z1 = z1 = t z1 .
<
t
in ,
u=0
on ,
1
admits no positive solution u H0 () with u
1
H0 ()
(4.2.3)
(0, ].
1
Proof. Observe that if u H0 () is a solution of (4.2.3) and we choose (by Lemma
Ru
1.3.5) = e 1 g(t)dt 1 as test function, then we obtain
Ru
1
Z
g(t)dt
u1 =
Ru
1
g(t)dt
1 .
Z u
as
(u p + t)e
Rs
1
g(t)dt
1
ds = w H0 (), we can rewrite the above identity
Ru
u p e 1 g(t)dt
w1 = w R u R s g(t)dt 1 + t
1
ds
0 e
Ru
e 1 g(t)dt
w R u R s g(t)dt 1 .
1
ds
0 e
(4.2.4)
We divide now the rest of our proof in cases according to the value p.
R1
sp
Case 1. If p < 1 ( = 0), using that R s R t
s p1 e 0 g(u)du , for every s 0,
1 g(u)du dt
0e
we have
sp
lim R s R t
= +
1 g(u)du dt
s0+
0e
91
sp
+ 1,
>
R s R r g(t)dt
1
dr 0
0e
s (0, s0 ).
1
We claim that, if , problem (4.2.3) has no solutions u H0 () with norm
1/t
s0
u H0 ()
, where is given by (1.3.8). Indeed, if by contradiction, we
1
assume the existence of such a solution u for some , then, by Lemma 1.3.5
u L () s0 < 1. Consequently, we obtain
up
>
+1
R u R r g(t)dt
1
dr 0
0 e
and
e
Ru
1
g(t)dt
1.
w1
1
+1
0
w1 ,
which is a contradiction ( 0 ) proving the claim and thus the lemma in the case
p < 1.
Case 2. If p = 1, in order to prove the lemma, it sufces to show that if, for some > 0,
1
there exist sequences tn [0, 1], n and 0 un H0 () with 0 < un H0 () 0,
1
such that
un + g(un )|un |2 = n un + tn in ,
(4.2.5)
un = 0
on ,
then = 1 . To make it, denote wn =
Z un
Rs
1
g(t)dt
ds and zn = wn / wn
1
H0 () . We
1
can assume that, up to a subsequence, zn converges weakly in H0 () and strongly in
Ru
q () for every q < 2 to some z H 1 (). Taking = e 1 n g(t)dt (z z)/ w
L
1
n
n H0 ()
0
as test function in (4.2.5), we deduce that
R un
un e 1 g(t)dt
zn (zn z) = n zn R un R s g(t)dt (zn z)
1
ds
0 e
Z
R un
tn
+
e 1 g(t)dt (zn z),
wn H0 ()
1
lim
zn (zn z) = 0.
1
Therefore, zn z in H0 () and z H0 () = 1.
1
On the other hand, dividing (4.2.4) (with u = un and t = tn ) by wn
zn 1 n
R un
un e 1 g(t)dt
tn
zn R un R s g(t)dt 1 =
1
wn H0 ()
1
ds
0 e
0.
1
H0 () ,
R un
1
g(t)dt
we have
92
L ()
z1
z1 = (1 )
z1 .
Since z = 0, we get 1 and the proof of the lemma is completed also in the case
p = 1.
Remark 4.2.4. Observe that a direct consequence of the previous two lemmas is that
is the only possible bifurcation point from zero for positive solutions of (7).
Proof of Theorem 4.2.2 completed. We claim that i(K , 0) = 1 for every < and
that i(K , 0) = 0 for every > . In order to do that we use the above two lemmas
and the homotopy invariance of the degree.
1
1
If < , we dene the operator H : [0, 1] H0 () H0 () by taking H(t, w) as
1
the unique solution u H0 () of the problem
u + tg(u)|u|2 = t+ (w+ ) p ,
u = 0, x .
x ,
By Lemma 4.2.2 with = {}, we can consider > 0 such that u = H(t, u) for every
1
t [0, 1] and u H0 () with u H0 () = . Since H is compact by Proposition 4.1.6,
1
we can apply the homotopy invariance of the degree to conclude that
i(K , 0) = deg (I H(1, ), B (0), 0)
= deg (I H(0, ), B (0), 0) = i(()1 , 0) = 1.
On the other hand, if > we can apply in this case the Lemma 4.2.3 to choose
> 0 such that if H(t, w) is now the unique solution of
u + tg(u)|u|2 = (w+ ) p + t,
u = 0, x ,
x ,
1
1
where t [0, 1] and w H0 (), then u = H(t, u) for every t [0, 1] and u H0 () with
u H0 () = . Applying again the homotopy invariance of the degree to the compact
1
1
1
(by Remark (4.1.9)) operator H : [0, 1] H0 () H0 (), we obtain
4.3.
93
4.3.1.
1
,
s
s > 0
(4.3.1)
we obtain
u
1p
1
H0 ()
u
Z
p1
1
H0 ()
z p+1 +
|u|2 + g(u)|u|2 u
f0 z
u
.
p
1
H0 ()
u
u
1
H0 ()
94
1p
1
H0 ()
p+1
2
||1
p+1
2
f0
p
1
H0 ()
S p+1 ||1
which proves in this case that u
p+1
2
1
H0 ()
L2N/(N+2) ()
S
u
p
1
H0 ()
1
2
f0
L2N/(N+2) () ,
is bounded as is bounded.
ii) Let us consider the case 1 p < 2 and assume that (10) holds with the parameter
< 2 p. Thanks to this condition, we may construct a continuous and non
c
0
negative function h(s) such that h(s) = 0 for every s < s2 , h(s) = for every
s
s > s0 and g(s) h(s) for every s > 0. We also dene the function (s) given by
Z s
Z s
exp
(s) =
0
h(t)dt dv,
s 0.
2
1
H0 ()
(b)
(u p + f0 )(u).
(s)
Observe also that is bounded from above near innity (by (c) and construcs
tion of h) and near zero (by denition of and < 2 p < 1). Thus, there exists
p+
C > 0 such that (s) Cs for every s > 0. Therefore, dividing by u H 1 () in
0
the previous inequality and using the Hlder and Sobolev inequalities as before
we get
u
2p
1
H0 ()
f0 z
z p+ +
p+1
1
H0 ()
p+
CS p+ ||1 2 +
u
p+1
1
H0 ()
f0
L2N/(N+2) () ,
95
1
H0 ()
In conclusion, it has been proved the unboundedness of Proj[0,+) and the rst part
of theorem is concluded.
Now, we assume that 0
f0 and we prove the second part of the theorem by
un q q
un
|un |2
q+1
un
g(un )
2
+
q |un |
un
f0
q
un
pq
un .
= n
un
q +
un
g(un )
2
q |un | n
un
Z
pq
un .
By Proposition 4.1.4, for every , un is uniformly away from zero in supp and
g(un )
therefore, using (4.3.1) we deduce that q is bounded from above in supp and the
un
Z
pq
1
sequence
un is also away from zero. Therefore, if un is bounded in H0 (), the
left-hand side of the above equality is bounded from above and then n has to be also
bounded. We have proved the contrapositive of the second part of theorem.
Remark 4.3.1. Actually, if > 0 is xed, we have proved in the previous theorem
1
an a priori estimate for the H0 ()-norm of solutions of (7). This a priori bound is
the usual keystone to prove the existence of solutions by means of an approximating
approach. We have to point out that this is not enough, at least, in the case of singular
functions g where the uniform strong maximum principle is also essential. For instance,
1
if u H0 () is a solution of the problem
|u|2
u + 2+ = 1 in ,
u
u=0
on ,
and we take u as test function, we obtain a priori estimates of the norm u
However, it has been proved in [8] that this problem has no solution for > 0.
1
H0 () .
Remark 4.3.2. We can prove the same result for the problem (4.1.2) for the nonlinearity f (, x, u) u p + f0 (x) with p < 2, 0 f0 Lr () for some r > N and
2
g : (0, +) (0, +) a Carathodory function with
g(x, s) h(s),
s > 0,
for some continuous function h : (0, +) (0, +) verifying the hypotheses of the
previous theorem.
96
1
H0
1
H0
u0
1
H0
Figure 4.2: Existence of solution for every 0 < in the case 0 p < 1 with g continuous in
0.
1
H0
4.3.2.
97
In the semilinear case (g 0) it is known that, given f0 0 and p > 1, there exists
> 0 such that (7) has no positive solution for every > . Notice also that = 1
in the case p = 1 even if f0 0. As it is shown in the previous section, the quasilinear
case is quite different. However, this section is devoted to obtain sufcient conditions
on g for the existence of such a .
2N
exp 2
c1 g(s) + c2 ,
g(t)dt
1
s < 1,
(4.3.2)
then, there exists > 0 such that (7) has no positive solution for > .
Remark 4.3.3. If g is integrable in a neighborhood of zero, then (4.3.2) is trivially satised. Therefore, if, in addition to (11), hypothesis (G) is satised, then the unbounded
continuum given by Theorem 4.2.1 satises Proj[0,+) 1 [0, ].
Proof. For we denote by (x) the charactheristic function of and consider
the rst eigenvalue (respectively eigenfunction) (respectively ) associated to the
eigenvalue problem
u = (x)u in ,
u=0
on .
1
sequence of functions 0 n Cc () converging in H0 () to . Observe that the
R Tk (u)
1
function (u) = e 1 g(t)dt n belongs to H0 ()L () (use Proposition 4.1.4 in the
case that g is unbounded near zero). Thus, taking (u) as test function in the equation
satised by u and using that f0 0 we get
un e
R Tk (u)
1
g(t)dt
g(u)|u|2 e
+
{uk}
u p e
Rk
1
R Tk (u)
1
g(t)dt
g(t)dt
n .
Taking limits, rstly as k (using Fatou Lemma) and secondly as n (we know
H 1 ()
u e
Ru
g(t)dt
u p e
Z u
Ru
1
g(t)dt
Rs
1
We claim now that the function w =
e 1 g(t)dt ds satises that w H0 (). In0
Z 1
0w =
0
Z 1
Rs
1
g(t)dt
Z u
ds +
Rs
1
g(t)dt
ds
c1 g(s) + c2 ds + u 1 L2 ().
98
On the other hand by the concept of solution, g(u)|u|2 L1 () and this allows to
Ru
prove that ue 1 g(t)dt {u<1} L2 (). Indeed, using (4.3.2) we deduce
|u|2 e2
Ru
1
g(t)dt
Thus,
w = ue
Ru
1
{u<1} + ue
g(t)dt
Ru
1
g(t)dt
{u1} L2 ().
(x)w =
w(u)
(x)w (u).
Using Proposition 4.1.4, there exists L > 0 such that u(x) > L a.e. x . Moreover, by condition (11), c := inf (s) > 0 and we conclude that
s[c ,)
w c
w ,
and
sp
Rs
r
h(t)dt dr
1 > 0,
s < s1 .
Z s
exp 2
h(t)dt
1
c1 g(x, s) + c2 ,
s < s2 ,
a.e. in ,
then the assertion of the Theorem 4.3.2 remains true for the problem (4.1.2).
4.4.
We show in this section how to prove Theorems 4, 5, 6 and 7 from the results in
the previous sections.
Proof of Theorem 4. We deduce from Theorem 4.2.1 the existence of an unbounded
continuum S of positive solutions which contains (0, u0 ), where u0 is the unique
solution of (7) for = 0.
1. In the case that (9), we use Theorem 4.3.2 to assure that there exists > 0 such
that (7) has no positive solutions for > .
99
1
H0
1
H0
u0
1
H0
100
(s) =
Z t
exp
s > 0.
g(r)dr dt,
s (s) =
Z 1
g(r)dr +
s exp
0
Z t
g(r)
= (1) exp
s
g(r)dr dt
1
s
Z 1
Z +
p
dr
r
1
c) If u H0 () is a positive solution of (7) with p > 1, f0 0 and g con1
tinuous at zero, then (u) H0 (). Taking (u) as test function, in the
equation satised by u, we obtain
Z
2
[T1 (u)]
Z
2
|T1 (u)| =
[T1 (u)]2 .
u p (u) C
1
C.
A.1.
Dedicamos esta seccin del apndice a describir algunos problemas abiertos que
nos planteamos para el problema (1.3.1) que hemos estudiado en el Captulo 1. En
algunos casos hemos sido capaces de evitar la hiptesis (5) del dato f . Esto es debido a
que la naturaleza de los casos es diferente y no hemos podido aplicar tcnicas similares.
Por lo tanto existen diversos casos en los que nos preguntamos su necesidad o no.
Esta cuestin la analizamos en la Subseccin A.1.1. Como podemos observar en el
Teorema 2.4.7 el resultado de existencia es ptimo. En cambio, quedan pendientes
algunos casos para los que no hemos sido capaces de demotrar la unicidad de solucin.
Analizamos dichos casos en la Subseccin A.1.2.
A.1.1.
A.1.2.
Unicidad de solucin
102
Z s
Z s
dt,
r
(s) =
Para probarlo necesitamos algunos resultados tcnicos que demostramos a continuacin. Observemos que
(s) =
(s)
e
.
(s + )r
103
(s) (s0 ) =
Z
1
0,
= (u v)+
Z 1
(v + + t(u v))dt
0
|u|2
u +
= f (x) en
ur
u=0
en ,
donde es un subconjunto acotado de RN (N 3), , r > 0 y f L1 ().
Prueba del Teorema A.1.1. Gracias a la Proposicin A.1.5, podemos tomar como funcin test
= e(u+) Tk [(u + ) (v + )]+
en (1.3.17) y obtenemos
Z
|u|2 (u+)
e
Tk [(u + ) (v + )]+
ur
104
y as
|u|2 (u+)
e
Tk [(u + ) (v + )]+
r
(u + )
|u|2 (u+)
e
Tk [(u + ) (v + )]+
ur
(A.2)
en (1.3.17), y sigu-
1
1
r
v
(v + )r
1
1
vr (v + )r
1
1
r
v
(v + )r
(A.3)
105
Tk [(u + ) (v + )]+
(A.4)
1
1
r
v
(v + )r
2 (v+)
|v| e
Tk [(u + ) (v + )] .
Como
1
1
r
v
(v + )r
e(v+) 0 puntualmente ,
|v|2 no depende de ,
Tk [(u + ) (v + )]+ L (),
y tenemos que, gracias a la hiptesis (A.1), que
|v|2
|v|2
+
vr
(v + )r
1
1
|e(v+) |
r
v
(v + )r
e(v)
2|v|2 (v)
e
L1 (),
vr
1
1
vr (v + )r
Adems, como
Tk [(u + ) (v + )]+
y
Tk [(u + ) (v + )]+
L1 ()
lim
0
+ 2
Tk [(u + ) (v + )]
Tk [(u) (v)]+ .
Tk [(u) (v)]+
0.
Por consiguiente
Tk [(u + ) (v + )]+ = 0,
k > 0.
106
A.2.
El caso evolutivo
Detallamos en esta seccin las cuestiones que nos hemos planteado sin xito relativas al Captulo 3. En el caso del problema parablico con crecimiento natural en
el gradiente (3.0.1) podemos destacar la posible continuacin al estudio de problemas ms generales que detallamos en la Subseccin A.2.1. Adems, para el problema
parablico con gradiente cuadrtico modelo (4), no sabemos si hay o no unicidad para
ciertos valores de y tenemos pendiente estudiar la no existencia de solucin para
algunos casos que detallamos en la Subseccin A.2.2.
A.2.1.
Respecto al lower order term del problema (3.0.1), cabe destacar que se puede considerar una clase ms grande de problemas singulares. Destacamos como un problema
abierto, el estudio de la clase de problemas cuyo modelo es
u|u|q
u u +
t
= f (x,t) en Q,
| u| ( u)
en ,
u(x, 0) = u0 (x)
u(x,t) = 0
en (0, T ) ,
(A.1)
donde q, , son parmetros no negativos. En el Captulo 3 hemos considerado, en algn sentido, los casos extremos del problema (A.1), a saber el caso q = 0, > 0, > 1
(caso semilineal) y = 0, q = 2, < 2 (problemas casilineales con crecimiento natural). La mayora de los problemas restantes estn lejos de ser bien entendidos incluso
en el caso estacionario. Concretamente, el estudio la existencia de solucin y de otras
propiedades tales como la unicidad de solucin, la no existencia e incluso el comportamiento asinttico de sus soluciones.
Recientemente en [50] han estudiado un problema elptico casilineal con crecimiento cuadrtico y una singularidad en 1. Concretamente, el problema que consideran es
u=0
en .
donde a es un operador de tipo Leray-Lions y 0 < < 1.
2N
Demuestran que existe solucin dbil del problema para todo f Lm con m N+2 .
Tambin deducen que la singularidad se alcanza; es decir, que si f es lo sucientemente
grande, la solucin no est acotada por 1.
Las principales dicultades tienen que ver con el signo de u 1 (cmo denir los
problemas aproximantes o la necesidad de utilizar funciones test adecuadas) y sobre
todo con la singularidad: dar sentido a la ecuacin en 1, ver que un converge dbilmente a u, que a(x, un , un ) converge dbilmente a a(x, u, u) en L2 () y que
sign(u 1)
sign(un 1)
|un |2 converge fuertemente a
|u|2 en L1 ().
|un 1|
|u 1|
A.2.2.
107
Unicidad de solucin
A.2.3.
No existencia de solucin
La condicin (2.0.2) debera ser, en algn sentido, suciente para delimitar la existencia de la no existencia de solucin como se puede ver en la Seccin 2.4 para
el caso estacionario. El mtodo seguido no es vlido para el caso evolutivo debido
al reescalamiento en el tiempo. Concretamente, la ecuacin de valores propios sera
ut u = u pero si tomamos v = uet , con > 0, la ecuacin se transforma en
vt v + ( )v = 0,
la cual no es de valores propios si > .
A.3.
Tcnicas de bifurcacin
A.3.1.
Para cada g continua en cero (con f0 0) hemos probado que hay bifurcacin
desde cero para el problema (7) en el Teorema 4.2.2. Pero, no sabemos que ocurre si
g es singular en cero ya que no hay soluciones triviales. Una tcnica a seguir podra
ser realizar una aproximacin gn (continua en cero) de la funcin g. As obtendramos
un continuo acotado n que emana desde cero para cada n. El problema es probar si
existe un lmite de dicha sucesin de continuos. Para probar la existencia del lmite es
fundamental la precompacidad del conjunto de soluciones no triviales. Esto requiere
extender el Teorema 4.1.6, y para ello es necesario obtener la cota por abajo de las
soluciones aproximadas (el principio del mximo fuerte uniforme), es decir, probar la
Proposicin 4.1.4 para este caso. Para ello habra hacer un estudio de la condicin de
Keller-Osserman (1.1.6) tal y como lo hacemos en la Subseccin 2.1.1.
108
A.3.2.
u
u
ue 1 g(t)dt
u
= R u R s g(t)dt = R u uc = u1c = 1 c > 0.
R u R s g(t)dt
c
u
1
ds
ds
u 1c
0 sc ds
0 e
0 e
Rs
1
c
g(t)dt) = 2c c1 + c2 ,
s
s
2c1 + c s2c , es decir para c < 1 .
1 c1 s
2
2
Finalmente (4.3.2) exp (2
s < 1 si y solo si
A.3.3.
Caso cncavo-convexo
Otro problema que podramos considerar es (7) tomando como trmino a la derecha
con 0 < q < 1 < p. Los continuos se pueden obtener de manera anloga
a como los hemos obtenido en la Seccin 4. Para g(s) = 0 tenemos estimaciones a
priori, por lo tanto nos quedara profundizar en la regularidad de las soluciones para
poder extender el mtodo de Gidas-Spruck (vase [53]) a este caso casilineal y por
tanto obtener que el diagrama de bifurcacin sea como el del caso semilineal.
(u p + uq )
ndice de guras
5
5
29
4.1. Solution for every t > 0 having zero limit as t tends to innity. . . . . . . . . . .
4.2. Existence of solution for every 0 < in the case 0 p < 1 with g continuous in 0. .
4.3. Existence of solution for every > 0 such that 1 < in the case p = 1 with g continuous in 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4. Non existence of solution for > . . . . . . . . . . . . . . . . . . . . . .
88
96
109
31
96
99
110
ndice de guras
Bibliografa
112
Bibliografa
[11] D. Arcoya, J. Carmona y P.J. Martnez-Aparicio, Bifurcation for quasilinear elliptic singular bvp. Preprint 2009.
[12] D. Arcoya y P.J. Martnez-Aparicio, Quasilinear equations with natural growth,
Rev. Mat. Iberoam., 24 (2008), 597616.
[13] D. Arcoya y S. Segura de Len, Uniqueness of solutions for some elliptic equations with a quadratic gradient term. ESAIM Control Optim. Calc. Var., (2008)
DOI: 10.1051/cocv:2008072
[14] O. Arena, A strong maximum principle for quasilinear parabolic differential inequalities, Proceedings of the American Mathematical Society, Vol. 32, No. 2
(Apr., 1972), pp. 497-502.
[15] D.G. Aronson y J. Serrin, Local behaviour of solutions of quasilinear parabolic
equations, Arch. Rational Mech. Anal., 25: 81, (1967).
[16] C. Bandle y M. Marcus, Large solutions of semilinear elliptic equations: existence, uniqueness and asymptotic behavior, J. Anal. Math., 58 (1992), 924.
[17] G. I. Barenblatt, M. Bertsch, A.E. Chertock y V. M. Prostokishin, Self-similar
intermediate asymptotics for a degenerate parabolic ltration-absorption equation, Proc. Natl. Acad. Sci. USA 97 (2000), no. 18, 98449848.
[18] P. Bnilan, L. Boccardo, T. Gallout, R. Gariepy, M. Pierre y J. L. Vzquez,
An L1 theory of existence and uniqueness of nonlinear elliptic equations, Ann.
Scuola Norm. Sup. Pisa Cl. Sci., 22 (1995), 241273.
[19] A. Bensoussan y L. Boccardo, Nonlinear systems of elliptic equations with natural growth conditions and sign conditions. Appl. Math. Optim. 46 (2002), 143
166.
[20] A. Bensoussan, L. Boccardo y F. Murat, On a nonlinear partial differential
equation having natural growth terms and unbounded solution. Ann. Inst. Henri
Poincar, 5 (1988), 347-364.
[21] H. Berestycki, S. Kamin y G. Sivashinsky, Metastability in a ame front evolution
equation, Interfaces Free Bound. 3 (2001), no. 4, 361392.
[22] D. Blanchard y A. Porretta, Nonlinear parabolic equations with natural growth
terms and measure initial data, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 30
(2001), 583622.
[23] L. Boccardo, On the regularizing effect of strongly increasing lower order terms,
J.Evol.Equ., 3 (2003) no.2, 225236.
[24] L. Boccardo, Dirichlet problems with singular and quadratic gradient lower order terms, ESAIM Control Optim. Calc. Var., 14 (2008) 411-426.
[25] L. Boccardo, A. DallAglio, T. Gallout y L. Orsina, Nonlinear Parabolic Equations with Measure Data, J. Functional Analysis 147, (1997) 237258.
Bibliografa
113
114
Bibliografa
Bibliografa
115
[58] J.B. Keller, On solutions of u = f (u), Commun. Pure Appl. Math., 10 (1957),
503510.
[59] O.A. Ladyzenskaya, V.A. Solonnikov y N.N. Uraltseva, Linear and quasi-linear
equations of parabolic type, Translated from the Russian by S. Smith. American
Mathematical Society, 1968.
[60] O. Ladyzenskaya y N. Uraltseva, Linear and quasilinear elliptic equations;
Translated by Scripta Technica. - New York, Academic Press, 1968.
[61] R. Landes, On the existence of weak solutions for quasilinear parabolic boundary
value problems, Proc. Roy. Soc. Edinburgh Sect. A 89 (1981), 217-237.
[62] R. Landes, On the existence of weak solutions of perturbed systems with critical
growth, J. Reine Angew. Math. 393 (1989), 2138.
[63] A.C. Lazer y P. J. McKenna, On a singular nonlinear elliptic boundary-value
problem. Proc. Amer. Math. Soc. 111 (1991), 721-730.
[64] C. Leone y A. Porretta, Entropy solutions for nonlinear elliptic equations in L1 ,
Nonlinear Anal., 32 (1998), 325334.
[65] F. Leoni, Nonlinear elliptic equations in RN with absorbing"zero order terms,
Adv. Differential Equations, 5 (2000), 681722.
[66] F. Leoni y B. Pellacci, Local estimates and global existence for strongly nonlinear parabolic equations with locally integrable data, J. Evol. Eq., 6 (2006),
113144.
[67] T. Leonori, Large solutions for a class of nonlinear elliptic equations with gradient terms, Adv. Nonlinear Stud., 7 (2007), 237269.
[68] T. Leonori y F. Petitta, Asymptotic behavior of solutions for parabolic equations
with natural growth term and irregular data, Asymptotic Analysis 48 (3) (2006),
219233.
[69] J. Leray y J.L. Lions, Quelques rsultats de Viik sur les problmes elliptiques
non linaires par les mthodes de Minty-Browder, Bull. Soc. Math. France, 93
(1965), 97107.
[70] J. Leray y J. Schauder, Topologie et quations fonctionnelles, Annales scientiques de l.N.S, 51 (1934), 45-78.
[71] J.L. Lions, Sur certaines quations paraboliques non linaires. (French) Bull.
Soc. Math. France 93 (1965) 155175.
[72] J.L. Lions, Quelques mthodes de rsolution des problmes aux limites non
linaires, Dunod, Paris, 1969.
[73] M. Marcus y L. Veron, Uniqueness and asymptotic behaviour of solutions with
boundary blow-up for a class of nonlinear elliptic equations, Ann. Inst. H.
Poincar, 14 (1997), 237274.
116
Bibliografa
[74] M. Marcus y L. Veron, Existence and uniqueness results for large solutions of
general nonlinear elliptic equations. Dedicated to Philippe Bnilan, J. Evol.
Equ., 3 (2003), 637652.
[75] P.J. Martnez-Aparicio, Singular Dirichlet problems with quadratic gradient.
Bollettino U.M.I. (9) II (2009), aparecer.
[76] P.J. Martnez-Aparicio, Ecuaciones elpticas singulares con datos no nulos, Actas XXI CEDYA, (2009), 17.
[77] P.J. Martnez-Aparicio y F. Petitta, Parabolic equations with nonlinear singularities. Sometido a publicacin.
[78] L. Orsina y J-P. Puel, Positive solutions for a class of nonlinear elliptic problems involving quasilinear and semilinear terms, Commun. Partial Differential
Equations, 26, 1665-1689 (2001).
[79] R. Osserman, On the inequality u f (u), Pacic J. Math., 7 (1957), 16411647.
[80] F. Petitta, Asymptotic behavior of solutions for parabolic operators of Leray
Lions type and measure data, Adv. Differential Equations 12 (2007), no. 8, 867
891.
[81] A. Porretta, Existence results for nonlinear parabolic equations via strong convergence of truncations, Ann. Mat. Pura ed Appl. (IV), 177 (1999), 143172.
[82] A. Porretta, Existence for elliptic equations in L1 having lower order terms with
natural growth, Portugal. Math., 57 (2000), 179190.
[83] A. Porretta y S. Segura de Len, Nonlinear elliptic equations having a gradient
term with natural growth, J. Math. Pures Appl. 85 (2006), 465-492.
[84] G. Porru y A. Vitolo, Problems for elliptic singular equations with a quadratic
gradient term, J. Math. Anal. Appl., 334 (2007), 467486.
[85] P.H. Rabinowitz, Some global results for nonlinear eigenvalue problems, J.
Funct. Anal. 7 (1971), 487513.
[86] D. Ruiz y A. Surez, Existence and uniqueness of positive solution of a logistic
equation with nonlinear gradient term, Proc. Roy. Soc. Edinburgh Sect. A 137
(2007), 555-566.
[87] L. Schwartz, Thorie des distributions valeurs vectorielles I, Ann. Inst. Fourier,
Grenoble 7 (1957), 1141.
[88] J. Serrin, The problem of Dirichlet for quasilinear elliptic differential equations
with many independent variables, Phil. Trans. Royal Soc. London 264 (1969),
413-496.
[89] J. Simon, Compact sets in the space L p (0, T ; B), Ann. Mat. Pura ed Appl. 146
(1987), 6596.
Bibliografa
117
[90] G. Stampacchia, Le problme de Dirichlet pour les quations elliptiques du seconde ordre coefcientes discontinus, Ann. Inst. Fourier (Grenoble), 15 (1965),
189258.
[91] G. Stampacchia, quations elliptiques du second ordre coefcients discontinus.
Les Presses de lUniversit de Montral, Montral 1966.
[92] J.L. Vzquez, An a priori interior estimate for the solutions of a nonlinear problem representing weak diffusion, Nonlinear Anal. 5 (1981), 95103.
[93] J.L. Vzquez, A strong maximum principle for some quasilinear elliptic equations, Appl. Math. Optim. 12 (1984), 191202.
[94] L. Veron, Semilinear elliptic equations with uniform blow-up on the boundary, J.
Analyse Math., 59 (1992), 231250.