# Infinitely Many Homoclinic Solutions for Second Order Nonlinear Difference Equations withp-Laplacian

Authors: Guowei Sun; Ali Mai
Journal: The Scientific World Journal
 (2014)

---

## Abstract

We employ Nehari manifold methods and critical point theory to study the existence of nontrivial homoclinic solutions of discretep-Laplacian equations with a coercive weight function and superlinear nonlinearity. Without assuming the
classical Ambrosetti-Rabinowitz condition and without any periodicity assumptions, we prove the existence and multiplicity results of the equations.


---

## Body

## 1. Introduction

Difference equations represent the discrete counterpart of ordinary differential equations and are usually studied in connection with numerical analysis. As it is well known, the critical point theory is used to deal with the existence of solutions of difference equations. For example, in 2003, Guo and Yu [1] introduced a variational structure associated with second order difference equations; they employ Rabinowitz's saddle point theorem (see [2]) to obtain the existence of kT-periodic solutions for the T-periodic system:
(1)Δ2u(n-1)+∇uF[n,u(n)]=0,n∈ℤ.
The forward difference operator Δ is defined by Δu(n)=u(n+1)-u(n). They assume that ∇uF is bounded and F is coercive with respect to u or F satisfies a subquadratic Ambrosetti-Rabinowitz condition and a related coercivity condition. In particular, when F(n,0)=0 for all n∈ℤ, they prove the existence of nontrivial kT-periodic solutions of (1). In [3], they assume that F satisfies a superquadratic Ambrosetti-Rabinowitz condition and ∇uF satisfies a superlinear condition near u=0 and prove the existence of two nontrivial T-periodic solutions of (1) by using the similar methods. A survey of those results is given in [4]. In 2004, Zhou et al. [5] consider the case, where the nonlinearity is neither superlinear nor sublinear and generalize the results of [3]. In these papers, the critical point theory is applied to find the periodic solutions of difference equations. The main idea of these papers is to construct a suitable variational structure, so that the critical points of the variational functional correspond to the periodic solutions of the difference equations. Naturally, the critical point theory is also applied to find homoclinic solutions of difference equations; see [6–11] and the reference therein.In this paper, we consider the following second order nonlinear difference equations withp-Laplacian:
(2)-Δϕp(Δu(k-1))+b(k)ϕp(u(k))=f(k,u(k)),k∈ℤ,
where ϕp(t)=|t|p-2t for all t∈ℝ, p>1. b:ℤ→ℝ is a positive and coercive weight function and f(k,u):ℤ×ℝ→ℝ is a continuous function on u. The forward difference operator Δ is defined by
(3)Δu(k-1)=u(k)-u(k-1),∀k∈ℤ.
As usual, ℤ and ℝ denote the set of all integers and real numbers, respectively.Assume further thatf(k,0)=0; then u(k)≡0 is a solution of (2), which is called the trivial solution. As usual, we say that a solution u={u(k)} of (2) is homoclinic (to 0): if
(4)lim⁡|k|→∞u(k)=0.
In addition, we are interested in the existence of nontrivial homoclinic solution for (2), that is, solutions that are not equal to 0 identically. In this paper, we also obtain infinitely many homoclinic solutions of (2) for case, where f is odd in u.Moreover, we may regard (2) as being a discrete analogue of the following second order differential equation:
(5)-(ϕp(x′(t)))′+b(t)ϕp(x(t))=f(t,x(t)),t∈ℝ.The study of homoclinic solutions for (2) in case p=2 has been motivated in part by searching standing waves for the nonlinear discrete Schrödinger equation:
(6)iψ˙n+Δ2ψn-vnψn+f(n,ψn)=0,n∈ℤ,
namely, solutions of the form ψn=une-iωt. Periodic assumptions on (6) can be found in [6, 7]. Without any periodic assumptions, the existence and multiplicity of standing wave solutions of (6) are obtained in [8, 9]. We are going to extend the approach of [8] to nonlinear discrete p-Laplacian equations.Throughout this paper, we always suppose that the following conditions hold:(B)
functionb:ℤ→ℝ satisfies b(k)≥b0>0 for all k∈ℤ and
(7)lim⁡|k|→+∞b(k)=+∞.(f1)
f∈C(ℤ×ℝ,ℝ) and there exist a>0, q∈(p,∞), such that
(8)|f(k,u)|≤a(1+|u|q-1),∀k∈ℤ,u∈ℝ.(f2)
lim⁡|u|→0⁡f(k,u)/|u|p-1=0 uniformly for k∈ℤ.(f3)
lim⁡|u|→∞⁡F(k,u)/|u|p=+∞ uniformly for k∈ℤ, where F(k,u) is the primitive function of f(k,u); that is,
(9)F(k,u)=∫0uf(k,s)ds‍.(f4)
u↦f(k,u)/|u|p-1 is strictly increasing on (-∞,0) and (0,∞).In many studies ofp-Laplacian equations, the following classical Ambrosetti-Rabinowitz superlinear condition ([12, 13]) is assumed:
(10)0<μF(k,u)≤f(k,u)u,forsomeμ>p,u≠0.
It is easy to see that (10) implies F(k,u)≥C|u|μ, for some constants C>0 and |u|≥1.In this paper, instead of (10), we assume the p-superlinear condition (f3). It is easy to see that (10) implies (f3). For example, the p-superlinear function,
(11)f(k,u)=|u|p-2uln⁡⁡(1+|u|),
does not satisfy (10). However, it satisfies the condition (f1)–(f3). A crucial role that (10) plays is to ensure the boundedness of Palais-Smale sequences. This is very crucial in applying the critical point theory.The rest of the paper is organized as follows. In Section2, we establish the variational framework associated with (2) and then present the main results of this paper. Section 3 is devoted to prove some useful lemmas, and in Section 4 we prove the main result.


