Multiple solutions for a class of anisotropic p⃗-Laplacian problems

In this paper we present some existence and multiplicity results for a class of anisotropic p⃗-Laplacian problems with Dirichlet boundary conditions. In particular, the existence of three solutions is pointed out. The approach is based on variational methods and our main tool is a three critical point theorem.


Introduction
In the present work we deal with multiplication results of solutions for the following anisotropic problem We suppose that is a nonempty bounded open set of the real Euclidean space R N , with N ≥ 2, whose boundary is of class C 1 , f : × R → R is an L 1 -Carathéodoy function and p = (p 1 , p 2 , . . ., p N ), p ∈ R N , with p -= min{p 1 , p 2 . . ., p N } > N and p + = max{p 1 , p 2 . . ., p N }, respectively the minimum and the maximum value of the anisotropic configuration.Moreover, λ is a positive real parameter.The anisotropic p-Laplacian operator is defined as which is a generalization of the usual Laplacian operator in the case of p i = 2, for all i = 1, . . ., N .We also observe that formula (1.2) becomes the pseudo-p-Laplacian operator if p is constant (that is, p i = p for all i = 1, . . ., N ) (see, for instance, [5,11]).
The theory of anisotropic Sobolev space appears for the first time in [22,28,30,31,35], where the authors introduce the anisotropic Sobolev space starting from a generic set of multi-indices.Recently, many authors have investigated anisotropic boundary value problems.For an overview of these subjects, we refer to [3,4,9,13,14,[18][19][20]24] and the references therein.In [18] the authors study the existence of positive solutions for a class of anisotropic quasilinear systems.The approach is based on a suitable combination of the sub-supersolution method with the mountain pass theorem.In [24], the authors use an approximation approach to prove the existence and regularity of the solutions to an anisotropic problem involving a singular nonlinearity.
The theory of anisotropic problems is also extended for the case when the indexes of the operator are continuous functions.Then, the operator describing these problems becomes the following anisotropic p(x)-Laplacian operator It is easy to see that in the case of p i (x) = p(x) for all i = 1, . . ., N , the operator (1.3) becomes the pseudo-p(x)-Laplacian operator (see, for instance, [10]).In this framework, the study of nonlinear elliptic problems involving operators of the type p(x)-Laplacian is based on the theory of generalized Lebesgue-Sobolev spaces (see for instance [15,17,21,[25][26][27] and references therein).Nonlinear differential problems involving nonlocal operators as well as non standard and/or non uniform operators have been widely studied (see [12,16,29]).Anisotropic problems are of increasing interest, especially for their applications.Operators such as (1.2) model phenomena in which partial derivatives vary with direction.For instance, the study of an epidemic disease in heterogeneous habitat or many reaction-diffusion processes depending on different environments can be expressed by an anisotropic nonlinear operator.For more details about these arguments, we refer to [1,6,7,23,32,33,36,37] and the references therein.The aim of this paper is to obtain the existence of multiple solutions for the problem (D p λ ) using variational methods.In particular, our main tool is a critical points theorem (Theorem 2.1) established in [8].Here a special case of our main result is presented.Theorem 1.1 Let g : R → R be a continuous function which is nonnegative and non zero in [0, +∞) and nonpositive and nonzero in (-∞, 0] and such that (1.4) Then there exists λ * > 0 such that for each λ > λ * the problem admits at least four distinct nontrivial weak solutions, two positive and two negative.
The paper is arranged as follows.In Sect. 2 we define some preliminaries and basic notations that we are going to use to define the anisotropic Sobolev space.Moreover, properties of the functional associated to problem (D p λ ) are pointed out.In Sect.3, our main result (Theorem 3.1) and consequences are presented (see Theorem 3.2).In particular, under suitable sign conditions for the nonlinearity, in Theorem 3.2 the existence of two positive solutions is established.Finally, an example (see Example 3.4) is presented.

Preliminaries and basic notations
The present section is devoted to defining the anisotropic Sobolev space and to recalling some properties and basic results that we will use in the sequel.Given a vector p = (p 0 , p 1 , . . ., p N ) with p i ≥ 1 for i = 0, 1, . . ., N , the anisotropic Sobolev space (see [30,Definition 7]) is defined as endowed with the norm We define as W 1, p 0 ( ) the closure of C ∞ 0 ( ) with respect to the norm (2.2) and denote by (W ) ) are separable Banach spaces, which are reflexive if p i > 1 for i = 0, 1, . . ., N , and, taking into account the smoothness of the boundary the , the embedding theorems are verified, (see [22,30,31]).
Here and in the sequel assume p -= min{p 1 , p 2 , . . .p N } > N .Clearly, from the Hölder inequality, one has which is equivalent to the usual one (2.2).Now, recalling that the usual Sobolev space W 1,p - 0 ( ) is compactly embedded in C 0 ( ¯ ), we explicit that one also has for every u ∈ W 1,p - 0 ( ), where for each u ∈ W 1, p 0 ( ), where Moreover, the embedding of W where T = T 0 N i=1 p i 1/p i and T 0 is given in (2.7).
Throughout the sequel, we suppose that f : × R → R is an L 1 -Carathéodory function, i.e.: (1) x → f (x, ξ ) is measurable for every ξ ∈ R; (2) ξ → f (x, ξ ) is continuous for almost every x ∈ ; (3) for every s > 0 there is a function for a.e.x ∈ .We recall that u : → R is a weak solution of problem (D for all v ∈ W 1, p 0 ( ).Finally, we define the functionals , : for every u ∈ W 1, p 0 ( ), where Clearly, and are Gâteaux differentiable functionals whose Gâteaux derivatives at the point u ∈ W 1, p 0 ( ) are respectively given by for every v ∈ W and so is coercive.Now, we observe that is sequentially weakly lower semicontinuous.Indeed, it is convex and continuous and our claim follows from [38,Proposition 25.20]).

