• Aucun résultat trouvé

A critical fractional equation with concave–convex power nonlinearities

N/A
N/A
Protected

Academic year: 2022

Partager "A critical fractional equation with concave–convex power nonlinearities"

Copied!
26
0
0

Texte intégral

(1)

ScienceDirect

Ann. I. H. Poincaré – AN 32 (2015) 875–900

www.elsevier.com/locate/anihpc

A critical fractional equation with concave–convex power nonlinearities

B. Barrios

a,b

, E. Colorado

c,b

, R. Servadei

d

, F. Soria

a,b,

aDepartamento de Matemáticas, Universidad Autónoma de Madrid, 28049 Madrid, Spain

bInstituto de Ciencias Matemáticas, (ICMAT–CSIC–UAM–UC3M–UCM), C/Nicolás Cabrera, 15, 28049 Madrid, Spain cDepartamento de Matemáticas, Universidad Carlos III de Madrid, 28911 Leganés (Madrid), Spain

dDipartimento di Matematica e Informatica, Università della Calabria, Ponte Pietro Bucci 31 B, 87036 Arcavacata di Rende (Cosenza), Italy

Received 14 June 2013; received in revised form 21 April 2014; accepted 22 April 2014 Available online 2 May 2014

Abstract

In this work we study the following fractional critical problem

(Pλ)=

()su=λuq+u2s1, u>0 inΩ,

u=0 inRn\Ω,

whereΩ⊂Rnis a regular bounded domain,λ >0, 0< s <1 andn >2s. Here()s denotes the fractional Laplace operator defined, up to a normalization factor, by

()su(x)= Rn

u(x+y)+u(xy)−2u(x)

|y|n+2s dy, x∈Rn.

Our main results show the existence and multiplicity of solutions to problem(Pλ)for different values of λ. The dependency on this parameter changes according to whether we consider the concave power case (0< q <1) or the convex power case (1< q <2s−1). These two cases will be treated separately.

©2014 Elsevier Masson SAS. All rights reserved.

MSC:primary 49J35, 35A15, 35S15; secondary 47G20, 45G05

Keywords:Fractional Laplacian; Critical nonlinearities; Convex–concave nonlinearities; Variational techniques; Mountain Pass Theorem

B.B., E.C., and F.S. were partially supported by Research Project of MICINN, Spain (Ref. MTM2010-18128). E.C. was also partially supported by Research Project of MICINN, Spain (Ref. MTM2009-10878). R.S. was supported by the MIUR National Research ProjectVariational and Topological Methods in the Study of Nonlinear Phenomena, by the GNAMPA ProjectNonlocal Problems of Fractional Laplacian Typeand by the FP7-IDEAS-ERC Starting Grant 2011, Ref. #277749 EPSILON.

* Corresponding author.

E-mail addresses:bego.barrios@uam.es(B. Barrios),ecolorad@math.uc3m.es(E. Colorado),servadei@mat.unical.it(R. Servadei), fernando.soria@uam.es(F. Soria).

http://dx.doi.org/10.1016/j.anihpc.2014.04.003

0294-1449/©2014 Elsevier Masson SAS. All rights reserved.

(2)

1. Introduction

In recent years, considerable attention has been given to nonlocal diffusion problems, in particular to the ones driven by the fractional Laplace operator. One of the reasons for this comes from the fact that this operator naturally arises in several physical phenomena like flames propagation and chemical reactions of liquids, in population dynamics and geophysical fluid dynamics, or in mathematical finance (American options). It also provides a simple model to describe certain jump Lévy processes in probability theory. In all these cases, the nonlocal effect is modeled by the singularity at infinity. For more details and applications, see[6,9,20,27,49,50]and the references therein.

In this paper we focus our attention on critical nonlocal fractional problems. To be more precise, we consider the following critical problem with convex–concave nonlinearities

(Pλ)=

⎧⎪

⎪⎩

()su=λuq+u2s1 inΩ,

u >0 inΩ,

u=0 inRn\Ω,

whereΩ⊂Rnis a regular bounded domain,λ >0,n >2s, 0< q <2s −1 and 2s = 2n

