Abstract

We focus on an anisotropic p (x)-Laplacian equation defined on a bounded domain with smooth boundary. Moreover, using variational methods to find the existence of at least three solutions due to Ricceri is discussed.

1. Introduction

Here, the following is considered a Neumann boundary value problem:where and are non-negative and is its smooth boundary. We assume that is the outward normal vector on and are three Carathéodory functions. is a variable exponent and is regular enough. There are many articles, for example, [14] published in existence and multiplicity of solutions for different problems with different types of conditions.

Recently, the study of fourth-order boundary value problems involving Laplacian equations and p (x)-growth conditions was taken into consideration for many physical motivations and they can be modeled similar to this kind of equations (for example, see [511]). We also referred the reader to [1223], wherein the existence of one, two, three, and infinity solutions for -Laplacian problems was studied by using variant variational methods and under some hypothesis on two nonlinear functions and for the parameters λ and which are in some intervals. For example, Fan and Deng in [8] studied the multiplicities of positive solutions for inhomogeneous Neumann problem of the kind -Laplacian as follows:

They considered the multiplicity of solutions for two cases in two cases .

Deng and Wang in [24] proved the existence and nonexistence of the following problem:

Heidarkhani and Salari in [25] by using the critical point theory discussed the existence of two and three solutions for the following problem:

Finally, in [26], Papageorgiou and Winkert proved the multiplicity of solutions for the following equation:

In this article, we would check the existence of at least three weak solutions for problem (1) when have a subcritical growth (conditions and ). Precisely, employing a three-critical point theorem due to Ricceri [27], we established the existing result for equations of -Laplacian type. Moreover, an example for illustrating our main result is given.

2. Basic Definitions and Preliminary Results

Given the Banach space , we denoted by the set of all maps which has the following properties.

Weakly converging of a sequence to in in which implies that has a subsequence strong convergence to .

Theorem 1. Assuming that is a separable reflexive real Banach space, a coercive map in which is -map and sequentially weakly lower semicontinuous, bounded on each bounded subset of , and has a continuous inverse on (dual of ). Suppose that is a -map such that is a compact function, has a strict local minimum such that .
SetIn the case that , for any compact interval (with convention ), there is such that for any and any map which is compact, there exists in which for any , the equation admits at least three weak solutions in in (ball with center 0 and radius ).
Consider , thenForwe set for , and we consider some conditions as follows: for almost all and all . There is a Carathéodory function which is continuously differentiable such that and for almost all . for almost all . There is such that the growth condition for almost all and all satisfy, where is the usual Euclidean norm. The monotonicity relation holds for almost all and each . This is equality if and only if . The inequalities hold for almost all and all . For in which for all , then Given such that for all and , then

The variable exponent Lebesgue space class is defined as follows:where is reflexive and separable Banach space endowed with the following Luxemburg norm (see [28]):

Moreover,is endowed with

We denoted as the closure of in .

Proposition 1 (see [2831]). (1) is a reflexive and separable Banach space.(2) and for all , and there is a continuous embedding which is compact.(3) and for any , and there is a continuous embedding which is compact.(4)(Poincaré) , a number such that

Proposition 2. There exists a positive constant such that for all ,

Proof. For any ,Using the Hölder inequality, there is such thatHence,where and . Moreover,on is an equivalent to the one in equation (14), so for a suitable positive constant ,Set

Proposition 3 (see [32]). Given , the following properties hold:(1)(2)(3).Throughout this article, we assumed that and are two -Carathéodory function, i.e.,(a).(b).(c)and similarly for the function but with instead of .Corresponding to the functions and , we considered the maps and which are defined as follows:

Definition 1. A weak solution for equation (1) means thatwhere is the dimensional Hausdorff measure on the boundary.

3. Main Results

For and with , we setand , where

Define the functionals byfor each is well defined (see Theorem 3.1 in [23] and Proposition 4 in [15]), and it has continuous Gâteaux differentiable and it is sequentially weakly lower semicontinuous whose Gâteaux derivative is as follows:which admits a continuous inverse on the dual space . From and , and are continuously Gâteaux differentiable functions in which the embeddings and (Proposition 1) are compact which implies the compactness of the following derivatives:(for more details, see the proof of Theorem 1.1 in [23]).

Lemma 1. The functional is coercive and bounded on each bounded subset of .

Proof. For checking the coercivity of it is enough to assume that . From and Proposition 3,So, 𝒩 is coercive. Assume that is bounded, there is such that .
According to ,for some suitable positive constants and . Hence, on each bounded subset of , is bounded andMoreover, admits a strict local minimum with .

Lemma 2 (see Theorem 4.1 in [33]). Suppose that the Carathéodory function satisfies in and is of the type that is in and implies strongly in .

Lemma 3. lies in .

Proof. Let weakly in and . Since is weakly lower semicontinuous, . From the compact embedding (see Lemma 2.5 in [34]), converges to . Now, from Lemma 2, we need only to show thatSince , for a subsequence of which for simplicity we denoted it again by ,From and Lemmas 2.1 and 2.5 in [34],Thus, . According to Lemma 2, converges to strongly in , so .
Applying Lemmas 1and 3, we like to show the multiplicity of solutions.

