Professional Documents
Culture Documents
W Walter de Gruyter
DE
Series Editors
Heinz Bauer Jerry L. Kazdan Eduard Zehnder
Mathematisches Institut Department of Mathematics ETH-Zentrum/Mathematik
der Universität Erlangen-Nürnberg University of Pennsylvania Rämi straße 101
Bismarckstraße VA 209 South 33rd Street CH-8092 Zürich
D-91054 Erlangen, FRG Philadelphia, PA 19104-6395, USA Switzerland
1991 Mathematics Subject Classification: 35-02; 35D05, 35J20, 35J60, 35J65, 58E05, 58E30
Keywords: Nonlinear elliptic equations, critical and subcritical Sobolev exponents, min-max theory,
variational principles
© Printed on acid-free paper which falls within the guidelines of the ANSI to ensure permanence and durability.
Chabrowski, Jan:
Variational methods for potential operator equations : with applications to
nonlinear elliptic equations / Jan Chabrowski. - Berlin ; New York : de
Gruyter, 1997
(De Gruyter studies in mathematics ; 24)
ISBN 3-11-015269-X
In this book we are concerned with methods of the variational calculus which are
directly related to the theory of partial differential equations of elliptic type. The meth-
ods which we discuss and describe here go far beyond elliptic equations. In particular,
these methods can be applied to Hamiltonian systems, nonlinear wave equations and
problems related to surfaces of prescribed mean curvature.
In Chapter 1 we discuss minimization (maximization) of functionals subject to some
constraints. The corresponding Euler-Lagrange equation has the form of the difference
of two potential operators. This characteristic feature of the Euler-Lagrange equation
is maintained throughout the whole book. In Chapter 1 we assume that both potential
operators are homogeneous. Due to this assumption we can provide a rather complete
description of relations between the various methods of minimization (maximization).
We also emphasize here an efficient tool, an abstract version of the Sobolev inequality,
which has been widely used in the theory of partial differential equations.
In Chapter 2 we focus our attention on critical points which are not necessarily
maximizers (minimizers) of the corresponding functionals. To study such points we
use the Lusternik-Schnirelman theory of critical points. In this approach, critical
values of a given functional F : X ->· Ε on a Banach space X are obtained as
1 Constrained minimization 1
1.1 Preliminaries 1
1.2 Constrained minimization 8
1.3 Dual method 13
1.4 Minimizers with the least energy 14
1.5 Application of dual method 15
1.6 Multiple solutions of nonhomogeneous equation 17
1.7 Sets of constraints 19
1.8 Constrained minimization for Ff 24
1.9 Subcritical problem 29
1.10 Application to the p-Laplacian 30
1.11 Critical problem 35
1.12 Bibliographical notes 37
3 Nonhomogeneous potentials 74
3.1 Preliminaries and assumptions 74
3.2 Constrained minimization 76
3.3 Application — compact case 79
3.4 Perturbation theorems — noncompact case 81
3.5 Perturbation of the functional a — noncompact case 85
3.6 Existence of infinitely many solutions 88
Appendix 253
A.l Sobolev spaces 253
A.2 Embedding theorems 254
A.3 Compact embeddings of spaces W^OR") and 255
A.4 Conditions of concentration and uniform decay at infinity 259
A.5 Compact embedding for H} (R n ) 261
A.6 Schwarz symmetrization 264
A.7 Pointwise convergence 264
A.8 Gateaux derivatives 266
Bibliography 270
Glossary 287
Index 289
1.1 Preliminaries
We introduce some terminology which is quite standard and for more details we refer
to the monographs [231 ], [95], [203] and [9].
Let X be a Banach space equipped with norm || · ||. By {·, ·) we denote the duality
pairing between X and its dual X*. We denote the weak convergence in X and X* by
1
a n d the strong convergence by "—> ". We always denote an open ball centered at x0
of radius R by B(x0, R) and the corresponding sphere by 5(λ:0, R), that is B(x0, R) =
{χ· II* - JColl < R} and S(x 0 , R) = {*; ||x - x0|| = *}·
Let X and Y be two real Banach spaces. A map F : X —>· Y is said to be Frechet
differentiable at u0 e X if there is an F'(u0) € L(X, Y) such that
ρ+ 1
A mapping A : X — X * is strongly monotone if there exists a continuous function
κ \ [0, oo) [0, oo) which is positive on (0, oo) and lim/^oo/cC/) = oo and such
that
(A(u) — Α(υ), u — υ) > /c(||« — u||)||u — υ||
for all u and ν in X.
A mapping A : X —• X* is said to satisfy condition (S)i if for every sequence
{uj} in X with uj —^ u and A(uj) -»• υ in X* we have Uj u. Evidently, a strongly
monotone operator satisfies the condition (5)i.
We now recall weaker definitions of the monotonicity for potential operators.
A mapping A : X X* is said to be monotone if (A(u) — Α(υ), u — ν) > 0 for
all u and υ in X and strictly monotone if equality implies u = v.
It is well known that a Gateaux differentiable functional a : X -»• R is convex
if and only if its potential operator A is hemicontinuous and monotone. Moreover,
potential α of a monotone potential operator A is convex.
(A(u),v)= f \Vu\p~2DuDvdx
Ja
a{u) = - f \Vu\pdx.
Ρ Ja
The potential operator A is hemicontinuous, bounded, monotone and coercive. The
monotonicity of A follows from the algebraic inequalities
(\x\'-2x-\y\P-2y,x-y)>av ~ ^
(\x\ + \y\)2~p
if 1 < ρ < 2, for all χ and _y in M" and some constant a\ > 0. Applying these
inequalities to
with u and υ in W0 (Ω), we obtain, using the Holder inequality if 1 < ρ < 2, with
1 —1ι _ Ezl
ρ ~ ρ ·
(A(u) - Α ( υ ) , u - v ) > a2\\Vu - Vv\\p
if ρ > 2, and
IIVm - Vw||J
(A(m) - A(v), u - v ) > a2-
(Ι|ν Μ || ρ + | | ν υ | | ρ ) Ρ - 2
if 1 < ρ < 2, for some constant a2 > 0. If 2 < p, the operator A is strongly monotone.
Proof. Arguing indirectly, suppose that there is a bounded set 5 C X such that A is
not uniformly continuous on S. This means that there exists an € > 0 and sequences
{uj},{vj} C S such that
and ( A ( a u n , u n ) {A(au, «)) for every σ € [0, 1]. Since Λ is uniformly continuous
on bounded sets, it must be bounded. Applying the dominated convergence theorem
we conclude that b(um) b(u). •
A mapping A : X —• X* is said to be bounded if A maps bounded sets into
bounded sets. Obviously, if A : X — X * is strongly continuous, then A is bounded.
A mapping A : X —• X* is said to be odd if A(u) = —A(—u) for all u e X.
If A : X ->· X* is an odd potential operator, with a potential a, then a is an even
potential.
We shall frequently refer to Ekeland's variational principle ([109], [212]).
d(v, u) < —
λ'
and for each w φ ν in Μ
Proof. It is sufficient to prove our assertion for λ = 1. The general case is obtained
by replacing d by an equivalent metric kd. We define the relation on Μ:
It is easy to see that this relation defines a partial ordering on M. We now construct
inductively a sequence {um} as follows: u0 = u; also assuming that um has been
defined we set
Sn = {w € M\ ιν < u„j
1
F(u„+1) < inf F +
Sn η + 1
Since un+i < un, Sn+1 C Sn and by the lower semicontinuity of F, Sn is closed.
We now show that diamS„ —> 0. Indeed, if w e Sn+j, then w < u n + \ < un and
consequently
Π = w
n> 0
ν < uQ = u
and hence
F(v) < F(u) - €d(u, v) < F(u)
and moreover
To complete the proof we must show w < ν implies w = v. If w < v, then w < un
= n
for each integer η > 0, that is w 6 f \ > o Μ·
Proof. If the conclusion of the theorem were not true, there would exist c e R
such that limn«ιι-^οο F(m) = c. Then for every integer m > 1 there exists um such
that F(u m ) < c + ^ and ||um|| > 2m. By virtue of Theorem 1.1.1, applied with
€ = c + ^ — inf χ F and λ = ^ , we get the existence of vm e X such that
HF>m)||<-(c+l-infF).
m m x
Since ||um|| oo, lim^-^oo F(v m) = c. On the other hand F'(vm) 0 which
contradicts the (PS) condition. •
One of the most useful min-max results allowing us to find critical points for a
large class of functionals is the mountain pass theorem (see [10]).
Theorem 1.1.3 (Mountain pass theorem). Let F : X -»• Μ be of class Cl(X, M).
Suppose that
(i) F(0) = 0 and there exists a ρ > 0 such that F(u) > 0 for u € B(0, ρ) — {0} and
F(u) > a on S(0, p) for some constanta > 0,
(ii) there exists e e X, e φ 0 with F(e) < 0,
(iii) F satisfies the Palais-Smale condition.
Then
a0 = inf max F(g(t))
«er/£[0,l]
is a critical value of F with 0 < a < a0 < oo, where
Theorem 1.1.4. Let F : X —> R be of class Cl(X, R). Suppose that there exists a
neighbourhood U of 0 in X and a constant ρ > 0 such that F(u) > ρ for u in the
boundary ofU, F{0) < ρ and F(e) < ρ for some e & U. Let
c = inf max F(g(t)).
£€Γίε[0,1]
Then there exists a sequence {um} C X such that F(um) —• c as m oo and
F'(um) 0 in X* asm oo.
This theorem is a particular case of a more general result, namely Theorem 7.3.1,
which will be proved in Chapter 7.
for all υ 6 Ε. If I > 0, then the " scaled minimizer" u = au, where σ = y f j j P ?
Proof, (i) The proof is similar to that of Proposition 2.1 in[48]. Wesetd = (B(u), υ),
ν e Ε, and for σ > 0 we have by the definition of the Gateaux derivative that
There exists e 0 > 0 such that 1 + ed + o(e) > 0 for all |e| < eQ. Also, for such
€ > 0 there exists σ = σ(€) such that b(pu + eav) = 1. Consequently, if we set
h = (A(m), ν), ν e E, we get
Since this holds for all |e| < €0, we must have h — ^Id = 0 and this proves (1.2).
Since for σ > 0
we see that
(A(au), v) = -Iap~q{B{au), υ).
q
and consequently
b~(u) < liminf b~(uj) = b+(u) - 1.
7-»·οο
Therefore b(u) > 1 and u Φ 0. Obviously a(u) > 0 and hence I > 0. Assuming that
b(u) > 1, we have a^biu) = 1 with 0 < aq < 1, since a(u) < I < a(pu) = apa{u)
which implies that 1 < σ ρ and we have arrived at the contradiction and this completes
the proof. •
In this theorem we have assumed that the Gateaux derivative of b exists in all
directions υ e E, where £ is a linear subspace of D(b). This requirement may look
artificial, but as we shall see later, it is useful in applications.
If we assume in Theorem 1.2.1 that b(u) > 0 on D(b) — {0}, then our assumption
means that b is weakly continuous.
If this assumption is replaced by a weaker condition: b is continuous on D(b), we
may not be able to claim the existence of a solution of problem (/). However, we can
still show that / > 0. In fact, we only need the continuity of b at 0. This leads to an
abstract version of the Sobolev inequality. For the future use we formulate these two
observations separately, in the case where D(b) = X.
for all u e X.
Proof We set
Sp,q =inf{(A(«),«); (B(u),u) = 1}. (1.4)
We show that Sp<q > 0. In the contrary case there exists a sequence {um} c X such
that
lim ( A ( u m ) , um) = 0 and { B ( u m ) , um) = 1
m—>-oo
for each m > 1. By the strong monotonicity we have
It is easy to see that (B(v), v) = 1, so Sp,q < (Α(υ), υ) and this is equivalent to (1.4).
•
Remark 1.2.1. If we define the best Sobolev constant Sp<q as
we then have _
Sp,qb(u)i < a(u)
Remark 1.2.2. Inspection of the proof of Proposition 1.2.2 shows that the strong
monotonicity assumption for A can be replaced by a weaker condition: there ex-
ists a continuous function κ : [0, oo) -»· [0, οο), with κ{ί) > 0 on (0, oo) and
limf^.ooÄ-(i) = oo, such that {A(u), u) > *:(||m||)||u|| for each u G X.
{A{u), v) — ki(B(u), υ) = 0
for all υ G X.
Indeed, if supj|M||=i b(u) < oo, then the continuity of b at 0 follows from the
inequality b(u) < sup||Mn=i b(u). Conversely, given e > 0, there exists 8 > 0
such that ||u || < <5 implies b(u) < €. Hence, for ||u|| = 1 wehaveb(u) = S~qb(8u) <
€
As an application of the Sobolev inequality we give a simple result on localization
of nontrivial solutions of (1.1).
Proof. It is clear that any λ for which there exists a nontrivial solution of (1.1) must
be positive. Then, if ρ > q we have by the Sobolev inequality that
hence
p—q p—q — ί
\\U\\P-^k{\) Ρ < I l M i r - ^ A ^ I l M i r ^ u l l M i r 1 ) Ρ < XSp>
Theorem 1.3.1.
(i) Suppose that A is a hemicontinuous potential operator of degree ρ — 1 with a
potential a and that b is a positive functional on D(b) homegeneous of degree q
and suppose that problem (K) has a solution u φ 0 with 0 < Κ < oo. I f b has a
linear Gateaux derivative (B(u), v) at all directions υ € Ε, then
?-K(A(u),v) = (B(u),v)
Ρ
P 9
for each ν e E. The "scaled minimizer" ü — au, where σ = tf Ρ Φ 1
satisfies the equation
(A(U), v) = (B(ü,v)
for all υ € E.
(ii) Additionally, assume that A is strongly monotone operator, b is weakly continuous
and that D(b) contains all weak limit points of subsets of level set {a(u) = 1}.
Then problem (Κ) has α nontrivial solution.
Proof. The proof of part (i) is similar to the proof of part (i) of Theorem 1.2.1 and
therefore is omitted.
(ii) First, we observe that by the homogeneity and strong monotonicity of Λ, the
level set of [a(u) = 1} is bounded and nonempty. Thus by the weak continuity of b
we must have 0 < Κ < oo. Let [um} be a sequence such that b(um) —• Κ as m oo
and a(um) = 1. Since {um} is bounded we may assume that um —^ u in X and since
b(u m) —>• b(u) = Κ we see that u φ 0. Obviously, we must have 0 < a(u) < 1. If
a(u) < 1, then a(au) = 1 for some σ > 1. On the other hand aqK = b(au) < K,
that is σ < 1 and we arrive at the contradiction. •
We now compare both methods and show that basically both methods give rise to
the same result. For simplicity we assume that D(b) = Ε = X.
'' = Λ·
κϊ
Moreover, ifu is a solution ofproblem (I), then ü = -j-w is a solution ofproblem (Κ).
IP
Similarly, ifu is a solution ofproblem (Κ), then ü = —η-u is a solution of problem (/).
κΐ
Proof Let u be solution of problem ( Κ ) , that is, Κ = b(u) and a(u) = 1. We choose
σ > 0 so that b(au) = 1 = aqK. Consequently, I < a(au) = apa{u) = σρ and
i , ι
σ > I ρ , that is, - η - > I ρ . Let us now assume that u is a solution of problem ( / ) ,
κ*
that is, a(u) = I and b(u) = 1. We choose ρ > 0 so that ppI = a{pu) = 1. Hence
, ι
b(pu) < K, and this implies that pq < Κ and - j < Ki and the first part of our
IP
assertion follows. The second part is routine and is omitted. •
Proposition 1.4.1. Let ρ < q and suppose that A is a strongly monotone hemicontin-
uous and homogeneous potential operator of degree ρ — 1. Moreover, assume that Β
is a positive, strongly continuous and homogeneous potential operator of degree q — 1.
9 p
I f ü = öu, where σ = and u is a solution to problem (I), then
We now observe that μ as a solution of (1.1) must belong to V and the result follows.
•
Proposition 1.4.1 says that a solution to problem (/) is a solution with the least
energy among all nontrivial solutions to (1.1). In applications we call it a ground-state
solution (see [30] or [22]).
Finally, combining Propositions 1.3.1 and 1.4.1 we get
Corollary 1.4.1. Under the assumptions of Proposition 1.4.1, if u is a solution of
problem (K), then
——ί ι
ι q-p 1
W = I — / I j-u
v
« ' ΚΪ
is a solution of problem (m).
Proof. Let ν e V, then a{v) = σρ for some σ > 0 and set υ0 = σ Obvi-
ously, a{v0) = 1 and multiplying equation pa(v) — qb{v) = 0 by a~q we obtain
ι
P
ρσ-ι+Ρα(ν0) - qb(v0) = 0. Hence σ = ~" and
To proceed further we observe that due to the homogeneity of A and Β we have the
following estimate for the functional F
-Hull« sup b(u)+K\\u\\P < F(u) < \\u\\P sup a(u)-\\u\\q inf b(u),
Nl=i ll«ll=i II« ||=1
where κ = /c(l). One can give examples of strongly continuous potential operators
Β with inf||tt||=i b(u) = 0. Therefore, if ρ < q F is in general neither bounded from
below nor from above. However if ρ > q, F is bounded from below and we can expect
the existence of an absolute minimum.
and h e n c e - c o < infuex F(u) < 0. By Theorem 1.1.2 there exists a sequence [um] C
X such that F(um) —»· inf„ e x F(u) and F'(um) 0 in X* as η oo. Under
our assumptions, the Palais-Smale condition holds (see Theorem 2.1.1 in Chapter 2).
This means that there exists a subsequence of {um} converging strongly to w and this
completes the proof. •
Corollary 1.5.1. Let ρ > q and suppose that A is a continuous, strongly monotone
and homogeneous potential operator of degree ρ — 1 and that Β is a positive strongly
continuous potential operator of degree q — 1. Then
A(u)-B(u) = f, (1.5)
Lemma 1.6.1. Let q > p. Suppose that A is a continuous strongly monotone and
homogeneous potential operator of degree ρ — 1 and that Β is a positive strongly
continuous potential operator of degree q — 1. If
(1,6)
/ **<*(!) ΓI7 Γ\ ϊΤ^
q - 1 \(q - l ) s u p , N t = 1 b(u))
Proof. First, we show that there exists a constant ρ > 0 such that F/(u) > 0 for
u g 5(0, p). We have
Ff(u)>t(h(t)-\\f\\x*),
where h(t) = atp~l - ßtq~x with a = at(I) and β = s u p ^ ^ i b(u). We check that
( ρ — l)oi f^T (q —
max A ( r ) =h C [ i £ z ü : l = [ o i z i ü l ^ ( i z £ ) a >
0<f <oo U ( « - D i J J . ( 1 - w J V « - i /
Taking ρ = [ 'fß j ? P
our claim follows. Let i G X b e such that ( / , ν) > 0, then
Ff (vt) < 0 for t > 0 sufficiently small and consequently
Also, the previous argument shows that there exists 0 < S < ρ such that
1
Ff(u) > - i n f { F f ( u ) · , u e 5 ( 0 , yo)} (1.7)
for all« £ {μ ; δ < ||u|| < p). Let {um} be a minimizing sequence for F f . By virtue of
(1.7) we may assume that {um) C 5 ( 0 , p). Applying Ekeland's variational principle
(see Theorem 1.1.1), we may assume that each um is a minimizer of
The last two conditions yield that {wm} contains a strongly convergent subsequence
which we again denote by {um}. Therefore um u0, with u0 e 5 ( 0 , p). Here,
we have used the fact that the Palais-Smale condition holds (see Theorem 2.1.1 in
Chapter 2). •
Theorem 1.6.1. Let q > p. Suppose that A is a continuous strongly monotone and
homogeneous potential operator of degree ρ — 1 and that Β is a positive strongly
continuous homogeneous potential operator of degree q — 1. If (1.6) holds then
equation (1.5) has at least two nontrivial solutions.
( f , u ) <cpq(A(u),u)S=rt (1.8)
p-l
? P
for all u satisfying (B(u), u) = 1, where cpq = (f^r) ' ^'s eas to
^ see
for all u satisfying (B(u),u) = 1 and some constant 0 < c* < cpq.
Assumption (1.8) holds if
, gCP-D
WfWx* < CPQK(l)P SPG~P),
where SPQ is the best Sobolev constant (see (1.4) in Section 1.2).
Indeed, it follows from the Sobolev inequality that (see Proposition 1.2.2)
ι
</,«> < l l / M N I < \ \ f \ \ x * { A ( u ) , " ) P
k{\)P
a(p-1)
, {A(u),u) ia/ N i
< cpq Τ Ι ")p
, (B(u), u)i /
£zI
_ {A{U),U)I-P
— cpq ρ-1 ·
(B(u), U)I~P
We now define a function ψ : X -> Κ by
izl
(A(U),U)I-P
= CPQ - ( / , U)
{B(U),U)«-P
and set
inf { c p q { A ( u ) , u ) & - ( / , « ) } = μ 0 . (1.10)
(ß(u),«)=l
It is easy to check that μ 0 is always finite.
Proposition 1.7.1.
(i) I f f satisfies (1.9), then
3
=r
ßo > (Cpq ~ C * ) S p q P > 0,
(ii) I f f satisfies (1.8) and Β is strongly continuous, then the inf in (1.10) is achieved
and μ 0 > 0.
(iii) Suppose that μ 0 > 0 and { B ( u ) , u) > γ > 0, then
i
i/r(u) > γ ΐ μ 0 ·
0 < c p q ( A ( u ) , u ) i ~ p - ( f , u )
< lim ( c p q { A ( u m ) , u m ) ^ p - ( / , u m ) ) = μ 0 .
m-*oo \ J
Proposition 1.7.2. Suppose that f satisfies (1.8). Then f o r every u 6 X — {0}, there
+ + +
exists a unique t = t ( u ) > 0 such that t u € Λ _ and
,+ , * , ,
r ( u ) > W = W O, Oχ = If (7p - \ ) ( A ( u ) , u ) \ ^ ~ P
—
\ ( q - 1) { B ( u ) , u ) J
and F ( t +
u ) = rnax,>imax F ( t u ) . Further, i f { f ,u) > 0, then there there exists a unique
t G [0, t +
l
'max
V(<7 - 1) (B(u),u)J
First, let us assume that {/, u) < 0, then there exists a unique t+ = t+(u) such that
<f>(t+) = {/,«), that is,
and consequently t+u 6 Λ and φ'(ί+) < 0. This means that t+u G Λ_. Since
Φ(ί) ~ ( f , u) > 0 for t < t+ and φ(ί) - {/, u) < 0 for t > t+ we see that
and
Ff(t+u) = maxFy(i«) = max Ff{tu).
t> 0 ' ä'max
Finally, let us assume that (/, «) > 0. Then
{A{U),U)i~P
{ f , u) < cpq = Φ(imax).
(B{U\U)i~P
0 ( O = </,«) = 0 ( i + )
and
> 0 > φ\ι+),
which means that t+u g Λ_ and t~u e Λ + . To complete the proof we observe
that jjFf(tu) = 0 ( 0 - {/, m) < 0 for t+ < t or t < t~ and Ff(tu) > 0 for
+ +
t~ < t < t . This implies that Ff(t u) > Ff(tu) f o r i > /+, Ff(t~u) < F/(rn) for
/ G [0, r + ] and also Ff(t+u) = max,>fmax Ff(tu). •
Lemma 1.7.1. Suppose that μ0 > 0, then A0 = {0}, that is, for each u G Λ — {0} we
have
( p — 1
Τ ^ ϊ S p q
\ Φρ
) = y '
( f l ( « ) , « ) = q—- ( ρ/ , « ) ,
hence
-1
(A(u),u)i~p q - ρ
Ψ (μ) = cpq ΤΓΓ —r{B(u),u)
(B(U),U)I-P P 1
ρ-1 q-1
g - ρ ( ρ - 1 \i-p (q - 1\ 9-P g - p
= (B(u), u) (B(u), u) = 0.
q - 1 \q - \) \p - \ ρ 1
•
We now establish a result which will be used in the next section to construct a
minimizing sequence of Ff subject to the constraint A.
Lemma 1.7.2. Suppose that μ0 > 0 and let u € Λ with u φ 0. Then there exist € > 0
and a differentiable function t : 5 ( 0 , e ) —>· ( 0 , o o ) such that
and
. ,fQ) . = PiMu), w) - g{B(u), w) - (/, w)
1
(P ~ 1)(A(m), u ) - ( q - 1 )(B(u), u)
for w e ß(0, e)·
We have
Theorem 1.8.1. Suppose that μ 0 > 0 and that A and Β are weakly continuous. Then
there exists u0 e A such that
Proof. Let us set Μ = inf u e y F/(u). We commence by finding a lower and upper
bound for M. Let u e A. Then by Schwarz's inequality we have
Ff(u) = (l - - (l - - ) ( / , « )
q/ \ q-
Λ
£_£_£_' ll/ll?'-- £. Ε. EL„- w f f x - ·
pp
- p) p * (Ο" ρ'ρp - p)p * 0)p
This means that
Ü ~
χ Ρ
)' „ ρ'
11711
2 Ζ Ζ **'
p'ppqiq - ρ)Ρ κ(\)ρ
To get an estimate from above we fix Μ € X — {0} an element in A + . Then
(q — 1 ){B(ü), ü) < (ρ — 1 )(A(ü), ü) and consequently
1—ρ q —1 q — q2 + pq — ρ
= -{A(ü),ü) + - (B(u),u) < ^ ^ ~{B(u),u)
ρ q pq
(q-p)(\-q)
(B(ü),ü)< 0.
PI
Let
(q - p ) 0 ,τ,,-s -v M
Μ = (B(u), u} < 0.
pq
We see that Μ < M. By virtue of Ekeland's variational principle there exists a
sequence {um} C A such that
1
Ff(um) <M + -
m
and
Ff{w) > Ff(um) - - | | u m - w|| (1.12)
m
for each w e A. Taking m large and using the fact that {um} C A we get
that is,
—-ic(\)\\um\\P < —||/|ΙΛ:.||Μ«||
pq q
and
- 1 )p
ι\um I,II ^< /7J i n i—l
m x
\(q - ρ)* m · )
On the other hand, we have
q - 1
(f,um)>-M> 0, (1.13)
q
that is,
-Mq
llUmll >
(q ~ 1)11/11*·
We may assume that um u in X and by (1.13) we see that {/, u0) > 0. We now show
that F'{um) - > 0 in X*. To achieve this we apply Lemma 1.7.2 to each um. According
to this lemma for each m there exists e m > 0 and a function tm : 2?(0, € m ) —• (0, oo)
such that tm(8w)(um — 8w) € A for each 0 < 8 < e m and w e B(0, 1) and moreover
f m ( 0 ) = 1. It follows from (1.12) that
for some or > 0 and all m. In the contrary case we may assume that
Since {||«»,||} is bounded from below by a positive constant we may assume, using
(1.14), that
(B(um),um) > γ
for all m and some constant γ > 0. By Proposition 1.7.1 (iii) we see that
ι
ρ
^ ( " m ) >γ μο > ο
Corollary 1.8.1.
(i) If f satisfies (1.9), then there exists u0 € Λ such that
Theorem 1.8.2. Suppose that f satisfies either (1.9) or (1.8) with Β strongly contin-
uous. Then a critical point u0from Theorem 1.8.1 is a local minimum for F.
17/ \ >
F(su) ^ F(t
|7/#— u)\ r 0η < s < ,i m a x
tor , vr - Ό
1) (B(u),u)
where t u e Λ+. It follows from the final part of Proposition 1.7.2 that a solution ua
obtained in Theorem 1.8.1 must belong to Λ+, so we have
for w e B(0, e). By Lemma 1.7.2 there exists a function t : B{0, e) -> (0, oo) such
that
t(w)(u0 - w) € A for w € B(0, e).
Since t(w) 1 as ||u»|| 0 we may also assume that
Proposition 1.8.1. Suppose that f satisfies either (1.9) or (1.8) with Β being strongly
continuous. Then
Proof. In the contrary case infA Ff(u) — infA_ Ff(u). As in the proof of Theorem
1.8.1 we can construct a minimizing sequence {um} C A_ w i t h F / ( « m ) —> infA Ff <
0 and Ff(um) —> 0 in X*. Then {um} contains a subsequence , denoted again by {um},
such that um —> w in X. We necessarily have { f , w) > 0, so w G A-)-. On the other
hand, since A_ is a closed set we must have w e A_ and this gives a contradiction. •
The existence results in Sections 1.6-1.8 for equation (1.5) have been established
assuming that the potential operator Β is strongly continuous. This is the case for the
nonhomogeneous Dirichlet problem in Ψ 0 1,2 (Ω)
-Au = \u\p~2u +f in Ω,
u = 0 on 3Ω,
(A(u),v) = / DuDvdx
JQ
and
(B(u),v)= I \u\p~2vdx
Jn
for u and υ in W 0 1,2 (fi), we see that A is continuous, strongly monotone and that Β
is strongly continuous. The strong continuity of Β is the consequence of the Sobolev
compact embedding theorem. Consequently we can apply results of Sections 1.6-1.8
to obtain the existence of at least two distinct solutions provided the norm of / in
W~1'2 is small enough. If ρ = then Β is not strongly continuous and the above
problem is characterized by the lack of compactness. In this case Tarantello [222]
established the existence of at least two distinct solutions by showing that μ0 > 0
using the intrinsic properties of the extremal function ([43], [44]) characterizing the
Sobolev inequality in W 1 , 2 (R' 1 ) (see Section 9.1 in Chapter 9).
with 0 < λ < λ ι , where λ\ is the smallest eigenvalue for the homogeneous problem
(1.1). We assume that C : X X* is a strongly continuous potential operator. A
problem of this nature will be called the problem with a subcritical potential operator C
(or a problem with compactness).
We set
h = inf{a(u)-kb(u); c(u) = 1} (1.17)
Proof. Let {uj} be a minimizing sequence for Ιχ. The assumption that 0 < λ < λι
yields that for sufficiently large j we have
λ
> —
/λ + 1 > a(uj) - kb(uj) > a(Uj)( 1 ~ γ ) > IM"(l - γ)·
λ]/ ρ Μ
Consequently, the sequence {uj} is bounded in X and we may assume that Uj u in
X. Since C is strongly continuous we have c(w) = 1. By the lower semicontinuity of
a and strong continuity of Β we get
Ei
X. < „ ( ! ) ( ! - A ) (q-p)
(q - 1 ) SUp||
tt||=l c(u) (q- 1)
and / e r - {0}.
-Apu = Di(\Vu\p-2Diu).
We assume that c > 0 is a constant and 2 < ρ < η. We write r ( x ) = r + (;c) — r_(x)
and assume that r g L ^ C K " ) and that
ϊ±ί
(αϊ) r+ e Llo* (R"), where p<q<q+e< for some constant e > 0, and
(£>l)
r
lim^i^oo JQ^x
£+£
r+(;y) « dy = 0 for some l > 0, where
I
Q(x,l) = {y\ Iyt - χι \ < -, ι = 1, ..., n}
(B(u),v)= f r(x)\u(x)\<<-2u(x)v(x)dx.
J R"
It follows from Theorem A.3.1 in the Appendix that b+ is weakly continuous and
by Fatou's lemma b_ is weakly lower semicontinuous. It is also well known that if
Uni —^ u in W 1 , p ( R " ) , then
I \Vu(x)\pdx I \Wum(x)\p dx
< liminf
JR" m-KX JRn
and
I \u(x)\p dx < liminf f \um(x)\pdx,
JR" m-too JRn
lp n
that is, a potential a: W ' (R ) -η» R defined by
Theorem 1.10.1. Let ρ < η and suppose that r+ satisfies (a\) and (b\) and R_ G
L^CM"). Then problem (1.18) admits at least one nontrivial solution u G
= / \u(x)\9r+(x)dx - q.
Jw
By Fatou's lemma we see that r-\u\g € L ^ R " ) and
\u\\PDUp= f \Wu(x)\pdx.
Jw
We can now state
Theorem 1.10.2. Let ρ < η and c = 0. We assume that r+ satisfies (a\) and that
r+ G L1 (R n ) and r_ G Lj1 (R n ), then problem (1.18) admits at least one nontrivial
solution in Dhp(W).
a(u) = — f \Vu(x)\pdx.
Ρ Jw
where c > 0 is a constant and 2 < ρ < Let H}{Rm) be a subspace of radially
symmetric functions equipped with norm from the space W1 ' 2 (R n ). The space H} (R n )
is compactly embedded in L p ( R n ) for 2 < ρ < ^ ^ (see Appendix, Theorem A.5.2).
Therefore, there exists a positive function ν e Η) (M") such that
/ n
'R
(|V«m(x)|2 + cum(x)2) dx I as m o o ,
where
f \u*m(x)\P dx = f \um(x)\p dx
J R" J R"
and
q - ρ ρ - 1 <7-1
11/11w'.p' -
q - 1 \{q - l)supMwhpSslfRnr(x)\u«\dx
then problem (1.22) admits at least two distinct solutions. Some extensions of this
result, without assumptions guaranteeing a weak continuity of the potential b can be
found in papers [244], [245] and [67].
A good illustration of a subcritical case is the following problem
where Ω c 1 " is a bounded domain, 2 < q < 2 < ρ < η (if ρ > η we can
take 1 < q < oo). We apply Theorem 1.9.1 with potential operators A, Β and C from
W 0 1 , p (ß) into Η ' - , · ' ' ' ( Ω ) given by
(A(m), υ) = f \Vu(x)\p-2Du(x)Dv(x)dx,
Ja
(B(u),v)= I \u(x)\P~2u(x)v(x)dx
Jq
and
(C(u), ),V)=
Jn
ί
ιu(i{x)\q~2u(x)v{x)dx.
By standard compact embedding theorems (see Appendix, Section A.2) Β and C are
strongly continuous. If we set
l i v <
λι = inf
«ewj-'in)
—Apu = k\u\p~2u in Ω,
u(x) = 0 on 3Ω.
Proof. It is easy to see that {uj} is bounded and we may assume that uj u. Suppose
that u φ 0. Let υ e X — {0} and t > 0. Since potential c is convex we have
and hence
c(uj+tv) > 1 +t(C(uj), v).
fl d fl
a(uj + tv) — a(uj) = I —a(uj+stv)ds = I (A(uj + stv),tv) ds
Jo ds Jo
and
We also have
£
a(uj + tv) - Xbiuj + tv) > hc(uj + tv)» .
Therefore,
where
Aj(t)=l (A(uj + stv) - A(uj), tv) ds
Jo
and
Bj(t) = I (B(uj + stv) - B(uj), tv) ds.
Jo
The strong continuity of Β implies that
As before, we check that both integrals tend to 0 with t —• 0. Since the inequality
holds also for —v, we see, letting t —• 0, that
were given by Danes [54], Penot [176], Georgiev [123] and Deville-Godefroy-Zizler
[98], [99]. In papers [54], [176] and [123], it is proved, among other things, that the
Ekeland's variational principle is equivalent to the Drop Theorem. The paper [123]
contains a strengthened version of Theorem 1.1.1 also based on the Drop Theorem.
The papers [176], [98] (see also a monograph [99]) offer a quite different approach
based on properties of Banach spaces admitting a smooth Lipschitzian bump function.
Theorem 1.1.3 is taken from Ambrosetti-Rabinowitz's paper [10]. Theorem 1.1.4 can
be traced in Brezis-Nirenberg's paper [42]. Proofs of Theorems 1.1.1-1.1.4 can be
found in the monographs by Struwe [212] and Mawhin-Willem [164], Proposition
1.1.1 appears in Calkovic, Shujie and Willem [51] and Goeleven [129]. Constrained
minimization methods, as well as relations among them described in Sections 1.2-1.5,
are scattered throughout the literature and have been used in many different problems in
variational calculus and in boundary value problems for nonlinear ordinary and partial
differential equations. In particular, the constrained minimization subject to constraint
V (Proposition 1.4.1) originates in Nehari's paper [171]. We have attempted to provide
a unified approach based on the use of potential operator equations in Banach spaces.
For further aspects of the dual method we refer to the papers [8], [9], [11], [12] and
[87]. To prove Theorems 1.2.1 and 1.3.1 and Proposition 1.4.1 we have used some ideas
from Briining's paper [48]. Theorem 1.6.1 is an abstract version of results obtained by
Xi Ping Zhu [244] and Xi Ping Zhu and Huan Song Zhou [245]. Results of Sections
1.7 and 1.8 are patterned after Tarantello's paper [222]. A different approach to the
nonhomogeneous elliptic equation involving a critical Sobolev exponent can be found
in [161], [246] and [60]. Theorems 1.10.1 and 1.10.2 are due to Chabrowski [65], [66].
The main purpose of this chapter is to study the existence of critical points via the
Lusternik-Schnirelman theory of critical points. The essential advantage of this ap-
proach is that it requires a C 1 -smoothness of a given functional. We distinguish
constrained and unconstrained cases. The latter case is described on some selected
situations. The two essential ingredients in the Lusternik-Schnirelman theory are the
(PS) condition and the existence of a deformation mapping. This mapping allows to
deform the set {F(u) < c + e} into (F(m) < c — e} for small e > 0 provided the level
set {F(u) = c} does not contain any critical point. This chapter contains a deforma-
tion lemma for C 1 functionals. Variants of this lemma are presented in Chapters 5, 6
and 7. In particular, in Chapter 7 we present a deformation lemma for C 1 -functionals
perturbed by a lower semicontinuous convex functional.
that F(um) c for some constant c and F'(um) —>• 0 in X* as m —> oo, then the
sequence {um} contains a subsequence strongly convergent in X.
Ρ <1
Given e > 0, we can find m0 such that
for m > m0. This means that the sequence {(B(um), um)} is bounded. Hence,
m)i u m)} is also bounded. By the strong monotonicity of A we have
for all m > m 0 . Since l i m ^ o o κ(ί) = oo, we see that the sequence {um} is bounded.
Therefore,
we may assume that um —u in X. Since Β is strongly continuous and
F'(um) —> 0 in X* we see that {A(um)} is convergent in X*. We now observe that A
satisfies condition (S)i, hence {um} converges strongly in X. •
Remark 2.1.1. Theorem 2.1.1 remains true, if F is replaced by Ff(u) = a(u)—b(u) —
( / , u), with / 6 X*. This fact has already been used in Lemma 1.6.1.
Let Φ : [0, oo) —• [0, oo) be a continuous strictly increasing function with Φ (0) =
0 and linv-yoo ΦΟ) = oo.
Following J. L. Lions (see [156], Chapter 2) we say that a mapping Jφ : X —> X*
is a duality mapping relative to Φ if
and
||/Φ(Μ)|| = Φ(|Μ).
Proof. Let ||u|| = 1. According to the Hahn-Banach theorem there exists a unique
u* G X* such that
||w*|| = 1 and (u*,u) = 1.
f\\u II
Jo
f i f i r\\u\\
and for the validity of that integral representation we do not need the hemicontinuity
of J.
However, we have
We observe that, applying Proposition 2.2.4 with Φ(Γ) = r, we obtain the duality
mapping from Proposition 2.2.1.
\\Du\\p = ^\DU(X)\p d x y
(7Φ(u),v)= I \Du\p~2DuDvdx
Ja
;'Φ(") = - f \Du\Pdx.
Ρ JQ
On the other hand
and
j(u) = ^\\Du\\2p.
is bounded and each ray passing through the origin intersects Ma. Moreover,
there exists ρ = p(a) > 0 such that {A(u), u) > ρ for all u € Ma.
A mapping A satisfying (a) must be bounded. Moreover, we can define a mapping
ρ : X — {0} (0, oo) by a(p{u)u) = a. This mapping is well defined. Indeed,
suppose that for some 0 < t\ < t j we have a(t\u) = a f a u ) = a. Then by assumption
(a) we have
f" dt
0 = a(t2u) — a{t\u) = I (A(tu),tu}—> 0,
Jt\ t
which is impossible.
Proof. It follows from (a), that Ma is symmetric, bounded and bounded away from
zero. It is easy to see that ρ inherits these properties; that is, ρ is even and bounded on
sets which are bounded away from zero and (i) holds. Since Λ is a continuous potential
operator, its potential a is Frechet differentiable. For every u e X — {0} and every
t > 0 we have
d _,
—a(tu) = {A(tu), u) = t 1 (A{tu), tu) > 0.
dt
that is,
P(uΫ
Ρ (") = Λ , , A(p(u)u). (2.1)
(A(p(u)u, p(u)u)
This representation for p' implies that p' is bounded on sets which are bounded away
from zero because ρ and A have this property. Finally, using the relation
which holds for u, ν e X and with 0 £ {v + t(u — ν), 0 < t < 1}, we see that ρ
is uniformly continuous on bounded sets which are bounded away from zero. Conse-
quently, by virtue of (2.1) p' satisfies (ii). Property (iii) follows from (2.1) and from
the fact that p(u) = 1 for all u e Ma. •
Diu) = B(u) -
{A(u), u)
and
{Mu) /(D(m)))
TV λ = Junt
T{u) (D(u))* >——— u.
(A(u), «)
By a straightforward computation we check that
and
(A(u), T(u)) =0 for u G Ma. (2.3)
We now formulate and prove Lemma 2.3.2 and 2.3.3 which will be used in Chapter 3.
Lemma 2.3.2. Let X be a uniformly convex Banach space. Suppose that A : X —»· X*
satisfies (a) and that Β : X X* is an odd potential operator which is uniformly
for all u e Ma and t e [—r0, r0]. (Here, b denotes the potential of B).
where
Lemma 2.3.3. Let the assumptions of Lemma 2.3.2 hold. Suppose that for β > 0
there exist an open set U C Ma and constants δ > 0 and 0 < ρ < β such that
Proof. Since limr_,.o Κ", τ) = 0 uniformly in u e Ma, we can find τ\ e (0, rQ] such
[2
that Ir(u, r)| < y for (w, τ) e Ma χ [—ri, ri]. We now set t(u, r) = r · sgnfo(u)
and by Lemma 2.3.2 we have
«52τ
\b(H(u,t(u,T))\>\b(u)\ + —
for all (Η, τ) e VP χ [0, rj]. Setting e = min(p, we see that this inequality
becomes
Ib(H(u, t(u, r))| > \b(u)\ +2t>ß +€
for u g Vp Π Nß- e . It follows from (2.4) that for every fixed u e Vp \b(H(u, t(u, ·))|
is strictly increasing on some interval [0, σ] D [0, τι]. Therefore, for every u e VP,
the functional
is well-defined, continuous on Vp and 0 < |i e («)| < τ\ for u e Vp. To complete the
proof we define a mapping H€ : Nß-€ — U —• Nß+e by
Proof (a), (b) and (c) easily follow from the definition of genus.
(d) It is obvious that y(dU) < n. To get the equality we use the following variant of
the Borsuk-Ulam theorem: there is no odd continuous mapping from 3 U to R " - 1 — {0}.
Hence, y(dU) = n.
(e) We may assume that y(A) = k and y(B) = m < oo, since otherwise the
conclusion is trivial. Let / : A Rk - {0} and g : Β R m - {0} be odd
continuous mappings. By virtue of Tietze's theorem there exist continuous mappings
/ : X -»• Rk and g : R m such that f = f \A and g = g |β. These extensions can
be chosen as odd mappings, for otherwise we could take f\ = ^ (/(u) — f (—«)) and
g! (u) = J (g(u) — g(—u)). We now define an odd mapping h : A U Β ->• R * χ R m by
h(u) = ( / ( « ) , £ ( « ) ) . Since h{u) φ Ofor« e AUB, we must have y{A\JB) < k+m.
(f) Since A C A - BUB, it follows from (b) and (e) that γ (A) < y(A - B)+y(B).
(g) For jc G X , we set C = B{x, r) U B{-x, r) with r < ψ·. Then B(x, r) Π
B(—x, r) = 0 and y (C) = 1. Since finitely many such sets covers A, it follows from
(c) that y(A) < oo.
We note that if A e Σ ( Χ ) and γ (A) > 1, then A contains infinitely many distinct
points.
If A e Σ ( Χ ) and Ω is a bounded neighbourhood of 0 in R" and there exists a
mapping h e C(A, 3Ω), where h is an odd homemorphism, then γ (A) = n.
The proof of the existence of infinitely many critical points of a functional F ( u ) =
a(u) — b(u), introduced in Section 1, will be based on theorems of min-max type.
The simplest result from the Lusternik-Schnirelman theory of critical points is the
following result (due to Lusternik):
Let / e C ^ R " , R) be an even function. Then / = /|s(o,i) possesses at least η
distinct pair of critical points.
To explain the main idea of the proof, which we will follow in the proof of the
unconstrained case, we set
We now turn our attention to a deformation lemma, the proof of which is straightfor-
ward for C 2 -functionals. The deformation mapping is then obtained by considering a
gradient flow of F which in the case of C 1 -functionals is only continuous. To overcome
this difficulty we replace a gradient by a pseudogradient.
Let U be a subset of a Banach space X and let F e C 1 (X, M). We say that a vector
υ is a pseudogradient of F at u £ U, if
Lemma 2.4.2. Let X be a Banach space and F G Cl (X, R). Then there exists a
locally Lipschitz pseudogradient g : Y —> X.
Lemma 2.4.3 (Deformation lemma). Let e e l and F G C 1 (X, M). Then for every
0 < 8 < I there exists a continuous mapping (deformation) η : [0, 1] χ Χ —» X such
that
The sets Ν and X — Ν are disjoint and closed. Let g : X —> [ 0 , 1 ] be a locally
Lipschitz continuous function defined by
dist(«, X — N )
g(u) =
dist(w, X - N ) + dist(w, N )
V(«) =
0 ifueX-N.
It follows from the definition of the pseudogradient that ||0(«)|| > ||F'(m)|| > *Jh for
u e Ν and hence || VC")II < A deformation mapping η is defined as a solution of
the initial value problem
(iv) If |F(w) - c| > 28, then η{ί, u) = u for all t e [0,1] and (iv) holds. We
may therefore assume that |F(m) - c\ < 28. If F{q(t, u)) > c — 28, then (iv) easily
follows from the fact that F(q(t, u)) is decreasing on [0,1]. Consequently, suppose
that F(ij(l, «)) < c-28. Then, there exists t\ € [0, 1] suchthat F{r)(t\, u)) = c-28.
Since η(ί, u) = η{ί\, u) for t > t\, we have
' u)
Mt,u)-u\\ < [ II as
|| ds
Jo ds
<-f ds
J[ o,t]n(i;ij(j,u)€W)
f Sitfi —))—^ f g^(s>u^ds
€N] ||F'(»?(J,ii))|| " ^8 Jo
(vi) If η(ΐ, u) € Ν for 0 < t < τ, then g{ri(t, u)) = 1 and (vi) follows from (2.6).
Finally, if F is even, then g is also even and the flow generated by V must be odd. •
Corollary 2.4.1. Suppose that F satisfies the (PS)C condition. Then for every e > 0
there exists 8 < e and a deformation η from Lemma 2.4.3 such that: ifu€ Fc+S and
F(?7(l, m)) > c — 8, then
Proof Given e > 0, there exists 8 > 0 such that | F(u) - c\ < 8, || F'(u) || < 2λ/S and
|| μ — υ || < 3 2 i m p l y that ||F'(i;)|| < €. In the contrary case, there exists e 0 > 0
and sequences {um}, {um} such that F(um) ->· c, F'(um) ->· 0, ||« m - vm\\ and
l|F'(i» m )|| > €0 which is impossible. We now choose δ < | and 8 < € for a given
€ > 0 such that the above implications hold. Then part (b) of the alternative of Lemma
2.4.3 holds and our assertion follows from (v). •
Corollary 2.4.2. Suppose that F satisfies the (PS)C condition. Then for every e > 0
and a neighbourhood Ό of Kc, there corresponds 8 < € and a deformation from
Lemma 2.4.3 satisfying Ty(Fc+i — ö) C Fc~s (that is, part (a) of the alternative from
Lemma 2.4.3 holds).
Proof. Since (PS)C condition holds, then there exists a > 0 such that
Taking e < a we apply Corollary 2.4.1 and let S and η be as in this Corollary. If
u € Fc+S — Ö and part (a) of the alternative does not hold, then c —8 < F(^(1,m)) <
F(w) < c + <5 and ||F'(u)|| < €. This implies that u € U C Ο which is impossible. •
To illustrate this corollary let us consider F(x, y) = 0 for (x, y) e E 2 . The only
critical point is (0,0). If U is a neighbourhood of (0,0) and e > 0 sufficiently small
then F€ — U can be deformed to F~€. However, if we replace F€ — U by Fe, then
this is no longer true.
To proceed further we introduce some notation. Let F e Cl(X, R), we denote by
Γ* the set of all homeomorphisms h e C(X, X) such that h(0) = 0 and h{B{0, 1)) C
(F(h) > 0}, and set
Γ* = {h 6 Γ*; h is odd}.
We denote by Tm the set of all compact subsets of X which are symmetric with respect
to the origin and such that γ(Κ Π h(dB(0,1)) > m for all h e Γ*.
Lemma 2.4.4. Suppose that F satisfies (i) of Theorem 1.1.3 and that for any finite
dimensional subspace Ε C X the set Ε Π F - 1 ( [ 0 , oo)) is bounded. Then
(i) Tm#0,
(ii) r m + i C r m ,
(iii) Κ G Tm and Υ e Σ(Χ) with y(Y) < r < m implies Κ - Υ e rm-r,
(iv) if φ is an odd homeomorphism of X onto X and
Proof. Since (ii) is obvious, we only prove (i), (iii) and (iv).
(i) Let Em be an m-dimensional subspace of X and let KR = Em Π B(0, R).
Obviously, KR is a compact set in Em. According to our assumption F - 1 ( [ 0 , oo)) Π
Em C KR for R sufficiently large. If h e Γ*, then h{B{0, 1)) ΓΊ Em C F~{ ([0, oo)) Π
Em and hence h(B(0, 1)) η Em c KR. Consequently, KR Π h(3B(0, 1)) = Em Π
h((dB(0, 1)). We now observe that h (B(0, 1)) Π Em is an open, symmetric and bounded
neighbourhood of 0 in Em with the boundary Em Γ) h(dΒ(0,1)). It follows from (d)
of Lemma 2.4.1 that y(Em Π h(dB(0, 1))) = y(KR Π h(dB(0, 1))) = m, that is,
K R Gr v
(iii) First of all, Κ — Υ is a compact and symmetric set. If h € Γ*, then Κ — Υ Π
h(dB(0, 1)) = (KOh(dB(0, 1))) - Υ and applying (f) of Lemma 2.4.1 we get
Theorem 2.4.1. Let F e Cl(X,W). Suppose that (i) of Theorem 1.1.3 holds, F
satisfies the Palais-Smale condition, F is even and that for any finite dimensional
subspace Ε C X the set Ε Π F - 1 ( [ 0 , oo)) is bounded. Let
bm = inf maxF(w).
Kerm ueK
Here and in Theorem 2.4.2 below a 0 denotes a positive constant from the mountain
pass theorem (see Theorem 1.1.3).
Theorem 2.4.2. Suppose that assumptions of Theorem 2.4.1 hold. For each integer
m > 1 we set
cm = sup inf F(h(u)).
her*
ThenO < of < Cffi < bm < oo, cm < cm-|-i and cm is a critical value of F.
Proof. As in the proof of Theorem 2.4.1 we show that cm > a. Since 35(0, 1) Π E^
is a subset of 35(0, 1) Π we see that cm < cm+\. We now show that cm < bm.
Let Κ e Tm and h e Γ*. If £ Π /i(3ß(0, 1) Π φ 0 for all such Κ and h
we show as in Theorem 2.4.1 that cm < bm. Since h(dB(0, 1)) is the boundary of a
neighbourhood of 0 in Ε,
/ r 1 (K - 5(0, Ο) Π 35(0, 1) Π ^ 0,
(κ - 5 ( 0 , 0 ) Π h(dB(0, l) η E ^ ) Φ 0,
We can again use the argument of Theorem 2.4.1 to show that cm is a critical point. •
The assumption that for every finite dimensional subspace Ε C X the set Ε Π
F - 1 ( [ 0 , oo)) is bounded, has been used to show that Tm φ 0. We now replace this
assumption by:
(a) there exists a _/'-dimensional subspace Ε c X and a compact set A c Ε with
F(u) < 0 for u e A such that 0 lies in a bounded component (in Ε ) of Ε — A.
Using this assumption we can show that φ 0 for 1 < m < j . Indeed, let
Em be an m-dimensional subspace of Ε and let KR = Em Π 5(0, R). We show that
KR g r m . By assumption (a) Α Π Em c KR for R sufficiently large. Consequently
the component Q of F _ 1 ([0, oo)) Π Em containing 0 lies in KR. Therefore, if h G Γ*,
then QC\h{BB(Q, 1)) contains the boundary of symmetric and bounded neighbourhood
of 0 in Em and using (b) and (d) of Lemma 2.4.1 we see that
We can now formulate the following variant of Theorems 2.4.1 and 2.4.2.
Theorem 2.4.3. Let F € C 1 (X, R). Suppose that assumption (i) of Theorem 1.1.3
holds that F satisfies the Palais-Smale condition, F is even and that (a) holds. Then
the conclusions of Theorems 2.4.1 and 2.4.2 hold for bm and cm with 1 < m < j.
Moreover, if F is bounded from below and satisfies the Palais—Smale condition, then
and dm is a critical value of F. Ifdm+\ = dm+2 =•···= dm+r — d, then y(Kj) > r.
It follows from (b) and (d) of Lemma 2.4.1 that γ (A) = j and consequently dm < 0
for 1 < m < j . The proof of the multiplicity part of our assertion is similar to the
corresponding part of Theorem 2.4.1 and therefore is omitted.
and set q = i n f ^ E * sup ueA F(u). We show that c* are critical values of F(u) =
a(u) — b(u).
Theorem 2.5.1. Let A and Β be odd potential operators. Suppose that A is strongly
monotone, continuous and homogeneous of degree ρ — 1. Moreover, we suppose that
Β is strongly continuous, positive and homogeneous of degree q — 1 with ρ > q. Then
each Ck is a critical value of F. If c = c* = 1 = · · · = C£+r and Kc — {u e
X; F'(u) = 0, F(u) = c}, then y(Kc) > r.
1 1 - i £
F{u) > ~(A(u),u)
p - q -SpZ(A(u),u)p.
Since ^ < 1, this estimate shows that F is bounded from below. Let Em be an m-
dimensional subspace of X and let u € Em with \\u || = 1. Then there exists € > 0 and
η > 0 such that
ηΡ rf
F{f)u) < — sup ( A ( u ) , u ) inf ( B ( u ) , u ) < —€.
Ρ ||u||=i q MM
Here the infimum is taken over unit sphere in Em and since Β is positive we must have
0 < inf|| u n = i (B(u), u) < 00. On the other hand B(0, η) Π Em C {m; F(u) < —€},
hence y({«; F(u) < —e}) > m. This shows that Σ* Φ 0 for each/: > 1 and the result
follows from Theorem 2.4.3. •
F(u)<-{F'(u),u}= 0.
q
Since F is also bounded from below and the (PS) condition holds, the compactness of
Κ easily follows. •
is bounded.
It is clear that for 0 < ||w|| < r, with r small, this inequality implies (i).
(ii) Let u φ 0, then
fP t?
F(tu) =—(A(u),u) {B(u),u)<0 and ||ίκ|| > r
p q
for t > 0 sufficiently large.
(iii) Suppose that Pm is unbounded; that is, there exists a sequence {üj} in Pm such
that || üj || —• oo as j —> oo and that
j —>· oo. We may also assume that ^ -*• τ* as j -> oo with ^Jxf 4- • · · + τ 2 = 1.
We now observe that
for some constant Κ > 0. The last inequality follows from the fact that A is bounded
on bounded subsets of Em.
1/ / m \ m \
Letting j —> oo, we get
(b
which is impossible, since ΣΤ=ι xf = 1 implies that ΣΤ=\ τ ' M « Φ Ο anc ^ # is a positive
potential operator. •
and denote by Γ the set of all odd homeomorphisms h in C(X, X) with h(0) = 0 and
h(B(0, 1)) C F0. As a consequence of Lemma 2.6.1 and Theorem 2.4.1 we obtain
Theorem 2.6.1. Suppose that A and Β are odd potential operators and that the as-
sumptions of Lemma 2.6.1 hold. Let Tm be the set of all compact and symmetric subsets
Κ of X with γ(Κ Π h(dB( 0, 1))) > m for each he Γ, then
In the next result we examine the behaviour of critical values of bm and cm.
Theorem 2.6.3. Suppose that the assumptions of Theorem 2.6.2 hold. Then
l i m ^ o o c m = oo.
Proof. We set
First, we show that there exists r > 0 such that (B(u), u) > r for all u e M.. Indeed,
it follows from the Sobolev inequality that
1 £ 1 1
-Sp,q(B(u),u)* < ~(A(u),u) < ~(B(u),u)
ρ p q
for all u G M. Since ρ < q the claim easily follows. We now set
dm = inf{||u||; u G Μ Π E^}.
We claim that lim,„_(.00 dm = oo. In the contrary case there exists 0 < d < oo and a
sequence {um } with um G Μ Π Em for each m such that ||u m || < d for all m. Hence
um 0 in X and consequently
(B(um),um) (5(0), 0) = 0 as m — o o ,
For every E we define Ze as a set of all sums u + ν with u G R^ldm(E^ Π 5(0, 1))
and ν G €{Em Π 5 ( 0 , 1 ) ) . We now show that
Z€C{X-{0}-M} (2.8)
for sufficiently small € > 0. In the contrary case there exists a sequence
as j oo. Since {wy} and {i>;·} are bounded in X, ejνj ->· 0 in X and R~xdmUj
l
R~ dmu in X. By the previous step of the proof we must have
Also, R~ldmu G M. On the other hand we have 0 < R~ldm < ß(u), and therefore
F(R~ldmu) > 0, that is,
It follows from (2.7) that hm(B( 0, 1)) C ( « e X ; F(u) > 0}. To complete the proof
we show that
-Rp~Uqm p
(B(u),u) < Rp-qßq~p-(B(u),u) = -Rp~q{A(u),u)
q I P
and therefore
F(hm{u))>R~ldp\^ (A(u),u)--Rp-*(A(u)
q
Taking R sufficiently large the result follows •
2.7 Case ρ = q
The case ρ = q is based on a general result due to Amann (see [13]).
Theorem 2.7.1. Let X be a uniformly convex Banach space with dim X = oo. Suppose
that the potential operator A : X —> X* satisfies assumption (a) and that the potential
operator Β : X -» X* (with potential b : X M) is strongly continuous, odd and
such that b(u) φ 0 implies B(u) φ 0. Then:
(a) The eigenvalue problem (1.1) has infinitely many distinct solutions (eigenfunctions
belonging to Ma) provided
and define
ßk = sup inf \b(u)\. (2.10)
CeC*
If ßk > 0, then there exists an eigenfunction Uk G Ma of (1.1) with \b(uk)\ = ßk-
(c) Suppose that for some integers j and m we have
Proof (b) Let [um} be a sequence in Ma such that \b(um)\ —• ßk. We show that
D ( u m ) -»· 0. In the contrary case we can find constant 8 > 0 and ρ > 0 such that
||D(w)|| > 8 for all u g Vp = {u g Ma; ||fc(w) - ßk\ < ρ}. We may assume that
ρ < ßk. We now apply Lemma 2.3.3 with U = 0, to obtain for some € > 0 an odd
continuous mapping H€ : Nßk-€ -*· Nßk+e. It follows from the definition of ßk that
there exists Ce e C* such that \b(u)\ > ßk - e for all u g C€t that is, C€ c Nßk—€.
Hence \b(u)\ > ^jt + e f o r a l l « e He(Ce). According to Lemma 2.4.1 (a) H€(C€) e Ck
and this contradicts the definition of ßk. Hence, D(um) 0 as m oo. By virtue
of Theorem 2.3.1 the (PS) condition holds and we can find a strongly convergent
subsequence um? —> u, as s — o o , with u g Ma and obviously |fc(u)| = ßk·
(c) We denote by Ε the set of all eigenfunctions of (1.1) with b(u) φ 0, that is,
By Ek we denote the set of all eigenfuctions on the level set ßk, that is, Ek = {u g
Ma\ D(u) = 0, \b(u)\ = ßk). First of all, Ej is compact, this is a consequence of
the (PS) condition (see Theorem 2.3.1). By part (b) Ej φ 0 and and we can find
an open symmetric neighbourhood Uj of Ej in Ma such that y(Üj) = y(Ej) < oo.
We now improve the choice of Uj by showing that there exists an open symmetric
neighbourhood U of Ej in Ma and constants ρ > 0 and 8 > 0 such that
and
u g {u g Ma - U, \b(u)\ - ßj\<p} => ||D(m)|| > 8. (2.12)
To show this we observe that there exists a constant ρ > 0 such that
In the contrary case we could find a sequence {um} C Ma — Uj such that |£>(«m)| —> ßj
and {um} C E. It follows from Theorem 2.3.1 that {um} has strongly convergent
subsequence to u G Ε — Uj which is impossible. We can always assume that ρ < ßj
and by Theorem 2.3.1 F is compact. Hence the distance of F to the closed set Ma — Uj
Y(Ej)<y(Ü)<Y(Üj) = y(Ej)
and (2.11) holds. According to Lemma 2.3.3 there exists an e > 0 and an odd contin-
uous mapping He such that He(Nß-€ — U) C Nßj+e. It follows from the definition of
ßj+m, that there exists C€ e Cj+m such that
Consequently,
y(C€) < y(Nßj-e) < y{Nßj+e) + m
By the definition of ßj we have y(Nßj+e) < j, so y(Ce) < j +m. Since Ce
we have also that y(C€) > j +m, which is impossible, so we must have y(Ej) > m+1.
(a) It follows from (2.9) that ßk > 0 and by part (b) Ε φ 0. Suppose that £ is a
finite set. Since {ßk} is a decreasing sequence there exists j such that ßk = ßj for all
k > j and part (c) implies y (Ej) = oo. On the other hand Ej c E, so we also have
y(E) = oo, which is impossible. •
Theorem 2.7.2. Suppose that A is an odd strongly monotone potential operator, uni-
formly continuous on bounded sets and homogeneous of degree ρ — 1. Further, assume
that Β is an odd, strongly continuous, positive and homogeneous of degree ρ — 1. For
each integer k > 1 we set
ßk = sup min b(u), (2.13)
CeC* " e C
where Ck = {C G Ma \ C-symmetric, compact and y(C) > k). Then there exists an
eigenvector u e Ma of (1.1) such that b(uk) = ßk-
It is easy to check that y(Ma) = oo, so Ck φ 0 for each k > 1. Also, assumption (a)
holds. Since b is positive we must have ßk > 0 for each k > 1 and the result follows
from Theorem 2.7.1.
According to Theorem 2.7.2 for each integer k > 1 there exists Uk such that
b(uk) = ßk and D(uk) = 0, that is,
Οί
M"k) = λ k B ( u k ) with λk = — .
ßk
Part (c) of Theorem 2.7.1 implies the following multiplicity result for the level
b(u) = ßk.
Proposition 2.7.1. Suppose that the assumptions of Theorem 2.7.2 hold. Let
=
ßj ßj+1 = • · · = ßj+m > 0,
then y(Ej) > m + 1.
Proposition 2.7.2. Let X be a separable Banach space. Suppose that the assumptions
of Theorem 2.7.1 hold and let {ßk} be a sequence defined by (2.13). Then
Proof We follow the proof of Proposition 5.4 in Azorero- Alonso [16]. Let {Em},
m > 1, be a sequence of linear vector subspaces of X having properties (i), (ii) and
(iii) (see the paragraph preceeding Theorem 2.6.2). We set
and there exists uk G C Π such that ßk(uk) > γ. Consequently, the fact that
{«it} C Ma implies that we may assume that uk —^ u in X, but uk G Ε^·_j, therefore
u = 0 and this contradicts the fact that b(uk) > γ. •
a(u) = - [ \Vu(x)\pdx
Ρ Jq
and
b(u) = - f \u(x)\idx.
9 Ja
given by
(A(u), ν) = I \Vu(x)\p-2Diu(x)Div(x)dx
Ja
and
(B(u),v)= [ \u(x)\i-2u(x)v(x)dx
Jn
for all u and ν in W 0 1 , p (ß). Here (·, ·> denotes the duality pairing between spaces
^ ' ^ ( Ω ) and Ψ~ι,ρ'(Ώ), with ρ' = The potentials operators A and Β are
homogeneous of degree ρ — 1 and q — 1, respectively.
If ρ < q < then according to the Sobolev embedding theorem Β is weakly
continuous. If q = -j^, then Β is only continuous and in both cases we have
Σ* = { Α ε Σ , Y(A)>k)
where y is a genus. In the sequel we shall always assume that 1 < p,q <
Applying Theorem 2.5.1 and Corollary 2.5.1 (case ρ > q), Theorems 2.6.1 and 2.6.2
(case ρ < q) and Theorem 2.7.1 (case ρ = q) we obtain the following result.
Theorem 2.8.1. Let ρ > q and for every integer k > 1 we set
Ck = inf sup
U€A
F(m),
then for each c* is a critical value of F. If c = c* = · · · = c*+r and Kc = {u G
W0 (Ω); F(u) = c], then y(Kc) > r + 1. Moreover, the set of critical values is
compact.
To formulate the next result we need some notation:
F0 = {u g 0 < F(u) < oo}
and the set of all odd homeomorphisms h in C f W o ' ^ ) ; W0 (Ω)) such that Λ (0) = 0
and h(B(0, 1)) C Fa is denoted by Γ.
Theorem 2.8.2. Let ρ < q and for each integer m > 1 let Tm be a family of all
compact and symmetric subsets of ^ ' ^ ( Ω ) such that γ(Κ Π h(dB(0, 1))) > m for
each h € Γ. Then
bm = inf sup F(u)
ueK
is a critical value of F such that
0 < c < bm < bm+1.
I f b = bm= bm+1 = · • · = bm+r, then y(Kb) > r + 1.
The fact that in this case there exist infinitely many critical values is consequence
of Theorem 2.6.3 which takes the following form
Ma = {n G ^ ( Ω ) ; - f \Vu(x)\Pdx = a}
Ρ Ja
for a > 0 and by Ck we denote a collection of all compact and symmetric subsets C
of Ma with y(C) > k.
ßk = sup min£(w).
CeC*
Then ßk > 0 for each k and there exists Uk € Ma such that /Ω \uk(x)\p dx = ßkp
and Uk is a solution of the problem (2.14), (2.15) with λ = λ* = j^. Moreover,
lim^oo ßk = 0 (lim^oo λ* = oo).
Theorems 2.8.1-2.8.4 were obtained by Garcia Azorero and Peral Alonso [16].
Combining Theorems A.3.1 and 2.7.1 we can now establish the existence of a
sequence of eigenvalues for a problem corresponding to (1.18).
For each a > 0 we set
Theorem 2.8.5. Let ρ = q and let r > 0 on R" with r φ 0. If η > ρ, we assume that
£±1
r 6 (IR"), with 1 < ρ < ρ + € < j ^ f o r some € > 0 and
-p
I y ι c
lim I r(y)
r(y * dy=0 for some I > 0.
\x\->°°JQ(x,l)
Jo
If η — ρ, we assume that L^ oc (M")/or some s > 1 and
lim I /
x|->oo .ln( r /)
r(y)s dy = 0 for some I > 0.
such that
a
r{x)\u{x)\p dx = ßk and λ* = —.
q IR"
Jw ßk
Moreover, lim^oo λ* = oo.
In an obvious way one can formulate the existence results for problem (1.18) using
Theorem 2.5.1 if ρ > q and Theorems 2.6.1, 2.6.2 and 2.6.3 if ρ < q. According to
Theorem A.3.1 and Proposition A.3.1 one has to distinguish cases: ρ < η, ρ = η and
ρ > η.
Let
ßj(u) = B(u) in X,
where μ e R and X is a uniformly convex Banach space equipped with norm || · ||. A
mapping J : X —> X* is a duality mapping of X, which has the properties ||./(u)|| =
||w|| and {J(u), u) = ||m||2 for all u e X. J can be interpreted as the Gateaux derivative
of the functional j { u ) = ^ |Μ || 2 .
Throughout this section we assume that Β : X X* is a strongly continuous
potential operator with a potential b : X -*• R.
We assume that 6(0) = 0, B(0) = 0, if b(u) φ 0 and ||m|| < 1, then B(u) φ 0.
Moreover,
(B(u) - Β (υ), u-v)> —h(\\u - υ||) (2.16)
for all ||u|| < 1 and ||u|| < 1, where h : [0, oo) —• [0, oo) is a continuous function.
Following Lehtonen [150], we define a measure of uniform convexity in X by
2RδR(\\u-v\\)<(J(u),u-v) (2.17)
and
4Ä5 Ä (||u - υ II) < (J(u) - J {υ), u - v). (2.18)
Proof. Let € = ||w — i>||, then from the definition o f 8r we easily get
Example 2 . 9 . 1 . If X is a Hilbert space then the parallelogram law yields that 8(e) =
I - Y I - D ) 2 ·
To compute 5 for Lp-spaces we use Clarkson's inequalities, namely,
if 2 < ρ < oo, then
for all Μ , υ G Ζ ^ ( Ω ) ,
if 1 < ρ < 2, then
for all w, ν € LP(Q), where Ω is a domain in R " and p' = (see [1]). We get
= if Ρ > 2
and ^
= if 1 < ρ <2.
We are now in a position to formulate a result which allows us to compute the first
eigenvector.
n Λ ί 1 4 1
0 < 0 < mini , 1.
U ( l ) c 0 + 2h{\) J
W? d e f i n e a sequence { u m } by
J ( u m ) + 9 B ( u m )
J(um+1) = — — ——. (2.20)
||7(« m ) + 0fi(w m )||
Since c
5 ( 0 , 1 ) , we may assume that um —" u0. Obviously, we have that
b ( u ) —• b ( u ) . T o s h o w t h a t u 0 φ Owe prove that { b ( u
m 0 m ) } is an increasing sequence.
b ( u m + \ ) - b { u m ) = I { B ( u m + t ( u m + \ — u m ) ) , um-i-i — u m ) dt
Jo
> ( B ( u m ) ,M m + i - u m ) - f d t ,
Jo t
e ( B ( u m ) ,u m + 1 - u m ) = r m ( J ( u m + 1 ) , u m + i - u m )
2 Γ A(f)
σ Jo t
On the other hand b{uQ) > b{um) > 0 and consequently B(u0) φ 0. This implies that
u0 φ 0, u* φ 0 and r0 φ 1. It remains to show that um —> u0. To achieve this we
write
(1 - r ) J ( u ) = r ( J ( u ) - J ( u ) ) - 6 B { u )
m (2.21) m m m + l m m
It follows from this estimate that there exists a constant C' > 0 such that
In case when X = Η is a Hilbert space and assuming that condition (2.16) has the
form
(B(u) - B(v), u-v)> -c\\u - v\\2
for some constant c > 0, the iterative sequence can be determined by
= um+0B(um)
m+1
" \\um + 0B{um)\\
for some constant 0 < θ < £ (see Necas-Lehtonen-Neittaanmaki [170] and Necas-
Kratochvil [141]).
We see that φ is an odd continuous function. We now select a point u g Κ ι and form
the η-fold composition φ^ = φο · • · ο φ. For each integer m > 1 let u°m be a vector
in AT] such that
min b(<p(m\u)) = b(<p(m\u°)). (2.22)
ueKi
We have
Theorem 2.10.1. The sequences and {φ^} have the following properties:
(i) limm^00b(<pW(u0m)) = ß2,
(ii) there exists u° e K\ such that
B{ü) = ßJ(ü).
for each u e K\. Since φ : S(0, 1) ->· S(0, 1) is continuous and odd it follows from
Lemma 2.4.1 that γ(φ{·ηι){Κ\)) > γ{Κ\) > 2. Consequently, it follows from (2.22)
and (2.23) that
lim min b(p(m)(u)) < ß2.
m^ooueK\
Let us set
κ = lim min b(<p(m)(u))= lim b{(p{m\u°)).
m—yoo ueK\ m—yoo
By compactness of K\, we may assume that u° u°, with u° e K\. By virtue of
Theorem 2.9.1 limm_>oo u°)) is a critical value of b. Since, by our assumption,
there are no critical values in (ß2 — €, ß2), we obtain
b{<p{m°\u°m))>ß2-n
are eigenvalues ofb restricted to 5(0, 1) and moreover assume that there are no critical
values in the interval (ßk+l — ßk+l)· Let K\ be a compact set in Ck+\ such that
The proof of this theorem is similar to that of Theorem 2.10.1 and therefore is
omitted.
To illustrate the iterative method we consider the eigenvalue problem
-Di(\Vu\p~2Diu) = XG(u) in Ω,
w(jc) = 0 on 3Ω,
where Ω c K" is a bounded domain and 1 < ρ < oo. We assume that there exists
a continuously differentiable function g : Μ -»• Μ such that G(r) = g'(r) on M,
g(0) = G(0) = 0, moreover G is strictly increasing and G(r) < C( 1 + |r|^ + 1 ) for
some constant C > 0. Let Φ(γ) = rp~x for r > 0, then the duality mapping of
νν 0 1ρ (Ω) relative to Φ is given by
(7φ(κ), υ) = Y\ f \Vu{x)\p~2DiuDivdx.
1,(u) = -\\Vu\\pLP
(see [156], p. 174-175). Since Φ(1) = 1 we can use Theorem 2.9.1 with J® in place of
J and potential operator Β : W 0 1 , p (n) and its potential b : Wo'p(tt)
R are given by
and
By the Sobolev embedding theorem Β is strongly continuous and we can use Theorem
2.9.1 with formula (2.20) to approximate eigenfunctions.
In this chapter we investigate the existence result for the equation (1.1) assuming that
Λ is a homogeneous potential operator; however we drop the homogeneity assumption
for the operator Β. We show that under suitable assumptions the minimization problem
(m) has a solution. For homogeneous operator Β we have obtained the existence of
a solution to problem (m), with ρ < q, as a by-product of the existence result for
the problem ( / ) and in the case ρ > q we deduced the solvability of problem (m)
from the solvability of problem (Κ). In both cases our argument essentially depended
on the homogeneity of B. The main difficulty in solving problem (m) without the
homogeneity assumption on Β lies in the construction of a minimizing sequence. We
distinguish two cases: constrained minimization with and without compactness. The
case without compactness is more complex and we obtain the existence of minimizers
by perturbating potentials a and b. This leads to a majorizing minimization problem.
The interesting feature of a majorizing problem is that it does not require the existence
of a minimizer. The only assumption is that a minimum of a majorizing problem is
strictly greater than the minimum of a given problem. A similar idea will be used in
Chapter 8 giving rise to a "minimization problem at infinity" which gives a sufficient
condition for the existence of a minimizer.
(A2) The functional b : X ->• R belongs to C 1 (X, R) and its potential operator
Β : X X* satisfies
for all u G X — {0}. Moreover, it follows from (A5) and (A2) that
Then
{B\{tu), tu) - q(B(tu), tu)
for all t > 0 and (B(tu), tu)t~p is strictly increasing function on (0, oo). Hence
Since
(B(tu), tu) — qbjtu)
h (t) = >- 0 for all t > 0,
tq+1
we see that
b(tu) < tqb(u) for 0 < ί < 1,
and
b(tu) > tqb{u) f o r i > 1. (3.6)
Also, we have 5(0) = 0 and fc(0) = 0.
g(u)=(A(u),u)-(B(u),u),
we have
pF(u) = (A(u), u) - {B(u), u) + b(u) = g(u) + b(u)
and
and moreover
(Μ) Μ = inf{F( M ); « e V ) = inf{^fc(u); u e V}.
L e m m a 3.2.1.
(i) There exists 8 > 0 such that
(ii) infueVF(u)>S^R,
(iii) -^F{u)>kMpforue V,
(iv) If u e V and F(u) = M, then u satisfies (1.1) and
pq q
Since u φ 0 and ρ < q < r, ||«|| > const > 0 for u e V and (i) follows,
(ii) If ueV, then by (3.7), pF(u) = b{u) and
1- q — ρ q — ρ
F(u) = -b(u) > -—~(B(u), u) > -——8
Ρ pq q
and this implies (ii). The estimate (iii) follows from the last inequality and step (i).
(iv) If u e V and F(u) = M, then there exists λ e R such that
(F'(u), v) = k(g'(u), v)
for all υ 6 X. It follows from (3.7) and ( A 5 ) that (g'(u), u) < 0. Since (F'(u), u) = 0,
we must have λ = 0, that is ( F ' ( u ) , υ) = 0 for all υ € X and u satisfies (1.1). •
Lemma 3.2.2. There exists a unique s : X — {0} —• (0, oo) in Cl(X — {0}, R) with
the following property: ifu e X — {0} and t > 0 then tu e V if and only if t = s(u).
The gradient of s satisfies the estimate
, „ ^ (p||A(^(M)«)|| + ||gi(.y(M)»)||>(«)2
I Vj(M) I <
(q - p)(B(s(u)u), s(u)u)
Proof. The proof is similar to that of Lemma 3.2 in [212]. We give only an outline.
We introduce a function ψ : (0, oo) χ R - > R defined by
, f , \ \ -- (q - p){B(s(u)u),s(u)u)
ft(s(u), u) < < 0
To show that the constrained minimization problem (M) leads to a solution of (1.1),
we must construct a suitable minimizing sequence.
Lemma 3.2.3. There exists a sequence {um} such that F(um) —> M, um —^ u in X
and F'(um) -»· 0 in X* as m oo.
Proof. The proof is identical to that of Lemma 3.4 in [215]. Therefore, we only give
an outline of the proof. It follows from Ekeland's variational principle (see Theorem
1.1.1) that there exists a sequence {um} C V such that F(um) < Μ + m~l and
for all if g V. Since by Lemma 3.2.1, {um} is bounded, it follows from assumption
(A4) that {B1 (um)} is also bounded. We now write for each ν € X — {0}
where θ (ν) lies between 1 and s(v). On the other hand (F'(u m ), um) = 0 , since
um e V and consequently
rp / \ - F(u ) V> ^- C ^
F(v) Ik-"mil
m 2
m
for some constant C2 > 0. Taking ||z|| = 1 we get for t > 0 small
F(um+tz)~ F(um) > C2
t ~ m'
which implies that {F'(u m ), z) > — ^ and replacing ζ by — ζ we derive that
\(F'(um),z)\< —
m
and the result follows. •
Theorem 3.2.1. Suppose that Β is strongly continuous. Let {um} be a sequence con-
structed in Lemma 3.2.2. Then um u in X and u is α nontrivial solution of (1.1).
We point out here that the strong continuity of Β implies that Β is a bounded
mapping, so part of assumption (A4) is automatically satisfied.
where 1 < ρ < oo, c > 0 is a constant, ρ < qi < if η > ρ and ρ < qi if ρ > η.
We assume that q\ < qi < · ·· < qN· T h e functions r, (i = I,... ,N) satisfy the
following hypotheses:
Case ρ < n:
Case ρ — n :
Case ρ > n:
( f l 3 ) r,· e L ; o c ( R " ) (i = l,...,W)
and
(&3) l i m ^ i ^ o o fQ(x l) n(y)dy = 0 (i = 1 , . . . , N) for some I > 0.
ν / f D \ N
a - D C
b{u) = Σ ( 1 - - ) / n(x)\u(x)\* dx = Y / n(x)\u(x)\«< dx.
fbt V J Jr" <H JR"
By Theorem A.3.1, under hypotheses (a\,b\), (02,^2) and (03,63), 5 is strongly
continuous.
Theorem 3.2.1 yields the following existence result.
Theorem 3.3.1. Suppose that hypotheses (a\,b\), («2, bj) anJ (£3, <23) hold. Then
the problem (3.11) has at least one positive solution.
Since a solution is obtained as a critical point of F(u) = a(u) — b(u), which has
the property F(u) — F(|M|), we may assume that u > 0 on The strict positivity
follows from the Harnack inequality.
Theorem 3.4.1. Suppose A and Β are weakly continuous, b is weakly lower semi-
continuous and that Β* : X —> X* andb* : X —> R. satisfy (Ai)-(As). Moreover,
assume that b — b* and b\ — b* are weakly continuous at 0. Then if Μ < Μ*, there
exists u G V such that F(u) = Μ and u is a solution of (1.1).
Proof. Let {um} be a sequence from Lemma 3.2.3. Suppose that u = 0. Applying
Lemma 3.2.2 to B* and b* we see that there exists s e Cl(X—{0}) such that j(wm)Mm e
V*. Setting sm = s(um), we show that it suffices to prove that
(A(um),um) = (B(um),um)
and
(A(u m)i um) — sm mum)i s
mum/·
If sm > 1 we have ( B * ( s m u m ) , Jm«m) > s^{B*(um), um) and consequently
t^- v-p ^ (Mum),um) (B(um),um)
1 < Sm < = (3.15)
m m) - (B*(u m ml
(B(um), um) + [{B*(um), um) - {B(um), um)]
q-p ^ {B(um),um)
1 >s*m"> / Λ, (3.16)
(B*(um),um)
m m m ), U ml
(B(um), um) + [(ß*(Mm), um) - (B(um), Mm>]
It follows from Lemma 3.2.1(i) that (B(u m ), um) > 8 > 0 for some constant δ and all
m. Since u m 0 and bi —fr*is weakly continuous at 0, we deduce from (3.15) and
(3.16) that sm 1.
Since
5 * ( u ) - b ( u ) = b \ { u ) - b x ( u ) - p ( b * ( u ) - b ( u ) ) ,
. . a { u ) i ~ p . a ( u ) i ~ p
inf - j - < inf -ρ-, (3.17)
U
b { u ) " - p * ° b * ( u ) ^
p a ( t u ) - q b ( t u ) = 0.
q - p
a ( u ) 9
F ( t u ) = a ( t u ) - b ( t u ) = ( ^ ( l - ? ) -
\ p j \ q J bh( u ) i ~ p
and the inequality Μ < Μ* relating the constrained minima from Theorem 3.4.1 is
equivalent to (3.17).
To apply Theorem 3.4.2 we consider two problems
- A u + u = Q(X)\U\P~2U in R \
(3.18)
u € u > 0 on M",
and
p 2
- A u + u = Q * ( x ) \ u \ ~ u in M \
(3.19)
u G W 1 · 2 ^ " ) , μ > 0 on R",
where Q and Q* are positive functions in L°°(M n ) and 2 < ρ < -^zj.
We put
ι
P
M Q . P = ( J Q t o W d x ) ' a n d M < r . P = ( J Q - W \ u \ > d x )
Μ
inf
2
< inf
2
(3.20)
«eW'. (K")-{0} II«||Q,p ΗεΗ^· (Κ")-{0} II"II Q*,p
&
inf < inf
tteW'^iR")—{0} Iß.P κ€νν'·2(Κη)-{0} Μ Λ*
Q*.P
Proposition 3.4.2. If lim| J C |_>. 0 0 Q(x) = infjteR" Q(x), then problem (3.18) admits a
solution.
Proof Let infm* Q(x) = m. If Q(x) = m, then by Proposition 1.10.1 problem (3.18)
has a radial solution. So we can assume that Q φ m and we then have
= f m\v{x)\p dx,
Jr"
If lim iri —voo Q(x) > Q(x) f ° r € R", the problem (3.18) does not have a
solution. Indeed, we have
Proposition 3.4.3. Let lim|x|_>.oo Q{x) > Q{x)forallx G R". Then F(u) > Μ for
all u satisfying
Since F{u) = F(|w|), we may assume that u(x) > 0 on R w . Let t e R and e\ =
( 1 , 0 , . . . , 0 ) and set ut(x) = u(x - te i). Then ||u,|| = \\u\\ for all t € R and
This means that there exists t > 0 such that b(ut) > b(u) and setting s(t) = s(ut), we
get that s(t)ut e V with < 1. Hence
X
Μ < F(s(t)u{) = -b(s{t)ut)
= 2
QM\mut(x)\pdx
Κ· Ρ J Jw
and
M* = inf{F*(u); " e V*}.
Theorem 3.5.1. Suppose that A and Β are weakly continuous and b is weakly lower
semicontinuous. Let A* : X —> X* be strongly monotone operator satisfying (Ai)
and such that a — a* is weakly continuous. If Μ < Μ*, then there exists u Ε V such
that F(u) = Μ and u is a solution of (1.1).
Proof. The proof is similar to that of Theorem 3.4.1. Let {um} be a minimizing
sequence for F constructed in Lemma 3.2.3. We now apply Lemma 3.2.2 to F*
and obtain a function s € Cl(X — {0}, (0, oo)) such that s(um)um e V*. Setting
sm — s (um) we show that
To prove this we show that sm -*• 1 as m —• oo. If sm > 1, then the relations
{A(um),um) = (B(um),um}
and
(A*(um), um) = SmP(B(smum), smum)) > s%~p{B(um), um)
imply that
By Lemma 3.2.1 {B(um), um) > 8 for some constant 8 > 0 and all m and consequently
in both cases we get that sm ->• 1 as m -*• oo. Having established that sm 1, we
get (3.21) from the mean value theorem
and letting m - > oo we see that Μ* < M, which is impossible and this completes the
proof. •
and
-Au + qoou = \u\P~2u in R\
(3.24)
1 2
u e W ' ^"), u > 0,
where q is a nonnegative function in L°°(R") and <?οο > 0 is a constant.
We set
a(u) = l f (\Vu(x)\2 + q(x)u(x)2)dx,
^ J R"
«·(«) = \f
1
J R"
R
(\Vu(x)\2 + qoou(x)
2
dx,
and
b(u) = - f \u(x)\pdx.
Ρ Jw>
Let um —^ u in W 1 , 2 (R"), then we may assume that um —• u in L2{Q) for each
bounded domain Q and that {um} is bounded in W 1 , 2 (R n ). Using this, it is easy to
show that if lim|x|_>.oo <7CO = <?oo, then
[f w {\Wv(x)\2 + qoov(x)
2
) dxf = (3 26)
(fun\v(x)\Pdx)p
Assuming that q{x) < qoo on R" and that q(x) < <700 on a set of positive measure,
it is easy to derive inequality (3.25) from (3.26). Therefore, Theorem 3.5.2 yields the
following existence result for problem (3.23).
Theorem 3.5.3. Suppose that q e L°°(lRrt), lim^i^oo q(x) = loo > 0, 0 < q(x) <
qoo in M" with q(x) < qoo on a set of positive measure. Then problem (3.24) admits a
solution.
is bounded.
F(.u)>ki\\u\\P-C(\\u\\* + \\u\\r)
for some constant Κ > 0 and with \t*\ = yj(tf)2 Η 1- ( f / ) 2 oo as j ->· oo,
1
f/ Ι ^ ' Γ -> r, as j -> oo and = 1· Since oo we have by (3.6)
m m
i=l /=1
Combining the last two estimates we obtain
m
b(£\*J\-lt!»i)<K\tJ\p-*
and letting j oo we get &(Σ/=ι τ ι"ί) = 0, which is impossible since Σ™=ι ruti Φ
0. •
Theorem 3.6.1. Let X be a separable Banach space. Suppose A and Β are odd
potential operators and that Β is strongly continuous. Then
In the case where b was homogeneous (see Theorem 2.6.3) we proved this claim using
the Sobolev inequality, which is not available in our situation and we have to modify
this part of the proof. If μ 6 Μ , we have for ||u|| < 1
Using (3.27) again we see that b(u) > k\Cp and the claim follows. As in the proof of
Theorem 2.6.3 we show that
It follows from our assumption on Β : X —• X* that for each u e X — {0} there exists
a unique ß(u) > 0 such that ß(u)u 6 Μ and F(tu) > 0 for all 0 < t < ß(u). The
proof of this fact is similar to that of Lemma 3.2.2. This ß(u) can be found as a unique
positive root of the equation
a(u) = t~pb(tu).
This observation allows us to show that a mapping hm : E^ E^ defined by
hm(u) = R~^dmu, with R > 1, can be extended to a mapping hm belonging to Γ*,
that is, hm has the property hm(B(0, 1)) c {« G X\ F(u) > 0}. To complete the proof
we have to show that
Let u e dB{0, 1) Π Εsince R~ldm ->· oo we may also assume that R~xdm > 1 and
we have
D-pjP
F(hm (")) = (A(u),u)-b(R~ldmu)
Ρ
Hence
F(hm(u)) > [R~xdmy (Jfei - Rp~qk2) oo as m oo
(Z?2) The functional b is in C 1 (X, R) and there exist constants a > 0 and q e (a, 2)
such that
(i) (B(u), u) < qb(u) on X - {0}.
(ii) The functional bi(u) = (B(u),u) is of class C l ( X , R) whose poten-
tial operator B\ : X -> X* is a bounded mapping and satisfies
(iii) K\\u\\« < bi(u) for ||u|| < 1 and K\|«||α < b\{u) for ||u|| > 1
for some constant Κ > 0.
(Bs) b is weakly continuous in the sense that is um —^ u in X and F'(um) —> 0 in
Xthen b(um) b(u), where
It follows from (B2) (i), (ii) that for each u φ 0, ^ ^ and are decreasing for
t > 0. These relations show that the nonlinear part of the functional F has subquadratic
growth. Critical points of the functional F are solutions of the equation
Au = B(u).
Proof, (i) It is sufficient to check part (i) for ||u || < 1. Since A is bounded we deduce
from (B 2 ) (iii) that
Μ = inf F(u)
and call this constrained minimizing problem by (Μ). It follows from Lemma 3.7.1
that Μ > 0. To establish the existence of a minimizer of problem (M) we need to
analyse minimizing sequences in V.
Lemma 3.7.2.
(i) Let {um} C V be a sequence suchthat F(um) M. Then for every subsequence
of{u m}, denoted again by [um}, such that um u we have F'(u) — 0.
(ii) There exists {κ* } C V such that F{u*m) M,u*m^ u* and F'(u*m) 0 in X*
as m —y 00.
Proof. Let {um} be a minimizing sequence of problem (Μ). Since {um} is bounded
we may assume that um u. This sequence will be used to construct via the Ekeland
variational principle a sequence {«* } C V such that u and F'(m* ) -> 0 in X*.
By Theorem 1.1.1 for each m > 1 there exists u* € V such that
(1) F(u*m) < F(um),
(2) ||n m - Μ* II <
(3) F(u*m) < F(u) + i l l « - <11 for each u e V .
It is obvious that F(m* ) —• M,u^ u. For each u e X — {0} we define
We now fix m > 1 and ζ e ΓΜ* — {0}. We show that there exists a function s e
( ^ ( ( - M ) , ^ ) satisfying s(t)u*m+tz <= V for all |/| < S w i t h s ( 0 ) = l a n d j ' ( 0 ) = 0.
The existence of s follows from the implicit function thorem applied to g(su* + tz).
Indeed,
(F (um),z> = lirn
t—>0 t
1 s(t)u* + tz - u* = 1
> 1| lim m II Ikll·
m m-*·oo t m
ί 0 ? ' K ) , u>) *
1w M™
and hence
Since {||w* ||} is bounded we deduce from ( 5 i ) and (B2) (ii) that
for some constant C > 0 independent of m. Using Lemma 3.7.1 (iii) and the fact that
V is bounded away from 0 we obtain
'^••»'Φ'+'ί^''"·-')
< -m (iMI
\
+ ΙA3- Ι Κ Ι Ι ^ Ί μ )J < —
m
Nil
for some constant C\ > 0 independent of m and w. This estimate shows that F'(m^) ->
0 in X*. Finally, we deduce from assumption (£3) that
The sequence {um} constructed in the proof of Lemma 3.7.2 converges weakly to
a critical point u of F. We now introduce a condition guaranteeing that u Φ 0. This
condition will be obtained by modifying the approach from Section 3.4.
We define an additional functional b* satisfying assumptions (#2) and (#3). Its
potential operator is denoted by B* and we set b\(u) = {B*(u), u) and let B* be a
potential operator of b*.
We set
X
F \ u ) = - - ( A u , u) + b*(u),
V* = { x e X - { 0 } , (F*,(«),u)=0}
and
M* = inf F*(u).
ueV*
Proof. We can always assume that t(um) > 1 for all m > 1. Since js
decreasing for t > 0 we have
m) •
< t { u m f b \ { u m ) .
This implies
t(um)2-«b i(um)<b\{um). (3.28)
Since {||Mm||} is bounded, {b*(um)} is bounded. Suppose that t(um) —• oo. It then
follows from (3.28) that b\ (u m ) ^ 0 and by ( B 2 ) (iii) || Um || —> 0. This is impossible
because V is bounded away from 0. •
This yields Μ < Μ * . We now distinguish two cases: (a) Μ = Μ * and Μ < Μ * . If (a)
holds, there exists a minimizing sequence {u* } c V * for F* such that m* —^ u* Φ 0.
Since
* * ( ; ( « > ; ) - w o o ^0.
lim F(u*m)>lirninfF*(t(u*m)u*m)>M*,
m-KX> m-KX>
1
. / ( χ , ( ) <,ίί%ο<_!_/ ( Ι , 0
j8 - Γ dt of — 1
for all t e [0, oo) and a.e. on R n . Moreover, for a.e. x e R f{x, ·) g C 1 !
and / is strictly increasing in s.
(D) For each t e Μ there exists
1 - d - 1 -
f(t)<t-f(t)< -f{t)
β- \ dt a - 1
and
m<f(x,t)<B(x)f(t)
for all t G [0, oo), where b e L°°Qla) and lim w _>oo B(x) = 1.
A typical example of the nonlinerity / satisfying (Α), (Β), (C) and (Z)) is given
by
1=1
where
(i) η € L°°(]Rn), lim^i^oo »·,·(*) = r f (oo), n(x) > r,(oo) > 0 a.e. on R", i =
Ι,.,.,Ν.
(ii) 0 < σ < if η >3 and σ > 2 if η = 1,2.
Solutions in W 2 ' 2 (R") of equation (3.29) will be found as critical points of a
functional 7λ : W2·2 Μ defined by
where (
F(x, t) = I f(x,s)dx.
The main difficulty in finding critical points of /χ arises from the fact that /χ, under our
assumptions, does not satisfy the Palais-Smale condition. To overcome this difficulty
we consider the dual equation to (3.29).
We set
g(x,-) = f~l(x,·) and G(x,•,0=
t) = If g(x
Jo
Ξ(·) = Γ \ · ) and G(t) = I
J0
-f g(s)ds
and let
It turns out that L g and Lρ are Orlicz spaces equipped with the norms (see [1])
and
= supj I uvdx; / G(U)</JC < L | .
||W||/R
1
Jw> JR" '
The dual equation corresponding to (3.29) has the form
We now formulate two main existence results for equations (3.29) and (3.30).
Theorem 3.7.2. Suppose that (Α), (B), (C) and (D) hold and that the self-adjoint
operator —A + ρ — λ : W 2 , 2 (R") —> L 2 ( R " ) has a bounded inverse. Then if
ν e LoiW1) satisfies equation (3.30), then the function u = g( χ, υ) is a solution in
W2-2(]r) of equation (3.29).
Theorem 3.7.3. Suppose that (A), (Β), (C) and (D) hold and that the self-adjoint
operator-Δ + ρ-λ : W2,2(Rn) C L2(R") L2{W) has a bounded inverse. Then
equation (3.30) admits α nontrivial solution in the space Lc(IR").
and
b\{v)= I g(x,v)vdx, b*(v)= / g(v)vdx.
J R" J R"
These functionals are Cl(Lc (M n ), R) and the Frechet derivatives of b and b\ are given
by
(β(υ), w) - g(x, v)wdx
J R"
and
(Bi(v),w)= J R" (gs(x, v)v + g(x,v))wdx
for all L g ( R " ) and L p ( R n ) . Similar formulae hold for potential operators B* and B*.
The proof that assumptions (Bi),..., (Βζ) are satisfied are based on the fact that
the operator (—Δ + ρ — λ ) - 1 is in fact an integral operator whose kernel a(x, y) is
continuous on {(*, j ) ; \x — > d j f o r e a c h d > 0 and satisfies the following estimates
K\x-y\2~n if η > 3
-Κ log I* - y\ if η = 2
Κ if η = 1
for \x — y\ < 5 and for \x — ;y| > 1, \a{x, >>)l < Κ exp(—— >>|), where Κ > 0
and γ > 0 are constants (see [209]).
The verification that conditions (B\),..., (Βζ) are met is tedious and is omitted.
For details we refer to papers [6] and [137].
for all u G X and for some constants Κ > 0 and Κ ι > 0 and that
Proof. Suppose that Μ = 0. Hence, there exists a sequence {«*} c V such that
l i m ^ o o F(ufc) = 0. Since pF(uk) = b{uk) for all k, we see that l i m ^ o o b(u,t) = 0.
Consequently, by (3.31) the sequence {{B(uk), uk)} is bounded. Using again the fact
that b(uk) -» 0, we deduce that {b(uk)} is bounded. The strong monotonicity of
A implies that {«*} is bounded. We may assume that uk u in X. By the lower
semicontinuity of b we get
and this implies that Uk -»· 0 in X. We set υ* = Μ*||Μ*|| _ 1 , then by (3.32) we have
Proof. Let w φ 0, then the function \J/(t) = pa(w) — t~p(B(tw), tw) is decreasing
for t 6 (0, oo) and such that
and lim^oo ψ(ί) = — oo. Hence there exists t0 such that ψ(ί0) = 0, that is t0w e V.
To prove the second part we choose h0 e X so that (F'(u 0 ), hQ) = 1. Setting
at(a) = au0 — th0 we get
We can find e > 0 and 8 > 0 such that for all a e [1 — e, 1 + e] and t e (0, <5] we have
We set
Ht(a) = pa{at(a)) - (β(σ,(α)), σ,(α)).
Since u0 e V, we have
// 0 (1) = pa(u0) - (B(u0), Mo) = 0.
On the other hand, observing that t~p{B(tu0, tu0) is an increasing function for t 6
(0, oo), and taking e > 0 and 8 > 0 smaller if necessary, we may assume that for
0 < t < 8,
Ht(l — e) < 0 and ff,(l+O>0.
Hence, for each t e (0, δ], there exists at > 0 such that Ht{at) = 0. This means that
σ,(α,) e V.
Consequently, by (3.33)
•
In Sections 3.9,3.10 and 3.11 we use the results of this section to solve the Dirichlet
problem for the p-Laplacian involving a critical Sobolev exponent with ρ = n.
Following Adimurthi (see [2]) we introduce the class A(Q) of functions with critical
growth at infinity in the case ρ = n.
and moreover for every (x, t) € Q χ R the following conditions are satisfied:
(Λι) g(x, 0 ) = 0 , g(x, t) > 0 , g(x, t)tn~l = g(x, -t)(-t)n~l,
(A2)
(Λ 3 ) G(X, t) < M ( 1+ g(x, t) tn~2+a) for some Μ > 0 and σ e [0, 1), where
and
lim inf h(x, t) exp ( e t J = oo.
t^oox€g \ )
(1) t) = tm e x p ( ß t a ) exp (bf for t > 0 and some constants m > 1, β > 0
and 0 —
< a < -^-r,
η— ι
(2) g(x,t) = t2e~f exp ( i " ^ 1 ) f o r i > 0.
Obviously, due to property (Ai) it is sufficient to define g for t > 0.
For a function g € A(Q) we consider the nonlinear Dirichlet problem
-Anu = g(x,u)\u\n~2 in Q,
(3.34)
u(x) = 0 in a ß , u(x) > 0 on Q.
To solve problem (3.34) we use the approach discussed in Chapter 1. Any solution of
(3.34) belongs to the set V defined by
||uf= ί IVu{x)\ndx.
JQ
Solutions of (3.34) will be obtained by solving the minimization problem for the func-
tional F subject to the constraint V, that is,
= inf{F(«); u e V}.
η
In the next section we will show that V φ 0 and g(x, u) e LP{Q) for all ρ > 0 and
u G W*'n(Q). Consequently, our minimization problem is well defined.
By λι (Q) we denote the first eigenvalue of the operator Δ„, that is,
λ ι ( β ) = ίηί{||κ|Γ; f \u(x)\n dx = 1}
JQ
and ^
Since an is the best constant of the embedding of W^'n(Q) into the Orlicz space
LA(Q), we expect that the Palais-Smale condition holds on (—00, ^ ( ^ f ) " )· This
will be proved in Proposition 3.10.3.
Proposition 3.10.2. Let {Uj} be a sequence in W^n(Q) such that \\uj || = 1 for each
1
To proceed further we define a potential operator Β : W 0 ' ( Q ) —> W ·"' ( Q ) and
functionals b : W*'n(Q) R and b : W*-n(Q) R by
and
b(u) = ~(B(u),u) -b(u)
η
for all u e Wol n ( 0 ) and ν e W0l n ' ( ß ) (see notation of Sections 3.1 and 3.2). We
point out that b defined here differs by the multiplicative constant from b defined in
Section 3.1. With these notation we have
F(u) = -\\uf-b(u).
η
(3) Let {μ*} and {t>*} be sequences in W^,n(Q) such that Uk u and Vk ν in
W^n(Q) and Uk -> u and Vk —• ν a.e. on Q and moreover
£—>·οο
>n«*ir <(Ctfiο \
ΊΓ /
1
1
and
lim I G(x,uk)dx = I G(x,u)dx.
IC-*OOJQ JQ
(5) Thefunctional b{u) is positive, thatis, b(u) > Oforallu € W 0 1,n (ß) andb(u) = 0
if and only if u ξ 0. Finally, there exists a constant Μ ι > 0 such that
(B(u),u)<Mi (l+£(«))
Proof (1) In view of (Λ4) for every e > 0 there exists C ( e ) > 0 such that
| g U , / ) l < C ( € ) e x p ((fc + O k l ^ ) ·
Hence by Proposition 3.10.1 g(x,u) e LP(Q) for every 0 < ρ < 00 and u e
KniQ)·
(2) Let us set A = sup{c"; s u p ^ n ^ Jq g(x, cw)wn~1 dx < 00} and let c > 0 be
such that c" < · We can find e > 0 sufficiently small so that (1 +e)2n~lcn <
. By (A 4 ) there exists C i (e) > 0 such that
hence A > · To show the converse inequality, for a given f > Owe find by
(A4) a constant Ci(<e) such that
\g(x,t)tn-l\>C2(€)exp{b(\-€)\t\^)
then
sup I exp(b{\ — ) dx < 0 0 , (3.35)
IM<1 JQ V '
and by Proposition 3.10.1 and (3.35) we get that (1 - €)n~lcn < that is,
A < ft)-'.
w e use
(3) Since lim sup^^^ ||μ^ΙΙ" < (ηβΎ ^ (2) to find ρ > 1 such that
Let us set
4 = sup / \Vk(x)\lqdx,
k JQ
\f ^ ώ < 1 / | ί ( Μ ι ) ι Κ
» ^ CiC2
1 J\uK\>N Uk " JQ
Writing
f g(x,uk) . f g(x,uk) , 1
/ v k d x = vlkdx + 0(—),
JQ uk J\uK\<N "JFC Ν
.. f g(x*uk) ι , f g(x,u) ι ,
lim I vkdx = I ν dx.
k~*OO JQ Uk JQ u
which implies
for some σ e [0, 1) and the result follows from the dominated convergence theorem.
(5) First, we observe that by(A2) we have
Hence the function g(x, t)tn~x — nG(x, t) is even and increasing for t > 0. This
shows that b(u) is a positive functional. Finally, it follows from (A3) that
nb(u) = j [gOc,«)«" - 1 - n G ( x , u ) j dx
> C l + ] r i g(x,u)un~ldx
1
J\u\>C2
for some contants Ci > 0 and C2 > 0 and the estimate follows from assertion (5). •
and
1
if Mo <00
kn =
0 if Μ ο = oo.
Suppose that
sup I g(x,aw)wn 1
dx < a (3.36)
\\w\\<\JQ
for some a > 0. If ^ < 1, then an <
Proof. Part (2) of Lemma 3.10.1 implies that an < \ Suppose that an =
n _ j
now c
(if) · hoose x0 G Q such that dist(x 0 , 3 Q) = /?0 and let 0 < I < /? 0 .
We define a function m/(jc) = m^R (x, x 0 ) : Q -> Ε by
S
(log^)' if 0 < \ x - x 0 \ < / ,
m/(jc) = l°g r
if I < r = -x0\ < R0,
ι |JC
(logf)"
0 if \x - x 0 | > Re
log — j
a
— Ι 8{χι am m
i) 1 1
dx
JQ
> I h0(ami)m"~l exp ( ba*1^m^ ) dx
JB(x0,1) \ )
h0(t)tn~xo>nRn0
tia n—1
This estimate can be written in the form
h0(t)tn~la>nRn
(ίΓ-**
and hence for all t e (0, oo) we obtain
Consequently, we get
1
which is impossible. Hence, we must have α" < (^jf)" and this completes the proof.
•
Lemma 3.10.3. Let g € A(Q) and let {uk} be a sequence in W^n(Q) such that
uk u in Wln(Q) and uk —> u a.e. on Q, with u φ 0. Moreover, we assume that
(H) \\u\\n>fQg(x,u)u*-ldx.
(iii) sup* fQ g(x, uk)unk~x dx < oo.
Then
lim / g(x,uk)unk *dx= g(x,u)un 1
dx.
fc^oo JQ J0
and F(u) < lim ϊηί*_».οο F(uk) = C. Hence, we can find € > 0 such that
Let Κ = f Q G ( x , u ) d x . It then follows from (iii) and Lemma 3.10.1 (4) that
1
(1 + e ) -i (LY- iUkV < ^ L = Λ _ Nl" V1 (3.39)
K
\a„J C — F(u) V n(C + K) J '
for all k > ka. We now choose ρ > 0 so that
C + K
(3.40)
C — F(u)
We now apply Proposition 3.10.2 to the sequence - j ^ and using (3.38) and (3.40) we
get
sup J
exp p a n ^
uk
dx < oo. (3.41)
sup j e x p [ ( l d x (3.42)
Let us set
Mi= sup \h(x,t)t"-l\exp(-€^\t\^).
(x,t)eQx R V 1 '
We then get from (3.42)
< Mi f exp(-€^\uk\^)exp\(\+€)b\uk\^]dx
J\uk\>N \ 1 / L J
= o (exp(-f ^^T)^
(ii) supx6ÖM^<X,(ß).
Then
0 < a(Q,g)n < ·
Proof. Step I. We show that a(Q, g) > 0. Let u € W o l r t ( 0 , with ||u|| = 1, and set
Kit)
iMO = 7- If g(x,tu)un ldx
t JQ
IQ
for t e (0, oo). It follows from (i) that limf_,.oo i^uit) = oo. By virtue of (ii) we have
d8(
lim^(0= f *,0)undx <λι«2) < 1
/-»•0 JQ du
v n-1
It now follows from (3.43), assumption (i) and Lemma3.10.2 thata(ß, g) <
•
As an immediate consequence of Proposition 3.8.2 we can formulate the following
lemma.
Indeed, since
we see that the sequence {b(uk)} is bounded. By virtue of Lemma 3.10.1(5) the
sequence {JQ g(x, uk)u^Tl dx] must be bounded. Now assumption (A3) implies that
{/g G(x, uk)dx) is bounded. Finally, since F{uk) —• C, we see that {uk} must be
I \Vu0\n~2Vu0Vhdx = I g(x,u0un~2hdx
JQ JQ
for all h € W0°°(<2). We now observe that C™(Q) = W^n(Q), hence this identity
holds for all h € Wl'n(Q). Letting h = m0, we get
l"oir = f g{x,u0)un~ldx,
JOQ
that is, M0 e V. To complete the proof, we observe that {uk} and u0 satisfy the
hypotheses of Lemma 3.10.3. Therefore, we have
||M0|r < liminf ||κ*|Γ
k—>-00
= f g(x,u0)un-ldx = \\u0\\n-\
JQ
which means that uk -»· m0 in W^,n(Q). •
a(Q,g)n
F(u0) =
η
Then the result follows from Lemma 3.10.5. Let {uk} C V be a minimizing sequence
for F, thatis limjt-^oo F{uk) = . Since F(uk) = £>(«*)> it follows from Lemma
3.10.1(5) that
sup I g(x, uk)unk~x dx < oo (3.45)
k JQ
and that {u*} is bounded. We may assume that —- w0 in W 1 , n ( ß ) a n d w* ->· uQ a.e.
on Q. We show that u0 φ 0. In the contrary case we have that u0 = 0. Then (3.45)
and Lemma 3.10.1(4) imply that
k—>OQ k—t-oo Q L
lim ||«*||η = n li m F(uk) + I G(x, uk) dx=a(Q,g)n. (3.46)
1
By Lemma 3.10.4 we have 0 < a(Q, g)n < (ηβ·)η . Hence, it follows from Lemma
3.10.1(3) that
lim I g(x, uk)unk~l dx = 0.
k—too JQ
This implies that
= lim Γ - f g(x,uk)unk l
d x - f G(x, u*)l dx = 0,
k^oo\_njQ Jq J
Brought to you by | Cornell University Library
Authenticated
Download Date | 7/9/17 3:13 AM
3.12 Bibliographical notes 113
This combined with (3.45) and the fact that 0 < a(Q, g)n < 1
shows that
assumptions of Lemma 3.10.3 are satisfied. Hence
and we get
g(x,u0)un0 1
-L dx
and we have arrived at a contradiction. By Step 2 of the proof of Lemma 3.10.4 there
exists γ > 0 such that yu0 e V. Since b is weakly lower semicontinuous we get
a(Q,g)n r, \ ι· r Γ/ ν .. ν a(Q,g)n
5 F(yu0) = b(yu0) = lim inf b{uk) = lim F(Uk) =
η k—Kxt k—too η
The main objective of this chapter is to extend results from Chapter 1 concerning
constrained minimization and the dual methods to potentials satisfying a covariance
condition with respect to a group of transformations. We also discuss relations between
constrained minimizations and their relations to the mountain pass theorem.
Theorem 4.1.1.
(i) Suppose that A is a potential operator with a potential a. Moreover, suppose
that the problem (J) has a solution u and that b has a linear continuous Gateaux
derivative (B(u), u) at all directions ν in E. Then
(A(u),v) = J?-(B(u),v)
Q
for all υ 6 Ε. The junctionals a and b have linear continuous Gateaux derivatives
at all directions Tau, σ > 0, satisfying
(A(Tau), v) = ?-Jot-P{B(Jau, υ)
for all υ ε Ε and σ > 0. Further, if & J > 0 and ρ — q φ 0, then the "scaled
<Α(ΰ), υ) = {B(ü), υ)
for all υ e E.
(ii) Suppose that {u € D(b); b(u) = 1} φ 0. Further, we assume that A is strongly
monotone, b- is weakly lower semicontinuous and that all weak limit points of
every bounded subset of level set {u e D(b)\ b(u) = 1} belong to D(b). Then
the constrained minimization problem (7) has α nontrivial solution with J > 0.
Proof. The proof is similar to that of Theorem 1.2.1, therefore we only sketch the
proof of part (i). Setting k = ( A ( u ) , υ) and h = (B(u), v) we get
There exists ea > 0 such that 1 + eh + o(e) > 0 for all |e| < € 0 . For such e there
exists σ = σ(ε) so that
k - -Jh = 0
q
and the first claim follows. To prove the second part we observe that
and similarly
(.B(T(ru),v)=a<f{B(u),T-]v)
and the second claim easily follows. The proof of the claim concerning "the scaled
minimizer" is now a routine and is omitted. •
We now establish the existence result for problem ( / ) in which we assume that
the potentials a and b satisfy some inequalities. However, we drop the assumption of
positivity of b and strong monotonicity of a.
We assume that a and b satisfy the covariance conditions (Ci) and (C2) with
D(b) = X and ρ φ q.
Theorem 4.1.2. Suppose that there exists a Banach subspace X\ C X equipped with
a norm from X and a mapping Τ : X X\ such that a(T(u)) < a(u) and b(T(u)) =
b(u)foreachu e X andletb(u0) > 0for some uQ G X. Moreover, we assume that a is
weakly lower semicontinuous and that b admits a decomposition b(u) — b\(u) — b2(u)
on X, with b\ and b2 nonnegative on X, where b\\xx is weakly continuous, bi is weakly
lower semicontinuous and
(i) there exist constants 0 < € < 1 and C > 0 and a > 0 such that
in X,
(ii) \\u\\ß < C(b2(u) + a(u)y) for some constants β > 0, C > 0 and γ > 0.
Then problem (J) has α nontrivial solution.
and consequently
J < a(T„w) = σρα(ιυ) < σρJ,
that is, σ > 1 which is impossible. Since b(w) = 1 and a(w) < J we must have
a(w) = 7 and this completes the proof. •
— Au = g(u) in M",
(4.1)
u € Wl'2(Ra), ιιιφΟ.
Proposition 4.1.1. Suppose that assumptions (4.2), (4.3) and (4.4) hold. Then problem
(4.1) admits a solution.
Proof. The result follows from Theorem 4.1.1 (i) and Theorem 4.1.2. We set
First, we check that the level set {u e &(") = 1} is nonempty. For R > 0
we define a function WR : M" —• Μ by
ζ for <
lUtfOO = £(/? +l-|*l) for/? < |jc| < R + 1,
0 for |x| > R + 1.
It is clear that there exist constants C\ > 0 and C2 > 0 such that
and for R sufficiently large Ö(WR) > 0. To verify assumptions (i) and (ii) of Theorem
4.1.2 we set
and we extend gi and g2 as odd functions. We have gi > 0 and g2 > 0 on [0, 00) and
l i m £ l « = 0 , lim = 0
.?->0+ s s->oo sl
Gi(j)<eG2(i) + CeM/+1,
b2(u)>^; f u(x)2dx
J Rn
Theorem 4.2.1. Let A be a potential operator with a potential a. Suppose that problem
(Η) has a solution u and that b has a linear continuous Gateaux derivative at all
directions ν e E. Then
(B(u),v) = ?-H(A(u),v)
Ρ
for each ν e Ε and
{.B(Tau), v) = —Haq~p(A{Tau), υ)
Ρ
q P
for all ν e Ε and σ > 0 . I f ^ H > 0 and ρ - q φ 0, then for σ = , the
"scaled minimizer" ü = T„u satisfies
(A(ü),v) = (B(ü),v)
for all ν € E.
We now state without a proof Propositions 4.3.1 and 4.3.2 which show that the
existence of solutions of minimizing problems ( / ) and (Η) leads to the existence of a
solution of problem ( j ) . The proofs of Propositions 4.3.1 and 4.3.2 are similar to those
of Propositions 1.4.1 and 1.5.1. For the sake of simplicity we assume that D(b) = X.
Obviously, we assume that covariance condition for a and b hold.
Proposition 4.3.1. Let £ e (0, 1). Suppose that A is strongly monotone potential
operator and that b is a positive strongly continuous potential with a potential opera-
P
tor B. Ifü = Tau, with σ = , where u is a solution of problem (J), then ü
is a solution of the constrained minimization problem (j).
Proposition 4.3.2. Let ^ > 1. Suppose that A is a strongly monotone potential oper-
ator and that b is a positive strongly continuous potential with a potential operator B.
I f ü = TäU, with a — { j f j ^ j ' ? > where u is a solution of problem ( / / ) , then ü is a
solution of the constrained minimization problem ( j ) .
and this implies that limn_^oo ||u n || = 0. On the other hand l i m , , - ^ = &(0) = 1
which is impossible since b(0) = 0. To obtain our inequality we take ν φ 0 and set
a — — t h e n b(Tav) = 1 and
b(v)1
a(v)
j = a ( Τ σ υ ) > Spq
b{v)i
and the result follows. •
Proof. First we show that F is bounded from below. Indeed, if follows from the
Sobolev inequality that
and the claim follows. Let ν φ 0, then since α (υ) and b(v) φ 0 we see that
To compare these two quantities we assume that conditions ( C i ) and (C2) are
replaced by the following assumptions:
(Di) (A(tu), u) > K\tP~x{A(u),u) and (B{tu),u) < Kit«'1 (B(u), u) for all 0 <
t < 1 and u e X and some constant K\ > 0,
(D2) {A(tu),u) < K2tp~l{A{u),u)md{B(tu),u> > K2tq~l {B(u), u) for alii > 1
and u € X and some constant K2 > 0.
Lemma 4.5.1. Let q > pand(D\), (D2) hold. Suppose that both potential operators
A and Β are positive, A is strongly monotone and that sup||M||—1 b(u) < 00. Let e e X
be such that \\e\\ > 1 and F{e) < 0. Then
Lemma 4.5.2. Suppose that the assumptions ofLemma 4.5.1 hold. Then for every u φ
0 there exists a unique t > 0 such that tu € V. Ifu e V, then F(u) = maxf>o F(tu).
These two inequalities imply that t~p{F'(tu),u) > 0 for t > 0 close to 0 and
p
lim/^oo t~ (F'(tu), u) = —oo. Consequently, there exists t > 0 such that tu G V.
To show that t is unique we observe that for u G V and t < 1 we have
(F'(tu),u)> Kxtp(F'(u)jU) = 0
and ( F ' ( t u ) , u ) < 0 if t > 1. Finally, setting h(t) = F(tu), we see that h'{t) =
{F'(tu), u) > K\tp(F'(tu), u) = 0 if t < 1 and h'(t) < 0 for t > 1 and this proves
the second assertion of our lemma. •
Proposition 4.5.1. Let q > ρ and let (D\) and {Di) hold. Suppose that potentials
operators A and Β are positive, A is strongly monotone and that
Further, we assume that potentials a and b are continuous and that for each u e V
and all β > 0 b(u + ße) > 0. Then j > c, that is
Proof. We fix u e V and set V+ = {au + ße, a > 0, β > 0}. Since A and Β are
positive we check that
The question arises as to whether the equality c = j holds. Obviously, this holds
if there exists a critical point u φ 0 of F with F(u) — c.
We now formulate a slightly more general condition guaranteeing c = j.
We say that the functional F(u) = a(u) — b(u) has a property (D) if there exist an
increasing sequence of Banach subspaces of X, with (Jn>i dense in X, and
an element e belonging to each subspace Xn, with ||e|| > 1, such that each functional
Fm — F \xm has a nontrivial critical point um of the mountain pass type, that is,
Proposition 4.5.2. Suppose that condition (D) and assumptions of Proposition 4.5.1
hold. Then c = j.
Inspection of the proofs presented in this section shows that the positivity of Β can
be replaced by the following requirement: b > 0 on X, b(e) > 0 for some e € X and
b(u + ße) > 0 for all β > 0 and u eV.
I g U ^ I ^ ^ X M ^ + b'r 1 )
and
< Ch(x)(\y\p + |y|9)
for a.e. χ € MP and all y € R"1 for some exponents 1 < ρ < q < oo and some
nonnegative function h e L^0C(R"), s > q, where C > 0 is a constant, then a functional
b : Wl<2(R", R m ) R defined by
b(u)= / G(x,u)dx
JR"
has a linear Gateaux derivative for all u e D{G) η Lj^iR") in all directions φ e
C f (R"; R m ). Obviously, C ~ ( R " , R m ) c D{G).
To apply Theorem 4.1.1 (ii) we must ensure that b+ is weakly continuous. This will
be achieved by introducing asumptions on G garanteeing that the Nemytsky operator
associated with G+ satisfies the condition of concentration and of incomplete decay
at infinity (see Theorem A.4.1 in Appendix A.4).
To solve the system (4.6) we consider a minimization problem
(/) mm{f^Y,j=i[\Duj(x)\2 + Uj(x)2]dx·, b(u) = 1 ,u€ D(b)}
and set
I f
a M
( ) = ö/ T][\Duj(x)\2 + Uj(x)2]dx.
1
JW JTj
G+(x,y) <h(x)\y\P
or
(b) there exists a function h e L°°(E m ) such that
(i) lim^i-^oo h(x) = 0 and
(ii)
bk(x)= sup{| y\-2*G+(x,y)}
I >1>λ
satisfies bx —> 0 as λ -> oo in L ^ c ( R n ) and finally
Proof We only sketch the proof of the part (a) of our assertion. It follows from the
Holder inequality that
G+(u) < \\h\\Lq ||«||£2.,
and consequently by the Sobolev inequality we have
G+(u)<C(\\Vu\\L2 + \\u\\L2)P.
λ > 0 we have
f G + ( x , U j ( x ) ) d x < (f \h\q d x \ q
\\Uj\&
J w - K \JRn-K /
and
a
[ G+(x,uj(x))dx < ( f \ h \ d x ) ( f \uj\2*dx)*
JKn(\uj\>k) \ J k ) \ J k J
x Π (\uj\ >λ)}|ρ
w i t h Since
i = i +
1 -21
|{λ < \uj\}\p < const λ ρ
we easily deduce that conditions (C) and (D) of Theorem A.4.1 hold. This means
that b+ is weakly continuous in W I,2 (M' 1 ). Finally, we show that limit points of every
bounded subset of a level set {b(u) = 1, u € D(b)} belong to D(b). Suppose that
{uj} is a bounded sequence in W 1 , 2 (M n , R m ) such that b(uj) = 1 for each j. We may
assume that uj u in W 1 · 2 ^ " , R" 1 ). Then we have
so b(u) is finite and the result follows from Theorem 4.1.1 (ii). •
S, = {w g X-, a(u) = t}
and
ω, = {« e X; a{u) < t}
are nonempty.
We set
σ(ί) = sup b(u) for t > 0 (5.1)
ueS,
and
/c(f) = inf{a(u); b(u) = t} (5.2)
for those t > 0 for which the level set {u e X\ b{u) = t) φ 0. We start by finding a
relation between σ and κ.
Proposition 5.1.1. Suppose that A is positive, a is coercive and weakly lower semi-
continuous. Moreover, we assume that Β is positive, b is weakly continuous and that
for each t > 0 level sets {u € X; b(u) = ί} φ 0. Then
Proof It is easy to show that both problems (5.1) and (5.2) are solvable. We only
prove the existence of a solution to problem (5.1). Let {wm} e X be a minimizing
sequence for problem (5.1), that is, a(um) = t for each m and b(um) a(t) as
tm - » oo. Since a is coercive we see that {um} is bounded and we may assume that
um —^ u. We must have b(u) = a(t) and a(u) < t. If a(u) < t, then there exists
s > 1 such that a(su) = t and consequently b(su) < σ(ί). Since b(su) is increasing
in s we also have a(t) = b(u) < b(su), which is impossible.
To show that (5.3) holds, let ü be such that b{u) = a(t) and a(u) = t. Then
t = α{ΰ) > κ{σ(ί)). Similarly, we prove that t < σ(κ(ί)) for each t > 0. Suppose
that for some t > 0, a(ic(t)) > t. Then there exists a sequence {um} c X such that
a(um) = κ(ί) and b(um) —• σ(κ(ί)) as m oo. We may assume that b(um) > t + e
for some e > 0 and all m. Since b(sum) for each um is strictly increasing, there exists
sm < 1 such that b(smum) = t. Thus a(umsm) > κ(ί), which is impossible because
a(SmUm) < a(um)· By a similar argument we show that κ(σ(ί)) = t. •
Proposition 5.1.2. Ifb{u) > 0 for some u e X, then all level sets ( v e X : b(v) = s}
are nonempty for all 0 < s < b(u). Moreover, if a is a positive potential, then κ{ί) is
strictly increasing for t € [0, b(u)].
Proof Let h{r) = b(ru) for 0 < r < 1 and let 0 < s < b(u). By the mean value
theorem there exists 0 < r < 1 such that Λ (τ) = s.
Let 0 < ii < S2 < b(u) and € > 0. We can choose w e X such that b(w) = S2
and a(w) < k(s2) + e. By the mean value theorem there exists 0 < r < 1 such that
b{xw) = Since α(ίΐϋ) is a strictly increasing function in s we have
a ( t ) = t * I and K(t) = t * K .
In the next two sections we investigate properties of the function σ without the
positivity assumption on B. Namely, we replace this assumption by: "b has no local
maximum on X".
It is worth to observe that if Β is positive, then b has no local maximum on X.
Indeed, (B(u), u) vanishes only if u = 0 and the representation
b(su) = f (B(stu),su)dt
Jo
shows b(su) is strictly increasing in s for u φ 0.
Proof Let [um] be a maximizing sequence for ß(t). Since a is coercive, {um} must
be bounded and we may assume that um «ο and by (ii) uQ e a)t. It follows from
(v) that b(um) -»• b(u0) = ß(t). If u0 & St, then it is point of interior maximum for b
in cot and this contradicts (iv). Therefore, u0 € St and er (i) = ß{t). This yields that σ
is an increasing function on [0, oo) and moreover b{u0) = max„ e s, b(u). To show the
continuity of σ we consider
and
ο {to — 0) = lim sup a(t).
/->/„, t<t0
Let tm > to, tm t0. By the previous part of the proof σ (tm) is attained at um e Stm.
We may assume that um —>- u0 with u0 € ωίο. Consequently,
and the monotonicity of σ implies that a(tQ + 0) > σ(ί0), hence σ(ΐ0 + 0) = σ(ί0).
Finally, let ta > 0 and w0 be such that b(u0) = cr(t0). Since a(su0) is increasing
in s we see that t(s) = a(su0) has the properties: t(s) —• t0, t(s) < ta as s 1 and
s < 1. This implies that
and the monotonicity of σ implies that σ (t0 — 0) < σ (t 0 ) and this completes the proof.
•
Lemma 5.2.2. Suppose that assumptions of Lemma 5.2.1 hold. Let u0 be such that
b(u0) = o(t) for some t > 0. Then there exists λ > 0 such that
It follows from Lemmas 5.2.1 and 5.2.2 that Λ, φ 0 for each t e (0, oo). We now
denote by Λ^· and A" projections of A, on [0, oo) and St, respectively, that is,
and
A," = ( « 6 5 , ; 3 λ > 0 , (μ, λ) € A,}.
It is clear that
A," = ( « 6 S ( ; b(u)=a(t)}
and
λ r \BW,u) u)
(B(u), l
A, = 1 λ = , u € A, 1
' I (Λ(μ),«)' Ί
We need the following lemma.
Lemma 5.2.3. Suppose that assumptions of Lemma 5.2.1 hold and additionally we
assume that
(αϊ) ifum u0, then
Proof. Let [um, tm) C Atm with {tm} c T. We may assume that tm t0 e
T. It follows from (i) and (ii) of Lemma 5.2.1 that {um} has a weakly convergent
subsequence, relabeled again by {u m }, such that um —^ u0 with ua e a>to. By Lemma
5.2.1(v) b(um) —• b(u0), b{u0) = o{t0) and u0 € Sto. This means that u0 e A /o . Let
Xm and λ 0 be eigenvalues corresponding to um and u0, respectively. We then have
(B(u m
Am —
—• , Αι ο —
{A(um),um) ( Λ ( Μ Ο ) , Μ Ο )
n+ λ ι· g(0-g(*o) n , .. ..a(t)-a(t0)
D o{t0) = limsup , D +o(t0) = yliminf
f->-/0,/>f0 t — to t-+to,t>to t — to
and
Theorem 5.3.1. Suppose that assumptions (i)-(v) of Lemma 5.2.1 and assumptions
(αϊ) and (02) of Lemma 5.2.3 hold. Then for every t > 0 there exist left and right hand
derivatives o'+(t) and o'_(t) such that a'_{t) < σ+(ί)· Moreover,
and
= inf{p; ρ e A*}. (5.6)
Proof. First, we observe that according to Lemma 5.2.3 sup in (5.5) and inf in (5.6)
are attained. Let uQ € A"o and let 9m -»• 1, tm = a(9mu0). Then tm ->· a(u0) = t0.
We also have
and moreover
and
D~a(t0) < inf{p; ρ e A*}. (5.8)
Let um e A"m with tm - > i 0 . By Lemma 5.2.3 we may assume that um —^ w0 e A" o .
Since the function 5 —• a{sum ) is increasing and its range is [0, oo) we see that for
each m there exists 9m > 0 such that a(9m um) — i 0 . Moreover, the sequence {Öm}
must be bounded and we may assume that 9m —• 9a. Now, there exists ηη e [9m, 1]
such that
tm ~ to = a(um) - a{9mum) = (A^mum), um)( 1 - 9m).
Since 9mum —^ 90u0, we necessarily have 90 = 1. Consequently, ηη —• 1 and
Similarly,
and hence
tr(/ m ) - or (ίο) < Hum) ~ b{9mum) = (ß(w m ), um)(\ - 9m) + o(\ - 9m)
(B(um), Mm)
(tm ~ to) + o(tm ~ t0).
(A(um),um)
Assumptions (a\) and (02) imply that (A(um), um) -»• (A(u0), u0) and (B(um), um) —•
( 5 ( u 0 ) , «ο)· Therefore, it follows from the last equality that
and
D-a{t0) > inf{p; ρ G A M . (5.10)
To complete the proof we observe that (5.9) and (5.7) imply the existence of a'+{t0)
and (5.8) and (5.10) imply the existence of σ'_ (t 0 ). •
Theorem 5.3.2. Suppose that assumption of Theorem 5.3 Λ hold. Then for every t > 0
there exists u+ and m_ in St such that
a'+{t)A{u+) = B(u+)
and
a'_{t)A(u-) = B(u-).
Proposition 5.3.1. Suppose that assumptions of Theorem 5.3.1 hold and thatfor every
t G (si, S2) the set A" consists ofsingle element u(. Then the mapping t —» ut is weakly
continuous in (jj , S2).
Proof Let {tm} C (si, S2) and tm -> t0. Applying Lemma 5.2.3 with Τ = {rm}, we
see that there exists a weakly convergent subsequence of {ulfn}, denoted again by {utm},
such that Ufm u0 with u0 e A"o. Since A"o = {m/o}, the whole sequence {utm} must
be weakly convergent to u0. •
Corollary 5.3.1. Suppose that assumptions of Theorem 5.3.1 hold and that for every
t G (si, ^2) the set A" consists of a single element ut. Then the problem
We now establish a simple criterion which can be used to show that the set A"
consists of exactly one element.
Proof Suppose that there exists u, ν in Λ" with u φ v. By ) h(u, ν) 6 ω(> for
some t' < t. On the other hand (fo) implies that b(h(u, ν)) > b(u) = a(t) and we
get a contradiction with Lemma 5.2.1. •
Corollary 5.3.2. Let a be strictly convex and b concave on X. Then for each t > 0
A" consists exactly of one element.
To obtain a more general result we use a version of the mountain pass theorem
without the (PS) condition which will be proved in the next section.
am/ eve/7 closed bounded set Μ C G c _ e rcoi containing u\ and U2, there exists a
continuous mapping a : [0, Γ] χ X —> X
(i) a(t, u) = u for t G [ 0 , T ] a n d u $ G _ , ( [ c - 2e, c + 2e]),
(ii) G(a(F, w)) IS nondecreasing in t G [0, 7 ] for every fixed u € X,
(iii) | | a { t , u ) - M|| < t for t G [0, T]andue X,
(iv) σ(Τ, Μ) C G c + f .
Proof Let
<2I = {UGX; \G(U)-C\<€),
02 = {«EX; | G I ( M ) — c| > 2E}
which has the following properties: 77(1/) = 1 on Q\, η{ύ) = 0 on Q2. By virtue of
Lemma 2.4.2 there exists a locally Lipschitz continuous pseudogradient Y for G such
that
(G'(u),Y(u))>^\\G'(u)\\ and ||7(«)|| < 1
for alii > Oandw G X. The inequalities (5.15) and (5.16) easily follow from properties
of W and Y. Inequality (5.16) implies that G(a(t, u)) is nondecreasing in t for each
u g X. Let Μ be a closed and bounded subset of Gc~e with w, & M,i = 1 , 2 . Setting
Κ = sup w e ^ \\u\\ we choose Τ > 0 so that
1 fK+T
2€<- f{t)dt. (5.17)
^ Jκ
We show that the mapping a(t, u) restricted to t e [0, T] has properties (i)-(iv). It is
obvious that σ satisfies (i), (ii) and (iii). Since G(a(t, u)) is nondecreasing in t we see
that
G(a(t,u)) > c - € for μ e Μ and ί > 0. (5.18)
If u G Μ and u £ Q ι, we obviously have
G(a(T,u)) > G(m) > c + €.
Since a(t\ + 8, u) & Q\, we have that G{a(t\ + 8, u)) > c + € and consequently
It remains to consider the case t\ = Τ. Since η(μ) = 1 on Q\, we easily check, using
(5.16) and (5.17), that
Theorem 5.4.1. Let G E C 1 (X, R) and suppose that there exist N0 E Ν and ρ e Ε
such that G(0) < p, G(e) < ρ and
and
- — - 0 (5.20)
as k —*• oo.
Proof. Since ρ < b, we have G(0), (G(e) < b. If (5.19) and (5.20) were not
true we could find e > 0 and f E Ψ such that ||G'(m)|| > V(LL"II) for all satisfying
IG(u) — bI < 3e. Taking € > 0 smaller, if necessary, we may assume that 3e <
min(& — G(0), b — G(e)) and that Lemma 5.4.1 holds for this choice of €. According
to the definition of b we can find Ν e M such that G(u) > b — € for u e dN. We
now apply Lemma 5.4.1 with u\ = 0, «2 = e and Μ = dN. Let η : [0, Γ] χ Χ —> Χ
be a deformation mapping satisfying (i)—(iv) from this lemma. Let στ(u) = σ(Τ, u)
and set Nj — oy 1 (N). It follows from (iii) and the continuous dependence of a(t, u)
on u that dNj = σ ^ 1 (dN). Since σ(Τ, 0) = 0 and σ(Τ, e) = e, we have that 0 e Νγ
and e & Ντ· This means that Νγ € λί. It follows from (iv) that G(u) > b + € for
u e dNT which impossible. •
be(u) = e(B(u),u)-b(u)
and
Φ = {θ € Μ; \ae \ is coercive}.
Finally, let Q (θ) be a set of limit points of ^ ^ when ||m || oo, θ g Φ and we define
Q* = Π ß^·
βεΦ
It is easy to check that all assumptions of this theorem are satisfied with N0 = {u e
X ; a(u) < to} and u0 e Stl. Hence, there exists a sequence c X and a constant
y > 0 such that
ka(uk) - b(uk) ^ δι + γ > δ\ (5.21)
and
||λΑ(«*)-β(Μ*)||||«*|| - > 0 . (5.22)
and
λ<3<?(«*) - be(u,t) -y - δι.
If HufcH -»• 00, then ag(uk) ->• 00 and λ = limjfc-»oo which is impossible.
Therefore, {uk} is bounded and we may assume that uit —^ u0. Since A and Β are
weakly continuous it follows from (5.22) that
λΑ(«0) = B(u0).
showing that u0 φ 0. •
λ € I ( Α , Β) Π (λ*, oo)
Proposition 5.6.1. Suppose that a is weakly lower semicontinuous, coercive and that
its potential operator is positive. Further, we assume that b is weakly continuous and
for each t > 0 the level set {u e X; b(u) = /} φ 0. Then κ(ί) is an increasing
function on [0, oo).
Proof. First, we show as in Lemma 5.1.1 that tc(t) is attained for each t > 0. Next,
we show that
K(t) = inf{a(«); b{u) > i}. (5.23)
Indeed, let {um} be a sequence such that a{um) —> κ(ί) and b(um) > t. Since a is
coercive, we may assume that um —^ u and b(u) > t. If b(u) > t, then a has an
interior minimum, which is impossible because a(su) is strictly increasing in s > 0;
so b(u) = t. The relation (5.23) shows that ic(t) is increasing. •
If A and Β are positive and conditions (αϊ) and (02) of Lemma 5.2.3 hold then
a'_(t) and <y'+(t) exists for each t > 0 and are positive for t > 0. Hence σ is strictly
incresing. Then (5.3) implies that ic{t) is continuous and its left hand and right hand
derivatives are given by
Theorem 5.6.1. Suppose that potential operators A and Β are positive, a is weakly
lower semicontinuous, b is weakly continuous and that conditions (a\) and (<22) of
Lemma 5.2.3 hold and that for every t > 0 {u G X; b(u) = t) φ 0. Then for
each t > 0 the function κ(ί) has left and right derivatives >c'_{t) and κ'+{ί) such that
K+(t) < κ'_(ί) and there exists u+ and u- such that
This theorem shows that one-sided derivatives Kf_(t) and κ'+ (t) are eigenvalues of
the problem
A(u) = XB(u). (5.24)
As in Section 5.3 we define the following sets
Π, = {(«, λ); a(u) = K(t), A(u) = λΒ(«)},
Theorem 5.6.2. Suppose that assumptions of Theorem 5.6.1 hold, then for each t > 0
we have
* ; ( f ) = inf{p; p G n f }
and
κ'_(ί) = sup{/o; ρ G Π^}.
We now briefly discuss the analogue of Theorem 5.3.4. We need the following
result parallel to Proposition 5.3.3.
Proposition 5.6.2. Suppose that assumption of Theorem 5.6.1 hold. If λί — κ (t) has
a local maximum at tQ > 0, then problem (5.24) is solvable and we have λ = tc'(t0).
Q* = Π ÖW·
0e<J>
Theorem 5.6.3. Suppose that assumptions of Theorem 5.6.1 hold. Then for each
λ G J (A, B) - Q* problem (5.24) is solvable.
Proof. The proof is similar to that of Theorem 5.5.1. We reduce the proof to the case
where Xt — x(t) has a global strict minimum at ta > 0. Then λί0 — κ(ΐα) = — 5 < 0
and there exists t\ < ta such that — <$i = Xt\ — κ(ίι) > —δ. We now apply Theorem
5.4.1 to the functional F(u) = a(u) — X(u) — δι, with Ν = {u e X; b(u) > i 0 } and
n
M0 € Rti-
that is, the constrained minimizing and maximizing lead to the same eigenvalues.
ku0 = Biu0).
tp 1-1
for j c e f i i , i>0,
for x e f i 2 , i > 0 ,
0 for χ G Ω, t < 0,
w i t h 2 < p\,p2 < fy. Letb(u) = /Ω F(x, u)dx foru G Η^01,2(Ω), where F(x, t) =
/ό f ( x , s)ds and
(B(u),v) = ι f(x,t)vdx
Jn
for u, ν e ^ 0 1 ι 2 ( Ω ) .
Finally, we set
S} = {«; u G ^ ^ ( Ω Ι ) , ||M||2 = H),
and
PL £2
σ(ί) = max (at,21 + ßtfz )
t\+t2=t
with
α = max b\{u\) and β = max £»2("2)-
u\&S] u2€Sf
We assume that A and Β and their derivatives in {ya} are Caratheodory functions and
A(x, 0) = 0 and B(x, 0) = 0.
We impose the following conditions on A and B:
(ci) A(x, ·) is convex for almost every χ e Ω.
(c2) There exists a constant c > 0 such that
\A'ya(x, {>α})|< Μ
\ |α|</ /
for all (x, {_ya}) € Ω χ R 1 ^' - 1 ) and some constant Μ > 0, where
n n
P - f , i i
η- p(l- \β\) ρ
ηρ -η + ρ(1- \α\) η
η — ρ(1 — \β\) ρ
Proposition 5.8.1. Suppose that (ci), (02) and (cj) hold. Then the fiinctionals a :
Wl-P(&) —» Μ and b : R given by
s a t i s f y conditions (i), (ii), ( i i i ) and (v) o f Lemma 5.2.1 and ( a \ ) and (<22) o f Lemma
α α
( A ( u ) 1 v ) = ί Σ Α γ α ( χ Λ Ο Η ) ) Ό ν ά χ
Jii
\a\<l
and
a a
( B ( u ) , ν) = f Σ B ' y a ( x A D u } ) D v d x
M</-1
l p
f o r all u, ν € W 0 - (Sl).
x
^ - A { x , t { y a } ) > c t P - t > 0
l«l=/
and this inequality together with the growth condition for A'ya, postulated by assump-
tion (C3), imply that a weak convergence of a sequence {uj} together with the con-
vergence of either { a ( u j ) } or { ( A ( u j ) , uj)} is equivalent to the convergence in norm.
•
Proposition 5.8.2. If
b^})?« > 0 (5.25)
a
To apply Theorem 5.3.1 and 5.3.2 we need the following definition of the eigenvalue
problem
λ (5.26)
Hi/
l ß l ß Y
= Σ ( - \ ) D B ' y p ( x , { D u ( x ) } ) in Ω ,
\ß\si-i
A x D Y u D a v d x Y ß
λ ί J 2 ' y ^ ^ ^ ^ = f Σ ß ' y ß ( x A D u ( x ) } ) D v ( x ) d x
|α|</ J n \β\<1-1
ρ
f o r all υ € ψ ί ' ( Ω ) .
Theorem 5.8.1. Suppose that (ci), (c2) and (C3) and (5.25) hold. Then for each t > 0
there exist m_ and u+ in Ψ10'Ρ(Ω) such that a(u±) = t and a{t) = suptt€iSr b(u) =
sup„€W( b(u) = b(u±) and pairs (o'+(t), u+) and ip'_(t), U-) are solutions of eigen-
value problem (5.26), (5.27).
Propositions 5.3.1, 5.3.2 and Corollaries 5.3.1, 5.3.2 yield
Theorem 5.8.2. Suppose that (ci), (C2), (03) and (5.25) hold and that J3(x, ·) is
concave for a.e. χ e Ω. Then there exists a continuous mapping t G (0, 00) —
(σ'(ί), ut) G (0, 00) χ wi'p(£i) such that for each t > 0 the pair (σ'(ί), ut) is a
solution of eigenvalue problem (5.26), (5.27).
We now specify problem (5.26)-(5.27) to the p-Laplacian
-kApuP = F'(u) in Ω
(5.28)
u(x) = 0 on 3Ω.
Theorem 5.8.3. Suppose that F G C'(R, R), F'(s) > 0 for s > 0 and F'(s) = 0
i
for s < 0 and that the function s F{s ρ ) is concave for s > 0. Then there exists
a continuous mapping t G (0, 00) —>• (σ'(ί), ut) G R χ ^<!'Ρ(Ω) such that a pair
(σ'(ί), ut) is a solution of the eigenvalue problem (5.28).
Proof L e t M " i . " 2 ) = (0|"il p + (1 - 0 ) | m 2 | p ) ' , O < θ < 1. Applying the Holder
inequality we get
ΐν(0|Μ1|'-1 + ( ΐ - 0 ) | « 2 ΐ ρ ) Ί ρ
I 1 eP\ui\P-lV\u2\ + {\ - e)p\u1\P~xV\u1\ ρ
p
(0|mi|P + ( 1 - 0 ) | M 2 | ' V
0 P + i 7 | « l K V | M i | + (1 - 0 ) P + 7 | M 2 | / V | M 2 |
Proof First, observe that assumptions^) and (03) imply that ae(u) > ||«|| p for θ
sufficiently large. It follows from (5.29) that bg(u) = o(||m|| p ), consequently β * =
{0}. •
Theorem 5.8.5. Suppose that assumptions of Theorem 5.8.1 and (5.29) hold. Then for
every λ e (0, sup, σ'+(ί)) problem (5.26), (5.27) has α nontrivial solution in W0 (Ω)
and
b(u)
supa+(t) > s u p - - ,
t a{u)
Proof By virtue of Theorem 5.5.1 and Lemma 5.8.1 problem (5.26), (5.27) has a
solution for λ e I (A, B) and lim^oo ^ψ. = 0. Consequently, the lower bound in
I {A, B) is less than or equal to 0. The upper bound in / (A, B) is greater than or equal
to any given slope of secant line to the graph of σ and this implies the assertion of our
theorem. •
Proof It follows from our assumption on F that be(u) < o(||m|| p ) for θ >
Hence β* Π (0, oo) = 0 and that supf a'+(t) > sup, = oo and the result follows
from Theorem 5.5.1. •
Case 2. 0 < a < ρ — \ < β. If η > ρ v/e also assume that β < It follows
from Theorem 5.8.6 that problem (5.30) has a solution for every λ e (λ 0 , oo) with
Case Α. 0<α<β = ρ-\. Then Theorem 5.8.3 implies that I (Α, Β) = (0, λ 0 )
with λ ο = S U P | | u | | ^ / Ω \u\p dx.
The mountain pass theorem has been extensively used in the search for critical points
of C 1 functionals. Assuming that a functional F : K. —> X satisfies the mountain
pass geometry, that is, G(0) < p, G(e) < ρ and G(u) > ρ for ||u|| = S < ||e||, we
consider all paths joining 0 and e. We expect to find a path on which the maximum of
G is not greater than its maximum on any other path. If such a path exists, it contains
a critical point of G. In general, it may be difficult to pick an appropriate path unless
we impose some compactness condition. The most widely used is the (PS) condition.
In this chapter we consider a substitute for the (PS) condition which is similar that
one used in Theorem 2.3.1. The novelty of this approach is the following alternative:
either a given functional has a critical point or an eigenvalue problem is solvable.
We basically follow the approach, described in Section 1.1, based on a choice of an
appropriate deformation mapping and a pseudogradient which significantly differ from
those introduced in Chapter 2.
Proof Let h = w + ßu, with β > 0. Then ||/ι|| < 1 +ß,(h,u) = (w,u) + ß > β-Θ
and (h, w) = \ + ß(u, w) > 1 — βΘ. According to our assumption, there is a β with
Θ < β < and this choice of β gives (6.1). •
Then for each a < 1 — Θ there exists a locally Lipschitz mapping Υ : Ε —Η such
that
(Z(u),Y(u))>a\\Z(u)\\ foru e E,
and
||Γ(κ)|| <1 f o r u e E .
Proof Let a! satisfy a < a' < 1 - Θ. According to Lemma 6.1.1, for each u € Ε
there is an element h(u) e Η such that
and
(h(u),u)>0 f o r « G Q.
and
(h(u), v) > 0 for u e Q and ν e Nu.
If u is not in β , we take Nu so small that it does not intersect Q. The collection of all
these neighbourhoods covers E . There is a locally finite, locally Lipschitz partition of
unity {Ψ τ («)} subordinate to this covering. Let Y(u) = Ψ T ( u ) h z ( u ) . Then Y(u)
is locally Lipschitz, since hr is constant on the support of Ψ Γ («). Also,
(Y(u),u) = ^ Φ τ ( Λ Γ , Μ ) > 0 , u e Q ,
τ
and
for u G E. •
For the ease of notation we set j = ß ( 0 , R) — ß ( 0 , <5)andF c = {«; F(u) < c}.
Proposition 6.1.1. Let F G C 1 (ß(0, R), R). Suppose that there exist constants 0 <
e e l , 0 < δ < R, Θ < 1, c G Μ and b > 0 such that
for all u satisfying |F(w) — c\ < 2e and u G BR$. Then there exists a continuous
mapping σ : [0, 71] χ BRJ BRS such that
(i) a(t, u) = u for u # F~l([c - 2e, c + 2e]),
(ii) F{a{t, u)) is nonincreasing in t G [0, 7 ] for each u G BR$,
(iii) \\σ(ί, u)-u\\ <t <T for (t, u) G [0, Τ] χ BR>S,
c+€
(iv) F(a(T, F )) C F(a(T, Fc~€)).
Proof Let β be the set of points in BRJ satisfying |F(w) — c\ < 2e. We define
subsets ß i and 02 of by
ß i = {" e β ; | F ( « ) - c | <€},
(F'(M),r(M))>a||F'(M)|| (6.2)
K( M )
W(k) = ζ(α)η(α)
IIΓ (Κ) II
for« € E, where ζ : Η [ 0, 1] is a smooth function such that ζ (u) = Ofor ||«|| <
f (u) = 1 for ||u|| > y . It is obvious that W is locally Lipschitz and
d<T( U)
\' = ~W(a(t, «)), σ(0, u) = u.
at
Since W is locally Lipschitz and satisfies (6.3), a(t, u) will exist for all t > 0 such that
a(t, u) G Βrs. According to (6.4) we have
for 0 < a(t, u) < R. Thus a(t, u) cannot exit B(0, R) and since W = 0 on B{0, it
cannot enter B(0, So a(t, u) is defined for all t > 0. By virtue of (6.5) and (6.6)
we have
= (F'(a(t,u)),a'(t,u)) (6.7)
at
= -(F'(a(t,u)),W(a(t,u))< 0
Proposition 6.1.2. Let F e Cl(B(0, R), R) and suppose that there exist constants
e > 0 , Θ < 1 , b > 0 and c G R such that
(F'(u),u) + @R\\F'(u)\\>0
and ||F'(m)|| > b for all u satisfying \F(u) — c| < 2e and ||u|| = R. Then there exists
a continuous mapping σ : [0, Τ] χ Z?(0, R) —> B(0, R) such that
(i) σ(ί, u) = ufor 0 < ί <T and u # F _ 1 ( [ c - 2e, c + 2e]),
The proof is essentially the same as of Proposition 6.1.1 and is therefore omitted.
where Γ denotes the set of continuous functions φ : [0,1] —• 5(0, R) such that
φ(0) = 0, ^j(I) = e. Moreover, we assume that there are constants e > 0 and Θ < 1
such that
0G'{u), u) + 0 5 | | G ' ( u ) | | > 0 (6.10)
for all u e Η satisfying
and
G'(um) -»• 0 in Η asm oo. (6.12)
Proof Suppose, on the contrary, that no such sequence exists. Then we can find
constants e > 0 and b > 0 such that ||G'(«)|| > b for all u e 5(0, R) satisfying
Takings > 0 smaller, if necessary, we may assume that 3e < min(p — G(0), p — G(e)).
By Proposition 6.1.2 there exists a deformation mapping σ : [0, Τ] χ 5(0, R) —•
5(0, R) satisfying (i)-(iv). We now choose φ e Γ such that
and set h(t) = σ(Τ, φ{ί)) fori e [0,1]. Since e and 0 are not in G _ 1 ( [ c - 2 e , c + e]) it
follows from Proposition 6.1.2 (i) that h(0) = 0and/i(l) = e, that is, h e Γ. By(iv)of
Proposition 6.1.2 we see that h([0, Τ]) C Gc~€. Therefore max,e[o,i] G(h(t)) < c — €
which is impossible. •
or
(b) there is a sequence {u*} C B(0, R) such that
G(uk) c, ||k*||=ä,
Proof. Let us assume that there is no sequence satisfying (b) even if we assume
lim sup^.,.^ v(uk) = 0. Then there would exist constants € > 0 and b > 0 such that
||X(u)|| > b satisfying
|G(u) - c| < 3e, \\u\\ = R (6.15)
and
υ(κ) < 0. (6.16)
Let Θ < 1 be such that
Since
, 2 λ v(u)2
\\G'(u)\\2 = \\X(U)\\2 + - ^ i ,
II" II
we see that for u satisfying (6.13) and (6.14) we have
This implies that (6.10) holds for all such u. Also, (6.10) holds for all u satisfying
(6.14). We can apply Theorem 6.2.1 to conclude assertion (a). Finally, assume that
there is no sequence satisfying (b) but there is one if we replace (6.14) by v(uk) -> 0
as k ->· oo. In this case ß(uk) -»· 0 and X(w*) -*• 0 in Η implies G'{uk) ->· 0 in H .
Thus assertion (a) holds in this case as well. •
Theorem 6.3.1. Let G G Cx(B(0, R), R) be afunctional satisfying (6.9) and (6.13).
Moreover, assume that
or
(b) there is a solution to the problem
Proof Under our assumptions either (a) or (b) of Theorem 6.2.2 holds. If (a) holds
then v(uk) 0 and X{uk) —• 0 in Η as k oo and by assumption (I) there is a
convergent subsequence. The limit of this sequence satisfies (6.17).
If part (b) of Theorem 6.2.2 holds, then by (I) a subsequence of {M^} converges
strongly to € B{0, R). Thus
To derive the second consequence of the mountain pass alternative we need the
following hypotheses:
G{e) < G(0), (6.19)
and
(II) G is weakly lower semicontinuous.
Theorem 6.3.2. Suppose that (6.9), (6.13), (6.19) (I) and (II) hold for each R > 0.
Then the following alternative holds:
Either
(a) there are at least two solutions of
G'{u) = 0, u φ 0, (6.20)
or
(b) for each R > ||e|| there is at least one solution of
Proof Assume that there is an R > ||e|| for which (6.21) has no solution. It then
follows from Theorem 6.3.1(a) that problem (6.17) has a solution u φ 0. Let
a = inf g(v).
veB(0,R)
It is easy to see that by (II) and (6.19), there is a non zero vector ü e Z?(0, R) such that
a = G(w). If ||m|| = R, ü will be either a solution of (6.20) or (6.21). Since (6.21) has
no solution, ü must satisfy (6.20). We now observe that
Theorem 6.3.3. Suppose that the hypotheses of Theorem 6.3.2 hold. Then the follow-
ing alternative holds:
Either
(a) there is at least one solution of {6.20),
or
(b) for each R > ||e|| there at least two solutions of (6.21).
Proof. Assuming that there is no solution of (6.20), by Theorem 6.3.1 for each
R > ||e|| there is a solution of (6.18). As in the proof of Theorem 6.3.2 we can show
that there exists a vector ü φ 0 such that G(m) = ™n ugfl (Q r) G(v). ü is not an interior
point of 5 ( 0 , R) because (6.20) has no solution. Consequently μ is a solution of (6.21).
Finally, (6.22) implies that ü does not satisfy (b) of Theorem 6.3.1. Therefore, problem
(6.21) must have at least two solutions. •
and
(IV) there is a constant Mr s such that
Theorem 6.4.1. Suppose that (III) and (IV) hold. Moreover, assume that there are
e > 0 and Θ < 1 such that
v(u) + @\\u\\G'(u)>0
Then there exists a sequence {w*} C BR $ with G(uk) —> c' and G'(uk) — 0 in Η as
k -> oo and moreover lim sup^QQ v(ujt) < 0 and X(u*) 0 in H.
Proof. The proof is similar to that of Theorem 6.2.1 and is based on Proposition 6.1.1.
If we assume, contrary to the theorem, that no such sequence exists, then we can find
b > 0, e > 0 such that 3€ < p - F(0) and ||G'(u)|| > b for all u satisfying (6.23).
Let φ G Γ«5 be such that
Repeating the arguments used in the proof of Theorem 6.2.2 we can establish the
following consequences of Theorem 6.4.1.
Theorem 6.4.3. Suppose that (III) and (IV) hold and that G satisfies the following
condition
(V) If{uk] C 5(0, R) satisfies: X(uk) 0 in H, v(uk) ν < 0 and G(uk) d
as k —> oo, then {u^} has a convergent subsequence.
Then the following alternative holds:
Either
(a) there is a solution of
or
(b) there is a solution of
Theorem 6.4.4. Suppose that (6.26) and (V) hold and moreover that
or
(b) there is a sequence {uk} C 5(0, R) such that
Finally, we have
Theorem 6.4.5. Under the assumptions of Theorem 6.4.4 the following alternative
holds:
Either
(a) there is α β satisfying
(b) there are sequences {«*} C 5(0, R), {ßk} C {ß0, 0) such that
G'(uk) = ßkuk, ßk ß0,
or
(c) there are sequences {uk} C 5(0, R), {ßk} C (β 0 , 0) such that
Gf(uk) = ßkuk, k\\uk\\ = l, ßk-^ßo,
or
(d) there is a solution of
G'(uk) = ßu, β < β0, Μ€5(0ΓΚ)-{0}.
In the next two results we consider the situation where the assumptions of Theorem
6.4.4 hold for each R > ||e||.
Corollary 6.4.1. Suppose that assumptions of Theorem 6.4.4 hold for R > ||e||. Fur-
ther, we asume that the equation
G'(u) = 0 , uφ 0 (6.27)
has no solution and that
G'(u) = ßu, β <0, 0<||κ||<δ (6.28)
has no solution for some δ > 0. Then for each R > ||e|| there is a solution of
G'(u) = ßu, β < 0, ||«|| = Ä. (6.29)
Theorem 6.4.6. Suppose that the hypotheses of Theorem 6.4.4 holdfor each R > ||έ||
and that G(u) is weakly lower semicontinuous. Then the following alternative holds:
Either
(a) there are at least two solutions of (6.27),
or
(b) for each R > \\e\\ there is a solution of (6.29),
or
(c) for each 8 > 0 there is a solution of (6.28).
for all χ g Q and \t| > r, where P(x, t) = /0' p(x, s) ds.
Theorem 6.5.1. Suppose that the nonlinearity ρ : ö x M - > K satisfies (a), (b), (c)
and (d). Then the Dirichlet problem (6.30), (6.31) possesses at least one solution.
Proof. A solution to problem (6.30), (6.31) will be obtained as a critical point of the
functional F : W^2(Q) R defined by
f \Vu(x)\2dx-
= 1i JQ f P(x, u) dx.
JQ
Asumptions (a) and (b) guarantee that the functional F is well defined. We now check
that assumptions (i), (ii) and (iii) of Theorem 1.1.3 are satisfied. It is obvious that
F(0) = 0. Assumption (b) implies that
\P(x,t)\<Ci\t\s
for χ g Q, |/| > 8 and some constants 8 > 0 and C\ > 0. It follows from assumption
(c) that given e > 0 there exists δι > 0 so that
P(*,0l<e|'l2
for Λ: € Q and |f| < Combining the last two estimates we deduce, using the
Sobolev embedding theorem, that
for some constants C2 > 0 and C3 (O > 0, with C2 independent of e > 0. Here || · ||
denotes the usual norm in W^'2(Q). Taking € = ^ we get from (6.32) that
F(u)>]\\u\\2-C4\\u\\s
4
for some C4 > 0 and all u e W0''2(<2)· Consequently, there exist a > 0 and ρ > 0
such that
F(u) >a for μ € 5(0, ρ)
and F(u) > 0 on B(0, p) - {0} and (i) of Theorem 1.1.3 holds.
To show (ii) of Theorem 1.1.3 we establish the following estimate from below
for P :
POt,t)>bl\t\»-b2 (6.33)
for χ e Q and t e R and some constants b\ > 0 and b2 > 0. Indeed, it follows from
(d) that
μ p(x,t
t P{x,t)
for t > r and χ e Q. Hence,
Jr t ~ Jr P(x,t)
and consequently
This shows that there exist constants b\ > 0 and b2 > 0 such that (6.33) holds and
moreover,
μ
^ \ ξ \ < Ρ ( χ , ξ ) f o r \ξ\ > r .
Since μ > 2, we see that lim^oo F(tu) = —00. Thus there exists ta such that
F{t0u) < p. Finally, the Palais-Smale condition (condition (iii) in Theorem 1.1.3)
is a straightforward consequence of (a), (b), (d) and the Sobolev embedding theorem.
We only emphasize here that (a) and (b) together with the Sobolev embedding theorem
imply that the functional b : W^2(Q) R defined by
b(u) = / P(x,u(x))dx
JQ
is weakly continuous. On the other hand we observe that if {um} is a sequence in
wIHQ) such that F(um) c and F'(um) 0 in W~l'2(Q) as m 00, then we
have
-M<^-f \Vu(x)\2dx-f P(x, um{x))dx < Μ (6.34)
1
JQ JQ
and
-€ / \Vum(x)\2dx
< JQ - JQ
/ p(x,um(x))um(x)dx < €
for all m > m 0 and some constant Μ > 0. This implies using (d) that
for all m > m Q . Using again (6.34) we see that {um} is bounded and the remaining
part of the proof is routine. •
A close inspection of the proof shows that each assumption (b), (c) and (d) plays
its own role in enabling us to use Theorem 1.1.3. Assumptions (b) and (d) imply that
for large ξ. This shows that the nonlinearity ρ must satisfy a very restricted growth at
infinity.
In particular, assumption (d) implies that there is u 0 e W 0 l l 2 (ß) suchthat
The question arises what can be said about the solvability of problem (6.30), (6.31), if
we weaken one of the assumptions (b), (c) or (d). We address this question in the next
section.
Theorem 6.6.1. Suppose that (a), (b), (c) and (6.35) hold. Then the following alter-
native holds:
Either
(i) there are at least two nontrivial solutions of (6.30), (6.31),
or
(ii) for each R > ||u01| there is a solution of the problem
Proof This result follows from Theorem 6.3.2. It is clear that assumptions (a) and (b)
yield the weak continuity of the functional F . Now (6.35) implies (6.13) and also it is
easy to see that (6.19) is satisfied. It remains to verify assumption (I). The functionals
ν and β and the operator X in this context take the form
ß(u) = ^ for w / 0,
Μ Γ
and
X(u) = F'(u)-ß(u)u.
Let {uk} be a sequence in W 0 1 > 2 (0) such that: {w*} C ß(0, R), X(uk) 0 in
W _ 1 , 2 ( ß ) and limsupv(«jt) < 0. We must show that {m*} has a convergent sub-
sequence Wl'2(Q). First, since {m*} is bounded we may assume that u in
Wo ' ( ö ) , μ* —u in L (Q) and a.e. on Q. Also, we may assume that ||u&||
1 2 S r > 0
( i f r = 0, there is nothing to prove) and that ß(uk) ->· I as k -»· oo, since {ß(uk)} is
bounded. We distinguish two cases: (i) I = 0 and (ii) I < 0.
Case (i). Since X(uk) 0 in W~l'2(Q) as k ->· oo, we see that F'(uk) 0 in
W - 1 , 2 ( ß ) as k - > oo. Therefore, we have
and
Theorem 6.6.2. Suppose that assumptions of Theorem 6.6.1 hold. Then the following
alternative holds:
Either
(i) there is at least α nontrivial solution of (6.30), (6.31),
or
(ii) for each R > || w0 II there are at least two solutions of problem (6.36).
Theorem 6.6.3. Suppose that (a), (b) and (6.35) hold. Then the following alternative
holds:
Either
(i) there are at least two nontrivial solutions of (6.30), (6.31),
or
(ii) for each R > ||u0|| there is a solution of (6.36),
or
(iii) for each 8 > 0 there is a solution of problem
Theorem 6.6.4. Suppose that (a) and (b) hold, then the following alternative holds:
Either
(i) there is at least one solution of problem (6.30), (6.31),
or
(ii) for each R > 0 there is at least one solution of problem (6.36).
The purpose of this chapter is to provide several variants of the mountain pass theorem
for locally Lipschitz functionals. The proofs are based on the Ekeland variational
principle and we avoid using the deformation lemma. We also present a version of the
mountain pass theorem for functionals in the form of a sum of a C 1 -functional and a
lower semicontinuous convex functional. This involves an essential modification of a
definition of a critical point.
(ν) The set valued mapping χ —>• 3f(x) is upper semicontinuous in the following
sense: for each xQ e X, € > 0 and υ € X, there exist 8 > 0 such that for each
w G df(x) with || jc — jc0 If < S, thereiswQ e df (xQ) such that \ {w — w0, < e.
(vi) A functional λ : X —> R defined by
λ{χ)= min I N I * .
wedf(x)
is lower semi continuous, that is, lim^-^ λ(χ) > λ(χ0).
(vii) For each ν G X, we have
Γ(χ·,υ) = τηζχ[{ξ,ν)·,ξ €df(x)}.
(ix) The set valued function χ df(x) is weak*-closed, that is, if {*,·} and {£,} are
sequences in X and X*, respectively, such that £,· G 3/(λ;, ), jc, —• χ and ξ is a
cluster point (limit point) of {ξι} in the weak*-topology, then ξ € df(x).
1
II*« ~ JColl < ~
η
and
Ι^-ω,υ)! >e (7.1)
for each w e 3 f ( x 0 ) . Since x„ -»· x0, we see by (ii) that < Κ for some
constant Κ > 0. Hence, we may assume that ξη ξ0. To complete the proof we
show that ξ0 e 3 f { x 0 ) , which contradicts (7.1). Indeed, for each u e X there exist
sequences [hi) C X and {λ,·} C K, with hi ->· 0 and λ,· | 0, such that
which is impossible.
(viii) The function h is locally Lipschitz continuous, that is, it is differentiable a.e.
and let h be differentiable at t = tQ. Then, we have
Many theorems of the classical differential calculus have their counterparts in the
calculus of the generalized gradients.
Proof. Since 9(—/) = —3/, it suffices to consider the case of a local minimum.
Thus, it is obvious that f°(x\v) > 0 and the result follows. •
Theorem 7.1.1 (Mean value theorem). Let χ and y be in X. Then there exist a point
u = χ + t0(y — x), with 0 < t0 < 1, andx* e 3f(u) such that
g(t) = f ( x + t(y-x)).
We show that
and (7.2) easily follows. To complete the proof we consider a function 0 : [0, 1] —>· R
given by
0 ( 0 = f ( x + t(y - χ)) + *[/(*) - f(y)].
Since 0(0) = 0(1) = fix), there exists t0 e (0, 1) at which 0 attains an extremum. It
follows from Proposition 7.1.2 that 0 e 30(f o ). Hence, by Proposition 7.1.1 (iii) we
have
0 g [/(*) - /(>>)] + (df(x + ( y - x)t0), y-x)
and the result follows. •
Theorem 7.1.2 (Chain Rule). Let F : X Y, where X and Y are Banach spaces. If
F is strictly differentiable on X and g : Y R is Lipschitz continuous functional and
f = g ο F, then 3 f { x ) C 3g(F(jt)) ο Ds F(*)) for each x.
f i y ) - f i x ) > (ζ, y - χ )
for all y e X. In this case there exists a directional derivative f i x ' , v) at every χ € X
and in every direction ν e X. It is not difficult to show that / ° ( x ; υ) = f\x; v) (see
[90]). Consequently, we can state the following result.
Φ ( 0 == // '
Jo
4>(s)ds with φe
We set for σ>0
φ = essinf 0 ( s ) , 0 σ ( Ο = ess sup 0 CO
-<T k-f|«r |ϊ-ί|<σ
and
0 ( 0 = lim 0 ( 0 , 0 ( 0 = lim 0 σ ( Ο ·
— σ—>0 σ->·0
It is easy to check that
and
ζφ(0 for ζ<0
Φ°(ί; ζ) < ζφ(ί) for ζ > 0.
These two relations imply that 3Φ(ί) = [ 0 ( 0 , 0 ( 0 ] . This observation will be used to
find a generalized gradient of a functional
r fu(x)
g(u) = / / φ(χ, t)dtdx, (7.3)
JQ, JO
where 0 : Ω χ R —>· R is a measurable function, Ω is a bounded domain in R" and
u : Ω —> R belongs to an appropriate function space.
where C\ > 0, Cj > 0 and σ > 0 are constants. By Fubini's theorem /J φ(χ, s)ds
is a Caratheodory function. We are now going to find dg on Ζ, σ + 1 (Ω) and ^ ( Ω ) .
a+l
g
First, we observe that is well defined on L
(Ω). Indeed, by the Holder inequality
we have
9, Φ (χ,0 = [φ(χ,ί),φ(χ,ΐ)],
with
φ(χ, t) = min{0(x, t + 0), φ(χ, t - 0)} = φ(χ, t - 0)
and
φ(χ, t) = max{0(*, t + 0), φ(χ, t - 0)} = φ(χ, t + 0).
Since φ(χ, t±) = limn_».oo0(·*» t ± we see that φ and φ are superpositionally
measurable.
Theorem 7.2.1. Suppose φ satisfies (7.4) and that φ(χ, t) and φ(χ, t) are superpo-
sitionally measurable. Then the functional g : £ σ + 1 ( Ω ) —• Ε, defined by (7.3), is
locally Lipschitz continuous and
Proof. Let {Λ,} C Ζ, σ+1 (Ω) and {λ,·} C Μ be such that hi 0 in Ζ, σ+1 (Ω), λ, | 0
and
g°(u;v)= lim / — / φ(χ,ξ+α(χ))άξάχ.
λ,· Jhi(x)
We may also assume that hi —>- 0 a.e. and hence
In the contrary case, there exists a set Ε C Ω of a positive measure such that
—j w(x)dx<—j <p(x,u(x))dx,
which is impossible. In a similar manner, we prove that w(x) < φ{χ, u(x)) a.e. •
Combining Corollary 7.1.1 and Theorem 7.2.1 we deduce the following result.
and have
rv(x)
w(x)(v(x) — u(x)) < Ι φ(:K,t)dt a.e.
Ju(x)
To prove the mountain pass theorem for locally Lipschitz continuous fiinctionals
we need the following results.
Proposition 7.3.1. Let F : X —> R be a locally Lipschitz functional and let Κ be a
compact metric space. Then a fiinctional Η : C(K, X) —> R defined by
H(g) = max F(g(t))
teK
for every g € C(K, X) is a locally Lipschitz functional on C(K, X).
Proof First of all, for any g € C(K, X), g(K) is a compact space. Since F is a locally
Lipschitz functional, for every t € Κ there exists constants ct > 0 and 8t > 0 such
that
|F(*I) - F(JC 2 )I <C,||*I - X 2 \ \
for all X\,X2 in B{g(t), 8t). Consequently, {B(g(t), 8t)}, t e K, is an open covering
of g(K) and by the Borel-Lebesgue theorem there exists a finite number of points
{ f i , . . . , tm) in Κ such that
k
g{K)^\jB{g{ti),8ti).
i=1
By Lebesgue's lemma there exists a number 8 > 0 (a Lebesgue number) such that for
every χ e g(K) there exists an index 1 < i < k such that
B(x,8)cB(g(ti),8ti).
Setting cg = maxi<,</t ctj we see that
|F(*i) - F(* 2 )| < cg\\χι - X21|
for all t 6 Κ and χ\, xj € B(g(t), 8). Thus for h\,hi e C(K, X) satisfying
\\hi - g\\c(K,X) = max ||A,-(/) - g(i)|| < 8, i = 1, 2,
teK
we have
\H(hi) - H{h2)\ = I m a x F ( h \ ( t ) ) — max F{hi{t))\
teK t&K
< max|F(Äi(f))-F(A2(i))l
teK
< c5g max \\hi(t) - h2(t)\\ =cg\\h\
6 - h2\\.
teK •
Then
H°(g-h)< max F°(g(sy,h(s)).
S€M(g)
Proof We choose two sequences {«;} C C(K, X) and {λ, } C (0, oo) such that
||m, - g|| = max, eA : II"; ( 0 - g(OII -»· 0, λ,· 0 as i -> 0 and
wo,(g\h)=
Η ι ·> rlim H(m+kjh)-H(m) . (7.6)
/-> 00 λ|
By Theorem 7.1.1 there exist 0,· e (0, 1) and xf e aF(M, (5·,) + 0,λ ( Λ(ί,)) such that
Since ÄT is a compact metric space, we may assume that j, —• s e Κ and this implies
that
ui(si) + 9ikih(si) g(s).
By the local boundedness and the weak*-closedness of a generalized gradient (see
Proposition 7.1.1 (ix)), there exists a weakMimit point (cluster point) x* of {x, } with
x* e dF(g(s)). Therefore, we may assume that (χ*, h(s)) —> {x*, h(s)). By virtue
of (7.6), (7.7) and (7.8) we have
H0{g\ h) < lim {χ*, h(si)) = lim (χ*, hfa) - h(s)) + lim (χ*, h(s))).
i—*· oo —
/' >• oo /-»· oo
It remains to check that s e M(g). This follows from the fact that Si e M(h, + λ,/ι)
and
F(ui(si) + kih(si)) > F(ui(t)+kMt))
for all t g K. Indeed, letting i -*• oo we get that
foreachiGÄ". •
To state the next result we introduce the following notation; let Κ be a compact
metric space and K0 a closed subspace of Κ. We set
H°(g-,h)>-€\\h\\
for each h e Cxo(K, X). Then, there exists s € Μ(g) such that
F°(g(sy,v)>-€\\v\\
for all ν € X.
Proof In the contrary case for every t e M(g), there exists v, e X with ||u/|| = 1
such that
F°(g(ty,vt)<-€.
Since g is continuous and F° is upper semicontinuous, for every t e M(g) there exists
vt e X, with ||υ,|| = 1, and St > 0 such that for each s € B(t, 8t) we have
F°(g(sy,vt)<-€.
k
M(g)c|Jß(r(A.) (7.9)
ι=1
and
Pi(t)= min d(t, s), i = \,...,k,
seK-B(tj,&j)
where d is a metric on K. It follows from (7.9) that
k
K = {\jB{ti,&i))U{K-M{g)}
;=ι
m = % i W » .
Σί.οΡ.(')
By the sublinearity of F°(jc; υ) in υ we get
Σ?=οΑ(0
It is easy to check that for t e M(g), /0 o (0 = 0 and (f) > 0 for some i. This implies
that F°(g(t)\ v t j ) < —€. Therefore, we have
F ° { g ( t y , h ( t ) ) < - € < - € \
We are now in a position to formulate the mountain pass theorem. Let K* be a closed
subset of a compact metric space K. For a given continuous function ρ* : Κ* X
and a functional φ : X —• R we set
and
c = inf m a x < f > ( p ( t ) ) .
pev t&K
lim dist(w„, A) = 0,
oo
lim = c
n-tO
and
lim X(un) = 0.
n-y oo
e2
ma\φ{ρ{ί)) < c + —. (7.10)
t&K 4
r L = { k e C ( K , X y , k \ L = p \ L } ,
which is a closed subset of C{K, X). We now introduce a function ψ : X —> R defined
by
ψ ( χ ) = max(0, e 2 - € dist(jc, Λ))
and a functional F : Γ/, R given by
F(k) = max +
tzK-L
e2
< inf F + —.
rL 4
We now observe that Γ^ is a complete metric space with a metric d given by
\\P0-P\\ < €
~, (7.13)
and
F { q ) > F { p 0 ) - e
- \ \ q - p 0 \ \ forall9erL.
zr°/ u\ ^ ν F(p0 + k h ) - F ( p 0 ) €
F ( p 0 \ h ) > lim sup λ > -~\\h\\
λ-> ο ^
e2
0Φ + f ) ( P o { t ) ) = <j>(p(t)) <C + —
4
and this establishes our claim. We now apply Proposition 7.3.3 to obtain a point
s€ e M(p0) such that
where B* is the unit ball in X*. We now check that a collection {u£}, € > 0 small, has
the following properties:
(a) c < 0(w e ) < c + f e 2 ,
(b) dist(w € , A) <
(c) infx*ea*(«e) Ik*II <
To check (a) we notice that by (7.10), (7.11) and (7.12) we have
e2
< c+ — +€2.
4
To show (b) we first observe that since L Π M(pa) = 0 we get that dist(p 0 (i), A) < €
for t e M{pa) and using (7.13) we deduce that (b) holds. Finally, the fact that
implies (c). •
Theorem 7.4.1. LetF : X —>• M.be a locally Lipschitz continuous functional. Suppose
that
(i) F(0) = 0 and that there exist constants ρ > 0 and a > 0 such that F(u) > a for
u € 5(0, p),
(ii) there exists ν & B( 0, ρ) such that φ(ν) < 0 and further suppose that F satisfies
CPS)C, with
c = inf max F(g(t)),
ger f€[0,l]
where
Γ = {g G C([0, 1] χ X); g(0) = 0 and g(l) = v}.
Then, c is a critical value of F.
The next theorem extends the mountain pass theorem of Ghoussoub and Preiss
[125]. For a and b in X we set
Finally, let A be a closed subset ofX such that a & A, b g A and A c {«; F(u) > c}
and that
p([0, 1])ΠΑφ0 for every ρ G Γ β >
Then, there exists a sequence {um} C X satisfying
(i) lim m ^oo dist(« m , A) = 0,
(ii) Iim m ^oo F(um) = c,
(iii) lim m ^oo F'(um) = 0.
In particular, if F satisfies (PS)A,c condition, there exists u G A such that F(u) = c
and F'{u) = 0.
Proof. The weak*-continuity of F and the uniform boundedness theorem imply that
F is locally bounded. Consequently, by the mean value theorem F' is locally Lipschitz
continuous. To check that 3 F ( u ) = (F'(u)} we write using the mean value theorem
for some θ € (0, 1). Since F' : X -> X* is continuous from the norm topology of X
to the weak*-topology of X*, we see that F°(u, υ) = (F'(u), u). Consequently,
Finally, we give a variant of the mountain pass theorem due to Nirenberg and Brezis
[43],
Theorem 7.4.3. Let F e Cl(X, R) and let Κ, K*, p*, c and V be defined as in
Theorem!3A. Suppose that
and that F satisfies the (PS)C condition. Then, for every e > 0 there exists ρ e V such
that
F(p(t)) = c=^\\F,(p(t))\\x* <e
for each t e Κ.
Proof In the contrary case, there exists e > 0 such that for every ρ e V we can find
t g Κ such that F(p(t)) = c and IIF'tpir))!!^, > €. This means the set defined by
For the proof of the following variant of the mountain pass theorem we refer to the
monograph of Mahwin and Willem [164].
c— inf m a x F ( g ( s ) ) , c\ = m a x F ( x ( s ) ) .
If c > c\, then for each € > 0 and each f € Μ such that
max F(f(s)) < c + €,
S€K
dist (v,f(K))<€l,
and
WF'mse'i.
φ(χ,ί)
lim sup < λι uniformly in χ e Ω, (7.17)
i->±oo t
where λι is the first eigenvalue f o r the Laplace oprator — A. Then, problem (7.15),
(7.16) has a solution u e W2'P(S1) Π W0 Ρ ( Ω ) , ρ > η, in the following sense
- A u e W ( x , u ( x ) ) , M x , u ( x ) ) ] . (7.18)
Proof According to (7.17) there exist constants Κ > 0 and 6 > 0 such that
and
φ ( χ , t) > (λι - e ) i - Κ for f < 0.
The problem
- A u £ \Φ\(Χ, u ( x ) ) , φ\(χ, u ( x ) ) ] ,
where
φ(χ, -r) if t < - r
φ ι ( χ , ί ) = 0 if |i| < r
φ ( χ , r ) if t > r.
g i ( « ) = / Ι Φ ι ( χ , ί ) ά ί ά χ
JSi Jo
is locally Lipschitz in L a + X ( Ω ) and |gi (Μ) | < M\ \\u || wi,2 for some constant M\ > 0.
We now set
F ( u ) = ]: f \ V u ( x ) \ 2 d x - g l ( u ) .
L JQ
d F ( u ) C - Au - [ 4 n ( x , u ( x ) ) , 4 > \ ( x , u ( x ) ) ] .
Since σ < it is easy to see that F satisfies the (PS) C condition for every e e l
By virtue of Theorem 7.4.1 F has a critical point u* € ^ 0 1 , 2 ( Ω ) such that
d f ( u ) = {u* € X*\ ψ(ν) - ψ(μ) > (u*, υ-u) for all υ Ε Χ).
To justify this definition let us assume that u is a local minimum of F. Then for
t > 0 small and all ν e X we have
Dividing by t and letting t -> 0 we see that (7.19) holds, that is, u is a critical point.
It is obvious that the (PS) condition for functionals satisfying (L) takes the following
form.
Let c e M. We say that F satisfies the (PS)C condition if every sequence {um} c X
such that F(um) —> c and
The functional F satisfies the (PS') C condition if every sequence {um} C X such
that F(um) —• c and
In fact, both conditions (7.20) and (7.21) are equivalent. To show this we use the
fact that convex functionals have linear minorants.
L e m m a 7.6.1. Let f : X (—oo, oo] be a lower semicontinuous and convex func-
tional such that / ( 0 ) = 0 and f ( x ) > — ||jt || for all χ e X. Then there exists ζ Ε X*
such that ||ζ || < 1 and
f ( x ) > ( z , x ) for all χ e X .
The set A is open and since f ( x ) > — ||λ||, Α Π Β = 0. Consequently, there exists a
hyperplane separating A and B, that is, there exist a and β in Μ and w Ε X* such that
(w, x) - at - β >0
for all (x, t) e Λ and
(w, x) - at - β < 0
for all (x, t) e B. Since (0, 0) e λ Π Β, β = 0. Letting t = - | | * | | in the first of these
inequalities we get {w, x) > —a||jc||, so a > 0 and ||w|| < a. If a = 0 then w = 0
and there is no hyperplane. Therefore, a > 0 and letting ζ = % and t = f ( x ) in the
second inequality we derive that ||z|| < 1 and {z, x) < t = f(x). •
Proof. Since (7.21) implies (7.20), let us assume that a sequence {um} satisfies (7.20).
If €m > 0, we set χ = ν — um and
£(*)>-11*11 forallxeX.
By Lemma 7.6.1 there exists ζ η G X, with ||f m || < 1, such that > ( ζ η , χ ) . From
this we get letting zm = frnfm, that
(0'(Mm), V - Um) + ψ(υ) - f(um) > {Zm, υ - "m>·
Since e m 0, zm 0 in X*. •
Proposition 7.6.2. Suppose that F satisfies (L) and the (PS) condition holds. If u is
a limit point of a Palais-Smale sequence {um}, then u is a critical point. In particular,
the set of critical points at level {u : F(u) = c] is compact.
Proof. Let {u m } be a sequence satisfying the (PS)C condition. We may assume that
um —> u. Letting m -»· oo in (7.20) and using the fact that
we get (7.19). Hence, u is a critical point. On the other hand, taking ν = u in (7.20)
we easily deduce that limm->.oo i/(um) = ψ(u) which means that μ is a critical point at
level c. Finally, if {um} is a sequence of critical points such that F(um) = c for all m
then (7.20) is satisfied with €m = 0. Hence, by the first part of the proof u is a critical
point at level c. •
Theorem 7.6.1. If F is bounded from below and satisfies (L) and the (PS) condition,
then
c = inf F(u)
U€X
is a critical value.
Proof We choose a minimizing sequence {wm} such that F(wm) < c + We now
apply Theorem 1.1.1 with € = ^ and λ = 1 and obtain a sequence {um} such that
for all w € X. Since ψ is convex, letting w = (1 — t)um + tv, t e (0, 1), we obtain
that
1
(Φ (um), l; - Km) + f ( v ) - f(um) > ||V - «mil-
m
Hence {um} satisfies the (PS)C condition and by Proposition 7.6.2, c is a critical value
of F. •
Lemma 7.7.1. Suppose that F satisfies (L) and the (PS) condition and let Ν be a
neigbourhood of Kc. Then for each e > there exists € G (0, e) such that if u0 & Ν and
c — € < F(u0) < c0 + €, then
for some v0 e X.
Proof Arguing indirectly, we find a sequence {um} C X — Ν such that F(um) —>· c
and
(0'(«m), ν — um) + ψ(υ) - \J/(um) > 1|ν - uffl||
m
for all ν € X. Consequently, by Proposition 7.6.2 a subsequence of {um} converges to
«ο G Kc. This contradicts the fact that um & Ν for each m. •
Lemma 7.7.2. Suppose that (L) and the (PS) condition hold and let Ν be a neigh-
bourhood of Κc. Let€ > 0 be such that the assertion of Lemma! .7.1 is satisfied. Then
for every u0 € Fc+e — Ν there exist v0 G X and an open neighbourhood U0 of ν0 such
that
<Φ '(ii), v 0 - u ) + ψ(υ 0 ) - < ||υ0 - Μ || (7.22)
for all u £ UQ satisfying F(u) > c — €. Moreover, ifu0 & Κ we can take v0 = u0 and
if uο ^ K, v0, U0 and a number δ0 > 0 can be chosen so that v0 & U0 and
for all u e U0. This shows that (7.22) is satisfied with v0 = uQ. We now observe that
if c — € < F(u) < c + € and u e K, then by Lemma 7.7.1 u € N. Since uQ g N,
we must have F(u0) < c — €. If F(u) < c — e in some neighbourhood of u0, we
may choose U0 to be contained in this neighbourhood. Therefore the condition (7.23)
is empty. If every neighbourhood of u0 contains a point u at which F(u) > c - e we
easily check, using the continuity of Φ, that x(r(u) — ψ(μ0) > d > 0 for some constant
d and u sufficiently close to uQ and satisfying F(u) > c — €. This means that if Ua is
sufficiently small neighbourhood of u0, then
Letting u>0 = tvQ + (1 — t)u0,0 < t < 1, we get by the convexity of ψ that
Hence we may assume that v0 is close to u0. As in the part (i) we show that there exists
d > 0 such that yfr{u) — > d > 0 for all u sufficiently close to M0 and such that
F(M) > c — €. It then follows from (7.25) that if U0 and ||U0 — M 0 || are sufficiently
small then
(ψ(υ0) - ^r(Mo)) + (ψ(μ0) - f{u)) < - - d = ~-
and
for all u e UQ with F(u) > c — e. This means that (7.23) holds. Since vQ φ u0,
we may assume that vQ & UQ and moreover U0 can be chosen smaller, if necessary, to
ensure that the inequality (7.25) remains true in U0. that is,
and (7.24) is satisfied. It now remains to consider the case F(u0) > c — e. We can
apply Lemma 7.7.1 to obtain the existence of v0 such that the inequality from this
lemma is satisfied. By the continuity of Φ' and the lower semicontinuity of ψ we can
extend this inequality to a suitably small neighbourhood of U0 of u0, with v0 g U0,
that is
(Φ'(κ), v0 — u) + f(v0) - ι f r ( u ) < - 3 e | | u 0 - u||
Lemma 7.7.3 (Deformation lemma). Suppose that F satisfies (L) and the (PS) con-
dition and let Ν be neighbourhood of Κc. Then for each € > 0 there exists 0 < e < €
such that for each compact subset A of X — Ν satisfying
for all u € W,
F(as(u)) - F(u) < 2s (7.27)
for all u e W,
F(as(u)) - F(u) < -2es (7.28)
Proof. By Lemma 7.7.2 there exists € € (0, €) such that for each u0 G A there
corresponds a neighbourhood of U0 satisfying conditions stated in that lemma. If
«ο e Κ we may always assume that U0 Π Wo = 0. The sets U0 corresponding to
u0 G A form a covering of a compact set A. Let {£/,}, i G 7, be a finite subcovering.
Let {«,} and {υ,} be points corresponding to £/,· from Lemma 7.7.2. By taking a suitable
refinement, if necessary, we may always assume that if a i0 € J and u,o e K, then
dist(w,o, Ui) > 0 for each i φ i0. Let p, be a continuous function such that p, («) > 0
for u e Ui and p, (u) = 0 for u g C/,. We set
ai{u) =
E j z j p j i " )
It is easy to check that a s is well defined and continuous for sufficiently small s. It is
clear that a Q = / . To check the remaining properties of a s we write
where
where <5/ > 0 by numbers corresponding to C/, from relation (7.24). Since A is compact,
there exist a closed set W, with A c Int W and s > 0 such that | r ( j ) | < Si for all
0 < i < i , « 6 W a n d u ) e X with ||w|| < 1. If u £ Uio - \Ji¥=io £/,·, then
1
as(u) = u + sw = I 1 — s ^σ,·(Μ)||υ,· — μ|| 1« + s ^^σ,·(Μ)||υ,· — Μ||-1υ,.
According to (7.22) each term in the last summation is less than or equal to σ, («),
hence
F(as(u)) < F(u) + s + 8s (7.32)
and (7.27) holds. In a similar manner we show, using (7.23) and (7.24), that
F(as(u)) < F(u) - 3es + 8s (7.33)
for s < || m,0 — u || = s. In this case we repeat the previous part of the proof to show
(7.27) and (7.28). On the other hand , if s > s, then
Corollary 7.7.1. Suppose that Φ and ψ are even and that A is symmetric. Then as is
odd.
then ßs is odd and satisfies (7.26). Writing as(u) = u + hs(u), we have by Taylor's
formula
We are now in a position to establish the mountain pass theorem for functionals
satisfying (L).
Proof. Since g([0,1]) Π 5(0, ρ) φ 0 for all g e Γ, c > a. Suppose that c is not
a critical value. We now apply Lemma 7.7.3 with Ν = 0 and € = c and e < e be
a positive constant from that lemma. It follows from the definition of c that F c _ | is
not path connected and let us denote by WQ and We components containing 0 ana e,
respectively. We now replace Γ by a collection of paths Γι with "loose ends" defined
by
Γ, = {G € C([0,1], xy, g(0) 6 W0 Η F C _ § , G(I) € we Η F C _ F }
and set
c\ = inf sup F(g(t)).
S e r ι re[0,1]
We now show that c\ = c. Since Γ c Γι, ci < c. If ci < c, then there exists g e Γι
such that sup ie [ 0i i] F(g(t)) < c. Since g(0) can be joined to 0 and g(l) to e by paths
lying in Fc_«, we see that there exists a path g e Γ such that sup fe [ 0 ,i] F(g(t)) < c,
which is impossible. Since Φ is continuous and ψ is convex it is routine to show that
Γι is a closed subspace of Γ and conseqently Γι is a complete metric space. Since Γι
is a complete metric space it is easy to show that a functional Π : Γι —• (—oo, oo]
defined by
n ( g ) = sup F(g(t))
t
is lower semicontinuous. We now apply Ekeland's variational principle (Theorem
1.1.1) with € > 0 and λ = 1 to obtain a path / e Γι such that Π ( / ) < c + € and
n(g)-Tl(f)>-€d(f,g) (7.36)
for all g € Γι. Let A = /([0,1]) and let as be deformation mapping from Lemma
7.7.3 corresponding to A and satisfying (7.26)-(7.30). Setting g = α 5 ο / we check
that g € Γι for s sufficiently small. Indeed, if F ( / ( 0 ) ) € (c — €, c — §], then
by (7.27) F(g(0)) < F ( / ( 0 ) ) < c - § and if F ( / ( 0 ) ) < c - <?, then by (7.29)
F(g(0)) < F ( / ( 0 ) ) + 2s < c - §. In both cases g € W0 Π F c <. Similarly, we show
that g(l) g We (Ί F c _ f . Therefore, g e Γι. According to (7.26) d ( f , g) < i, it then
follows from (7.29) and (7.36) that
Corollary 7.7.2. Suppose that F satisfies (L) and the condition (PS). If 0 is a local
minimum of F and if F(e) < F(0) for some e φ 0, then F has a critical point u
distinct from 0 and e. In particular, if F has two local minima, then it has at least three
critical points.
Proof. Without loss of generality we may always assume that F(0) = 0. If there exist
Constantsa > Oandp > 0 such that e & B( 0, p)andF(w) > α for all μ G 5(0, /o),then
the existence of a critical point distinct from 0 and e is a consequence of Theorem 7.7.1.
If such constants do not exist we choose r < ||e|| so that F(u) > 0 for u G B{0, r ) .
We now apply Theorem 1.1.1 with e = and λ = m and F restricted to 5 ( 0 , r ) . Let
0 < ρ < r. Since inf„ES(O,P) F(u) = 0, there exists wm e 5(0, ρ) and um G B(0, p)
such that
0 < F(um) < F(wm) < \\um — u)m\\ < —
mA m
and
F(z)-F(um)>--\\z-wm\\
m
for all ζ G B{0, r). For m sufficiently large um G ß ( 0 , r). Let ν E X and let
z = ( 1 - t)u m + tv. \i t > 0 i s sufficiently small then ζ e 5 ( 0 , r). We deduce from
the last inequality and the convexity of ψ that
Moreover, F satisfies the (PS)C condition if and only if every sequence {um} C /C such
that Φ (um) —• c and
Let
Κ = {U € Wl'2{Q)\ U(X) > 0 a.e. in Q}.
Theorem 7.8.1. Suppose that ρ : β χ Μ ^ Ι satisfies (a), (b), (d) of Section 6.5 in
Chapter6 and (c'). Ifg € L 2 ( ß ) is such that g(x) < 0 a.e. on Q, then the variational
inequality
find u G K. such that for each ν C )C,
has a solution φ 0.
for some constants C\ > 0 and C2 > 0. Since {zm} is bounded in W 0 1 , 2 (ö) we may
assume that zm —^ ζ in L2{Q). If ζ = 0, then
1
liminf <I>(um)||um|| >
00 2
because the first integral in (7.37) tends to 0 by (7.38) while the second one is negative
for all m. Consequently, ζ Φ 0. However, if this occurs, then JQ gzdx < 0 and hence
<I>(Mm)||um||-2 -> oo because the first integral in (7.37) is bounded. This contradiction
completes the proof. •
One of the main problems encountered in solving variational problems is to show the
convergence of a minimizing sequence. In many variational problems it is relatively
easy to show the boundedness of a minimizing sequence in an appropriate Sobolev
space. In this chapter we establish a form of concentration-compactness principle at
infinity in a subcritical case. This principle can be effectively used to show a relative
compactness of minimizing sequences on unbounded domains of constrained mini-
mization problems. In the final section we show the relation between Proposition 8.1.1
(the concentration compactness principle at infinity) and P. L. Lions' concentration-
compactness principle I.
a corresponding result for critical case. Due to Sobolev compact embedding theorem,
a possible loss of mass of a weakly convergent sequence in W 1 , p ( R n ) can only occur
at infinity. In Proposition 8.1.1 we express this phenomenon in quantitative terms.
2
Μλ ^ W R u m \ P d x y dx < jf ( \ D ( u M \ + λ \ α η φ κ \ ή dx.
Since
lim limsup I \ u ^ r \ p
dx = αοοι
oo m—too J ω
2
lim limsup1 / |aI".m V0/e| <ijc = 0
Λ-χχ) /η->·οο Jq
and
lim limsup / = 0
Ä->-oo rn-+oo JQ
the inequality (e) follows. To show (c) we write for each R > 0
Letting Ä ->• oo, relation (c) follows. By a similar argument, using the weak lower
semicontinuity of a norm with respect to the weak convergence, we deduce (d). •
The infimum Μχ{Ω) depends on Ω. It is easy to see that Μχ(Ωι) > Α/χ(Ω2)
whenever Ωι C Ω2. Applying the maximum principle it is not difficult to show that
if Μλ(Ωι) = Μχ(Ω2), Ωι c Ω2 and Ωι φ Ω2, then Μλ(Ωι) is not achieved. Such
situation occurs for large interior-domains. We say that a domain Ω C K" is a large-
interior domain if for every R > 0 there exists an χ e Ω such that B(x, R) c Ω.
Examples of large-interior domains are: exterior domains, cones and half-spaces.
on [0, oo), 0 ( f ) = 1 for t e [0, 1] and <j>{t) = 0 for t e [2, oo). Letting wm(x) =
<p(2]x~ym[)w{x - ym) we see that wm e ^ 0 ! · 2 ( Ω ) and
Jo.
Ώ
/ Γ
\wm\p dx = 1 4 - o ( l )
as m —> oo. This means that Μχ(Ω) < Μχ{Rn). Since we always have Μχ(Μ") <
Μχ (Ω) the result follows. •
- Au + ku = b(x)\u\p~2u in Ω. (8.2)
Lemma 8.2.1. Let {um} be a minimizing sequence of problem (8.1). Then the reseated
ι
sequence vm = Μζλ um satisfies:
1 1 ρ
as m —> oo.
as m - > oo and
f b\vm\pdx = Mi tr *,
Ja
Hence,
Jm(<P)= f b(x)\vm\P-2vm<l>dx.
Ja
If ||01| = 1, then
% < f (|V0|2||0||7P2 + X | | ( / » | r P V ) ^
Ja b
_I
and hence Μί,,Λ||0||2ρ < ||0||2 = 1. Consequently ||0||lP < M,J a n d f o r e a c h m we
Lb b
have
Thus
-ε-*
M p ρ
/m(Wml|W«ir1) = -ir'-ir f b\vm\Pdx = - J * = M ^ + o ( 1)
\\Vm\\ Ja
M * = * + o ( 1)
as m —> oo. By virtue of the Riesz representation theorem, for each m we can find
w m e Ψ 0 '· 2 (Ω) such that
as m —> oo and
Nm-WmII 2 = \ \ v m \ \ 2 - 2 ( υ m , w m ) + \\wm\\2
1M
= - ~t + M~t + =
We commence with an existence result for problem (8.1) with Ω = Μ" andb(jt) = 1
on R". In this case we write Μχ = Μi,x(R") (see Proposition 8.1.1).
Theorem 8.2.1. Let b(x) = 1 on R". Then the minimization problem (8.1), with
Ω = R", is solvable.
Proof. This result has already been established in Proposition 4.11. Here we give a
different proof based on the concentration-compactness principle (Proposition 8.1.1).
Let {um} C W U ( R " ) be a minimizing sequence for problem (8.1) and we put vm =
ι
M^um. According to Lemma 8.2.1 relations (8.3) hold with Α//, λ replaced by Μλ.
Our aim is to show that {um} is up to a translation relatively compact in W , ' 2 (K").
Let 0 < r < (5 - and by (8.3) we may assume that G(vm) > r for all m.
=
Let {<2« }. (i ' Ί . · · · . '«) be the family of all cubes of the form {x g R"; ik < Xk <
ik + 1, k = 1 , . . . , n}, where ik are integers. We put
dm = m a x \\vm\\LP<Q ).
ieZ„
We claim that there exists a 8 > 0 such that dm > 8 for all m. Indeed, by (8.3) we have
lG(vm)+o(\) = f \vm\pdx = II
LP(Qi)
JV ieZ„
/tz„ JQi
= CdP-2lG(vm)+o( 1)
for some constant C > 0 independent of i. Since G(vm) > r > 0 for all m, we see
that there exists a 8 > 0 such that dm > 8 for all m. Therefore, for each m there exists
a cube ß;m such that
II ^m ΙΙζ,Ρ(β,πι) - 2'
This means that for each m there exists a point ym = >>,·« in R" whose coordinates are
integers such that
8 (8,4)
\\Vm\\LP(Qim) = I K ( - + >V)llz./'(ß0) - J '
Since {vm(• -f j m )} also satisfies relations (8.3), we see that {um(- + must be
bounded in
W 1>2 (R n ). Therefore, we can select a subsequence, relabelled again by
such that
vm(- + ym)^v inW1·2^")
and
vm(-+ym)-+v in Lf0C(M").
By (8.4) we have ||υ||{,ρ(β0) > that is, ν φ 0. We now put wm(·) = vm(- + ym) and
denote by «oo and βοο the quantities related to {wm} by Proposition 8.1.1. It follows
from Proposition 8.1.1 (c) that
ct00<Mf1. (8.6)
Let <j)R be a function defined in the proof of Proposition 8.1.1. Since G'(wm) -»· 0
in we see that (G'(w m ), wm(j)R) —• 0 as m —> oo uniformly for R > 1.
Hence we have that
o( 1) = (G'(w m ), wm<j)R)
Theorem 8.2.1 can be extended without any difficulty to periodic domains in M".
We say that Ω C M" is a periodic domain if there exists a partition {Qi} of Ω and
a sequence of points yi C M" such that
(i) {y,} forms a subgroup of R",
(ii) Qo is a bounded domain and ß , = Q0 + yit
Typical examples of periodic domains are: 1) Ωι = O x R J , where Ο is a bounded
domain in Rp and η = p + s, 2) Ω 2 = Κ", 3) {(λ, y) £ R 2 ; sinx < y < I + sin*}.
Corollary 8.2.1. Let b(x) = I on a periodic domain Ω C M". Then problem (8.1)
admits a solution.
Proof. Indeed, we have by Proposition 8.1.1 that 1 = fRn \u\p dx+aoo. Since u φ 0,
we must have that αοο < 1. On the other hand, since
1 1
( G \ u m M £ Z 1 ) , M p u m ) - + 0,
as m —»· oo, uniformly in R > 1, where 0/f are functions from the proof of Proposition
8.1.1, we get that Μχα^ = βοο• Therefore, by Proposition 8.1.1 (e) we have a^ > 1
and we have arrived at a contradiction. •
Corollary 8.2.2. Let Ω φ R" be a large-interior domain and let b{x) = 1 on Ω. Every
weakly convergent in ^01,2(Ω) minimizing sequence [um} for problem (8.1) has a weak
limit 0. If we extend every um by 0 outside Ω, then there exists a sequence } C R"
and a subsequence of {um}, relabelled again by {um}, such that um(- + ym) ^ u φ 0
in W 1 ' 2 ^ " ) and u is a solution of problem (8.1) on R".
Lemma 8.3.1. If{um} c W1,2(R") is a minimizing sequence for problem (8.1) such
that um —^ u φ 0 in W1'2(R"), then problem (8.1) has a solution.
1= f b(x)\u\p dx + ab>00.
J R"
1
2
Since {M£k um} satisfies (8.3), we easily derive that βoo = ocb,oo^b,x· By the defini-
tion of problem (8.1) we have
2
dm = maxMj ^J b{x)\um\pdxy
and show that dm > 8 for all m and some constant 8 > 0.
Arguing indirectly let us assume that α£ ι00 > 0. Thus setting vm(x) = um(x + ym)
we have for R > 0
1 =[ b(oo)\u(x)\p dx + a ^ . (8.8)
J R"
1
Since u φ 0, we have 1 > oo > 0. Using the fact that [Μζλ um} satisfies relations
(8.3) we get that
we see that
from which we deduce that lim sup^,^.^ M(ym) < Mb,\. Our claim will follow if we
can show that Mb,χ < M(ym) for each ym e Z„. Suppose that M{ym) < Mxj, for
some m. Then there exists zm e W 1 · 2 ® " ) such that
f b(x)\zm(x - ym)\pdx = 1
J R"
and
and this contradicts the definition of Mb,χ. Let <pR be a function from the proof of
Proposition 8.1.1. Then
p
Mb,k((Xb,oo) < βοο·
which combined with (8.8) gives α^,οο > 1 which is impossible. Therefore vm u in
p n 1,2
L (R ). The convergence of vm to u in W (R") follows from the following estimate
f
JR n
(|V(wm - vr)\2 + k(v m -vr) 2
)dx
= f (b(x + ym)\vm\p-2vm-b(x+yr)\vr\P-2vr)(vm-vr)dx
J w
in
ρ
P
< sup b ( f \vm\Pdx) + ( ( \vr\"dx) \Vm ~ Vr II LP + θ(1).
R" \J R" / \Jw /
•
Solutions obtained in Theorem 8.3.1 can be taken to be positive. This can be
justified by an argument in the paragraph following Corollary 8.2.1.
Proof. We may assume that b{x) > b(oo) on a set of positive measure on R", since
otherwise the result follows from Theorem 8.2.1. Let {um} be a minimizing sequence
for problem (8.1). It is easy to see that {um} is bounded in W 1 , 2 (R") and we may
assume that u^ —^ u in W 1 i 2 (R") ) um u in L^OR") and a.e. onR". First we show
that u φ 0. Arguing indirectly, we assume that u = 0 on R n . Let Oioo and βοο be
quantities related to {um} by (a) and (b) of Proposition 8.1.1. We write for each R > 0
1 = f b(x)\um(x)\p dx + f b(x)\um(x)\pdx.
J\x\<R J\x\>R
Since um -> 0 in L^ C (R"), we deduce from this identity, by letting m —• oo and then
R —• oo,that
1 = b(oo)aoo. (8.11)
ι
Since [ M ^ 2 u m ] satisfies relations (8.3), we have
(G\M£?um), M ^ u M 0
as m —>· oo uniformly in R > 1. This implies, letting m —> oo and R —>· oo, that
— -A
Mbp~2ß00 = a0üb(oo)Mg5.
By virtue of (8.11) we get βοο = Μ^χ. It follows from the definition of Μoo that
2
Since ιυ > 0 on K", / R n £?(oo)|u;(jc)|/' ^λ: = 1 and b(x) > b(oo) on a set of positive
I
—
measure on E" we get that Μ^χ < M ^ which contradicts (8.12). Obviously Μζχ u
is a solution of (8.2) and by the maximum principle u > 0 on R". We now show that
/r« \um\p dx fRn \u\p dx as m —• oo, which implies that um -> u in L p (M n ). To
prove this we must show that «oo = 0· Suppose that «oo > 0. As in the previous part
of the proof we have that
(G'(Mbp-k2um),Mbp-2um<f>R)-+ 0
A
βοοΚ'λ = c*oob(oo)Mbp-\
that is
ßoo = aoob(oo)M b ,k. (8.13)
On the other hand we have
2
This combined with (8.13), gives fc(oo)aoo > 1 and we have arrived at a contradiction.
•
T h e o r e m 8.3.3. Suppose that Y\m\x\-+oQb{x) = b(oo) > 0 and Mb,\ < Mqq, then
problem (8.1) admits a positive solution.
Obviously, assumption b{x) > b( oo) on M" with strict inequality on a set of positive
measure in K" guarantees Mb,\ < M w .
-Au + ku = \u\P~lu in Ω
(8.14)
u(x) = 0 on 3Ω,
Our aim is to show that any sequence {um} C such that lim m _^. 00 F(um) = c
and limm_>oo F'{um) = 0 in Ψ _ 1 ' 2 ( Ω ) either converges to its weak limit or differs
from its weak limit by a finite number of sequences which after suitable translations
converge to solutions of the problem
- A u + ku = \U\P~2U in I T
(8.15)
μ > 0 onl".
By Proposition 4.1.1 this problem has a positive solution ü which is spherically radially
symmetric, that is ü(x) = ü ( | j c | ) . It is also known that this solution is unique up to a
translation (see [146]) and moreover
SdjcDIxl^expljclc (8.16)
and
S ' d x D I j c l ^ e x p l x l ( 8 . 1 7 )
where c > 0.
In this and the next section we treat functions in W 0 '' 2 (ß) as functions in W 1 , 2 (R") by
extending them by 0 outside Ω. As in Section 8.3 we introduce constrained minimiza-
tion problems corresponding to (8.14) and (8.15)
and
1 1 ρ
for any other solution υ of problem (8.15). On the other hand if υ is a solution of (8.15),
then
I (|Vw| 2+kv2)dx=f n
\v\p dx. (8.18)
Jw JR
Letting w = n^" , we see that / R n \w\p dx = 1 and ||uj||2 > which combined
with (8.18) implies that
Proposition 8.4.1. Let {um} C ^ α 1 , 2 (Ω) be a sequence such that F{um) —c for
some e e l and F'(um) 0 in W _ 1 , 2 ( ß ) . Then there exist α nonnegative integer k,
sequences of points {yJm}, i = ... ,k, and sequences of functions {uJm} in
j = 0,... ,k, such that for some subsequence of {um}, relabelled again as {um}, we
have
(i) um(x) = u°m(x) + Yij=luJm(x-yjn y}m),
(ii) u^ —> u° as tn —> oo in
(iii) uJm —> u^ as m —>• oo in Wl-2(Rn), j = 1 k,
where u° is a solution of(8.14) and u·*, j = 1 , . . . , k, are solutions of (8.15). More-
over,
* 2
j=1
and
k
F(um)^ F(u°) + J2F*(uj).
j=ι
Ifum > 0 for all m, then uJ > 0, j = 0, . . . , k and due to the uniqueness of positive
solutions of problem (8.14) we may assume that «·' = Ü.
Proof. It is easy to show that the sequence {um} is bounded in W 0 1,2 (ß). So we may
assume that um u° in Ψ 0 1,2 (Ω) and in Δ ^ ( Ω ) , moreover um(x) u(x) a.e. on
Ω. Obviously, u° is a solution of (8.14). We now set
= um(x) - u°(x)
and
* > i ) = F\vl) + o( 1) = F'(um) - F V ) + o(l) = o ( l )
in If wi 0 in W u ( ] R n ) we are done, so we may assume that v^ 0
,,2 rt
in W (K ). We show that there exists a sequence {3^} c R" with -»· 00 such
] 1 1 2
that v m(x + y^) u φ 0 in W · ^ " ) . Since u ^ O w e see that
for all m and some constant a . We cover R" with cubes having vertices consisting of
integer coordinates and set
dm=m^\\\v]n\\LP{Qiy
As in the proof of Theorem 8.2.1 we show that there exists a constant γ > 0 such that
for all m. According to (8.20), for each dm we can find a cube QTm such that
11
"illLPiQ rm ) ^ that is,
II^U+>-rm)llLp(ßo) > J .
I\vJm II2 = IIν } - χ II2 - IIκ'" 1 II2 + o(l) = IIum II2 - \\u°\\2 - ] T ||«'' || 2 + o ( l )
i=1
and
By virtue of estimate (8.19) this iteration process must terminate after finitely many
steps k. If k = 0, we set u°m{x) = um(x). If k > 1, we set w* (x) = v^(x + y^) and
and for 1 < i < k
and
* 2
2 2 ;
ι ι ^ ι ι = ιι«Ίΐ + Ε ι ΐ " ι ι
j=ι
and
k
F(um) = F(u°) + £ W ) + o(l)
j=1
as m —> oo. •
Let ζ : R ->· R be a C 1 -function such that ζ(ί) = 0 for t < 1 and ζ{ί) = 1 for
t > 2 and set £(;c) = ζ ( w h e r e ρ is such that R n - Ω c 5 ( 0 , p). W e define a
mapping Φ ρ : R " W 1 · 2 ^ " ) , ρ > 0, by
Vy(x)
Φρ(>0 = *
H f (R n )
where
It is obvious that ΦρΟΟ is continuous in y for each ρ > 0. It is easy to show that
In what follows w e supress the subscript R " in || · ||r«. According to (8.21) there exists
ρ > 0 such that
for ρ < p. T o proceed further we define a vector valued functional β : W 1 , 2 ( M " ) —>
R " by
ß(u)= f u(x)x(\x\)xdx,
Jr"
where χ : R + R is a continuous nonincreasing function such that χ (t) = 1 for
0 < t < R and χ ( ί ) = f for t > R, where R > 0 is such that R " - Ω C B(0, R).
Let
B = {ueWy(Q); f \u\p dx = 1 and ß(u) = 0}.
Jn
L e m m a 8.5.1. Let cQ = i n f u € ß ||w||2. Then cQ > Μχ and moreover there exists R0,
with Ra > p, such that
(ii) (ß(*p(y)),y)>Ofor\y\>R0.
Proof. Comparing the definitions of c0 and Μχ w e easily see that ca > Μχ. T o show
the strict inequality, let us assume that c 0 = Μχ. Then there exists { u m } C ν ν ο ' · 2 ( Ω )
with properties: ||i>m||LP(n) = \,ß{vm) = 0and ||um||2 Μχ. B y Lemma 8.1.1, Μχ
is not attained. Therefore, the sequence {vm} is not relatively compact in νν ο 1 , 2 (Ω).
1
Setting um = vm, then by Lemma 8.2.1 w e see that
1 1 ρ
F(um) ( - - ~ ) μ Γ and F'(um) 0 in W " 1 · 2 ^.
Extending every um by zero outside Ω, we may assume that the above condition holds
in W r - 1 , 2 (R"). By Theorem 8.4.1 (ii), we can decompose {um} as
where« is a ground -state solution of (8.15) and wm -> Oin W 1,2 (lR n ) and |_ym| —• oo.
We set (R") m + = {x e W1, ( x , y m ) > 0} and (R B ) m _ = Mn - ( K n ) m ) + · For m
sufficiently large, we can find a ball B{y m ,r) c (^n)m + such that
and
ü ( x - y m ) < — forxe(Rn)m_
expflx - y m |)|* - ym\~T~
+ / "Ο -
J(ßn)m,-
ü(0)x(\x\)(x,ym)dx
> Ί
- 2 JE
B(ym,r)
- K R t Μ
J(ß")m,- expdx - ym\)\x - ym\V
> C > 0
for some constant C. Since wm —• 0 in Ψ 0 1,2 (Ω) and β is continuous, we see that
ß(um) φ 0 for m large, which is impossible. Hence c 0 > Μχ. Both assertions (i) and
(ii) follow from (8.22) and from the above estimate of ß(ü(x — ym)), ym) by taking Ra
sufficiently large. •
Proof. To show this, we define a homotopy Η joining ß(W) with I (identity map on
M") by
H ( t , W ) = t ß ( W ) + ( l - t ) I for 0 < ί < 1.
and the assertion follows from the homotopy invariance of the topological degree. We
now set
c = min max ||W(y)|| 2
y€B(0,Ro)
Ezl
and by Lemma 8.5.1 we see that M\ < c 0 < c < 2 Ρ Μχ and by (8.22)
sup \\W(y)\\2<c
yeS(0,Ko)
for R0 sufficiently large. On the other hand, in view of Proposition 8.4.1 we see that
the functional F(u) = ||«|| 2 restricted to {«; u e Η^· 2 (Ω), / Ω \u\p dx = 1} satisfies
the Palais-Smale condition for Μχ < c < Μχ. Invoking Theorem 7.4.4, we can
now state the existence result for problem (8.14). •
Theorem 8.5.1. Let xa € R". For every λ > 0 there exists ρ = ρ (λ) such that if
R w — Ω C B(x0, p), then problem (8.14) has at least one positive solution.
which was a consequence of Proposition 8.4.1. We now give a proof of this fact based
on Proposition 8.1.1 for the functional G defined in Section 8.2, with Ω = Mrt.
Proof. Using the argument from the proof of Theorem 8.2.1, we show that there exists
a sequence {ym} c Z„ such that u m (·) = um(· + ym) u φ 0 in W 1 , 2 (R"). First, we
show that if {yOT} is bounded, then [um] must be relatively compact in W 1 , 2 (R"). In
the second step of the proof we show that {_ym} must bounded. If {;ym} is bounded, we
(i - J;) ( / J V M ) ^ ) (8.25)
and we have arrived at a contradiction. We now proceed to show that the sequence
{y m } must be bounded. Suppose that {>*„,} is unbounded. We put
( I - j (|Vum|2 + λ ν ΐ ) dx + θ{ 1) = C = ( I - 1 ) J dx + O(l)
C=
~ G ~ (jL ,
where
ßoo = lim lim sup / (\Vvm\2 + λν^) dx.
R-yoo m_>oo J|jc|>/f
It is easy to check that μ is a solution of equation (8.2) on K " with b(x) = b{oo) and
hence
I (|Vw| 2 + ku2)dx = b(oo) I \u\p dx. (8.30)
J R" JR"
This combined with (8.29) gives ßoo < a b l 0 0 . It follows from the definition of Mb
that
M b X a b , o o ^ ß o o < OCb,oo.
that is,
M ^ < [ b(oo)\u\Pdx.
J R"
3
G(um)-+ce (o, ( i - i ) A f ^ ^
/ Pmk(x)dx >X-e
JB{yk,R)
(ii) (Vanishing)
(iii) (Dichotomy) There exists a G (0, λ) such that for all € > 0, there exists kQ > 1,
bounded sequences {«£} and {ufy in Wl-P($in) satisfying fork > k0
and
We briefly explain how Proposition 8.1.1 leads to Theorem 8.7.1. Let {um } be a
bounded sequence in W 1 · 2 ^ " ) such that
f 2η
0 < p = \um(x)\pdx, 2 < p <
J R" η — I
If (1) holds, then either lim i n f m ^ o o sup y e R n fB(y r^ \um(x)\p dx = 0 for all r > 0
p
or limm^-oo sup^gjjn fB^y r^ \um(x)\ dx > 0 for some r > 0. In the first case, by
Lions' lemma (Lemma 1.1 in [158], um 0 in for all ρ < q < 2*. In
the second case there exists a subsequence of {um}, relabelled again by {um}, and a
sequence {>>,„} c Μ such that um (· + )>»,) u φ 0 i n L p ( R w ) . In case (2) the sequence
{\um\p} is tight (compactness). Finally, in case (3) we introduce the Levy concentration
functions Qm (t) defined by
Each function Qm is increasing on [0, oo) and by Helly's selection theorem Q(t) —
oo Qm(t) is an increasing function on [0, oo). Since 0 < aoo < p, it is easy
to check that 0 < l i m ^ o o 0 ( 0 < P· This obviously leads to a dichotomy of the
sequence {um}.
lemma, we can distinguish the following three cases for a minimizing sequence {u m } C
W 1 , 2 ( M " ) of problem (8.1) with um u in and 1 = fRn b(x)\u\P dx+abt00
(1) oo = 0 and /R„ b(x)I u\p dx = 1. In this case problem (8.1) is solvable
(compactness).
(2) u = 0 and α^ ι00 = 1 (vanishing)
(3) /R„ b(x)\u\p dx > 0 and α^,οο > 0. This is not possible, because in this case
um u φ 0 in W l , 2 ( R " ) and by Lemma 8.3.1, problem (8.1) has a solution and
necessarily αί,,οο = 0.
The main difficulty encountered in the search for critical points of F stems from the fact
that W 0 1,2 (ß) is not compactly embedded in L2* (Q). Consequently, the (PS) condition
does not hold. We show that the (PS) condition only holds for some levels of F which
are controlled by the best Sobolev constant defined by
5 = inf{|| Μ II; u e ^ ( ß ) , ||u|| 2 . = 1}, (9.2)
We now describe the main ideas of the Brezis-Nirenberg's approach to prove as-
sertions (1), (2) and (3).
To establish the existence of solutions to problem (9.1) we consider the minimizing
problem
5λ= inf | | ν « | | 2 - λ | | « | | 2 , λ e R. (9.4)
ueW^lQ)
|u|2«=l
and the result will follow from Theorem 1.11.1. To show (9.5) we set
2 2
βλ(κ) = -
Il"ll2*
and
,\
U((X) =
Φ(χ)
ft
^2", € > 0,
„VU ,(X)
λ = V<i>(x) -r (η-2)φ(χ)χ—.
€
(€ + \χ\2)*Τ (€ + \X\2)?
Since φ(χ) = 1 in a neighbourhood of 0, we have
Φ(χ)2* , f φ(χ)2* 1 . f dx
Ja 2
Λ ϊ ( < + 1*1 )" Jn(e + l*l )
2 n
Λι (e + l*l 2 )"
== 00(\)+f
(1) + I — 7 = ^ + 0(1),
•/R" "
where
and we get (9.8) with = \\U\ and = 5. Finally, to show (9.9) we write
f \ue\2 dx = f — f
Ja /a («+ Iii2)""2 Λ; (f + l*l2)"~2
dx
fa (e + W 2 )*
If η > 5, we have
f dx f dx
2 2 =
Ja (e + W )"" L (ί + Ι*!2)"-2 + 0)
Γ dx Γ
f dx Γf dx
2 2
JB(0,R\) (e + l*l 2 ) 2 ~ Ja (e + l*l 2 ) 2 ~ J β ,(0,1(6 + |*| )
Ä2)
for some constants Äi > 0 and /?2 > 0. We now observe that
f dx ω
fR r3 , 1
/Jb(0,R)
7ΤΓΠΤα=
(c + 1*1Ψ 1 Jo (€ + r2)2= -a>\\oge\
T-—2^dr 2 + 0(\),
and we see that (9.5) holds for λ > 0. Applying Theorem 1.11.1 we get assertion (1).
A solution to (9.1) can be taken nonnegative, otherwise we can replace u by |«|. The
fact that u > 0 follows from the strong maximum principle.
In the case η = 3 and Ω = B(0, 1), we also consider u€ with φ radially symmetric
such that 0 ( 0 ) = 1,φ'(0) = 0 and φ( 1) = 0. In a similar manner we derive
II u e \ \ l = ^ + 0 ( € h , (9.11)
Μΐ = ω f l φ{τ)2άτ + 0 ( 6 3 ) (9.12)
Jo
for some constants K\ > 0 and K2 > 0 with S = where ω is the area of 3 ß ( 0 , 1).
Estimates (9.10), (9.11) and (9.12) can be used to show that
μ> + (9.14)
jeJ
and ^
Svf <μ}. (9.15)
where S is the best Sobolev constant and 8XJ are Dirac measures assigned to Xj. If
u = 0 and
f d ß < s ( f
J R" \J R" /
then J is a singleton and ν = γδΧο = S γ n μ for some γ > 0.
Proof We only consider the case ρ = 2. We follow the idea of the proof from [116].
First, we consider the case u = 0. For any φ e C ^ M " ) the Sobolev inequality gives
v(E) = J Όμ,νάμ
We also have
v(B(x,r)) 2* 2
/D/ " < (9.17)
ß(B(x,r))
whenever μ(Β(χ, r)) > 0. We observe that the set .4 = {x e R"; μ({χ}) > 0} must
be at most countable and Λ = {.*/}, j e J). Hence, we derive from (9.17) that
To get (9.13) and (9.14) we set vj = Dßv(xj)ßj, where μ] = μ({*;·}). If μ (Μ") <
5(v(R"))2 r , then μ(Κ") = S(v(R n ))2*. Applying the Holder inequality to (9.16) we
get ^ (
55 ( f \φ\2* 2
* < ß(Rn)Ln ( f \φ\2* άμ) 2* ,
\JR" / \JR" /
_ 2* 2
which implies that ν = S This allows us to write (9.16) as
The quantities i>oo and ßoo are well defined and satisfy
(iii) lim s u pm—too
m ^ o c / RJR"
„ \um\P* dx = l i m ^ o o / R n dv + Voo.
(iv) lim supm—>-oo \Dum \p dx = /R(1 dß + μοο and
m ^ DO / R „ JR"
4
(ν) < ßoo.
The proof of Theorem 9.3.1 is similar to that of Proposition 8.1.1 and is omitted.
We only note that (υ) is a consequence of the Sobolev inequality. Combining assertions
(9.13) and (9.14) of Theorem 9.2.1 with assertions (iii) and (iv) of Theorem 9.3.1 we
deduce that
(9.18)
and
(9.19)
As an application of Theorems 9.2.1 and 9.3.1 we show that the inf in (9.2), with
Q = M", is achieved. Let
The cutoff function 4>r from the proof of Proposition 8.1.1 will be used in the proof
of Theorem 9.3.2 and also on many other occasions throughout this chapter.
(9.20)
and
where
and
η
Proof It is clear that for each y e IR" and σ > 0, { u m ( : : ^ - ) a 2*} is also a
minimizing sequence for S. Changing variables we have
+ <ymyy
w, ,(·) = σ η um[ ).
V Orr, /
1
The sequence vm = S2*~2 wm is such that
1 _L_ f ο 1 η /I 1 \ η
2
Η * . ) = j i ' - » I \ D " » , \ d * - ^ - ( - - - ) j l
l i m {T'(vm), vm(f>R) = 0
m-y oo
where v>oo and μ ^ are quantities from Theorem 9.2.1 associated with the sequence
{ w m } . It follows from (iii) and (iv) of Theorem 9.2.1 that
1 == // dv + υ oo (9.22)
/ R"
Jw
and
S= I dß + ß oo. (9.23)
JW>
// R"
JW
άμ. = 5 ( 1 - i>oo). (9.24)
f dß = S I dv <S( I
JR" JW \J R" /
According to Theorem 9.2.1, ν must be a singleton, that is, there exist γ > 0 and
Xo e K n such that
v = y8Xo = S-lYnß. (9.25)
γ = 1- Voo = I dv
Jr"
and hence by (9.24) and (9.25) we have
(1-ν;00) = 5 ( 1 - υ 0 0 ) 5 - , ( 1 - ν 0 0 ) ^
v
Ρ = 1- Σ i ~
jeJ
2. J_
We always have μοο > Sv£, ßj > Svj* and
Therefore, we have
j^n\Du\2dx < S ^ l - ^ v f - v £ j
2_
2*
S
(1 ~ Σ v
i ~ v °°
jeJ
2
= Spi*.
that is,
Sp£ < f \Du\2dx
J R"
and we have arrived at a contradiction. •
We mention here that according to the results of [27] and [221] any positive critical
point of the functional Τ must be of the form
_n_ (X — y \
Uy<a(x)=U 2
It is easy to check that Μκ>γ = K(y) 2* S, where S is the best Sobolev constant and
by Theorem 9.3.2 Mfc,y is achieved. We now put M™ = inf^R« Μκ,γ. We always
have Μ κ < M f .
First we show that a concentration at infinity does not occur. Towards this end, we
assume that ^ > 0, then /sT(oo)voo < 1. Since
lim
Mk > f \Du\2 dx + s Y ^ v / .
5 > M^K(xk)^
MK > f \Du\2dx + M ^ T ( v k K ( x k ) ) n
-
JR" /
k&J
>-jJ'RR" \Du\ dx
n
2
+ M%>(\ - p ) ^ .
SO
Proposition 9.4.1. Suppose that lim|x|_>oo K { x ) = K(oo) > 0 and let {um} c
1,2 2
W (M") be a minimizing sequence f o r ( Μ κ ) such that um —- 0 in W'' (M") as
m o o . Then {um} cannot concentrate simultaneously at finite points and at infinity.
Proof. Let Vk > 0 for some k € J. We must show Uqo = 0. Suppose to the contrary
that i>oo > 0. Then we have
1 = Σ vkK(xk) + VooK(oo)
kzJ
we see that AT(oo)voo ^ 1 which is impossible. Let υ<χ> > 0 and suppose that v* > 0
for some k 6 J. This implies that
n—2
MK > M%>J2vkn~ Kixk)^ +K(oo)vooMK
keJ
1 = ^K(xk)vk + K(oo)v00
keJ
and we arrive at a contradiction. •
Theorem 9.4.1. Suppose that l i m ^ ^ o o K{x) = K{oo) > 0 and that Μ κ < Μ™.
Then problem (Μκ) admits a solution.
+ ν οο· (9.28)
k&J
ι ι
Since lim m ^.oo (F'(Mx~2 um), umM^~2 </>/?) = 0 uniformly in R > 1, we have
ßoo = Kioo^Mf^2,
If the inequality Μ κ < Μ ™ is not satisfied, then the argument o f Theorem 9.4.1
breaks down. In Proposition 9.4.2 we explain what can happen to minimizing sequences
which are not relatively compact in W 1 , 2 ( R " ) when the inequality Μ κ < does
not hold. According to Lemma 9.4.1 we may assume that um —^ 0 in
We denote by Μ κ the infimum in ( M r ) when K(x) = K{oo). Obviously, we have
MK = K(oo)~&S.
Proposition 9.4.2. Suppose that Ιππ^ι-χ» K(x) = K(oo) > 0 and let {um} c
W1-2(RB) be a minimizing sequence for (Μχ ).
(i) If Μ κ = < Μ κ and um — 0 in Wl'2(&n), then there exists a constant
vQ > 0 and x0 e M" such that
I Mm I2* v08Xo
in the sense of measure.
(ii) If Μ κ = Μκ < MK,y for each y e Rn and um ^ 0 in Wl-2(Rn), then {um}
concentrates only at infinity and Vqq = γζ^·
Μ κ = M k { K ( O O ) V o o ) * <Hoo = M K
which is impossible. Hence {um} can only concentrate at finite points and we have
mi K{y)~n-^S = MK - Z ^ V ^ "
y
keJ keJ
feey
Thus this is only possible when the set 7 is a singleton and the result follows.
(ii) We exclude the possibility of concentration of {um} at finite points. Assuming
that {u
m } concentrates at finite points, by Proposition 9.5.1 we must have Voo — /Xoo —
0. Hence K(OO)~£S = MK > > Sj2vk^·
k&J keJ
Since Μ κ < Μκ,γ for each j e R" implies K(oo) > K(y) for each y e R", we
deduce from the previous inequality that
k€J
1 =J2vkK(xk)
k€J
It is easy check that any solution u e D 1 , 2 ( R " ) of this equation changing sign satisfies
F{u) > , where JT7 is a functional introduced in the proof of Theorem 9.3.2. Using
these facts and techniques developed in Sections (9.3) and (9.4) we shall examine the
Palais-Smale condition on higher energy level of T .
and
F{um) c , {F'(um), um) ->· 0.
Proof First we show that a sequence {um} is bounded in W 0 I , 2 (ß). For sufficiently
large m we have
1 f * 1
- / \um\2* dx = Ek{um) - ~(E'k(um), um) < c+ ||um||
η JQ. 2
and
- I \Dum\2dx <c+l + 1- I u2mdx + 1— I \um\2*dx.
1
JQ JQ JQ
Taking e > 0 sufficiently small we derive from these inequalities the estimate
/
JQ
\Dum\2dx < Ci+C2\\um\
for some constants C\ > 0 and C2 > and the boundedness of {u m } readily follows.
Since {um} is bounded in ν^01,2(Ω) we may assume that um —- u in ν^ 0 '' 2 (Ω). The
function u satisfies
for every φ e W 0 1,2 (Q). By virtue of Theorem 9.2.1 there exist at most countable
sequence of points {jci , Χ2,...} C Ω and constants Vj > 0, j = 1, 2 , . . . , such that
\u m \ 2 * ^ v = \u\2* + J 2 v j 8 X j
j
and
\Dum\2-^ß> |Z>m|2 + 5 Y^vf SXj
j
in the sense of weak-* convergence. We show that the sequence [x\,x2,...} is finite.
Let ψ = « m 0 , where φ e ( ^ ( Ω ) . Since (E' k (u m ), ψ) = o ( l ) | | ^ | | , we obtain letting
m —• 00
Ι φάμ= Ι φάν + λ Ι ι^φάχ— I uD^uDiφdx. (9.33)
JQ JQ JQ JQ
Let φ& e Co(R n ) be such that φ&(χ) = 1 on B(xk, 8), φδ(χ) = 0 on R" - B(xk, 28)
and 0 < φ&(χ) < 1 on R". Substituting for φ = φ& in (9.33) and letting 8 0 we
get_/x ({**}) = If v({;c*}) > 0, then by (9.15) we have > S3. Since
ν(Ω) < oo, the sequence {jcj, JC2,...} must be finite, say .. .*/}. Let ψ e C 1 (Ω)
with ψ > 0, f { x j ) = 0 7 = 1 , . . . , / . Then
Hence \l/um —> ψιι in Ζ,2*(Ω). Finally, we observe that by (9.31) we have
To proceed further we recall the Pohozaev identity for unbounded domains. Let
β be a smooth unbounded domain in R". Suppose that u e W 0 1,2 (ß) satisfies the
equation
- Au = f(u) in Q, (9.34)
where / € C ! ( R , R). Let F(u) = f j f f(s)dx. If F(u) € Ll(Q), then
f \Du\2(x,v)dax = n f F ( u ) d x - ^ - f \Du\2dx.
4 JdQ JQ ί JQ
Lemma 9.5.2. Suppose that {um} C W01,2(Q) is such that um 0 in W01,2(Q) and
IfEoiu m) c and E'0{um) 0 in W 1,2 (Q), then there exist
1,2
sequences {xm} C Ω, Rm oo and {uim} C W 0 (fi) such that
η-2
Wm(x) = um(x) - Uo(Rm(x - x0)) + o(l),
I E 0 ( u m ) - E0(wm) - E*(u0)| 0,
and
E'0(wm) o, Rm dist(j: m , 9Ω) oo,
l"m|2* Σν18χ1' X
J €
^
j
with Vj > 0 for some j. In the contrary case um —> 0 in L (Ω) and this combined
with the fact that E'0(u
1,2
m ) —> 0 yields um —> 0 in W 0 (n) which is impossible. Let
Qm(r) be the Levy concentration functions defined by
ß m ( r ) = sup I (IDu m \ 2 + \um\2') dx.
*€Ω JB(x,r)
For each r e (0, small we can find Rm = /? m (t) > 0 and xm e Ω so that
We put
2-m ( X \
Üm(x) = RrrS "ml — + Xm)
\Km /
f o r * g Ωm = {x\ η?- + xm e Ω} and
"171
Obviously, we have
We show that for τ e ( 0 , 5 5 ) sufficiently small limm-^oo Rm (r) = oo. In the contrary
case for every e > 0 there exists a constant Μe > 0 such that Rm(€) < M€ and
where
φ*η{χ) = R^φ{Κη{χ - xm)).
and
|D(^iim)|2 - μ > \D(<pu0)\2 +
j
As in Lemma 5.1 we show that if vj = Vj([xj}) > 0 for some Xj G 5 ( 0 , R), then
vj > . Hence
— Alio = \u0\r~2u0 in R n + .
n—2
wm(x) = um(x) - u0(Rm(x - xm))a(Rm(x - xm))
and
wm(x) = üm(x) - H0(*)a( — ),
— η
where Rm = -J"·. It is easy to check that
"m
n—2
(E'0(um),4>)-{E'0(wm),4>)
= / (D«mD0 - DwmD<t>)dx - / (\um\r~2um - \wm\r~2wm) dx
Jn Jn
l 2
= J +J
1 2
Finally, using the fact that Um —• Wo in
£> loc (R") and Corollary A.7.1 we show that
limm-^oo J^
= 0, ι = 1,2, uniformly in φe B(0,1) and this completes the proof. •
We can now formulate the global compactness result for the functional χ. Ε
Brought to you by | Cornell University Library
Authenticated
Download Date | 7/9/17 3:13 AM
244 9 Concentration-compactness principle — critical case
Theorem 9.5.1. Let {um} be a sequence in W01,2(Q) satisfying (9.31). Then there exist
a subsequnce of{um}, denoted again by {um}, an integer k > 0, sequences of points
{xJm} C Ω andfunctions uj e D1'2(W), j = 1 , . . . , k, such thatum u in
Ium-u - Γ1)!^^-) o,
7=1
k
Ek(um) = Ek(u) + J2E 0 V),
j=1
and
E'0(vm) = Ε'λ(μη) + o( 1) = o(l) in ^ · 2 ( Ω )
as m ->· oo. If vm —>· 0 in W01,2(fl), the result follows with k = 0. If vm 0 in
Ψ01,2(Ω) we apply Lemma 9.5.2 a finite number of times.
a.e. on R". For example, if G = {/,—/}, then |G| = 2 and G-symmetric functions
12 ιο
are even functions. We denote by D c ' (W) the subspace of Dl-z(W) consisting of
all G-symmetric functions and its dual space by D^ 1 , 2 (M r t ), that is, D g 2 ( R n ) * =
ι9
Dg ' (R n ). Solutions of problem (9.31) will be found as critical points of a functional
F : £>^' 2 (R n ) ->· R given by
11 ίο
Proof. Since Dq (R rt ) is a closed subspace of a Hilbert space D 1 , Z (R"), we can write
V = VG + Vq,
with v G e D ^ 2 ( E " ) and ν£ e D ^ R " ) 1 . Since Z>^ 2 (R") is also a Hilbert space,
1 0
we can identify F {um ), through the duality, with an element in Dq (Rn) and hence
f
I VuVvdx- I n K\u\2*~2uvdx = 0
J R" jR
for all υ € D 1 - 2 (R").
12
To find conditions under which the Palais-Smale condition holds in Dq (R"), we
use Theorems 9.2.1 and 9.3.1.
1 2
Proposition 9.6.1. The (PS)C condition in £>G' ( R n ) holds for
1 2
Proof.
I 2Let {um} be a sequence in D c ' ( R " ) such that F(um) c and F'(um) -> 0
in DG ' ( R " ) with c satisfying (9.37). It is now routine to show that [um} is bounded
12 12
in Dq ( R " ) and we may assume that UM U in Dq ( R n ) . B y the concentration-
compactness principle II (Theorem 9.2.1) there exist measures μ and ν such that re-
lations (9.13), (9.14) and (9.15) hold. Let xk be a singular point of measures μ and ν
and let φ be C 1 -function such that0(jc) = 1 in B{xk, €), φ(χ) = 0 on R " - B{xk, 2e)
and | V 0 ( x ) | < ~ on R n . Using the fact that ( F ' ( u m ) , 0 w m ) 0 we derive that
This inequality says that the concentration of the measure ν cannot occur at points
where K(xk) < 0, that is, if K(xk) < 0, then vk = μ * = 0. Combining (9.38) with
W e now observe that um u in L2(R < |jc| < R + 1). Consequently, using the
Holder inequality we easily verify that
for some constant C j > 0. Finally, taking into account the definition of Voo and μ ^ ,
we easily deduce from (9.40) and (9.41) that μ < £+(oo)Voo. This, combined with
(9.39), implies that Uqq = 0 if K+(oo) = 0 ; otherwise either (iii) Voo = 0 or (iv)
η
ι>οο > ^ αγ+(oo)) 5 · n o w show that (ii) and (iv) cannot occur. For every continuous
nonnegative function ψ such that 0 < ψ(χ) < 1 on R " we have
1
> - lim sup I ifr(x)\Vu m \2dx.
Η m—>-OQ JwJw
If (ii) occurs, then the set J must be finite because the measure ν is bounded. Since
functions um are G-symmetric, the measure υ must be G-invariant. This means that if
Xk φ 0 is a singular point of u, so is gxk for each g e G and the mass of ν concentrated
at gxk is the same for each g e G. Assuming that (ii) holds for some k e J with
x k φ 0, we choose ψ with a compact support so that i / f ( g x k ) = 1 for each g e G and
we get
η
η η η
which is impossible. Similarly, if (ii) holds for χ* = 0, we choose ψ with a compact
support, so that ψ { 0 ) = 1 and we get
1 5 Ä 2_ sf , η
2*
c > - μ ο > -Vo 2 > — Λ Γ + (0) 2.
η η η
= / IM I 2 * dx
J R
( F ' ( u m ) - F ' { u ) , u m - u)
— I | V ( « m — u)\2 dx — I K(\um\2 ~ 2
u m — \u\2 ~ 2
u ) ( u m — u) d x .
Jw Jw
Using the fact that um —u in L 2 *(R"), we easily check by the Holder inequality that
the second integral on the right-hand side converges to 0 as m -> oo. Finally, since
lim m ^.oo(F'(M m ) — F'(u), um — u)= 0, we immediately deduce from the last identity
that um —>· μ in D 1 , 2 (R"). •
Proposition 9.6.2. If Κ+(0) = K+(oo) = 0 and |G| = oo, then the (PS)C condition
holds for every c.
To establish the existence result we use the extremal function (9.3), in the form
f V2'dx = S~T.
/
Jw
'r
ΚV2* dx > m a x { / r + (0), K+(oo), ||ΑΓ+||οο) > 0 (9-42)
12
for some a > 0. Then problem (9.36) has at least one positive solution in DQ (
Proof First, we choose a > 0 so that (9.42) is satisfied. It is clear that there exist
constants a > 0 and ρ > 0 such that F{u) > a for all ||u|| = p. An easy computation
shows that there exists t > 0 such that
12 72
t2" f
F(tVa) = -t - — / K(x)Va(x)2*dx = maxF(tVa)
Δ I J^n
>W t>0
and
We now choose t0 such that F(t0Va) < 0 and ||ί ο ν α || > ρ and set
where
Setting
- S i m i n { Ä " + ( 0 ) 1 _
5 ; K + ( o o ) l
~ % , |G|||tf+||Jo ! } ,
c < F ( t V a ) < c 0 .
If c < c0, according to Proposition 9.6.1 the (PS) C condition holds and the conclusion
follows from the mountain pass theorem. I f c = c 0 , t h e n y ( i ) = f f o V ^ w i t h O < t < 1,
is a path in Γ such that max / e [o,i] F ( y ( t ) ) = c . Therefore, either F ' ( t V ) = 0 and we a
are done, or γ can be deformed to a path γ e Γ with max ie [o, i] F(y (t)) < c and we get
a contradiction. This part of the proof shows that a nontrivial solution u0 e £>g(R") of
problem (9.36) exists. We now show that the solution u 0 can be chosen to be positive
on M". Obviously, we have F(u0) = F(|m 0 |)· Since
c = F(|«0|) = maxF(f|H0|).
f>0
F ' ( t \ u \ ) < 0, can be deformed, as in the first part of the proof, to a path y { t ) with
0 0
nonnegative on M" and the fact that u0 > 0 on R" follows from the Harnack inequality.
•
As an immediate consequence of this theorem we obtain:
or
K(oo) > max(^+(0), IGr^HAT+H«,)
one can deduce some existence results under additional conditions controlling the
behaviour of Κ for small |*| and large |jc|. For more details we refer to the paper [34],
[ Kvfdx>[ WKooiu^vfdx^iGr^WK+i^s-^,
J R" Jb<\x\<c
inequality (9.42) is satisfied. If |G| > 1, then lb,c < 1, provided b is small and c is
large, because
lim / V?*dx = S~^.
™ *b<\x\<c
MK.P = (J KMLUWDX)'.
Proposition 9.7.2. Suppose that Κ is continuous, bounded and positive almost every-
where G-symmetric function in R" with K{0) = K{oo) = 0 and |G| = oo. Then
dJ.' 2 (R") can be compactly embedded in L2* (R").
1 1
Proof If um —^ u in D c ' (R"), then it follows from the proof of Proposition 9.6.1
that a concentration of a measure ν can occur at 0 and oo. Consequently, um u in
Lr(r < \x\ < R) for all 0 < r < R. Since K(0) = K(oo) = 0 the result easily
follows. •
1 1
Since Dq (R") is compactly embedded in L (R"), the result follows from Theorem
1.2.2(ii) (seeconsider
Finally, also thethe
proof of Theorem
Dirichlet 1.9.1.
problem in an annulus Q = {jc; r < |x| < i?}, for
some 0 < r < R,
Au = K(x)\u\2*~2u in Q
(9.46)
u(x) = 0 on 9 ß .
Again, applying Proposition 9.7.1 and Theorem 1.2.2(ii), we readily obtain the follow-
ing existence result.
The above spaces equipped with the norms || · \\m p are called Sobolev spaces over Ω.
It is clear that W°<ρ = Wo,p = Ι Λ It is also known that Hm'P{Q) = W 1 · ^ ) for
every domain Ω. The spaces Wm'P(Q) and \ν™'ρ(Ω) are Banach spaces, these spaces
are reflexive if and only if 1 < ρ < oo. Moreover, Wk>2(Q.) and W*>2 (Ω) are Hilbert
spaces with scalar product
(u,v)= J2 f Dau{x)Dav{x)dx,
|α|<*
where D°u = u. Also, Wm'p(Q) and W o ' p ( £ i ) are separable for 1 < ρ < oo.
By W~m-P'(£l), with ρ' = 1 < ρ < oo (if ρ = 1, ρ ' = oo) we denote the
dual space of W™'p(£l) and we write
W~m'P'(Q) = (Wm'p(Q))*.
T(u)= Σ I Dauvadx,
|a|<m
whose partial derivatives Dau, with |or| = m, are Holder continuous with exponent
0 < β < 1.
For a bounded domain Ω, C m 'P{£l) becomes a Banach space with a norm
a a
\ D u { x ) - D u ( y ) \
Mlcm,= Σ IID-HU+ Σ sup
M<m |a|=m*/yeQ \ x - y \ P
i - i
Γ(1 + § ) Γ ( η )
ΓφΓ(1 + η - ρ
u ( x ) = +
\W\\PDk.p = Ε f \ D a
u ( x ) \ p
d x .
= f \ u { x ) \ « r { x ) d x < o o } ,
JW
where r is a nonnegative, φ Ο and measurable function on Κ " , and equipped with the
norm
\\uf.q = f \u(x)\«r(x)dx.
J R"
We denote by Q(x, I) the cube o f the form
Theorem A.3.1.
(i) Let η > p. Suppose that r € (Kn), with 1 < ρ < q < q-\-€ < ~~ for some
r q+t ι
€ > 0, and lim^i-Hxi Jq(x i)r(y) ( dy = 0 for some I > 0. Then ^^^(M") is
compactly embedded in Lf(Rn).
(ii) Let η = p. Suppose that r e L^R") for some s > 1 and
for some I > 0. Then W 1 ' p (IR") is compactly embedded in for each
1> P-
Proof Case (i) is a special case o f a slightly more general version o f a result due to
Berger and Schechter [32]. We follow the method from [168] to show (ii) and (iii).
Obviously, the proof o f (ii) and (iii), presented here, can also be used to prove (i). In
both cases it is suffices to show that for every S > 0 there exists R > 0 such that
l l / - / X ß ( 0 , Ä ) l l L ? <«5 (A.4)
for all / suchthat ||/|| < 1, where χ ρ is the characteristic function o f the cube. Indeed,
let ifm) be abounded sequence in W 1,p (lR n ). We assume that ||/m|| < l f o r a l l m > 1.
Consequently, we may assume that fm —>- / in
W ^ i R " ) and in view o f the Sobolev
compactess theorem there exists a subsequence o f { / m } , denoted again by { f m } , such
that fm ^ f in Lq (0, R)) in case (ii) and uniformly in β(Ό, R) in case (iii). On the
other hand by (A.4) we have
( f \fm-f\grdx)q <28.
\JR"-Q(O,R) /
for some constant C(q, n) > 0. Hence by the Holder inequality we have
j \f\<rdx< (f r
' d x
)' (fQlfl<iS'dxY iVcÜ>n>s')\\f\\qwi*{Qy
We now choose C(q,n, χ')η* < δ and add these inequalities over all Q(z, 1) outside
0 ( 0 , N) to obtain (A.4) with R = N. In case (iii) we use (A.3) to get JQT dx < η for
each Q = Q(z, 1) outside β ( 0 , Ν). We now repeat the previous argument using the
inequality ||/||/,«>((2) - C | | / | | w i , P ( ß ) , which holds for all / G W l p ( < 2 ) , w i t h ρ > n,
for some constant C > 0. •
Proposition A.3.1.
ϊ±ί
(i) Let ρ < n. Suppose that r € Z,,^ (R n ) for some p<q<q+€<
r G L'(M") and that
lim I rix)^ dx = 0
for some I > 0. Then W 1,p (lR") is compactly embedded into Lqr {W1) for each
1 <q < p.
(ii) Let ρ = n. Suppose that r £ Lf 0C (R") for some s > r e L 1 (R") and that
lim f r(y)sdy=0
kKoo Jq(xJ)
for some I > 0. Then W 1 " ( R " ) is compactly embedded in Lqr(ß.n) for each
1 < q < p.
(iii) Let ρ > n. Suppose that r e L[(R"). Then W 1 , / 7 (R n ) is compactly embedded in
Lqr{W) for each 1 < q < p.
for u e with ρ > n. Parts (i) and (ii) can be derived from Theorem A.3.1.
We only show (i). Let {um} be bounded sequence in W ^ ' ^ R " ) . By Theorem A.3.1(i)
we may assume that um —• u in Lqr (R"). Applying the Holder inequality we get
I ,
q
f \um-u\«rdx <( f \um -u\ rdxY ( f rd*V
J R" \J R" / \J R" /
To extend this result to the space Dl'p(M.n) we need the following estimate:
Let u € Wip(Q) and UQ = JQ U(X) dx, where β is a cube of volume 1, then
for some constant C > 0 for all ρ < r < (see [147]).
Theorem A.3.2. Let ρ < η and suppose that r satisfies (i) of Theorem A.3.1 and that
r € L ' ( R " ) . Then the space D 1 , p ( R " ) is compactly embedded in L?(R").
Proof. The proof is similar to that of Theorem A.3.1. It suffices to show that for
every S > 0 there exists R > 0 such that the inequality (A.4) holds for all / such that
\\Df\\LP < 1. Indeed, let {/ m } be a bounded sequence in Di p(R"). We may assume
that ||D/ m ||^i> < 1 for all m > 1. Since ρ < q + € < we may assume that
there exists / € D ' - ^ R " ) such that fm / in L « + C ( ß ( 0 , R)) and Dfm Df in
Lp(Q{0, R)). Thus
q t
9
f \fm-f\ rdx<([ I fn - f\q+e dx)'" ( f r ^ ^ V ^ .
J Q(0,R) νρ(Ο,Λ) / \JQ(0,R) /
On the other hand by (A.4) we have
Since fm
α R"-ß(0,«)
\fm- f\qrdx\
/
<28.
so that / R n_g(ο n) r ( y ) dy < η. If Q is any such cube we have by the Sobolev and
Holder inequalities that
(n-p)(q+e)
np q+e
q+€
f I f \ q + €
d x < ( J \ f \ — p d x ) < S ~ ρ \\Df\\YP
Q \ J Q
q
J \ f \ ' r d x < V - * [ f \ f ~ f Q \ r d x + j ( j \ f ( x ) \ d x y r ( y ) d y ]
'Q JQ \ J Q
, n χ ^ ε ΐ f
p
+ { J \ f \ ^ ~ d x j "" j r ( y ) d y
* *( J w r * ) ' { J 0 r *
+2q' ^ \ D f \ P d x y J r d x ,
where AT is a constant. We now add all these inequalities over Q(z, 1) outside Q(0, Ν)
to get
f \ f \ q
r d x < Κ η Τ * + 2 q
- x
S ~ 1
p f r ( x ) d x
j R n
- Q ( P , N ) J R Κ"-β(0,ΛΟ
< Κ η ^ + 2
1
_£
We now choose η so that Κ η ΐ + (
+ 2 q
5 ρ η < δ and this completes the proof. •
and
(b) fK I Fj (x) — F(x)\dx ->• 0 as j oo for any compact set Κ C R " .
Theorem A.4.1. Let Η : R " χ R m ->· R be a Caratheodory function such that for
any λ > 0 there exists a function αχ € L^Qc (Mn) such that \H(x, < αχ(χ) for a.e.
χ in R " and all < λ.
A «
( D ) (Condition of incomplete decay at infinity) For every compact set Κ C R " and
every € > 0 there is λ 0 € (0, oo) such that for every λ > λ σ there is j0 such that
f \H(Uj(x))\dx <6
JKn(\uj\>x)
Proof (i) Suppose that H(uj) -> H(u) in L ( R n ) . The condition (a) implies the
concentration condition (C).
To show condition (D) we choose a compact set Κ c R " , λ > 0 and observe that
+ f \H(x,Uj(x))~ H(x,u(x))\dx
JΚ
n = lf H{x,u{x))dx\<\
JKn<\u\>n
Ά:η(|Μ|>λ) j
for all λ > λ 0 and there exists j0 such that 12 < §6 11
for j > j0. Now, using (A.6), for a
fixed λ > λ 0 there exists j\ = ;'ι(λ) such that 13 < e| for j > j0(k). This shows that
(D) holds.
(ii) Suppose that (C) and (D) hold. The condition (C) gives (a) for H(uj). Since
H{x, Uj(x)) —• H{x, u(x)) a.e. on R", it is sufficient to show that for every compact
Κ cW1
lim f \H(x,ui(x))~ H(x,uk(x))\dx =0.
This follows from the following estimate
for all χ φ Q.
/
1 . 1
<—([ <p(y)2dyY([
\J\y\>r / V·'|y|>r /
To proceed further we need the following compactness result due to Strauss [218].
lim ^ = 0 (A.8)
M->°o Q{s)
Proof. We present here the proof due to Berestycki-Lions [30]. To show (A. 10), we
check that [P(um)} is uniformly integrable on B. It follows from (A.8) that
\P(um(x))\<C(\ + \Q(um(x))\) in R"
for some constant C > 0. We also have
I \P(um(x))-v(x)\dx <€
j Q x l < * o )
for all η > n 0 . Combining (A. 13) and (A.14) with the last inequality we get
/
Jw
ι R"
I P(um(x)) - υ (χ) I dx <€+ 2 eC
and use the fact that a bounded sequence in Hrl (R") is also bounded in L« 32 (R").
1
•
I I / * - * 1 l 2 < ll/-gll L 2.
we see that W€>n < ^ e { f ) + \h(f)\ and consequently W€ g Ζ,*(Ω). It then follows
from the dominated convergence theorem that lim„_*oo /Ω We,n(x) dß(x) = 0. To
complete the proof we observe that
where C€ =
1 η g . €(*-!)
α = 1 , . , β = τ—r- and γ =
1 + ke 1+ 1 +ke
Applying Theorem A.7.1 with h(t) = \t\p, 0 < ρ < oo, <pe(r) = \t\p and
\j/€(t) = C€\t\p we obtain the following improvement of Fatou's lemma.
Corollary A.7.1. Let 0 < ρ < oo and suppose that /„ / on Ω and that
{\\fn\\p} is bounded. Then
Hm {\\fn\\
«-+00
1
Pp-\\fn- f\\Pp) = \\f\\Pp.
'
and
y)| < e{x) (\y\p + \y\q) (A. 18)
for a.e. χ G R d and all y G R", for some 1 < ρ < q < oo and some functions d and
e in with s > q. We set
b(u)= / G( χ , u(x))dx.
JR"
It is obvious that C0°°(Rd, R n ) C D(b), where D(b) is a domain of b.
The proof of the following result is taken from the paper [48].
Proposition A . 8 . 1 . Let ( A . 17) and ( A . 18) hold. Then the functional b has a linear
continuous Gateaux derivative at every u e D{b) Π L^0C(M.d\ R N ) in all directions
ψ e C^iM^; R") given by
Proof. Let us fix u G D(b) Π Lqloc(Rd; R") and φ G C f (R^; R"). We define the
following sets
M0 = (u φ 0) (Ί {ψ φ 0),
Mt = Mo η (μ + ίφ Φ 0) for |ί| < 1.
Letting xt = χμ, for |ί| < 1, we see that l i m ^ o χ( = χ0 in the sense of pointwise
convergence. We have the following decomposition
1
= Xm-'(O) + XM 0 -M R +Xt + X,
+ Xt [g(m + ^)-G(m)].
where g is the Nemytsky operator associated with g. Let Κ = supp φ, it then follows
from (A. 17) and the Holder inequality that
for r = ρ, r = q and |r| < 1, the estimate similar to (A.21) also applies to
||gx(w + ίτφ) · φ\\χ and this shows that
and hence
t / [g(u + ίτφ) - £(«)] · φ ά χ = ο(ί).
Juä
+ / d Xtg{")
Xtg(u) -<pdx
-(pdx ++ tt // d Xt[g(u + ίτφ) - g(u)] · φάχ
JR JU
= * Id Xtg(u)-(pdx+o(t).
Ju
This implies that
According to estimate (A.20) φ -> /Rd g(u) -<pdx isa. linear continuous functional on
C™(Rd·, M") with respect to sup norm and this completes the proof. •
[1] Adams, R. Α., Sobolev spaces, Academic Press, New York 1975.
[5] , Some remarks on Sobolev type inequalities, Calc. Var. Partial Differ-
ential Equations 2 (1994), 427-442.
[6] Alama, S., and Yan Yan Li, Existence of solutions for semilinear elliptic equa-
tions with indefinite linear part, J. Differential Equations 96 (1992), 89-115.
[7] Alama, S., and G. Tarantello, On semilinear elliptic equations with indefinite
nonlinearities, Calc. Var. Partial Differential Equations 1 (1993), 439-475.
[8] Ambrosetti, Α., and M. Badiale, The dual variational principle and elliptic equa-
tions with discontinuous nonlinearities, J. Math. Anal. Appl. 140 (1989), 363-
373.
[9] Ambrosetti, Α., and G. Prodi, A primer of nonlinear analysis, Cambridge Uni-
versity Press, 1993.
[10] Ambrosetti, Α., and P. Rabinowitz, Dual variational methods in critical point
theory and applications, J. Differential Equations 14 (1973), 349-381.
[11] Ambrosetti, Α., and P. N. Spikanth, Superlinear elliptic problems and the dual
principle in critical point theory, J. Math. Phys. Sei. 18 (1989), 363-373.
[12] Ambrosetti, Α., and M. Struwe, A note on the problem —Δu = ku + u\u\2*~2,
Manuscripta Math. 54 (1986), 373-379.
[15] Arcoya, D., and L. Boccardo, A min-max theorem for multiple integrals of the
calculus of variations and applications, AttiAccad. Naz. Lincei CI. Sei. Fis. Mat.
Natur. Rend. Lincei (9) Mat. Appl. 6 (1995), 29-35.
[16] Azorero, J. P. Garcia, and I. Peral Alonso, Existence and nonuniqueness for the
p-Laplacian; nonlinear eigenvalues, Comm. Partial Differential Equations 12
(1987), 1387-1430.
[22] Badiale, M., and G. Citti, Concentration compactness principle and quasilinear
elliptic equations in R", Comm. Partial Differential Equations 16 (1991), 1795—
1818.
[23] Bahri, Α., Critical points at infinity in some variational problems, Pitman Res.
Notes Math. Ser. 182, Longman Sei. Tech., Harlow 1989.
[24] Bahri, Α., and J. M. Coron, On a nonlinear elliptic equation involving the critical
Sobolev exponent, the effect of the topology of the domain, Comm. Pure Appl.
Math. 41 (1988), 253-294.
[25] Bahri, Α., and Yan Yan Li, On a min-max procedure for the existence of a positive
solution for certain scalar field equations in M.N, Rev. Mat. Iberoamericana 6
(1990), 1-15.
[26] Bartsch, Τ., and Μ. Willem, Infinitely many radial solutions of semilinear elliptic
problem in RN ,Arch. Rational Mech. Anal. 124 (1993), 261-276.
[27] Benci, V., and G. Cerami, Positive solutions of some nonlinear elliptic problems
in exterior domains, Arch. Rational Mech. Anal. 99 (1987), 282-300.
[29] Ben-Naoum, Α. Κ., C. Troestler, and Μ. Willem, Extrema problems with critical
Sobolev exponents on unbounded domains, Nonlinear Anal. 26 (1996), 823-
833.
[30] Berestycki, H., and P.-L. Lions, Nonlinear scalar field equations, I, Existence of
ground state, II, Existence of infinitely many solutions, Arch. Rational Mech.
Anal. 82 (1983), 313-345; 347-375.
[31] Berger, M. S., Nonlinearity andfunctional analysis, Academic Press, New York
1978.
[32] Berger, M. S., and M. Schechter, Embedding theorems and quasi-linear elliptic
boundary value problems for unbounded domains, Trans. Amer. Math. Soc. 172
(1972), 261-278.
[33] Bernis, F., and H. Ch. Grunau, Critical exponents and multiple critical dimen-
sions for polyharmonic operators, J. Differential Equations 117 (1995), 4 6 9 -
486.
[35] Binding, P. Α., and Yin Xi Huang, The principal eigencurve for the p-Laplacian,
Differential Integral Equations 8 (1995), 405^4-14.
[37] Brezis, H., Elliptic equations with limiting Sobolev exponents—the impact of
topology, Proc. Sympos. 50th Anniversary of the Courant Insitute, Comm. Pure
Appl. Math. 39 (1986), S17-S39.
[38] , Points critiques dans les problemes variationnels sans compacite, Sem.
Bourbaki, Vol. 1987/88. Asterisque 161-162 (1988), Exp. No. 698, 239-256.
[39] Brezis, H., and F. Browder, A general ordering principle in nonlinear functional
analysis, Adv. Math. 21 (1976), 355-364.
[40] Brezis, H., and E. H. Lieb, A relation between pointwise convergence of func-
tions and convergence of functionals, Proc. Amer. Math. Soc. 88 (1983), 486-
490.
[41] , Minimum action solutions of some vector field equations, Comm. Math.
Phys. 96(1984), 97-113.
[42] Brezis, H., and L. Nirenberg, Positive solutions of nonlinear elliptic equations
involving critical Sobolev exponents, Comm. Pure Appl. Math. 36 (1983), 437-
477.
[43] , A minimization problem with critical exponent and nonzero data, Sym-
metry in nature, a volume in honour of Luigi A. Radicati di Brozolo on his 70th
birthday, Symposium, Scuola Normale Superiore, Pisa, Italy, 11 October 1989,
129-140, Pisa 1989.
[44] Remarks in finding critical points, Comm. Pure Appl. Math. 44 (1991),
939-963.
[45] Browder, F. E., Non linear eigenvalue problems and Galerkin approximations,
Bull. Amer. Math. Soc. 74 (1968), 651-656.
[48] Brüning, Ε., On the variational approach to semilinear elliptic equations with
scale-covariance, J. Differential Equations 83 (1990), 109-144.
[49] Buffoni, B., and L. Jeanjean, Minimax characterization of solutions for semi-
linear elliptic equation with lack of compactness, Ann. Inst. H. Poincare Anal.
Non Lineaire 10 (1993), 377^04.
[51] Caklovic, L., Shu Jie Li, and M. Willem, A note on Palais-Smale condition and
coercivity, Differential Integral Equations 3 (1990), 799-800.
[52] Candela, A. M., Remarks on the number of positive solutions for a class of
nonlinear elliptic problems, Differential Integral Equations 5 (1992), 553-560.
[53] Cao, Dao Min, Yamabe problem in R n and related problems, Acta Math. Sei.
(English Ed.) 10 (1990), 201-216.
[54] , Bifurcation for quasilinear elliptic systems on R" with natural growth
conditions, J. London Math. Soc. (2) 44 (1991), 514-524.
[56] Cao, Dao Min, Gong Bao Li, and Shu Sen Yan, Bifurcation for quasilinear elliptic
equations on with natural growth conditions, Proc. Roy. Soc. Edinburgh Sect.
A 113 (1989), 215-228.
[57] Cao, Dao Min, and Xi Ping Zhu, The concentration-compactness principle in
nonlinear elliptic equations, Acta Mat. Sei. (English Ed.) 9 (1989), 307-328.
[58] Capozzi, Α., D. Fortunata, and G. Palmieri, An existence result for nonlinear
elliptic problems involving critical Sobolev exponent, Ann. Inst. H. Poincare
Anal. Νon Lineaire 2 (1985), 4 6 3 ^ 7 0 .
[59] Capozzi, Α., and G. Palmieri, Multiplicity results for nonlinear elliptic equations
involving critical Sobolev exponent, Proc. Roy. Soc. Edinburgh Sect. A 103
(1986), 275-285.
[60] Castro, R., and M. Zuluaga, Existence results for a class of nonhomogeneous
elliptic equations with critical Sobolev exponent, Note Mat. 13(1993), 269-276.
[61] Cerami, G., D. Fortunato, and M. Struwe, Bifurcation and multiplicity results
for non linear elliptic problems involving critical Sobolev exponents, Ann. Inst.
H. Poincare Anal. Non Lineaire 1 (1984), 341-350.
[62] Cerami, G., and D. Passaseo, Existence and multiplicity of positive solutions for
nonlinear elliptic problems in exterior domains with "rich" topology, Nonlinear
Anal. 18(1992), 109-119.
[63] , Existence and multiplicity results for semilinear elliptic Dirichlet prob-
lems in exterior domains, Nonlinear Anal. 24 (1995), 1533-1547.
[64] Cerami, G., S. Solimini, and M. Struwe, Some existence results for superlinear
elliptic boundary value problems involving critical exponents, J. Fund. Anal.
69 (1986), 289-306.
[65] Chabrowski, J., On entire solutions of the p-Laplacian, Proc. Centre Math. Appl.
Austral. Nat. Univ. 26 (1991), 27-61.
[72] Chang, Κ. C., The obstacle problem and partial differential equations with dis-
continuous nonlinearities, Comm. Pure Appl. Math. 33 (1980), 117-146.
[74] , Free boundary problems and the set valued mappings, J. Differential
Equations 49 (1983), 1-28.
[75] Chow, S. N., and J. K. Hale, Methods of bifurcation theory, Grundlehren Math.
Wiss. 251, Springer-Verlag, New York-Heidelberg-Berlin 1988.
[76] Chiappinelli, R., On the eigenvalues and the spectrum for a class of semilinear
elliptic operators, Boll. Un. Mat. Ital. Β (6) 4 (1985), 867-882.
[77] , On spectral asymptotics and bifurcation for elliptic operators with su-
perlinear term, Nonlinear Anal. 13 (1987), 871-878.
[80] Choulli, M., R. Deville, and A. Rhandi, A general mountain pass principle for
non differentiable functionals, Rev. Mat. Apl. 13 (1992), 45-58.
[81 ] Citti, G., Positive solutions for a quasilinear degenerate elliptic equations in Μ",
Rend. Circ. Mat. Palermo (2) 35 (1986), 364-375.
[85] Clarke, F. H., Optimization and nonsmooth analysis, Les publications CRM,
Universite de Montreal, 1989.
[86] Coffman, Ch. V., A minimum-maximum principle for a class of non-linear in-
tegral equations, J. Anal. Math. 22 (1969), 3 9 2 ^ 1 9 .
[87] Coleman, S., V. Glaser, and A. Martin, Action minima among solutions to class
of Euclidean scalar field equations, Comm. Math. Phys. 58 (1978), 211-221.
[88] Coron, J. M., Topologie et case limite des injections de Sobolev, C. R. Acad.
Sei. Paris Ser. I Math. 299 (1984), 209-212.
[90] Costa, D., and G. Liao, Existence and multiplicity results for a class of elliptic
problems with critical Sobolev exponents, Rocky Mountain J. Math. 21 (1991),
1027-1223.
[91] Costa, D., and E. A. de Β. e Silva, The Palais-Smale condition versus coercivity,
Nonlinear Anal. 16 (1991), 371-381.
[92] Dacorogna, B., Direct methods in the calculus of variations, Appl. Math. Sei.
78, Springer-Verlag, Berlin-Heidelberg-New York 1989.
[93] Danes, J., Equivalence of some geometric and related results of nonlinear func-
tional analysis, Comment. Math. Univ. Carolin. 26 (1985), 443-454.
[94] Degiovanni, M., and M. Marzocchi, A critical point theory for nonsmooth func-
tionals, preprint Quaderni Sem. Mat. Brescia 11 (1991).
[97] Deng, Yin Bing, Huan Song Zhou, and Xi Ping Zhu, On the existence and
Lp(Rn) bifurcation for the semilinear elliptic equation, J. Math. Anal. Appl.
154(1991), 116-133.
[98] Deville, R., G. Godefroy, and V. Zizler, A smooth variational principle with
applications to Hamilton-Jacobi equations in infinite dimensions, J. Funct. Anal.
I l l (1993), 197-212.
[100] Di Benedetto, E., C 1 ·" local regularity of weak solutions of degenerate elliptic
equations, Nonlinear Anal. 7 (1983), 827-850.
[101] Ding, Wei Yue, and Wei-Ming Ni, On the existence of positive entire solutions of
a semilinear elliptic equation, Arch. Rational Mech. Anal. 91 (1986), 283-308.
[ 102] Ding, Xia Xi, and Yi Ding, The concentration-compactness principle and inverse
power method, Acta Math. Sei. (English Ed.) 10 (1990), 383-395.
[103] Ding, Yan Sheng, and Shu Jie Li, Some existence results of solutions for the
semilinear elliptic equations on RN, J. Differential Equations 119 (1995), 401-
425.
[ 104] Eastham, M. S. P., The spectral theory of periodic differential equations, Scotti sh
Academy Press, Edinburgh 1973.
[106] Edmunds, D. E., D. Fortunato, and E. Jannelli, Critical exponents, critical di-
mensions and the biharmonic operator, Arch. Rational Mech. Anal. 112 (1990),
269-289.
[107] Egnell, H., Semilinear elliptic equations involving critical Sobolev exponents,
Arch. Rational Mech. Anal. 104 (1988), 27-56.
[109] Ekeland, I., On the variational principle, J. Math. Anal. Appl. 47 (1974), 324-
353.
[110] , Non convex minimization problems, Bull. Amer. Math. Soc. (1979),
443—473.
[111] Ekeland, I., and A. Szulkin, Minimax results of Lustemik-Schnirelman type and
applications, Sem. Math. Superieures, Les Presses de l'Universite de Montreal,
1989.
[112] Escobar, J. F., Positive solutions for some semilinear elliptic equations with
critical Sobolev exponent, Comm. Pure Appl. Math. 40 (1987), 627-657.
[113] Escobar, J. F., and R. Shoen, Conformal metrics with prescribed scalar curvature,
Invent. Math. 86 (1986), 243-254.
[114] Esteban, M. J., and P. L. Lions, Existence and non-existence results for nonlinear
elliptic problems in unbounded domains, Proc. Roy. Edinburgh Soc. Sect. A 93
(1982), 1-14.
[116] Evans, L. C., Weak convergence methods for nonlinear partial differential equa-
tions, CBMS Regional Conf. Ser. in Math. 74, Amer. Math. Soc., Providence
1990.
[118] Fournier, G., and M. Willem, The mountain circle theorem, in Delay Differential
Equations and Dynamical Systems, Proc. Conf. Claremont, Jan. 13-16,1990, ed.
S. Busenberg and M. Martelli, 147-160, Lecture Notes Math. 1475, Springer-
Verlag, New York 1991.
[121] Fucik, S., J. Necas, J. Soucek, and V. Soucek, Spectral Analysis of Nonlinear
Operators, Lecture Notes Math. 346, Springer-Verlag, Berlin-Heidelberg-New
York 1973.
[122] G?ba, L., and T. Pruszko, Some applications of minimax and topological degree
to the study of the Dirichlet problem for elliptic partial differential equations,
Ann. Polon. Math. 66 (1991), 49-61.
[123] Georgiev, P. G., The strong Ekeland variational principle, the strong drop theo-
rem and applications, J. Math. Anal. Appl. 131 (1988), 1-21.
[ 124] Ghoussoub, N., Duality and perturbation methods in critical point theory, Cam-
bridge Tracts in Math. 107, Cambridge University Press, Cambridge 1993.
[ 125] Ghoussoub, N., and D. Preiss, A general mountain pass principle for locating and
classifying critical points, Ann. Inst. H. Poincare Anal. Νon Lineaire 6 (1989),
321-330.
[126] Giaquinta, M., Multiple integrals in the calculus of variations and nonlinear
elliptic systems, Princeton University Press, Princeton, New Jersey 1983.
[ 127] Gidas, Β., Wei-Ming Ni, and L. Nirenberg, Symmetry and related properties via
the maximum principle, Comm. Math. Phys. 68 (1978), 209-243.
[128] Glowinski, R., and A. Marrocco, Sur Γ approximation, par elements fini d'ordre
un, et la resolution, par penalisation-dualite, d'une classe de problemes de
Dirichlet non lineaires, RAIRO Anal. Numer. 9 (1975), 41-76.
[ 129] Goeleven, D., A note on Palais-Smale condition in the sense of Szulkin, Differ-
ential Integral Equations 6 (1993), 1042-1043.
[130] Grossi, Massimo, Multiplicity results for semilinear elliptic equations with lack
of compactness, Differential Integral Equations 6 (1993), 807-823.
[132] Guedda, M., and L. Veron, Quasilinear elliptic equations involving critical
Sobolev exponents, Nonlinear Anal. 13 (1989), 879-902.
[135] Heinz, H. P., Lacunary bifurcation for operator equations and nonlinear boundary
value problems on RN, Proc. Roy. Soe. Edinburgh Sect. Λ 118 (1991), 237-270.
[136] Il'yasov, Ya. Sh., An approximation to "ground state solution" for the equation
— Δ = g(u) in RN+\ Differential Equations 30 (1994), 570-579.
[137] Jeanjean, L., Solutions in spectral gaps for a nonlinear equation of Schrödinger
type, J. Differential Equations 112 (1994), 53-80.
[138] Kabaya, Y., On some quasilinear elliptic problems involving critical Sobolev
exponents, Funkcial. Ekvac. 36 (1993), 385-404.
[139] Kazdan, J., and F. Warner, Remarks on some quasilinear elliptic equations,
Comm. Pure Appl. Math. 28 (1975), 567-597.
[141] Kratochvil, Α., and J. Necas, Gradient methods for the construction of
Ljusternik-Schnirelman critical values, RAIRO Anal. Numer. 14 (1980), 43-54.
[144] , Bifurcation into gaps in the essential spectrum, J. reine angew. Math.
409(1990), 1-34.
[145] Kuzin, I. Α., Solvability of some elliptic problems with a critical exponent of
nonlinearity, Math. USSR-Sb. 68 (1991), 339-349.
[147] Ladyzhenskaya, Ο. Α., and O.A. Ural'ceva, Linear and quasilinear elliptic equa-
tions, Academic Press, New York 1968.
[148] Lee, J., and T. Parker, The Yamabe problem, Bull. Amer. Math. Soc. 17 (1987),
37-91.
[151] Li, Gong Bao, and Shu Sen Yan, Eigenvalue problems for quasilinear elliptic
equations on RN, Comm. Partial Differential Equations 14 (1989), 1291-1314.
[153] Li, Yi, Remarks on a semilinear elliptic equation on R", J. Differential Equations
74(1988), 34-49.
[154] Lien, Weng Ching, Shyuh Yaur Tzeng, and Huai Ch'iian Wang, Existence of
solutions of semilinear elliptic problems in unbounded domains, Differential
Integral Equations 6 (1993), 1281-1298.
[156] Lions, J. L., Quelques methodes de resolution des problemes aux limites non-
lineaires, Dunod, Gauthier-Villars, Paris 1969.
[157] Lions, P. L., Symetrie et compacite dans les espaces de Sobolev, J. Funct. Anal.
49 (1982), 315-334.
[160] Lions, P. L., F. Pacella, and M. Tricarico, Best constants in Sobolev inequalities
for functions vanishing on some part of the boundary and related questions,
Indiana Univ. Math. J. 37 (1988), 301-324.
[161] Marano, S.A., Existence theorems for semilinear elliptic boundary value prob-
lems, Ann. Polon. Math. 60 (1994), 57-67.
[162] Marchi, V., and F. Pacella, On the existence of nodal solutions of the equa-
tion —Au = \u\2*u with Dirichlet boundary conditions, Differential Integral
Equations 6 (1993), 849-862.
[164] Mawhin, J., and M. Willem, Critical point theory and Hamiltonian systems,
Appl. Math. Sei. 74, Springer-Verlag, New York-Berlin-Heidelberg 1989.
[167] Moser, J., A sharp form of an inequality by N. Trudinger, Indiana Univ. Math.
J. 11 (1971), 1077-1092.
[169] Necas, J., An approximate method of finding critical points of even functionals,
Proc. Steklov Inst. Math. 134 (1975), 267-272.
[172] Nirenberg, L., Variational and topological methods in nonlinear problems, Bull.
Amer. Math. Soc. (N.S.) 4 (1981), 267-302.
[173] Noussair, E. S., Ch. A. Swanson, and Jian Fu Yang, Critical semilinear bihar-
monic equations, Proc. Roy. Soc. Edinburgh Sect. A 121 (1992), 139-148.
[174] Palais, R. S., and S. Smale, A generalized Morse theory, Bull. Amer. Math. Soc.
70(1964), 165-171.
[176] Penot, J. P., The drop theorem, the petal theorem and Ekeland's variational
principle, Nonlinear Anal. 10 (1986), 811-822.
[177] Phelps, R., Convex functions, monotone operators and differentiability, 2nd ed.,
Lecture Notes in Math. 1364, Springer-Verlag, Berlin 1993.
[180] Pucci, P., and J. Serrin, Extensions of the mountain pass theorem, J. Fund.
Analysis 59 (1984), 185-210.
[182] , The structure of the critical set in the mountain pass theorem, Trans.
Amer. Math. Soc. 299 (1987), 142-129.
[ 184] Rabinowitz, P., Some aspects of nonlinear eigenvalue problems, Rocky Mountain
J. Math. 3 (1973), 161-202.
[ 186] Reed, M., and B. Simon, Methods of Modern Mathematical Physics, Academic
Press, New York 1978.
[ 187] Ribarska, Ν. K., Ts. Y. Tsachev, and Μ. I. Krastanov, On the generalized moun-
tain pass principle of Ghoussoub-Preiss, Math. Balkanica 4 (1991), 348-353.
[188] Rother, W., Bifurcation of nonlinear elliptic equations on RN, Bull. London
Math. Soc. 21 (1989), 567-572.
[191] , Existence and bifurcation for a class of nonlinear boundary value prob-
lems in (0, oo), Comment. Math. Univ. Carolin. 32 (1991), 297-305.
[ 193] Ruppen, Hans-Jörg, The existence of infinitely many bifurcating branches, Proc.
Roy. Soc. Edinburgh Sect. A 101 (1985), 307-320.
[194] Schechter, M., The Hampwile theorem for nonlinear eigenvalues, Duke Math.
J. 59 (1989), 325-335.
[ 199] Schechter, M., and K. Tintarev, Spherical maxima in Hilbert space and semilinear
elliptic eigenvalue problems, Differential Integral Equations 3 (1990), 889-899.
[203] Schwartz, J. T., Nonlinearfunctional analysis, Gordon and Breach Science Pub-
lishers, New York-London-Paris 1953.
[204] Shafrir, I., A deformation lemma, C. R. Acad. Sei. Paris Ser. I Math. 313 (1994),
599-602.
[205] Shen, Yao Tian, and Shu Sen Yan, Existence and boundedness of a minimizer
for a constrained minimization problem on R" with limiting exponent, Proc.
Roy. Soc. Edinburgh Sect. A 122 (1992), 221-235.
[206] Shi, Shu Zhong, Ekeland's variational principle and the mountain pass lemma,
Acta Math. Sinica (N.S.) 1 (1985), 348-355.
[207] Shibata, T., Asymptotic properties of variational eigenvalues for semilinear el-
liptic operators, Boll. Un. Mat. Ital. Β (7) 2 (1988), 4 1 1 ^ 2 5 .
[208] , The relationship between variational eigenvalues and its critical values
for semilinear Sturm-Liouville problems, Boll. Un. Mat. Ital. Β (7) 5 (1991),
315-325.
[209] Simon, B. Schrödinger semigroups, Bull. Amer. Math. Soc. (N.S.) 7 (1982),
447-526.
[210] Simon, J., Regularite de la solution d'un probleme aux limites non lineaires,
Ann. Fac. Sei. Toulouse Math. 3 (1981), 247-274.
[213] , A global compactness result for elliptic boundary values problems in-
volving limiting nonlinearities, Math. Z. 187 (1984), 511-517.
[215] Stuart, C. Α., Bifurcation in Lp(M.N) for a semilinear elliptic equation, Proc.
London Math. Soc. (3) 57 (1988), 511-541.
[217] , Bifurcation for the essential spectrum, in Equadiff 82, Internat. Conf.
Würzburg, August 23-28, 1982, ed. H. W. Knobloch and K. Schmitt, 573-596,
Lecture Notes in Math. 1017, Springer-Verlag, Berlin 1983.
[218] Strauss, W. Α., Existence of solitary waves in higher dimensions, Comm. Math.
Phys. 55 (1977), 149-162.
[219] Swanson, Ch. Α., The best Sobolev constant, Appl. Anal. 47 (1992), 227-239.
[220] Szulkin, Α., Minimax principles for lower semicontinuous functions and appli-
cations to nonlinear boundary value problem, Ann. Inst. H. Poincare Anal. Non
Lineaire 3 (1986), 77-109.
[221] Talenti, G., Best constant in Sobolev inequality, Ann. Mat. Pura Appl. 101
(1976), 353-372.
[223] Tintarev, K., Level set maxima and quasilinear elliptic problems, Pacific J. Math.
153 (1992), 185-200.
[226] Tolksdorf, P. P., On the Dirichlet problem for quasilinear equations in domain
with conical boundary points, Comm. Partial Differential Equations 8 (1983),
773-817.
[229] Trudinger, N. S., On imbeddings into Orlicz spaces and some applications, J.
Math. Mech. 17 (1967), 4 7 3 ^ 8 4 .
[231] Vainberg, Μ. M., Variational method and method of monotone operators, John
Wiley & Sons, New York-Toronto 1973.
[232] Vorst, R.C. A. M. van der, Fourth order elliptic equation with critical growth, C.
R. Acad. Sei. Paris Sir. I Math. 320 (1995), 295-299.
[233] , Fourth order elliptic equations with subcritical and critical growth,
preprint, 1994.
[234] Wei, Zhi Hui, and Xin Min Wu, A multiplicity result for quasilinear elliptic
equations involving critical Sobolev exponents, Nonlinear Anal. 18 (1991), 5 5 9 -
567.
[235] Wilcox, C. H., Theory of Bloch waves, J. Anal. Math. 33 (1978), 146-167.
[238] Yan, Shu Sen, A global compactness result for quasilinear elliptic equation
involving critical Sobolev exponent, Chinese J. Contemp. Math. 16 (1995), 2 2 7 -
234.
[239] Yan, Shu Sen, and Gong Bao Li, Existence of nontrivial solution of quasilinear
elliptic eigenvalue problem on M" with natural growth conditions, Acta Math.
Sei. (English Ed.) 10(1990), 121-133.
[241] Yang, Jian Fu, and Xi Ping Zhu, On the existence of nontrivial solution of a
quasilinear elliptic boundary value problem for unbounded domains, I, Positive
mass case, II, Zero mass case, Acta Math. Sei. (English Ed.) 7 (1987), 341-359;
447-459.
[243] Zeidler, E., Ljusternik-Schnirelman theory on general sets, Math. Nachr. 129
(1986), 235-259.
[245] Zhu, Xi Ping, and Huan Song Zhou, Existence of multiple positive solutions
of inhomogeneous semilinear elliptic problems in unbounded domains, Proc.
Royal Soc. Edinburgh Sect. A 115 (1990), 301-318
[246] Zuluaga, M., Existence of solutions for some elliptic problems with critical
Sobolev exponents, Rev. Mat. Iberoamericana 5 (1989), 183-191.