n−2s (1.1)

is the fractional critical Sobolev exponent. Here()sis the fractional Laplace operator defined, up to a normalization factor, by the Riesz potential as

()su(x):=

Rn

u(x+y)+u(xy)−2u(x)

|y|n+2s dy, x∈Rn, (1.2)

wheres(0,1)is a fixed parameter (see[46, Chapter 5]or[22,45]for further details).

One can also define a fractional power of the Laplacian using spectral decomposition. The same problem considered here but for this spectral fractional Laplacian has been treated in[7]. Some related problems involving this operator have been studied in[11,14,19,48]. As in[7] the purpose of this paper is to study the existence of weak solutions for(Pλ). Previous works related to the operator defined in(1.2), or by a more general kernel, can be found in[16,23, 30,34,35,37,38,41–43].

Problems similar to(Pλ)have been also studied in the local setting with different elliptic operators. As far as we know, the first example in this direction was given in[25]for thep-Laplacian operator. Other results, this time for the Laplacian (or essentially the classical Laplacian) operator can be found in[1,4,10,18]. More generally, the case of fully nonlinear operators has been studied in[17].

It is worth noting here that the problem(Pλ), withλ=0, has no solution wheneverΩ is a star-shaped domain.

This has been proved in[24,36]using a Pohozaev identity for the operator()s. This fact motivates the perturbation termλuq,λ >0, in our work.

We now summarize the main results of the paper. First, in Section2we look at the problem(Pλ)in the concave caseq <1 and prove the following.

Theorem 1.1.Assume0< q <1,0< s <1, andn >2s. Then, there exists0< Λ <such that problem(Pλ) (1) has no solution forλ > Λ;

(2) has a minimal solution for any0< λ < Λ; moreover, the family of minimal solutions is increasing with respect toλ;

(3) ifλ=Λthere exists at least one solution;

(4) for0< λ < Λthere are at least two solutions.

The convex case is treated in Section3. The existence result for problem(Pλ)is given by:

Theorem 1.2. Assume1< q <2s −1, 0< s <1, andn >2s. Then, problem (Pλ)admits at least one solution provided that either

(3)

n >2s(qq++13) andλ >0, or

n2s(qq++13) andλis sufficiently large.

Theorem 1.1corresponds to the nonlocal version of the main result of[4], whileTheorem 1.2may be seen as the nonlocal counterpart of the results obtained for the standard Laplace operator in[13, Subsections 2.3, 2.4 and 2.5]

(see also[25, Theorems 3.2 and 3.3]for the case of the p-Laplacian operator). Note, in particular, that whens=1 one has 2s(q+3)/(q+1)=2(q+3)/(q+1) <4, due to the choice ofq >1.

We will denote byHs(Rn)the usual fractional Sobolev space endowed with the so-calledGagliardo norm gHs(Rn)= gL2(Rn)+

Rn×Rn

|g(x)g(y)|2

|xy|n+2s dx dy

1/2

, (1.3)

whileX0s(Ω)is the function space defined as X0s(Ω)=

uHs Rn

: u=0 a.e. inRn\Ω

. (1.4)

We refer to[40,41]for a general definition ofXs0(Ω)and its properties and to[2,22,28]for an account of the properties ofHs(Rn).

InXs0(Ω)we can consider the following norm vX0s(Ω)=

Rn×Rn

|v(x)v(y)|2

|xy|n+2s dx dy

1/2

.

We also recall that(X0s(Ω), · Xs0(Ω))is a Hilbert space, with scalar product u, vXs0(Ω)=

Rn×Rn

(u(x)u(y))(v(x)v(y))

|xy|n+2s dx dy. (1.5)

See for instance[40, Lemma 7].

Observe that by[22, Proposition 3.6]we have the following identity uXs0(Ω)=()s/2u

L2(Rn). (1.6)

This leads us to establish as a definition that the solutions to our problem in this variational framework are those functions satisfying the relationship(1.8)below.

In our context, the Sobolev constant is given by S(n, s):= inf

vHs(Rn)\{0}Qn,s(v) >0, (1.7)

where

Qn,s(v):=

