EXISTENCE OF SOLUTIONS FOR FRACTIONAL HAMILTONIAN

0 downloads 0 Views 250KB Size Report
Nov 26, 2013 - EXISTENCE OF SOLUTIONS FOR FRACTIONAL. HAMILTONIAN SYSTEMS. CÉSAR TORRES. Abstract. In this work we prove the existence of ...
Electronic Journal of Differential Equations, Vol. 2013 (2013), No. 259, pp. 1–12. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu

EXISTENCE OF SOLUTIONS FOR FRACTIONAL HAMILTONIAN SYSTEMS ´ CESAR TORRES

Abstract. In this work we prove the existence of solutions for the fractional differential equation α α t D∞ (−∞ Dt u(t))

+ L(t)u(t) = ∇W (t, u(t)),

u ∈ H α (R, RN ).

where α ∈ (1/2, 1). Assuming L is coercive at infinity we show that this equation has at least one nontrivial solution.

1. Introduction Fractional differential equations both ordinary and partial ones are applied in mathematical modeling of processes in physics, mechanics, control theory, biochemistry, bioengineering and economics. Therefore the theory of fractional differential equations is an area intensively developed during last decades [1, 11, 16, 22, 25]. The monographs [12, 17, 19], enclose a review of methods of solving fractional differential equations, which are an extension of processes from differential equations theory. Recently, also equations including both - left and right fractional derivatives, are discussed. Let us point out that according to integration by parts formulas in fractional calculus, we obtain equations mixing left and right operators. Apart from their possible applications, equations with left and right derivatives are an interesting and new field in fractional differential equations theory. Some works in this topic can be founded in papers [3, 4, 13] and their references. Recently Jiao and Zhou [14], for the first time, showed that the critical point theory is an effective approach for studying the existence for the following fractional boundary-value problem α α a.e. t ∈ [0, T ], t DT (0 Dt u(t)) = ∇F (t, u(t)), (1.1) u(0) = u(T ) = 0, and obtained the existence of at least one nontrivial solution. Motivated by this work, in this paper we consider a fractional differential equation with left and right fractional derivatives on R, that is, α α t D∞ (−∞ Dt u(t))

+ L(t)u(t) = ∇W (t, u(t))

(1.2)

2000 Mathematics Subject Classification. 26A33, 34C37, 35A15, 35B38. Key words and phrases. Liouville-Weyl fractional derivative; fractional Hamiltonian systems; critical point; variational methods. c

2013 Texas State University - San Marcos. Submitted June 10, 2013. Published November 26, 2013. 1

2

C. TORRES

EJDE-2013/259

where α ∈ (1/2, 1), t ∈ R, u ∈ Rn , L ∈ C(R, Rn×n ) is a symmetric matrix-valued function and W : R × Rn → R; satisfies the following conditions: (L1) L(t) is positive definite symmetric matrix for all t ∈ R and there exists an l ∈ C(R, (0, ∞)) such that l(t) → +∞ as t → ∞ and (L(t)x, x) ≥ l(t)|x|2 ,

for all t ∈ R x ∈ Rn .

(1.3)

(W1) W ∈ C 1 (R × Rn , R) and there exists a constant µ > 2 such that 0 < µW (t, x) ≤ (x, ∇W (t, x)),

for all t ∈ R x ∈ Rn \ {0}.

