- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Discrete Dynamics in Nature and Society

Volume 2013 (2013), Article ID 786548, 8 pages

http://dx.doi.org/10.1155/2013/786548

## Weak Solutions for a -Laplacian Antiperiodic Boundary Value Problem with Impulsive Effects

^{1}Department of Mathematics, Qilu Normal University, Jinan, Shandong 250013, China^{2}School of Mathematics, Shandong University, Jinan, Shandong 250100, China^{3}Department of Mathematics, Hebei University of Engineering, Handan, Hebei 056038, China

Received 7 March 2013; Accepted 19 May 2013

Academic Editor: Beatrice Paternoster

Copyright © 2013 Keyu Zhang et al. 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

By virtue of variational method and critical point theory, we will investigate the existence of weak solutions for a -Laplacian impulsive differential equation with antiperiodic boundary conditions.

#### 1. Introduction

In this work, we will study the existence of weak solutions for the -Laplacian impulsive differential equation with antiperiodic boundary conditions where , , , , , and , . Moreover, , where and denote the right and left limits, respectively, of at , for .

Impulsive differential equations have become more important in recent years in some mathematical models of real processes and phenomena studied in physics, chemical technology, population dynamics, biotechnology, and economics. We mention, for instance, the books [1–3] dealing with impulsive differential equations.

Recently, many researchers pay their attention to impulsive differential equations by variational method and critical point theory, to the best our knowledge; we refer the reader to [4–8] and references cited therein. Meanwhile, some people begin to study -Laplacian differential equations with impulsive effects; for example, see [9–14].

Chen and Tang [9] adopted the least action principle and the saddle point theorem to obtain some existence theorems for a second-order -Laplacian system with or without impulsive effects under weak sublinear growth conditions. In [10], they also considered that a second-order impulsive differential equation with Dirichlet problems has one or infinitely many solutions under more relaxed assumptions on their nonlinearity , which satisfies a kind of new superquadratic and subquadratic conditions.

The problem of finding infinitely many large energy solutions is a very classical problem; there is an extensive literature concerning the existence of infinitely many large energy solutions of a plethora of problems via the symmetric mountain pass theorem and fountain theorem; for instance, see [15–22].

Motivated by the works cited above, in this paper, we shall discuss the problem (1). Firstly, we adopt Browder theorem, introduced in [23], to prove that the problem (1) has only one weak solution. Secondly, we shall utilize Fountain theorem under Cerami condition (C), which is introduced in [24], to prove that the problem (1) has infinitely many weak solutions. The results obtained here improve some existing results in the literature.

#### 2. Variational Structure

We first introduce the Banach space , endowed with the norm Then we see that is a reflexive Banach space. We denote by the norm in and in .

In what follows, we shall convert the problem (1) into an integral equation. For all , multiply (1) by and integrate between and to obtain Noting the impulsive effects, for the left integral of (3), we have Substituting (4) into (3), we easily find that

*Definition 1. * If for each there is a such that (5) holds, then is called a weak solution for (1).

From (5), we can obtain the weak solutions for (1) that coincide with critical points of the energy functional
where . Clearly, is class of and its derivative is

Lemma 2. *Consider and .*

* Proof. *For , by mean value theorem, and . It follows from Hölder inequality that
Consequently, we have
Furthermore, for , we have ,
Hence every bounded set in is equicontinuous in . By Arzela-Ascoli theorem, we claim that . By the same manner, we can prove that . Furthermore, we can obtain by (9)
This completes the proof.

*Definition 3 (see [23, page 303]). * Let be a reflexive real Banach space and its dual. The operator is said to be demicontinuous if maps strongly convergent sequences in to weakly convergent sequences in .

Lemma 4 (Browder theorem, see [23, Theorem 5.3.22]). *Let be a reflexive real Banach space. Moreover, let be an operator satisfying the following conditions:*(i)* is bounded and demicontinuous;*(ii)* is coercive, that is, ;*(iii)* is monotone on the space ; that is, for all , one has
**Then the equation has at least one solution for every . If, moreover, the inequality (12) is strict for all , , then the equation has precisely one solution for all .*

In what follows, we shall introduce Fountain theorem under Cerami condition (C). We first give the definition of Cerami condition (C).

*Definition 5 (see [24, Definition 1.1]). * Assume that is a Banach space with norm ; we say that satisfies Cerami condition (C), if for all ,(i)any bounded sequence satisfying , possesses a convergent subsequence;(ii)there exist such that for any with , .

As is a reflexive Banach space, there exist (see [25, Section 17]) and such that , and . For , denote , , and . Clearly, with for all . Denote .

Lemma 6 (see [24, Proposition 1.2]). * Let , , be defined as above. Assume that satisfies condition (C), and . For each , there exist such that*(i)*, ,*(ii)*.**Then has a sequence of critical points , such that as .*

#### 3. Main Results

Now, we list our assumptions on and , .(H1) is a decreased function about , uniformly in , and are increased functions with .(H2) There exist and such that , for all and .(H3) There exist such that , for all , .(H4) There is a positive constant such that , uniformly in .(H5), , for all , .(H6), uniformly on .(H7) is an even function about and are odd functions about , for all .