Rn×Rn|v(x)v(y)|2

|xy|n+2s dx dy (

Rn|v(x)|2s dx)2/2s , vHs Rn

,

is the associated Rayleigh quotient. The constantS(n, s)is well defined, as can be seen in[2, Theorem 7.58].

1.1. Variational formulation of the problem

Let us start describing the notion of solution in this context. In order to present the weak formulation of(Pλ)and taking into account that we are looking for positive solutions, we will consider the following Dirichlet problem

Pλ+

=

()su=λ(u+)q+(u+)2s1 inΩ,

u=0 inRn\Ω,

whereu+:=max{u,0}denotes the positive part ofu. With this at hand, we can now give the following.

(4)

Definition 1.3.We say thatuXs0(Ω)is a weak solution of(Pλ+)if for everyϕXs0(Ω), one has

Rn×Rn

(u(x)u(y))(ϕ(x)ϕ(y))

|xy|n+2s dx dy=λ

Ω

(u+)qϕ dx+

Ω

(u+)2s1ϕ dx. (1.8)

In the sequel we will omit the termweakwhen referring to solutions that satisfy the conditions ofDefinition 1.3.

The crucial observation here is that, by the Maximum Principle[45, Proposition 2.2.8], ifuis a solution of(Pλ+)then uis strictly positive inΩand, therefore, it is also a solution of(Pλ).

To find solutions of(Pλ+), we will use a variational approach. Hence, we will associate a suitable functional to our problem. More precisely, the Euler–Lagrange functional related to problem(Pλ+)is given byJs,λ:Xs0(Ω)→R defined as follows

Js,λ(u)=1 2

Rn×Rn

|u(x)u(y)|2

|xy|n+2s dx dyλ q+1

Ω

(u+)q+1dx− 1 2s

Ω

(u+)2sdx.

Note thatJs,λisC1and that its critical points correspond to solutions of(Pλ+).

In both cases,q <1 andq >1, we will use the Mountain Pass Theorem (MPT) by Ambrosetti and Rabinowitz (see[5]). In order to do that, we will show thatJs,λsatisfies a compactness property and has suitable geometrical features. The fact that the functional has the suitable geometry is easy to check. Observe that the embeddingXs0(Ω) L2s(Rn)is not compact (see[2]). This is even true when the nonlocal operator has a more general kernel (see[41, Lemma 9-b)]). Hence, the difficulty to apply MPT lies on proving a local Palais–Smale (PS for short) condition at levelc∈R((PS)c). Moreover, since the PS condition does not hold globally, we have to prove that the Mountain Pass critical level ofJs,λlies below the threshold of application of the (PS)ccondition.

In the concave setting,q <1, the idea is to prove the existence of at least two positive solutions for an admissible small range of λ. For that we are using a contradiction argument, inspired by[4]. The proof is divided into several steps: we first show that we have a solution that is a local minimum for the functionalJs,λ. In the next step, in order to find a second solution, we suppose that this local minimum is the only critical point of the functional, and then we prove a local (PS)ccondition forcunder a critical level related with the best fractional critical Sobolev constant given in(1.7). Also we find a path under this critical level localizing the Sobolev minimizers at the possible concentration on Dirac Deltas. These Deltas are obtained by the concentration–compactness result in[34, Theorem 1.5]inspired in the classical result by P.-L. Lions in[32,33]. Applying the MPT given in[5]and its refined version given in[26], we will reach a contradiction.

In the convex case q >1 we also apply the MPT to obtain the existence of at least one solution for(Pλ+)for suitable values ofλdepending on the dimensionn. As before, we prove a local (PS)c condition in an appropriate range related with the constantS(n, s) defined on(1.7). The strategy to obtain a solution follows the ideas given in[13](see also[47,51]) adapted to our nonlocal functional framework.

The linear caseq=1, when the right hand side of the equation is equal toλu+ |u|2s2u, was treated in[37,38, 41–43]. In these works the authors studied also nonlinearities more general than those given by the power critical function as well as the existence of solutions not necessarily positive.

2. The critical and concave case 0< q <1

