International Journal of Partial Differential Equations
Volume 2013 (2013), Article ID 364251, 7 pages
Solutions of Nonlocal -Laplacian Equations
1Faculty of Economics and Administrative Sciences, Batman University, 72000 Batman, Turkey
2Faculty of Education, Bayburt University, 69000 Bayburt, Turkey
Received 5 March 2013; Accepted 10 September 2013
Academic Editor: William E. Fitzgibbon
Copyright © 2013 Mustafa Avci and Rabil Ayazoglu (Mashiyev). 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.
In view of variational approach we discuss a nonlocal problem, that is, a Kirchhoff-type equation involving -Laplace operator. Establishing some suitable conditions, we prove the existence and multiplicity of solutions.
We study the existence and multiplicity of solutions of the nonlocal equation where () is a smooth bounded domain, such that for any , and .
The problem is related to the stationary version of a model, the so-called Kirchhoff equation, introduced by . To be more precise, Kirchhoff established a model given by the equation where , , , , and are constants, which extends the classical D’Alambert’s wave equation, by considering the effects of the changes in the length of the strings during the vibrations. A distinguish feature of the Kirchhoff equation (1) is that the equation contains a nonlocal coefficient which depends on the average of the kinetic energy on , and hence the equation is no longer a pointwise identity. For Kirchhoff-type equations involving the -Laplacian operator, see, for example, [2–4].
The -Laplacian operator is a natural generalization of the -Laplacian operator where is a real constant. The main difference between them is that -Laplacian operator is homogenous, that is, for every , but the -Laplacian operator, when is not constant, is not homogeneous. This causes many problems; some classical theories and methods, such as the Lagrange multiplier theorem and the theory of Sobolev spaces, are not applicable. For -Laplacian operator, we refer the readers to [5–9] and references there in. Moreover, the nonlinear problems involving the -Laplacian operator are extremely attractive because they can be used to model dynamical phenomenons which arise from the study of electrorheological fluids or elastic mechanics. Problems with variable exponent growth conditions also appear in the modelling of stationary thermorheological viscous flows of non-Newtonian fluids and in the mathematical description of the processes of filtration of an ideal barotropic gas through a porous medium. The detailed application backgrounds of the -Laplacian can be found in [10–14] and the references therein.
In the present paper, by considering the joint effects of different ()-Laplace operator , we study the existence and multiplicity of solutions for a nonlocal problem, that is, problem via Mountain-Pass theorem and Fountain theorem. As far as we know, there is no paper that deals with a nonlocal problem involving ()-Laplace operator except  in which the authors consider problem for the case and . Therefore, our paper deals with more general results than those obtained in . Moreover, if we choose the functions in problem , we get the equation which is the well-known anisotropic -Laplacian problem (see, e.g.,  and references therein) in the case , that is, As mentioned above, the -Laplacian can be applied to describe the physical phenomenon with pointwise different properties which earliest arose from the nonlinear elasticity theory. In that context, the systems involving the -Laplacian (or -Laplacian) can be good candidates for modeling phenomena which ask for distinct behavior of partial differential derivatives in various directions. For a mathematical model of a real physical phenomenon, one can consider the mean curvature operator It is obvious that problem is a degenerate version of (4) when .
Set For any , denote and define the variable exponent Lebesgue space by We define a norm, the so-called Luxemburg norm, on by the formula and then becomes a Banach space.
Define the variable exponent Sobolev space by then it can be equipped with the norm The space is defined as the closure of in with respect to the norm . For , we can define an equivalent norm since Poincaré inequality holds; that is, there exists a positive constant such that for all .
Definition 5. Let be a Banach space and a functional. We say that a functional satisfies the Palais-Smale condition ( for short), if any sequence in such that is bounded and as admits a convergent subsequence.
3. Main Results and Proofs
Let us consider the functional where with its norm given by , for all . It is obvious that is also a separable and reflexive Banach space.
By using standard arguments, it can be proved that (see ), and the ()-Laplace operator is the derivative operator of in the weak sense. Denote ; then where is the dual pair between and its dual .
Let us denote By the definition, it is not difficult to see that , . For such that for any , we have , and the imbedding is continuous and compact.
We associate to the problem the energy functional, defined as : where (.) and . We know that from and (see below) is well defined and in a standard way we can prove that and that the critical points of are solutions of .
Moreover, the derivative of is given by for any .
Now, we are ready to set and prove the first main result of the present paper.
Theorem 6. Assume that the following assumptions hold: are continuous functions and satisfy the conditions
for all , where and are positive constants and ; is a Carathéodory function and satisfies the growth condition
where and are positive constants and such that , for all .
Then problem has a weak solution.
Theorem 7. Assume that the following assumptions hold: are continuous functions and satisfy the conditions for all , where , , , , and are positive constants such that and ; is a Carathéodory function and satisfies the growth condition , uniformly for , where and are positive constants and such that , for all ;; , such that Then problem has at least one nontrivial weak solution.
Lemma 8. Suppose , , and hold. Then I satisfies condition.
Proof. Let us assume that there exists a sequence in such that Then by the assumptions (26), , and , we get where . Since , we have for large enough. Therefore, is bounded in . Passing to a subsequence, if necessary, there exists such that . Therefore, we have the embeddings By (26), we have . Thus From and Proposition 1, it follows that If we consider the relations given in (28), we get Hence, From , it follows that Furthermore, since in , we have From (33) and (34), we deduce that Next, we apply the following well-known inequality valid for all (). From the relations (35) and (36), we infer that and, consequently, in . We are done.
Lemma 9. Suppose , and hold. Then the following statements hold: (i)there exist two positive real numbers and such that , with ;(ii)there exists such that , .
Proof. (i) Let . Then by and Proposition 2, we have
where . Since for all , we have the continuous embeddings and , and also there are positive constants and such that
Let be small enough such that . By the assumptions and , we have , for all .
Then, for it follows that Therefore, there exists two positive real numbers and such that , for all with .
(ii) From it follows that , for all and . In the other hand, when from we obtain that Hence, for any fixed and we have which implies .
Proof of Theorem 7. From Lemmas 8 and 9 and the fact that , satisfies the Mountain-Pass theorem (see [20, 21]). Therefore, has at least one nontrivial critical point; that is, has a nontrivial weak solution. The proof is complete.
In the following, we will prove the second main result of the present paper.
Since is a reflexive and separable Banach space, then there are and such that For convenience, we write , , and .
Lemma 11. If such that for any , denote Then .
Proof of Theorem 10. By the assumptions , , and , satisfies condition and from it is also an even functional. In the sequel, we will show that if is large enough, then there exist such that(i);(ii).
Therefore, to obtain the results of Theorem 10 it is enough to apply Fountain theorem (see ).(i) For any with big enough, we have Set . Because and , we have (ii) From , we have . Because and , it is obvious that as for .
- G. Kirchhoff, Mechanik, Teubner, Leipzig, Germany, 1883.
- M. Avci, B. Cekic, and R. A. Mashiyev, “Existence and multiplicity of the solutions of the p(x)-Kirchhoff type equation via genus theory,” Mathematical Methods in the Applied Sciences, vol. 34, no. 14, pp. 1751–1759, 2011.
- G. Dai and R. Hao, “Existence of solutions for a p(x)-Kirchho¤-type equation,” Journal of Mathematical Analysis and Applications, vol. 359, pp. 275–284, 2009.
- X. Fan, “On nonlocal p(x)-Laplacian Dirichlet problems,” Nonlinear Analysis: Theory, Methods and Applications, vol. 72, no. 7-8, pp. 3314–3323, 2010.
- M. Avci, “Existence and multiplicity of solutions for Dirichlet problems involving the p(x)-Laplace operator,” Electronic Journal of Differential Equations, vol. 2013, no. 14, pp. 1–9, 2013.
- B. Cekic and R. A. Mashiyev, “Existence and localization results for p(x)-Laplacian via Topological Methods,” Fixed Point Theory and Applications, vol. 2010, Article ID 120646, 7 pages, 2010.
- X.-L. Fan and Q.-H. Zhang, “Existence of solutions for p(x)-Laplacian Dirichlet problem,” Nonlinear Analysis: Theory, Methods and Applications, vol. 52, no. 8, pp. 1843–1852, 2003.
- X. Fan, “Eigenvalues of the p(x)-Laplacian Neumann problems,” Nonlinear Analysis: Theory, Methods and Applications, vol. 67, no. 10, pp. 2982–2992, 2007.
- M. Mihailescu and V. Radulescu, “On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent,” Proceedings of the American Mathematical Society, vol. 135, no. 9, pp. 2929–2937, 2007.
- S. N. Antontsev and S. I. Shmarev, “A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions,” Nonlinear Analysis: Theory, Methods and Applications, vol. 60, no. 3, pp. 515–545, 2005.
- S. N. Antontsev and J. F. Rodrigues, “On stationary thermo-rheological viscous flows,” Annali Dell' Università Di Ferrara, vol. 52, no. 1, pp. 19–36, 2006.
- T. C. Halsey, “Electrorheological fluids,” Science, vol. 258, no. 5083, pp. 761–766, 1992.
- M. Ruzicka, Electrorheological Fluids: Modeling and Mathematical Theory, Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000.
- V. V. Zhikov, “Averaging of functionals of the calculus of variations and elasticity theory,” Mathematics of the USSR-Izvestiya, vol. 9, pp. 33–66, 1987.
- D. Liu, X. Wang, and J. Jinghua Yao, “On -Laplace equations,” http://arxiv.org/pdf/1205.1854.pdf.
- M.-M. Boureanua, P. Pucci, and V. D. Rǎdulescu, “Multiplicity of solutions for a class of anisotropic elliptic equations with variable exponenty,” Complex Variables and Elliptic Equations, vol. 56, no. 7–9, pp. 755–767, 2011.
- X. Fan, J. Shen, and D. Zhao, “Sobolev embedding theorems for spaces Wk,p(x)(Ω),” Journal of Mathematical Analysis and Applications, vol. 262, no. 2, pp. 749–760, 2001.
- X. L. Fan and D. Zhao, “On the spaces Lp(x) (Ω) and Wk,p(x) (Ω),” Journal of Mathematical Analysis and Applications, vol. 263, pp. 424–446, 2001.
- O. Kovacik and J. Rakosnik, “On spaces Lp(x) and Wk,p(x),” Czechoslovak Mathematical Journal, vol. 41, no. 116, pp. 592–618, 1991.
- K. C. Chang, Critical Point Theory and Applications, Shanghai Scientific and Technology Press, Shanghai, China, 1986.
- M. Willem, Minimax Theorems, Birkhauser, Basel, Switzerland, 1996.