(W2) |∇W (t, x)| = o(|x|) as x → 0 uniformly with respect to t ∈ R. (W3) There exists W ∈ C(Rn , R) such that |W (t, x)| + |∇W (t, x)| ≤ |W (x)| for every x ∈ Rn t ∈ R. In particular, if α = 1, Equation (1.2) reduces to the standard second-order differential equation u00 − L(t)u + ∇W (t, u) = 0, (1.4) where W : R × Rn → R is a given function and ∇W (t, u) is the gradient of W at u. The existence of homoclinic solution is one of the most important problems in the history of that kind of equations, and has been studied intensively by many mathematicians. Assuming that L(t) and W (t, u) are independent of t, or T -periodic in t, many authors have studied the existence of homoclinic solutions for (1.4) via critical point theory and variational methods. In this case, the existence of homoclinic solution can be obtained by going to the limit of periodic solutions of approximating problems. If L(t) and W (t, u) are neither autonomous nor periodic in t, this problem is quite different from the ones just described, because the lack of compacteness of the Sobolev embedding. In [20] the authors considered (1.4) without periodicity assumptions on L and W and showed that (1.4) possesses one homoclinic solution by using a variant of the mountain pass theorem without the Palais-Smale contidion. In [18], under the same assumptions of [20], the authors, by employing a new compact embedding theorem, obtained the existence of homoclinic solution of (1.4). Physical models containing left and right fractional differential operators have recently renewed attention from scientists which is mainly due to applications as models for physical phenomena exhibiting anomalous diffusion. A strong motivation for investigating the fractional differential equation (1.2) comes from symmetry fractional advection-dispersion equation (SADE for short). A fractional advectiondispersion equation (ADE for short) is a generalization of the classical ADE in which the second-order derivative is replaced with a fractional-order derivative. In contrast to the classical ADE, the fractional ADE has solutions that resemble the highly skewed and heavy-tailed breakthrough curves observed in field and laboratory studies [5], [7], in particular in contaminant transport of ground-water flow [6]. In [6], the authors state that solutes moving through a highly heterogeneous aquifer violations violates the basic assumptions of local second order theories because of large deviations from the stochastic process of Brownian motion. According to [5], the one-dimensional form of the fractional ADE can be written as ∂C ∂C ∂γ C ∂γ C = −v + Dj γ + D(1 − j) , (1.5) ∂t ∂x ∂ x ∂(−x)γ

EJDE-2013/259

EXISTENCE OF SOLUTIONS

3

where C is the expected concentration, t is time, v is a constant mean velocity, x is the distance in the direction of mean velocity, D is a constant dispersion coefficient, 0 ≤ j ≤ 1 describes the skewness of the transport process, and γ is the order of left and right fractional differential operators. For discussions of this equation, see [6] A special case of the fractional ADE (1.5) describes symmetric transitions, where j = 1/2. Defining the symmetric operator equivalent to the Riesz potential [23] γ γ 2∇γ = D+ + D−

(1.6)

gives the mass balance equation for advection and symmetric fractional dispersion ∂C = −v∇C + D∇γ C. ∂t

(1.7)

The fractional ADE has been studied in one dimension ([6]), over infinite domains by using the Fourier transform of fractional differential operators to determine a classical solution. Variational methods, especially the Galerkin approximation has been investigated to find the solutions of fractional BVP [9] and fractional ADE [8] on a finite domain by establishing some suitable fractional derivative spaces. Our goal in this paper is to show how variational methods based on Mountain pass theorem can be used to get existence results for (1.2). However, the direct application of the mountain pass theorem is not enough since the Palais-Smale sequences might lose compactness in the whole space R. To overcome this difficulty we proof a version of compact embedding for fractional space following the ideas of [18]. Before stating our results let us introduce the main ingredients involved in our approach. We define Z ∞ Z ∞ 2 2 kukI−∞ = |u(t)| dt + |−∞ Dtα u(t)|2 dt α −∞

−∞

and the space k·kα

α I−∞ (R) = C0∞ (R, Rn )

.

α Now we say that u ∈ I−∞ (R) is a weak solution of (1.2) if Z ∞ Z ∞ [(−∞ Dtα u(t), −∞ Dtα v(t)) + (L(t)u(t), v(t))]dt = (∇W (t, u(t)), v(t))dt, −∞

−∞

α α for all v ∈ I−∞ (R). For u ∈ I−∞ (R) we may define the functional Z ∞ Z ∞ 1 α 2 [|−∞ Dt u(t)| + (L(t)u(t), u(t))]dt − W (t, u(t))dt. I(u) = 2 −∞ −∞

(1.8)

which is of class C 1 . We say that u ∈ E α is a weak solution of (1.2) if u is a critical point of I. Now we are in a position to state our main existence theorem. Theorem 1.1. Suppose that (L1), (W1)–(W3) hold. Then (1.2) possesses at least one nontrivial solution. The rest of the paper is organized as follows: in section 2, subsection 2.1, we describe the Liouville-Weyl fractional calculus; in subsection 2.2 we introduce the fractional space that we use in our work and some proposition are proven which will aid in our analysis. In section 3, we will prove Theorem 1.1.

