Research Article | Open Access

Zhiqiang Wei, Zigao Chen, "Existence Results for the *p(x)*-Laplacian with Nonlinear Boundary Condition", *International Scholarly Research Notices*, vol. 2012, Article ID 727398, 15 pages, 2012. https://doi.org/10.5402/2012/727398

# Existence Results for the *p(x)*-Laplacian with Nonlinear Boundary Condition

**Academic Editor:**Y. Tsompanakis

#### Abstract

By using the variational method, under appropriate assumptions on the perturbation terms such that the associated functional satisfies the global minimizer condition and the fountain theorem, respectively, the existence and multiple results for the -Laplacian with nonlinear boundary condition in bounded domain โฆ were studied. The discussion is based on variable exponent Lebesgue and Sobolev spaces.

#### 1. Introduction

In recent years, increasing attention has been paid to the study of differential and partial differential equations involving variable exponent conditions. The interest in studying such problems was stimulated by their applications in elastic mechanics, fluid dynamics, or calculus of variations. For more information on modeling physical phenomena by equations involving -growth condition we refer to [1โ3]. The appearance of such physical models was facilitated by the development of variable exponent Lebesgue and Sobolev spaces, and , where is a real-valued function. Variable exponent Lebesgue spaces appeared for the first time in the literature as early as 1931 in an article by Orlicz [4]. The spaces are special cases of Orlicz spaces originated by Nakano [5] and developed by Musielak and Orlicz [6, 7], where if and only if for a suitable . Variable exponent Lebesgue spaces on the real line have been independently developed by Russian researchers. In that context we refer to the studies of Tsenov [8], Sharapudinov [9], and Zhikov [10, 11].

In this paper, we consider the following nonlinear elliptic boundary value problem: where is a bounded domain with Lipschitz boundary is outer unit normal derivative, , and for any , and are Carathรฉdory functions. Throughout this paper, we assume that , and satisfy and .

The operator is called -Laplacian, which is a natural extension of the -Laplace operator, with being a positive constant. However, such generalizations are not trivial since the -Laplace operator possesses a more complicated structure than the -Laplace operator, for example, it is inhomogeneous. For related results involving the Laplace operator, see [12, 13].

In the past decade, many people have studied the nonlinear boundary value problems involving -Laplacian. For example, if and (a constant), then problem (1.1) becomes Bonder and Rossi [14] considered the existence of nontrivial solutions of problem (1.2) when and discussed different cases when is subcritical, critical, and supercritical with respect to . We also mention that Martรญnez and Rossi [15] studied the existence of solutions when and the perturbation terms and satisfy the Landesman-Lazer-type conditions. Recently, J.-H. Zhao and P.-H. Zhao [16] studied the nonlinear boundary value problem, assumed that and satisfy the Ambrosetti-Rabinowitz-type condition, and got the multiple results.

If and (a constant), then problem (1.1) becomes There are also many people who studied the -Laplacian nonlinear boundary value problems involving (1.3). For example, Cรฎrstea and Rวdulescu [17] used the weighted Sobolev space to discuss the existence and nonexistence results and assumed that is a special case in the problem (1.3), where is an unbounded domain. Pflรผger [18], by using the same technique, considered the existence and multiplicity of solutions when . The author showed the existence result when and are superlinear and satisfy the Ambrosetti-Rabinowitz-type condition and got the multiplicity of solutions when one of and is sublinear and the other one is superlinear.

More recently, the study on the nonlinear boundary value problems with variable exponent has received considerable attention. For example, Deng [19] studied the eigenvalue of -Laplacian Steklov problem, and discussed the properties of the eigenvalue sequence under different conditions. Fan [20] discussed the boundary trace embedding theorems for variable exponent Sobolev spaces and some applications. Yao [21] constrained the two nonlinear perturbation terms and in appropriate conditions and got a number of results for the existence and multiplicity of solutions. Motivated by Yao and problem (1.3), we consider the more general form of the variable exponent boundary value problem (1.1). Under appropriate assumptions on the perturbation terms and , by using the global minimizer method and fountain theorem, respectively, the existence and multiplicity of solutions of (1.1) were obtained. These results extend some of the results in [21] and the classical results for the -Laplacian in [14, 16, 22โ24].

#### 2. Preliminaries

In order to discuss problem (1.1), we need some results for the spaces , which we call variable exponent Sobolev spaces. We state some basic properties of the spaces , which will be used later (for more details, see [25, 26]). Let be a bounded domain of , and denote For write We can also denote and for any , and define with norms on and defined by where is the surface measure on . Then, and become Banach spaces, which we call variable exponent Lebesgue spaces. Let us define the space equipped with the norm For , if we define then, from the assumptions of and , it is easy to check that is an equivalent norm on . For simplicity, we denote

