Existence and multiplicity of solutions for nonlocal p ( x ) -Laplacian problems in R N

In this paper, we study the nonlocal -Laplacian problem of the following form

By using the method of weight function and the theory of the variable exponent Sobolev space, under appropriate assumptions on f and M, we obtain some results on the existence and multiplicity of solutions of this problem. Moreover, we get much better results with f in a special form.

MSC: 35B38, 35D05, 35J20.

In this paper, we consider the following problem:

where is a function defined on , is a continuous function, satisfies the Caratheodory condition.

The operator is called -Laplacian, which becomes p-Laplacian when (a constant). The -Laplacian possesses more complicated nonlinearities than p-Laplacian; for example, p-Laplacian is -homogeneous, that is, for every ; but the -Laplacian operator, when is not a constant, is not homogeneous. These problems with variable exponent are interesting in applications and raise many difficult mathematical problems. Some of the models leading to these problems of this type are the models of motion of electrorheological fluids, the mathematical models of stationary thermo-rheological viscous flows of non-Newtonian fluids and in the mathematical description of the processes filtration of an ideal barotropic gas through a porous medium. We refer the reader to [1-7] for the study of -Laplacian equations and the corresponding variational problems.

Kirchhoff has investigated the equation

which is called the Kirchhoff equation. This equation is an extension of the classical d’Alembert’s wave equation by considering the effect of the changes in the length of the string during vibrations. A distinguishing feature of the Kirchhoff equation is that the equation contains a nonlocal coefficient which depends on the average of the kinetic energy on . Various equations of Kirchhoff type have been studied by many authors, especially after the work of Lions [8], where a functional analysis framework for the problem was proposed; see, e.g., [9-24] for some interesting results and further references. And now the study of a nonlocal elliptic problem has already been extended to the case involving the p-Laplacian; see, e.g., [25,26]. Corrêa and Figueiredo in [16] present several sufficient conditions for the existence of positive solutions to a class of nonlocal boundary value problems of the p-Kirchhoff type equation. Recently, the Kirchhoff type equation involving the -Laplacian of the form

has been investigated by Autuori, Pucci and Salvatori [27]. In [28] Fan studied -Kirchhoff type equations with Dirichlet boundary value problems. Many papers are about these problems in bounded domains. According to the information I have, for Kirchhoff-type problems in , the results are seldom, in [29] Jin and Wu obtained three existence results of infinitely many radial solutions for Kirchhoff-type problems in , and in [30] Ji established the existence of infinitely many radially symmetric solutions of Kirchhoff-type -Laplacian equations in . The main difficulty here arises from the lack of compactness. Jin [29] and Ji [30] investigated these problems in radial symmetric spaces. In this paper, to deal with problem (P), we overcome the difficulty caused by the absence of compactness through the method of weight function. We establish conditions ensuring the existence and multiplicity of solutions for the problem.

This paper is organized as follows. In Section 2, we present some necessary preliminary knowledge on variable exponent Sobolev spaces. In Section 3, we obtain the solutions with negative energy by the coercivity of functionals, and in Section 4, we obtain the solutions with positive energy by the Mountain Pass Theorem. Finally in Section 5, we obtain the infinity of solutions by the Fountain Theorem and the Dual Fountain Theorem when f satisfies a special form.

In order to discuss problem (P), we need some theories on space which we call variable exponent Sobolev space. Firstly, we state some basic properties of space which will be used later (for details, see [6,31,32]).

Let Ω be an open domain of , denote by the set of all measurable real functions defined on Ω, elements in which are equal to each other and almost everywhere are considered as one element, and denote

we can introduce the norm on by

and becomes a Banach space. We call it a variable exponent Lebesgue space.

The space is defined by

and it can be equipped with the norm

where ; and we denote by the closure of in , , , when , and , when .

Proposition 2.1 (see [6] and [31])

(1) If, the spaceis a separable, uniform convex Banach space, and its dual space is, where. For anyand, we have

(2) If, then for any, , and,

Proposition 2.2 (see [6])

Ifis a Caratheodory function and satisfies

where, , andis a constant, then the superposition operator fromtodefined byis a continuous and bounded operator.