4

C. TORRES

EJDE-2013/259

2. Preliminary results 2.1. Liouville-Weyl Fractional Calculus. The Liouville-Weyl fractional integrals of order 0 < α < 1 are defined as Z x 1 α I u(x) = (x − ξ)α−1 u(ξ)dξ, (2.1) −∞ x Γ(α) −∞ Z ∞ 1 α (ξ − x)α−1 u(ξ)dξ . (2.2) x I∞ u(x) = Γ(α) x The Liouville-Weyl fractional derivative of order 0 < α < 1 are defined as the left-inverse operators of the corresponding Liouville-Weyl fractional integrals d 1−α u(x), −∞ Ix dx d 1−α α u(x) . x D∞ u(x) = − xI dx ∞ The definitions (2.3) and (2.4) may be written in an alternative form: Z ∞ α u(x) − u(x − ξ) α dξ, −∞ Dx u(x) = Γ(1 − α) 0 ξ α+1 Z ∞ u(x) − u(x + ξ) α α dξ . x D∞ u(x) = Γ(1 − α) 0 ξ α+1 α −∞ Dx u(x)

=

(2.3) (2.4)

(2.5) (2.6)

We establish the Fourier transform properties of the fractional integral and fractional differential operators. Recall that the Fourier transform u b(w) of u(x) is defined by Z ∞

u b(w) =

e−ix.w u(x)dx.

−∞

Let u(x) be defined on (−∞, ∞). Then the Fourier transform of the Liouville-Weyl integral and differential operator satisfies = (iw)−α u b(w),

(2.7)

= (−iw)−α u b(w),

(2.8)

= (iw)α u b(w),

(2.9)

α \ −∞ Ix u(x)(w) α \ x I∞ u(x)(w)

α \ −∞ Dx u(x)(w) α \ x D∞ u(x)(w)

α

= (−iw) u b(w)

(2.10)

2.2. Fractional derivative spaces. In this section we introduce some fractional spaces for more detail see [8]. Let α > 0. Define the semi-norm α |u|I−∞ = k−∞ Dxα ukL2

and the norm  1/2 α kukI−∞ = kuk2L2 + |u|2I−∞ . α

(2.11)

Let α I−∞ (R) = C0∞ (R)

k·kI α

−∞

.

α

Now we define the fractional Sobolev space H (R) in terms of the fourier transform. Let 0 < α < 1, let the semi-norm |u|α = k|w|α u bkL2

(2.12)

EJDE-2013/259

EXISTENCE OF SOLUTIONS

5

and norm kukα = kuk2L2 + |u|2α

1/2

,

and let k·kα

H α (R) = C0∞ (R) 2

We note a function u ∈ L (R) belongs to α

α I−∞ (R)

.

if and only if

2

|w| u b ∈ L (R).

(2.13)

α |u|I−∞ = k|w|α u bkL2 .

(2.14)

Especially, α Therefore I−∞ (R) and H α (R) are equivalent with equivalent semi-norm α α Analogous to I−∞ (R) we introduce I∞ (R). Let the semi-norm

and norm.

α α = kx D |u|I∞ ∞ ukL2

and the norm  1/2 α = kukI∞ kuk2L2 + |u|2I∞ . α

(2.15)

Let α I∞ (R) = C0∞ (R)

α k·kI∞

.

α α Moreover I−∞ (R) and I∞ (R) are equivalent, with equivalent semi-norm and norm [8]. Now we give the prove of the Sobolev lemma.

Theorem 2.1. If α > 1/2, then H α (R) ⊂ C(R) and there is a constant C = Cα such that sup |u(x)| ≤ Ckukα (2.16) x∈R

Proof. By the Fourier inversion theorem, if u b ∈ L1 (R), then u is continuous and sup |u(x)| ≤ kb ukL1 . x∈R

Hence, to prove the theorem it is sufficient to prove that kb ukL1 ≤ kukα , so by Schwarz inequality, we have Z Z 1 |b u(w)|dw = (1 + |w|2 )α/2 |b u(w)| dw (1 + |w|2 )α/2 R R Z 1/2  Z 1/2 ≤ (1 + |w|2α )|b u(w)|2 dw (1 + |w|2 )−α dw . R

