Abstract and Applied Analysis
Volume 2019 (2019), Article ID 4829861, 9 pages
https://doi.org/10.1155/2019/4829861

Research Article

The Numbers of Positive Solutions by the Lusternik-Schnirelmann Category for a Quasilinear Elliptic System Critical with Hardy Terms

Mustapha Khiddi

E.G.A.L, Dépt. Maths, Fac. Sciences, Université Ibn Tofail, BP 133, Kénitra, Morocco

Correspondence should be addressed to Mustapha Khiddi; mostapha-2@hotmail.com

Received 21 March 2018; Revised 12 June 2018; Accepted 18 December 2018; Published 3 January 2019

Academic Editor: Chun-Lei Tang

Copyright © 2019 Mustapha Khiddi. 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 study the quasilinear elliptic system with Sobolev critical exponent involving both concave-convex and Hardy terms in bounded domains. By employing the technique introduced by Benci and Cerami (1991), we obtain at least distinct positive solutions.

1. Introduction and Main Result

In this paper, we are concerned with the multiplicity of positive solutions of the following critical problem:

where is a smooth bounded domain of , , , , is the critical Sobolev exponent, where is the best Hardy constant, and the parameter , , we assume that and where the weight functions and satisfy the following conditions:

  with , where and

And the function satisfies the following conditions:

 , such that

 , where   are strictly increasing functions about and for all ,   with   for some constant

Remark 1. We deduce form the conditions , , and that the functional is of class and

where , and such that and
Moreover, there exists such that

The proof is almost the same as that in Chu and Tang [1].

Recently, many papers have studied the multiplicity of positive solutions by way of fibering method and the notions of topological indices category for different semilinear, quasilinear, and nonlocal problems involving a critical exponent and concave and convex nonlinearities (see [2–4]). Our goal here is to give a new result for this system by linking the number of positive solutions with the topology of the domain More precisely with the Category index, let us note is the least number of closed and contractible sets in which cover Our main result is the following.

Theorem 2. Let and Suppose that satisfies and the functions , satisfy the condition Then, there exists such that if for each , problem (1) has at least distinct positive solutions.

This paper is composed of four sections. In Section 2, we give some results for the ehari manifold associated of the energy functional and fibering maps. In Section 3, we will build homotopies between and certain sublevel set of the energy functional associated with (1). Finally we prove the result in Section 4.

2. The ehari Manifold Associated with the Energy Functional and Fibering Maps

Let the Sobolev space with the usual norm:

Also, the standard norm of the space is Moreover, a pair of functions is said be to a weak solution of problem (1) if

for all

We know that looking for weak solutions of (1) is like looking for the critical points of the associated functional

where

By the above Remark 1, the functional is well defined on the space and is of class .

Therefore, the solutions of (1) correspond to critical points of Let us denote by the ehari manifold related to , given by

Namely,

Notice that the functional is not bounded below on the total space for that we consider the functional on the ehari manifold.

Define

Let , and by easy calculation we have

Lemma 3. The functional is bounded below on the ehari manifold

Proof. Let , and applying the Hölder inequality and the Sobolev embedding theorem, Young inequality, and Condition we have

and we deduce

Thus, is coercive and bounded below on

Now, we split the ehari manifold into three parts, namely,

Then, we have the following results.

Lemma 4. Let be a local minimizer of and Then is a critical point of

Proof. The proof is standard; you can see [4].

Lemma 5. There exists such that for all such that then

Proof. Suppose the contrary; that is, there exist with , but Let ; we have

and

By and applying the Minkowski inequality and the Sobolev embedding theorem, we have

so

Combining (15) and (18), we have

then

By (12) we have

then

We deduct from (20) and (22) that

which is a contradiction.

So, we have , and we define

Lemma 6. (i) For some and for so, there exists sequence of for
(ii) If , then there exists a sequence of for

Proof. You find the same proof in the following reference [5].

Denote

We define a cut-off function such that for , for , , and For , let

From Li Wang, Qiaoling Wei, and Dongsheng Kang [6], we have

where , and verifying , this

Lemma 7.

Proof. Set and and , where , , and Then by , the definition of , and (27), we have

We use the following relation:

For the reverse inequality, the application of the mountain pass theorem gives us a Palais-Smale sequence for at level and from here we can show that is bounded in using standard arguments. Since

Assuming that , we find

From definition (25) of , we get

then

Since implies , we deduce from (36) that

Then from (31) and (37) we obtain

Next we prove that satisfies the Palais-Smale condition under some level. Before, we need the following lemma.

Lemma 8. Let with and for some    Let be a bounded sequence in , such that weakly in Then

as

Proof. (The idea of this proof was borrowed from [7])

Lemma 9. satisfies the condition for

where is independent on and

Proof. The proof is similar to that of Lemma 2.1 in [8].

Let , with , and put

Then the following lemma holds. Its proof is similar to the lemma [4] (or see Tarantello [9]).

Lemma 10. Let , with , so there are unique number positives and such that with

and

Lemma 11. For some , and such that , we have

Proof. First, we claim that there exist positive constants independent of such that

Let and We obtain

Then, by and (27) we deduct that

then is bounded above as Using Lemma 10, we have

then we can also suppose that is bounded below. By a direct calculation we have

and the constant is a positive. So

We have , and there exist such that

Let

By the following relation, for and , we have , and we obtain

By (51) we have

Then, there exists such that , and we have

so by definition we deduct that

For the case , so we get the same result.

For the existence of the first solution of our problem (1)