Hence, we have (see [27])(i)if , then ,(ii)if , then ,where and are positive constants independent of .

Denote by the closure of in .

Proposition 2.1 (see [21, 28]). * The space , is a separable, uniformly convex Banach space, and its conjugate space is , where . For any and , one has
*

If , , for any , then and the imbedding is continuous.

Proposition 2.2 (see [20, 21, 28]). * โโ are separable reflexive Banach spaces.** If and for any , then the embedding from into is compact and continuous, where
** If and for any , then the trace imbedding from into is compact and continuous, where
** (Poincarรฉ inequality) There is a constant , such that
*

Proposition 2.3 (see [21, 28, 29]). *If is a Carathรฉodory function and satisfies
**
where , , , , and is a constant, then the Nemytsky operator from to defined by is a continuous and bounded operator. *

Proposition 2.4 (see [21, 28, 30]). *Denote
**
Then,** if and only if ,**โโ implies and implies ,** if and only if and if and only if . *

Proposition 2.5 (see [19]). *Denote
**
Then, *(1)* implies ,*(2)* implies .*

#### 3. Assumptions and Statement of Main Results

In the following, let denote the generalized Sobolev space , โ denote the dual space of , denote the dual pair, and let represent strong convergence, represent weak convergence, , represent the generic positive constants.

Now we state the assumptions on perturbation terms and for problem (1.1) as follows: )โ satisfies Carathรฉodory condition and there exist two constants such that where and for any .() There exist such that ().() satisfies Carathรฉodory condition and there exist two constants such that where and for any . There exist such that .

The functional associated with problem (1.1) is where and are denoted by By Propositions 3.1 and 3.2, and assumptions , , it is easy to see that the functional ; moreover, is even if and ) hold. Then, so the weak solution of (1.1) corresponds to the critical point of the functional .

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

Proposition 3.1 (see [31]). *If one denotes
**
then and the derivative operator of , denoted by , is
**
and one has:*(i)* is a continuous, bounded, and strictly monotone operator,*(ii)* is a mapping of (S+) type, that is, if in and , then in ,*(iii)* is a homeomorphism. *

Proposition 3.2 (see [19]). * If one denotes
**
where and for any , then and the derivative operator of is
**
and one has that and are sequentially weakly-strongly continuous, namely, in implies .*

Let be a reflexive and separable Banach space. There exist and such that For , denote

One important aspect of applying the standard methods of variational theory is to show that the functional satisfies the - condition, which is introduced by the following definition.

*Definition 3.3. * Let and . Then, functional satisfies the condition if any sequence such that
contains a subsequence converging to a critical point of .

In what follows we write the condition simply as the condition if it holds for every level for the - condition at level .

Proposition 3.4 (Fountain theorem, see [23, 32]). * Assume that*(A1)* is a Banach space, is an even functional, the subspaces and are defined by (3.13).Suppose that, for every , there exist such that*(A2)* as ,*(A3)*,*(A4)* satisfies condition for every . *

Then, has a sequence of critical values tending to .

Proposition 3.5 (see [21]). * Suppose that hypotheses , and if , denote
**
then .**Let us introduce the following lemma that will be useful in the proof of our main result.*

Lemma 3.6. * Let , and assume that are satisfied, then satisfies (PS) condition.*

*Proof. *By Propositions 2.2 and 2.3, we know that if we denote
then is weakly continuous and its derivative operator, denoted by , is compact. By Propositions 3.1 and 3.2, we deduce that is also of (S+) type. To verify that satisfies (PS) condition on , it is enough to verify that any (PS) sequence is bounded. Suppose that such that
Then, for large enough, we can find such that
Since , we have . In particular, is bounded. Thus, there exists such that
We claim that the sequence is bounded. If it is not true, by passing a subsequence if necessary, we may assume that . Without loss of generality, we assume that appropriately large such that for any . From (3.18) and (3.19) and letting , then , we have
By virtue of assumptions and and combining (3.20) and (3.21), we have
Note that , let we obtian a contradiction. It follows that the sequence is bounded in . Therefore, satisfies (PS) condition.

Under appropriate assumptions on the perturbation terms , a sequence of weak solutions with energy values tending to was obtained. The main result of the paper reads as follows.

Theorem 3.7. * Let , and , and assumed that are satisfied; then has a sequence of critical points such that as .*

