On the role of Riesz potentials in Poisson s equation and Sobolev embeddings

Transcription

1 On the role of Riesz potentials in Poisson s equation and Sobolev embeddings Rahul Garg rgarg@tx.technion.ac.il Daniel Spector dspector@tx.technion.ac.il Department of Mathematics Technion - Israel Institute of Technology Abstract In this paper, we study the mapping properties of the classical Riesz potentials acting on L p -spaces. In the supercritical exponent, we obtain new almost Lipschitz continuity estimates for these and related potentials (including, for instance, the logarithmic potential). Applications of these continuity estimates include the deduction of new regularity estimates for distributional solutions to Poisson s equation, as well as a proof of the supercritical Sobolev embedding theorem first shown by Brezis and Wainger in 980. Contents Introduction and Statement of Results. Historical Background Statement of Results Potential Estimates 7 3 Regularity for Solutions to Poisson s Equation 2 4 Sobolev Embedding Theorem in the Supercritical Exponent 4 Introduction and Statement of Results For each 0 < α <, one defines the Riesz potential I α (x) := γ(, α) x α. Then the operator I α can be defined through its action on suitable subspaces of the space of Lebesgue measurable functions by convolution in the sense that f(y) I α f(x) := (I α f)(x) = γ(, α) dy, (.) x y α R

2 whenever it is well-defined. Here, the precise definition of the constant is γ(, α) := α Γ( 2 ) π 2 2 α Γ( α 2 ), from which one obtains two key properties of the potentials: the semigroup property and its connection with the Laplacian (see, for example, Stein [20][Chapter 5, p.8]). In the next section, we review the literature concerning the mapping properties of the Riesz potentials on L p (R ) for 0 < α < and < p α. As we will see, though the literature is quite extensive, notably absent is a complete treatment of the supercritical case p = α, as well as the consideration of α. Although these might at first seem like purely academic questions, a closer examination reveals connections between these considerations and several interesting applications. Indeed, in the supercritical case α = + p, α [, ), we show that one has almost Lipschitz continuity estimates for the Riesz potentials, while we introduce some Riesz-type potentials defined for α [, +) and demonstrate that they enjoy analogous regularity properties to the Riesz potentials. Interesting in its own right are the new estimates we show for the logarithmic potential (which corresponds to the case α = ), though more generally we demonstrate some important consequences of our results through the connection of potentials, partial differential equations, and Sobolev embeddings. This includes the conclusion of new regularity results for Poisson s equation in any number of dimensions, as well as a potential approach to the Sobolev embedding theorem in the supercritical exponent. In particular, this shows how Riesz and Riesz-type potentials enable one to give a unified treatment of Sobolev embeddings for p >. We now proceed to review the literature concerning the Riesz potentials, after which we will state our results in Section.2.. Historical Background The study of the mapping properties of I α in several dimensions was initiated by S. Sobolev in his 938 paper [9], where he proved the following theorem concerning the L p -summability of I α f for functions f L p (R ) with < p < α. Theorem. Let 0 < α < and < p < α. Then there exists C = C(p, α, ) such that for all f L p (R ), where p := I α f L p (R ) C f L p (R ) p αp. When p = α, one cannot expect an embedding theorem of the above type, and the appropriate replacement is exponential integrability of the potential. When p = = 2, the following theorem is related to Lemma in Pohožaev s 965 paper [7], while more generally the potential arguments are The reference of Stein [20][Chapter V, p.65] gives some details concerning Sobolev s contribution in the context of the one dimensional result of Hardy and Littlewood. 2

3 due to Trudinger s 967 paper [23] for α =. For general α, the result was obtained by Strichartz [22] and also Hedberg [8]. 2 Here we record the statement of the theorem as can be found in the book of Mizuta [][Section 4.2, Theorem 2.3, p. 56]. Theorem.2 Let 0 < α < and p = α. Then for every bounded, open subset G R, there exist A, A 2 > 0 such that ( [ ] p ) I α f(x) exp dx A 2 G G A f Lp (R ) for all f L p (G). An early reference which obtains a partial result of the preceding theorem is the 96 paper of Yudovič [24], which also records a version of the following theorem concerning the case α < p < α, assuming f has support in a bounded domain. We again give a statement of this theorem from the book of Mizuta (see [][Section 4.2, Theorem 2.2, p. 55]). Theorem.3 Let < p < + and 0 < α < be such that 0 < α p <. Then there exists C = C(p, α, ) such that I α f(x) I α f(z) C x z α p f Lp (R ) for all f L p (R ) such that I α f is well-defined. Remark.4 Let us remark that for this range of p and α, it is not the case that I α f is well-defined for every f L p (R ). By considering functions with support in a bounded domain, one has f L q (R ) for every q α, so that by the preceding results one has I α f is well-defined. Working on all of the space, we instead prefer to introduce a modified Riesz potential [ Ĩ α f(x) := γ(, α) f(y) R x y α y α since Ĩαf is well-defined for all f L p (R ) with 0 < α p whenever I α f is well-defined. I α f(x) I α f(z) = Ĩαf(x) Ĩαf(z), ] dy, <. Moreover, Finally, when p = α, Yudovič [24] had announced the following theorem for potentials acting on functions with compact support. Theorem.5 Suppose Ω R is open and bounded. Let < p < + and 0 < α < be such that p = α. Then there exists C = C(p, α,, Ω) such that I α f(x) I α f(z) C x z ( ln x z + ) p f Lp (Ω) for all f L p (R ) such that supp f Ω. 2 Strichartz s paper actually concerns the Bessel potential, and so for our purposes Hedberg is the more appropriate reference. 3

