Discrete Dynamics in Nature and Society
Volume 2017 (2017), Article ID 9281049, 9 pages
https://doi.org/10.1155/2017/9281049

Research Article

Nontrivial Solutions for Time Fractional Nonlinear Schrödinger-Kirchhoff Type Equations

N. Nyamoradi,¹ Y. Zhou,2,3 E. Tayyebi,¹ B. Ahmad,³ and A. Alsaedi³

¹Department of Mathematics, Faculty of Sciences, Razi University, Kermanshah 67149, Iran
²Faculty of Mathematics and Computational Science, Xiangtan University, Hunan 411105, China
³Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia

Correspondence should be addressed to Y. Zhou; yzhou@xtu.edu.cn

Received 4 April 2017; Revised 11 June 2017; Accepted 22 June 2017; Published 27 July 2017

Academic Editor: Thabet Abdeljawad

Copyright © 2017 N. Nyamoradi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We study the existence of solutions for time fractional Schrödinger-Kirchhoff type equation involving left and right Liouville-Weyl fractional derivatives via variational methods.

1. Introduction

In recent years, there has been a great interest in studying problems involving fractional Schrödinger equations [1–5], Kirchhoff type equations [6–8], fractional Navier-Stokes equations [9, 10], and fractional ordinary differential equations and Hamiltonian systems [11–17], and so forth. For further details and applications, we refer the reader to [18, 19] and the references cited therein.

On the other hand, the integer-order Schrödinger-Kirchhoff type equations have also been investigated by many authors; for example, see [20–23]. In fact, Schrödinger-Kirchhoff type equations play an important role in modelling several physical and biological systems. However, to the best of our knowledge, the existence of solutions to the time fractional Schrödinger-Kirchhoff type equations has yet to be addressed.

The objective of the present paper is to study time fractional Schrödinger-Kirchhoff type equation of the form

where , and , respectively, denote left and right Liouville-Weyl fractional derivatives of order on , are constants, is parameter, , , and is a potential function.

The rest of the paper is organized as follows. Section 2 contains preliminary concepts of fractional calculus and fractional Sobolev space, while some important lemmas, which are needed in the proof of main results, are obtained in Section 3. We present our main results in Section 4.

2. Preliminaries

In this section, we recall important definitions and concepts of fractional calculus and then prove certain results about fractional Sobolev space related to our study of the problem at hand.

Definition 1 (see [24]). The left and right Liouville-Weyl fractional integrals of order on are defined by

respectively, where .
The left and right Liouville-Weyl fractional derivatives of order on are defined by

respectively, where .
The definitions (3) may be written in an alternative form as follows:

Also, we define the Fourier transform of as

For any , we define the seminorm and norm, respectively, as [16]

and let the space denote the completion of with respect to the norm .

Next, for , we give the relationship between classical fractional Sobolev space and , where is defined by

with the norm

and seminorm

Observe that the spaces and are equal and have equivalent norms (see [16]).

Therefore, we define

Let

The space is a reflexive and separable Hilbert space with the inner product

and the corresponding norm

Define the space

with the norm

Lemma 2. is a uniformly convex Banach space.

Proof. is obviously Banach space. Now, we can prove that is uniformly convex. To this end, let and with and . Using the following inequality:

we get

which implies that . Hence, taking such that , we have . Therefore, is uniformly convex.

In the sequel, we need the following assumptions.

, ;there exists such that, for any ,

there exists such that ; and there exist constants and such that

as uniformly in ;there exist such that

as uniformly in ; for all ; and there exists such that

there exist , ( is defined in Remark 6), , and small constants such that

Lemma 3. Assume that (V1) holds. Then the embeddings are continuous. In particular, there exists a constant such that

Moreover, if (V1) and (V2) hold, then the embedding is compact.

Proof. Clearly, the chain of embeddings is continuous and consequently one can obtain (23). Also in view of (V1), (V2), and following the method of proof similar to that of Lemma  2.2 in [15], the embedding is compact.

Lemma 4. Let . Then and there exists a constant such that

Proof. The proof is similar to that of Theorem  2.1 in [16], so we omit it.

Also by Lemma 4, there is a constant such that

Remark 5. If with , then it follows by Lemma 4 that for all as

Remark 6. From Remark 5 and Lemma 3, it is easy to verify that the imbedding of in is also compact for . Hence, for all , the imbedding of in is continuous and compact, which together with Lemma 4 implies that there exists such that

Lemma 7. Assume that (V1) and (V3) hold. Then the embedding is continuous and compact for .

Proof. By (V3) and Hölder’s inequality, we have

for some positive constant . So Lemma 4 implies that

for some positive constant . Hence, by Remark 6, we can get continuous embeddings into for . Now, we will show that the embedding is compact for . Let such that and such that . In view of (V3), given , for large enough, one can obtain

Then,

On the other hand, by Sobolev’s theorem (see, e.g., [25]) which implies that uniformly on , there is such that for all . Thus in . So, for , we have