*Proof. * We will prove that satisfies the conditions of Proposition 3.4. Obviously, because of the assumptions of and , is an even functional and satisfies (PS) condition (see Lemma 3.6). We will prove that if is large enough, then there exist such that (A2) and (A3) hold. By virtue of , , there exist two positive constants such that
Letting with appropriately large such that , we have
If , then by Proposition 3.5, we have
Choose . For with , we have
Since as and , we have and . Thus, for sufficiently large , we have with and as . In other cases, similarly, we can deduce
So (A2) holds.

By virtue of and , there exist two positive constants such that
Letting , we have
If , then we have
Since , all norms are equivalent in . So we get
Also, note that , Then, we get as . For other cases, the proofs are similar and we omit them here. So (A3) holds. From the proof of (A2) and (A3), we can choose . Thus, we complete the proof.

This time our idea is to show that possesses a nontrivial global minimum point in .

Theorem 3.8. * Let , and assume , are satisfied; then (1.1) has a weak solution. *

*Proof. * Firstly, we show that is coercive. For sufficiently large norm of , and by virtue of (3.23),
If
then
So is coercive since . Secondly, by Proposition 2.2, it is easy to verify that is weakly lower semicontinuous. Thus, is bounded below and attains its infimum in , that is, and is a critical point of , which is a weak solution of (1.1).

In the Theorem 3.8, we cannot guarantee that is nontrivial. In fact, under the assumptions on the above theorem, we can also get a nontrivial weak solution of .

Corollary 3.9. * Under the assumptions in Theorem 3.8, if one of the following conditions holds, (1.1) has a nontrivial weak solution.*(1)*If , there exist two positive constants such that
*(2)*If , there exist two positive constants such that
*(3)*If , there exist two positive constants such that
*

*Proof. *From Theorem 3.8, we know that has a global minimum point . We just need to show that is nontrivial. We only consider the case here. From (1), we know that for small enough, there exists two positive constants such that
Choose ; then . For small enough, we have
Since and , there exists small enough such that . So the global minimum point of is nontrivial.

*Remark 3.10. * Suppose that and ; then the conditions in Corollary 3.9 can be fulfilled.

#### References