## 2. Preliminaries

We will establish the corresponding variational framework associated with (2).Consider the real sequence spaces(12)lp≡lp(ℤ)W={u={u(k)}k∈ℤ:(∑k∈ℤ‍|u(k)|p)1/pWWW∀k∈ℤ,u(k)∈ℝ,∥u∥lp=(∑k∈ℤ‍|u(k)|p)1/p<∞}.
Then the following embedding between lp spaces holds:
(13)lq⊂lp,∥u∥lp≤∥u∥lq,1≤q≤p≤∞.Define the space(14)E:={u∈lp:∑k∈ℤ‍[|Δu(k-1)|p+b(k)|u(k)|p]<∞}.
Then E is a Hilbert space equipped with the norm
(15)∥u∥p=∑k∈ℤ‍[|Δu(k-1)|p+b(k)|u(k)|p].|·| is the usual absolute value in ℝ.Now we consider the variational functionalJ defined on E by
(16)J(u)=1p∑k∈ℤ‍[|Δu(k-1)|p+b(k)|u(k)|p]-∑k∈ℤ‍F(k,u(k))=1p∥u∥p-∑k∈ℤ‍F(k,u(k)).
Then J∈C1(E,ℝ), for all v∈E,
(17)(J′(u),v)W=∑k∈ℤ‍[ϕp(Δu(k-1))Δv(k-1)WWWW+b(k)ϕp(u(k))v(k)]WW-∑k∈ℤ‍f(k,u(k))v(k),∂J(u)∂u(k)=-Δϕp(Δu(k-1))+b(k)ϕp(u(k))-f(k,u(k)),k∈ℤ.
Thus, u is a critical point of J on E only if u is homoclinic solutions of (2). We have reduced the problem of finding homoclinic solutions of (2) to that of seeking critical points of the functional J on E. This means that functional J is just the variational framework of (2).The following lemma plays an important role in this paper; it was established in [11].Lemma 1.
Ifv satisfies the condition (B), for any q>1, then the embedding map from E into lq(ℤ) is compact.The main result is as follows.Theorem 2.
Suppose conditions(B),(f1)–(f4) are satisfied. Then we have the following conclusions.(1)
Equation (2) has a nontrivial ground state homoclinic solution, that is, homoclinic solutions corresponding to the least positive critical value of the variational functional.(2)
Iff(k,u) is odd in u for each k∈ℤ, (2) has infinitely many pairs of homoclinic solutions ±u(k) in E.To prove the multiplicity results, we need the following lemma.Lemma 3 (see [14]).
LetS={w∈E:∥w∥=1}. If E is an infinite-dimensional Hilbert space, Φ∈C1(S,ℝ) is even and bounded below and satisfies the Palais-Smale condition. Then Φ has infinitely many pairs of critical points.


