About this Journal Submit a Manuscript Table of Contents
The Scientific World Journal
Volume 2013 (2013), Article ID 516093, 9 pages
http://dx.doi.org/10.1155/2013/516093
Research Article

Existence of Multiple Solutions for a -Kirchhoff Problem with Nonlinear Boundary Conditions

1Science and Information College, Qingdao Agricultural University, Qingdao 266109, China
2College of Science, Hohai University, Nanjing 210098, China

Received 12 April 2013; Accepted 7 July 2013

Academic Editors: H. Du and S. Momani

Copyright © 2013 Zonghu Xiu and Caisheng Chen. 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

The paper considers the existence of multiple solutions of the singular nonlocal elliptic problem , , = , on , where , . By the variational method on the Nehari manifold, we prove that the problem has at least two positive solutions when some conditions are satisfied.

1. Introduction and Main Result

In this paper, we consider the existence of multiple solutions for the singular elliptic problem: where , , , is an exterior domain of : that is, and , where is a bounded domain in with the smooth boundary , and . and are continuous functions, with the parameters .

Problem like (1) is usually called nonlocal problem because of the presence of the integral over the entire domain, and this implies that (1) is no longer a pointwise identity. In fact, such kind of problem can be traced back to the work of Kirchhoff. In [1], Kirchhoff investigated the model of the form where , , , , and are all positive constants. This equation extends the classical d’Alembert’s wave equation by considering the effects of changes in the length of the strings during the vibrations. Problem (1) is related to the stationary analogue of problem (2). After Kirchhoff’s work, various models of Kirchhoff-type have been studied by many authors: we refer the readers to [29]. In [4], by the variational methods, Bensedik and Bouchekif considered the problem where is a bounded domain in . One of the assumptions made on in (3) is that is continuous function on such that The authors proved that problem (3) has a positive solution or has no solution when some other assumptions are fulfilled. In our paper, however, the weight functions and are permitted to change sign. Thus, the methods in [4] cannot be directly applied on (1).

In recent years, some other authors considered the Kirchhoff-type equations with -Laplacian [1013]. In fact, motivated by [4, 5] and our previous work [14], we consider the existence of multiple solutions for problem (1) on the Nehari manifold by variational methods. We prove that problem (1) has at least two positive solutions. Since is an unbounded domain and the problem is singular, the loss of compactness of the Sobolev embedding renders variational technique more delicate.

In order to state our result, we introduce a weighted Sobolev space , which is the completion of the space with the norm of For and in , we define the space as being the set of Lebesgue measurable functions , which satisfies The following weighted Sobolev-Hardy inequality is due to Caffarelli et al. [15], which is called the Caffarelli-Kohn-Nirenberg inequality. There is a constant such that where , , , and . Throughout this paper, we make the following assumptions: with , ,,.

Now, we give the definition of weak solution for problem (1).

Definition 1. A function is said to be a weak solution of problem (1) if for any The assumptions mean that all the integrals in (8) are well defined and convergent.
In view of , it follows from the compact trace embedding [16] that for some constant , and .

Our main result is in the following.

Theorem 2. Assume ; there exists such that problem (1) has at least two positive solutions for all satisfying .

This paper is organized as follows. In Section 2, we give some properties of the Nehari manifold and set up the variational framework for problem (1). In Section 3, we consider the multiplicity results and prove Theorem 2.

2. Preliminary Results

It is clear that problem (1) has a variational structure. Let be the corresponding Euler functional of problem (1), which is defined by where . Then, we see that the functional , and for , there holds Particularly, we have It is well known that the weak solution of problem (1) is the critical point of . Thus, to prove the existence of weak solutions for problem (1), it is sufficient to show that admits a sequence of critical points. Since is not bounded below on , it is useful to consider the functional on the Nehari manifold [17, 18]: where denotes the usual duality. Then, it follows from (12) that if and only if Then, we get from (10)–(14) that We define Then, (14) implies that It is natural to split into three parts: Now, we give some important properties of , , and .

Lemma 3. Let and . Then, is coercive and bounded below on .

Proof. For , we obtain from , the Hölder and Caffarelli-Kohn-Nirenberg inequalities that where , . Thus, we get from (16) that Then, one can obtain by the Young inequality and that is coercive and bounded below on .
Let Then, we have the following result.

Lemma 4. Let . Then, for .

Proof. Suppose that there exists . If , then it follows from (19) and (21) that which implies that On the other hand, we can similarly get from (20) and (21) that which yields that Thus, inequalities (26) and (28) show that , which contradicts the hypothesis of .
For , we can similarly obtain from (19) and (21) that Thus, (28) and (29) imply that , which is also a contradiction. Therefore, we complete the proof.

Lemma 5. If is a local minimizer of on and , then is a critical point of .

Proof. Let Consider the following minimizing problem: By the Lagrange multiplier principle, there exists such that Since and , it follows from (33) that ; furthermore, .