- E. Acerbi and G. Mingione, โRegularity results for a class of functionals with non-standard growth,โ
*Archive for Rational Mechanics and Analysis*, vol. 156, no. 2, pp. 121โ140, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. Růžička,
*Electrorheological Fluids: Modeling and Mathematical Theory*, vol. 1748 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 2000. View at: Publisher Site - W. M. Winslow, โInduced fibration of suspensions,โ
*Journal of Applied Physics*, vol. 20, no. 12, pp. 1137โ1140, 1949. View at: Publisher Site | Google Scholar - W. Orlicz, โÜber konjugierte exponentenfolgen,โ
*Studia Mathematica*, vol. 3, pp. 200โ211, 1931. View at: Google Scholar - H. Nakano,
*Modulared Semi-Ordered Linear Spaces*, Maruzen, Tokyo, Japan, 1950. - J. Musielak,
*Orlicz Spaces and Modular Spaces*, vol. 1034 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1983. - J. Musielak and W. Orlicz, โOn modular spaces,โ
*Studia Mathematica*, vol. 18, pp. 49โ65, 1959. View at: Google Scholar | Zentralblatt MATH - I. Tsenov, โGeneralization of the problem of best approximation of a function in the space Ls,โ
*Uchenye Zapiski Kazanskogo Gosudarstvennogo Universiteta*, vol. 7, pp. 25โ37, 1961. View at: Google Scholar - I. I. Sharapudinov, โTopology of the space ${L}^{p(t)}([0;1])$,โ
*Mathematical Notes*, vol. 26, no. 4, pp. 796โ806, 1979. View at: Publisher Site | Google Scholar - V. Zhikov, โAveraging of functionals in the calculus of variations and elasticity,โ
*Mathematics of the USSR-Izvestiya*, vol. 29, pp. 33โ66, 1987. View at: Google Scholar - V. V. Zhikov, โPassage to the limit in nonlinear variational problems,โ
*Matematicheskiĭ Sbornik*, vol. 183, no. 8, pp. 47โ84, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH - E. Acerbi and N. Fusco, โPartial regularity under anisotropic $(p,q)$ growth conditions,โ
*Journal of Differential Equations*, vol. 107, no. 1, pp. 46โ67, 1994. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. Struwe, โThree nontrivial solutions of anticoercive boundary value problems for the pseudo-Laplace operator,โ
*Journal für die Reine und Angewandte Mathematik*, vol. 325, pp. 68โ74, 1981. View at: Publisher Site | Google Scholar - J. F. Bonder and J. D. Rossi, โExistence results for the $p$-Laplacian with nonlinear boundary conditions,โ
*Journal of Mathematical Analysis and Applications*, vol. 263, no. 1, pp. 195โ223, 2001. View at: Publisher Site | Google Scholar - S. Martínez and J. D. Rossi, โWeak solutions for the $p$-Laplacian with a nonlinear boundary condition at resonance,โ
*Electronic Journal of Differential Equations*, no. 27, pp. 1โ14, 2003. View at: Google Scholar - J.-H. Zhao and P.-H. Zhao, โInfinitely many weak solutions for a
*p*-Laplacian equation with nonlinear boundary conditions,โ*Electronic Journal of Differential Equations*, vol. 2007, pp. 1โ14, 2007. View at: Google Scholar - F.-C. Şt. Cîrstea and V. D. Rǎdulescu, โExistence and non-existence results for a quasilinear problem with nonlinear boundary condition,โ
*Journal of Mathematical Analysis and Applications*, vol. 244, no. 1, pp. 169โ183, 2000. View at: Google Scholar - K. Pflüger, โExistence and multiplicity of solutions to a $p$-Laplacian equation with nonlinear boundary condition,โ
*Electronic Journal of Differential Equations*, vol. 10, pp. 1โ13, 1998. View at: Google Scholar - S.-G. Deng, โEigenvalues of the $p(x)$-Laplacian Steklov problem,โ
*Journal of Mathematical Analysis and Applications*, vol. 339, no. 2, pp. 925โ937, 2008. View at: Publisher Site | Google Scholar - X. Fan, โBoundary trace embedding theorems for variable exponent Sobolev spaces,โ
*Journal of Mathematical Analysis and Applications*, vol. 339, no. 2, pp. 1395โ1412, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Yao, โSolutions for Neumann boundary value problems involving $p(x)$-Laplace operators,โ
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 68, no. 5, pp. 1271โ1283, 2008. View at: Publisher Site | Google Scholar - J. F. Bonder, โMultiple solutions for the $p$-Laplace equation with nonlinear boundary conditions,โ
*Electronic Journal of Differential Equations*, no. 37, pp. 1โ7, 2006. View at: Google Scholar - M. Willem,
*Minimax Theorems*, Progress in Nonlinear Differential Equations and Their Applications no. 24, Birkhäuser, Boston, Mass, USA, 1996. View at: Publisher Site - S.-Z. Song and C.-L. Tang, โResonance problems for the $p$-Laplacian with a nonlinear boundary condition,โ
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 64, no. 9, pp. 2007โ2021, 2006. View at: Publisher Site | Google Scholar - X. Fan, โSolutions for $p(x)$-Laplacian Dirichlet problems with singular coefficients,โ
*Journal of Mathematical Analysis and Applications*, vol. 312, no. 2, pp. 464โ477, 2005. View at: Publisher Site | Google Scholar - X. Fan and D. Zhao, โOn the spaces ${L}^{p(x)}(\mathrm{\Omega})$ and ${W}^{m,p(x)}(\mathrm{\Omega})$,โ
*Journal of Mathematical Analysis and Applications*, vol. 263, no. 2, pp. 424โ446, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. Liu and P. Zhao, โExistence of positive solutions for $p(x)$-Laplacian equations in unbounded domains,โ
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 10, pp. 3358โ3371, 2008. View at: Publisher Site | Google Scholar - X. L. Fan and D. Zhao, โOn the generalized Olicz-Sobolev space ${W}^{k,p(x)}(\mathrm{\Omega})$,โ
*Journal of Gansu Education College*, vol. 12, no. 1, pp. 1โ6, 1998. View at: Google Scholar - D. Zhao, W. J. Qiang, and X. L. Fan, โOn the generalized Orlicz spaces ${L}^{p(x)}(\Omega )$,โ
*Journal of Gansu Education College*, vol. 9, no. 2, pp. 1โ7, 1997. View at: Google Scholar - D. Zhao and X. L. Fan, โThe Nemytskiĭ operators from ${L}^{{p}_{1}(x)}(\mathrm{\Omega})$ to ${L}^{{p}_{2}(x)}(\mathrm{\Omega})$,โ
*Journal of Lanzhou University*, vol. 34, no. 1, pp. 1โ5, 1998. View at: Google Scholar - X. Fan, โ$p(x)$-Laplacian equations in ${\mathbb{R}}^{N}$ with periodic data and nonperiodic perturbations,โ
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 1, pp. 103โ119, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - X. Fan and X. Han, โExistence and multiplicity of solutions for $p(x)$-Laplacian equations in ${\mathbb{R}}^{N}$,โ
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 59, no. 1-2, pp. 173โ188, 2004. View at: Publisher Site | Google Scholar

#### Copyright

Copyright © 2012 Zhiqiang Wei and Zigao Chen. 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.