This section is devoted to the study of problem(Pλ)in the case of the exponent 0< q <1. We point out that the result ofTheorem 1.1in the subcritical case could be obtained by the arguments given in this paper. However, in this subcritical case the PS condition is easier to prove – it is indeed satisfied for any energy level – and the separation of solutions, presented inLemma 2.3below, is not needed. This approach has been carried out in[8]where the authors obtain the equivalent toTheorem 1.1for a related problem using a technique developed in[3].

We begin with the following result that uses, in its proof, a standard comparison method as well as some ideas given in[4, Lemma 3.1 and Lemma 3.4].

Lemma 2.1.Let0< q <1and letΛbe defined by Λ:=sup

λ >0: problem(Pλ)has solution

. (2.1)

(5)

Then,0< Λ <and the critical concave problem(Pλ)has at least one solution for every0< λΛ. Moreover, for 0< λ < Λwe get a family of minimal solutions increasing with respect toλ.

ByLemma 2.1 we easily deduce statements (1)–(3) ofTheorem 1.1. Hence, in the sequel we focus on proving statement (4) of that theorem, that is on the existence of a second solution for(Pλ).

First we prove a regularity result which will be useful in certain parts of this section:

Proposition 2.2.Letube a positive solution to the problem ()su=f (x, u) inΩ,

u=0 inRn\Ω,

and assume that|f (x, t )|C(1+ |t|p), for some1p2s −1andC >0. ThenuL(Ω).

Proof. The proof uses standard techniques for the fractional Laplacian, in particular the following inequality: ifϕis a convex and differentiable function, then

()sϕ(u)ϕ(u)()su.

Let us define, forβ1 andT >0 large, ϕ(t )=ϕT ,β(t)=

⎧⎨

0, ift0,

tβ, if 0< t < T , βTβ1(tT )+Tβ, iftT .

Observe thatϕ(u)X0s(Ω)sinceϕis Lipschitz with constantK=βTβ1and, therefore, ϕ(u)Xs0(Ω)=

Rn×Rn

|ϕ(u(x))ϕ(u(y))|2

|xy|n+2s dx dy

1/2

Rn×Rn

K2|u(x)u(y)|2

|xy|n+2s dx dy

1/2

=KuXs0(Ω). By(1.6)and the Sobolev embedding theorem given in[2, Theorem 7.58], we have

Ω

ϕ(u)()sϕ(u)=ϕ(u)2

X0s(Ω)S(n, s)ϕ(u)2

L2s(Ω), (2.2)

whereS(n, s)is defined in(1.7). On the other hand, sinceϕis convex, andϕ(u)ϕ(u)X0s(Ω),

Ω

ϕ(u)()sϕ(u)

Ω

ϕ(u)ϕ(u)()suC

Ω

ϕ(u)ϕ(u)

1+u2s1 .

From(2.2)and the previous inequality we get the following basic estimate:

ϕ(u)2

L2∗s(Ω)C

Ω

ϕ(u)ϕ(u)

1+u2s1

. (2.3)

Since(u)βϕ(u)andϕ(u)β(1+ϕ(u)), the above estimate(2.3)becomes

Ω

ϕ(u)2s 2/2s

1+

Ω

ϕ(u)2

+

Ω

ϕ(u)2

u2s2 . (2.4)

It is important to point out here that sinceϕ(u)grows linearly, both sides of(2.4)are finite.

Claim.Letβ1be such that1=2s. ThenuLβ12s.

(6)

To see this, we take R large to be determined later. Then, Hölder’s inequality withp=β1=2s/2 and p= 2s/(2s−2)gives

Ω

ϕ(u)2

u2s2=

{uR}

ϕ(u)2

u2s2+

{u>R}

ϕ(u)2

u2s2

{uR}

ϕ(u)2

R2s2+

Ω

ϕ(u)2s 2/2s {u>R}

u2s

(2s2)/2s

.

By the Monotone Convergence Theorem, we may takeRso that

{u>R}

u2s

(2s2)/2s

1

2Cβ1

.

In this way, the second term above is absorbed by the left hand side of(2.4)to get

Ω

ϕ(u)2s 2/2s

2Cβ1