R

The first integral on the right is Z

kuk2α ,

so the theorem depends on the fact that

(1 + |w|2 )−α dw < ∞

R

precisely when α > 1/2.



Remark 2.2. If u ∈ H α (R), then u ∈ Lq (R) for all q ∈ [2, ∞], since Z 2 |u(x)|q dx ≤ kukq−2 ∞ kukL2 . R

6

C. TORRES

EJDE-2013/259

Now we introduce a new fractional space. Let Z  X α = u ∈ H α (R, Rn ) : |−∞ Dtα u(t)|2 + L(t)u(t).u(t)dt < ∞ . R α

The space X is a Hilbert space with the inner product Z hu, viX α = (−∞ Dtα u(t), −∞ Dtα v(t)) + L(t)u(t).v(t)dt R

and the corresponding norm kuk2X α = hu, uiX α Lemma 2.3. Suppose L satisfies (L1). Then X α is continuously embedded in H α (R, Rn ). Proof. Since l ∈ C(R, (0, ∞)) and l is coercive, then lmin = mint∈R l(t) exists, so we have (L(t)u(t), u(t)) ≥ l(t)|u(t)|2 ≥ lmin |u(t)|2 , ∀t ∈ R. Then  Z lmin kuk2α = lmin |−∞ Dtα u(t)|2 + |u(t)|2 dt Z R Z ≤ lmin |−∞ Dtα u(t)|2 dt + (L(t)u(t), u(t))dt R

R

So kuk2α ≤ Kkuk2X α where K = max{lmin , 1}/lmin .

(2.17) 

Lemma 2.4. Suppose L satisfies (L1). Then the imbedding of X α in L2 (R) is compact. Proof. We note first that by Lemma 2.3 and Remark 2.2 we have X α ,→ L2 (R) is continuous. Now, let (uk ) ∈ X α be a sequence such that uk * u in X α . We will show that uk → u in L2 (R). Suppose, without loss of generality, that uk → 0 in X α . The Banach-Steinhaus theorem implies that A = sup kuk kX α < +∞ k 1 ≤  for all t such that t ≤ T0 . Similarly, Let  > 0; there is T0 < 0 such that l(t) 1 there is T1 > 0, such that l(t) ≤  for all t ≥ T1 . Sobolev’s theorem (see e.g. [24])

implies that uk → 0 uniformly on Ω = [T0 , T1 ], so there is a k0 such that Z |uk (t)|2 dt ≤ , for all k ≥ k0 .

(2.18)



Since 1/l(t) ≤  on (−∞, T0 ] we have Z T0 Z |uk (t)|2 dt ≤  −∞

T0

l(t)|uk (t)|2 dt ≤ A2 .

(2.19)

−∞

Similarly, since 1/l(t) ≤  on [T1 , +∞), we have Z +∞ |uk (t)|2 dt ≤ A2 . T1

(2.20)

EJDE-2013/259

EXISTENCE OF SOLUTIONS

Combining (2.18), (2.19) and (2.20) we obtain uk → 0 in L2 (R, Rn ).

7



Lemma 2.5. There are constants c1 > 0 and c2 > 0 such that W (t, u) ≥ c1 |u|µ , µ

W (t, u) ≤ c2 |u| ,

|u| ≥ 1 ,

(2.21)

|u| ≤ 1 .

(2.22)

Proof. By (W1) we note that µW (t, σu) ≤ (σu, ∇W (t, σu)). Let f (σ) = W (t, σu), then  d f (σ)σ −µ ≥ 0 . dσ

(2.23)

Now we consider two cases Case 1. |u| ≤ 1. In this case we integrate (2.23), from 1 to 1/|u| and we obtain u W (t, u) ≤ W (t, )|u|µ . (2.24) |u| Case 2. |u| ≥ 1. In this case we integrate (2.23), from 1/|u| to 1 and we obtain u W (t, u) ≥ |u|µ W (t, ). (2.25) |u| u Now, since u ∈ Rn , |u| ∈ B(0, 1). So, since W is continuous and B(0, 1) is compact, there are c1 > 0 and c2 > 0 such that

c1 ≤ W (t, u) ≤ c2 ,