Theorem 7. *Let and (H1)–(H3) hold. Then (1) has precisely a weak solution.*

* Proof. * For , we define
Let
Then, to find a weak solution of (1) is equivalent to finding a solution for the operator equation . In what follows, we shall sketch the properties of operators . By Hölder inequality, we have
Consequently, is bounded:
The last integral tends to zero as due to the continuity of the Nemytskii operator . Hence, is continuous. We assume that in ; by Lemma 2, we know that there is a subsequence, still denoted by , which strongly converges to in . Therefore, utilizing the continuity of , we have
So, is continuous. In the same methods, we see that is also continuous. On the other hand, by (9) and (11), for , it follows from (H2) and (H3) that
Therefore, and are bounded. Up to now, we have proved that is bounded and continuous, so (i) of Lemma 4 holds. Finally, we shall show the monotonicity and coercivity of . Indeed, (H1) implies that for and ,
(H2) and (H3) enable us to get
Therefore, by the span of , we arrive at . As a result, (ii) and (iii) of Lemma 4 hold. Hence, Lemma 4 implies that (1) has precisely a weak solution. This completes the proof.

Lemma 8. *Let (H3)–(H5) hold. Then satisfies Cerami condition (C).*

* Proof. *For all , we assume that is bounded and
Going, if necessary, to a subsequence, we can assume that weakly in , and then
By Lemma 2, enables us to obtain that
It follows from weakly in and that
Noting (19), we have
and thus as . Hence, (i) of Definition 5 is satisfied. Next, we prove (ii) of Definition 5; if not, there exists a sequence such that
By (26), there exists a constant such that
On the other hand, (H4) implies that there is a such that , for all and . Furthermore, is bounded for and . Therefore, there exists such that , for all , . This, together with (H5), yields
which implies . Therefore, there is a such that .

It follows from (H3) that there are such that
By this and (H5), we can find
and thus if (27) holds, which contradicts in (26). This proves that satisfies condition (C).

Theorem 9. *Suppose that (H2)–(H7) hold, and then (1) has infinitely many weak solutions.*

*Proof. *By (H7), we know that is even. Denote , and by the compactness of the embedding , we see that as (see [26, Lemma 3.8]). Noting (30), we have by (H5) and Hölder inequality, for any and ,
We easily have as and as . Hence,

On the other hand, by (H6), we find that there are such that
Since all the norms of a finite dimensional normed space are equivalent, note that is a norm of , so there exists a such that
Noting (9), we have
Note that we can choose a large enough such that by (H6) and by (H2), and then there exists positive constants such that
By this and (33), we can take , and thus . Up until now, we have proved that the functional satisfies all the conditions of Lemma 6, and then has infinitely many critical points. Equivalently, (1) has infinitely many weak solutions. This completes the proof.

*Two Examples. *(1) Let and . Consider the problem
where , , . Clearly, (H1)–(H3) hold true. By Theorem 7, (38) has only a weak solution.

(2) (H6) can be weaken that where is determined by (35). Indeed, by (39), we can obtain that there exist and such that (34) is satisfied. Furthermore, .

Let and . Consider the problem where and , where and is defined by (35).

For , we can easily have (H2) and (H7) hold. By computation, , , for all, and hence we obtain that (H5) is satisfied.

For and , we see , . Therefore, (H3) holds.

It is obvious that , so (H7) holds; furthermore, As a result of this, (39) (i.e., (H6)) is true.

By we obtain that uniformly on . Consequently, (H4) holds. Nowadays, we have proved that (H2)–(H7) hold, and then (40) has infinitely many weak solutions by Theorem 9.

In [14], the condition is As known to all, this condition is originally introduced in [27] and is still present in many works which is used to guarantee the boundedness of (P.S.) sequences of the corresponding functional.

In the problem (40), note that there exists such that and This is impossible if and is an adequately large positive number. On the other hand, if (H4) holds, then there is a sufficiently large such that Therefore, for all and , which is also weaker than the condition if . This means that our results generalize the corresponding results in [14].

#### Acknowledgments

This research is supported by the NNSF China (10971046), Shandong and Hebei Provincial Natural Science Foundation (ZR2012AQ007, A2012402036), GIIFSDU (yzc12063), IIFSDU (2012TS020), and the Project of Shandong Province Higher Educational Science and Technology Program (J09LA55).

#### References