4 Aside from the question of the removal of the assumption of compact support in Theorem.5, this gives a complete picture on the mapping properties of the Riesz potentials for < p α. When α < p, observing this requires α >, we find that I α f has a distributional derivative which is essentially I α f. Thus, one can apply the preceding theorems to the derivatives of the potential and obtain a family of results for p in this range (for a fixed α). There are also a considerable number of results for Riesz potentials beyond the basic framework of the L p -spaces, for example, the consideration of potentials with variable exponent [3], potentials mapping on L p -spaces with variable exponent [3], potentials acting on functions where the underlying space is assumed to be metric [4], potentials acting on Morrey spaces of variable exponent [4], potentials acting on functions in general Orlicz spaces [5] or Musielak-Orlicz- Morrey spaces [6]. This list is by no means exhaustive, though gives an idea of some of the possible variations one can consider and obtain results analogous to those we have recorded here..2 Statement of Results Analyzing the literature, several natural questions present themselves for study. Firstly, one wonders whether it is possible to remove the hypothesis of compact support from Theorem.5. As we can see in the following theorem, one can relax this hypothesis by asking the function decay sufficiently to have some global summability in another L q -space. Theorem A Let < p < + and α = + p there exists C = C(q, α, ) such that <. Then for any q < p, Ĩαf(x) Ĩαf(z) C x z ( ln x z + ) p ( f Lq (R ) + f Lp (R )) for all f L p (R ) L q (R ). As alluded to earlier in the introduction, another interesting question is that of the restriction 0 < α < in the definition (.). Whereas in the case α 0, the potentials I α (x) = γ(, α)/ x α cease to be integrable in a neighborhood of the origin, when α >, I α does not have a local singularity. For example, the fundamental solution of Laplace s equation in the plane is known to be the logarithmic potential, and more generally one can in higher dimensions define the logarithmic potential 3 I f(x) := Γ( 2 ) 2π 2 R log f(y) dy. (.2) x y A comparison of I and I α reveals that the known continuity estimates for the logarithmic potential are not sharp when compared with those known for the Riesz potentials, even in the same regime of criticality. For example, the estimates obtained in Theorem.3 and Theorem A are not stable under the limit α, and therefore yield no useful information regarding the logarithmic potential. Moreover, as we will see in Section 2, the naive approach to mimic 3 The logarithmic potential can also be obtained as a limiting process as α for certain classes of functions, see for example, [9][Chapter I, p. 50]. 4

5 the techniques from Riesz potential estimates also do not obtain the sharp exponent. onetheless, we are able to prove the analogous theorem concerning the continuity properties of the modified logarithmic potential (which can be compared, for instance, with [0][Chapter 0, p. 260]). Theorem B Let < p. i) If < p <, then there exists C = C(p, ) such that for all f L p (R ). ii) If p = Ĩ f(x) Ĩ f(z) C x z p f L p (R ) and q < p, then there exists C = C(q, ) such that Ĩ f(x) Ĩ f(z) C x z ( ln x z + ) ( f L p (R ) + f L q (R )) for all f L p (R ) L q (R ). Here, in analogy to the modified Riesz potentials, we have considered the modified logarithmic potential as follows. Definition.6 We define the modified Logarithmic potential Ĩ f(x) := Γ( 2 ) 2π 2 R [ log x y log ] f(y) dy. (.3) y Since for 2 there is an intimate relationship between certain distributional solutions to Poisson s equation and the potentials I 2, an immediate application of the continuity results asserted in Theorem A and Theorem B is to conclude sharp and uniform regularity estimates for these solutions (such a results has been announced in [6]). We now make this statement more precise. We suppose that f L p (R ) for some 2 < p <, and we say that u L loc (R ) is a distributional solution to Poisson s equation if u ϕ = R fϕ, R (.4) for all ϕ C c (R ). ow, we know that there exists u L loc (R ) which satisfies (.4) (see, for example, [0][Chapter 6, Theorem 6.2, p.57]), and that if supp f is compact, this solution u is given by u = I 2 f. Moreover, any two solutions differ only by a harmonic function, and therefore if we restrict ourselves to solutions which satisfy the growth condition u(x) x 0 as x, (.5) then, up to a constant, such a u L loc (R ) is unique. following theorem on the regularity of this solution. Then we have the Theorem C Suppose 2 and 2 < p. If 2 < p <, assume f L p (R ), while if p = assume f L (R ) L q (R ) for some < q <. Then u = Ĩ2f satisfies (.4) and has the following regularity estimates: 5