for every u ∈ B(0, 1).

Therefore, we get the statement of the lemma.



Remark 2.6. By lemma 2.5, we have W (t, u) = o(|u|2 )

as u → 0 uniformly in t ∈ R

(2.26)

In addition, by (W2), for any u ∈ Rn such that |u| ≤ M1 , there exists some constant d > 0 (dependent on M1 ) such that |∇W (t, u(t))| ≤ d|u(t)| .

(2.27)

As in [18, lemma 2], we obtain the following result. Lemma 2.7. Suppose that (L1), (W1)-(W2) are satisfied. If uk * u in X α , then ∇W (t, uk ) → ∇W (t, u) in L2 (R, Rn ). Proof. Assume that uk * u in X α . Then there exists a constant d1 > 0 such that, by Banach-Steinhaus theorem and (2.16), sup kuk k∞ ≤ d1 ,

kuk∞ ≤ d1 .

k∈N

By (W2), for any  > 0 there is δ > 0 such that |uk | < δ

implies |∇W (t, uk )| ≤ |uk | .

By (W3) there is M > 0 such that |∇W (t, uk )| ≤ M, forall δ < uk ≤ d1 . Therefore, there exists a constant d2 > 0 (dependening on d1 ) such that |∇W (t, uk (t))| ≤ d2 |uk (t)|, |∇W (t, u(t))| ≤ d2 |u(t)|

8

C. TORRES

EJDE-2013/259

for all k ∈ N and t ∈ R. Hence, |∇W (t, uk (t)) − ∇W (t, u(t))| ≤ d2 (|uk (t)| + |u(t)|) ≤ d2 (|uk (t) − u(t)| + 2|u(t)|) . Since, by lemma 2.4, uk → u in L2 (R, Rn ), passing to a subsequence if necessary, it can be assumed that ∞ X kuk − ukL2 < ∞ . k=1

But this implies uk (t) → u(t) almost everywhere t ∈ R and ∞ X

|uk (t) − u(t)| = v(t) ∈ L2 (R, Rn ) .

k=1

Therefore, |∇W (t, uk (t)) − ∇W (t, u(t))| ≤ d2 (v(t) + 2|u(t)|) . Then, using the Lebesgue’s convergence theorem, the lemma is proved.



Now we introduce more symbols and some definitions. Let B be a real Banach space, I ∈ C 1 (B, R), which means that I is a continuously Fr´echet-differentiable functional defined on B. Recall that I ∈ C 1 (B, R) is said to satisfy the (PS) condition if any sequence {uk }k∈N ∈ B, for which {I(uk )}k∈N is bounded and I 0 (uk ) → 0 as k → +∞, possesses a convergent subsequence in B. Moreover, let Br be the open ball in B with the radius r and centered at 0 and ∂Br denote its boundary. We obtain the existence of solutions to (1.2) by use of the following well-known Mountain Pass Theorems, see [21]. Theorem 2.8. Let B be a real Banach space and I ∈ C 1 (B, R) satisfying the (PS) condition. Suppose that I(0) = 0 and (i) There are constants ρ, β > 0 such that I|∂Bρ ≥ β, and (ii) There is and e ∈ B \ Bρ such that I(e) ≤ 0. Then I possesses a critical value c ≥ β. Moreover c can be characterized as c = inf max I(γ(s)), γ∈Γ s∈[0,1]

where Γ = {γ ∈ C([0, 1], B) : γ(0) = 0, γ(1) = e} 3. Proof of Theorem 1.1 Now we establish the corresponding variational framework to obtain the existence of solutions for (1.2). Define the functional I : X α → R by Z h i 1 1 I(u) = |−∞ Dtα u(t)|2 + (L(t)u(t), u(t)) − W (t, u(t)) dt 2 R 2 Z (3.1) 1 = kuk2X α − W (t, u(t))dt 2 R Lemma 3.1. Under the conditions of Theorem 1.1, we have Z 0 I (u)v = [(−∞ Dtα u(t),−∞ Dtα v(t)) + (L(t)u(t), v(t)) − (∇W (t, u(t)), v(t))]dt R

(3.2)

EJDE-2013/259

EXISTENCE OF SOLUTIONS

9

for all u, v ∈ X α , which yields 0

