Journal of Function Spaces
Volume 2019 (2019), Article ID 7624373, 9 pages
https://doi.org/10.1155/2019/7624373

Research Article

The Nehari Manifold for a Fractional p-Kirchhoff System Involving Sign-Changing Weight Function and Concave-Convex Nonlinearities

Jiabin Zuo,1,2 Tianqing An,¹ Libo Yang,1,3 and Xiangsheng Ren¹

¹College of Science, Hohai University, Nanjing 210098, China
²Faculty of Applied Sciences, Jilin Engineering Normal University, Changchun 130052, China
³Faculty of Mathematics and Physics, Huaiyin Institute of Technology, Huai’an 223003, China

Correspondence should be addressed to Jiabin Zuo; zuojiabin88@163.com

Received 5 October 2018; Accepted 11 December 2018; Published 2 January 2019

Academic Editor: Gestur Ólafsson

Copyright © 2019 Jiabin Zuo 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.

In this paper, we are concerned with the following fractional p-Kirchhoff system with sign-changing nonlinearities: , , and , where is a smooth bounded domain in , , , , are two real parameters, , is a continuous function, given by , , , are sign changing and either or , with , and . Using Nehari manifold method, we prove that the system has at least two solutions with respect to the pair of parameters .

1. Introduction

In this article, we study the following fractional p-Kirchhoff problem involving concave-convex nonlinearities and sign-changing weight functions:

where is a smooth bounded domain in , , , , are two real parameters, , is a continuous function, given by , , , , and is the fractional p-Laplacian operator, which is defined as follows:

where , , , satisfy the following assumptions: set ,

  , and either or ;

   with and .

In recent years, the Kirchhoff equations have received extensive attention from many scholars because of its wide application in many fields such as mathematical finance, continuum mechanics, etc. (see [1, 2]). There are many excellent and interesting results about the existence and multiplicity of solutions for nonlocal fractional problems. We can look up the literature [3, 4] for Laplace operator and [5–8] for the p-Laplacian case.

In addition, for a single equation with sign-changing weights functions, in [9, 10], the authors studied the existence and multiplicity of nonnegative solutions in subcritical and critical cases respectively. In the special case of , , and , Tsung-Fang Wu [11] proved that system has least two nontrivial nonnegative solutions by using the Nehari manifold. Moreover, when is not a constants, the authors [12] investigated the fractional p-Kirchhoff system with sign-changing nonlinearities, which is given by . For a more general case , Yang and An [13] show the system has at least two solutions with the help of Nehari manifold, but without considering sign-changing weights functions. Hence, inspired by above works, combining [12, 13], in this paper we will consider the new multiplicity result of the problem. Our conclusions can be seen as an extension of [12, 13].

To illustrate our result, we need to introduce some notations. Set be an open set in , , and . Define the usual fractional Soblev Space and its norm

Let and . Define the space as

Then the space of norm is defined by

Set Banach space to be the completion of the space in , which is can be defined as the norm

Clearly, (6) is equivalent to the (3), as a.e. in , we obtain that the integral in (3), (5), and (6) can be extended to the full space . According to the literature [14, 15], we know that is a continuous embedding for any , and compact whenever . When , then, for any , we get that

More about the properties of and , please consult [16] and the references therein. The reflexive Banach space is the Cartesian product of two spaces, which is endowed with the norm

Definition 1. A pair of functions is called weak solution of problem if for all one has

We introduce the set

Then we give our result as follows.

Theorem 2. Assume that the conditions and hold. If , then there is an explicit constant such that the problem has at least two nonnegative solutions for .

The rest of the paper is organized as follows. In Section 2, we give some notations and preliminaries about Nehari manifold and fibering maps. In Section 3, we prove Theorem 2.

2. The Variational Setting and Preliminaries

Define energy functional associated with problem (P) as follows:

where and and

By a direct calculation we obtain that , and for all , we have

Then, the weak solution is equivalent to being a critical point of . Since is not bounded below on , therefore, we consider the Nehari manifold

By (13), we get

Hence, if and only if

Moreover, for any , the following equality holds:

Obviously, the solution of the problem depends on . is a set which we find that is smaller than , so it is easier to study on . Therefore, define our familiar fiber maps: as follows:

It follows from (19) that if and only if . So it is natural that we divide into three parts: local minima, local maxima, and points of inflection. For this, we let

Define

Moreover, for every , from (16), we also have

Now, we give some preliminaries about main result.

Lemma 3. If is a minimizer of on and . For every , then we have in .

Proof. For the detailed process of certification we can refer to the literature ([17], Theorem 2.3). For the convenience of the reader we give its completeness. If is a local minimizer on to , by the theory of Lagrange multipliers, there is a constant such that

So

But , because of . Therefore . This completes the proof.

Lemma 4. is coercive and bounded below on .

Proof. By the Sobolev inequalities and Hölder inequalities, we get

Also, according to (17) and (26), we have

As , from above inequality, we can conclude is coercive and bounded below on . We complete this proof.

Lemma 5. Under condition , there exists , given by

such that, for any , we have .

Proof. We argue by contradiction, moreover dividing the following two cases: assume that there exist such that . Then for , we have

Case 1. . From (29), (19), and (20), we have

which is a contradiction.

Case 2. , then it follows from (29), (23), and (26) that

In addition, by condition and Young’s inequality, we get

By (29), (32), and (23), we have

and hence, we obtain

From (31) and (34), we get

which contradicts . We have completed the proof of this lemma.

According to Lemma 4 and Lemma 5, we know for , and we set

We introduce the following lemma.

Lemma 6. Assume that . Then, we have
(i) ,
(ii) for some .

Proof. (i) Set , we know , and from (23), we have

Put (37) into (17),

which implies .
(ii) It follows from (17) and (23) that

Since , then . Hence, according to (17), we obtain (34), combining above inequality and (34), and we get

Obviously, if , then there is a constant such that .

Under condition , we study the behavior of the fibering map with respect to the sign of . We divide into two cases.

Case 1 (). Fix . Let

Clearly, if and only if .

It is obvious that as . By (42), we know that

Thus, there is a unique , such that is increasing on , decreasing on . Moreover, , in addition,

where is the root of

From above the equality, we obtain

Since , according to (26) and (46), we get

Hence, there are unique and such that . It means that and . Moreover it is easy to see that , also and imply and . Since , then for any and for any . Thus, Furthermore, for any , , and for any imply that

Case 2 (). As we know that as , therefore for any , there is a unique such that ; moreover for any and for any , which implies that and .

Thus according to the above discussion we obtain that the following lemma.

Lemma 7. Under condition , for any , we have the following:
(i) If , then there is a unique such that , and

(ii) If , then there exist a unique and unique such that , , and

3. Proof of the Main Result

In this section, we establish the existence of minimizers in and

Proposition 8. Under condition , if , then the functional has a minimizer in and fulfills the following:
(i) ,
(ii) is a solution of problem .

Proof. Since is bounded from below on , there is a minimizing sequence such that

Hence, by Lemma 4, then is bounded on . So there exists , up to a subsequence, such that

Moreover, according to ([3], lemma 8),

For each , by ([18], Theorem IV-9), there exists such that

Hence, by the dominated convergence theorem, we get

and

as . Now, on , from (17), we have

Letting , since , from Lemma 6, (50), and (54), we get

From Lemma 7, there exists such that and Next we show that strongly in . If this is not true, then

Since

and

we obtain

It means that for large enough. As , it is obvious to know that , and for . Thus we have . On the other hand, is decreasing on , so

which is a contradiction. Thus strongly in . This means

That is, is a minimizer of on ; using Lemma 3, is a solution of problem .

Proposition 9. Under condition , if , then the functional has a minimizer in and fulfills the following:
(i) ,
(ii) is a solution of problem .

Proof. is bounded from below such that

It is similar to the proof of the Proposition 8, so there exists , up to a subsequence, such that

Moreover,

For each , by the dominated convergence theorem, we also get

and

and similarly, by Lemma 7, there is a such that . Next we show that strongly in . Suppose that this is not true, then

Since and for any , we also have

which is a contradiction. Hence strongly in . This implies

Namely, is a minimizer of on ; by Lemma 3, is a solution of problem .