- A. M. Samoilenko and N. A. Perestyuk,
*Impulsive Differential Equations*, vol. 14 of*World Scientific Series on Nonlinear Science. Series A: Monographs and Treatises*, World Scientific, River Edge, NJ, USA, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham, D. D. Bainov, and P. S. Simeonov,
*Theory of Impulsive Differential Equations*, vol. 6 of*Series in Modern Applied Mathematics*, World Scientific, Teaneck, NJ, USA, 1989. View at Zentralblatt MATH · View at MathSciNet - M. Benchohra, J. Henderson, and S. Ntouyas,
*Impulsive Differential Equations and Inclusions*, vol. 2 of*Contemporary Mathematics and Its Applications*, Hindawi Publishing Corporation, New York, NY, USA, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. J. Nieto and D. O'Regan, “Variational approach to impulsive differential equations,”
*Nonlinear Analysis. Real World Applications*, vol. 10, no. 2, pp. 680–690, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Sun, H. Chen, J. J. Nieto, and M. Otero-Novoa, “The multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 12, pp. 4575–4586, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Tian, W. Ge, and D. Yang, “Existence results for second-order system with impulse effects via variational methods,”
*Journal of Applied Mathematics and Computing*, vol. 31, no. 1-2, pp. 255–265, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Xiao, J. J. Nieto, and Z. Luo, “Multiplicity of solutions for nonlinear second order impulsive differential equations with linear derivative dependence via variational methods,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 1, pp. 426–432, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Zhou and Y. Li, “Existence of solutions for a class of second-order Hamiltonian systems with impulsive effects,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 3-4, pp. 1594–1603, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. Chen and X. H. Tang, “Existence of solutions for a class of $p$-Laplacian systems with impulsive effects,”
*Taiwanese Journal of Mathematics*, vol. 16, no. 3, pp. 803–828, 2012. View at MathSciNet - P. Chen and X. Tang, “Existence and multiplicity of solutions for second-order impulsive differential equations with Dirichlet problems,”
*Applied Mathematics and Computation*, vol. 218, no. 24, pp. 11775–11789, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - L. Bai and B. Dai, “Three solutions for a $p$-Laplacian boundary value problem with impulsive effects,”
*Applied Mathematics and Computation*, vol. 217, no. 24, pp. 9895–9904, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - L. Bai and B. Dai, “Existence and multiplicity of solutions for an impulsive boundary value problem with a parameter via critical point theory,”
*Mathematical and Computer Modelling*, vol. 53, no. 9-10, pp. 1844–1855, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Wang, W. Ge, and M. Pei, “Infinitely many solutions of a second-order $p$-Laplacian problem with impulsive condition,”
*Applications of Mathematics*, vol. 55, no. 5, pp. 405–418, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - I. Bogun, “Existence of weak solutions for impulsive $p$-Laplacian problem with superlinear impulses,”
*Nonlinear Analysis. Real World Applications*, vol. 13, no. 6, pp. 2701–2707, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - T. Bartsch, “Infinitely many solutions of a symmetric Dirichlet problem,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 20, no. 10, pp. 1205–1216, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Bartsch and M. Willem, “On an elliptic equation with concave and convex nonlinearities,”
*Proceedings of the American Mathematical Society*, vol. 123, no. 11, pp. 3555–3561, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Chen and X. Tang, “Infinitely many solutions for a class of fractional boundary value problem,” http://www.emis.de/journals/BMMSS/pdf/acceptedpapers/2011-09-043_R1.pdf.
- L. Zhang, X. H. Tang, and J. Chen, “Infinitely many periodic solutions for some second-order differential systems with $p(t)$-Laplacian,”
*Boundary Value Problems*, vol. 33, 15 pages, 2011. View at MathSciNet - U. B. Severo, “Multiplicity of solutions for a class of quasilinear elliptic equations with concave and convex terms in $\mathbb{R}$,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 5, pp. 1–16, 2008. View at Zentralblatt MATH · View at MathSciNet - S. Yan and J. Yang, “Fountain theorem over cones and applications,”
*Acta Mathematica Scientia B*, vol. 30, no. 6, pp. 1881–1888, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - D. Liu, “On a $p$-Kirchhoff equation via fountain theorem and dual fountain theorem,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 1, pp. 302–308, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - P. S. Iliaş, “Existence and multiplicity of solutions of a $p(x)$-Laplacian equation in a bounded domain,”
*Revue Roumaine de Mathématiques Pures et Appliquées*, vol. 52, no. 6, pp. 639–653, 2007. View at MathSciNet - P. Drábek and J. Milota,
*Methods of Nonlinear Analysis: Applications to Differential Equations*, Birkhäuser Advanced Texts: Basler Lehrbücher, Birkhäuser, Basel, Switzerland, 2007. View at MathSciNet - A. Qian and C. Li, “Infinitely many solutions for a Robin boundary value problem,”
*International Journal of Differential Equations*, vol. 2010, Article ID 548702, 9 pages, 2010. View at Zentralblatt MATH · View at MathSciNet - J. Zhao,
*Structure Theory of Banach Spaces*, Wuhan University Press, Wuhan, China, 1991. - M. Willem,
*Minimax Theorems*, Progress in Nonlinear Differential Equations and their Applications, Birkhäuser, Boston, Mass, USA, 1996. View at Publisher · View at Google Scholar · View at MathSciNet - A. Ambrosetti and P. H. Rabinowitz, “Dual variational methods in critical point theory and applications,”
*Journal of Functional Analysis*, vol. 14, pp. 349–381, 1973. View at Zentralblatt MATH · View at MathSciNet