1+

Ω

ϕ(u)2

+

{uR}

ϕ(u)2

R2s2 . (2.5)

Using thatϕT ,β1(u)uβ1in the right hand side of(2.5)and then lettingT → ∞in the left hand side, since 2β1=2s, we obtain

Ω

u2sβ1

2/2s

2Cβ1

1+

Ω

u2s +R2s2

Ω

u2s <.

This proves the claim.

We now go back to inequality(2.4)and we use as before thatϕT ,β(u)uβin the right hand side and then we take T → ∞in the left hand side. Then,

Ω

u2sβ

2/2s

1+

Ω

u+

Ω

u+2s2 .

Since

Ωu |Ω| +

Ωu+2s2, we get the following recurrence formula

Ω

u2sβ

2/2s

2Cβ

1+ |Ω| 1+

Ω

u+2s2 .

Therefore,

1+

Ω

u2sβ

2∗s (β−1 1)

C

1 2(β1)

β

1+

Ω

u+2s2

1 2(β1)

, (2.6)

whereCβ=4Cβ(1+ |Ω|).

Form1 we defineβm+1inductively so that 2βm+1+2s −2=2sβm, that is βm+1−1=2s

2m−1)= 2s

2

m

1−1).

Hence, from(2.6)it follows that

1+

Ω

u2sβm+1

1 2s (βm+1−1)

C

1 2(βm+1−1)

βm+1

1+

Ω

u2sβm

1 2s (βm−1)

,

withCm+1:=Cβm+1=4Cβm+1(1+ |Ω|). Then, defining form1

(7)

Am:=

1+

Ω

u2sβm

1 2s (βm−1)

,

by the Claim proved before, and using a limiting argument, we conclude that there existsC0>0, independent of m >1, such that

Am+1

m+1 k=2

C

1 2(βk−1)

k A1C0A1. This implies thatuL(Ω)C0A1. 2

Coming back to the proof ofTheorem 1.1, as we said in the Introduction, to find the existence of the second solution, we first show that the minimal solutionuλ>0 given byLemma 2.1is a local minimum for the functionalJs,λ. For that, following the ideas given in[18]we establish a separation lemma in the topology of the class

Cs(Ω):=

wC0(Ω): wCs(Ω):=

w δs

L(Ω)

<

, (2.7)

whereδ(x)=dist(x, ∂Ω). Then we have the following.

Lemma 2.3.Assume0< λ1< λ0< λ2< Λ. Letuλ1,uλ0 anduλ2 be the corresponding minimal solutions to(Pλ), forλ=λ1, λ0andλ2respectively. If

Z=

uCs(Ω)uλ1uuλ2 , then there existsε >0such that

{uλ0} +εB1Z,

withB1= {wC0(Ω): δwsL(Ω)<1}.

Proof. Let u be an arbitrary solution of(Pλ)for 0< λ < Λ. Then, by Hopf’s Lemma (see[15, Proposition 2.7]

and[35, Lemma 3.2]) there exists a positive constantcsuch that

u(x)cδ(x)s, xΩ. (2.8)

On the other hand by[35, Proposition 1.1]we get that there exists a positive constantCsuch that

u(x)Cδ(x)s, xΩ. (2.9)

Thus, by(2.8)and(2.9)we finish the proof. 2

Using this previous result we now obtain a local minimum of the functionalJs,λin theCs(Ω)-topology. This is the first step in order to get a local minimum inXs0(Ω). That is,

Lemma 2.4.For allλ(0, Λ)the minimal solutionuλis a local minimum of the functionalJs,λin theCs-topology.

Proof. The proof follows in a similar way as in[4](see also Lemma 3.3 of[18]). In our case we have to consider the nonlocal operator()sinstead of()and the spaceCs(Ω)instead ofC10(Ω). We omit the details. 2

To prove that we already have a minimum in the spaceXs0(Ω)we show that the result obtained by Brezis and Nirenberg in[13]is also valid in our context.

Proposition 2.5.Letz0Xs0(Ω)be a local minimum ofJs,λinCs(Ω); by this we mean that there existsr1>0such that