Proposition 2.3 (see [6])

If we denote

then for

(1) ;

(2) ; ;

(3) as; as.

Proposition 2.4 (see [6])

If,  , then the following statements are equivalent to each other

(1) ;

(2) ;

(3) in measure in Ω and.

Proposition 2.5 (see [6])

(1) If, thenandare separable reflexive Banach spaces.

Proposition 2.6Ifis Lipschitz continuous and, then forwith, there is a continuous embedding.

For any measurable functions α, β, use the symbol to denote

Proposition 2.7Let Ω be a bounded domain in, , . Then for anywith, there is a compact embedding.

Proposition 2.8 (Poincare inequality)

There is a constant, such that

So, is a norm equivalent to the normin the space.

In the following sections, we consider problem (P), the nonlocal -Laplacian problem with variational form, where M is a real function satisfying the following condition: (M₁) = is continuous and bounded.. And we assume that , is Lipschitz continuous, , satisfies Caratheodory conditions.

For simplicity, we write . Denote by C a general positive constant (the exact value may change from line to line).

Let , , define

where .

Before giving our main results, we first give several lemmas that will be used later.

Lemma 3.1 (see [2] and [28])

Let (M₁) hold. Then the following statements hold:

(1) , , for.

(2) , , , and

for.

Lemma 3.2 (see [2])

Suppose

where, , , , , and there aresuch that

Thenand Φ, are weakly-strongly continuous, i.e., impliesand.

Lemma 3.3

(1) The functionalis sequentially weakly lower semi-continuous, is sequentially weakly continuous, and thusEis sequentially weakly lower semi-continuous.

(2) For any open setwith, the mappingsandare bounded, and are of type, namely,

Proof Since the function is increasing and the functional is sequentially weakly lower semi-continuous, we conclude that the functional is sequentially weakly lower semi-continuous. From Lemma 3.2, we know that and are sequentially weakly-strongly continuous. Now let . It is clear that the mapping and are bounded. To prove that is of type , assuming that , in X and , then there exist positive constants and such that . Noting that . It follows from that , where . Since is of type . Moreover, since is sequentially weakly-strongly continuous, the mapping is of type . □

Definition 3.1 Let . A -functional satisfies condition if and only if every sequence in X such that , and in has a convergent subsequence.

Lemma 3.4 (see [28])

Supposefsatisfies the hypotheses in Lemma 3.2, and let (M₁) hold. Then, for any, every boundedsequence forE, i.e., a bounded sequencesuch thatand, has a strongly convergent subsequence.

As X is a separable and reflexive Banach space, there exist and such that

For  , denote

Lemma 3.5 (see [2])

Assume thatis weakly-strongly continuous and, is a given positive number. Set

thenas.

Theorem 3.1Supposefsatisfies the hypotheses in Lemma 3.2, let (M₁) hold and the following conditions hold: (M₂) = There are positive constants, MandCsuch thatfor.; (H₁) = ..Then the functionalEis coercive and attains its infimum inXat some. Therefore, is a solution of (P) ifEis differentiable at, and in particular, if.

Proof We have concluded that E is weakly lower semi-continuous. Let us prove that E is coercive on X, i.e., as . For simplicity, we assume that and denote , , , . We have that

When is large enough, we have

and hence E is coercive. Since E is sequentially weakly lower semi-continuous and X is reflexive, E attains its infimum in X at some . In the case where E is differentiable at , is a solution of (P). □

Theorem 3.2Supposefsatisfies the hypotheses in Lemma 3.2. Let (M₁), (M₂), (H₁) and the following conditions hold: (M₃) = There is a positive constantsuch that.; (f₁) = There exists a positive constant,

where, , , , .; (H₂) = ..Then (P) has at least one nontrivial solution which is a global minimizer of the energy functionalE.

Proof From Theorem 3.1 we know that E has a global minimizer . It is clear that and consequently . As and , we can find a bounded open set such that for . The space is a subspace of X. Take . Then, by (f₁), (M₃) and (H₂), for sufficiently small , we have that

Hence which shows . □

