Hindawi Publishing Corporation ξ e Scientiο¬c World Journal Volume 2014, Article ID 276372, 6 pages http://dx.doi.org/10.1155/2014/276372
Research Article Infinitely Many Homoclinic Solutions for Second Order Nonlinear Difference Equations with π-Laplacian Guowei Sun1 and Ali Mai1,2 1 2
Department of Applied Mathematics, Yuncheng University, Yuncheng 044000, China School of Mathematics and Information Science, Guangzhou University, Guangzhou, Guangdong 510006, China
Correspondence should be addressed to Guowei Sun;
[email protected] Received 12 March 2014; Accepted 18 April 2014; Published 14 May 2014 Academic Editor: Maoan Han Copyright Β© 2014 G. Sun and A. Mai. 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. We employ Nehari manifold methods and critical point theory to study the existence of nontrivial homoclinic solutions of discrete p-Laplacian equations with a coercive weight function and superlinear nonlinearity. Without assuming the classical AmbrosettiRabinowitz condition and without any periodicity assumptions, we prove the existence and multiplicity results of the equations.
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 ππperiodic solutions for the π-periodic system: Ξ2 π’ (π β 1) + βπ’ πΉ [π, π’ (π)] = 0,
π β Z.
(1)
The forward difference operator Ξ is defined by Ξπ’(π) = π’(π+ 1) β π’(π). They assume that βπ’ πΉ is bounded and πΉ is coercive with respect to π’ or πΉ satisfies a subquadratic AmbrosettiRabinowitz condition and a related coercivity condition. In particular, when πΉ(π, 0) = 0 for all π β Z, they prove the existence of nontrivial ππ-periodic solutions of (1). In [3], they assume that πΉ satisfies a superquadratic AmbrosettiRabinowitz condition and βπ’ πΉ satisfies a superlinear condition near π’ = 0 and prove the existence of two nontrivial π-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 with π-Laplacian: βΞππ (Ξπ’ (π β 1)) + π (π) ππ (π’ (π)) = π (π, π’ (π)) ,
π β Z, (2)
where ππ (π‘) = |π‘|πβ2 π‘ for all π‘ β R, π > 1. π : Z β R is a positive and coercive weight function and π(π, π’) : Z Γ R β R is a continuous function on π’. The forward difference operator Ξ is defined by Ξπ’ (π β 1) = π’ (π) β π’ (π β 1) ,
βπ β Z.
(3)
As usual, Z and R denote the set of all integers and real numbers, respectively. Assume further that π(π, 0) = 0; then π’(π) β‘ 0 is a solution of (2), which is called the trivial solution. As usual, we say that a solution π’ = {π’(π)} of (2) is homoclinic (to 0): if lim π’ (π) = 0.
|π| β β
(4)
2
The Scientific World Journal
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 π is odd in π’. Moreover, we may regard (2) as being a discrete analogue of the following second order differential equation: σΈ
β(ππ (π₯σΈ (π‘))) + π (π‘) ππ (π₯ (π‘)) = π (π‘, π₯ (π‘)) ,
π‘ β R. (5)
The study of homoclinic solutions for (2) in case π = 2 has been motivated in part by searching standing waves for the nonlinear discrete SchrΒ¨odinger equation: 2
ππΜπ + Ξ ππ β Vπ ππ + π (π, ππ ) = 0,
π β Z,
(6)
namely, solutions of the form ππ = π’π πβπππ‘ . 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 π-Laplacian equations. Throughout this paper, we always suppose that the following conditions hold: (π΅) function π : Z β R satisfies π(π) β₯ π0 > 0 for all π β Z and lim π (π) = +β.
|π| β +β
(7)
(π1 ) π β πΆ(Z Γ R, R) and there exist π > 0, π β (π, β), such that σ΅¨ σ΅¨σ΅¨ πβ1 σ΅¨σ΅¨π (π, π’)σ΅¨σ΅¨σ΅¨ β€ π (1 + |π’| ) ,
βπ β Z, π’ β R.
(8)
(π2 ) lim|π’| β 0 π(π, π’)/|π’|πβ1 = 0 uniformly for π β Z. (π3 ) lim|π’| β β πΉ(π, π’)/|π’|π = +β uniformly for π β Z, where πΉ(π, π’) is the primitive function of π(π, π’); that is, π’
πΉ (π, π’) = β« π (π, π ) ππ . 0
(9)
(π4 ) π’ σ³¨β π(π, π’)/|π’|πβ1 is strictly increasing on (ββ, 0) and (0, β). In many studies of π-Laplacian equations, the following classical Ambrosetti-Rabinowitz superlinear condition ([12, 13]) is assumed: 0 < ππΉ (π, π’) β€ π (π, π’) π’,
for some π > π, π’ =ΜΈ 0.
π (π, π’) = |π’|
π’ ln (1 + |π’|) ,
2. Preliminaries We will establish the corresponding variational framework associated with (2). Consider the real sequence spaces ππ β‘ ππ (Z) { = {π’ = {π’ (π)}πβZ : { 1/π π
βπ β Z, π’ (π) β R, βπ’βππ = ( β |π’ (π)| ) πβZ
(11)
} < β} . } (12)
Then the following embedding between ππ spaces holds: ππ β ππ ,
βπ’βππ β€ βπ’βππ ,
1 β€ π β€ π β€ β.
(13)
Define the space πΈ := {π’ β ππ : β [|Ξπ’ (π β 1)|π + π (π) |π’ (π)|π ] < β} . πβZ
(14) Then πΈ is a Hilbert space equipped with the norm βπ’βπ = β [|Ξπ’ (π β 1)|π + π (π) |π’ (π)|π ] . πβZ
(15)
| β
| is the usual absolute value in R. Now we consider the variational functional π½ defined on πΈ by
(10)
It is easy to see that (10) implies πΉ(π, π’) β₯ πΆ|π’|π , for some constants πΆ > 0 and |π’| β₯ 1. In this paper, instead of (10), we assume the π-superlinear condition (π3 ). It is easy to see that (10) implies (π3 ). For example, the π-superlinear function, πβ2
does not satisfy (10). However, it satisfies the condition (π1 )β(π3 ). 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 Section 2, 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.
π½ (π’) =
1 β [|Ξπ’ (π β 1)|π + π (π) |π’ (π)|π ] π πβZ β β πΉ (π, π’ (π)) πβZ
=
1 βπ’βπ β β πΉ (π, π’ (π)) . π πβZ
(16)
The Scientific World Journal
3
Then π½ β πΆ1 (πΈ, R), for all V β πΈ,
Proof. Let πΌ(π’) = βπβZ πΉ(π, π’(π)). By (π2 ), we have
(π½σΈ (π’) , V)
πΌσΈ (π’) = π (βπ’βπβ1 )
= β [ππ (Ξπ’ (π β 1)) ΞV (π β 1)
(19)
From (π4 ), for all π’ =ΜΈ 0 and π > 0, we have
πβZ
+ π (π) ππ (π’ (π)) V (π)]
π σ³¨σ³¨β (17)
β β π (π, π’ (π)) V (π) ,
πΌσΈ (π π’) π’ π πβ1
is strictly increasing.
(20)
Let π β πΈ \ {0} be a weakly compact subset and π > 0; we claim that
πβZ
ππ½ (π’) = β Ξππ (Ξπ’ (π β 1)) ππ’ (π) + π (π) ππ (π’ (π)) β π (π, π’ (π)) ,
as π’ σ³¨β 0.
πΌ (π π’) σ³¨β β uniformly for π’ on π, π π
π β Z.
Thus, π’ is a critical point of π½ on πΈ only if π’ 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 π½ on πΈ. This means that functional π½ is just the variational framework of (2). The following lemma plays an important role in this paper; it was established in [11]. Lemma 1. If V satisfies the condition (π΅), for any π > 1, then the embedding map from πΈ into ππ (Z) is compact. The main result is as follows. Theorem 2. Suppose conditions (π΅), (π1 )β(π4 ) 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) If π(π, π’) is odd in π’ for each π β Z, (2) has infinitely many pairs of homoclinic solutions Β±π’(π) in πΈ. To prove the multiplicity results, we need the following lemma. Lemma 3 (see [14]). Let π = {π€ β πΈ : βπ€β = 1}. If πΈ is an infinite-dimensional Hilbert space, Ξ¦ β πΆ1 (π, R) 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: N = {π’ β πΈ \ {0} : π½σΈ (π’) π’ = 0} .
(18)
(21)
Indeed, let {π’π } β π. It suffices to show that if π π σ³¨β β,
πΌ (π π π’π ) π
(π π )
σ³¨β β,
(22)
as π β β. Passing to a subsequence if necessary, π’π β π’ β πΈ \ {0} and π’π (π) β π’(π) for every π, as π β β. Note that, from (π2 ) and (π4 ), it is easy to get that πΉ (π, π’) > 0,
βπ’ =ΜΈ 0.
(23)
Since |π π π’π (π)| β β and π’π =ΜΈ 0, by (π3 ) and (23), we have πΌ (π π π’π ) (π π )
π
πΉ (π, π π’ (π)) σ΅¨ σ΅¨π = β σ΅¨ π π σ΅¨π σ΅¨σ΅¨σ΅¨π’π (π)σ΅¨σ΅¨σ΅¨ σ³¨β β as π σ³¨β β. σ΅¨ σ΅¨ πβZ σ΅¨σ΅¨π π π’π (π)σ΅¨σ΅¨ (24)
Therefore, (21) holds. Let π(π ) := π½(π π€), π > 0. Then πσΈ (π ) = π½σΈ (π π€) π€ = π πβ1 (βπ€βπ β π 1βπ πΌσΈ (π π€) π€) ,
(25)
from (19)β(21); then there exists a unique π π€ , such that πσΈ (π ) > 0 whenever 0 < π < π π€ , πσΈ (π ) < 0 whenever π > π π€ , and πσΈ (π π€ ) = π½σΈ (π π€ π€)π€ = 0. So π π€ π€ β N. Lemma 5. Suppose conditions (π΅), (π1 )β(π4 ) are satisfied. Then π½ satisfies the Palais-Smale condition on N. Proof. Let {π’π } β N be a sequence such that π½(π’π ) β€ π for some π > 0 and π½σΈ (π’π ) β 0 as π β β. Firstly, we prove that {π’π } is bounded. In fact, if not, we may assume by contradiction that βπ’π β β β as π β β. Let Vπ = π’π /βπ’π β. Then there exists a subsequence, still denoted by the same notation, such that Vπ β V in πΈ as π β β. Suppose V = 0. For every π > 0, from Lemma 4, we have
To prove the main results, we need some lemmas. Lemma 4. Suppose conditions (π΅), (π1 )β(π4 ) are satisfied. Then, for each π€ β πΈ \ {0}, there exists a unique π π€ > 0 such that π π€ π€ β N.
as π σ³¨β β.
π β₯ π½ (π’π ) β₯ π½ (π Vπ ) =
1 π σ΅©σ΅© σ΅©σ΅©π 1 π σ΅©σ΅©Vπ σ΅©σ΅© β πΌ (π Vπ ) σ³¨β π π . π π
π Therefore, V =ΜΈ 0. This is a contradiction if π β₯ βππ.
(26)
4
The Scientific World Journal According to (21), we have σ΅© σ΅© π½ (π’ ) 1 πΌ (σ΅©σ΅©π’ σ΅©σ΅© V ) 0 β€ σ΅© σ΅©ππ = β σ΅©σ΅© π σ΅©σ΅©π π σ³¨β ββ, σ΅©σ΅©π’π σ΅©σ΅© σ΅©σ΅©π’π σ΅©σ΅© π σ΅© σ΅© σ΅© σ΅©
π σ³¨β β,
(27)
a contradiction again. Thus, {π’π } is bounded. Finally, we show that there exists a convergent subsequence of {π’π }. Actually, there exists a subsequence, still denoted by the same notation, such that π’π β π’. By Lemma 1, for any π > 1, then π’π σ³¨β π’ in ππ (Z) .
(28)
Note that σ΅©σ΅© σ΅©π σΈ σΈ σ΅©σ΅©π’π β π’σ΅©σ΅©σ΅© = (π½ (π’π ) β π½ (π’) , (π’π β π’)) + β (π (π, π’π (π)) β π (π, π’ (π))) πβZ
By (19) and (21), π(π ) > 0 for π > 0 small and π(π ) < 0 for π > 0 large. So π π€ is a unique maximum of π(π ) and π π€ π€ is the unique point on the ray π σ³¨β π π€ (π > 0) which intersects N. That is, π’ β N is the unique maximum of π½ on the ray. Therefore, by Lemma 4, we may define the mapping Μ : πΈ \ {0} β N by setting π Μ (π€) := π π€ π€. π
(33)
Μ is continuous. Indeed, Next we show that the mapping π Μ Μ = π(π’), for each π‘ > 0, suppose π€π β π€ =ΜΈ 0. Since π(π‘π’) Μ π ) = π π€π π€π . Then we may assume π€π β π for all π. Write π(π€ {π π€π } is bounded. If not, π π€π β β as π β β. Note that, by (π4 ), for all π’ =ΜΈ 0, π’ 1 1 π (π, π’) π’ β πΉ (π, π’) = π (π, π’) π’ β β« π (π, π ) ππ π π 0
(29)
>
Γ (π’π (π) β π’ (π)) .
π (π, π’) π’ 1 π (π, π’) π’ β πβ1 β« π πβ1 ππ π π’ 0
= 0.
By the weak convergence, the first term on the right hand side of (29) approaches 0 as π β β. By (π1 ) and (π2 ), it is easy to show that, for any π > 0, there exists ππ > 0, such that σ΅¨ σ΅¨σ΅¨ πβ1 πβ1 |πΉ (π, π’)| β€ π|π’|π + ππ |π’|π . σ΅¨σ΅¨π (π, π’)σ΅¨σ΅¨σ΅¨ β€ π|π’| + ππ |π’| , (30) By HΒ¨olderβs inequality, we have
(34) Therefore, for all π’ β N, we have 1 π½ (π’) = π½ (π’) β π½σΈ (π’) π’ π 1 = β ( π (π, π’ (π)) π’ (π) β πΉ (π, π’ (π))) > 0. π πβZ Combining with (π3 ) and Lemma 4, we have
β (π (π, π’π (π)) β π (π, π’ (π))) (π’π (π) β π’ (π))
πβZ
0
0 after passing Μ π) = to a subsequence if needed, since N is closed and π(π€ Μ by the π π€π π€π β π π€, π π€ β N. Hence π π€ = π π€ π€ = π(π€) Μ is continuous. uniqueness of π π€ of Lemma 4. Therefore, π Then we define a mapping π : π β N by setting π := Μ π , then π is a homeomorphism between π and N, and the π| inverse of π is given by πβ1 (π’) = π’/βπ’β. Μ : πΈ \ {0} β R and Step 2. Now we define the functional Ξ¨ Ξ¨ : π β R by Μ (π€) := π½ (π Μ (π€)) , Ξ¨
Μ π. Ξ¨ (π€) := Ξ¨|
(37)
Then we have Μ β πΆ1 (πΈ \ {0}, R) and Ξ¨ β πΆ1 (π, R). Moreover, Ξ¨ Μ (π€)β σΈ ΜσΈ (π€) π§ = βπ Μ (π€)) π§ βπ€, π§ β πΈ, π€ =ΜΈ 0, Ξ¨ π½ (π βπ€β Ξ¨σΈ (π€) π§ = βπ (π€)β π½σΈ (π (π€)) π§ βπ§ β ππ€ (π) = {V β πΈ : (π€, V) = 0} .
(38)
(39)
The Scientific World Journal
5
In fact, let π€ β πΈ \ {0} and π§ β πΈ. By Lemma 4 and the mean value theorem, we obtain Μ (π€ + π‘π§) β Ξ¨ Μ (π€) = π½ (π π€+π‘π§ (π€ + π‘π§)) β π½ (π π€ π€) Ξ¨ β€ π½ (π π€+π‘π§ (π€ + π‘π§)) β π½ (π π€+π‘π§ (π€)) (40)
Step 4. By (45), Ξ¨σΈ (π€) = 0 if and only if π½σΈ (π(π€)) = 0. So π€ is a critical point of Ξ¨ if and only if π(π€) is a nontrivial critical point of π½. Moreover, the corresponding values of Ξ¨ and π½ coincide and inf π Ξ¨ = inf N π½.
= π½σΈ (π π€+π‘π§ (π€ + ππ‘ π‘π§)) π π€+π‘π§ π‘π§, where |π‘| is small enough and ππ‘ β (0, 1). Similarly, Μ (π€ + π‘π§) β Ξ¨ Μ (π€) = π½ (π π€+π‘π§ (π€ + π‘π§)) β π½ (π π€ π€) Ξ¨ β₯ π½ (π π€ (π€ + π‘π§)) β π½ (π π€ (π€))
(41)
= π½σΈ (π π€ (π€ + ππ‘ π‘π§)) π π€ π‘π§, where ππ‘ β (0, 1). From the above, the function π€ σ³¨β π π€ is continuous, combining these two inequalities that lim
π‘β0
Μ (π€ + π‘π§) β Ξ¨ Μ (π€) Ξ¨ = π π€ π½σΈ (π π€ π€) π§ π‘ Μ (π€)β σΈ βπ Μ (π€)) π§. π½ (π = βπ€β
(42)
Μ is bounded linear in π§ and Hence the GΛateaux derivative of Ξ¨ Μ is a class of πΆ1 (see [15], continuous in π€. It follows that Ξ¨ Proposition 1.3) and (38) holds. Note only that, since π€ β π, Μ π(π€) = π(π€), so (39) is clear. Step 3. {π€π } is a Palais-Smale sequence for Ξ¨ if and only if {π(π€π )} is a Palais-Smale sequence for π½. Let {π€π } be a Palais-Smale sequence for Ξ¨ and let π’π = π(π€π ) β N. Since for every π€π β π we have an orthogonal splitting, πΈ = ππ€π π β Rπ€π , we have σ΅©σ΅© σΈ σ΅© σ΅©σ΅©Ξ¨ (π€π )σ΅©σ΅©σ΅© = sup Ξ¨σΈ (π€π ) π§ σ΅© σ΅© π§βπ π
(43)
σ΅© σ΅© = σ΅©σ΅©σ΅©π’π σ΅©σ΅©σ΅© sup π½σΈ (π’π ) π§. π§βππ€π π βπ§β=1
π½σΈ (π’π ) (π§ + π‘π€) βπ§ + π‘π€β π§βππ€π π,π‘βR
σ΅© σ΅© β€ σ΅©σ΅©σ΅©π’π σ΅©σ΅©σ΅©
π (π, π’) = π’ ln (1 + |π’|) ,
(46)
(47)
for all π β Z. Then it is clear that all conditions of Theorem 2 are satisfied. By Theorem 2, (46) has infinitely many pairs of homoclinic solutions.
+ π (π) |π’ (π)|πβ2 π’ (π) = π (π, π’ (π)) ,
π β Z,
(48)
where π : Z β (0, R) such that lim|π| β +β π(π) = +β. Let (44)
π½σΈ (π’π ) (π§) σ΅©σ΅© σΈ σ΅© = σ΅©σ΅©σ΅©Ξ¨ (π€π )σ΅©σ΅©σ΅©σ΅© . βπ§β π§βππ€π π\{0} sup
Therefore σ΅©σ΅© σΈ σ΅© σ΅© σ΅© σ΅©σ΅©Ξ¨ (π€π )σ΅©σ΅©σ΅© = σ΅©σ΅©σ΅©σ΅©π’π σ΅©σ΅©σ΅©σ΅© σ΅©σ΅©σ΅©π½σΈ (π’π )σ΅©σ΅©σ΅© . σ΅© σ΅© σ΅© σ΅©
π β Z,
β Ξ (|Ξπ’ (π β 1)|πβ2 Ξπ’ (π β 1))
sup
π§+π‘π€ =ΜΈ 0
Example 6. Consider the second order difference equation:
Example 7. Consider the π-Laplacian difference equation:
Then σ΅© σ΅©σ΅© σΈ σ΅© σ΅© σ΅©σ΅©Ξ¨ (π€π )σ΅©σ΅©σ΅© β€ σ΅©σ΅©σ΅©σ΅©π’π σ΅©σ΅©σ΅©σ΅© σ΅©σ΅©σ΅©π½σΈ (π’π )σ΅©σ΅©σ΅© σ΅© σ΅© σ΅© σ΅© σ΅© σ΅© = σ΅©σ΅©σ΅©π’π σ΅©σ΅©σ΅©
Finally, we exhibit examples to demonstrate the applicability of Theorem 2.
where π : Z β (0, R) such that lim|π| β +β π(π) = +β. Let
βπ§β=1
π§βππ€π π βπ§β=1
Step 5. Ξ¨ satisfies the Palais-Smale condition. Let {π€π } be a Palais-Smale sequence for Ξ¨; then {π’π } is a Palais-Smale sequence for π½ by Step 3, where π’π := π(π€π ) β N. From Lemma 5, π’π β π’ after passing to a subsequence and π€π β πβ1 (π’), so Ξ¨ satisfies the Palais-Smale condition. Let {π€π } β π be a minimizing sequence for Ξ¨. By Ekelandβs variational principle we may assume Ξ¨σΈ (π€π ) β 0 as π β β, so {π€π } is a Palais-Smale sequence for Ξ¨. By the Palais-Smale condition, π€π β π€ after passing to a subsequence if needed. Hence π€ is a minimizer for Ξ¨ and therefore a critical point of Ξ¨; then π’ = π(π€) is a critical point of π½ and also is a minimizer for π½. Therefore, π’ is a ground state solution of (2). (2) If π(π, π’) is odd in π’ for each π β Z, then π½ is even, so is Ξ¨. Since inf π Ξ¨ = inf N π½ > 0 and Ξ¨ satisfies the PalaisSmale condition, Ξ¨ has infinitely many pairs of critical points by Lemma 3. It follows that (2) has infinitely many pairs of homoclinic solutions Β±π’π in πΈ. This completes Theorem 2.
βΞ2 π’ (π β 1) + π (π) π’ (π) = π (π, π’ (π)) ,
π€π
σ΅© σ΅© = σ΅©σ΅©σ΅©π (π€π )σ΅©σ΅©σ΅© sup π½σΈ (π (π€π )) π§
By (35), for π’π β N, π½(π’π ) > 0, so there exists a constant π > 0 such that π½(π’π ) > π. And since π β€ π½(π’π ) = (1/π)βπ’π βπ β π ππ. Together with Lemma 5, πΌ(π’π ) β€ (1/π)βπ’π βπ , βπ’π β β₯ β π ππ β€ βπ’π β β€ supπ βπ’π β < β. Hence {π€π } is a Palais-Smale β sequence for Ξ¨ if and only if {π’π } is a Palais-Smale sequence for π½.
(45)
0, { { { { |π’|πβ2 π’ π (π, π’) = { , { ln |π’| { { 1 βπβ2 {|π’| π’ (1 + ln |π’|) ,
π’ = 0, 0 < |π’| β€ 1,
(49)
|π’| > 1,
for all π β Z and π > 1. It is easy to verify that π(π, π’) satisfies all conditions in Theorem 2. Therefore, (48) has infinitely many pairs of homoclinic solutions.
6
Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments The authors would like to thank the anonymous referee for his/her valuable suggestions. This work is supported by Program for the National Natural Science Foundation of China (no. 11371313) and Biomathematics Laboratory of Yuncheng University (SWSX201302, SWSX201305).
References [1] Z. M. Guo and J. S. Yu, βThe existence of periodic and subharmonic solutions of subquadratic second order difference equations,β Journal of the London Mathematical Society, vol. 68, no. 2, pp. 419β430, 2003. [2] J. Mawhin and M. Willem, Critical Point Theory and Hamiltonian Systems, vol. 74, Springer, New York, NY, USA, 1989. [3] Z. M. Guo and J. S. Yu, βExistence of periodic and subharmonic solutions for second-order superlinear difference equations,β Science in China A: Mathematics, vol. 46, no. 4, pp. 506β515, 2003. [4] Z. M. Guo and J. S. Yu, βApplications of critical theory to difference equations,β in Differences and Differential Equations, vol. 42 of Fields Institute Communications, pp. 187β200, American Mathematical Society, Providence, RI, USA, 2004. [5] Z. Zhou, J. S. Yu, and Z. M. Guo, βPeriodic solutions of higherdimensional discrete systems,β Proceedings of the Royal Society of Edinburgh A: Mathematics, vol. 134, no. 5, pp. 1013β1022, 2004. [6] A. Mai and Z. Zhou, βGround state solutions for the periodic discrete nonlinear SchrΒ¨odinger equations with superlinear nonlinearities,β Abstract and Applied Analysis, vol. 2013, Article ID 317139, 11 pages, 2013. [7] A. Mai and Z. Zhou, βDiscrete solitons for periodic discrete nonlinear SchrΒ¨odinger equations,β Applied Mathematics and Computation, vol. 222, pp. 34β41, 2013. [8] G. Sun, βOn standing wave solutions for discrete nonlinear SchrΒ¨odinger equations,β Abstract and Applied Analysis, vol. 2013, Article ID 436919, 6 pages, 2013. [9] D. Ma and Z. Zhou, βExistence and multiplicity results of homoclinic solutions for the DNLS equations with unbounded potentials,β Abstract and Applied Analysis, vol. 2012, Article ID 703596, 15 pages, 2012. [10] M. Ma and Z. Guo, βHomoclinic orbits for second order selfadjoint difference equations,β Journal of Mathematical Analysis and Applications, vol. 323, no. 1, pp. 513β521, 2006. [11] A. Iannizzotto and S. A. Tersian, βMultiple homoclinic solutions for the discrete π-Laplacian via critical point theory,β Journal of Mathematical Analysis and Applications, vol. 403, no. 1, pp. 173β 182, 2013. [12] 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. [13] A. Cabada, C. Li, and S. Tersian, βOn homoclinic solutions of a semilinear π-Laplacian difference equation with periodic coefficients,β Advances in Difference Equations, vol. 2010, Article ID 195376, 17 pages, 2010.
The Scientific World Journal [14] P. H. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65 of CBMS Regional Conference Series in Mathematics, The American Mathematical Society, Providence, RI, USA, 1986. [15] M. Willem, Minimax Theorems, Birkh¨auser, Boston, Mass, USA, 1996.