Js,λ(z0)Js,λ(z0+z),zCs(Ω)withzCs(Ω)r1. (2.10)

(8)

Then,z0is also a local minimum ofJs,λinXs0(Ω), that is, there existsr2>0so that Js,λ(z0)Js,λ(z0+z),zX0s(Ω)withzXs0(Ω)r2.

Proof. We follow the ideas given in[18, Theorem 5.1]. Letz0be as in(2.10)and set, forε >0, Bε(z0)=

zXs0(Ω): zz0Xs0(Ω)ε .

Now, we argue by contradiction and we suppose that for everyε >0 we have

vminBε(z0)Js,λ(v) <Js,λ(z0). (2.11)

We pickvεBε(z0)such that minvBε(z0)Js,λ(v)=Js,λ(vε). The existence ofvεcomes from a standard argument of weak lower semi-continuity. We want to prove that

vεz0 inCs(Ω)asε0, (2.12)

because this would imply that there arezCs(Ω), arbitrarily close toz0in the metric ofCs(Ω)(in fact,z=vεfor someε), such that

Js,λ(z) <Js,λ(z0).

This contradicts our hypothesis(2.10).

Let 0< ε1. Note that the Euler–Lagrange equation satisfied byvε involves a Lagrange multiplierξε such that

Js,λ (vε), ϕ

=ξεvε, ϕX0s(Ω),ϕXs0(Ω). (2.13)

As a consequence, sincevεis a minimum ofJs,λinBε(z0), we have ξε=Js,λ (vε), vε

vε2Xs 0(Ω)

0. (2.14)

By(2.13)we easily get thatvεsatisfies

⎧⎨

()svε= 1 1−ξε

fλ(vε)=:fλε(vε) inΩ,

vε=0 inRn\Ω,

wherefλ(t):=λ(t+)q+(t+)2s1. Sincevε>0 and

vεX0s(Ω)C,

byProposition 2.2there exists a constantC1>0 independent ofεsuch thatvεL(Ω)C1. Moreover, by(2.14), it follows thatfλε(vε)L(Ω)C. Therefore, by[35, Proposition 1.1](see also[44, Proposition 5]), we get that vεC0,s(Ω)C2, for someC2independent ofε. HereC0,s denotes the space of Hölder continuous functions with exponents.

Thus, by the Ascoli–Arzelá Theorem there exists a subsequence, still denoted byvε, such thatvεz0uniformly asε0. Moreover, by[35, Theorem 1.2], we obtain that for a suitable positive constantC

vεz0 δs

L(Ω)

Csup

Ω

fλε(vε)fλ(z0).

Since the latter tends to zero asε0,(2.12)is proved. 2

Lemma 2.4andProposition 2.5provide us with the existence of a positive local minimum inXs0(Ω)ofJs,λthat will be denoted byu0. We now make a translation as in[4]in order to simplify the calculations.

(9)

For 0< λ < Λ, we consider the functions gλ(x, t)=

λ(u0+t )qλuq0+(u0+t )2s1u20s1, ift0,

0, ift <0,

(2.15) and

Gλ(x, ξ )=Gλ(ξ )= ξ 0

gλ(x, t) dt. (2.16)

The associated energy functionalJs,λ:X0s(Ω)→Ris given by Js,λ(u)=1

2u2Xs

0(Ω)

Ω

Gλ(x, u) dx. (2.17)

SinceuX0s(Ω),Js,λis well defined. We define the translate problem (Pλ)=

()su=gλ(x, u) inΩ⊂Rn,

u=0 onRn\Ω.

We know that ifu˜≡0 is a critical point ofJs,λthen it is a solution of(Pλ)and, by the Maximum Principle[45, Proposition 2.2.8], this implies thatu >˜ 0. Therefore u=u0+ ˜u >0 will be a second solution of(Pλ+)and con- sequently a second one of (Pλ). Hence, in order to prove statement (4) ofTheorem 1.1, it is enough to study the existence of a non-trivial critical point forJs,λ.

First we have

Lemma 2.6.u=0is a local minimum ofJs,λinX0s(Ω).