Theorem 3.3Let the hypotheses of Theorem 3.2 hold, andfsatisfy the following condition: (f₂) = forand..Then (P) has a sequence of solutionssuch that, andas.

Proof Denote by the genus of A. Denote

we have .

From the condition on , there exists a bounded open set such that for . The space is a subspace of X. For any k, we can choose a k-dimensional linear subspace of such that . As the norms on are equivalent to each other, there exists such that with implies . is compact, and then there exists a constant such that

For and , we have

As , we can find and such that , , which implies , . Since , we get the conclusion .

By the genus theory, each is a critical value of E, hence there is a sequence of solutions of problem (P) such that .

At last, we will prove as . By the coercive of E, there exists a constant such that when . For any , let and be the subspace of X as mentioned above. According to the properties of genus, we know that . Set

we know as . When and , we have , and then , which concludes as . □

Theorem 3.4Let the hypotheses of Lemma 3.2, (f₁), (M₁), (M₂), (M₃), (H₁), (H₂) and the following condition hold, (f₊) = forand..Then (P) has at least one nontrivial nonnegative solution with negative energy.

Proof Define

Then, like in the proof of Theorem 3.2, using truncation functions above, similarly to the proof of Theorem 3.4 in [28], we can prove that has a nontrivial global minimizer and is a nontrivial nonnegative solution of (P). □

In this section we will find the Mountain Pass type critical points of the energy functional E associated with problem (P).

Lemma 4.1Let (f₁), (M₁) and the following conditions hold: (M₂)^′ = , , andsuch that

withhold.; (M₄) = , such that

; (f₃) = , such that

; (H₃) = ..Then E satisfies conditionfor any.

Proof By (M₄), for large enough, we have

By (f₃) we conclude that there exists such that

and thus, given any , there exists such that

we claim that there exists such that

the notation of this conclusion can be seen in [28].

Now let , and . By (H₃), there exists small enough such that . Then, since is a sequence, for sufficiently large n, we have

we conclude that is bounded, since . By Lemma 3.4, E satisfies condition for . □

Lemma 4.2Under the hypotheses of Lemma 4.1, for any, as.

Proof Let be given. From (M₄) for sufficiently large we have

and then it follows that

where is a positive constant depending on w. From (f₄) for large enough we have

which implies that

where is a positive constant depending on w. Hence for s large enough, we have

and then as . □

Lemma 4.3Under the hypotheses of Lemma 3.2, (M₁) holds and the following conditions hold: (M₅) = There is a positive constantsuch that.; (f₄) = There existssuch thatforand

uniformly in.; (H₄) = ..

Then there exist positive constantsρandδsuch thatfor.

Proof It follows from (M₅) that

It follows from the hypotheses of Lemma 3.2 and (f₄) that

Thus by (H₄), we obtain the assertion of Lemma 4.3. □

By the famous Mountain Pass lemma, from Lemmas 4.1-4.3, we have the following:

Theorem 4.1Let all hypotheses of Lemmas 4.1-4.3 hold. Then (P) has a nontrivial solution with positive energy.

In this section, we will obtain much better results with f in a special form. We have the following theorem:

Theorem 5.1Let, where

Then we have

(1) If (M₁), (M₂)^′, (M₄), (H₃) hold and we also assume thatand, then problem (P) has solutionssuch thatas.

(2) If (M₁), (M₄), (M₅), (H₃) hold and we also assume thatand, then problem (P) has solutionssuch that, as.

We will use the following ‘Fountain Theorem’ and the ‘Dual Fountain Theorem’ to prove Theorem 5.1.

Proposition 5.1 (Fountain Theorem, see [11])

Assume(A₁) = Xis a Banach space, is an even functional, the subspaces, andare defined by (3.2)..

If for each , there existssuch that(A₂) = as.; (A₃) = .; (A₄) = Esatisfies thecondition for every. ThenEhas a sequence of critical values tending to +∞..

Proposition 5.2 (Dual Fountain Theorem, see [11])

Assume (A₁) is satisfied and there is aso as to for each, there existssuch that(B₁) = .; (B₂) = .; (B₃) = as.; (B₄) = Esatisfiescondition for every. ThenEhas a sequence of negative critical values converging to 0..