6 i) If 2 < p <, then ii) If p =, then u(x) u(z) C x z 2 p f L p (R ). u(x) u(z) C x z ( ln x z + ) ( f L (R ) + f L q (R )). Our approach to Theorem B, and therefore the mechanism behind the better regularity results deduced in Theorem C, is a new representation for the logarithmic potential. In fact, this representation is one way to extend the Riesz potentials past the criticality α = to all α [, + ). Definition.7 Let β [0, ) and define T β γ(, + β) j f(x) := + β R [ yj x j y x β y j y β ] f(y) dy. (.6) We then have the following theorem concerning the mapping properties of T β j. Theorem D Let β [0, ). i) If < p < +β, then there exists C = C(p, β, ) such that T β j f(x) T β j f(z) C x z +β p f L p (R ) for all f L p (R ) and j =,...,. ii) If p = +β and q < p, then there exists C = C(q, β, ) such that T β j f(x) T β j f(z) C x z ( ln x z + ) p ( f L p (R ) + f L q (R )) for all f L p (R ) L q (R ) and j =,...,. Remark.8 As we will see in Section 4, Ĩ f = T 0 Rf, where R is the vector Riesz transform. More generally, one could define modified Riesz potentials Ĩ +β f, for which one would have Ĩ+βf = T β Rf. Therefore, the regularity properties of the maps T imply regularity properties for the modified Riesz and logarithmic potentials. ow, whereas our interest in the case β = 0 is related to the mapping properties of the logarithmic potential, and therefore regularity of solutions to Poisson s equation, we have further reason to study the mapping properties of T β j for β [0, ). Our motivation for considering this regime stems from the relationship of the Riesz potentials and Sobolev embeddings. In fact, one can show that Riesz potentials enable one to give a unified treatment of a number of Sobolev embeddings for p >. However, using Riesz potentials alone it is not possible to prove sharp embeddings concerning H α,p (R ) for α. In particular, this includes a spectrum of cases of the supercritical Sobolev embedding first proven by Brezis and Wainger [2][Corollary 5] in 980. Among other results, they had shown the following theorem concerning the almost Lipschitz continuity of elements of the Bessel potential space H α,p (R ). 6

7 Remark.9 Here, the notation H α,p (R ) is used to denote the Bessel potential spaces, functions with the representation u = g α f for some f L p (R ), where g α is the Bessel potential of order α. In the case α = l, it is a result of Calderón that H α,p (R ) = W l,p (R ) (see [20][Chapter 5, p.3 and p.65]). Theorem.0 Let < p < + and suppose u H α,p (R ) with α = + p. Then there exists C = C(p, ) such that u(x) u(z) C x z ( ln x z + ) p u H α,p (R ). In Section 4, we show how the potential estimates we have obtained can be used to deduce the preceding theorem in its full generality. This is accomplished via a representation for Sobolev functions via the Riesz potentials and Theorem A for the range < α <, while for the range α [, + ) we find an alternative representation via the Riesz-type potentials (.6) and invoke Theorem B. Remark. In the case α = +, p =, one has the stronger result that any u W +, (R ) is Lipschitz, see Gagliardo s 958 paper [5]. The organization of the paper will be as follows. In Section 2, we will prove Theorems A and D, as well as a weaker version of Theorem B. In Section 3, we show the equivalence of Ĩf and T Rf, thereby deducing Theorems B and C. Finally, in Section 4 we show how our results can be used to deduce Theorem.0. 2 Potential Estimates In this section, we prove potential estimates for the Riesz and Riesz-type potentials introduced in Section.2. Here, we restate the theorems for the convenience of the reader. We begin with the following theorem, on the continuity of the Riesz potential in the supercritical case. Theorem A Let < p < + and α = + p there exists C = C(q, α, ) such that <. Then for any q < p, Ĩαf(x) Ĩαf(z) C x z ( ln x z + ) p ( f Lq (R ) + f Lp (R )) for all f L p (R ) L q (R ). Proof. For brevity, we write γ = γ(, α) and define r := x z. We have ( ) Ĩαf(x) Ĩαf(z) γ f(y) B(x,2r) x y α + z y α dy + γ x y α z y α dy =: I + II. B(x,2r) c f(y) 7