Proof. The proof follows along the lines of[4, Lemma 4.2], see also[7, Lemma 3.4], so we omit the details. 2 2.1. The Palais–Smale condition forJs,λ

In this subsection assuming that we have a unique critical point, we prove that the functionalJs,λsatisfies a local Palais–Smale condition (seeLemma 2.10). The main tool for proving this fact is an extension of the concentration–

compactness principle by Lions in [32,33]for nonlocal fractional operators, given in [34, Theorem 1.5]. We will also need some technical results related to the behavior of the fractional Laplacian of a product. We start with the following.

Lemma 2.7.Letφbe a regular function that satisfies φ(x) C

1+ |x|n+s, x∈Rn (2.18)

and

φ(x) C

1+ |x|n+s+1, x∈Rn, (2.19)

for someC > 0. LetB:Xs/20 (Ω)×Xs/20 (Ω)→Rbe the bilinear form defined by B(f, g)(x):=2

Rn

(f (x)f (y))(g(x)g(y))

|xy|n+s dy. (2.20)

Then, for everys(0,1), there exist positive constantsC1andC2such that forx∈Rnone has (−)s/2φ(x) C1

1+ |x|n+s,

(10)

and

B(φ, φ)(x) C2 1+ |x|n+s. Proof. Let

I (x):=

Rn

|φ(x)φ(y)|

|xy|n+s dy.

For anyx∈Rn, it is clear that ()s/2φ(x)2I (x).

Also, since|φ(x)|C, we have B(φ, φ)(x)2CI (x).

Hence, it suffices to prove that I (x) C

1+ |x|n+s,x∈Rn, (2.21)

for a suitable positive constantC.

Sinceφis a regular function, for|x|<1 we obtain that I (x)φL(Rn)

|y|<2

dy

|xy|n+s1+C

|y|2

dy

|y|n+s

C C

1+ |x|n+s. (2.22)

Let now|x|1. Then

I (x):=IA1(x)+IA2(x)+IA3(x), (2.23)

where

IAi(x):=

Ai

|φ(x)φ(y)|

|xy|n+s dy, i=1,2,3, with

A1:=

y: |xy||x| 2

, A2:=

y: |xy|>|x|

2 ,|y|2|x|

and

A3:=

y: |xy|>|x|

2 , |y|>2|x|

.

Therefore, since for|x|1 andyA1,|φ(x)φ(y)||∇φ(ξ )||xy|with|x2||ξ|32|x|, by(2.19), we obtain that

IA1(x) C

|x|n+s+1

A1

dy

|xy|n+s1C|x|(n+2s). (2.24)

Using now that, for anyx, y∈Rnwe have the inequality φ(x)+φ(y) C

1+min{|x|n+s,|y|n+s}, we get

(11)

IA2(x) C

|x|n+s

A2

dy

(1+ |y|n+s)C|x|(n+s), (2.25)

and

IA3(x) C

|x|n+s

A3

dy

|y|n+s C|x|(n+2s). (2.26)

Note that the last estimate follows from the fact that(x, y)A3implies|xy||y|/2. Then, by(2.23)–(2.26), we get that

I (x)C|x|(n+s) C

1+ |x|n+s, |x|1. (2.27)

Hence, by(2.22)and(2.27), we conclude(2.21). 2

To establish the next auxiliary results we consider a radial, nonincreasing cut-off functionφC0 (Rn)and

φε(x):=φ(x/ε). (2.28)

Now we get the following.

Lemma 2.8.Let{zm}be a uniformly bounded sequence inXs0(Ω)andφεthe function defined in(2.28). Then,

εlim0 lim

m→∞

Rn

zm(x)()s/2φε(x)()s/2zm(x) dx

=0. (2.29)

Proof. First of all note that, as a consequence of the fact that{zm}is uniformly bounded in the reflexive spaceX0s(Ω), say byM, we get that there existszX0s(Ω), such that, up to a subsequence,

zm z weakly inX0s(Ω),

zmz strongly inLr(Ω), 1r <2s,

zmz a.e. inΩ. (2.30)

Also it is clear that

()s/2φε(x)=εs

()s/2φx

ε s. (2.31)

