Some existence results for a periodic problem with non-smooth potential

https://doi.org/10.1016/j.na.2010.04.061Get rights and content

Abstract

In this paper, two existence results for a class of second order periodic boundary value problems with non-smooth potential are obtained. We extend the Castro–Lazer–Thews reduction method to non-smooth functionals, the obtained result is then exploited to prove the existence of a nontrivial solution. Furthermore, we prove the existence of multiple solutions by using a multiplicity result based on local linking.

Introduction

In this paper, we consider the following second order periodic boundary value problem with non-smooth potential: (P){u(t)+g(t)j(t,u(t)),t(0,2π),u(0)=u(2π),u(0)=u(2π), where g:[0,2π]R is a bounded measurable function, j(t,ξ) is a locally Lipschitz (not necessarily smooth) in the ξ-variable integrand and j(t,ξ) stands for the Clarke subdifferential of the potential function j(t,ξ).

Nonlinear second order differential equations with restoring forces describe, among other things, the dynamics of particles under the action of Newtonian type forces caused by compressed gazes. Second order periodic boundary value problems have been receiving a great deal of attention. In the last decades, the problem of existence of periodic solutions of autonomous and non-autonomous second order differential equations, with or without a friction term, has been investigated by many authors. In 1993, Del Pino and Manasevich [1] proved infinitely many positive T-periodic solutions for a nonlinear problem which comes from nonlinear elasticity. The proof of this result is based on the version of Poincare–Birkhoff Theorem due to Ding [2]. In 1996, using a direct application of the Leray–Schauder continuation theorem, Dang and Oppenheimer [3] established some existence and uniqueness results for a class of nonlinear boundary value problems. In 2003, Bonheure and Coster [4] obtained the existence of solution for a class of singular second order periodic boundary value problems by using lower and upper solution methods. In particular, Boucherif, Merzagui [5] considered a class of singular non-autonomous second order differential equations and proved the existence of at least one periodic solution by using a variational approach based on the Mountain Pass Lemma.

The study of problems with non-smooth potential is lagging behind. In 2003, Gasinski and Papageorgiou [6] proved the existence of three distinct periodic solutions for nonlinear second order differential equations by using the non-smooth critical point theory of Chang [7] and its extensions due to Kourogenis and Papageorgiou [8]. In 2005, Bonanno and Giovannelli [9] obtained a multiplicity result for an eigenvalue Dirichlet problem by using a three critical points theorem for non-smooth functionals which introduced by Marano and Motreanu [10] and Ricceri [11]. In particular, using an abstract multiplicity result under local linking and an extension of the Castro–Lazer–Thews reduction method to a non-smooth setting, Gasinski et al. [12] considered a class of resonance semilinear elliptic equation, and obtained that multiplicity of nontrivial solutions; Motreanu et al. [13] established the existence of at least two nontrivial solutions for a class of second order periodic systems with a non-smooth potential and an indefinite linear part.

In this paper, we develop and use a non-smooth variant of the so-called “reduction method” (see [12], [13]). This method was first introduced for smooth problems by Castro and Lazer [14] and Thews [15]. We prove the existence of periodic solution for Problem (P). On the other hand, using non-smooth critical point theorem and a recent multiplicity result based on local linking, we prove the multiplicity results for Problem (P). Compared with [12], [13], our hypotheses allow the non-smooth potential to cross the two consecutive eigenvalue of high order and Problem (P) has a friction term g(t).

Problems with non-smooth potential are known as hemivariational inequalities. So Problem (P) is a periodic hemivariational inequality. Hemivariational inequalities are a new type of variational expressions which arise naturally in mechanics and engineering when one wants to consider more realistic models with a non-smooth and nonconvex energy functionals. For several concrete applications e refer to the book of Naniewicz and Panagiotopoulos [16].

This paper is arranged as follows. In Section 2, we collect some basic definitions and state the main results. In Section 3, we establish “reduction method” for non-smooth functionals, and prove the existence of periodic solution for Problem (P). In Section 4, we obtain a multiplicity result for Problem (P).

Section snippets

Mathematical background and main results

As we have already mentioned, our approach is based on the theory of the non-smooth critical point theory for locally Lipschitz functionals.

Let X be a Banach space and X be its topological dual. By X, we denote the norm of X and by ,X the duality brackets for the pair (X,X). A functional Φ:XR is called locally Lipschitz if for each xX, there exists a neighbourhood U of x and a constant L0 such that |Φ(x1)Φ(x2)|Lx1x2X,x1,x2U. We define the generalized directional derivative of Φ

The proof of Theorem 2.5

In this section, we extend the Castro–Lazer–Thews reduction method [21] to non-smooth functionals and prove Theorem 2.5.

Now, let Φ:HR be defined by Φ(u(t))=02π[12(u(t))2j(t,u(t))+g(t)u(t)]dt=02π[12(u(t))2+g(t)u(t)]dtφ(u(t))=12u(t)22+02πg(t)u(t)dtφ(u(t)), where φ(u(t))=02πj(t,u(t))dt. From (H1) and (H2), we obtain that the functional φ(u(t)) is locally Lipschitz in H. Therefore, the functional Φ(u(t)) is locally Lipschitz in H. Let Hi=E(02)E(12)E(i2) and H̄i=E((i+1)2)E((i+2)2)

Proof of Theorem 2.6

In this section, we will prove Theorem 2.6 by using Lemma 2.4.

Let Φ1:HR be defined by Φ1(u(t))=02π[12(u(t))2j(t,u(t))+g(t)u(t)]dt. From (H1) and (H5), we obtain that Φ1(u(t)) is well defined and locally Lipschitz in H.

Lemma 4.1

Suppose (H1),(H5)–(H8) hold, the functional Φ1 satisfies the local linking condition (i.e. condition  (i) in Lemma 2.4).

Proof

Let Hi=E(02)E(12)E(i2) and H̄i=E((i+1)2)E((i+2)2), we have H=HiH̄i. Since Hi is finite dimensional, there is a σ1>0 such that u2σ1 as uHi with u

Acknowledgements

The authors would like to thank the anonymous referees for their valuable suggestions toward improving our paper.

References (22)

  • L. Gasinski et al.

    On the existence of multiple periodic solutions driven by the p-Laplacian and with a non-smooth potential

    Proc. Edinb. Math. Soc.

    (2003)
  • Cited by (0)

    This research is supported by the NNSF of China under Grant 60574075, Innovation Program of Shanghai Municipal Education Commission under Grant 08YZ93 and Shanghai Leading Academic Discipline Project under Grant S30501.

    View full text