Theorem 2. Suppose that There exists in which There exists a function such that

Then, for an interval , there exists in which “for every , there exists such that for each , problem (1) has at least three solutions in which whose norms in are less than .

Proof. From , there exist and with such thatfor each is continuous on , and it is bounded on and , so choosing and leads to for all . Hence, from Proposition 2,for all . Hence, from equations (33) and (40),From equations (33) and (39) and Proposition 2, it follows that for each ,According to equations (41) and (42), the following relation is established:Assumption in conjunction with equations (43) implies the following equation:Thus, taking into account Lemmas 1 and 3, assumptions of Theorem 1 satisfy for and . Using Theorem 1, for interval , there exists such that for any , there exists and such that for each , problem (1) has at least three weak solutions whose norms in are less than (standard arguments show that is a Gâteaux differentiable functional and is a solution for problem (1) if and only if is a critical point of the function ).

Theorem 3. Letand

Then, for each interval , there exists in which for every , there exists such that for each , problem (1) has at least three solutions whose norms are less than in .

Proof. From equation (45), there exists an arbitrary and and with in which for any and any with . Since is continuous on , it is bounded on and . We can choose and in a similar manner that for all . By the same argument as in proof of Theorem 2, we have equations (41) and (42). Since is arbitrary so from equations (41) and (42),Then, using notation of Theorem 1, , and equation (46) implies . In this case, and . Finally, using Theorem 1, the proof is completed.
Now, we pay to the following example.

Example 1. Let and for every . Thus, for every , andAlso, by setting one has the following equation:However,Hence, Theorem 3 is applicable for the following system:For any and each , we put the following equation:where is introduced in the condition , . The next theorem provides sufficient conditions for applying Theorem 2 without satisfying in .

Theorem 4. Assume that the condition in Theorem 2 satifies and there exist , and so small such thatfor almost all , with and .Then, for each interval , there exists in which for every , there exists such that for each , problem (1) has at least three weak solutions in whose norms are less than .

Proof. Let be from and fix . We like to examine the validity of all assumptions of Theorem 2. We set the following equation:Directly, , for all and so . On the other hand, since for every ,So, we obtain for every . Moreover, the existence of continuous embedding.
(see Theorem 2.8 of [28]) implies the following equation:for positive constants , where is the volume of (for more details, see Theorem 2.11 [34]). Thus, . On the other hand, from , , and , one has the following equations:andSo, from equations (57) and (58) and , we obtain the following equation:Therefore, in Theorem 2 satisfies. Hence, Theorem 2 follows.
We studied the following problem to get results that the function has separated variables.where is a non-negative and nonzero function and is a continuous function. Set for every , where for all .
The following existing results are consequences of Theorem 4.

Corollary 1. Suppose that There is in which There exist , , and so small such thatfor all and

Then, for an interval (where and are the same as and in which is substituted by , respectively), there exists in which for any , there exists such that, for each , problem (60) has at least three weak solutions in whose norms are less than .

Theorem 5. Assume that there exists , , and so small such thatMoreover,

Then, for the given interval , where is the same as in which is replaced by , there exists such that for every , there exists such that, for each , problem (60) has at least three weak solutions in whose norms are less than .

Proof. From equation (65), satisfies for any . Moreover, using equation (64) and small enough, we can assume . Then, the conclusion follows from Corollary 1.

Remark 1. From cited results, we realized that nowhere in theorems asymptotic conditions on the functions and are required and only the algebraic assumptions on are supposed to give the existence of solutions.
The following example shows that nonlinearity verifies the hypotheses of Theorem 5.

Example 2. Let for all andThus, and is a continuous and non-negative function and by which choosing , we have the following equation: On the other hand, since , one has . Moreover,Hence, by applying Theorem 5 for each compact interval , there exists with the following property: for every , there exists in which for any , the problemhas at least three weak solutions whose norms in are less than .

Remark 2. Similar to the one in Proposition 2.13 in [34], we can consider and establish positive principal eigenvalues by following the -Laplacian Neumann problem:where and for almost all , and we discuss on number of solutions of problem (1) using problem (70) (precisely, to find out this the subject matter, see Theorem 2.14 in [34] and Theorem 4.4 in [35]).

Remark 3. In comparison with [23] when the authors worked with two parameters and , we obtained a precise range for the parameter λ in all the results of existence and multiplicity. We also noticed that this article differs from [13, 15, 16, 18, 19, 22, 34] either in the operators, in the boundary conditions, or in the nonlinearities of and . As noted, in the case of variable exponents, the question of multiplicity is recent, so our results contribute to these recent contributions by explaining the interval to the parameters and .

Conclusion 1. In this article, by using a variational method and Ricceri variational principle, we studied the -Laplacian equation under the Neumann boundary condition. We proved the existence and multiplicity solutions for problem (1), where , for , , and are Carathéodory functions and .

Data Availability

No real data were used to support this study. The data used in this study are hypothetical.

Conflicts of Interest

The authors declare that they have no conflicts of interest.