Definition 5.1 We say that E satisfies the condition (with respect to ), if any sequence such that , , and , contains a subsequence converging to a critical point of E.

Proof of Theorem 5.1 Firstly, we verify the condition for every . Suppose , , and . It is easy to obtain that satisfies condition (), when it has this special form. So similar to the method in Lemma 4.1, we have that

hence, we can get that is bounded. Going if necessary to a subspace, we can assume that in X. As , we can choose such that . Hence

As is of type, we can conclude ; furthermore, we have .

It only remains to prove . For any and we have

Going to the limit on the right side of the above equation reaches

so , this shows that E satisfies the condition for every . Obviously, E also satisfies the condition for every .

(1) We will prove that if k is large enough, then there exist such that (A₂) and (A₃) are satisfied. (A₂) For  , denote

then , , and , , as . When , ,

For sufficiently large k, we have . As , we get

Choose , we have

Since , we have . (A₂) is satisfied.

(A₃) For  , denote

Then . For any , with and t large enough, since , all norms are equivalent in , we have

As , there exists such that concludes and then

so (A₂) is satisfied.

Conclusion (1) is reached by the Fountain Theorem.

(2) We use the Dual Fountain Theorem to prove conclusion (2), and now it remains for us to prove that there exist such that if k is large enough (B₁), (B₂) and (B₃) are satisfied.

(B₁) Let and be defined as above, when , and t small enough we have

For sufficiently large k we have , thus

Choose , then for sufficiently large k, . When , with , we have , which implies

Hence (B₁) is satisfied.

(B₂) For  , denote

then . For , and t small enough, we have

since and , we get

with small enough. Hence (B₂) is satisfied.

(B₃) From the proof above and , we have

For , and small enough, we have

hence . Hence (B₃) is satisfied.

Conclusion (2) is reached by the Dual Fountain Theorem. □

The authors declare that they have no competing interests.

EG and PZ contributed to each part of this work equally. All the authors read and approved the final manuscript.

The authors thank the two referees for their careful reading and helpful comments on the study. Research was supported by the National Natural Science Foundation of China (10971088), (10971087) and the Fundamental Research Funds for the Central Universities (lzujbky-2012-180).

1. Fan, XL: On the sub-supersolution method for -Laplacian equations. J. Math. Anal. Appl.. 330, 665–682 (2007). Publisher Full Text

2. Fan, XL, Han, XY: Existence and multiplicity of solutions for -Laplacian equations in . Nonlinear Anal.. 59, 173–188 (2004)

3. Fan, XL, Shen, JS, Zhao, D: Sobolev embedding theorems for space . J. Math. Anal. Appl.. 262, 749–760 (2001). Publisher Full Text

4. Fan, XL, Zhang, QH: Existence of solutions for -Laplacian Dirichlet problems. Nonlinear Anal.. 52, 1843–1852 (2003). Publisher Full Text

5. Fan, XL, Zhang, QH, Zhao, D: Eigenvalues of -Laplacian Dirichlet problem. J. Math. Anal. Appl.. 302, 306–317 (2005). Publisher Full Text

6. Fan, XL, Zhao, D: On the spaces and . J. Math. Anal. Appl.. 263, 424–446 (2001). Publisher Full Text

7. Fan, XL, Zhao, YZ, Zhang, QH: A strong maximum principle for -Laplacian equations. Chin. Ann. Math., Ser. A. 24, 495–500 (in Chinese); Chinese Contemp. Math. 24, 277-282 (2003) (2003)

8. Lions, JL: On some questions in boundary value problems of mathematical physical. In: de la Penha GM, Medeiros LAJ (eds.) Proceedings of International Symposium on Continuum Mechanics and Partial Differential Equations, Rio de Janerro 1977, pp. 284–346. North-Holland, Amsterdam (1978)

9. Chipot, M, Lovat, B: Some remarks on non local elliptic and parabolic problems. Nonlinear Anal.. 30, 4619–4627 (1997). Publisher Full Text

10. Ma, TF: Remarks on an elliptic equation on Kirchhoff type. Nonlinear Anal.. 63, 1967–1977 (2005). Publisher Full Text