8 For I, an application of Hölder s inequality, along with the fact that for all θ > 0 and z such that r = z x, we have the inequality z y θ dy x y θ dy B(x,2r) allows us to deduce that I 2γ f Lp (R ) ( = 2γ S p f L p (R ) = 4γ S p (p ) p r f L p (R ) B(x,2r) ) p dy x y ( α)p B(x,2r) ( 2r t ( α)p 0 4γ S p (p ) p r ( ln r + ) p f Lp (R ). ) p dt In order to treat the term II, we define the auxiliary function h(t) := tx + ( t)z y α, and observe that for y B(x, 2r) c, h : [0, ] R is smooth. Thus, the mean value theorem implies h() h(0) = h (t 0 ) for some t 0 = t 0 (x, z) (0, ). Rewriting this equality in terms of the function h we have x y α z y α + α (t 0 x + ( t 0 )z y) (x z) = t 0 x + ( t 0 )z y α+. t 0 x + ( t 0 )z y From this we conclude that x y α z y α x ( α) z 2 α+ x y α+, where we have used the fact that t 0 x+( t 0 )z y 2 x y for any t 0 (0, ). ow, f L p (R ) L q (R ) implies f L s (R ) for all s [q, p], and we can thus estimate II r ( 2 α+ ( α)γ ) B(x,2r) f(y) dy x y α+ c r ( 2 α+ ( α)γ ) ( ) S s f Ls (R ) t s dt. t ( α+)s 2r 8

9 Then since Young s inequality implies and S s f L s (R ) f L q (R ) + f L p (R ), } min { S p, S q, it only remains to show that we can in fact choose an s = s(r) [q, p) such that ( 2r ) t s dt C(p, q, ) ( ln r + ) p, t ( α+)s and the result is demonstrated. First, we estimate the integral ( 2r ) t s dt = (2r)( p s ) t ( α+)s (s ( s p )) (2r) ( p s ) s (( s p )). s ow, since ( p q ) (, 0), there exists a unique 0 < ɛ 0 = ɛ 0 (p, q) < such that ( p q ) = ln ɛ. Then when r [ɛ 0 0, ), the choice of s = q in the above integral allows us to obtain the bound (2r) ( p q ) (( q p )) q = (2r) ln ɛ 0 ln ɛ 0 q (2ɛ 0 ) ln ɛ 0 ( ln ɛ 0 ) q ( ln r + ) p. Finally, we consider the case when r (0, ɛ 0 ). Here, we define s = s(r) by ( p s ) = ln r. It follows from the definition of ɛ 0 that s (q, p). Utilizing this exponent in the computation for II yields (2r) ( p s ) (( s p ) s = 2 ln r r ln r ln r s exp() ( ln r + ) p, which implies the desired result. We now prove the following theorem concerning the mapping properties of the modified logarithmic potential. Although the estimates in this theorem are not as sharp as those claimed in Theorem B, we will see that the proof follows in analogy to Theorem A. Moreover, we will utilize this estimate in order to obtain the sharp result, which we prove in Section 3. Theorem B Let < p. i) If < p <, then there exists C = C(p, ) such that Ĩf(x) Ĩ f(z) C x z p ( ln x z + ) f L p (R ) for all f L p (R ). ii) If p = and q < p, then there exists C = C(q, ) such that Ĩf(x) Ĩ f(z) C x z ( ln x z + ) ( f L p (R ) + f L q (R )) for all f L p (R ) L q (R ). 9

10 Proof. We begin under the hypothesis of part i), assuming f L p (R ) for some < p <. As in the proof of Theorem A, we split the estimate into two piece. We have for r = z x, Ĩ f(x) Ĩf(z) ω f(y) ( ln x y + ln z y ) dy B(x,2r) + ω B(x,2r) c f(y) ln x y ln z y dy =: I + II. For I, we this time require a different estimate in several regimes of r (0, + ). First notice that since B(x, 2r) B(z, 3r), we have ( ) I ω f(y) ln x y dy + f(y) ln z y dy B(x,2r) B(z,3r) 2ω S p f L p (R ) ( 3r 0 ln t p t dt) p. When r ɛ, for some 0 < ɛ < 3 to be chosen shortly, we proceed as follows. The change of variables t = exp( x) implies ( 3r 0 ( ln t p t dt) p = x p e x dx ln 3r ) p, for which we can use the following asymptotics of the upper incomplete gamma function w xs e x dx w s e w as w to deduce that there exists and ɛ (0, 3 ) such that for r ɛ we have For r [ɛ, 3 ], we have ( ) p x p e x dx 2 ln 3r e p ln 3r ln 3r = 2 ln 3r (3r) p. ( 3r 0 log t p t dt) p ( 0 ( r C ɛ ) ln t p t p dt ) p, 0