Lemma 12. There exists such that if , then has a minimizer and its satisfies

is a positive solution of (1).

Proof. Taking into account the fact that and Lemma 11 we have

Hence, for the proof of (i) just use the following Lemmas 11 and 9. Now let be solution of problem (1) such that Moreover, we have In fact, if , by Lemma 10, there are unique , such that and In particular, we have Since

there exists such that By Lemma 10

which is impossible and by the maximum principle, we deduct that is a positive solution of problem (1).

3. Some Technical Results

Lemma 13. Let and decreasing sequences in for some and converging to , so

Proof. By Lemma 6 there exists a sequence , such that

There exists a real number sequence satisfying So

Since, by Lemma 10 for all we have

Moreover, implies that

and we deduct that and We get that is bounded in
We can now say that is a bounded sequence, if we assume by contradiction that We find , so which implies by (60) that

which is a contradiction with (63).

We consider the following lemma. See section 5.3 in [10].

Lemma 14. Suppose that is Banach space and Assume that, for and ,

(1)F satisfies the condition for ,(2)

Then has at least critical points in

Let us consider tow subset of

Note that and are homotopically equivalent to for some We may assume We consider

Recall that implies that is extension in with outside of Let as

We denote by

Similar to , can be shown to satisfy restricted versions of the same three Lemmas 7, 9, and 11. We consider

Let

for all , that is,

and the map given by

with radial. For all

Then can be rewritten

Remark 15.

and

Next, we define the map by

Lemma 16. For some such that we have

Proof. We show by the absurd that there exist sequence of , , and such that

and let (up to a subsequence of ). By Remark 15, we have

and

Standard calculations show that is bounded in and by this we obtain

and

as We have by Lemmas 13 and 7 and its restricted version for that

then by (83), (84) and (85)

Now, it is easy to see that the sequence given by

verifies

For a subsequence of we have

By the same way used in [[10],Lemma 1.40] (see also [7] ), we obtain

and

Since

It is easy to confirm that and are equal either to or to Since is independent of and is never achieved except when (see also [11]), so necessarily . Then the measure is concentrated at a single point of ,
and we have

Therefore

and this is impossible.

Lemma 17. For some such that , we have

Proof. This classic proof is omitted for brevity. An identical proof can be found in [12], Lemma 14.

4. The Proof of Theorem 2

Denote by the restriction of on

Lemma 18. If , for some , so the functional verifies the Palais-Smale condition for

Proof. By [[10], Proposition 5.12], there exists a sequence . If is a for at level , there exists a sequence such that

where

Recall that , so
If ,

and

By the same argument employed in Lemma 5, we get

and

and we deduct that This is contradiction.
Moreover we assume that , as Since , so as then Thus,

then by Lemma 9 the proof is finished.

Lemma 19. For some such that if , then every critical point of is a critical point of in

Proof. For the proof of this lemma, it is similar to Lemma 18.

Proof of Theorem 2. Applying Lemmas 9 and 12, satisfies condition for all Then, by Lemmas 17 and 14, admits at least critical points in Hence, we deduce from Lemma 19 that has at least critical points in Moreover, , at least critical points in

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

C.-M. Chu and C.-L. Tang, “Existence and multiplicity of positive solutions for semilinear elliptic systems with Sobolev critical exponents,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 71, no. 11, pp. 5118–5130, 2009.

A. Ambrosetti, H. Brézis, and G. Cerami, “Combined effects of concave and convex nonlinearities in some elliptic problems,” Journal of Functional Analysis, vol. 122, no. 2, pp. 519–543, 1994.

S. Benmouloud, R. Echarghaoui, and S. M. Sbaï, “Multiplicity of positive solutions for a critical quasilinear elliptic system with concave and convex nonlinearities,” Journal of Mathematical Analysis and Applications, vol. 396, no. 1, pp. 375–385, 2012.

T.-S. Hsu, “Multiple positive solutions for a critical quasilinear elliptic system with concave-convex nonlinearities,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 7-8, pp. 2688–2698, 2009.

T.-F. Wu, “On semilinear elliptic equations involving concave-convex nonlinearities and sign-changing weight function,” Journal of Mathematical Analysis and Applications, vol. 318, no. 1, pp. 253–270, 2006.

L. Wang, Q. Wei, and D. Kang, “Existence and multiplicity of positive solutions to elliptic systems involving critical exponents,” Journal of Mathematical Analysis and Applications, vol. 383, no. 2, pp. 541–552, 2011.

J. Chabrowski et al., “On multiple solutions for the nonhomogeneous p-laplacian with a critical sobolev exponent,” Differential and Integral Equations, vol. 8, no. 4, pp. 705–716, 1995.

P. Han, “Quasilinear elliptic problems with critical exponents and Hardy terms,” Nonlinear Analysis: Theory, Methods & Applications, vol. 61, no. 5, pp. 735–758, 2005.

G. Tarantello, “On nonhomogeneous elliptic equations involving critical Sobolev exponent,” in Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 9, pp. 281–304, Elsevier, 2016.

M. Willem, Minimax theorems, progress in nonlinear differential equations and applications, vol. 24, 1996.

M. Struwe and M. Struwe, Variational methods, Springer, 1990.

R. Echarghaoui, M. Khiddi, and S. M. Sbai, “Multiple positive solutions for a Choquard equation involving both concave-convex and Hardy-Littlewood-Sobolev critical exponent,” Differential Equations & Applications, vol. 9, no. 4, pp. 505–520, 2017.