arxiv: v1 [math.ca] 15 Dec 2016

Transcription

1 L p MAPPING PROPERTIES FOR NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL arxiv: v [math.ca] 5 Dec 206 WOOCHEOL CHOI AND YONG-CHEOL KIM Abstract. In this paper, we consider nonlocal Schrödinger equations with certain potentials given by an integro-differential operator L K as follows; L K u + u = f in R n where RH q for q > n and 0 < s <. We denote the solution of the above 2s equation by S f := u, which is called the inverse of the nonlocal Schrödinger operator L K + with potential ; that is, S = L K +. Then we obtain a weak Harnack inequality of weak subsolutions of the nonlocal equation { L K u + u = 0 in Ω, 0. u = g in R n \ Ω, where g H s R n and Ω is a bounded open domain in R n with Lipschitz boundary, and also get an improved decay of a fundamental solution e for L K +. Moreover, we obtain L p and L p L q mapping properties of the inverse S of the nonlocal Schrödinger operator L K +. Contents. Introduction 2. Preliminaries 4 3. The fractional auxiliary function m x 6 4. A weak Harnack inequality 0 5. Weak solutions and Caccioppoli estimate for nonlocal Schrödinger operators L 2 6. L p and L p L q mapping properties of the inverse of the nonlocal Schrödinger operator 8 7. Appendix 22 References 23. Introduction Let Ω be a bounded open domain in R n with Lipschitz boundary. introduce integro-differential operators of form Then we. L K ux = 2 p.v. R n µu, x, yky dy, x Ω, 2000 Mathematics Subject Classification: 47G20, 45K05, 35J60, 35B65, 35D0 60J75.

2 2 WOOCHEOL CHOI AND YONG-CHEOL KIM where µu, x, y = 2 ux ux + y ux y and the kernel K : R n \ {0} R + satisfy the property.2 c n,s λ y n+2s Ky = K y c n,s Λ, s 0,, 0 < λ < Λ <. y n+2s Set L = {L K : K K} where K denotes the family of all kernels K satisfying.2. In particular, if Ky = c n,s y n 2s where c n,s is the normalization constant comparable to s s given by cosξ.3 c n,s R ξ n+2s dξ =, n then L K = s is the fractional Laplacian and it is well-known that lim u = u s s for any function u in the Schwartz space SR n. We focus our attention on the nonlocal Schrödinger operator L = L K + with potential ; as a matter of fact, we consider the nonlocal Schrödinger equation with potential given by { L u = 0 in Ω,.4 u = g in R n \ Ω, where K K and is a nonnegative potential with L loc Rn. Then we are interested in L p -estimates and L p L q estimates for the inverse S of the nonlocal Schrödinger operator with nonnegative potential to be given in Section 6. Let Ω be a bounded open domain in R n with Lipschitz boundary and let K K. Let XΩ be the linear function space of all real-valued Lebesgue measurable functions v on R n such that v Ω L 2 Ω and vx vy 2 x y n+2s dx dy <. R 2n \Ω c Ω c Set X 0 Ω = {v XΩ : v = 0 a.e. in R n \ Ω }. For g H s R n, we consider the convex set of H s R n given by X g Ω = {v H s R n : g v X 0 Ω}. Let RH q for q > n 2s and s 0,. Then we say that a function u X gω is a weak solution of the nonlocal equation.4, if it satisfies the weak formulation ux uyϕx ϕykx y dx dy + u, ϕ L2 Ω = 0 R 2n \Ω c Ω c for any ϕ X 0 Ω. We now state our main theorems as follows. Theorem.. Let RH q for q > n 2s with s 0, and n 2. Then there are constants ε, C > 0 depending only on n, λ, and s such that C 0 e x y Ξ ε + 2 x y m x s d 0 + x y n 2s for any x, y R n, where Ξx = k=0 xk /k! n 2 +s, d 0 > 0 is the constant given in Lemma 3.2 and m is the fractional auxiliary function to be given in Section 3.

3 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 3 The main step in proving Theorem. is to obtain an improved version of the weak Harnack inequality for weak solutions of the equation.4 as follows. To get this, certain type of Caccioppoli estimates for weak solutions of the equation.4 to be obtained in Section 5 will play an important role. Theorem.2. Let s 0, and x 0 Ω. If u is a nonnegative weak solution of the equation.4 in Ω, then there are universal constants ε, C > 0 depending only on n, s, λ, Λ such that sup u B R2 x 0 C Ξ ε + R m x 0 s d 0 + R n u 2 2 y dy. B R x 0 for any R 0, dx 0, Ω, where Ξx = k=0 xk /k! n 2 +s, d 0 > 0 is the constant in Lemma 3.2 and m is the fractional auxiliary function to be given in Section 3. In the next, we get mapping properties of L K S from L p R n into L p R n for p [, q], whenever RH q for q > n 2s with s 0, and n 2 Theorem.3. If RH q is nonnegative for q > n 2s with s 0, and n 2, then there is a universal constant C = Cn, s, q > 0 such that L K S f Lp R n C f Lp R n for any p with p q, where S = L K +. For any p, q with < p q <, s 0,, θ [0, n, and n 2, we write { Γ θ = p, 0, 0, : p q q = θn }, p q and W = m 2s θ. Denote by θ = {p, q,, : /p, /q Γ θ }. Let us introduce the weak L p R n space which is denoted by L p, R n. For 0 < p <, the space L p, R n is the class of all real-valued Lebesgue measurable functions g on R n such that g L p, R n := sup γ ω g γ /p < γ>0 where ω g γ = {y R n : gy > γ} for γ > 0. In fact, it is a quasi-normed linear space for 0 < p <. Then we obtain the mapping properties of M W S in the following theorem, where M W is the multiplication operator, i.e. M W f = W f. Theorem.4. Let RH τ be nonnegative for τ > n 2s with s 0, and n 2. a If p, q θ [0,2s θ {, }, then we have that M W S f L q R n C a f L p R n with a constant C a = C a n, s, λ, p > 0. b If p =, then there is a universal constant C b = C b n, s, λ > 0 such that n n 2s. M W S f L q, R n C b f L R n for any q [, c If p, q 2s, then there is a universal constant C c = C c n, s, λ, p > 0 such that M W S f L q, R n C c f L p R n for any q n 2s,. n

4 4 WOOCHEOL CHOI AND YONG-CHEOL KIM Figure. The range of p, q valid in Theorem.4 The paper is organized as follows. In Section 2, we define several function spaces and give the fractional Poincaré inequality which was proved in [BBM, MS]. In Section 3, we introduce the fractional auxiliary function m x related with certain potential RH q for q > n 2s and 0 < s <, and deduce a nonlocal version of the Feffereman-Phong inequality [F] associated with and m. In Section 4, we also get a weak Harnack inequality for nonnegative weak subsolutions of the equation { L K u = 0 in Ω,.5 u = g in R n \ Ω, where g H s R n and Ω is a bounded open domain in R n with Lipschitz boundary. In Section 5, we furnish a relation between the weak solutions weak subsolutions and weak supersolutions of the nonlocal Schrödinger equation and the minimizers subminimizers and superminimizers of its energy functional, respectively, and also get a Caccioppoli estimate for weak solutions of the equation. In Section 6, we get an explicit improved upper bound of e. Finally, we obtain L p -estimate and L p L q estimates for the inverse of the nonlocal Schrödinger operator L with potential in Section Preliminaries Denote by F n the family of all real-valued Lebesgue measurable functions on R n. Let Ω be a bounded open domain in R n with Lipschitz boundary and let K K. Let XΩ be the linear function space of all Lebesgue measurable functions v F n such that v Ω L 2 Ω and where we denote by R 2n D R 2n Ω vx vy 2 x y n+2s dx dy < := R2n \ D c D c for a set D R n. We also set 2. X 0 Ω = {v XΩ : v = 0 a.e. in R n \ Ω }

5 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 5 Since C0Ω 2 X 0 Ω, we see that XΩ and X 0 Ω are not empty. Then we see that XΩ, XΩ is a normed space, where the norm XΩ is defined by vx vy 2 /2 2.2 v XΩ := v L 2 Ω + R 2n x y n+2s dx dy <, v XΩ. Ω For p, let W s,p Ω be the usual fractional Sobolev spaces with the norm 2.3 v W s,p Ω := v Lp Ω + [v] W s,p Ω < where the seminorm [ ] W s,p Ω is defined by vx vy p /p [v] W s,p Ω = x y n+sp dx dy. Ω Ω Denote by H s Ω = W s,2 Ω and let H s c R n be the class of all functions in H s R n with compact support in R n. By [S], there exists a constant c > depending only on n, λ, s and Ω such that 2.4 v X0Ω v XΩ c v X0Ω for any v X 0 Ω, where 2.5 v X0Ω := R 2n Ω R 2n Ω vx vy 2 /2 x y n+2s dx dy. Thus X0Ω is a norm on X 0 Ω equivalent to 2.4. Moreover it is known [S] that X 0 Ω, X0Ω is a Hilbert space with inner product ux uyvx vy 2.6 u, v X0Ω := x y n+2s dx dy. Lemma 2.. Let s 0, and h > 0. If K K 0 and u X 0 Ω, then we have the following properties; for any x R n and ϱ 0, h, i ϱ 2 x y 2 Kx y dy + Kx y dy Θ n,s ϱ 2s, ii Λ c n,s x y <ϱ Ω Ω x y ϱ ux uy 2 Kx y dx dy u 2 W s,2 Ω ux uy 2 Kx y dx dy λ c n,s Ω Ω where Θ n,s = ωnλ s and ω n denotes the surface measure of the unit sphere S n. Proof. Refer to [FK] for i. Also the proof of ii is very straightforward. Next we give the fractional Poincaré inequality, which was proved in [BBM, MS]. Proposition 2.2. Let n, p, s 0, and sp < n. universal constant c n,p > 0 depending only on n, p such that for any ball B R n. u u B p L p B c n,p s B sp n n sp p u p W s,p B Then there is a

6 6 WOOCHEOL CHOI AND YONG-CHEOL KIM 3. The fractional auxiliary function m x A locally integrable function in R n that takes values in [0, almost everywhere is called a weight. For p and a weight w L loc Rn, let L p wω be the weighted L p class of all real-valued measurable functions g on R n satisfying g L p w Ω := gy p p wy dy <. Ω Consider a class of weights, so-called the Muckenhoupt A p -class, satisfying the following conditions [St]; Let p <. Then we say that a weight w L loc Rn satisfies the A p -condition and we denote by w A p, if there is a universal constant C > 0 such that 3. B B p wy dy wy p C for p < B B for all balls B in R n here, the second L p -average of w on B must be replaced by w L B, when p =. The smallest constant C in 3. is called the A p - norm of w and denoted by [w] Ap. If w A := p A p, then w A p for some p. In this case, it is well-known that w satisfies a reverse Hölder s inequality with exponent q = +η > ; that is, there are universal constants C > 0 and η > 0 depending only on n, p and [w] Ap such that 3.2 wy q q C dy wy dy B B B B for all balls B in R n Let RH q be the class of all weights w satisfying 3.2 for some q >, and let RH be the class of all weights w satisfying that there is a universal constant C > 0 such that w L B C wy dy B B for all balls B in R n. Thus it is obvious that if w A then there is some q > such that w RH q, and also RH is a subclass of any RH q. Moreover, if w RH q for q >, then it is well-known that w A, which is equivalent to the following condition; there are some α 0, β 0 0, such that 3.3 {x B : wx α0 w B } β0 B for all balls B in R n, where w B = B wy dy denotes the average of w on B. B Throughout this paper, we shall assume that RH q for some q > n 2s with s 0, and n 2. We will consider the auxiliary function to be used in measuring an efficient growth of such weight function, which was introduced by Shen [S]; as a matter of fact, we are considering the nonlocal adaptation of such auxiliary function. For r 0,, s 0, and x R n, we set 3.4 G s x, r = r n 2s B rx z dz. In this case, using Hölder s inequality, it is quite easy to check that G s n x, r R 3.5 G s x, R c q 2s 0 r

7 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 7 with a universal constant c 0 > 0, for any x R n, s 0, and 0 < r < R <. The assumption q > n 2s and 3.5 imply that 3.6 lim r 0 G s x, r = 0 and lim r Gs x, r = for any x R n and s 0,. For s 0,, x R n and RH q with q > n 2s, we define 3.7 m x = sup{ρ > 0 : Gs x, ρ }. From 3.6, it is trivial that 0 < m x < for all x R n. If m x = /ρ, then we see that 3.8 G s x, ρ =. Moreover, it follows from 3.7 that 3.9 G s x, ρ if and only if m x ρ. In addition, we mention an well-known fact that the measure z dz satisfies the following doubling condition; that is, there is a universal constant c > 0 such that 3.0 z dz c z dz, B 2rx provided that RH q for q >. B rx For the fractional auxiliary function m x, we have the following inequalities whose proof is a nonlocal adaptation of that in [S]. Lemma 3.. For s 0,, there are universal constants C 0, d 0 > 0 such that a m x m y if x y C 0 m x, b m y C 0 + x y m x d 0 m x for any x, y R n, c m y m x C 0 + x y m x d 0 d 0 + for any x, y R n. Proof. a Assume that x y C 0 ρ where m x = /ρ. Since the measure dz has the doubling condition 3.0, by 3.8 we see that G s y, ρ G s x, ρ =. Thus it follows from 3.9 that m y m x. b Assume that x y 2 k ρ for k N. For ρ 0, ρ, we choose some j N so that 2 j ρ 2 k ρ. Then by 3.5 and 3.0 we have that z dz c 0 2 j[n/q n] z dz C 2 j[n/q n] z dz B ρ y C 2 j[n/q n] B 2 j ρ y B 2 k ρ x = c k C 2 j[n/q n] ρ n 2s. z dz c k C 2 j[n/q n] B 2 k ρ y B ρx z dz

8 8 WOOCHEOL CHOI AND YONG-CHEOL KIM Thus this leads us to obtain that G s y, ρ c k C 2 j[n/q n] ρ ρ n 2s C[2 n/q n c ] k ρ ρ n/q 2s. If we choose some large number C > 0 so that 3. then by 3.7 we conclude that 3.2 G s y, ρ a 0 for ρ C k ρ, m y C k ρ. Hence it follows from 3. and 3.2 that m y C k m x C 0 + x y m x d 0 m x where d 0 = log 2 C. c Without loss of generality, we may assume that x y /m y; for, otherwise it can be shown by a. From b, we have that m x C 0 + x y m y d 0 m y C 0 x y d0 [m y] d0+. Therefore we obtain that m y [m x] d 0 + C 0 x y d 0 d 0 + m x C 0 + x y m x d 0 d 0 + Hence we complete the proof. In the following lemma, we get a nonlocal version of Feffereman-Phong inequality [F] related with the potential and the fractional auxiliary function m. Lemma 3.2. Let n, s 0, and 2s < n. If u Hc s R n, then there exists a universal constant C 0 = C 0 n, s > 0 such that ux 2 [m x] 2s dx C 0 u 2 Hs R n + u 2 L 2 R n Rn. Proof. We take any z R n. Let B = B η z and set m z = /η for η > 0. By 3.8, we then observe that 3.3 B = By Proposition 2.2, we have that 3.4 where d n,s = 3.5 B B ux uy 2 x y n+2s dx dy n 2s 2 c n,2 s B B η 2s. d n,s B η n+2s ux uy 2 dx dy B B. Also we easily obtain the following equality ux 2 x dx = c n η n uy 2 y dx dy B B where c n = / B. Since A, by 3.3 there are universal constants α 0, β 0 0, not depending on B such that 3.6 {x B : x > α0 B } β0 B..

9 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 9 By 3.3 and 3.6, adding up 3.4 and 3.5 yields that ux uy 2 B B x y n+2s dx dy + uy 2 y dy B d n,s c n α η n y ux 2 dx dy B η2s B B α 0β 0 d n,s c n 2 η 2s B ux 2 dx. Thus by 3.7 and a of Lemma 3. we have that ux 2 [m x] 2s dx c B η 2s ux 2 dx B 3.8 ux uy 2 C x y n+2s dx dy + B B where the constant C = C n,s is given by C := 2 c α 0 β 0 d n,s c n. B ux 2 x dx, Applying a of Lemma 3. again, by 3.8 we obtain that ux 2 [m x] n+2s dx B ux uy 2 C B B x y n+2s [m x] n dx dy + ux 2 x [m x] n dx. B Since B B = {x, y R n R n : x z y z < η}, integrating both sides of the above inequality in z over R n and changing the order of integrations yield that ux 2 [m x] n+2s dz dx R n B ρx Rn Rn ux uy 2 C x y n+2s [m x] n dz dx dy z x z y <ρ + C ux 2 x [m x] n dz dx, R n B ρx where ρ = /m x. Here we note that 3.9 dz z x z y <ρ B ρx dz = B [m x] n. Therefore we complete the proof by using the fact that u is supported in Ω. Lemma 3.3. For RH q with q > n 2s and s 0,, there are some universal constants d > 0 and C = Cn, s > 0 such that R n 2s y dy C [R m x] d whenever R m x. B R x Proof. Set r = /m x. If R m x, then we may write 2 k r R < 2 k r for k N. By 3.8 and the doubling condition 3.0, we have that y dy c k y dy = c k r n 2s. B R x B rx

10 0 WOOCHEOL CHOI AND YONG-CHEOL KIM Thus we conclude that n 2s r R n 2s y dy c k 2 n 2s c 2 2s n k C [R m x] d, R B R x where d = log 2 c + 2s n. Hence we are done. 4. A weak Harnack inequality In this section, we obtain a weak Harnack inequality of the weak solution to the following nonlocal elliptic boundary value problem { L K u = 0 in Ω, 4. u = g in R n \ Ω, where g H s R n. In what follows, we consider a bilinear form by 4.2 u, v K = ux uyvx vykx y dx dy for u, v XΩ. R n R n For given g H s R n, we consider the convex subsets of H s R n by 4.3 X ± g Ω = {v H s R n : g v ± X 0 Ω}, X g Ω := X + g Ω X g Ω = {v H s R n : g v X 0 Ω}. The weak formulation of the equation 4. is as follows; if u X g Ω is a weak solution of the equation 4., then it satisfies that 4.4 u, ϕ K = 0 for all ϕ X 0 Ω. Moreover, we observe that the weak solution u is the minimizer of the energy functional 4.5 Ev = vx vy 2 Kx y dx dy, v X g Ω. R n R n Definition 4.. A function u X g Ω X + g Ω is said to be a weak subsolution weak supersolution of the equation 4., if it satisfies that 4.6 u, ϕ K 0 for every nonnegative ϕ X 0 Ω. Also a function u is a weak solution of the equation 4., if it is both a weak subsolution and a weak supersolution. So any weak solution u of 4. must be in X g Ω and satisfy 4.4. In the next, we consider the definition of subminimizer and superminimizer of the functional in 4.5 to get better understanding about weak subsolutions and supersolutions. Definition 4.2. Let g H s R n. a A function u X g Ω is said to be a subminimizer of the functional 4.5 over X g Ω, if it satisfies that Eu Eu + ϕ for all nonpositive ϕ X 0 Ω. A function u X + g Ω is said to be a superminimizer of the functional 4.5 over X + g Ω, if it satisfies that Eu Eu + ϕ for all nonnegative ϕ X 0 Ω.

11 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL b A function u is said to be a minimizer of the functional 4.5 over X g Ω, if it is both a subminimizer and a superminimizer. So any minimizer u must be in X g Ω and satisfies that Eu Eu + ϕ for all ϕ X 0 Ω. Theorem 4.3. If s 0,, then there is a unique minimizer of the functional 4.5. Moreover, a function u X g Ω X + g Ω is a subminimizer superminimizer of the functional 4.5 over X g Ω X + g Ω if and only if it is a weak subsolution weak supersolution of the equation 4.. In particular, a function u X g Ω is a minimizer of the functional 4.5 if and only if it is a weak solution of the equation 4.. Proof. Applying standard way of calculus of variations, we proceed with our proof. Take any minimizing sequence {u k } X g Ω. By the fractional Sobolev inequality [DP], we can take a subsequence {u kj } X g Ω which converges strongly to u in L 2 Ω. Then there is a subsequence {u ki } of {u kj } converging a.e. in Ω to u X g Ω. Thus it follows from Fatou s lemma that the energy functional E is weakly lower semicontinuous on X g Ω. This implies that u is an actual minimizer of 4.5. Also the uniqueness of the minimizer easily follows from the strict convexity of the functional 4.5. Next, we prove the equivalence only for the weak supersolution case, because the other cases can be shown in a similar way. First, if u X + g Ω, then we note that 4.7 Eu + ϕ Eu = 2 u, ϕ XΩ + ϕ 2 X 0Ω for all nonnegative ϕ X 0 Ω. Thus this implies that a weak supersolution u X + g Ω of the equation 4. is a superminimizer of the functional 4.5 over X + g Ω. On the other hand, we assume that u X + g Ω is a superminimizer of the functional 4.5. Then by 4.7 we see that 2 u, ϕ XΩ + ϕ 2 X 0Ω 0 for all nonnegative ϕ X 0 Ω. Since εϕ X 0 Ω and it is nonnegative for any ε > 0 and ϕ X 0 Ω, we have that 2 u, ϕ XΩ + ε ϕ 2 X 0Ω 0 for any ε > 0. Taking ε 0, we conclude that u, ϕ XΩ 0 for any nonnegative ϕ X 0 Ω. Thus u is a weak supersolution of the equation 4.. Therefore we complete the proof. As in [DKP2], we consider the nonlocal tail T f; x 0, R of a function f in the open ball B R x 0 Ω with center x 0 R n and radius R > 0, which plays a crucial role in the regularity results of the nonlocal equations unlike the local equations. For f X 0 Ω and r > 0, we define T f; x 0, r = r 2s fy dy. y x 0 n+2s R n \B rx 0 We note that this nonlocal tail is well-defined because X 0 Ω is compactly imbedded in L 2 Ω by the fractional Sobolev inequality on XΩ [DP] for a bounded domain Ω R n with Lipschitz boundary. Next, we mention some results on local boundedness and nonlocal tail properties of weak subsolutions of the equation 4. obtained in [DKP, DKP2].

12 2 WOOCHEOL CHOI AND YONG-CHEOL KIM Theorem 4.4. Let u X g Ω be a weak subsolution of the equation 4. where g H s R n, and let s 0, and B r x 0 Ω. Then there is a constant c > 0 depending only on n, s, λ and Λ such that sup u δ T u + ; x 0, r/2 + c δ n 4s B r/2 x 0 /2 [u + y] 2 dy B r x 0 B rx 0 for any δ 0, ]. Moreover, if u 0 in B R x 0 Ω with 0 < r < R, then there is a constant c 2 > 0 depending only on n, s, λ and Λ such that 2s r T u + ; x 0, r c 2 sup u + c 2 T u ; x 0, R. B rx 0 R Next we shall prove a weak Harnack inequality of nonnegative weak subsolutions of the equation 4. by using Theorem 4.4. Interestingly, this estimate no longer depends on the nonlocal tail term of the weak solution, but the proof is quite simple. Proposition 4.5. Let u X g Ω be a nonnegative weak subsolution of the equation.6 where g H s R n, and let s 0, and B r x 0 Ω. Then there is a constant C > 0 depending only on n, s, λ and Λ such that sup u C B r/2 x 0 B r x 0 B rx 0 u 2 y dy /2. Proof. We take some δ 0, ] so that δc 2 > 0 and choose some R > r with B R x 0 Ω. Then by Theorem 4.4 we have that 2s r sup u δc 2 sup u + δc 2 T u ; x 0, R B r/2 x 0 B r/2 x 0 R /2 + c δ n 4s u 2 y dy. B r x 0 B rx 0 Since T u ; x 0, R = 0, we can obtain the required result by taking Hence we complete the proof. C = c δ n 4s δc Weak solutions and Caccioppoli estimate for nonlocal Schrödinger operators L In this section, we give a relation between weak solutions weak subsolutions and weak supersolutions for the nonlocal Schrödinger equation and minimizers subminimizers and superminimizers of its energy functional, respectively. Also, we obtain a certain type of Caccioppoli estimate for nonnegative weak subsolutions of the nonlocal Schrödinger equation. Definition 5.. Let g H s R n and RH q for q > n 2s and s 0,. Then we say that a function u X g Ω is a weak solution of the nonlocal equation { L u = 0 in Ω, 5. u = g in R n \ Ω,

13 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 3 if it satisfies the weak formulation 5.2 u, ϕ K + u, ϕ L 2 R n = 0 for any ϕ X 0 Ω. In fact, it turns out that the weak solution of the equation 5. is the minimizer of the energy functional 5.3 E v = Ev + v 2 L 2 Rn, v Y gω := X g Ω L 2 R n, where g H s R n. We consider function spaces Y + g Ω and Y g Ω defined by Y ± g Ω = {v Y g Ω : g v ± X 0 Ω}. Then we see that Y g Ω = Y + g Ω Y g Ω. When u = g = 0 in R n \ Ω, we easily see that Y 0 Ω = X 0 Ω L 2 Ω and Y 0Ω is a Hilbert space with the inner product defined by u, v Y0Ω = u, v X0Ω + u, v L 2 Ω. Moreover, we see that Y 0 Ω = X 0 Ω and they are norm-equivalent refer to [CK]. As in Section 4, we define weak subsolutions and weak supersolutions of the nonlocal equation 5. in the following definition. Definition 5.2. Let g H s R n. A function u Y g Ω Y + g Ω is said to be a weak subsolution weak supersolution of the equation 5., if it satisfies that 5.4 u, ϕ K + u, ϕ L 2 R n 0 for every nonnegative ϕ X 0 Ω. Also a function u is a weak solution of the equation 5., if it is both a weak subsolution and a weak supersolution. So any weak solution u of 5. must be in Y g Ω and satisfy 5.2. In the next, we furnish the definition of subminimizer and superminimizer of the functional 5.3 to understand well weak subsolutions and supersolutions of the nonlocal Schrödinger equation 5.. Definition 5.3. Let g H s R n. a A function u Y g Ω is said to be a subminimizer of the functional 5.3 over Y g Ω, if it satisfies that E u E u + ϕ for all nonpositive ϕ X 0 Ω. Also, a function u Y + g Ω is said to be a superminimizer of the functional 5.3 over Y + g Ω, if it satisfies that E u E u + ϕ for all nonnegative ϕ X 0 Ω. b A function u is said to be a minimizer of the functional 5.3 over Y g Ω, if it is both a subminimizer and a superminimizer. So any minimizer u must be in Y g Ω and satisfy that E u E u + ϕ for all ϕ X 0 Ω. Let YΩ be the normed subspace of XΩ which is endowed with the norm u YΩ := u 2 XΩ + u 2 <, u YΩ. L 2 Ω In order to obtain the existence of the minimizer of the functional E on Y g Ω, we need a compactness theorem YΩ L 2 Ω as follows. Theorem 5.4. Let n, s 0, and 2s < n. If u YΩ, then there exists a universal constant C > 0 depending on n, s and λ such that u L2 Ω C u YΩ. Moreover, any bounded sequence in YΩ is precompact in L 2 Ω.

14 4 WOOCHEOL CHOI AND YONG-CHEOL KIM Proof. Since u Hs Ω cλ u XΩ cλ u YΩ for any u YΩ, it follows from the fractional Sobolev inequality [DP] that u L2 Ω C u Hs Ω C u YΩ. Thus the precompactness in L 2 Ω can be obtained by weak compactness. Lemma 5.5. If s 0,, then there is a unique minimizer of the functional 5.3. Moreover, a function u Y g Ω Y + g Ω is a subminimizer superminimizer of the functional 5.3 over Y g Ω Y + g Ω if and only if it is a weak subsolution weak supersolution of the equation 5.. In particular, a function u Y g Ω is a minimizer of the functional 5.3 if and only if it is a weak solution of the nonlocal equation 5.. Proof. We proceed with our proof as in Lemma 4.4. Take any minimizing sequence {u k } Y g Ω. By applying Theorem 5.4, we can take a subsequence {u kj } Y g Ω such that u in L 2 Ω u kj as j. So there exist a subsequence {u ki } of {u kj } which converges a.e. in Ω to u Y g Ω. Thus, by applying Fatou s lemma, we can show that the energy functional E is weakly semicontinuous in Y g Ω. This implies that u is a minimizer of 5.3. The uniqueness of the minimizer also follows from the strict convexity of the functional 5.3. Next, we show the equivalency only for the weak supersolution case, because the other case can be done in a similar way. First, if u Y + g Ω, then we observe that 5.5 E u + ϕ E u = 2 u, ϕ K + 2 u, ϕ L 2 R n + ϕ 2 X 0Ω + ϕ 2 L 2 Ω for all nonnegative ϕ X 0 Ω. This implies that a weak supersolution u Y + g Ω of the equation 5. is a superminimizer of the functional 5.3 over Y + g Ω. On the other hand, we suppose that u Y + g Ω is a superminimizer of the functional 5.3. Then it follows from 5.5 that 2 u, ϕ K + 2 u, ϕ L2 R n + ϕ 2 X 0Ω + ϕ 2 L 2 Ω 0 for all nonnegative ϕ X 0 Ω. Since εϕ X 0 Ω and it is nonnegative for any ε > 0 and ϕ X 0 Ω, we obtain that 2 u, ϕ K + 2 u, ϕ L 2 R n + ε ϕ 2 X 0Ω + ε ϕ 2 L 2 Ω 0 for any ε > 0. Taking ε, we can conclude that u, ϕ K + u, ϕ L 2 R n 0 for any nonnegative ϕ X 0 Ω. Hence u is a weak supersolution of the equation 5.. Therefore we are done. Lemma 5.6. If α, β R and a, b 0, then we have the equality β αb 2 β a 2 α = bβ aα 2 αβb a 2 Proof. By simple calculation, we have that β αb 2 β a 2 α = b 2 β 2 2abαβ + a 2 α 2 + 2abαβ b 2 αβ a 2 αβ Hence we are done. = bβ aα 2 αβb a 2.

15 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 5 Next we will prove the following type of Caccioppoli estimate for weak solutions of the equation 5.. Lemma 5.7. Let s 0, and x 0 Ω. Suppose that u is a nonnegative weak subsolution of the nonlocal equation 5. in Ω. Then there is a constant C > 0 depending only on n, s, λ and Λ such that u 2 L 2 B R x0 + λ c n,s φ u 2 H s R n 20 Θ n n,s + C R R r 2s u 2 L R r 2 B R x 0 for any r 0, dx 0, Ω/2 and any R r, 2r], where Θ n,s is the constant in Lemma 2.3 and φ is the function defined by R x x 0 φx = φ r,r,x 0 x := R r 0, where r < R = R + r/2 < R. Proof. We use ϕx = φ 2 xux as a testing function in 5.2. Then we note that 5.6 u, ϕ XΩ + u, ϕ L 2 Ω = u, ϕ K + u, ϕ L 2 R n 0. Applying Lemma 5.6, we obtain that u, ϕ XΩ = R 2n Ω ux uy ϕx ϕy Kx y dx dy 2 = ux uy Kx y dx dy Br 2x0 2 + φxux φyuy Kx y dx dy R 2n Ω \B2 r x0 2 φx φy ux uy Kx y dx dy R 2n Ω \B2 r x0 where B 2 r x 0 := B r x 0 B r x 0. Thus by 5.6 we have that 5.7 B rx 0 x u 2 x dx + R 2n Ω φxux φyuy 2 Kx y dx dy R 2n Ω \B2 r x0 φx φy 2 ux uy Kx y dx dy := I. From the property of φ, we see that 5.8 sup x,y R n Since we have the estimate φx φy 2 x y R r R r 2. y x y x 0 x x 0 R r y x 0 2R for any x, y B R x 0 B c Rx 0,

16 6 WOOCHEOL CHOI AND YONG-CHEOL KIM it follows from Lemma 2., 5.7, 5.8 and Cauchy s inequality that I = 2 φx φy u 2 x + u 2 y Kx y dx dy 2 BR 2 x0\b2 r x0 + 2 φ 2 x ux uy Kx y dx dy B R x 0 BR c x0 2 φx φy u 2 x Kx y dx dy BR x0 + 2 φ 2 x ux uy Kx y dy dx B R x 0 B2R c x0 4 Θ n,s R r 2s u 2 L 2 B R x 0 n+2s 2R uy + Λ c n,s u L R r BRx0 dy. y x 0 n+2s B c R x0 Since T u ; x 0, R = 0, it follows from Theorem 4.4 and Proposition 4.5 that 4 Θ n,s R r 2s u 2 L 2 B R x 0 R 2 n+2s Λ c n,s R r I 2n+4 c 2 Λ c n,s R r 2s R R r C R R r 2s R r C R = R r 2s R r n+2s B R x 0 2 u L2 B R x 0 n B R x 0 2 u L 2 B R x 0 sup u B R/2 x 0 n B R x 0 2 u L2 B R x 0 n u 2 L 2 B R x 0. Thus, by 5.7, we obtain that x ux 2 dx + λ c n,s 5.0 B rx 0 R 2n Ω I 4 Θ n,s + C R r 2s 2s R T u; x 0, R/2 2 B R x 0 B R x 0 u 2 2 y dy φxux φyuy 2 x y n+2s dx dy n R u 2 L R r 2 B R x. 0 Using ϕx = φ 2 0xux as a testing function where φ 0 = φ R,R,x 0 for r < R < R = 3R + r/4 < R, via the same way as the above we arrive at the estimate x ux 2 φ 0 xux φ 0 yuy 2 dx + λ c n,s B R x 0 R 2n Ω I 6 Θ n,s + C R r 2s R R r x y n+2s dx dy n u 2 L 2 B R x. 0 Combining this with 5.0, the required estimte can be achieved. [Proof of Theorem.2] Let s 0, and x 0 Ω. Given k N, let l i = i 4k and R i = l i R for i =,, k +, and also let Ri = R i + 8k R for i =,, k.

17 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 7 For i =,, k, let us denote by R φ i x = i x x 0 Ri R i 0 with R i < Ri = Ri+Ri+ 2 < R i+. Fix any i =,, k and any R 0, dx 0, Ω. Applying Lemma 3.2 with φ i u, it follows from Lemma 5.7 that uy 2 [m y] 2s dy C n,s u 2 L 2 B Ri x B R x0 + φ iu 2 H s R n 0 i 5. C kn+2s R 2s u 2 L 2 B Ri+ x, 0 because R i+ R i = 4k R and R i+ R i+ R i 4k. From c of Lemma 3. and 5., we obtain that u 2 L 2 B Ri x 0 C kn+2s + Rm x 0 2sd0 d 0 + R 2s [m x 0 ] 2s u 2 L 2 B Ri+ x 0. Continuing this process k-times from i = to i = k yields that u 2 Ck k n+2sk + Rm x 0 2skd0 d 0 + L 2 B 3R4 x 0 R 2sk [m x 0 ] 2sk u 2 L 2 B R x. 0 Applying Proposition 4.5, we can derive from the above inequality that 5.2 sup u C k 2 k n 2 +sk + R m x 0 skd0 d 0 + B R2 x 0 R sk [m x 0 ] sk R n u 2 y dy B R x 0 2. From the well-known Stirling s formula k k e k k!2πk /2 as k, we see that there is a constant c 0 > 0 such that k k c 0 e k k! for any k N. Combining 5.2 with Proposition 4.5 yields that 5.3 sup B R2 x 0 u R n B R x 0 u2 y dy 2 C k 2 k n 2 +sk + R m x 0 skd0 d 0 + R sk [m x 0 ] sk cs 0 C k 2 e n 2 +sk k! n 2 +s + R m x 0 sk d 0 + for all k N. Multiplying 5.3 by [ + R m x 0 sk d 0 + ε k ]/k! n 2 +s and adding up on k N where the constant ε > 0 is chosen so small that ε e n 2 +s C /2 <, we obtain that Ξ ε + R m x 0 s d 0 + sup u B R2 x 0 = sup B R2 x 0 u c s 0 C n ε e k=0 R n k=0 2 +s C /2 k B R x 0 ε + R m x 0 s d 0 + k k! n 2 +s R n u 2 2 y dy B R x 0 u 2 2 y dy.

18 8 WOOCHEOL CHOI AND YONG-CHEOL KIM Hence we conclude that sup u B R2 x 0 C Ξ ε + R m x 0 s d 0 + R n u 2 2 y dy. B R x 0 [Proof of Theorem.] Let e be a fundamental solution for the operator L = L K +. By Theorem. [CK], we have that e x y C x y n 2s. Take any x R n. Since suppδ y = {y}, we see that uz := e z y satisfies the nonlocal equation 5. on B R x where R = x y /2. Applying Theorem.2 to uz, we obtain that e x y sup u B R2 x C Ξ ε + R m x s d 0 + R n uz 2 2 dz. B R x Since R = x y /2, we see that z y x y z x x y /2 for any z B R x, and thus we have that Hence we are done. C e x y Ξ ε + 2 x y m x s d 0 + x y. n 2s Corollary 5.8. Let RH q be a nonnegative potential for q > n 2s with s 0, and n 2. Then for any N > 0 there exists a constant C N > 0 possibly depending on n, λ, s such that 0 e x y C N + x y m x N x y n 2s for x, y R n. Proof. For any N 0,, it is easy to check that C N = sup t>0 t N Ξt <. Hence the required estimate immediately follows from Theorem.. 6. L p and L p L q mapping properties of the inverse of the nonlocal Schrödinger operator In this section, we consider the nonhomogeneous nonlocal Schrödinger equation with potential given by 6. L K u + u = f in R n, where RH q is nonnegative for q > n 2s with s 0, and n 2. Then we see that the function 6.2 ux = e x yfy dy R n is a solution of the equation 6.. We denote the solution by S fx := ux, and so we may write S = L K +. We call S the inverse of the nonlocal Schrödinger operator with nonnegative potentials.

19 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 9 [Proof of Theorem.3.] Set r = /m x. Then by 6.2 we may write S fx = e x yfy dy + e x yfy dy 6.3 B rx R n \B rx := S fx + S 2 fx. By 5.4 and Hölder s inequality, we have that 6.4 S fx C r 2s n q fy q dy B rx B y m y q. Then it follows from 6.4 and changing the order of integrations that S f q L q R n C fy q q x dy R n B x m 2sq n x dx m x 6.5 = C fy q q x R n m 2sq n x dx dy. By Lemma 3. and Lemma 3.3, we obtain that q x m 2sq n x dx C m 2sq n y 6.6 B y m y C m 2sq y C. From 3.2, 6.5 and 6.6, we have that B y m y m n y q x dx B y m y 6.7 S f L q R n C f L q R n for q > n 2s. q x dx Using Hölder s inequality as in 6.4 and applying 3.2, Lemma 3., Lemma 3.3 and changing the order of integrations, we obtain that S x f L R n C fy dx dy R x y n 2s n 6.8 C fy R m 2s n y C fy R n C f L R n. B y m y m n 2s y m n y B y m y B y m y q q x dx dy x dx dy From standard interpolation argument between the estimates 6.7 and 6.8, we have that 6.9 M S f L p R n C f L p R n for any p with p q.

20 20 WOOCHEOL CHOI AND YONG-CHEOL KIM To deal with S 2 fx, we note that Corollary 5.8 and Hölder s inequality yield S 2 fx C N B c r x C N r 2s /p fy + x y m x N dy x y n 2s B c r x fy p + x y m x N dy x y n 2s for p q and r = /m x, provided that N > 2s. Thus we have that p 6.0 S 2 f p L p R n C N fy p R n B c y m y m 2s p x p x dx + x y m x N x y n 2s dy. If we set N = N 2sp d0 d 0+ and S k = B 2 k y \ B 2 k y for each k N, then m y m y it follows from c of Lemma 3., 3.2, 3.0 and Lemma 3.3 that 6. B c y m y m 2s p x p x dx + x y m x N x y n 2s B c y m y p x dx m 2sp y + x y m y N x y n 2s C 2 2sk m 2sp y + 2 k N k= B 2 k y p x dx S k m y C 2 2sk m 2sp y + 2 k N B k= 2 k y B m y 2 k m y C 2 2sk c k m 2sp y + 2 k N B y k= B m y y m y C 2 N 2s log 2 c m n 2s y x dx C, k= B y m y p x dx y p x dx provided that N > 2q is chosen sufficiently large. From 6.0 and 6., we thus conclude that 6.2 M S 2 f p L p R n C f L p R n for any p with p q. From the definition of S, we observe that L K S f = f M S f for f L p R n with p q. Therefore the required result can easily be obtained from 6.9 and 6.2. [Proof of Theorem.4.] a For θ [0, n, let M θ g be the fractional maximal operator defined by M θ gx = sup gy dy, B x B θ n B p

21 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 2 where the supremum is taken over every ball B containing x. Then it is well-known in standard harmonic analysis [St] that there is a constant C = Cn, p, q > 0 such that 6.3 M θ g Lq R n C g Lp R n for any p, q with < p q < and θ = n p. Thus the proof of a of q Theorem.4 can easily derived from the following lemma. Lemma 6.. Let s 0,, n 2 and θ [0, 2s, and let RH τ be nonnegative for τ > n 2s. Then there is a constant C = Cn, s, λ, θ > 0 such that MW S fx C Mθ fx for any x R n. Proof. Take any x R n and set m x = /ρ for RH τ with τ > n 2s and s 0,. If 0 θ < 2s, then it follows from 6.2 and Corollary 5.8 that M W S fx = m 2s θ x S fx C m 2s θ fy x + x y m x dy 22s θ x y n 2s C C k= k= C M θ fx R n A k ρ x fy ρ 2s θ + 2 k 22s θ 2 k ρ 2 k n θ + 2 k 22s θ 2 k n 2s k= 2 k ρ n θ 2 k n θ + 2 k 22s θ 2 k n 2s n 2s dy B 2 k ρ x C M θ fx k2s θ C M k2s θ θ fx, k= k=0 where A k ρx = B 2k ρx \ B 2 k ρx. Hence we are done. fy dy b & c We note that B 0 θ n gy dy = gy dy B θ n B B / B 0 θ n B y x < B /n B 0 θ n gy dy x y n θ for any ball B R n with center x R n. This imples that the fractional maximal operator M θ is dominated by the Riesz potential I θ, i.e. 6.5 M θ gx C n,θ I θ g x = C n,θ g I θ x where C n,θ > 0 is certain constant depending only on n and θ [0, n and I θ is the Riesz kernel given by I θ y = y n+θ. Then it is easy to check that 6.6 I θ n L < for any θ [0, n. n θ, R n R n

22 22 WOOCHEOL CHOI AND YONG-CHEOL KIM Also, it is well-known [St] that there is a universal constant Cn, s > 0 such that 6.7 I θ g L q, R n Cn, s g L R n n for any q, n 2s. Thus we can easily derive b from 6.5 and 6.7. Finally, we can easily obtain c from 6.6 and Proposition 7. below, because p q = r = 2s n when r = n n 2s. Hence we complete the proof. 7. Appendix In order to obtain the mapping properties of M W S on the boundary of the trapezoidal area in Figure, we need the following estimates whose proof is selfcontained. Proposition 7.. If p [, and q, r, satisfy that 7. p q = r, then there is a constant C = Cp, q, r > 0 such that g h L q, R n C h L r, R n g L p R n for any g L p R n and h L r, R n. Moreover, C = Or p/q as r. Proof. For N > 0 and h L r, R n, we denote by L N = {y R n : hy N} and U N = {y R n : hy > N}. If we set h = h LN 7.2 It is easy to check that and h 2 = h UN, then we have that ω h γ = [ω h γ ω h N] 0,N γ, ω h2 γ = ω h N 0,N] γ + ω h γ N, γ for any γ > ω g h γ ω g h γ/2 + ω g h2 γ/2 for any γ > 0. From 7., we see that < r < p where p is the dual exponent of p. If p <, then by simple calculation and 7.2 we have that h y p dy = p γ p ω h γ dγ R n N = p γ p [ω h γ ω h N] dγ 0 N N p γ p r h r L r, R n dγ p γ p ω h N dγ 0 = p N p r p r h r L r, R n N p ω h N p N p r p r h r L r, R n, and so it follows from Hölder s inequality and 7.4 that g h L R n g L p R n h L p R n p N p r g Lp R n p r h r L r, R n /p.

23 NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL 23 If p =, then by applying Hölder s inequality again we obtain that 7.6 g h L R n g L p R n N. Fix any γ > 0 and choose some N so that γ p N p r /p 7.7 = p 2 g L p R n r h r L r, R n if p <, N if p =. On the other hand, by simple calculation and 7.2, we have that N h 2 y dy = ω h2 γ dγ = ω h N dγ + ω h γ dγ R n 0 0 N 7.8 N ω h N + N N r h r L r, R n + N r = rn r r h r L r, R n, γ r h r L r, R n dγ r h r L r, R n and thus it follows from Young s inequality and 7.8 that 7.9 g h 2 L p R n g L p R n h 2 L R n rn r r h r L r, R n g L p R n. By 7.6, 7.7, 7.9 and Chebychev s inequality, we conclude that 7.0 ω g h γ ω g h2 γ/2 2p γ p g h 2 p L p R n 2p rn r γ p r h r L r, R n g L p R n = Cq γ q h q L r, R n g q L p R n. Therefore the required result can be obtained from 7.0. p References [BBM] J. Bourgain, H. Brezis and P. Mironescu, Limiting embedding theorems for W s,p when s and applications, J. Anal. Math. 87, 2002, [CS] Luis A. Caffarelli and Luis Silvestre, An extension problem related to the fractional Laplacian, Comm. P.D.E. 328, 2007, [CK] Woocheol Choi and Yong-Cheol Kim, The Malgrange-Ehrenpreis theorem for nonlocal Schrödinger operators with certain potential, preprint. [DKP] A. Di Castro, T. Kuusi and G. Palatucci, Nonlocal Harnack inequalities, J. Funct. Anal. 267, 204, [DKP2] A. Di Castro, T. Kuusi and G. Palatucci, Local behavior of fractional p-minimizers, to appear in Ann. I. H. Poincaré AN, 206. [DP] E. Di Nezza, G. Palatucci and E. aldinoci Hitchhiker s guide to the fractional Sobolev spaces, Bull. Sci. Math. 36, 202, [F] C. Fefferman, The uncertainty principle, Bull. Amer. Math. Soc.N.S. 9, 983, [FK] M. Felsinger and M. Kassmann, Local Regularity for parabolic Nonlocal Operators, Comm. Partial Differential Equations 38, 203, [HL] Q. Han and F. Lin, Elliptic Partial Differential Equations, Courant Lecture Notes in Mathematics, American Mathematical Society, 997.

24 24 WOOCHEOL CHOI AND YONG-CHEOL KIM [KMS] T. Kuusi, G. Mingione and Y. Sire, Nonlocal equations with measure data, Comm. Math. phys. 3373, 205, [MS]. Maz ya and T. Shaposhnikova, On the Bourgain, Brezis and Mironescu theorem concerning limiting embeddings of fractional Sobolev spaces, J. Funct. Anal. 20, 2003, [S] R. Servadei and E. aldinoci, ariational methods for non-local operators of elliptic type, Discrete Contin. Dyn. Syst. 33, 203, [S] Z. Shen, L p estimates for Schrödinger operators with certain potentials, Annales de l institut Fourier 452, 995, [St] E. M. Stein, Harmonic Analysis; Real variable methods, orthogonality, and oscillatory integrals, Princeton Univ. Press, 993. Yong-Cheol Kim : Department of Mathematics Education, Korea University, Seoul 36-70, Korea & Department of Mathematics, Korea Institute for Advanced Study, Seoul , Korea address: ychkim@korea.ac.kr Woocheol Choi : Department of Mathematics, Korea Institute for Advanced Study, Seoul , Korea address: wchoi@kias.re.kr