I (u)u =

kuk2X α

Z −

(∇W (t, u(t)), u(t))dt.

(3.3)

R

Moreover, I is a continuously Fr´echet-differentiable functional defined on X α ; i.e., I ∈ C 1 (X α , R). Proof. We firstly show that I : X α → R. By (2.26), there is a δ > 0 such that |u| ≤ δ implies W (t, u) ≤ |u|2 for all t ∈ R (3.4) Let u ∈ X α , then u ∈ C(R, Rn ), the space of continuous function u ∈ R such that u(t) → 0 as |t| → +∞. Therefore there is a constant R > 0 such that |t| ≥ R implies |u(t)| ≤ δ. Hence, by (3.4), we have Z Z R Z W (t, u(t)) ≤ W (t, u(t))dt +  |u(t)|2 dt < +∞. (3.5) −R

R

|t|≥R α

Combining (3.1) and (3.5), we show that I : X → R. Now we prove that I ∈ C 1 (X α , R). Rewrite I as follows I = I1 − I2 , where I1 =

1 2

Z

[|−∞ Dtα u(t)|2 + (L(t)u(t), u(t))]dt,

R

Z I2 =

W (t, u(t))dt R

It is easy to check that I1 ∈ C 1 (X α , R) and Z 0 I1 (u)v = [(−∞ Dtα u(t),−∞ Dtα v(t)) + (L(t)u(t), v(t))] dt.

(3.6)

R

Thus it is sufficient to show this is the case for I2 . In the process we will see that Z I20 (u)v = (∇W (t, u(t)), v(t))dt, (3.7) R α

which is defined for all u, v ∈ X . For any given u ∈ X α , let us define J(u) : X α → R as follows Z J(u)v = (∇W (t, u(t)), v(t))dt, ∀v ∈ X α . R

It is obvious that J(u) is linear. Now we show that J(u) is bounded. Indeed, for any given u ∈ X α , by (2.27), there is a constant d3 > 0 such that |∇W (t, u(t))| ≤ d3 |u(t)|, which yields that, by H¨ older’s inequality and lemma 2.3, Z |J(u)v| = (∇W (t, u(t)), v(t))dt R Z d3 kukX α kvkX α . ≤ d3 |u(t)||v(t)|dt ≤ l min R Moreover, for u and v ∈ X α , by mean value theorem, we have Z Z Z W (t, u(t) + v(t))dt − W (t, u(t))dt = (∇W (t, u(t) + h(t)v(t)))dt, R

R

R

(3.8)

10

C. TORRES

EJDE-2013/259

where h(t) ∈ (0, 1). Therefore, by lemma 2.4 and H¨older’s inequality, we have Z Z (∇W (t, u(t) + h(t)v(t)), v(t))dt − (∇W (t, u(t)), v(t))dt R R Z (3.9) = (∇W (t, u(t)) + h(t)v(t) − ∇W (t, u(t)), v(t))dt → 0 R

as v → 0 in X α . Combining (3.8) and (3.9), we see that (3.7) holds. It remains to prove that I20 is continuous. Suppose that u → u0 in X α and note that Z sup |I20 (u)v − I20 (u0 )v| = sup (∇W (t, u(t)) − ∇W (t, u0 (t)), v(t))dt kvkX α =1

kvkX α =1



sup

R

k∇W (., u(.)) − ∇W (., u0 (.))kL2 kvkL2

kvkX α =1

≤√

1 k∇W (., u(.)) − ∇W (., u0 (.))kL2 lmin

By lemma 2.4, we obtain that I20 (u)v − I20 (u0 )v → 0 as kukX α → ku0 kX α uniformly with respect to v, which implies the continuity of I20 and I ∈ C 1 (X α , R).  Lemma 3.2. Under conditions (L1), (W1), (W2), I satisfies the (PS) condition. Proof. Assume that (uk )k∈N ∈ X α is a sequence such that {I(uk )}k∈N is bounded and I 0 (uk ) → 0 as k → +∞. Then there exists a constant C1 > 0 such that |I(uk )| ≤ C1 ,

kI 0 (uk )k(X α )∗ ≤ C1

(3.10)