Proposition 2.4
The functional is continuously Gâteaux differentiable and its derivative is compact.
Proof Our aim is to apply [38,Proposition 26.2].To this end let {u n } ⊂ W 1, p 0 ( ) be bounded.Since W 1, p 0 ( ) is reflexive (see [31,Theorem 1]), up to a subsequence, we have that (2.11) Clearly, since the embedding of W 1, p 0 ( ) in C 0 ( ¯ ) is compact (see Proposition 2.1) we have that that is u n (x) → u(x) uniformly in , then there exists K > 0 such that |u n (x)| ≤ K for all x ∈ and then, since f is an L 1 -Carathéodory function, up to a subsequence we obtain that where in the last inequality we use formula (2.6).Finally, from (2.12), we obtain and from (2.13) that is is strongly continuous and then, from comma (a) of [38, Proposition 26.2], is compact.
Our main tool is a three critical point theorem, that we recall here for reader convenience.
Then, for each λ ∈ r , the functional I λ =λ has at least three distinct critical points in X.

Main result and consequences
This section presents our main result and some consequences.Our goal is to apply the critical point theorem recalled in Sect. 2 (Theorem 2.1).More precisely, we point out an existence result of at least three weak solutions (see Theorem 3.1) and some consequences (Theorem 3.2, Example 3.15).Put simple calculations show that there is x 0 ∈ such that B(x 0 , R) ⊆ and we denote by R N , the measure of the N -dimensional ball of radius R. Let x = (x 1 , . . ., x N ), x 0 = (x 01 , . . ., x 0N ) be in R N and put and ) and where T is given in Proposition 2.2.Moreover, suppose that Then, for each λ ∈ ˜ ) has at least three weak solutions.
Hence, all assumptions of Theorem 2.1 are verified and the proof is complete.Now, we point out a consequence of our main result for the autonomous case.To be precise, let g : R → R be a continuous function and consider the anisotropic Dirichlet problem (AD  As an application, we give the following example.

Proposition 2 . 3
. Moreover, we observe that the critical points in W 1, p 0 ( ) of the functional I λ =λ are precisely the weak solutions of problem (D p λ ).Now we prove the following propositions useful in the sequel.The functional defined in (2.8) is coercive and sequentially weakly lower semicontinuous.Moreover, its Gâteaux derivative admits a continuous inverse on (W 1, p 0 ( )) * .Proof Let the functional defined in (2.8).Put p j such that

. 2 )Theorem 3 . 1
where | • | N is the usual norm in R N .Let f : × R → R be an L 1 -Carathéodory function.Assume that there exist two positive constants c and d, with
)with the Gamma function and | | the Lebesgue measure of .In particular, if is the N -dimensional ball, (2.5) is the best constant such that (2.4) is verified (see [34, Formula (6b)]).Now we recall the following two propositions (see [9, Proposition 2.1] and [9, Proposition 2.2]) that we need for our purposes.Suppose that p -> N ; one has