Professional Documents
Culture Documents
M. Badiale: J - Au /u/ U + F (U) in Q / U (X) 0, Ue HÌ (Q)
M. Badiale: J - Au /u/ U + F (U) in Q / U (X) 0, Ue HÌ (Q)
M. Badiale: J - Au /u/ U + F (U) in Q / U (X) 0, Ue HÌ (Q)
Torino
Voi. 51, 4 (1993)
Partial Diff. Eqs.
M. Badiale
Abstract. In this paper we study some semilinear elliptic equations with discontinuous
nonlinearity and lack of compactness (see problem (1) below). We apply the methods of
K.C.Chang and generalize some results we got in a previous paper.
1. Introduction
In this paper we pursue the work we began in [B]. We studied there the following kind
of problems:
j -Au = \u\2*~2u + f(u) in Q
\ u{x)>0, ue HÌ(Q)
where Q, C RN is a bounded open set, 2* = -^^ and f(u) can have discontinuities, so that
the functional usually associated to problems like (1) is not differentiable. This fact prevents
the application of standard variational techniques.
We recali that there is a large literature on elliptic problems with discontinuous
nonlinearities; several methods have been proposed to overcome the lack of differentiabiltty of
the functional associated to (1): see for example [AB], [ACD], [ASt2], [AT], [AmT], [Cel],
[Ce2], [Chi], Ch2], [Ch3], [L], [St], [StT].
In [B] we focused our attenti on on the interplay between discontinuity and lack of compactness.
The criticai growth in (1) prevents usuai compactness properties. It is well known that for
such problems several existence and non existence result have been obtained (assuming /
continuous); furthemore it is now clear that there is a delicate dependence of these results on
the data of problem (1): on the topology of Q or the properties of / , for example. A little
change in these data can force the change from non existence to existence of solutions (see
[BC], [BrN], [CS], [CeFS], [Co], [SI], [T] and the book of M.Struwe [S2] for an idea on these
subjects). What we did in [B] is to show that also the presence of a discontinuity on / can
force existence of solutions: for example we find solutions in the case f(u) — bh(u - a),
where o, 6 are parameters and h is Heaviside function.
332 M. Badiale
Let X be a real Banach space, let X' be its dual space and < .,. > be the duality. Let
/ : X —> R be a locally Lipschitz function. For x, v e X the generalized directional derivative
f°(x, v) (of / at x along v) is defined as follows:
Remark that df(x) is the subdiffereiuial of the convex function v —• f°{x, v) at 0, in the sense
of convex analysis. We recali some properties of df, which are proved in [CU], [C12], [C13],
[Chi].
3. An existence result
In this section we shall study problem (1) assuming the hypotheses (ai) below
(i = 1, ...,6). We shall prove the existence of a solution to (1), in a suitable sense. The
main result of this section is theorem 3.1 (see also remark 3.11).
We shall use the following assumptions:
334 M. Badiale
By Chang's results we can state that. / is locally Lipschitz and the generaiized gradient
dl(u) is obtained as follows.
PROPOSITION 3.1. Lei u e H*(Q) and a' = ——, Tìxen w e dl(u) if and only if
G
a
there is w e L ' such that
N -\- 2
Note that the integrai fnwv is well defined Vv e Ho(tl); indeed, as 1 < a < ——-,
. . a -f-1 2N «. r9*
it is > ——-, while v e H- itnphes
y v e Lz .
a N +2 °
In an obvious way we derive what follows.
Some remarks on elliptic problems 335
2N
PROPOSITION 3.2. Lei u e H$(Q) be a criticai point for I. Then u e W^2,^+2(Q)
and
(3.1) -Au(ai) - \u(x)\2*-2u(x) G H(u(x))J(u(x))] for a.e. x€Q.
We shall adopt (as usuai in this kind of problems) property (3.1) as definition of a
solution of (1). So we give the following definition:
REMARK 3.4. In many cases we can get from (3.1) more information on solutions.
Suppose that / is discontinuous in just one point, say a > 0. If u is a solution in the sense
of the previous definition, define Qa = {x € Ci \u(x) = a}. By well known results (see for
example [Sp], [GT]) we get A«(a;) = 0 a.e. on Qa. Recalling that f(u)> 0 Vw we get from
JV+2
77
(3.1) - a ^ > o a.e. on Qa. This is a contradiction unless |fì 0 | = 0. In this case from (3.1)
we get
-Au(x) = \u(x)\2*~2u(x) + f(u(x)) for a.e.a; G £1.
The argument can be repeated if the set of points where / is discontinuous is countable (and
does not contains 0).
We want now to get a non trivial non negative criticai point of /. We shall get it by
usuai Mountain-Pass theorem, as it was adapted to nondifferentiable functionals by K.C.Chang.
We begin by recalling some results.
PROPOSITION 3.7. Assume hypotheses (ai), («2), (^3), (ae). If fi < Tf^"5"» then I
satisfies (PS)p.
336 M. Badiale
Proof. Let {un}n be a sequence as in definition 3.5. Let us first prove that {un}n is
bounded in HQ(Q). Let wn e dl(un) such that ||w n ||tf-i = A(wn) = o(l). From proposition
3.1 we have
(3.2) C(ì + IKH) > I(un) - ^ < wnìun >= ( ì - ^ ) | K I | 2 + J ( ^ u n - F(un)).
where
(3.3) w^(x)e[l(un(x))J(un(x))] for a.e. x.
WZ(x)u
v n(x)v > —l(un(x))un(x) > F(Un(x)) .
2* ' ' — o* —
Then (3.2) gives
1 1
c(n-|K||)>(--
2 2*
n\\ ?
This derives from (0:3) and (3.3). {un}n is bounded in L2*, so (3.5) implies that
{^n}n is bounded in L 2 */ a , so it converges, weakly in L2*^a, to Wo. It is easy to get
lim infn W^(.T) < w^(:e) < l i m s u p n ^ ( x ) for a.e. re and then
£(u0(x)) < u%(x) < f(u0(x)) a.e..
so we get (3.4).
From now on we can apply the usuai arguments one can flnd, for example, in the book
of M.Struwe ([S2] pag 161-162). We give just a sketch of the argument. As first thing we get,
from the equation above,
and
J(un -u0) = ^ J \V{un - u0)\2 + o(l.)
Then
(3.8) \\un-u0\\2 < e' < S% .
In the following proposition we prove that, for suitable values of the parameters a, b
(see definition (0:4)), it is e < JJST.
PROPOSITION 3.8. V6 > 0 3a* == a*(b) > 0 and 3T = T(b) > 0 such that
Vó€]0,-a*[iM*,s c< ~zjS^ (e is definedin(3.9)).
Remark that j is independent from a, b. Remark also that b is fixed and we have to
choose a and T. T must satisfy T > 0 and I(T<j>i) < 0. We choose T satisfying what follows:
j) T<t\
dx
j.i) *iY--Tfn&
•7; <j
~^— r, 4>\ dx S*.
<f—,
Jf2
2 2* N
m x£-^-j^dx-bTj^<o.
It is clear that it is possible to satisfy 3), jj), jjj) if T is small enough. Now T is fixed
and we want to choose a* = a*(b). It is trivial to see that b fQ(T(f>i - a)+dx —> bfQT(/>i as
a —• 0. So we can choose a* = a*(b) such that
j-2 j-2* • r /•
Va €]0,.a*[ it is Ar-— - — r / ttfdx -b / (7>i - a)+dx < 0 .
As F{u)> b{u — a ) + for ali n e E, this means that for these choices of T, a* it is
g(T) = I(T<j>1)<0, VaG]0,a*[.
Until now we nave proved tliat I satisfies (PS)C, where e is the usuai minimax level
defined above, for suitable choices of a and T. In the list of basic ingredients for Mountain
Pass theorem we stili need one, which is given by the following proposition:
PROPOSITION 3.9. There are a, p > 0 such that I(u) >a Vu e H„, \\u\\= p.
To apply the usuai arguments of Mountain Pass theorem we need a Deformation Lemma
for locally Lipschitz functionals. One can find it in [Chi]. For reader's convenience we give
the statement of a suitable Deformation Lemma (Proposition 3.10 below).
Define As = {u e Hl(Q)\l(u) < s}, a € IR and Ks = {u e H*({l)\I(u) = s, 0 e
dI(u)}.Ks is the set of criticai points at level s. We want to prove that Kc ^ 0, if e is
defined as in (3.9). We argue by contradiction and we suppose Kc = 0. We use the following
proposition.
PROPOSITION 3.10. If Kc = 0 and I satisfies (PS)C, then V£0 > 0 3e e]0, e0[ and
an homeomorphism 11 ofHl such that :
1) r){u) = u Vu ^ Ac+eo\Ac-£o.
2) r)(Ac+e) C Ac-e.
We nave now ali we need. We can get a contradiction by usuai arguments that we don't
repeat (see the celebrated paper [AR] or [S2]). The contradiction derives from the hypothesis
Kc — 0. So it must be Kc ^ 0 and we can state what follows.
THEOREM 3.1. Assume (a») (« = 1, -,6). Let b > 0, let T,a* be as in Proposition
3.7 and a e ]0, o*[. Let a be as in proposition 3.8. Let e = c(a, b) be as in (3.9). Then e > a
and there is UÒ e Hi such that I(u) = e and 0 e dl(u0).
340 M. Badiale
f \V(u:fdx= ( \u~0fdx.
JQ Jn
By definition of S we then have
REFERENCES
[AB] AMBROSETTI A., BADIALE M., The dual variational principle and elliptic equations with
discontinuous nonlinearìties, J. Math. Anal. Appi. 140 n.2 (1989), 363-373.
[ACD] AMBROSETTI A., CALAHORRANO M., DOBARRO F., Global branching for discontinuous
problems, Comm. Math. Univ. Carol. 31 n.3 (1990), 213-222.
[AR] AMBROSETTI A., RABINOWITZ P.H., Dual variational methods in criticai point theory and
application, Jour. Funct. Anal. 14 (1973), 349-381.
[AS] AMBROSETTI A., SRIKANTH P.N., Superlinear elliptic problems and the dual principle in
criticai point theory, J. Math. Phys. Sci. 18 4 (1989), 363-373.
[AStl] AMBROSETTI A., STRUWE M., A note on the problem - A u = Au + u|u| 2 * - 2 , Manus. Math.
54(1986), p. 373-379.
Some remarks on elliptic problems 341
[ASt2] A M B R O S E T T I A., S T R U W E M., Existence ofsteady vortex rings in an ideal fluid, Arch. Rat.
Mech. Anal. 108 (1989), 97-109.
[AT] AMBROSETTI A., T U R N E R R.E.L., Some discontinuous variational problems, Diff. and Int.
Equat. 1 (1988), 341-349.
[AmT] A M I C K C.J., TURNER R.E.L., A global branch ofsteady vortex rings, J. Reine Angew. Math.
384 (1988), 1-23.
B A D I A L E M., Criticai exponent and discontinuous nonlinearities, Preprint, to appear on
Differential and Integrai Equations.
B A H R I A., C O R O N J.M., On a nonlinear elliptic equation involving the criticai Sobolev
exponent: the effect of the topology of the domain, Comm. Pure Appi. Math. 41 (1988),
253-294.
BREZIS H., NlRENBERG L., Positive solutions of nonlinear elliptic equation involving the
criticai Sobolev exponent, Comm. Pure Appi. Math. 36 (1983), 437-477.
CAFFARELLI L., SPRUCK J., Variational problems with criticai Sobolev growth and positive
Dirichlet data, Indiana Univ. Math. Journ. 39 (1990), 1-18.
C E R A M I G., Soluzioni positive di problemi con parte nonlineare discontinua e applicazioni a
un problema di frontiera libera, Boll. UMI. 2 (1983), 321-338.
C E R A M I G., Metodi variazionali nello studio di problemi al contorno con parte nonlineare
discontinua, Rend.Circ.Mat. Palermo 32 (1983), 336-357.
CERAMI G., FORTUNATO D., S T R U W E M., Bifurcation and multipUcity resul far nonlinear
elliptic problems involving criticai Sobolev exponent, Ann. Inst. H. Poincaré, Analyse
Nonlineaire. 1(1984), 341-350.
C H A N G K.C., Variational methods far nondifferentiable functionals and their applications to
partial differential equations, J. Math. Anal. Appi. 80 (1981), 102-129.
CHANG K.C., Free boundary problems and the set-valued mappings, J. Diff. Equations. 49
(1983), 1-28.
C H A N G K.C., The obstacle problem and partial differential equations with discontinuous
nonlinearities, Comm. Pure Appi. Math., 33 (1980), 117-146.
CLARKE F.H., Generalized gradienis and applications, Trans. Amer. Math. Soc. 205 (1975),
247-262.
CLARKE F.H., A new approach to Lagrange multipliers. Math. Oper. Res. 1 (1976), 165-174.
CLARKE F.H., Optimization and nonsmooth analysis, SIAM, Philadelphia, 1990.
C O R O N J.M., Topologie et cas limite des injections de Sobolev, C R . Acad. Sci. Paris. 299
(1984), 209-212.
[CR] CRANDALL M., RABINOWITZ P . , Some continuation and variational methods far positive
solutions of nonlinear elliptic eigenvalue problems, Arch. Rat. Mech. Anal. 58 (1975), 207-
218.
[GT] GlLBARG D., TRUDINGER N.S., Elliptic Partial Differential Equations of Second Order,
Springer-Verlag, Berlin-Heidelberg-New York, 1983.
[KC] K E L L E R H.B., C O H E N D.S., Somepositone problems suggested by nonlinear heat generation,
J. Math. Mech, 16 n.2 (1967), 1361-1376.
342 M. Badiale
[L] LUPO D., A bifurcation result for a Dirichlet problem with discontinuous nonlinearity, Rend.
Circ. Mat. Palermo. 38 (1989), 305-318.
[M] MARANO S.A., Existence theorems for a semilìnear elliptic boundary value problem, Preprint.
[Me] MERLE F., Sur le nonexistence de solutions positive d' équations elliptiques surlinéaires, C.R.
Acad. Sci. Paris. 306 (1988), 313-316.
[Sp] STAMPACCHIA G., Le problème de Dirichlet pour les équations elliptiques du second ordre à
coeffìcients discontinues, Ann. Inst. Fourier (Grenoble) 15 (1965), 189-258.
[SI] STRUWE M., A global compactness result for elliptic boundary value problems involving limiting
nonlinearities, Math. Z. 187 (1984), 511-517.
[S2] STRUWE M., Variational methods, Springer-Verlag. Berlin-Heidelberg-New York, 1990.
[St] STUART C., Differential équations with discontinuous nonlinearities, Arch. Rat. Mech. Anal.
63 (1976), 59-75.
[StT] STUART C., TOLAND J.F., A variational method for boundary value problems with
discontinuous nonlinearities, J. London Math. Soc. 21 (1980), 319-328.
[Tj TARANTELLO G., On nonhomogeneous elliptic équations involving criticai Sobolev exponent,
Ann. Inst. Henry Poincaré 9 (1992), 281-304.
[Z] ZHENG X., A nonexistence result of positive solutions for an elliptic equation, Ann. Inst. Henry
Poincaré 7 (1990), 91-96.
Marino BADIALE
Università degli Studi di Padova, Dipartimento di Matematica Pura e Applicata
Via Belzoni 7, 35131 Padova, Italy.