Now, we write for and define Denote Then, the following results on and are established.

Lemma 6. Let , and ; then(i),(ii)there exists constant such that .

Proof. (i) For , we have from (19) and (21) that Thus, (36) and (16) give that which implies that
(ii) Let ; one can deduce from (20) and (21) that On the other hand, we obtain from (16), (26), and (39) that Therefore, if , there exists such that .

For each with , we define Then, , as , and gets its unique maximum at the critical point . Particularly, gets its unique maximum at and we have the following results.

Lemma 7. Let , , and . For each with , one has the following:(i)if , then there exists such that and (ii)if , then there exists such that , and

Proof. (i) For , we define Since , there exists unique such that Thus, , which implies that . It follows from (20) that that is, . By (47), we obtain that which shows that increases for and decreases for . Therefore,
(ii) We firstly want to prove that . In fact, Then, if , we have that Since , there exists such that and , . Similar to the proof of (i), we get that , . We can deduce from (50) that decreases for and increases for . Therefore, Similarly, Then, we complete the proof.

For each with , we define Then, as and as . Furthermore, gets its unique maximum at some certain point . Particularly, gets its unique maximum at the critical point then we have the following results.

Lemma 8. Let , , and . For each with one has the following:(i)if , then there exists unique such that and (ii)if , then there exists such that , , and

Proof. (i) Since , there exists unique such that Note that (45) can be rewritten as Thus, (61) shows that . By virtue of (14) and (46), we get that which implies that . We have from (47) that Then, decreases for and increases for ; that is,
(ii) We need also to prove that . In fact, we have that for .
The rest of the proof is similar to that of (ii) in Lemma 7, and here we omit the proof.

Lemma 9. Assume . If in , then there exists a subsequence of , still denoted by , such that

Proof. By the assumption , we have , and then for any , there exists large enough such that where , for .
The compact embedding theorem (Theorem 2.1 in [19]) implies that Inequality (7) shows that is bounded in , which implies that in . Thus, we can obtain that for some . On the other hand, we get from the Höder inequality and (68)–(70) that for some constant and large .
Thus, (71) implies that that is, Since is compact and , we obtain by the trace embedding theorem in [20] that This concludes the proof.

3. Existence of Solutions

In this part, we will give the proof of the existence of nonnegative and nontrivial solutions. Before this, we need to prove the following two important lemmas.

Lemma 10. Assume and . Then, the functional has a minimizer and(i), (ii) is a positive weak solution of problem (1).

Proof. Since is bounded in , there exists a minimizing sequence of such that We can get that is bounded in and weakly in since is coercive. It follows from Lemma 6 that Furthermore, equality (16) and Lemma 9 imply that . In the following, we prove that in . Suppose otherwise that Let It is obvious that has the unique critical point and increases for and decreases for . Particularly, has the unique critical point at . Since , it follows from Lemma 8 that there exists such that and By virtue of , we obtain that Similarly, we set In view of (77), we get that for large . Since and for , we obtain that and for . Then, by (77), (79), and Lemma 9, we get that which is a contradiction. Hence, strongly in , and Thus, is a minimum of on . Since and , we may assume by Lemma 5 that is a positive solution of problem (1).

Lemma 11. Assume and . Then, the functional has a minimizer and (i), (ii) is a positive weak solution of problem (1).

Proof. Since is bounded on , there exists a minimizing sequence such that Similar to the proof of Lemma 10, we may assume that weakly in . For , we deduce by Lemma 6 and (15) that ; furthermore, . We also want to prove that strongly in . In fact, if not, we have By virtue of Lemma 7, there exists such that and a simple transformation shows that Therefore, Lemma 9 together with (84)–(87) gives that which is a contradiction, and we complete the proof.

Proof of Theorem 2. We set . When , by Lemmas 10 and 11, we obtain that problem (1) has two nontrivial nonnegative solutions , . Lemma 4 and the assumptions of Theorem 2 imply that ; then and are distinct. Furthermore, since and , we can assume that the solutions and are positive. This completes the proof.

4. Conclusions

The object of this paper is to prove the existence of multiple solutions for the nonlinear Kirchhoff-type problem (1). By the variational methods, we discuss the problem on the Nehari manifold and give the sufficient conditions for the existence of solutions. We overcome the difficulty due to the loss of compactness on the unbounded domain. In the future work, we are interested to consider similar problems, but the term on the right will be replaced by abstract functions.

Acknowledgment

The authors would like to express their sincere gratitude to the anonymous reviewers for the valuable comments and suggestions.