and consequently, in for .

Definition 8. Let be a Banach space, . One says that satisfies the Palais-Smale (PS) condition if any sequence for which is bounded and as possesses a convergent subsequence.

In order to establish the main results, we need the following known Theorems.

Theorem 9 (see [26, Theorem  2.2]). Let be a real Banach space and satisfies condition. Suppose and

(i)there are constants such that ;(ii)there is an such that .

Then possesses a critical value . Moreover can be characterized as

where

Theorem 10 (see [26, Theorem  9.12]). Let be an infinite dimensional Banach space and let be even, satisfying (PS) condition, and . If , where is finite dimensional and satisfies the following conditions:

there exist constants such that ;for any finite dimensional subspace , there is such that on ,

then possesses an unbounded sequence of critical values.

3. Some Lemmas

Recall that is said to be a weak solution of problem (1) if

and the energy functional is given by the formula

where

In view of assumptions (V1) and (F1), the functional is of class and by similar method in Theorem  4.1 in [27] and the definition of Gâteaux derivative, one can get

Lemma 11. Assume that (V) and (F1)–(F3) hold. Then satisfies the (PS) condition.

Proof. Let be a sequence such that is bounded and as . Then there exits such that and . So, by (F3), (23), and the fact that , we get

Hence, is bounded in .
So, passing onto subsequence if necessary, thanks to Lemma 3, we have

We will prove that

Let be fixed and denote by the linear functional on defined by

and set

for all . In view of the Hölder inequality and definition of , we have

Since in and as in , therefore as . Now, using (F1) and Hölder inequality, we obtain

which, in view of (39), yields

Since a.e. in , it follows by Fatou’s lemma that

Noting that is a nondecreasing function for , we get

Now, in view of as , (46), and (47), one has

Then, from (48)-(49), we get

Hence, we obtain . As is a reflexive Banach space (see Lemma 2), it is isomorphic to a locally uniformly convex space. So the weak convergence and norm convergence imply strong convergence. This completes the proof.

Let be a total orthonormal basis of and define , ,

Lemma 12. Assume that (V1) holds. Then, for ,

Proof. The proof is similar to that of Lemma  3.8 in [28]. So it is omitted.

In view of Lemma 12, we can choose an integer such that

where is a constant given in condition (F1). Let

and set and . Hence and are subspaces of , and .

Lemma 13. Suppose that (V1), (V2), and (F1) are satisfied. Then there exist constants such that .

Proof. In view of (V2), (53), and definition of the space , we have

Therefore, from (23), (55), and (F1) and for large enough value of , we get

Since , there exist constants such that .

Lemma 14. Assume that (F1) and (F4) are satisfied. Then, for any finite dimensional subspace , there is such that on .

Proof. Since all the norms in the finite dimensional space are equivalent, there exists a constant such that

From (F1) and (F4), for any , there exists a constant such that

Thus

for all . Consequently, there is a large such that on . Therefore, the proof is completed.

4. Existence of Weak Solutions

In this section, we present our main results.

Theorem 15. Assume that (V1), (V2), (F1), (F3), (F4), and (F5) hold. Then problem (1) has infinitely many nontrivial weak solutions whenever is sufficiently large.

Proof. We know that , and it is even by (F5). Let and and be as defined in Section 2. By Lemmas 11, 13, and 14, it follows that satisfies all the condition of the Theorem 10. Therefore, problem (1) has infinitely many nontrivial weak solutions whenever is sufficiently large.

Theorem 16. Assume that (V1), (V2), (F1), (F2), (F3), and (F4) hold. Then problem (1) has at least one nontrivial weak solution when .

Proof. We complete the proof in three steps.
Step  1. Clearly and satisfies the (PS) condition by Lemma 11.
Step  2. It will be shown that there exist constants such that satisfies condition (i) of Theorem 9. For any , by (F1) and (F2), there exists a constant such that

Thus, by (23) and (60), for small , we get

for all , where . So it suffices to choose so that

Step  3. It remains to prove that there exists an such that and , where is defined in Step  2. Let us consider

for all . Take . By (F1) and (F4), for any , there is a constant such that

So we have

as . Thus, there is a point such that . By Theorem 9, possesses a critical value given by

where

Hence there is such that and ; that is, problem (1) has a nontrivial weak solution in .

Theorem 17. Assume that (V1), (V3), (F5), (F6), and (F7) hold. Then problem (1) has infinitely many nontrivial weak solutions for .

Proof. One can obtain the proof by employing the method of proof for Theorem 15 and using Lemma 7.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This project was supported by National Natural Science Foundation of China (11671339).

References

S. Ş. Bayın, “Time fractional Schrödinger equation: fox’s H-functions and the effective potential,” Journal of Mathematical Physics, vol. 54, Article ID 012103, 2013.

