Tmna 125 2 413
Tmna 125 2 413
Tmna 125 2 413
c 2021 Juliusz Schauder Centre for Nonlinear Studies
Nicolaus Copernicus University in Toruń
1. Introduction
The aim of this paper is to analyze the asymptotic behavior of least-energy
solutions to the fractional Schrödinger problem
(−∆)s u + V (x)u = f (x, u) in Ω,
(1.1)
u = 0 in RN \ Ω,
413
414 B. Bieganowski — S. Secchi
with
1 − cos ζ1
Z
1
= dζ1 . . . dζN .
C(N, s) R N |ζ|N +2s
This formal definition needs of course a function space in which problem (1.1)
becomes meaningful: we will come to this issue in Sect. 2.
Several models have appeared in recent years that involve the use of the
fractional Laplacian. We only mention elasticity, turbulence, porous media flow,
image processing, wave propagation in heterogeneous high contrast media, and
stochastic models: see [1], [8], [13], [9].
Instead of fixing the value of the parameter s ∈ (0, 1), we will start from the
well-known identity (see [7, Proposition 4.4])
lim (−∆)s u = −∆u, u ∈ C0∞ (RN ),
s→1−
We do not know if this conjecture is indeed correct with this degree of generality,
but we will prove that this happens — up to a subsequence — for least-energy
solutions. Our result extends the very recent analysis of Biccari et al. (see [2])
in the linear case for the Poisson problem to the semilinear case. See also [4].
We collect our assumptions.
(N) N ≥ 3, 1/2 < s < 1.
(Ω) Ω ⊂ RN is a bounded domain with continuous boundary ∂Ω.
(V) V ∈ L∞ (Ω) and inf Ω V > 0.
(F1) f : Ω × R → R is a Carathéodory function, namely f ( · , u) is measur-
able for any u ∈ R and f (x, · ) is continuous for almost every x ∈ Ω.
Moreover, there are numbers C > 0 and p ∈ (2, 2N /(N − 1)) such that
|f (x, u)| ≤ C 1 + |u|p−1
Remark 1.1. It follows from (F1) and (F2) that for every ε > 0 there is
Cε > 0 such that
|f (x, u)| ≤ ε|u| + Cε |u|p−1
for every u ∈ R and almost every x ∈ Ω. Furthermore, assumption (F4) implies
the validity of the inequality
Theorem 1.2. Suppose that assumptions (N), (Ω), (V), (F1)–(F4) hold. For
1/2 < s < 1, let us ∈ H0s (Ω) be a ground state solution of problem (1.1). Then,
there is a sequence {sn }n ⊂ (1/2, 1) such that sn → 1 as n → +∞ and usn
converges in L2 (Ω) to a ground state solution u0 ∈ H01 (Ω) of problem (1.2).
Remark 1.3. Actually, see Corollary 4.3, it follows that usn converges to u0
in Lν (Ω) for every 2 ≤ ν < 2N /(N − 1).
The paper is organized as follows. The second section contains a short intro-
duction into fractional Sobolev spaces and the variational setting. In the third
section we give the sketch of the proof of existence of ground states to (1.1). The
fourth section is devoted to the proof of Theorem 1.2.
Definition 2.1. For 0 < s < 1, we define X s (Ω) as the set of all measurable
functions u : RN → R such that the restriction of u to Ω lies in L2 (Ω) and the
map
u(x) − u(y)
RN × RN 3 (x, y) 7→
|x − y|N/2−s
belongs to L2 (Q), where Q = RN × RN \ (Ωc × Ωc ) and Ωc = RN \ Ω. We also
define
X0s (Ω) = u ∈ X s (Ω) | u = 0 a.e. in RN \ Ω .
It is well known, see [10, Lemma 1.24], that X s (Ω) ⊂ H s (Ω) with a contin-
uous embedding, and that
Since we assume that Ω has a continuous boundary ∂Ω, C0∞ (Ω) is dense in X0s (Ω)
(see [10, Theorem 2.6]), so that actually X0s (Ω) = H0s (Ω) for such a domain Ω.
For u ∈ X0s (Ω), an equivalent norm of u is (see [10, Proposition 1.18])
2
kuk2X0s (Ω) = kuk2L2 (Ω) +
(−∆)s/2 u
L2 (RN ) .
|u(x) − u(y)|2
Z
2
(−∆)s/2 u
2 2 N ,
N +2s
dx dy = L (R )
RN ×RN |x − y| C(N, s)
where
s(1 − s)
C(N, s) = ,
A(N, s)B(s)
Z
dη
A(N, s) = ,
RN −1(1 + |η|2 )(N +2s)/2
1 − cos t
Z
B(s) = s(1 − s) 1+2s
dt.
R |t|
|u(x) − u(y)|2
Z
(−∆)s/2 u
2 2 N = C(N, s)
L (R ) N +2s
dx dy.
2 RN ×RN |x − y|
|u(x) − u(y)|2
Z
ωN −1 2
lim (1 − s) N +2s
dx dy = k∇ukL2 (RN ) .
s→1− N
R ×R N |x − y| 2N
Non-Local to Local Transition 417
Lemma 2.7. Let N ≥ 3 and q ∈ [2, 2N/(N −1)]. Then there exists a constant
C = C(N, q) > 0 such that, for every s ∈ [1/2, 1] and every u ∈ X0s (Ω), we have
for every u ∈ X0s (Ω), we can fix any q ∈ [2, 2N/(N − 1)] and interpolate:
1 ϑs 1 − ϑs
= + .
q 2 2∗s
Explicitly,
2N − q(N − 2s)
ϑs =
2sq
and
Since the function s 7→ ϑs is continuous in the interval [1/2, 1], the proof is
complete.
Remark 2.8. It follows from the previous proof that the same result is true
for any s ∈ [s0 , 1], with s0 ∈ (0, 1) fixed.
Weak solutions are therefore critical points of the associated energy func-
tional Js : X0s (Ω) → R defined by
Z Z
1
2 1
Js (u) =
(−∆)s/2 u
L2 (RN ) + V (x)u2 dx − F (x, u) dx.
2 2 Ω Ω
Recalling the notation (2.1) and (2.2), we can rewrite our functionals in the form
Z
1
Js (u) = kuk2s − F (x, u) dx, u ∈ X0s (Ω),
2
ZΩ
1 2
J (u) = kuk − F (x, u) dx, u ∈ H01 (Ω).
2 Ω
Proposition 3.2. For every s ∈ (0, 1], there exists a ground state solution
us ∈ Ns to (1.1). Moreover,
(3.1) Js (us ) = inf sup Js (tv) > 0.
v∈X0s (Ω)\{0} t≥0
Proof. The proof is rather standard, so we will present a sketch and refer
the reader to [3], [11], [12] for the details. Consider 0 < s < 1. It follows from our
assumptions that the Nehari manifold Ns is homeomorphic to the unit sphere
Ss in X0s (Ω). The homeomorphism ms : Ss → Ns is given by ms (u) = tu u,
where tu > 0 is the unique positive number such that tu u ∈ Ns . The inverse
m−1 −1
s : Ns → Ss is given by ms (u) = u/kuks . Moreover, Js ◦ ms : Ss → R
1
is still of class C . Then there is a Palais–Smale sequence {vn }n ⊂ Ss for
J ◦ ms . Moreover, we can show that the sequence {un }n ⊂ Ns given by un :=
ms (vn ) is a bounded Palais–Smale sequence for Js such that J (un ) → cs , where
cs := inf Ns Js > 0. Since X0s (Ω) is compactly embedded into Lν (Ω), for every
2 ≤ ν < 2∗s (see Theorem 2.5), it is easy to check that {un }n converges strongly
420 B. Bieganowski — S. Secchi
Proof. Take u ∈ H01 (Ω) ⊂ X0s (Ω) as a ground state solution of (1.2), in
particular u ∈ N and J (u) = c, where J is given by (2.4). Consider the function
ms (u) ∈ Ns . Obviously cs ≤ Js (ms (u)). Hence
Proof. Note that kus kL2 (Ω) ≤ Ckus ks , for some C > 0 independent of s.
So it is enough to show that kus ks ≤ M . Suppose by contradiction that
kus ks → +∞ as s → 1− .
Put vs := us /kus ks . Then kvs ks = 1, so [5, Corollary 7] implies that vs →
v0 in L2 (Ω) for some v0 ∈ H01 (Ω). From Lemma 2.7, {vs }s is bounded in
L2N /(N −1) (Ω). Take any ν ∈ (2, 2N /(N − 1)) and by the interpolation inequa-
lity
kvs − v0 kLν (Ω) ≤ kvs − v0 kϑL2 (Ω) kvs − v0 k1−ϑ
L2N /(N −1) (Ω)
→0 as s → 1− ,
Hence, taking into account the boundedness of {Jsn (usn )}n and Fatou’s lemma,
Js (us )
Z
1 F (x, usn ) 2
o(1) = n 2n = − vsn dx
kusn ksn 2 Ω u2sn
Z
1 F (x, usn ) 2
≤ − vsn dx → −∞,
2 supp v0 u2sn
again a contradiction.
Corollary 4.3. There is u0 ∈ H01 (Ω) and a sequence {sn }n such that
Proof. From Lemma 4.2 and [5, Corollary 7] we note that usn → u0 in
L2 (Ω) for some u0 ∈ H01 (Ω) and sequence {sn }n . In view of Lemma 2.7 there is
a constant C > 0 (independent of s) such that
In particular, {usn }n is bounded in L2N /(N −1) (Ω). Then, for any ν ∈ (2, 2N/
(N − 1)), we have
lim sup kusn − u0 kLν (Ω) ≤ lim sup kusn − u0 kϑL2 (Ω) kusn − u0 k1−ϑ
L2N /(N −1) (Ω)
= 0,
n→+∞ n→+∞
Proof. Take any test function ϕ ∈ C0∞ (RN ) and note that by [14, Section 6]
we have Z Z
sn /2 sn /2
(−∆) usn (−∆) ϕ dx = usn (−∆)sn ϕ dx.
RN RN
Moreover,
Z Z
sn
usn (−∆) ϕ dx − u0 (−∆ϕ) dx
RN RN
Z Z
usn (−∆)sn ϕ dx −
= u0 (−∆ϕ) dx
ZΩ Ω
Z
usn ((−∆)sn ϕ − (−∆ϕ)) dx + (usn − u0 )(−∆ϕ) dx
=
Ω Ω
≤ kusn kL2 (Ω) k(−∆)sn ϕ − (−∆ϕ)kL2 (Ω)
+ k(−∆ϕ)kL2 (Ω) kusn − u0 kL2 (Ω) → 0.
Hence
Z Z Z
sn /2 sn /2
lim (−∆) usn (−∆) ϕ dx = u0 (−∆ϕ) dx = ∇u0 · ∇ϕ dx.
n→+∞ RN RN Ω
Obviously
Z Z
lim V (x)usn ϕ dx = V (x)u0 ϕ dx.
n→+∞ Ω Ω
Take any measurable set E ⊂ Ω and note that, taking into account Remark 1.1,
Z
|f (x, usn )ϕ| dx ≤ εkusn kL2 (Ω) kϕχE kL2 (Ω) + Cε kusn kp−1
Lp (Ω) kϕχE kLp (RN ) .
E
Hence the family {f ( · , usn )ϕ}n is uniformly integrable on Ω and in view of the
Vitali convergence theorem
Z Z
lim f (x, usn )ϕ dx = f (x, u0 )ϕ dx.
n→+∞ Ω Ω
Therefore u0 satisfies
Z Z Z
∇u0 · ∇ϕ dx + V (x)u0 ϕ dx = f (x, u0 )ϕ dx,
Ω Ω Ω
kus ks ≥ ρ > 0.
Hence lim csn exists and lim csn = c. From the proof of Lemma 4.7 we
n→+∞ n→+∞
have
lim csn = J (u0 ).
n→+∞
Thus J (u0 ) = c.
References
[1] O.G. Bakunin, Turbulence and Diffusion: Scaling Versus Equations, Springer, Berlin,
2008.
[2] U. Biccari and V. Hernández-Santamarı́a, The Poisson equation from non-local to
local, Electron. J. Differential Equations 2018 (2018), no. 145, 1–13.
[3] B. Bieganowski and J. Mederski, Nonlinear Schrödinger equations with sum of periodic
and vanishing potentials and sign-changing nonlinearities, Commun. Pure Appl. Anal. 17
(2018), 143–161.
[4] J.P. Borthagaray and P. Ciarlet Jr., On the convergence in the H 1 -norm for the
fractional Laplacian, SIAM J. Numer. Anal. 57 (2019), Issue 4, 1723–1743.
Non-Local to Local Transition 425
[5] J. Bourgain, H. Brezis and P. Mironescu, Another look at Sobolev spaces, Optimal
Control and Partial Differential Equations, IOS, Amsterdam, 2001, pp. 439–455
[6] A. Cotsiolis and N. Tavoularis, Best constants for Sobolev inequalities for higher order
fractional derivatives, J. Math. Anal. Appl. 295 (2004), 225–236.
[7] E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional
Sobolev spaces, Bull. Sci. Math. 136 (2012), 521–573.
[8] S. Dipierro, G. Palatucci and E. Valdinoci, Dislocation dynamics in crystals:
A macroscopic theory in a fractional Laplace setting, Comm. Math. Phys. 333 (2015),
no. 2, 1061–1105.
[9] G. Gilboa and S. Osher, Nonlocal operators with applications to image processing, Mul-
tiscale Model. Simul. 7 (2008), no. 3, 1005–1028.
[10] G. Molica Bisci, V. Radulescu and R. Servadei, Variational Methods for Nonlocal
Fractional Problems, Encyclopedia of Mathematics and Its Applications, vol. 162, Cam-
bridge University Press, 2016.
[11] A. Szulkin and T. Weth, Ground state solutions for some indefinite variational prob-
lems, J. Funct. Anal. 257 (2009), no. 12, 3802–3822.
[12] A. Szulkin and T. Weth, The method of Nehari manifold, Handbook of Nonconvex
Analysis and Applications (David Yang Gao and Dumitru Motreanu, eds.), International
Press, Boston, 2010, pp. 597–632.
[13] J.L. Vázquez, Nonlinear diffusion with fractional Laplacian operators, Nonlinear Par-
tial Differential Equations (Oslo, 2010), Abel Symp., vol. 7, Springer, Heidelberg, 2012,
pp. 271–298.
[14] M. Warma, The fractional relative capacity and the fractional Laplacian with Neumann
and Robin boundary conditions on open sets, Potential Anal. 42 (2015), no. 2, 499–547.
Bartosz Bieganowski
https://orcid.org/0000-0003-2037-1573
Nicolaus Copernicus University
Faculty of Mathematics and Computer Science
ul. Chopina 12/18
87-100 Toruń, POLAND
E-mail address: [email protected]
Simone Secchi
https://orcid.org/0000-0002-9307-1347
Dipartimento di Matematica e Applicazioni
Università degli Studi di Milano-Bicocca
via Roberto Cozzi 55
I-20125, Milano, ITALY
E-mail address: [email protected]