## 3. Some Useful Lemmas

We define the Nehari manifold:(18)𝒩={u∈E∖{0}:J′(u)u=0}.To prove the main results, we need some lemmas.Lemma 4.
Suppose conditions(B),(f1)–(f4) are satisfied. Then, for each w∈E∖{0}, there exists a unique sw>0 such that sww∈𝒩.Proof.
LetI(u)=∑k∈ℤF(k,u(k)). By (f2), we have
(19)I′(u)=o(∥u∥p-1)asu⟶0.
From (f4), for all u≠0 and s>0, we have
(20)s⟼I′(su)usp-1is strictly increasing.
Let W⊂E∖{0} be a weakly compact subset and s>0; we claim that
(21)I(su)sp⟶∞uniformly foruon⁡W,ass⟶∞.
Indeed, let {un}⊂W. It suffices to show that
(22)ifsn⟶∞,I(snun)(sn)p⟶∞,
as n→∞. Passing to a subsequence if necessary, un⇀u∈E∖{0} and un(k)→u(k) for every k, as n→∞.
Note that, from(f2) and (f4), it is easy to get that
(23)F(k,u)>0,∀u≠0.
Since |snun(k)|→∞ and un≠0, by (f3) and (23), we have
(24)I(snun)(sn)p=∑k∈ℤ‍F(k,snun(k))|snun(k)|p|un(k)|p⟶∞asn⟶∞.
Therefore, (21) holds.
Letg(s):=J(sw),s>0. Then
(25)g′(s)=J′(sw)w=sp-1(∥w∥p-s1-pI′(sw)w),
from (19)–(21); then there exists a unique sw, such that g′(s)>0 whenever 0<s<sw, g′(s)<0 whenever s>sw, and g′(sw)=J′(sww)w=0. So sww∈𝒩.Lemma 5.
Suppose conditions(B),(f1)–(f4) are satisfied. Then J satisfies the Palais-Smale condition on 𝒩.Proof.
Let{un}⊂𝒩 be a sequence such that J(un)≤d for some d>0 and J′(un)→0 as n→∞.
Firstly, we prove that{un} is bounded. In fact, if not, we may assume by contradiction that ∥un∥→∞ as n→∞. Let vn=un/∥un∥. Then there exists a subsequence, still denoted by the same notation, such that vn⇀v  in  E as n→∞.
Supposev=0. For every s>0, from Lemma 4, we have
(26)d≥J(un)≥J(svn)=1psp∥vn∥p-I(svn)⟶1psp.
This is a contradiction if s≥pdp. Therefore, v≠0.
According to (21), we have
(27)0≤J(un)∥un∥p=1p-I(∥un∥vn)∥un∥p⟶-∞,n⟶∞,
a contradiction again. Thus, {un} is bounded.
Finally, we show that there exists a convergent subsequence of{un}. Actually, there exists a subsequence, still denoted by the same notation, such that un⇀u. By Lemma 1, for any q>1, then
(28)un⟶uinlq(ℤ).
Note that
(29)∥un-u∥p=(J′(un)-J′(u),(un-u))+∑k∈ℤ‍(f(k,un(k))-f(k,u(k)))WWi×(un(k)-u(k)).
By the weak convergence, the first term on the right hand side of (29) approaches 0 as k→∞.
By(f1) and (f2), it is easy to show that, for any ɛ>0, there exists cɛ>0, such that
(30)|f(k,u)|≤ɛ|u|p-1+cɛ|u|q-1,|F(k,u)|≤ɛ|u|p+cɛ|u|q.
By Hölder's inequality, we have
(31)∑k∈ℤ‍(f(k,un(k))-f(k,u(k)))(un(k)-u(k))WW≤∑k∈ℤ‍[ɛ(|un(k)|p-1+|u(k)|p-1)WWWWW+cɛ(|un(k)|q-1+|u(k)|q-1)]|un(k)-u(k)|WW≤ɛ(∥un∥lpp-1+∥u∥lpp-1)∥un-u∥lpWWW+cɛ(∥un∥lpq-1+∥u∥lpq-1)∥un-u∥lp.
Combining (28) and the boundedness of {u(k)}, the above inequality implies
(32)∑k∈ℤ‍(f(k,un(k))-f(k,u(k)))(un(k)-u(k))⟶0WWWWWWWWWWWWWWWiiIiiask⟶∞.
It follows from (29) that un→u in  E. This implies that J satisfies the Palais-Smale condition.