J. L. Dubbeldam, Z. Tomovski, and T. Sandev, “Space-time fractional Schrödinger equation with composite time fractional derivative,” Fractional Calculus and Applied Analysis, vol. 18, no. 5, pp. 1179–1200, 2015.

A. Iomin, “Fractional-time Schrödinger equation: fractional dynamics on a comb,” Chaos, Solitons & Fractals, vol. 44, no. 4-5, pp. 348–352, 2011.

N. Laskin, “Fractional Schrödinger equation,” Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, vol. 66, Article ID 056108, 2002.

M. Naber, “Time fractional Schrödinger equation,” Journal of Mathematical Physics, vol. 45, no. 8, pp. 3339–3352, 2004.

N. Nyamoradi and Y. Zhou, “Existence of solutions for a Kirchhoff type fractional differential equations via minimal principle and Morse theory,” Topological Methods in Nonlinear Analysis, vol. 46, no. 2, pp. 617–630, 2015.

M. Xiang and B. Zhang, “Degenerate Kirchhoff problems involving the fractional -Laplacian without the (AR) condition,” Complex Variables and Elliptic Equations, vol. 60, no. 9, pp. 1277–1287, 2015.

M. Xiang, B. Zhang, and M. Ferrara, “Existence of solutions for Kirchhoff type problem involving the non-local fractional -Laplacian,” Journal of Mathematical Analysis and Applications, vol. 424, no. 2, pp. 1021–1041, 2015.

Y. Zhou and L. Peng, “On the time-fractional Navier—Stokes equations,” Computers & Mathematics with Applications, vol. 73, no. 6, pp. 874–891, 2017.

Y. Zhou and L. Peng, “Weak solutions of the time-fractional Navier-Stokes equations and optimal control,” Computers & Mathematics with Applications, vol. 73, no. 6, pp. 1016–1027, 2017.

J. Wang, M. Fe\v ckan, and Y. Zhou, “A survey on impulsive fractional differential equations,” Fractional Calculus and Applied Analysis, vol. 19, no. 4, pp. 806–831, 2016.

J. Wang, M. Fĕckan, and Y. Zhou, “Center stable manifold for planar fractional damped equations,” Applied Mathematics and Computation, vol. 296, pp. 257–269, 2017.

Y. Zhou, B. Ahmad, and A. Alsaedi, “Existence of nonoscillatory solutions for fractional neutral differential equations,” Applied Mathematics Letters, vol. 72, pp. 70–74, 2017.

Y. Zhou, V. Vijayakumar, and R. Murugesu, “Controllability for fractional evolution inclusions without compactness,” Evolution Equations and Control Theory, vol. 4, no. 4, pp. 507–524, 2015.

G. A. Mendez Cruz and C. E. Torres Ledesma, “Multiplicity of solutions for fractional Hamiltonian systems with Liouville-Weyl fractional derivatives,” Fractional Calculus and Applied Analysis, vol. 18, no. 4, pp. 875–890, 2015.

C. Torres, “Existence of solutions for fractional Hamiltonian systems,” Electronic Journal of Differential Equations, vol. 2013, article 259, pp. 1–12, 2013.

Y. Zhou and L. Zhang, “Existence and multiplicity results of homoclinic solutions for fractional Hamiltonian systems,” Computers & Mathematics with Applications, vol. 73, no. 6, pp. 1325–1345, 2017.

A. Iomin, “Fractional-time quantum dynamics,” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 80, no. 2, Article ID 022103, 2009.

N. Laskin, “Fractional quantum mechanics,” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 62, no. 3, pp. 3135–3145, 2000.

F. Cammaroto and L. Vilasi, “On a Schrödinger-Kirchhoff-type equation involving the -Laplacian,” Nonlinear Analysis. Theory, Methods & Applications, vol. 81, pp. 42–53, 2013.

Y. Guo and J. Nie, “Existence and multiplicity of nontrivial solutions for -Laplacian Schrödinger-Kirchhoff-type equations,” Journal of Mathematical Analysis and Applications, vol. 428, no. 2, pp. 1054–1069, 2015.

J. Nie, “Existence and multiplicity of nontrivial solutions for a class of Schrödinger-Kirchhoff-type equations,” Journal of Mathematical Analysis and Applications, vol. 417, no. 1, pp. 65–79, 2014.

P. Pucci, M. Xiang, and B. Zhang, “Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional -Laplacian in ,” Calculus of Variations and Partial Differential Equations, vol. 54, no. 3, pp. 2785–2806, 2015.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier Science B.V., Amsterdam, the Netherlands, 2006.

C. A. Stuart, Bifurcation into Spectral Gaps, Société Mathématique de Belgique, 1995.

P. H. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65, American Mathematical Society, Providence, RI, USA, 1986.

F. Jiao and Y. Zhou, “Existence of solutions for a class of fractional boundary value problems via critical point theory,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1181–1199, 2011.

M. Willem, Minimax Theorems, Birkhäuser, Boston, Mass, USA, 1996.