for every k ∈ N. We firstly prove that {uk }k∈N is bounded in X α . By (3.1), (3.3) and (W1 ), we have 1 0 I (uk )uk µ Z  µ 1 2 − 1 kuk kX α − [W (t, uk (t)) − (∇W (t, uk (t)), uk (t))]dt = 2 µ R µ  2 ≥ − 1 kuk kX α . 2 (3.11) Since µ > 2, the inequality (3.11) shows that {uk }k∈N is bounded in X α . So passing to a subsequence if necessary, it can be assumed that uk * u in X α and hence, by lemma 2.4, uk → u in L2 (R, Rn ). It follows from the definition of I that C1 + kuk kX α ≥ I(uk ) −

(I 0 (uk ) − I 0 (u))(uk − u) Z = kuk − uk2X α − [∇W (t, uk ) − ∇W (t, u)](uk − u)dt.

(3.12)

R

Since uk → u in L2 (R, Rn ), we have (see lemma 2.7) ∇W (t, uk (t)) → ∇W (t, u(t)) in L2 (R, Rn ). Hence Z (∇W (t, uk (t)) − ∇W (t, u(t)), uk (t) − u(t))dt → 0 R

as k → +∞. So (3.12) implies kuk − ukX α → 0 as k → +∞.



Now we are in the position to give the proof of Theorem 1.1. We divide the proof into several steps.

EJDE-2013/259

EXISTENCE OF SOLUTIONS

11

Proof of theorem 1.1. Step 1. It is clear that I(0) = 0 and I ∈ C 1 (X α , R) satisfies the (PS) condition by lemma 3.1 and 3.2. Step 2. Now We show that there exist constant ρ > 0 and β > 0 such that I satisfies the condition (i) of theorem 2.8. By lemma 2.4, there is a C0 > 0 such that kukL2 ≤ C0 kukX α . On the other hand by theorem 2.1, there is Cα > 0 such that kuk∞ ≤ Cα kukX α . By (2.26), for all  > 0, there exists δ > 0 such that W (t, u(t)) ≤ |u(t)|2 Let ρ =

δ Cα

wherever |u(t)| < δ.

and kukX α ≤ ρ; we have kuk∞ ≤ 2

|W (t, u(t))| ≤ |u(t)|

δ Cα .Cα

= δ. Hence

for all t ∈ R.

Integrating on R, we obtain Z W (t, u(t))dt ≤ kuk2L2 ≤ C02 kuk2X α . R

So, if kukX α = ρ, then I(u) =

1 kuk2X α − 2

Z

1 1 W (t, u(t))dt ≥ ( − C02 )kuk2X α = ( − C02 )ρ2 . 2 2 R

And it suffices to choose  =

1 4C02

to obtain

I(u) ≥

ρ2 = β > 0. 4C02

(3.13)

Step 3. It remains to prove that there exists an e ∈ X α such that kekX α > ρ and I(e) ≤ 0, where ρ is defined in Step 2. Consider Z σ2 2 I(σu) = kukX α − W (t, σu(t))dt 2 R for all σ ∈ R. By (2.21), there is c1 > 0 such that W (t, u(t)) ≥ c1 |u(t)|µ

for all |u(t)| ≥ 1.

(3.14)

α

Take some u ∈ X such that kukX α = 1. Then there exists a subset Ω of positive measure of R such that u(t) 6= 0 for t ∈ Ω. Take σ > 0 such that σ|u(t)| ≥ 1 for t ∈ Ω. Then by (3.14), we obtain Z σ2 µ − c1 σ |u(t)|µ dt. (3.15) I(σu) ≤ 2 Ω Since c1 > 0 and µ > 2, (3.15) implies that I(σu) < 0 for some σ > 0 with σ|u(t)| ≥ 1 for t ∈ Ω and kσukX α > ρ, where ρ is defined in Step 2. By theorem 2.8, I possesses a critical value c ≥ β > 0 given by c = inf max I(γ(s)), γ∈Γ s∈[0,1]

where Γ = {γ ∈ C([0, 1], X α ) : γ(0) = 0, γ(1) = e}. Hence there is u ∈ X α such that I(u) = c, I 0 (u) = 0.



12

C. TORRES

EJDE-2013/259