Therefore defining I1:=

Rn

zm(x)()s/2φε(x)()s/2zm(x) dx , from(2.31)and the fact thatzmXs0(Ω)< M, we get

I1()s/2zm

L2(Rn)zm()s/2φε

L2(Ω)

M(zmz)()s/2φε

L2(Ω)+Mz()s/2φε

L2(Ω)

szmzL2(Ω)+Mz()s/2φε

L2(Ω). (2.32)

SincezXs0(Ω)M thenzL2∗s(Ω)C, that isz2Lnn2s(Ω). Hence, for everyρ >0 there existsηC0(Ω) such that

z2η

L

n

n2s(Ω)ρ. (2.33)

Then, by(2.31),(2.33)and Hölder’s inequality withp=n/n−2swe obtain that

(12)

z()s/2φε2

L2(Ω)

Rn

z2(x)η(x)()s/2φε(x)2dx+

Rn

η(x)()s/2φε(x)2dx z2η

L

n

n2s(Ω)()s/2φε2

Lns(Rn)+ ηL(Ω)()s/2φε2

L2(Rn)

ρε2s

Rn

()s/2φx ε

n s

dx

2s

n +2s

Rn

()s/2φx ε 2dx

ρ

Rn

(−)s/2φ(z)ns dz

2s

n +n2s

Rn

(−)s/2φ(z)2dz

+n2s. (2.34)

Hence, using(2.30), from(2.32),(2.34)and the fact thatn >2s, it follows that

εlim0 lim

m→∞I1lim

ε0C

ρ+εn2s1

2 =12.

Sinceρ >0 is fixed but arbitrarily small, we conclude the proof ofLemma 2.8. 2 Also, we have the following.

Lemma 2.9.With the same assumptions ofLemma 2.8we have that

εlim0 lim

m→∞

Rn

()s/2zm(x)B(zm, φε)(x) dx

=0, (2.35)

whereBis defined in(2.20).

Proof. Let I2:=

Rn

()s/2zm(x)B(zm, φε)(x) dx . SincezmX0s(Ω)M, then

I2MB(zm, φε)

L2(Rn)

MB(zmz, φε)

L2(Rn)+MB(z, φε)

L2(Rn), (2.36)

wherezis, as inLemma 2.8, the weak limit of the sequence{zm}inXs0(Ω). We estimate each of the summands in the previous inequality. Let

ψ (x):= 1

1+ |x|n+s and ψε(x):=ψ x

ε . (2.37)

ByLemma 2.7applied toφ, we note that B(φε, φε)(x)=εsB(φ, φ)

x

ε sψ x

ε =C εs

1+ |xε|n+s s. (2.38)

Therefore, by Cauchy–Schwarz inequality and(2.38), it follows that B(zmz, φε)2

L2(Rn)

Rn

B(zmz, zmz)(x)B(φε, φε)(x) dx (2.39)

s

Rn

B(zmz, zmz)(x) dx

Références

Documents relatifs

Namely, all positive solutions blow up in a finite time if the exponent p pc while global solution exists if p &gt; pc and initial value is small enough.. As part

We prove that energy minimizing Yang–Mills connections on compact homogeneous 4-manifolds are either instantons or split into a sum of instantons on passage to the adjoint bundle..

Here as an exploration and a test case, we prove the existence of smooth nonnegative (1, 1) forms for any boundary class of the K¨ ahler cone when the manifold satisfies

First introduced by Faddeev and Kashaev [7, 9], the quantum dilogarithm G b (x) and its variants S b (x) and g b (x) play a crucial role in the study of positive representations

James presented a counterexample to show that a bounded convex set with James’ property is not necessarily weakly compact even if it is the closed unit ball of a normed space.. We

For a folded concave penalized estimation problem, we show that as long as the problem is localizable and the oracle estimator is well behaved, we can ob- tain the oracle estimator

The second mentioned author would like to thank James Cogdell for helpful conversation on their previous results when he was visiting Ohio State University.. The authors also would

In other words, transport occurs with finite speed: that makes a great difference with the instantaneous positivity of solution (related of a “infinite speed” of propagation