Proof of Theorem 2. According to Propositions 8 and 9, we obtain that, for , problem has two solutions and in . Since

moreover , so we get that are distinct nonnegative solutions.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The work is supported by the Fundamental Research Funds for Central Universities (2017B19714 and 2017B07414), Natural Science Foundation of Jiangsu Province (BK20180500), and Natural Science Foundation of Jilin Engineering Normal University (XYB201814). The work is also supported by Program for Innovative Research Team of Jilin Engineering Normal University.

References

G. Kirchhoff, Mechanik, Teubner, Leipzig, Germany, 1883.

J. L. Lions, “On some questions in boundary value problems of mathematical physics,” in Contemporary Devlopments in Continuum Mechanics and Partial Differential Equations, vol. 30 of North-Holland Mathematics Studies, pp. 284–346, North Holland Publishing Company, Amsterdam, Netherlands, 1978.

R. Servadei and E. Valdinoci, “Mountain pass solutions for non-local elliptic operators,” Journal of Mathematical Analysis and Applications, vol. 389, no. 2, pp. 887–898, 2012.

R. Servadei and E. Valdinoci, “A Brezis-Nirenberg result for non-local critical equations in low dimension,” Communications on Pure and Applied Analysis, vol. 12, no. 6, pp. 2445–2464, 2013.

S. Goyal and K. Sreenadh, “Existence of multiple solutions of p-fractional Laplace operator with sign-changing weight function,” Advances in Nonlinear Analysis, vol. 4, no. 1, pp. 37–58, 2015.

K. Perera, M. Squassina, and Y. Yang, “A note on the Dancer-Fucik spectra of the fractional p-Laplacian and Laplacian operators,” Advances in Nonlinear Analysis, vol. 4, no. 1, pp. 13–23, 2015.

R. Lehrer, L. A. Maia, and M. Squassina, “On fractional p-Laplacian problems with weight,” Differential and Integral Equations, vol. 28, pp. 15–28, 2015.

K. Perera, M. Squassina, and Y. Yang, “Critical fractional p-Laplacian problems with possibly vanishing potentials,” Journal of Mathematical Analysis and Applications, vol. 433, no. 2, pp. 818–831, 2016.

P. K. Mishra and K. Sreenadh, “Existence and multiplicity results for fractional p-Kirchhoff equation with sign changing nonlinearities,” Advances in Pure and Applied Mathematics, vol. 7, no. 2, pp. 97–114, 2016.

G. Palatucci and A. Pisante, “Improved Sobolev embeddings, profile decomposition, and concentration-compactness for fractional Sobolev spaces,” Calculus of Variations and Partial Differential Equations, vol. 50, no. 3-4, pp. 799–829, 2014.

T. F. Wu, “The Nehari manifold for a semilinear elliptic system involving sign-changing weight functions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 6, pp. 1733–1745, 2008.

P. K. Mishra and K. Sreenadh, “Fractional p-Kirchhoff system with sign changing nonlinearities,” Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, vol. 111, no. 1, pp. 281–296, 2017.

L. Yang and T. An, “Existence of multiple solutions for fractional p-Kirchhoff equations with concave-convex nonlinearities,” Boundary Value Problem, vol. 27, pp. 1–12, 2017.

G. M. Bisci, V. D. Radulescu, and R. Servadei, Variational Methods for Nonlocal Fractional Problems, vol. 162, Cambridge University Press, Cambridge, UK, 2016.

A. Ambrosetti, J. Garcia Azorero, and I. Peral, “Multiplicity results for some nonlinear elliptic equations,” Journal of Functional Analysis, vol. 137, no. 1, pp. 219–242, 1996.

E. Di Nezza, G. Palatucci, and E. Valdinoci, “Hitchhiker's guide to the fractional Sobolev spaces,” Bulletin des Sciences Mathématiques, vol. 136, pp. 521–573, 2012.

K. J. Brown and Y. Zhang, “The Nehari manifold for a semilinear elliptic equation with a sign-changing weight function,” Journal of Differential Equations, vol. 193, no. 2, pp. 481–499, 2003.

H. Brezis, Analyse Fonctionnelle - Théorie et Applications, Masson, Paris, France, 1983.