11 since r ɛ. Finally, when r ( 3, ), we have ( 3r log t p t dt) p ( = ln t p t dt r ( C + ln 3r p ( (3r) Cr p ( ln r + ). Combining these estimates, we conclude that I C f L p (R )r p ( ln r + ). ) ln t p t p dt )) p For II, we can proceed as before, since the mean value theorem again implies for all y B(x, 2r) c and therefore, log x y log z y 2 x z y x, II 2r S p f Lp (R ) ( 2r ) t p dt. t p Part i) then follows, since ( ) t p dt = (2r) p. 2r t p (p ) p For the proof of Part ii), the preceding analysis for I is exactly the same while II can be estimated as that in the proof of Theorem A. Finally, we conclude this section with a proof of Theorem D, which follows in analogy to the proofs of the previous two theorems. Theorem D Let β [0, ). i) If < p < +β, then there exists C = C(p, β, ) such that T β j f(x) T β j f(z) C x z +β p f Lp (R ) for all f L p (R ) and j =,...,. ii) If p = +β and q < p, then there exists C = C(q, β, ) such that T β j f(x) T β j f(z) C x z ( ln x z + ) p ( f Lp (R ) + f Lq (R )) for all f L p (R ) L q (R ) and j =,...,. Proof. Part i) can be argued in a similar manner as in the proofs of Theorems A and B, this time applying Hölder s inequality for f L p (R ) with < p < for both I and II. The proof of Part ii) is analogous to that of Theorem A. While I is estimated as in Part i), for II we observe that the mean value theorem implies that for any y B(x, 2r) c x j y j x y β z j y j z y β (2 β)2 β x z x y β, and the log-lipschitz estimate follows directly from the remainder of the argument of Theorem A.

12 3 Regularity for Solutions to Poisson s Equation Before we prove Theorem B, we first record the following lemma connecting the potentials T and the Riesz potentials (.). Let us remark that this generalizes the case = 2, which has been proven in [6]. Lemma 3. Suppose f Cc (R ). Then ( ) T 0 Rf = I 2 f, with the convention that I 0 f = f. Proof. It suffices to show that ( T 0 Rf) ϕ = (I 2 f)ϕ R R for all ϕ Cc (R ). First, we observe that in the proof of Theorem D, one has the stronger inequality y j x j y x y j y R jf(y) dy C x p Rj f L p (R ) R for j =, 2,..., and < p < theorem to deduce ( T 0 Rf) ϕ R = = γ(, ) γ(, ) R j= j= R R ( (. R R C x p f L p (R ) Therefore, we may utilize Fubini s [ yj x j y x y ] ) j R j f(y) dy ϕ(x) dx y [ yj x j y x y ] ) j ϕ(x) dx R j f(y) dy. y Further, since the divergence theorem implies R ϕ(x) dx = 0, we have that [ yj x j y x y ] j y j x j ϕ(x) dx = ϕ(x) dx. y y x ow, we define g j (y) := γ(, ) R R y j x j ϕ(x) dx. y x If we can show that g j = R j (I 2 ϕ) almost everywhere, then we would have T 0 Rf ϕ = R R j (I 2 ϕ)r j f j= R = f(i 2 ϕ) R = (I 2 f)ϕ, R 2

13 which is the thesis. otice that g j (y) = y j (I ϕ)(y) + I (x j ϕ)(y), and therefore, ĝ j (ξ) = ( ) (2π ξ ) ϕ(ξ) + ( x ) 2πi ξ j (2π ξ ) j ϕ(ξ) [ = i(2π)2 ( ξ 3 ϕ(ξ)) ] ξ j ξ ( ξ 2 ϕ(ξ) ξ j = i ξ j ξ (2π ξ )2 ϕ(ξ) = (R j I 2 ϕ). Here, the above should be interpreted in the sense of tempered distributions, and with the convention ϕ(ξ) = ϕ(x)e 2πix ξ dx R for the Fourier transform. Thus, we have proved that g j = R j I 2 ϕ as distributions, which implies almost everywhere equality as functions, and the result is demonstrated. Again, for the convenience of the reader we here recall the statement of Theorem B before giving its proof. Theorem B Let < p. i) If < p <, then there exists C = C(p, ) such that for all f L p (R ). ii) If p = Ĩ f(x) Ĩ f(z) C x z p f Lp (R ) and q < p, then there exists C = C(q, ) such that Ĩ f(x) Ĩ f(z) C x z ( ln x z + ) ( f L p (R ) + f L q (R )) for all f L p (R ) L q (R ). Proof. We will show that Ĩ f T 0 Rf (3.) for all f L p (R ), < p <. The claimed regularity estimate for Ĩf then follows from Theorem D and boundedness of R : L p (R ) L p (R ) for < p < +. First, we observe that it suffices to establish (3.) for f Cc (R ), since an application of Theorems B and D yields the estimates Ĩ(f n f)(x) C x p ( ln x + ) fn f L p (R ) T 0 R(f n f)(x) C x p fn f L p (R ). 3

