Abstract and Applied Analysis

Volume 2012 (2012), Article ID 236712, 10 pages

http://dx.doi.org/10.1155/2012/236712

## Multiplicity of Solutions for Perturbed Nonhomogeneous Neumann Problem through Orlicz-Sobolev Spaces

Department of Mathematics and Computational Sciences, Hengyang Normal University, Hengyang, 421008 Hunan, China

Received 14 July 2012; Accepted 31 August 2012

Academic Editor: Juntao Sun

Copyright © 2012 Liu Yang. 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

We investigate the existence of multiple solutions for a class of nonhomogeneous Neumann problem with a perturbed term. By using variational methods and three critical point theorems of B. Ricceri, we establish some new sufficient conditions under which such a problem possesses three solutions in an appropriate Orlicz-Sobolev space.

#### 1. Introduction

Consider the following nonhomogeneous Neumann problem with a perturbed term: where is a bounded domain in with smooth boundary , is the outer normal to , are two Carathéodory functions, are two parameters, and the function is such that defined by is an odd, strictly increasing homeomorphism from to .

It is well known that these kinds of problems are important in applications in many fields, such as elasticity, fluid dynamics, and image processing (see [1–4]). Since the operator in the divergence form is nonhomogeneous, we introduce Orlicz-Sobolev space which is an appropriate setting for these problems. Such space originated with Nakano [5] and was developed by Musielak and Orlicz [6]. Many properties of Sobolev spaces have been extended to Orlicz-Sobolev space (see [7–10]). Several authors have widely studied the existence of solutions for the relevant problem by means of variational techniques, monotone operator methods, fixed point, and degree theory (see [11–15]). To the best of our knowledge, for the perturbed nonhomogeneous Neumann problem, there has so far been few papers concerning its multiple solutions. Motivated by the above facts, in this paper, we establish some new sufficient conditions under which such a problem possesses three weak solutions in Orlicz-Sobolev space.

This paper is organized as follows. In Section 2, some preliminaries are presented. In Section 3, we discuss the existence of three weak solutions for problem .

#### 2. Preliminaries

We start by recalling some basic facts about Orlicz-Sobolev space. Let be as in Introduction and , We observe that is, a Young function, that is , is convex and . Furthermore, since if and only if , , and , then is called an -function. The function is called the complementary function of and it satisfies Assume that satisfies the following structural hypotheses ; . Further, we also assume that the function is convex.

The Orlicz space defined by is the space of measurable functions such that Then is a Banach space whose norm is equivalent to the Luxemburg norm We denote by the Orlicz-Sobolev space, defined by This is a Banach space with respect to the norm

Lemma 2.1 (see [13]). *On the norms
**
are equivalent. Moreover, for every , one has
*

Lemma 2.2. *Let , then
*

*Proof. *For the proof of
we can see Lemma 2.2 of the paper [13]. Since for all , it follows that letting , we have
Thus, one has
Moreover, by the definition of the norm, we remark that
Therefore, we have
for all .

Similar techniques as those used in the proof of (2.12), we have
Therefore, we can obtain
for all .

Lemma 2.3 (see [13]). *Let and assume that
**
for some , then one has .*

Lemma 2.4 (see [13]). *If , then is compactly embedded in and there exists a constant such that
**
where .*

Now, *one recall*, a three critical theorem of B. Ricceri. If is a real Banach space, denote by (see [16]) the class of all functionals possessing the following property: if is a sequence in converging weakly to and , then has a subsequence converging strongly to . For example, if is uniformly convex and is a continuous, strictly increasing function, then, by a classical results, the functional belongs to the class .