## 4. Proof of Main Results

Proof of Theorem2.
(1) Now we need five steps to finish this proof.
Step  1. We claim that 𝒩 is homeomorphic to the unit sphere S in E.
By (19) and (21), g(s)>0 for s>0 small and g(s)<0 for s>0 large. So sw is a unique maximum of g(s) and sww is the unique point on the ray s↦sw (s>0) which intersects 𝒩. That is, u∈𝒩 is the unique maximum of J on the ray. Therefore, by Lemma 4, we may define the mapping m^:E∖{0}→𝒩 by setting
(33)m^(w):=sww.
Next we show that the mapping m^ is continuous. Indeed, suppose wn→w≠0. Since m^(tu)=m^(u), for each t>0, we may assume wn∈S for all n. Write m^(wn)=swnwn. Then {swn} is bounded. If not, swn→∞ as n→∞.
Note that, by(f4), for all u≠0,
(34)1pf(k,u)u-F(k,u)=1pf(k,u)u-∫0u‍f(k,s)ds>1pf(k,u)u-f(k,u)up-1∫0u‍sp-1ds=0.
Therefore, for allu∈𝒩, we have
(35)J(u)=J(u)-1pJ′(u)u=∑k∈ℤ‍(1pf(k,u(k))u(k)-F(k,u(k)))>0.
Combining with (f3) and Lemma 4, we have
(36)0<J(swnw)(swn)p=1p∥w∥p-∑k∈ℤ‍F(k,swnw(k))|swnw(k)|p|w(k)|p⟶-∞,WWWWWWWWWWiiasn⟶∞;
this is a contradiction. Therefore, swn→s>0 after passing to a subsequence if needed, since 𝒩 is closed and m^(wn)=swnwn→sw,sw∈𝒩. Hence sw=sww=m^(w) by the uniqueness of sw of Lemma 4. Therefore, m^ is continuous.
Then we define a mappingm:S→𝒩 by setting m:=m^|S, then m is a homeomorphism between S and 𝒩, and the inverse of m is given by m-1(u)=u/∥u∥.
Step  2. Now we define the functional Ψ^:E∖{0}→ℝ and Ψ:S→ℝ by
(37)Ψ^(w):=J(m^(w)),Ψ(w):=Ψ^|S.
Then we have
Ψ
^
∈
C
1
(
E
∖
{
0
}
,
ℝ
) and Ψ∈C1(S,ℝ). Moreover,
(38)Ψ^′(w)z=∥m^(w)∥∥w∥J′(m^(w))z∀w,z∈E,w≠0,(39)WΨ′(w)z=∥m(w)∥J′(m(w))z∀z∈Tw(S)={v∈E:(w,v)=0}.
In fact, let w∈E∖{0} and z∈E. By Lemma 4 and the mean value theorem, we obtain
(40)Ψ^(w+tz)-Ψ^(w)=J(sw+tz(w+tz))-J(sww)≤J(sw+tz(w+tz))-J(sw+tz(w))=J′(sw+tz(w+τttz))sw+tztz,
where |t| is small enough and τt∈(0,1). Similarly,
(41)Ψ^(w+tz)-Ψ^(w)=J(sw+tz(w+tz))-J(sww)≥J(sw(w+tz))-J(sw(w))=J′(sw(w+ηttz))swtz,
where ηt∈(0,1). From the above, the function w↦sw is continuous, combining these two inequalities that
(42)lim⁡t→0Ψ^(w+tz)-Ψ^(w)t=swJ′(sww)z=∥m^(w)∥∥w∥J′(m^(w))z.
Hence the Gâteaux derivative of  Ψ^ is bounded linear in z and continuous in w. It follows that Ψ^ is a class of C1 (see [15], Proposition 1.3) and (38) holds. Note only that, since w∈S, m(w)=m^(w), so (39) is clear.
Step  3. {wn} is a Palais-Smale sequence for Ψ if and only if {m(wn)} is a Palais-Smale sequence for J.
Let{wn} be a Palais-Smale sequence for Ψ and let un=m(wn)∈𝒩. Since for every wn∈S we have an orthogonal splitting, E=TwnS⊕ℝwn, we have
(43)∥Ψ′(wn)∥=sup⁡z∈TwnS∥z∥=1Ψ′(wn)z=∥m(wn)∥sup⁡z∈TwnS∥z∥=1J′(m(wn))z=∥un∥sup⁡z∈TwnS∥z∥=1J′(un)z.
Then
(44)∥Ψ′(wn)∥≤∥un∥∥J′(un)∥=∥un∥sup⁡z∈TwnS,t∈ℝz+tw≠0J′(un)(z+tw)∥z+tw∥≤∥un∥sup⁡z∈TwnS∖{0}J′(un)(z)∥z∥=∥Ψ′(wn)∥.
Therefore
(45)∥Ψ′(wn)∥=∥un∥∥J′(un)∥.
By (35), for un∈𝒩, J(un)>0, so there exists a constant c>0 such that J(un)>c. And since c≤J(un)=(1/p)∥un∥p-I(un)≤(1/p)∥un∥p, ∥un∥≥pcp. Together with Lemma 5, pcp≤∥un∥≤sup⁡n∥un∥<∞. Hence {wn} is a Palais-Smale sequence for Ψ if and only if {un} is a Palais-Smale sequence for J.
Step  4. By (45), Ψ′(w)=0 if and only if J′(m(w))=0. So w is a critical point of Ψ if and only if m(w) is a nontrivial critical point of J. Moreover, the corresponding values of Ψ and J coincide and inf⁡SΨ=inf⁡𝒩J.
Step  5. Ψ satisfies the Palais-Smale condition.
Let{wn} be a Palais-Smale sequence for Ψ; then {un} is a Palais-Smale sequence for J by Step 3, where un:=m(wn)∈𝒩. From Lemma 5, un→u after passing to a subsequence and wn→m-1(u), so Ψ satisfies the Palais-Smale condition.
Let{wn}⊂S be a minimizing sequence for Ψ. By Ekeland's variational principle we may assume Ψ′(wn)→0 as n→∞, so {wn} is a Palais-Smale sequence for Ψ. By the Palais-Smale condition, wn→w after passing to a subsequence if needed. Hence w is a minimizer for Ψ and therefore a critical point of  Ψ; then u=m(w) is a critical point of J and also is a minimizer for J. Therefore, u is a ground state solution of (2).
(2) Iff(k,u) is odd in u for each k∈ℤ, then J is even, so is Ψ. Since inf⁡SΨ=inf⁡𝒩J>0 and Ψ satisfies the Palais-Smale condition, Ψ has infinitely many pairs of critical points by Lemma 3. It follows that (2) has infinitely many pairs of homoclinic solutions ±un in E.
This completes Theorem2.Finally, we exhibit examples to demonstrate the applicability of Theorem2.Example 6.
Consider the second order difference equation:(46)-Δ2u(k-1)+b(k)u(k)=f(k,u(k)),k∈ℤ,
where b:ℤ→(0,ℝ) such that lim⁡|k|→+∞⁡b(k)=+∞. Let
(47)f(k,u)=uln⁡(1+|u|),
for all k∈ℤ. Then it is clear that all conditions of Theorem 2 are satisfied. By Theorem 2, (46) has infinitely many pairs of homoclinic solutions.Example 7.
Consider thep-Laplacian difference equation:
(48)-Δ(|Δu(k-1)|p-2Δu(k-1))+b(k)|u(k)|p-2u(k)=f(k,u(k)),k∈ℤ,
where b:ℤ→(0,ℝ) such that lim⁡|k|→+∞⁡b(k)=+∞. Let
(49)f(k,u)={0,u=0,|u|p-2u1-ln⁡|u|,0<|u|≤1,|u|p-2u(1+ln⁡|u|),|u|>1,
for all k∈ℤ and p>1. It is easy to verify that f(k,u) satisfies all conditions in Theorem 2. Therefore, (48) has infinitely many pairs of homoclinic solutions.



---

*Source: 276372-2014-05-14.xml*