14 One is then able to conclude (3.) for all f L p (R ), using the fact that Ĩ f, T 0 Rf are continuous for f L p (R ), < p <. We therefore establish (3.). ow, we already know that if f Cc (R ) that Further, Lemma 3. asserts that Ĩf = I 2 f. T 0 Rf = I 2 f, and so if we define w := Ĩ f T 0 Rf, then we have that w is harmonic. Moreover, Theorems B and D imply that w(x) x 0 as x. But then one can invoke Liouville s theorem to conclude that w c, and since w(0) = 0 this implies w 0. This proves the claim and hence the theorem. As a consequence of Theorem.3 and Theorems A, B and D, we deduce the uniform regularity estimates for Ĩ2, and therefore obtain Theorem C. 4 Sobolev Embedding Theorem in the Supercritical Exponent In this section, we show how the preceding results for potentials, combined with appropriate representations for Sobolev functions, can be used to deduce Theorem.0. The idea for the proof is as follows. Observe that for u C c (R ) and 0 < m < even, one has the potential representation u = I m ( ) m 2 u. Thus, if m = + p, one can apply Theorem A to deduce the inequality ( ( ) u(x) u(z) C x z ( ln x z + ) p m 2 u L + m ) q (R ) ( ) 2 u L. p (R ) Then applying Holder s inequality, and using the fact that u has compact support, one obtains the inequality u(x) u(z) C x z ( ln x z + ) p ( ) m 2 u L p (R ). ow, here C depends on the support of u, and so one cannot use density to conclude the preceding inequality holds for general u W m,p (R ). Moreover, the handling of the case m even or odd, let alone non-integer as in the setting of Bessel potential spaces make the matter slightly more complicated. This clearly tells us that a more delicate analysis is required to obtain the result, which we will now prove in its full generality. 4

15 Proof of Theorem.0. We claim that it suffices to show that for any u Cc (R ) we have the estimate u(x) u(z) C x z ( ln x z + ) p u H α,p (R ) (4.) for all x, z R such that x z. If so, then this implies the inequality u(x) u(z) + u(x) u(z) u(z) + C x z ( ln x z + ) p u H α,p (R ). Then averaging over z B(x, ), and using Hölder s inequality we have u(x) C u H α,p (R ), so that taking the supremum over all x R, we deduce that u L (R ) C u H α,p (R ) for all u C c (R ). Thus, if x z, we have u(x) u(z) 2 x z ( ln x z + ) p u L (R ), and so if (4.) holds for x z, it continues to hold for all x, z R, perhaps increasing the constant. The result then follows for general u H α,p (R ) by density, since the above inequality shows that any sequence Cauchy in H α,p (R ) is Cauchy in the space Lip 0, p (R ), defined by u 0, := u u(x) u(z) Lip p (R L ) (R ) + sup. x z x z ( ln x z + ) p Case : < α <. To establish (4.), let α = m+2γ for m and γ [0, 2 ). Let φ C c (B(0, 4)) be a cutoff function such that φ on B(0, 2) ; φ 0 outside B(0, 4) ; D ν φ L (B(0,4)) C ; ( ) γ D ν φ L (R ) C, for all 0 ν m. Given u Cc (R ) and x R, define h := uφ x = u( )φ( x). ow, as h Cc (B(x, 4)) Cc (R ), one can verify by taking the Fourier transform that h has the representation h = I α g for { ( ) γ ( ) m 2 h ; if m is even g := i= R j( ) γ x j ( ) m 2 h ; if m is odd. (4.2) ow, since h C c (R ), it is easy to verify that g L q (R ) for all < q. Thus, an application of Theorem A to g for any < q < p implies the inequality I α g(x) I α g(y) C x z ( ln x z + ) p ( g L q (R ) + g L p (R )), 5

16 and so it suffices to prove that there exists C depending only on φ such that g L q (R ) + g L p (R ) C u H α,p (R ), and we will have demonstrated the inequality (4.). If γ = 0, this is a consequence of the boundedness of the Riesz transform on L q (R ) and L p (R ), Hölder s inequality to bound the L q (B(x, 4)) norm by the L p (B(x, 4)) norm, and the product rule for derivatives of uφ x. When γ (0, 2 ), the result still holds through slightly more subtle analysis. After using boundedness of the Riesz transform, we here use the analogy of Hölder s inequality for the fractional Laplacian ( ) γ w Lq (R ) C ( )γ w Lp (R ), for w = ( ) m 2 h or w = x j ( ) m 2 h depending on parity, which can be found in [8][Lemma A., p. 46], where one can check that C = C(diam(supp h)), and therefore can be taken depending only on φ. The last result to check is whether there is an analogy for the product rule, from which we could conclude ( ) γ w Lp (R ) C u H α,p (R ). If we observe that w = C(µ, ν)d µ ud ν φ x, µ + ν =m then it suffices to show that ( ) γ (D µ ud ν φ x ) Lp (R ) C u H α,p (R ) for any µ + ν = m. ow, using the singular integral definition of the fractional Laplacian (which is not, in fact, singular, since u, φ C c (R ) and γ (0, 2 )), it suffices to obtain bounds for A := ( ) γ D µ ud ν φ x L p (R ). However, we can estimate A p = c,γ (D µ ud ν φ x )(z) (D µ ud ν p φ x )(y) R R z y +2γ dy dz 2 p c,γ D ν φ(z x) p D µ u(z) D µ p u(y) R R z y +2γ dy dz + 2 p c,γ D µ u(y) Dν φ(z x) D ν p φ(y x) R R z y +2γ dy dz =: I + II. To estimate I, we use the fact that D ν φ L (R ) C to obtain the upper bound I C ( ) γ D µ u p L p (R ), 6

17 while we break the integral in II into four pieces and estimate them separately. First, we split the outer integral into two pieces, II = D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) R z y +2γ dy dz + D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) c R z y +2γ dy dz =: II + II 2. We further break the inner integral in II into two pieces, which yields the upper bound II 2 p D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) B(x,8) z y +2γ dy dz + 2 p D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,8) z y +2γ dy dz. c B(x,6) ow, for the first term, we use the fact that φ is Lipschitz to bound D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) B(x,8) z y +2γ dy dz ( ) p D µ u(y) dy dz. z y +2γ B(x,8) B(x,8) Then using the fact that γ (0, 2 ), we have 2γ < 0, and so we can use the mapping properties of the restricted Riesz potential I 2γf(z) Ω := c Ω f(y) dy z y +2γ for Ω = B(x, 8) (c.f. [7], Chapter 7, Lemma 7.2, p. 52) to obtain that ( ) p D µ u(y) dy dz C D µ u p z y +2γ L p (R ), B(x,8) B(x,8) and this completes the estimate for this piece. Returning to the second term of the upper bound for II, we have by Hölder s inequality D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) B(x,8) z y +2γ dy dz c p = D µ u(y) Dν φ(z x) dy B(x,6) B(x,8) z y +2γ dz c C D µ u p L p (R ), and thus the estimate for II is complete. We therefore return to estimate II 2, 7