Acknowledgements. The author was partially supported by grant 0607 from MECESUP. References [1] O. Agrawal, J. Tenreiro Machado, J. Sabatier; Fractional derivatives and thier application: Nonlinear dynamics, Springer-Verlag, Berlin, 2004. [2] A. Ambrosetti, P. Rabinowitz; Dual variational methods in critical points theory and applications, J. Func. Anal. 14, 349-381 (1973). [3] T. Atanackovic, B. Stankovic; On a class of differential equations with left and right fractional derivatives, ZAMM., 87, 537-539 (2007). [4] D. Baleanu, J. Trujillo; On exact solutions of a class of fractional Euler-Lagrange equations, Nonlinear Dyn., 52, 331-335(2008). [5] D. Benson, S. Wheatcraft, M. Meerschaert; Application of a fractional advection-dispersion equation, Water Resour. Res. 36, 1403-1412 (2000). [6] D. Benson, S. Wheatcraft, M. Meerschaert; The fractional-order governing equation of L´ evy motion, Water Resour. Res. 36, 1413-1423 (2000). [7] D. Benson, R. Schumer, M. Meerschaert; Fractional dispersion, L´ evy motion, and the MADE tracer test, Transp. Porous Med. 42, 211-240 (2001). [8] V. Ervin, J. Roop; Variational formulation for the stationary fractional advection dispersion equation, Numer. Meth. Part. Diff. Eqs, 22, 58-76(2006). [9] J. Fix, J. Roop; Least squares finite- element solution of a fractional order two-point boundary value problem, Comput. Math. Appl. 48, 1017-1033 (2004). [10] D. Haroske, H. Triebel; Distributions, sobolev spaces, elliptic equations, European Mathematical Society, Switzerland, 2008. [11] R. Hilfer; Applications of fractional calculus in physics, World Scientific, Singapore, 2000. [12] A. Kilbas, H. Srivastava, J. Trujillo; Theory and applications of fractional differential equations, North-Holland Mathematics Studies, vol 204, Amsterdam, 2006. [13] M. Klimek; Existence and uniqueness result for a certain equation of motion in fractional mechanics, Bull. Polish Acad. Sci. Tech. Sci., 58, No 4, 573-581(2010). [14] F. Jiao and Y. Zhou; Existence results for fractional boundary value problem via critical point theory, Intern. Journal of Bif. and Chaos, 22, No 4, 1-17(2012). [15] J. Mawhin, M. Willen; Critical point theory and Hamiltonian systems, Applied Mathematical Sciences 74, Springer, Berlin, 1989. [16] R. Metsler, J. Klafter; The restaurant at the end of the random walk: recent developments in the description of anomalous transport by fractional dynamics, J. Phys. A, 37, 161-208 (2004). [17] K. Miller, B. Ross; An introduction to the fractional calculus and fractional differential equations, Wiley and Sons, New York, 1993. [18] W. Omana, M. Willem; Homoclinic orbits for a class of Hamiltonian systems, Differ. Integr. Equ., 5, No 5, 1115-1120 (1992). [19] I. Podlubny; Fractional differential equations”, Academic Press, New York, 1999. [20] P. Rabinowitz, K. Tanaka; Some result on connecting orbits for a class of Hamiltonian systems, Math. Z., 206, 473-499 (1991). [21] P. Rabinowitz; Minimax method in critical point theory with applications to differential equations, CBMS Amer. Math. Soc., No 65, 1986. [22] J. Sabatier, O. Agrawal, J. Tenreiro Machado; Advances in fractional calculus. Theoretical developments and applications in physics and engineering, Springer-Verlag, Berlin, 2007. [23] S. Samko, A. Kilbas, O. Marichev; Fractional integrals and derivatives: Theory and applications, Gordon and Breach, New York, 1993. [24] C. Stuart; Bifurcation into spectral gaps, Soci´ et´ e Math´ ematique de Belgique, 1995. [25] B. West, M. Bologna, P. Grigolini; Physics of fractal operators, Springer-Verlag, Berlin, 2003. ´sar Torres Ce ´ tica and Centro de Modelamiento Matema ´ tico, Departamento de Ingenier´ıa Matema UMR2071 CNRS-UChile, Universidad de Chile, Santiago, Chile E-mail address: [email protected]