11. Perera, K, Zhang, ZT: Nontrivial solutions of Kirchhoff-type problems via the Yang index. J. Differ. Equ.. 221, 246–255 (2006). Publisher Full Text

12. Alves, CO, Corrêa, FJSA: On existence of solutions for a class of problem involving a nonlinear operator. Commun. Appl. Nonlinear Anal.. 8, 43–56 (2001)

13. Alves, CO, Corrêa, FJSA, Ma, TF: Positive solutions for a quasilinear elliptic equation of Kirchhoff type. Comput. Math. Appl.. 49, 85–93 (2005). Publisher Full Text

14. Andrade, D, Ma, TF: An operator equation suggested by a class of stationary problems. Commun. Appl. Nonlinear Anal.. 4, 65–71 (1997)

15. Chipot, M, Valente, V, Vergara Caffarelli, G: Remarks on a nonlocal problem involving the Dirichlet energy. Rend. Semin. Mat. Univ. Padova. 110, 199–220 (2003)

16. Corrêa, FJSA: On positive solutions of nonlocal and nonvariational elliptic problems. Nonlinear Anal.. 59, 1147–1155 (2004)

17. Corrêa, FJSA, Figueiredo, GM: On an elliptic equation of p-Kirchhoff type via variational methods. Bull. Aust. Math. Soc.. 74, 263–277 (2006). Publisher Full Text

18. Corrêa, FJSA, Figueiredo, GM: On a p-Kirchhoff equation via Krasnoselskii’s genus. Appl. Math. Lett.. 22, 819–822 (2009). Publisher Full Text

19. Corrêa, FJSA, Menezes, SDB, Ferreira, J: On a class of problems involving a nonlocal operator. Appl. Math. Comput.. 147, 475–489 (2004). Publisher Full Text

20. He, XM, Zou, WM: Infinitely many positive solutions for Kirchhoff-type problems. Nonlinear Anal.. 70, 1407–1414 (2009). Publisher Full Text

21. Ricceri, B: On an elliptic Kirchhoff-type problem depending on two parameters. J. Glob. Optim.. 46, 543–549 (2010). Publisher Full Text

22. Arosio, A, Panizzi, S: On the well-posedness of the Kirchhoff string. Trans. Am. Math. Soc.. 348, 305–330 (1996). Publisher Full Text

23. Cavalcanti, MM, Domingos Cavalcanti, VN, Soriano, JA: Global existence and uniform decay rates for the Kirchhoff-Carrier equation with nonlinear dissipation. Adv. Differ. Equ.. 6, 701–730 (2001)

24. D’Ancona, P, Spagnolo, S: Global solvability for the degenerate Kirchhoff equation with real analytic date. Invent. Math.. 108, 447–462 (1992)

25. Dreher, M: The Kirchhoff equation for the p-Laplacian. Rend. Semin. Mat. (Torino). 64, 217–238 (2006)

26. Dreher, M: The wave equation for the p-Laplacian. Hokkaido Math. J.. 36, 21–52 (2007)

27. Autuori, G, Pucci, P, Salvatori, MC: Asymptotic stability for anistropic Kirchhoff systems. J. Math. Anal. Appl.. 352, 149–165 (2009). Publisher Full Text

28. Fan, XL: On nonlocal -Laplacian Dirichlet problems. Nonlinear Anal.. 72, 3314–3323 (2010). Publisher Full Text

29. Jin, J, Wu, X: Infinitely many radial solutions for Kirchhoff-type problems in . J. Math. Anal. Appl.. 369, 564–574 (2010). Publisher Full Text

30. Ji, C: Infinitely many radial solutions for the Kirchhoff-type equation with oscillatory nonlinearities in . J. Math. Anal. Appl.. 388, 727–738 (2012). Publisher Full Text

31. Edmunds, DE, Rákosník, J: Density of smooth functions in . Proc. R. Soc. Lond. A. 437, 229–236 (1992). Publisher Full Text

32. Edmunds, DE, Rákosník, J: Sobolev embedding with variable exponent. Stud. Math.. 143, 267–293 (2000)