18 and break the inner integral into two pieces in a similar manner, II 2 D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,6) c B(x,4) z y +2γ dy dz + D µ u(y) Dν φ(z x) D ν p φ(y x) B(x,4) z y +2γ dy dz. c B(x,6) c Here, we are able to use Minkowski s inequality for integrals followed by Hölder s inequality to estimate the first term, while the second term is identically zero, since supp φ B(0, 4). We therefore conclude that ( ) A p C ( ) γ D µ u p L p (R ) + Dµ u p, L p (R ) which is the claim and completes the proof in this regime. Case 2: α = + β; β [0, ). In this regime of α, we will use an alternative representation for h, in terms of g and the unmodified potentials T β j, T β j f(x) := γ(, + β) + β R y j x j f(y) dy. y x β We begin with the equality h = I +β g, for g as in (4.2), depending on the parity of m. Then we claim g L (R ) and g(y) C. If m is even, y +β these bounds are a consequence of the principle value representation for the fractional Laplacian of a function with compact support. When m is odd, we observe that for γ [0, 2 ), one can perform an integration by parts to deduce the alternative representation R j ( ) γ φ φ(x) = I 2γ (x) x j φ(x) φ(y) = c R x y +2γ xj y j x y dy. Thus, the composition of a fractional Laplacian and a Riesz transform on function with compact support has L and decay bounds whose character is in line with the fractional Laplacian of a function with compact support. ow, if we define A ɛ := B(x, ɛ ) \ B(x, ɛ), then we have I +β g(x) = γ(, + β) g(y) dy R x y β = γ(, + β) lim ɛ 0 = γ(, + β) + β lim ɛ 0 g(y) dy x y β ( x y x y β A ɛ A ɛ div y ) g(y) dy. 8