References

  1. G. Kirchhoff, Mechanik, Teubner, Leipzig, Germany, 1883.
  2. G. Anello, “A uniqueness result for a nonlocal equation of Kirchhoff type and some related open problem,” Journal of Mathematical Analysis and Applications, vol. 373, no. 1, pp. 248–251, 2011. View at Publisher · View at Google Scholar · View at Scopus
  3. C. O. Alves, F. J. S. A. Corrêa, and G. M. Figueiredo, “On a class of nonlocal elliptic problems with critical growth,” Differential Equations & Applications, vol. 2, pp. 409–417, 2010.
  4. A. Bensedik and M. Bouchekif, “On an elliptic equation of Kirchhoff-type with a potential asymptotically linear at infinity,” Mathematical and Computer Modelling, vol. 49, no. 5-6, pp. 1089–1096, 2009. View at Publisher · View at Google Scholar · View at Scopus
  5. C.-Y. Chen, Y.-C. Kuo, and T.-F. Wu, “The Nehari manifold for a Kirchhoff type problem involving sign-changing weight functions,” Journal of Differential Equations, vol. 250, no. 4, pp. 1876–1908, 2011. View at Publisher · View at Google Scholar · View at Scopus
  6. Y. H. Li, F. Y. Li, and J. P. Shi, “Existence of a posit solutions to Kirchhoff type problems without compactness conditons,” Journal of Differential Equations, vol. 253, pp. 2285–2294, 2012.
  7. K. Perera and Z. Zhang, “Nontrivial solutions of Kirchhoff-type problems via the Yang index,” Journal of Differential Equations, vol. 221, no. 1, pp. 246–255, 2006. View at Publisher · View at Google Scholar · View at Scopus
  8. F. Wang and Y. An, “Existence of nontrivial solution for a nonlocal elliptic equation with nonlinear boundary condition,” Boundary Value Problems, vol. 2009, Article ID 540360, 8 pages, 2009. View at Publisher · View at Google Scholar · View at Scopus
  9. Z. Zhang and K. Perera, “Sign changing solutions of Kirchhoff type problems via invariant sets of descent flow,” Journal of Mathematical Analysis and Applications, vol. 317, no. 2, pp. 456–463, 2006. View at Publisher · View at Google Scholar · View at Scopus
  10. F. Cammaroto and L. Vilasi, “Multiple solutions for a Kirchhoff-type problem involving the p(x)-Laplacian operator,” Nonlinear Analysis: Theory, Methods and Applications, vol. 74, no. 5, pp. 1841–1852, 2011. View at Publisher · View at Google Scholar · View at Scopus
  11. F. J. S. A. Corrêa and G. M. Figueiredo, “On a p-Kirchhoff equation via Krasnoselskii's genus,” Applied Mathematics Letters, vol. 22, no. 6, pp. 819–822, 2009. View at Publisher · View at Google Scholar · View at Scopus
  12. G. Dai and J. Wei, “Infinitely many non-negative solutions for a p(x)-Kirchhoff-type problem with Dirichlet boundary condition,” Nonlinear Analysis: Theory, Methods and Applications, vol. 73, no. 10, pp. 3420–3430, 2010. View at Publisher · View at Google Scholar · View at Scopus
  13. C. Ji, “Infinitely many radial solutions for the p(x)-Kirchhoff-type equation with oscillatory nonlinearities in RN,” Journal of Mathematical Analysis and Applications, vol. 388, no. 2, pp. 727–738, 2012. View at Publisher · View at Google Scholar · View at Scopus
  14. Z. H. Xiu, “Existence of multiple solutions for a singular elliptic problem with critical sobolev expoent,” Abstract and Applied Analysis, vol. 2012, Article ID 806397, 15 pages, 2012. View at Publisher · View at Google Scholar
  15. Caffarelli, R. Kohn, and L. Nirenberg, “First order interpolation inequalities with weights,” Compositio Mathematica, vol. 53, pp. 437–477, 1984.
  16. J. I. Díaz, “Nonlinear partial differential equations and free boundaries,” Elliptic Equations, vol. 323, pp. 44–95, 1985.
  17. K. J. Brown, “The Nehari manifold for a semilinear elliptic equation involving a sublinear term,” Calculus of Variations and Partial Differential Equations, vol. 22, no. 4, pp. 483–494, 2005. View at Publisher · View at Google Scholar · View at Scopus
  18. Z. Nehari, “On a class of nonlinear second-order differential equations,” Transactions of the American Mathematical Society, vol. 95, pp. 101–123, 1960.
  19. B. Xuan, “The solvability of quasilinear Brezis-Nirenberg-type problems with singular weights,” Nonlinear Analysis: Theory, Methods and Applications, vol. 62, no. 4, pp. 703–725, 2005. View at Publisher · View at Google Scholar · View at Scopus
  20. R. D. S. Rodrigues, “On elliptic problems involving critical Hardy-Sobolev exponents and sign-changing function,” Nonlinear Analysis: Theory, Methods and Applications, vol. 73, no. 4, pp. 857–880, 2010. View at Publisher · View at Google Scholar · View at Scopus