Lemma 2.5 (see [16]). *Let be a separable and reflexive real Banach space; let be a coercive, sequentially weakly lower semicontinuous functional, belonging to , bounded on each bounded subset of and whose derivative admits a continuous inverse on ; a functional with compact derivative. Assume that has a strict local minimum with . Finally, setting
**
assume that . Then for each compact interval (with the conventions , there exists with the following property: for every and every functional with compact derivative, there exists such that, for each , the equation
**
has at least three solutions in whose norms are less than . *

Lemma 2.6 (see [17]). *Let be a reflexive real Banach space; an interval, let be a sequentially weakly lower semicontinuous functional, bounded on each bounded subset of and whose derivative admits a continuous inverse on ; a functional with compact derivative. Assume that
**
for all , and that there exists such that
**
Then there exist a nonempty open set and a positive number , with the following property: for every and every functional with compact derivative, there exists such that, for each , the equation
**
has at least three solutions in whose norms are less than . *

Lemma 2.7 (see [18]). *Let be a nonempty set and two real functions on . Assume that there are and such that
**
Then for each satisfying
**
one has
*

#### 3. Proof of the Main Results

Set .

Theorem 3.1. *Let be a function satisfying the structural hypotheses – and the following conditions hold**,
**. **Then, for each compact interval , there exists with the following property: for every and , there exists such that, for each , the problem has at least three weak solutions whose norms in are less than . *

* Proof of Theorem 3.1. *In order to apply Lemma 2.5, we let
We divide our proof into two steps as follows. *Step* 1. We show that some fundamental assumptions are satisfied.

. Obviously, is a separable and reflexive real Banach space (see [13]). By Lemma 2.2, it is easy to see that is a coercive, bounded on each bounded subset of . On the other hand, with the derivatives given by
for any . Hence, the critical points of the functional are exactly the weak solutions for problem . Moreover, owing that is convex, it follows that is convex. Hence, one has that is sequentially weakly lower semicontinuous. The fact is compactly embedded into implies that operators is compact. As the proof of Lemma 3.2 in [15], we know that has a continuous inverse.

Moreover, if is a sequence in converging weakly to and , remark that is sequentially weakly lower semicontinuous, one has
Then, up to a subsequence, we deduce that . Taking into account that converges weakly to and is sequentially weakly lower semicontinuous, we have
We assume by contradiction that does not converge to in . Hence, there exist and a subsequence of such that
Then there exists such that
On the other hand,
(see [19]). Letting in the above inequality we obtain
and that is a contradiction with (3.4). It follows that converges strongly to and . In addition, . *Step* 2. We show that .

In view of , for all , there exists such that
for any . For , we have
By , for all , there exists such that
for any . Further, for each , we have
So we get
Then, with the notation of Lemma 2.5, we have . By assumption , we have . Thus, all the hypotheses of Lemma 2.5 are satisfied. Clearly, . Finally, by Lemma 2.5, we can obtain the Theorem 3.1.

*Example 3.2. *Let . Define
and . By [13], one has
Let . Since if is large enough and if is small enough, moreover, it is easy to see , the conditions of Theorem 3.1 can be satisfied.

*Remark 3.3. *Since in [13] is -sublinear, the results of [13] do not fit to the problem treated in the previous Example 3.2 even if , that is, there is no perturbed nonlinear term. In addition, for nonhomogeneous Neumann problem with a perturbed term, we can have the following result when is -sublinear, which extends the results of [13].

Theorem 3.4. *Let be a function satisfying the structural hypotheses – and the following conditions.** There exist two constants with such that and
**
where denotes the Lebesgue measure of the set .** There exist and such that for every . **Then, there exist a nonempty open set and a positive number , for each and for every , there exists such that, for each , the problem has at least three weak solutions whose norms in are less than . *

* Proof of Theorem 3.4. *Let us consider as the proof of Theorem 3.1. For any , by we have
for . Since , one has for all .

Let , . For , we have
Hence, one has
From , it follows that
Since all the assumptions of Lemmas 2.7 and 2.6 are satisfied, then, there is a nonempty open set and a positive number , for each and for every there exists such that, for each , the problem has at least three weak solutions whose norms in are less than .

#### Acknowledgments

L. Yang was supported by the Natural Science Foundation of Hunan Province (12JJ9001), Hunan Provincial Science and Technology Department of Science and Technology Project (2012SK3117), and Hengyang Normal University Doctoral Science Foundation (11B35).

#### References

- V. Zhikov, “Averaging of functionals of the calculus of variations and elasticity,”
*Mathematics of the USSR-Izvestiya*, vol. 29, pp. 33–66, 1987. View at Google Scholar - T. C. Halsey, “Electrorheological fluids,”
*Science*, vol. 258, no. 5083, pp. 761–766, 1992. View at Google Scholar · View at Scopus - M. Mihăilescu and V. Rădulescu, “A multiplicity result for a nonlinear degenerate problem arising in the theory of electrorheological fluids,”
*Proceedings of The Royal Society of London A*, vol. 462, no. 2073, pp. 2625–2641, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. Chen, S. Levine, and M. Rao, “Variable exponent, linear growth functionals in image restoration,”
*SIAM Journal on Applied Mathematics*, vol. 66, no. 4, pp. 1383–1406, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. Nakano,
*Modulared Semi-Ordered Linear Spaces*, Maruzen, Tokyo, Japan, 1950. - J. Musielak and W. Orlicz, “On modular spaces,”
*Studia Mathematica*, vol. 18, pp. 49–65, 1959. View at Google Scholar · View at Zentralblatt MATH - R. A. Adams, “On the Orlicz-Sobolev imbedding theorem,” vol. 24, no. 3, pp. 241–257, 1977. View at Google Scholar · View at Zentralblatt MATH
- A. Cianchi, “A sharp embedding theorem for Orlicz-Sobolev spaces,”
*Indiana University Mathematics Journal*, vol. 45, no. 1, pp. 39–65, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - T. K. Donaldson and N. S. Trudinger, “Orlicz-Sobolev spaces and imbedding theorems,” vol. 8, pp. 52–75, 1971. View at Google Scholar · View at Zentralblatt MATH
- M. M. Rao and Z. D. Ren,
*Theory of Orlicz Spaces*, vol. 146, Marcel Dekker, New York, NY, USA, 1991. - P. Clément, B. de Pagter, G. Sweers, and F. de Thélin, “Existence of solutions to a semilinear elliptic system through Orlicz-Sobolev spaces,”
*Mediterranean Journal of Mathematics*, vol. 1, no. 3, pp. 241–267, 2004. View at Publisher · View at Google Scholar - M. Mihăilescu and D. Repovš, “Multiple solutions for a nonlinear and non-homogeneous problem in Orlicz-Sobolev spaces,”
*Applied Mathematics and Computation*, vol. 217, no. 14, pp. 6624–6632, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. Bonanno, G. M. Bisci, and V. Rădulescu, “Existence of three solutions for a non-homogeneous Neumann problem through Orlicz-Sobolev spaces,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 74, no. 14, pp. 4785–4795, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - N. Halidias and V. K. Le, “Multiple solutions for quasilinear elliptic Neumann problems in Orlicz-Sobolev spaces,”
*Boundary Value Problems*, vol. 3, pp. 299–306, 2005. View at Google Scholar · View at Zentralblatt MATH - A. Kristály, M. Mihăilescu, and V. Rădulescu, “Two non-trivial solutions for a non-homogeneous Neumann problem: an Orlicz-Sobolev space setting,”
*Proceedings of the Royal Society of Edinburgh A*, vol. 139, no. 2, pp. 367–379, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ricceri, “A further three critical points theorem,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 71, no. 9, pp. 4151–4157, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ricceri, “A three critical points theorem revisited,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 70, no. 9, pp. 3084–3089, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ricceri, “Existence of three solutions for a class of elliptic eigenvalue problems,”
*Mathematical and Computer Modelling*, vol. 32, no. 11–13, pp. 1485–1494, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Lamperti, “On the isometries of certain function-spaces,”
*Pacific Journal of Mathematics*, vol. 8, pp. 459–466, 1958. View at Google Scholar · View at Zentralblatt MATH