19 Then we integrate by parts to obtain ( ) x y div y A ɛ x y β g(y) dy = + B(x,ɛ) B(x, ɛ ) A ɛ x y n(y)g(y) dy x y β x y n(y)g(y) dy x y β x y g(y) dy. x y β C y +β The fact that g L (R ) and the decay g(y) (as discussed earlier) imply that the two boundary integrals vanish as ɛ 0. We therefore conclude that γ(, + β) y x I +β g(x) = lim g(y) dy. (4.3) + β ɛ 0 A ɛ x y β This shows that the limit on the right hand side of (4.3) exists for all x R. As such, if we let x, z R, then we have that [ γ(, + β) y x h(x) h(z) = lim + β ɛ 0 A ɛ x y β y z ] z y β g(y) dy [ γ(, + β) y x = + β x y β y z ] z y β g(y) dy. R Here we have used Lebesgue s dominated convergence theorem to pass the limit in the last integral, since the integrand is absolutely integrable over R (which is a consequence of the estimates in the proof of Theorem D). This then says that h(x) h(z) T β j j= g x j (x) T β j g (z) x j, and so we may now argue analagously to Case, this time applying Theorem D to obtain the desired estimate. Acknowledgements The first author is supported in part by a research grant (o: 47/3) of Amos evo from the Israel Science Foundation and a postdoctoral fellowship from the Planning and Budgeting Committee of the Council for Higher Education of Israel. The second author is supported in part by a Technion Fellowship. The authors would like to thank Yehuda Pinchover, Georgios Psaradakis, Simeon Reich, Sundaram Thangavelu and Igor Verbitsky for their helpful comments during the preparation of this work. References [] D. Adams and L. Hedberg, Function Spaces and Potential Theory, Springer-Verlag, Berlin,

20 [2] H. Brezis and S. Wainger, A note on limiting cases of Sobolev embeddings and convolution inequalities, Comm. Partial Differential Equations 5 (980), [3] T. Futamura and Y. Mizuta, Continuity properties of Riesz potentials for functions in L p( ) of variable exponent, Math. Inequal. Appl. 8 (2005), [4] T. Futamura, Y. Mizuta and T. Shimomura, Sobolev embeddings for variable exponent Riesz potentials on metric spaces, Ann. Acad. Sci. Fenn. Math. 3 (2006), [5] E. Gagliardo, Proprietà di alcune classi di funzioni in più variabili (Italian), Ricerche Mat. 7 (958), [6] R. Garg and D. Spector, On regularity of solutions to Poisson s equation, Math. arxiv: , March 204. [7] D. Gilbarg and. S. Trudinger, Elliptic Partial Differential Equations, Springer-Verlag, ew York, 977. [8] L. I. Hedberg, On certain convolution inequalities, Proc. Amer. Math. Soc. 36 (972), [9]. S. Landkof, Foundations of Modern Potential Theory, Springer-Verlag, ew York, 972. Translated from the Russian by A. P. Doohovskoy; Die Grundlehren der mathematischen Wissenschaften, Band 80. [0] E. H. Lieb and M. Loss, Analysis, Second edition, Graduate Studies in Mathematics, 4, American Mathematical Society, Providence, RI, 200. [] Y. Mizuta, Potential Theory in Euclidean Spaces, Gakkōtosho, Tokyo, 996. [2] Y. Mizuta and T. Shimomura, Continuity and differentiability for weighted Sobolev spaces, Proc. Amer. Math. Soc. 30 (2002), [3] Y. Mizuta and T. Shimomura, Sobolev s inequality for Riesz potentials with variable exponent satisfying a log-hölder condition at infinity, J. Math. Anal. Appl. 3 (2005), [4] Y. Mizuta and T. Shimomura, Sobolev embeddings for Riesz potentials of functions in Morrey spaces of variable exponent, J. Math. Soc. Japan 60 (2008), [5] Y. Mizuta and T. Shimomura, Continuity properties of Riesz potentials of Orlicz functions, Tohoku Math. J. (2) 6 (2009), [6] F. Y. Maeda, Y. Mizuta, T. Ohno and T. Shimomura, Trudinger s inequality and continuity of potentials on Musielak-Orlicz-Morrey spaces, Potential Anal. 38 (203), [7] S. I. Pohožaev, On the eigenfunctions of the equation u + λf(u) = 0 (Russian), Dokl. Akad. auk SSSR 65 (965),

21 [8] A. Schikorra, ɛ-regularity for systems involving non-local, antisymmetric operators, Math. arxiv: , May 202. [9] S. L. Sobolev, On a theorem of functional analysis, Mat. Sb. 4(46) (938), (translated into English in Transl. Amer. Math. Soc. 34, 39-68). [20] E. M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, 30, Princeton University Press, Princeton,.J, 970. [2] E. M. Stein and G. Weiss, Fractional integrals on n-dimensional Euclidean space, J. Math. Mech. 7 (958), [22] R. S. Strichartz, A note on Trudinger s extension of Sobolev s inequalities, Indiana Univ. Math. J. 2 (97/72), [23]. S. Trudinger, On imbeddings into Orlicz spaces and some applications, J. Math. Mech. 7 (967), [24] V. I. Yudovič, Some estimates connected with integral operators and with solutions of elliptic equations (Russian), Dokl. Akad. auk SSSR 38 (96),