arxiv: v1 [math.ap] 20 Oct 2015

Transcription

1 PERIODIC SOLUTIOS FOR THE O-LOCAL OPERATOR ( +m 2 ) s m 2s WITH m arxiv: v1 [math.ap] 2 Oct 215 VICEZO AMBROSIO Abstract. By using variational methods we investigate the existence of T-periodic solutions to { [( x +m 2 ) s m 2s ]u = f(x,u) in (,T) u(x+te i ) = u(x) for all x R, i = 1,..., where s (,1), > 2s, T >, m and f(x,u) is a continuous function, T-periodic in x, verifying the Ambrosetti-Rabinowitz condition and a polynomial growth at rate p (1, +2s 2s ). 1. Introduction Recently, considerable attention has been given to fractional Sobolev Spaces and corresponding nonlocal equations, in particular to the ones driven by the fractional powers of the Laplacian. In fact, this operator naturally arises in several areas of research and find applications in optimization, finance, the thin obstacle problem, phase transitions, anomalous diffusion, crystal dislocation, flame propagation, conservation laws, ultra-relativistic limits of quantum mechanics, quasi-geostrophic flows and water waves. For more details and applications see [4], [6], [9], [12], [15], [16], [22], [26], [27], [28], [3] and references therein. The purpose of the present paper is to study the T-periodic solutions to the problem { [( x +m 2 ) s m 2s ]u = f(x,u) in (,T) u(x+te i ) = u(x) for all x R, i = 1,...,, (1.1) where s (,1), > 2s, (e i ) is the canonical basis in R and f : R +1 R is a function satisfying the following hypotheses: (f1) f(x,t) is T-periodic in x R ; that is f(x+te i,t) = f(x,t); (f2) f is continuous in R +1 ; (f3) f(x,t) = o(t) as t uniformly in x R ; Date: July 15, 215. Key words and phrases. onlocal operators, Linking Theorem, Periodic solutions, Extension Method. 1

2 (f4) there exist 1 < p < 2 s 1 = 2 1 and C > such that 2s f(x,t) C(1+ t p ) for any x R and t R; (f5) there exist µ > 2 and r > such that < µf(x,t) tf(x,t) for x R and t r. Here F(x,t) = t f(x,τ)dτ; (f6) tf(x,t) for all x R and t R. We notice that (f2) and (f5) imply the existence of two constants a,b > such that F(x,t) a t µ b for all x R,t R. Then, since µ > 2, F(x,t) grows at a superquadratic rate and by (f5), f(x,t) grows at a superlinear rate as t. Here, the operator ( x +m 2 ) s is defined through the spectral decomposition, by using the powers of the eigenvalues of + m 2 with periodic boundary conditions. Let u CT (R ), that is u is infinitely differentiable in R and T-periodic in each variable. Then u has a Fourier series expansion: u(x) = (x R ) T where k Z c k eıωk x ω = 2π T and c k = 1 u(x)e ıωk x dx (k Z ) T (,T) are the Fourier coefficients of u. The operator ( x + m 2 ) s is defined by setting ( x +m 2 ) s u = c k (ω 2 k 2 +m 2 ) s eıωk x. k Z T For u = and v =, we have that T T k Z c k eıωk x Q(u,v) = k Z d k eıωk x k Z (ω 2 k 2 +m 2 ) s c k dk can be extended by density to a quadratic form on the Hilbert space { H s = u = T L2 (,T) : } (ω 2 k 2 +m 2 ) s c k 2 < k Z k Z c k eıωk x 2

3 endowed with the norm u 2 H s = k Z (ω 2 k 2 +m 2 ) s c k 2. When m = 1 we set H s T = Hs 1,T. InR, thephysical interest ofthe non-localoperator( +m 2 ) s ismanifest in the case s = 1/2: it is the Hamiltonian for a (free) relativistic particle of mass m; see for instance[2], [19],[2],[21],[22]. In particular, such operator is deeply connected with the Stochastic Process Theory: in fact it is an infinitesimal generator of a Levy process called α-stable process; see [4], [14] and [25]. Problems similar to (1.1) have been also studied in the local setting. The typical example is given by { Lu = f(x,u) in Ω u = on Ω, (1.2) where L is uniformly elliptic, Ω is a smooth bounded domain in R and f(x,t) is a continuous function satisfying the assumptions (f 3)-(f 5). It is well known that (1.2) possesses a weak solution which can be obtained as critical point of a corresponding functional by means of minimax methods; see for instance [1], [23], [24], [29] and [31]. The aim of the following paper is to study (1.2) in the periodic setting, when we replace L by ( + m 2 ) s m 2s, m and s (,1). We remark that the problem (1.1) with s = 1 has been investigated by the same author in 2 [3]. In this paper, we extend the results in [3] to the more general operator ( +m 2 ) s m 2s, with s (,1). Our first result is the following Theorem 1. Let m > and f : R +1 R be a function satisfying the assumptions (f1) (f6). Then there exists a solution u H s to (1.1). In particular, u belongs to C,α ([,T] ) for some α (,1). To study the problem (1.1) we will give an alternative formulation of the operator( +m 2 ) s withperiodicboundaryconditionwhichconsiststorealize it as an operator that maps a Dirichlet boundary condition to a eumann-type condition via an extension problem on the half-cylinder (,T) (, ); see [3] for the case s = 1. We recall that this argument is an adaptationof the idea 2 originally introduced in [11] to study the fractional Laplacian in R (see also [7, 8]) and subsequently generalized for the case of the fractional Laplacian on bounded domain (see [1, 13]). 3

4 As explained in more detail in Section 3 below, for u H s one considers the problem div(y 1 2s v)+m 2 y 1 2s v = in S T := (,T) (, ) v {xi =} = v {xi =T} on L S T := (,T) [, ), v(x,) = u(x) on S T := (,T) {} from where the operator ( x +m 2 ) s is obtained as lim y y 1 2s v y (x,y) = κ s( x +m 2 ) s u(x) in weak sense and κ s = 2 1 2sΓ(1 s). Γ(s) Thus, in order to study (1.1), we will exploit this fact to investigate the following problem div(y 1 2s v)+m 2 y 1 2s v = in S T := (,T) (, ) v {xi =} = v {xi =T} on L S T := (,T) [, ), (1.3) v = κ ν 1 2s s [m 2s v +f(x,v)] on S T := (,T) {} where v := lim ν y1 2s v 1 2s y y (x,y) is the conormal exterior derivative of v. The solutions to (1.3) are obtained as critical points of the functional J m associated to (1.1) J m (v) = 1 2 v 2 X m2s κ s v(,) 2 s L 2 2 (,T) κ s S T F(x,v)dx defined on the space X s, which is the closure of the set of smooth and T- periodic (in x) functions in R +1 + with respect to the norm v 2 X s := S T y 1 2s ( v 2 +m 2s v 2 )dxdy. More precisely, we will prove that, for any fixed m >, J m satisfies the hypotheses of the Linking Theorem due to Rabinowitz [24]. When m is sufficiently small, we are able to obtain estimates on critical levels α m of the functionals J m independently of m. In this way, we can pass to the limit as m in (1.3) and we deduce the existence of a nontrivial solution to the problem { ( x ) s u = f(x,u) in (,T) u(x+te i ) = u(x) for all x R, i = 1,...,. (1.4) This result can be stated as follows 4

5 Theorem 2. Under the same assumptions on f of Theorem 1, the problem (1.4) admits a nontrivial solution u H s T C,α ([,T] ). The paper is organized as follows: in Section 2 we collect some preliminaries results which we will use later to study the problem (1.1); in Section 3 we show that the problem (1.1) can be realized in a local manner through the nonlinear problem (1.3); in Section 4 we verify that, for any fixed m >, the functional J m satisfies the Linking hypotheses; in Section 5 we study the regularity of solutions of problem (1.1); in the last Section we show that we can find a nontrivial Hölder continuous solution to (1.4) by passing to the limit in (1.1) as m. 2. Preliminaries In this section we introduce some notations and facts which will be frequently used in the sequel of paper. We denote the upper half-space in R +1 by R +1 + = {(x,y) R +1 : x R,y > }. Let S T = (,T) (, ) be the half-cylinder in R +1 + with basis S T = (,T) {}andwedenoteby L S T = (,T) [,+ )itslateralboundary. With v L r (S T ) wealwaysdenotethenormofv L r (S T )andwith u L r (,T) the L r (,T) norm of u L r (,T). Let s (,1) and m >. Let A R be a domain. We denote by L 2 (A R +,y 1 2s ) the space of all measurable functions v defined on A R + such that A R + y 1 2s v 2 dxdy <. We say that v H 1 m (A R +,y 1 2s ) if v and its weak gradient v belong to L 2 (A R +,y 1 2s ). The norm of v in H 1 m (A R +,y 1 2s ) is given by A R + y 1 2s ( v 2 +m 2 v 2 )dxdy <. It is clear that H 1 m(a R +,y 1 2s ) is a Hilbert space with the inner product A R + y 1 2s ( v z +m 2 vz)dxdy. When m = 1, we set H 1 (A R +,y 1 2s ) = H 1 1 (A R +,y 1 2s ). We denote by C T (R ) the space of functions u C (R ) such that u is T-periodic in each variable, that is u(x+e i T) = u(x) for all x R,i = 1,...,. 5

6 Let u C T (R ). Then we know that where ω = 2π T u(x) = eıωk x c k k Z T for all x R, and c k = 1 u(x)e ıkω x dx (k Z ) T (,T) are the Fourier coefficients of u. We define the fractional Sobolev space H s as the closure of C T (R ) under the norm u 2 H s := k Z (ω 2 k 2 +m 2 ) s c k 2. When m = 1, we set H s T = Hs 1,T and H s = T H s. ow we introduce the 1,T functional space X s defined as the completion of { CT (R+1 + ) = v C (R +1 + ) : v(x+e i T,y) = v(x,y) under the H 1 m (S T,y 1 2s ) norm for every (x,y) R +1 +,i = 1,..., v 2 X s := S T y 1 2s ( v 2 +m 2 v 2 )dxdy. If m = 1, we set X s T = Xs 1,T and X s T = X s 1,T. We begin proving that it is possible to define a trace operator from X s to the fractional space H s : Theorem 3. There exists a bounded linear operator Tr : X s Hs such that : (i) Tr(v) = v S T for all v C T (R+1 + ) X s ; (ii) There exists C = C(s) > such that (iii) Tr is surjective. C Tr(v) H s v X s for every v X s ; Proof. Let v CT (R+1 + ) such that v X s <. Then v can be expressed by v(x,y) = eıωk x c k (y) k Z T where c k (y) = (,T) v(x,y) e ıωk x T dx and c k H 1 m(r +,y 1 2s ). 6 }

7 We notice that, by using Parseval s identity, we have v 2 X s = k Z + y 1 2s [(ω 2 k 2 +m 2 ) c k (y) 2 + c k(y) 2 ]dy. (2.1) Then, we are going to prove that there exists a positive constant C s depending only on s, such that C s Tr(v) 2 H s v 2 X s for any v C T (R +1 + ) : v X s < +, or equivalently C s k Z (ω 2 k 2 +m 2 ) s c k () 2 k Z + y 1 2s [(ω 2 k 2 +m 2 ) c k (y) 2 + c k(y) 2 ]dy. (2.2) By the Fundamental Theorem of Calculus we can see y c k () c k (y) + c k (t)dt and by using ( a + b ) 2 2( a 2 + b 2 ) we have c k () 2 2 c k (y) 2 +2 y c k (t)dt 2 (2.3) for any k Z. ow, we observe that by using Hölder inequality we obtain y ( y c k(t) dt ( y = )1 ( y t 1 2s c k(t) 2 2 dt )1 t 1 2s c k (t) 2 dt Then, putting together (2.3) and (2.4) we obtain c k () 2 2 c k (y) 2 + y2s s and multiplying both sides by y 1 2s we get ( + y 1 2s c k () 2 2y 1 2s c k (y) 2 + y s 7 2 ( y 2s 2s )1 t 2s 1 2 dt )1 2. (2.4) ) t 1 2s c k(t) 2 dt ( + ) t 1 2s c k(t) 2 dt. (2.5)

8 Let a k = (ω 2 k 2 +m 2 ) 1 2. Integrating (2.5) over y (,a k ) we deduce a 2 2s k 2 2s c k() = 2 ak + + ( a k y 1 2s c k (y) 2 y )( + dy + s dy ( y 1 2s c k (y) 2 dy + a2 + ) k t 1 2s c k 2s (t) 2 dt ( t 1 2s c k (t) 2 dt+ a2 + k 2s Multiplying both sides of (2.6) by a 2 k = (ω 2 k 2 +m 2 ) we have + ) t 1 2s c k (t) 2 dt ) t 1 2s c k(t) 2 dt. (2.6) (ω 2 k 2 +m 2 ) s c k () 2 2(ω 2 k 2 +m 2 ) t 1 2s c k (t) 2 dt 2 2s + 1 ( + ) t 1 2s c k 2s (t) 2 dt for any k Z. Summing over Z we deduce 1 2 2s (ω 2 k 2 +m 2 ) s c k () 2 k Z [ + 2(ω 2 k 2 +m 2 ) t 1 2s c k (t) 2 dt+ 1 ( + 2s k Z { max 2, 1 } 2s k Z + )] t 1 2s c k (t) 2 dt t 1 2s [(ω 2 k 2 +m 2 ) c k (t) 2 + c k(t) 2 ]dt. (2.7) Taking into account (2.1) and (2.7) we have (2.2). Therefore there exists a trace operator Tr : X s Hs. ow we prove that Tr is surjective. Let u = e k Z c ıωk x k T Hs. We define v(x,y) = eıωk x c k θ k (y) k Z T (2.8) whereθ k (y) = θ( ω 2 k 2 +m 2 y)andθ(y) H 1 (R +,y 1 2s )solvesthefollowing ODE { θ + 1 2s θ θ = in R y +. θ() = 1 and θ( ) = 8

9 It is known (see [17]) that θ(y) = 2 Γ(s) (y 2 )s K s (y) where K s is the Bessel function of second kind with order s, and being K s = sk y s K s 1, we can see that κ s := y 1 2s ( θ (y) 2 + θ(y) 2 )dy = limy 1 2s θ (y) = 2 1 2sΓ(1 s). y Γ(s) Then it is clear that v is smooth for y >, v is T-periodic in x and satisfies div(y 1 2s v)+m 2 y 1 2s v = in S T. ow, we show that Tr(v) = u. From standard properties of K s, we know θ(y) 1 as y and < θ(y) A s for any y. Then, being u H s, we have v(,y) u 2 H s = k Z (ω 2 k 2 +m 2 ) s c k 2 θ k (y) 1 2 as y. Finally we prove that v X s. By Parseval s identity we get v 2 X s = S T y 1 2s ( v 2 +m 2 v 2 )dxdy = k Z c k 2 = c k 2 k Z = c k 2 ω2 k 2 +m 2 (ω 2 k 2 +m 2 ) 1 2s k Z 2 = κ s y 1 2s ( θ k(y) 2 + θ k (y) 2 )dy y 1 2s (ω 2 k 2 +m 2 )( θ ( ω 2 k 2 +m 2 y) 2 + θ( ω 2 k 2 +m 2 y) 2 )dy y 1 2s ( θ (y) 2 + θ(y) 2 )dy k Z (ω 2 k 2 +m 2 ) s c k 2 = κ s u 2 H s. (2.9) ow we prove the following embedding Theorem4. Let > 2s. ThenTr(X s ) is continuouslyembeddedinlq (,T) for any 1 q 2 s. Moreover, Tr(X s ) is compactly embedded in Lq (,T) for any 1 q < 2 s. Proof. By Theorem 3 we know that there exists a continuous embedding from X s tohs. ow, weprovethaths iscontinuously embeddedinlq (,T) for any q 2 s and compactly in L q (,T) for any q < 2 s. 9

10 ByusingProposition2.1.in[5], weknowthatthereexists aconstant C 2 s > such that ( )1 u C L 2 s(,t) 2 ω 2s k 2s c s k 2 2 (2.1) k 1 for any u CT (R 1 ) such that u(x)dx =. As a consequence, fixed T (,T) 2 q 2 s, we have ( )1 u L q (,T) C c k 2 (ω 2 k 2 +m 2 ) s 2 (2.11) k Z for any u H s, that is Hs is continuously embedded in Lq (,T) for any 2 q 2 s. ow, we proceed as the proof of Theorem 4 in [3] to prove that H s Lq (,T) for any 2 q < 2 s. Fix q [2,2 s ). Then, by using (2.11) and the interpolation inequality we obtain ( ) 1 θ, u L q (,T) C u θ L 2 (,T) c k 2 (ω 2 k 2 +m 2 ) s (2.12) k Z for some real positive number θ (,1). ow, takingintoaccount (2.12), itisenoughtoprovethath s L2 (,T) to infer that H s is compactly embedded in Lq (,T) for every q [2,2 s ). Let us assume that u j in H s. Then and lim j cj k 2 (ω 2 k 2 +m 2 ) s = k Z (2.13) c j k 2 (ω 2 k 2 +m 2 ) s C j. (2.14) k Z Fix ε >. Then there exists ν ε > such that (ω 2 k 2 +m 2 ) s < ε for k > ν ε. By (2.14) we have c j k 2 = c j k 2 + c j k 2 k Z k ν ε k >ν ε = c j k 2 + c j k 2 (ω 2 k 2 +m 2 ) s (ω 2 k 2 +m 2 ) s k ν k >ν ε c j k 2 +Cε. k ν ε Using (2.13) we deduce that k ν ε c j k 2 < ε for j large. Thus u j in L 2 (,T). 1

11 ow, we conclude this section giving some elementary results about the nonlinearity f(x,t). More precisely, by using the assumptions (f2),(f3) and (f4), we can deduce some bounds from above and below for the nonlinear term f(x,t) and its primitive F(x,t). This part is quite standard and the proofs of the following Lemmas can be found, for instance, in [1] and [24]. Lemma 1. Let f : [,T] R R satisfying conditions (f1)-(f3). Then, for any ε > there exists C ε > such that f(x,t) 2ε t +(p+1)c ε t p t R x [,T] and F(x,t) ε t 2 +C ε t p+1 t R x [,T]. (2.15) Lemma 2. Assume that f : [,T] R R satisfies conditions (f1)-(f4). Then, there exist two constants a 3 > and a 4 > such that F(x,t) a 3 t µ a 4 t R x [,T]. 3. Extension problem In this section we show that to study (1.1) it is equivalent to investigate the solutions of a problem in a half-cylinder with a eumann nonlinear boundary condition. We start proving that Theorem 5. Let u H s. Then there exists a unique v Xs such that div(y 1 2s v)+m 2 y 1 2s v = in S T v {xi =} = v {xi =T} on L S T (3.1) v(,) = u on S T and where is the dual of H s. lim y y 1 2s v y (x,y) = κ s( x +m 2 ) s u(x) in H s, (3.2) H s = { u = k Z c k eıωk x T : c k 2 (ω 2 k 2 +m 2 ) s < } Proof. Let u = k Z c k e ıωk x T C T (R ). Let us consider the following problem min{ v 2 X : v s Xs,Tr(v) = u}. (3.3) 11

12 By using the Theorem 4, we can find a minimizer to (3.3). Since 2 X s is strictly convex, such minimizer is unique and we denote it by v. As a consequence, for any φ X s such that Tr(φ) = y 1 2s ( v φ+m 2 vφ)dxdy =, (3.4) S T that is v is a weak solution to (3.1). Since the function defined in (2.8) is a solution to (3.1), by the uniqueness of minimizer, we deduce that v is given by v(x,y) = eıωk x c k θ k (y). k Z T where θ k (y) = θ( ω 2 k 2 +m 2 y). In particular, by (2.9), we have v X s = κ s u H s. Then y 1 2s v y (,y) κ s( +m 2 ) s u 2 H s = 1 (ω 2 k 2 +m 2 ) s c k 2 ω2 k 2 +m 2 θ k (y)y1 2s +κ s (ω 2 k 2 +m 2 ) s 2 k Z = (ω 2 k 2 +m 2 ) s c k 2 [(ω 2 k 2 +m 2 )y] 1 2s θ k (y)+κ s 2 k Z and by using u H s, y1 2s θ (y) κ s as y and < κ s y 1 2s θ (y) B s for any y (see [17]), we deduce (3.2). Therefore, for any given u H s we can find a unique function v = Ext(u) X s, which will be called the extension of u, such that (i) v is smooth for y >, T-periodic in x and v solves (3.1); (ii) v X s z X s for any z X s such that Tr(z) = u; (iii) v X s = κ s u H s ; (iv) We have lim y y1 2s v y (x,y) = κ s( +m 2 ) s u(x) in H s. ow, modifying the proof of Lemma 2.2 in [13] we deduce Theorem 6. Let g H s. Then, there is a unique solution to the problem: find u H s such that ( +m 2 ) s u = g. 12

13 Moreover u is the trace of v X s, where v is the unique solution to (1.3), that is for every φ X s it holds y 1 2s ( v φ+m 2 vφ)dxdy = κ s g,tr(φ) H s. S,Hs T Taking into account the previous results we can reformulate the nonlocal problem (1.1) in a local way as explained below. Let g H s and consider the following two problems: { ( x +m 2 ) s u = g in (,T) u(x+te i ) = u(x) for x R (3.5) and div(y 1 2s v)+m 2 y 1 2s v = in S T v {xi =} = v {xi =T} on L S T. (3.6) v = g(x) on S ν 1 2s T Definition 1. We say that u H s and v is a weak solution to (3.6). is a weak solution to (3.5) if u = Tr(v) Remark 1. Later, with abuse of notation, we will denote by v(,) the trace Tr(v) of a function v X s. We conclude this section giving the proof of the following sharp trace inequality: Theorem 7. For any v X s we have κ s Tr(v) 2 H s v 2 X s (3.7) and the equality is attained if and only if v = Ext(Tr(v)). In particular v 2 X s κ sm 2s Tr(v) 2 L 2 (,T) = v(x,y) = Cθ(my) for some C R. (3.8) Proof. By properties (ii) and (iii) we can see that for any v X s κ s Tr(v) 2 H s = ExtTr(v) 2 X s v 2 X s, and the equality holds if and only if v = ExtTr(v). ow, we prove (3.8). We denote by c k the Fourier coefficients of Tr(v). 13

14 If v(x,y) = Cθ m (y) := Cθ(my) for some C R, being θ() = 1, we have + v 2 X = s C2 T y 1 2s ( θ m (y) 2 +m 2 θ m (y) 2 )dy + = C 2 T m 2s y 1 2s ( θ (y) 2 +m 2 θ(y) 2 )dy = C 2 T m 2s κ s = m 2s κ s Tr(v) 2 L 2 (,T). ow, we assume that v 2 X κ sm 2s Tr(v) 2 s L 2 (,T) =. By using (ii) and (iii) we deduce ExtTr(v) 2 X s v 2 X = κ sm 2s Tr(v) 2 s L 2 (,T) κ s Tr(v) 2 H = s ExtTr(v) 2 X s that is v 2 X = s ExtTr(v) 2 X = κ sm 2s Tr(v) 2 s L 2 (,T). Let us note that v 2 X = s ExtTr(v) 2 X implies v = Ext(Tr(v)). s In particular, from κ s m 2s Tr(v) 2 L 2 (,T) = ExtTr(v) 2 X = κ s Tr(v) 2 s H s we obtain that c k = for any k, so we get v = Ext(Tr(v)) = c k θ( ω2 k 2 +m 2 y)e ık x = c θ(my). k Z (3.9) 4. Periodic solutions in the cylinder S T In this section we prove the existence of a solution to (1.1). As shown in previous section, we know that the study of (1.1) is equivalent to investigate the existence of weak solutions to div(y 1 2s v)+m 2 y 1 2s v = in S T := (,T) (, ) v {xi =} = v {xi =T} on L S T := (,T) [, ). (4.1) v = κ ν 1 2s s [m 2s v +f(x,v)] on S T := (,T) {} For simplicity, we will assume that κ s = 1. Then, we will look for the critical points of J m (v) = 1 2 v 2 X s m2s 2 v(,) 2 L 2 (,T) defined for v X s. 14 S T F(x,v)dx

15 Moreprecisely, wewillprovethatj m satisfiestheassumptionsofthelinking Theorem [24]: Theorem 8. Let (X, ) be a real Banach space with X = Y Z, where Y is finite dimensional. Let J C 1 (X,R) be a functional satisfying the following conditions: J satisfies the Palais-Smale condition, There exist η,ρ > such that inf{j(v) : v Z and v = η} ρ, There exist z B 1 Z, R > η and R > such that where and J on A A = {v = y +rz : y Y, y R and r R} A = {v = y +rz : y Y, y = R or r {,R}}. Then J possesses a critical value c ρ which can be characterized as where c := inf γ Γ max v A J(γ(v)) Γ := {γ C(A,X) : γ = Id on A}. By using the assumptions on f, it is easy to prove that J m is well defined on X s and J m C 1 (X s,r). Moreover, by (3.7) we notice that the quadratic part of J m is nonnegative, that is v 2 X s m2s v(,) 2 L 2 (,T). (4.2) Let us note that { } X s =< θ(my) > v X s (,T) : v(x,)dx = =: Y s Zs where dimy s < and Zs is the orthogonal complement of Ys with respect to the inner product in X s. In order to prove that J m verifies the Linking hypotheses we prove the following Lemmas Lemma 3. J m on Y s. Proof. It follows directly by (3.8) and by assumption (f6). Lemma 4. There exist ρ > and η > such that J m (v) ρ for v Z s : v X s = η. 15

16 Proof. Firstly we show that there exists a constant C > such that v 2 X s m2s v(,) 2 L 2 (,T) C v 2 X s (4.3) for any v Z s. Assume by contradiction that there exists a sequence (v j) Z s such that v j 2 X s m2s v j (,) 2 L 2 (,T) < 1 j v j 2 X s Let z j = v j / v j X s. Then z j X s = 1 so we can assume that z j z in X s and z j(,) z(,) in L 2 (,T) for some z Z s (Zs is weakly closed). Hence, for any j 1 m 2s z j (,) 2 L 2 (,T) < 1 j so we get z j (,) 2 L 2 (,T) 1 m 2s that is z(,) L 2 (,T) = 1 m s. On the other hand z 2 X s m2s z(,) 2 L 2 (,T) liminf j z j 2 X s m2s z j (,) 2 L 2 (,T) = implies that z = cθ(my) by (3.8). But z Z s so c = and this is a contradiction because of z(,) L 2 (,T) = 1 >. m s Taking into account (4.3), (2.15) and Theorem 4 we have J m (v) C v 2 H s ε v(,) 2 L 2 (,T) C ε v(,) p+1 ( C ε ) v 2 X m s C v p+1 X s L p+1 (,T) for any v Z s. Choosing ε (,mc), we can find ρ > and η > such that inf{j m (v) : v Z s and v X s = η} ρ. Lemma 5. There exist R > ρ, R > and z Z s such that max J m (v) and A s maxj m (v) < A s where A s = {v = y +rz : y X s R and r [,R]}. 16

17 Proof. By using Lemma 3 we know that J m on Y s. Let us consider 1 w = sin(ωx i ) y +1. We note that w Z s (since T ( 1 w 2 X = s ( + i=1 T i=1 T +m 2 ( T i=1 i=1 sin(ωx)dx = ) and ( sin 2 (ωx)dx )ω T )( 2 cos 2 (ωx)dx )( sin 2 (ωx)dx y 1 2s )( sin 2 (ωx)dx dy ) (y +1) 4 y 1 2s dy ). (y +1) 2 So there exist C 1,C 2,C 3 > (independent of m) such that y 1 2s dy ) (y +1) 2 C 1 w 2 X s C 2 +m 2 C 3. (4.4) w We set z =. It is clear that z Z s w X s and z X s = 1. By Hölder inequality, we can observe that if v = y +rz Y s R +z v(,) µ C v(,) µ L µ (,T) L 2 (,T) ( = C (c+rz) 2 dx (,T) Then, for any v = y +rz Y s R +z C (m 2s c 2 T +r 2 ) µ 2. J m (v) = 1 2 z 2 X s m2s 2 z(,) 2 L 2 (,T) r2 2 A v(,) µ L µ (,T) +BT r2 )µ 2 S T F(x,v)dx 2 C (m 2s c 2 T +r 2 ) µ 2 +BT (m 2s c 2 T +r 2 ) C (m 2s c 2 T +r 2 ) µ 2 +BT (4.5) (4.6) = v 2 X s E v µ X s +F. (4.7) We recall that µ > 2. By using (4.5), there exists R > such that J m (y +rz) for any r R and y Y s. 17

18 Let r [,R]. By (4.6), we can find R > such that J m (y + rz) for y X s R. By (4.7), we deduce that there exists a constant δ > such that J m (v) δ for any v A s. Finally we show that J m satisfies the Palais-Smale condition: Lemma 6. Let c R. Let (v j ) X s be a sequence such that J m (v j ) c and J m(v j ). (4.8) Then there exist a subsequence (v jh ) (v j ) and v X s such that v j h v in X s. Proof. We start proving that (v j ) is bounded in X s. Fix β ( 1, 1 ). By using Lemma 1 with ε = 1, we get µ 2 βf(x,v j )v j F(x,v j )dx ((2β +1)r 2 +C 1 (p+2)r p+1 )T = ι 1 and S T { v j r } S T { v j r } (4.9) F(x,v j )dx (r 2 +C 1 r p+1 )T = ι 2. (4.1) Taking into account Lemma 2, (f5), (4.2), (4.8), (4.9) and (4.1) we have for j large c+1+ v j X s J m (v j ) β J (v j ),v j ( 1 ] = )[ v 2 β j 2X s m2s v j (,) 2L 2(,T) + βf(x,v j )v j F(x,v j )dx S T [βf(x,v j )v j F(x,v j )]dx S T = [βf(x,v j )v j F(x,v j )]dx+ [βf(x,v j )v j F(x,v j )]dx S T { v n r } S T { v n r } (µβ 1) F(x,v j )dx ι 1 S T { v j r } (µβ 1) F(x,v j )dx (µβ 1)ι 2 ι 1 S T = (µβ 1) F(x,v j )dx ι (4.11) S T (µβ 1)[a 3 v j (,) µ a L µ (,T) 4 T ] ι (µβ 1)[a 3 v j (,) µ µ 2 T L 2 (,T) 2 a 4 T ] ι. (4.12) 18

19 Hence, by (4.11) and (4.12), we deduce that v j 2 X = 2J m(v s j )+m 2s v j (,) 2 L 2 (,T) +2 F(x,v j )dx S T C 1 +C 2 (C v j X s ) 2 µ +C4 (C v j X s ) C 6 +C 7 v j X s that is (v j ) is bounded in X s. By Theorem 3 we can assume, up to a subsequence, that v j v in X s v j (,) v(,) in L p+1 (,T) (4.13) v j (,) v(,) a.e in (,T) as j and there exists h L p+1 (,T) such that v j (x,) h(x) a.e. in x (,T), for all j. (4.14) Taking into account (f 2), (f 4), (4.13), (4.14) and the Dominated Convergence Theorem we get f(x,v j )v j dx f(x,v)vdx (4.15) S T S T and f(x,v j )vdx f(x,v)vdx (4.16) S T S T as j. By using (4.8) and the boundedness of (v j ) j in X s, we deduce that J m (v j),v j, that is v j 2 X s m2s v j (,) 2 L 2 (,T) f(x,v j )v j dx (4.17) S T as j. By (4.13), (4.15) and (4.17) we have v j 2 X s m2s v(,) 2 L 2 (,T) f(x,v)vdx. (4.18) S T Moreover, by (4.8) and v X s, we have J m (v j),v as j, that is v j,v X s m 2s v j,v L 2 (,T) S T f(x,v j )vdx (4.19) Taking into account (4.13), (4.14), (4.16) and (4.19) we obtain v 2 X = s m2s v(,) 2 L 2 (,T) f(x,v)vdx. (4.2) S T 19

20 Thus, (4.18) and (4.2) imply that v j 2 X s v 2 X s Since X s is a Hilbert space, we have as j. (4.21) v j v 2 X s = v j 2 X s + v 2 X s 2 v j,v X s and using v j v in X s and (4.21) we can conclude that v j v in X s, as j. of Theorem 1. Taking into account Lemma 3 - Lemma 6, by the Theorem 8 we deduce that for any fixed m >, there exists of a function v X s such that J m (v m ) = α m, J m(v m ) = where and α m = inf max J m (γ(v)) (4.22) γ Γ m v A s Γ m = {γ C(A s,x s ) : γ = Id on A s }. Remark 2. Let us observe that an easy consequence of Theorem 1 is the existence of infinitely many distinct T-periodic solutions to (1.1). To prove it, one can proceed as in the proof of Corollary 6.44 in [24]. 5. Regularity of solutions to (1.1) In this section we study the regularity of weak solutions to the problem (1.1). Firstly we prove the following Lemma 7. Let v X s be a weak solution to div(y 1 2s v)+m 2 y 1 2s v = in S T v {xi =} = v {xi =T} on L S T. (5.1) v = m 2s v +f(x,v) on S ν 1 2s T Then v(,) L q (,T) for all q <. Proof. We proceed as in the proof of Lemma 7 in [3]. Since v is a critical point for J m, we know that y 1 2s ( v η +m 2 vη)dxdy = m 2s vη +f(x,v)ηdx (5.2) S T S T for all η X m T. 2

21 Let w = vv 2β K Xs where v K = min{ v,k}, K > 1 and β. Taking η = w in (5.2) we deduce that y 1 2s v 2β K ( v 2 +m 2 v 2 )dxdy + 2βy 1 2s v 2β K v 2 dxdy S T D K,T = m 2s S T v 2 v 2β K dx+ where D K,T = {(x,y) S T : v(x,y) K}. It is easy to see that y 1 2s (vv β K ) 2 dxdy S T = S T y 1 2s v 2β K v 2 dxdy + f(x,v)vv 2β K S T Then, putting together (5.3) and (5.4) we get dx (5.3) D K,T (2β +β 2 )y 1 2s v 2β K v 2 dxdy. (5.4) vv β K 2 X s = y 1 2s [ (vv β K ) 2 +m 2 v 2 v 2β K ]dxdy S T ( = y 1 2s v 2β K [ v 2 +m 2 v 2 ]dxdy + 2β 1+ β ) y 1 2s v 2β K S T D K,T 2 v 2 dxdy ] [ c β y 1 2s v 2β K [ v 2 +m 2 v 2 ]dxdy + S T = c β m 2s v 2 v 2β K +f(x,v)vv2β K S T D K,T 2βy 1 2s v 2β K v 2 dxdy dx (5.5) where c β = 1+ β. By Lemma 1 with ε = 1 we deduce that 2 m 2s v 2 v 2β K +f(x,v)vv2β K (m2s +2)v 2 v 2β K +(p+1)c 1 v p 1 v 2 v 2β K on S T. ow, we prove that v p 1 1+h on S T for some h L /2s (,T). Firstly, we observe that v p 1 = χ { v 1} v p 1 +χ { v >1} v p 1 1+χ { v >1} v p 1 on S T. If (p 1) < 4s then S T χ { v >1} v 2s (p 1) dx S T χ { v >1} v 2 dx < while if 4s (p 1) we have that (p 1) 2s [2, 2 2s ]. 21

22 Therefore, there exist a constant c = m 2s (p + 1)C 1 and a function h L /2s (,T), h and independent of K and β, such that m 2s v 2 v 2β K +f(x,v)vv2β K (c+h)v2 v 2β K on S T. (5.6) Taking into account (5.5) and (5.6) we have vv β K 2 X c s β (c+h)v 2 v 2β K dx, S T and by Monotone Convergence Theorem (v K is increasing with respect to K) we have as K v β+1 2 X cc s β v 2(β+1) dx+c β S T h v 2(β+1) dx. S T (5.7) Fix M > and let A 1 = {h M} and A 2 = {h > M}. Then S T h v(,) 2(β+1) dx M v(,) β+1 2 L 2 (,T) +ε(m) v(,) β+1 2 L 2 (,T) where ε(m) = (5.8), we get ( A2 h/2s dx)2s (5.8) as M. Taking into account (5.7), v β+1 2 X c β(c+m) v(,) β+1 2 s L 2 (,T) +c β ε(m) v(,) β+1 2 L 2 s(,t). (5.9) By using Theorem 4 we know that there exists a constant C 2 > such that 2 s,m v(,) β+1 2 L 2 s(,t) C2 2 s,m v β+1 2 X s. (5.1) Then, choosing M large so that ε(m)c β C 2 < 1, and by using (5.9) and 2,m 2 (5.1) we obtain v(,) β+1 2 L 2 s(,t) 2C2 2 s,m c β(c+m) v(,) β+1 2 L 2 (,T). (5.11) Then we can start a bootstrap argument: since v(,) L 2 2s we can apply (5.11) with β = L 2 2 L 2 k 2s to deduce that v(,) L(β 1+1)2 2s (,T) = ( 2s) 2 (,T). Applying (5.11) again, after k iterations, we find v(,) ( 2s) k (,T), and so v(,) L q (,T) for all q [2, ). Then, we can deduce the following result: 22

23 Theorem 9. Let v X s be a weak solution to div(y 1 2s v)+m 2 y 1 2s v = in S T v {xi =} = v {xi =T} on L S T. (5.12) v = κ ν 1 2s s [m 2s v +f(x,v)] on S T Let us assume that v is extended by periodicity to the whole R Then v(,) C,α (R ) for some α (,1). Proof. It isclear that v H 1 m (A R +,y 1 2s ) forany boundeddomaina R. By using Lemma 7 here and Proposition 3.5. in [18] we deduce the thesis. 6. Passage to the limit as m In this last section, we give the proof of Theorem 2. We verify that it is possible to take the limit in (1.3) as m so that we deduce the existence of a nontrivial weak solution to (1.4). In particular, we will prove that such solution is Hölder continuous. We remark that in Section 4 we proved that for any m > there exists v m X s such that J m (v m ) = α m and J m (v m) =, (6.1) where α m is defined in (4.22). In order to attain our aim, we estimate, from above and below, the critical levels of the functional J m independently of m. Let us assume that < m < m := 1, where C 2C s is the Sobolev constant s which appears in (2.1). We start proving that there exists a positive constant δ independent of m such that By using (4.4) and m < m we know that α m δ for all < m < m. (6.2) C 1 z 2 X s C 2 +m 2 C 3. 23

24 Moreover (see Lemma 5) we have for any v = y +rz Y s R +z v(,) µ T (µ 2) L µ (,T) 2 v(,) µ L 2 (,T) ( = T (µ 2) 2 T (µ 2) 2 { 1 T (µ 2) 2 min = C v µ X s )µ 2 (c+rz) 2 dx (,T) (c 2 T +(T/2) r 2 m 2s )µ 2 z 2 X s (T/2) }, C 2 +m 2 C (m 2s c 2 T +r 2 ) µ 2 3 (6.3) for some C = C(m,T,,s) >. Then, for any v = y +rz Y s R +z and < m < m we get J m (v) = 1 2 v 2 X m2s s 2 v(,) 2 L 2 (,T) F(x,v)dx S T 1 2 v 2 X s A v(,) µ L µ (,T) +BT = v 2 X s C v µ X s +D δ (6.4) where A,B,C,D,δ > are independent of m. ow we prove that there exists λ > independent of m, such that α m λ for all < m < m. (6.5) Let v Z s and ε >. We denote by c k the Fourier coefficients of the trace of v. By using (2.1) and (3.7) (with κ s = 1), we know that v L q (,T) C 2 s ( k 1 ω 2s k 2s c k 2 )1 2 C 2 s v H s C 2 s v X s (6.6) for any q [2,2 s ]. By using Lemma 1 and (6.6) we can see that for every < m < m 24

25 J m (v) = 1 y 2 ST 1 2s ( v 2 +m 2 v 2 ) dxdy m2s v 2 dx F(x,v)dx 2 S T S T 1 ( m ) 2 v 2 X s 2 +ε v(,) 2 L 2 (,T) C ε v(,) p+1 L p+1 (,T) [ 1 ( m )] 2 C2 2 s 2 +ε v 2 X C εc p+1 v p+1 m T 2 X s s ( 1 ) 4 C2 ε v 2 2 X s C s ε v p+1 X. s Choosing < ε < 1, we have that b := 1 4C C2 >. 2sε s ( Let ρ := b 2C b ) 1 p 1. Then, for every v Z s such that v X s = ρ J m (v) bρ 2 C bρ p+1 = b 2 ( b 2C b ) 2 p 1 =: λ. Therefore, taking into account (6.2) and (6.5) we deduce that λ α m δ for every < m < m. (6.7) ow, we estimate the H 1 loc (S T,y 1 2s )- norm of v m in order to pass to the limit in (1.3) as m. Fix β ( 1 µ, 1 2 ). By using (6.1) and (6.7), we have for any m (,m ) δ J m (v m ) β J m (v m),v m ( 1 ) = 2 β [ v m 2 X s m2s v m (,) 2 L 2 (,T) ] (6.8) + [βf(x,v m )v m F(x,v m )]dx S T [βf(x,v m )v m F(x,v m )]dx S T (µβ 1) F(x,v m )dx κ (6.9) S T (µβ 1)[a 3 v m (,) µ a L µ (,T) 4 T ] κ (µβ 1)[a 3 v m (,) µ µ 2 T L 2 (,T) 2 a 4 T ] κ. (6.1) By (6.1) we deduce that the trace of v m is bounded in L 2 (,T) v m (,) L 2 (,T) K(δ) for every m (,m ). (6.11) 25

26 Taking into account (6.1), (6.7), (6.9) and (6.11) we deduce v m 2 L 2 (S T,y 1 2s ) v m 2 X s = 2J m (v m )+m v m (,) 2 L 2 (,T) +2 F(x,v m )dx S T 2δ + ω 2 K(δ)+C(δ) =: K (δ). (6.12) ow, let c m k be the Fourier coefficients of the trace of v m. By (3.7) we can see that K (δ) v m 2 X s v m(,) 2 H s which, together with (6.11), implies that k Z ω 2s k 2s c m k 2, (6.13) v m (,) H s T K (δ) for every m (,m ) (6.14) that is Tr(v m ) is bounded in H s T. Finally we estimate the L 2 loc (S T,y 1 2s )-norm of v m uniformly in m. Fix α > and let v CT (R+1 + ) such that v m X s <. For any x [,T] and y [,α], we have v(x,y) = v(x,)+ y y v(x,t)dt. By using (a+b) 2 2a 2 +2b 2 for all a,b we obtain ( y 2, v(x,y) 2 2 v(x,) 2 +2 y v(x,t) dt) and applying the Hölder inequality we deduce [ ( y ) y v(x,y) 2 2 v(x,) 2 + t 1 2s y v(x,t) 2 2s dt 2s ]. (6.15) Multiplying both members by y 1 2s we have [ ( y ) y y 1 2s v(x,y) 2 2 y 1 2s v(x,) 2 + t 1 2s y v(x,t) 2 dt. (6.16) 2s] Integrating (6.16) over (,T) (,α) we have v 2 L 2 ((,T) (,α),y 1 2s ) α2 2s 1 s v(,) 2 L 2 (,T) + α2 2s yv 2 L 2 (S T,y 1 2s ). (6.17) By density, the above inequality holds for any v X s. 26

27 Then, by using (6.17) and exploiting (6.11) and (6.12) we have v m 2 L 2 ((,T) (,α),y 1 2s ) α2 2s 1 s v m(,) 2 L 2 (,T) + α2 2s yv m 2 L 2 (S T,y 1 2s ) C(α,s)K(δ) 2 +C (α,s)k (δ) for any < m < m. As a consequence, we can extract a subsequence, that for simplicity we will denote again with (v m ), and a function v such that v L 2 loc (S T,y 1 2s ) and v L 2 (S T,y 1 2s ); v m v in L 2 loc (S T,y 1 2s ) as m ; v m v in L 2 (S T,y 1 2s ) as m ; v m (,) v(,) in H s T and v m(,) v(,) in L q (,T) as m, 2 for any q [2, ). 2s ow we prove that v is a weak solution to div(y 1 2s v) = in S T := (,T) (, ) v {xi =} = v {xi =T} on L S T := (,T) [, ). (6.18) v = f(x,v) on S ν 1 2s T := (,T) {} Fix ϕ X s T. We know that v m satisfies y 1 2s ( v m η +m 2 v m η) dxdy = [m 2s v m +f(x,v m )]η dx (6.19) S T S T for every η X s. ow, we consider ξ C ([, )) defined as follows ξ = 1 if y 1 ξ 1 if 1 y 2. (6.2) ξ = if y 2 We set ξ R (y) = ξ( y ) for R > 1. Then choosing η = ϕξ R R X s in (6.19) and taking the limit as m we have y 1 2s v (ϕξ R ) dxdy = f(x,v)ϕ dx. (6.21) S T S T Taking the limit as R we deduce that v verifies y 1 2s v ϕ dxdy f(x,v)ϕ dx = ϕ X s T. S T S T ow we want to prove that v. Let ξ C ([, )) as in (6.2) and we note that ξv X s. 27

28 Then = J m (v m),ξv = y 1 2s ( v m (ξv)+m 2 v m ξv)dxdy m 2s S T v m vdx S T f(x,v m )vdx S T and taking the limit as m we get = y 1 2s v (ξv)dxdy f(x,v)vdx. S T S T (6.22) By using the facts (6.1), (6.7), J m (v m),v m = and F, we have 2λ 2J m (v m )+m 2s v m (,) 2 L 2 (,T) +2 F(x,v m )dx S T = v m 2 X m T = m2s v m (,) 2 L 2 (,T) + S T f(x,v m )v m dx. (6.23) Taking the limit in (6.23) as m we obtain 2λ f(x,v)vdx. (6.24) S T Hence, (6.22) and (6.24) give < 2λ f(x,v)vdx = S T y 1 2s v (ξv)dxdy. S T that is v is not a trivial solution to (6.18). Finally, weshowthatv C,α ([,T] ), forsomeα (,1). Westartproving that v(,) L q (,T) for any q <. We proceed as in the proof of Lemma 7 and we use the estimate (6.14). Let w m = v m v 2β m,k where v m,k = min{ v m,k}, K > 1 and β. Then, replacing vv 2β K by v mv 2β m,k in (5.5), we can see that v m v β m,k 2 X c m β [m 2s v T m 2 v2β m,k +f(x,v m)v m v 2β m,k ]dx (6.25) (,T) where c β = 1+ β 2 1. Using Lemma 1 with ε = 1 we get m 2s v 2 m v2β m,k +f(x,v m)v m v 2β m,k (m2s +2)v 2 m v2β m,k +(p+1)c 1 v m p 1 v 2 v 2β m,k. (6.26) Since v m converges strongly in L (p 1) 2s (,T) (because of (p 1) 2s assume that, up to subsequences, there exists a function z L (p 1) 2s such that v m (x,) z(x) in (,T), for every m < m. 28 < 2 s ), we can (,T)

29 Therefore, there exist a constant c = m 2s (p + 1)C 1 and a function h := 1+z p 1 L 2s(,T), h and independent of K, m and β such that m 2s v 2 m v2β m,k +f(x,v m)v m v 2β m,k (c+h)v2 m v2β m,k on S T. (6.27) As a consequence v m v β m,k 2 X s c β (c+h)vmv 2 2β m,kdx. (6.28) (,T) Taking the limit as K (v m,k is increasing with respect to K) we get v m β+1 2 X cc s β v m 2(β+1) +c β h v m 2(β+1) dx. (6.29) (,T) (,T) For any M >, let A 1 = {h M} and A 2 = {h > M}. Then (,T) h v m (,) 2(β+1) dx M v m (,) β+1 2 L 2 (,T) +ε(m) v m (,) β+1 2 L 2 s(,t) where ε(m) = (6.3), we have ( A2 h 2sdx)2s (6.3) as M. Taking into account (6.29), v m β+1 2 X c β(c+m) v s m (,) β+1 2 L 2 (,T) +c β ε(m) v m (,) β+1 2 L 2 (,T). (6.31) ow, by (2.1), we know that for every w CT (R ) with mean zero, there exists µ := C 2 s >, such that ( ) 1/2, w µ L 2 s(,t) ω 2s k 2s b k 2 (6.32) k where b k are the Fourier coefficients of w. Therefore, if w CT (R ) and w := 1 w(x)dx, by using Hölder T (,T) inequality we can see that w w w + w L 2 s(,t) L 2 s(,t) L 2 s(,t) ( ) 1/2 µ ω 2s k 2s b k 2 + w L 2 s(,t) k ( ) 1/2 µ ω 2s k 2s b k 2 +µ1 w 2 L 2 (,T) k µ w 2 H s +µ 1 w 2 L 2 (,T) (6.33) where µ 1 = T 2 2 >. 29

30 Taking into account (6.31), (6.33) and (3.7), we deduce that v m (,) β+1 2 L 2 s(,t) µ 1 v m (,) β+1 2 L 2 (,T) (6.34) µ v m (,) β+1 2 H s µ v m β+1 2 X s µ [c β (c+m) v m (,) β+1 2 L 2 (,T) +c β ε(m) v m (,) β+1 2 L 2 s(,t) ]. (6.35) Choosing M large so that c β µ ε(m) < 1, by (6.35) we obtain 2 v m (,) β+1 2 L 2 s(,t) 2[µ c β (c+m)+µ 1 ] v m (,) β+1 2 L 2 (,T). (6.36) Let us notice that, by (6.14) and H s T L2 s (,T), we get v m (,) L 2 s(,t) K (δ), (6.37) for any m < m. By applying (6.36) with β + 1 = 2s and by using (6.37) we have that v m 2s 2 2[c L 2 2s µ s(,t) (c+m)+µ 1 ]K (δ) 2 2s, 2s (that is β = 2s 2s ) and taking the limit as m, we deduce v(,) L 2 2 ( 2s) 2 (,T). By using the formula (6.36), we find, after k iterations, that v(, ) L 2 k ( 2s) k (,T) for all k. Then v(,) L q (,T) for all q [2, ), and by invoking Proposition 3.5. in [18], we can conclude that v C,α ([,T] ), for some α (,1). References [1] A. Ambrosetti and P. H. Rabinowitz, Dual Variational Methods in Critical Point Theory and Applications, J. Funct. Anal. 14 (1973), [2] V. Ambrosio, Existence of heteroclinic solutions for a pseudo-relativistic Allen-Cahn type equation, Adv. onlinear Stud. 15 (215), [3] V. Ambrosio, Periodic solutions for a pseudo-relativistic Schrödinger equation, onlinear Anal. 12 (215), [4] D. Applebaum, Levy Processes and Stochastic Calculus, Cambridge Studies in advanced mathematics 93 (24). [5] A. Bènyi and T. Oh, The Sobolev inequality on the torus revisited, Publ. Math. Debrecen 83 (213) no. 3, [6] P. Biler, G. Karch and W.A.Woyczynski, Critical nonlinearity exponent and self-similar asymptotics for Levy conservation laws, Ann. Inst. H. Poincaré Anal. on Linéaire 18 (21),

31 [7] X. Cabré and Y. Sire, onlinear equations for fractional Laplacians I: regularity, maximum principles, and Hamiltonian estimates, Ann. Inst. H. Poincaré Anal. on Linéaire 31 (214), [8] X. Cabré and Y. Sire, onlinear equations for fractional Laplacians II: existence, uniqueness, and qualitative properties of solutions, Trans. Amer. Math. Soc. 367 (215), [9] X. Cabré and J. Solà-Morales, Layer solutions in a half-space for boundary reactions, Comm. Pure Appl. Math. 58 (25), [1] X. Cabré, J. Tan, Positive solutions of nonlinear problems involving the square root of the Laplacian, Adv.Math. 224 (21), [11] L. A. Caffarelli and L. Silvestre, An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations 32 (27), [12] L. Caffarelli and A. Vasseur, Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, Ann. of Math (21), no.3, [13] A. Capella, J.Dávila, L. Dupaigne and Y. Sire, Regularity of Radial Extremals Solutions for Some on-local Semilinear Equation, Comm.Partial Diff. Equations 36 (211), [14] R. Carmona, W. C. Masters, B. Simon, Relativistic Schrodinger operators; Asymptotic behaviour of the eigenfunctions, J. Funct. Anal. 91 (199), [15] R. Cont and P. Tankov, Financial Modelling with Jump Processes, Chapman and Hall/CRC Financ. Math. Ser., Chapman and Hall/CRC, Boca Raton, FL, (24). [16] G. Duvaut and J. L. Lions, Inequalities in Mechanics and Physics, Grundlehren- Math.Wiss., vol. 219, Springer-Verlag, Berlin, Translated from French by C.W. John. [17] A. Erdélyi, W. Magnus, F. Oberhettinger and F. Tricomi, Higher Trascendental Functions, vol. 1,2 McGraw-Hill, ew York (1953). [18] M. M. Fall and V. Felli, Unique continuation properties for relativistic Schrödinger operators with a singular potential, To appear in DCDS A. [19] J. Fröhlich, B. L. G. Jonsson and E. Lenzmann, Boson stars as solitary waves, Comm. Math. Phys. 274 (1), 1 3. [2] E. H. Lieb and M. Loss, Analysis, 2nd Edition. Vol. 14 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI. 33. [21] E. H. Lieb and H. T. Yau, The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics, Comm. Math. Phys. 112 (1987), [22] E. H. Lieb and H. T. Yau, The stability and instability of relativistic matter, Comm. Math. Phys. 118 (2), (1988) [23] J. Mawhin and M. Willem, Critical point theory and Hamiltonian systems, Applied Mathematical Sciences, Springer-Verlag, ew York 74, (1989). [24] P. H. Rabinowitz, Minimax methods in critical point theory with applications to differential equations, CBMS Regional Conference Series in Mathematics 65, (1986). [25] M. Ryznar, Estimate of Green function for relativistic α-stable processes, Potential Analysis, 17, (22), [26] L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm. Pure Appl. Math. 6 (26), [27] Y. Sire and E. Valdinoci, Fractional Laplacian phase transitions and boundary reactions: a geometric inequality and a symmetry result, J. Funct. Anal. 256 (29),

32 [28] J. J. Stoker, Water Waves: The Mathematical Theory with Applications, Pure Appl. Math., vol. IV, Interscience Publishers, Inc., ew York, (1957). [29] M. Struwe, Variational methods: Application to onlinear Partial Differential Equations and Hamiltonian Systems, Springer-Verlag, Berlin, (199). [3] J. F. Toland, The Peierls-abarro and Benjamin-Ono equations, J. Funct. Anal. 145 (1997), [31] M. Willem, Minimax theorems, Progress in onlinear Differential Equations and their Applications, 24 (1996). [32] A. Zygmund, Trigonometric series Vol. 1,2, Cambridge University Press, Cambridge (22). Vincenzo Ambrosio, Dipartimento di Matematica e Applicazioni, Università degli Studi Federico II di apoli, via Cinthia, 8126 apoli, Italy address: vincenzo.ambrosio2@unina.it 32